Abstract
Assume that we inspect a specimen represented as a collection of points. The points are typically organized on a grid structure in 2D- or 3D-space, and each point has an associated physical value. The goal of the inspection is to determine these values. Yet, measuring these values directly (by surgical probes) may damage the specimen or is simply impossible. The alternative is to employ aggregate measuring techniques (e.g., CT or MRI), whereby measurements are taken over subsets of points, and the exact values at each point are subsequently extracted by computational methods. In the Minimum Surgical Probing problem (MSP) the inspected specimen is represented by a graph G and a vector \(\ell \in \mathbb {R}^n\) that assigns a value \(\ell _i\) to each vertex i. An aggregate measurement (called probe) centered at vertex i captures its entire neighborhood, i.e., the outcome of a probe centered at i is \(\mathcal{P}_i = \sum _{j \in N(i) \cup \{i\}} \ell _j\) where N(i) is the open neighborhood of vertex i. Bar-Noy et al. [4] gave a criterion whether the vector \(\ell \) can be recovered from the collection of probes \(\mathcal{P}= \{\, \mathcal{P}_v \; | \; v \in V(G)\}\) alone. However, there are graphs where \(\mathcal{P}\) is inconclusive, i.e., there are several vectors \(\ell \) that are consistent with \(\mathcal{P}\). In these cases, we are allowed to use surgical probes. A surgical probe at vertex i returns \(\ell _i\). The objective of MSP is to recover \(\ell \) from \(\mathcal{P}\) and G using as few surgical probes as possible.
In this work, we introduce the Weighted Minimum Surgical Probing (WMSP) problem in which a vertex i may have an aggregation coefficient \(w_i\), namely \(\mathcal{P}_i = \sum _{j \in N(i)} \ell _j + w_i \ell _i\). We show that WMSP can be solved in polynomial time. Moreover, we analyze the number of required surgical probes depending on the weight vector \(w\). For any graph, we give two boundaries outside of which no surgical probes are needed to recover the vector \(\ell \). The boundaries are connected to the (Signless) Laplacian matrix.
In addition, we focus on the special case, where . We explore the range of possible behaviors of WMSP by determining the number of surgical probes necessary in certain graph families, such as trees and various grid graphs. Finally, we analyze higher dimensional grids graphs. For the hypercube, when , we only need surgical probes if the dimension is odd, and when , we only need surgical probes if the dimension is even. The number of surgical probes follows the binomial coefficients.
This work was supported by US-Israel BSF grant 2018043 and ARL Cooperative Grant ARL Network Science CTA W911NF-09-2-0053.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alpers, A., Gritzmann, P.: Reconstructing binary matrices under window constraints from their row and column sums. Fundamenta Informaticae 155(4), 321–340 (2017)
Alpers, A., Gritzmann, P.: Dynamic discrete tomography. Inv. Prob. 34(3), 034003 (2018)
Alpers, A., Gritzmann, P.: On double-resolution imaging and discrete tomography. SIAM J. Discrete Math. 32(2), 1369–1399 (2018)
Bar-Noy, A., Böhnlein, T., Lotker, Z., Peleg, D., Rawitz, D.: The generalized microscopic image reconstruction problem. In: 30th ISAAC, pp. 42:1–42:15 (2019)
Battaglino, D., Frosini, A., Rinaldi, S.: A decomposition theorem for homogeneous sets with respect to diamond probes. Comp. Vis. Image Underst. 117(4), 319–325 (2013)
Brouwer, A.E., Haemers, W.H.: Spectra of Graphs. Springer, New York (2011)
Cvetković, D., Rowlinson, P., Simić, S.K.: Signless Laplacians of finite graphs. Linear Algebra Appl. 423(1), 155–171 (2007)
Cvetković, D., Simić, S.K.: Towards a spectral theory of graphs based on the signless Laplacian. I. Publications de l’Institut Mathematique 85(99), 19–33 (2009)
Cvetković, D., Simić, S.K.: Towards a spectral theory of graphs based on the signless Laplacian. II. Linear Algebra Appl. 432(9), 2257–2272 (2010)
Cvetković, D., Simić, S.K.: Towards a spectral theory of graphs based on the signless Laplacian. III. Appl. Anal. Discrete Math. 156–166 (2010)
de Lima, L.S., Oliveira, C.S., de Abreu, N.M.M., Nikiforov, V.: The smallest eigenvalue of the signless Laplacian. Linear Algebra Appl. 435(10), 2570–2584 (2011)
Desai, M., Rao, V.: A characterization of the smallest eigenvalue of a graph. J. Graph Theory 18(2), 181–194 (1994)
Fallat, S., Fan, Y.-Z.: Bipartiteness and the least eigenvalue of signless Laplacian of graphs. Linear Algebra Appl. 436(9), 3254–3267 (2012)
Frosini, A., Nivat, M.: Binary matrices under the microscope: a tomographical problem. Theor. Comput. Sci. 370(1–3), 201–217 (2007)
Frosini, A., Nivat, M., Rinaldi, S.: Scanning integer matrices by means of two rectangular windows. Theoretical Comput. Sci. 406(1–2), 90–96 (2008)
Godsil, C., Royle, G.F.: Algebraic Graph Theory. Springer Science & Business Media, New York (2013)
Gritzmann, P., Langfeld, B., Wiegelmann, M.: Uniqueness in discrete tomography: three remarks and a corollary. SIAM J. Discrete Math. 25(4), 1589–1599 (2011)
Herman, G.T., Kuba, A.: Discrete Tomography: Foundations, Algorithms, and Applications. Springer Science & Business Media, New York (2012)
Kirkland, S., Paul, D.: Bipartite subgraphs and the signless Laplacian matrix. Appl. Anal. Discrete Math. 1–13 (2011)
Nivat, M.: Sous-ensembles homogénes de z2 et pavages du plan. Comptes Rendus Mathematique 335(1), 83–86 (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Bar-Noy, A., Böhnlein, T., Lotker, Z., Peleg, D., Rawitz, D. (2021). Weighted Microscopic Image Reconstruction. In: Bureš, T., et al. SOFSEM 2021: Theory and Practice of Computer Science. SOFSEM 2021. Lecture Notes in Computer Science(), vol 12607. Springer, Cham. https://doi.org/10.1007/978-3-030-67731-2_27
Download citation
DOI: https://doi.org/10.1007/978-3-030-67731-2_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67730-5
Online ISBN: 978-3-030-67731-2
eBook Packages: Computer ScienceComputer Science (R0)