-
Stability of spectral partitions with corners
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Peter Kuchment,
Jeremy L. Marzuola
Abstract:
A spectral minimal partition of a manifold is a decomposition into disjoint open sets that minimizes a spectral energy functional. While it is known that bipartite minimal partitions correspond to nodal partitions of Courant-sharp Laplacian eigenfunctions, the non-bipartite case is much more challenging. In this paper, we unify the bipartite and non-bipartite settings by defining a modified Laplac…
▽ More
A spectral minimal partition of a manifold is a decomposition into disjoint open sets that minimizes a spectral energy functional. While it is known that bipartite minimal partitions correspond to nodal partitions of Courant-sharp Laplacian eigenfunctions, the non-bipartite case is much more challenging. In this paper, we unify the bipartite and non-bipartite settings by defining a modified Laplacian operator and proving that the nodal partitions of its eigenfunctions are exactly the critical points of the spectral energy functional. Moreover, we prove that the Morse index of a critical point equals the nodal deficiency of the corresponding eigenfunction. Some striking consequences of our main result are: 1) in the bipartite case, every local minimum of the energy functional is in fact a global minimum; 2) in the non-bipartite case, every local minimum of the energy functional minimizes within a certain topological class of partitions. Our results are valid for partitions with non-smooth boundaries; this introduces considerable technical challenges, which are overcome using delicate approximation arguments in the Sobolev space $H^{1/2}$.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
Half-time Range description for the free space wave operator and the spherical means transform
Authors:
Peter Kuchment,
Leonid Kunyansky
Abstract:
The forward problem arising in several hybrid imaging modalities can be modeled by the Cauchy problem for the free space wave equation. Solution to this problems describes propagation of a pressure wave, generated by a source supported inside unit sphere $S$. The data $g$ represent the time-dependent values of the pressure on the observation surface $S$. Finding initial pressure $f$ from the known…
▽ More
The forward problem arising in several hybrid imaging modalities can be modeled by the Cauchy problem for the free space wave equation. Solution to this problems describes propagation of a pressure wave, generated by a source supported inside unit sphere $S$. The data $g$ represent the time-dependent values of the pressure on the observation surface $S$. Finding initial pressure $f$ from the known values of $g$ consitutes the inverse problem. The latter is also frequently formulated in terms of the spherical means of $f$ with centers on~$S$.
Here we consider a problem of range description of the wave operator mapping $f$ into $g$. Such a problem was considered before, with data $g$ known on time interval at least $[0,2]$ (assuming the unit speed of sound). Range conditions were also found in terms of spherical means, with radii of integration spheres lying in the range $[0,2]$. However, such data are redundant. We present necessary and sufficient conditions for function $g$ to be in the range of the wave operator, for $g$ given on a half-time interval $[0,1]$. This also implies range conditions on spherical means measured for the radii in the range $[0,1]$.
△ Less
Submitted 19 October, 2024;
originally announced October 2024.
-
On open book analogs of quantum graphs
Authors:
Setenay Akduman,
Peter Kuchment
Abstract:
Quantum graphs have become in this century a favorite playground for mathematicians, mathematical physicists, and chemists, due to their manifold applications as models of thin structures, as well as presenting sometimes simpler playground for hard higher dimensional problems.
It was clear from some applications that thin surface structures (looking as stratified varieties) also arise, for insta…
▽ More
Quantum graphs have become in this century a favorite playground for mathematicians, mathematical physicists, and chemists, due to their manifold applications as models of thin structures, as well as presenting sometimes simpler playground for hard higher dimensional problems.
It was clear from some applications that thin surface structures (looking as stratified varieties) also arise, for instance in photonic crystals theory and dynamical systems. However, both justification and studying of these models is much harder and very little progress has been made by now. The goal of this note is to set down some basic notions and results for such structures.
The name ``open book'' has been used for such geometric structures in topology and comes from an image of several smooth $n$-dimensional ``pages'' bound to an $(n-1)$- dimensional ``binding.''
△ Less
Submitted 23 June, 2024;
originally announced June 2024.
-
Spectral shift via "lateral" perturbation
Authors:
G. Berkolaiko,
P. Kuchment
Abstract:
We consider a compact perturbation $H_0 = S + K_0^* K_0$ of a self-adjoint operator $S$ with an eigenvalue $λ^\circ$ below its essential spectrum and the corresponding eigenfunction $f$. The perturbation is assumed to be "along" the eigenfunction $f$, namely $K_0f=0$. The eigenvalue $λ^\circ$ belongs to the spectra of both $H_0$ and $S$. Let $S$ have $σ$ more eigenvalues below $λ^\circ$ than…
▽ More
We consider a compact perturbation $H_0 = S + K_0^* K_0$ of a self-adjoint operator $S$ with an eigenvalue $λ^\circ$ below its essential spectrum and the corresponding eigenfunction $f$. The perturbation is assumed to be "along" the eigenfunction $f$, namely $K_0f=0$. The eigenvalue $λ^\circ$ belongs to the spectra of both $H_0$ and $S$. Let $S$ have $σ$ more eigenvalues below $λ^\circ$ than $H_0$; $σ$ is known as the spectral shift at $λ^\circ$.
We now allow the perturbation to vary in a suitable operator space and study the continuation of the eigenvalue $λ^\circ$ in the spectrum of $H(K)=S + K^* K$. We show that the eigenvalue as a function of $K$ has a critical point at $K=K_0$ and the Morse index of this critical point is the spectral shift $σ$. A version of this theorem also holds for some non-positive perturbations.
△ Less
Submitted 20 April, 2021; v1 submitted 22 November, 2020;
originally announced November 2020.
-
Misha Shubin. 1944 -- 2020
Authors:
M. Braverman,
B. M. Buchshtaber,
M. Gromov,
V. Ivrii,
Yu. A. Kordyukov,
P. Kuchment,
V. Maz'ya,
S. P. Novikov,
T. Sunada,
L. Friedlander,
A. G. Khovanskii
Abstract:
The article describes the biography and manifold contributions to research in mathematics of Mikhail Aleksandrovich Shubin.
The article describes the biography and manifold contributions to research in mathematics of Mikhail Aleksandrovich Shubin.
△ Less
Submitted 26 August, 2020;
originally announced August 2020.
-
Mikhail Aleksandrovich Shubin. December 19, 1944 -- May 13, 2020
Authors:
Maxim Braverman,
Arnold Dikansky,
Leonid Friedlander,
Misha Gromov,
Victor Ivrii,
Yuri Kordyukov,
Peter Kuchment,
Vladimir Maz'ya,
Robert Mc Owen,
Toshikazu Sunada,
Alexander Zvonkin
Abstract:
The article is dedicated to thye memory of a distinguished mathematician Professor Misha Shubin
The article is dedicated to thye memory of a distinguished mathematician Professor Misha Shubin
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Dispersion relations and spectra of periodically perforated structures
Authors:
Peter Kuchment,
Jari Taskinen
Abstract:
We establish absolute continuity of the spectrum of a periodic Schrödiner operator in R^n with periodic perforations. We also prove analytic dependece of the dispersion relation on the shape of the perforation.
We establish absolute continuity of the spectrum of a periodic Schrödiner operator in R^n with periodic perforations. We also prove analytic dependece of the dispersion relation on the shape of the perforation.
△ Less
Submitted 23 July, 2020;
originally announced July 2020.
-
Three-representation problem
Authors:
Peter Kuchment
Abstract:
We provide the proof of a previously announced result that resolves the following problem posed by A.~A.~Kirillov. Let $T$ be a presentation of a group $\mathcal{G}$ by bounded linear operators in a Banach space $G$ and $E\subset G$ be a closed invariant subspace. Then $T$ generates in the natural way presentations $T_1$ in $E$ and $T_2$ in $F:=G/E$. What additional information is required besides…
▽ More
We provide the proof of a previously announced result that resolves the following problem posed by A.~A.~Kirillov. Let $T$ be a presentation of a group $\mathcal{G}$ by bounded linear operators in a Banach space $G$ and $E\subset G$ be a closed invariant subspace. Then $T$ generates in the natural way presentations $T_1$ in $E$ and $T_2$ in $F:=G/E$. What additional information is required besides $T_1, T_2$ to recover the presentation $T$? In finite-dimensional (and even in infinite dimensional Hilbert) case the solution is well known: one needs to supply a group cohomology class $h\in H^1(\mathcal{G},Hom(F,E))$. The same holds in the Banach case, if the subspace $E$ is complemented in $G$. However, every Banach space that is not isomorphic to a Hilbert one has non-complemented subspaces, which aggravates the problem significantly and makes it non-trivial even in the case of a trivial group action, where it boils down to what is known as the three-space problem. This explains the title we have chosen. A solution of the problem stated above has been announced by the author in 1976, but the complete proof, for non-mathematical reasons, has not been made available. This article contains the proof, as well as some related considerations of the functor $Ext^1$ in the category \textbf{Ban} of Banach spaces.
△ Less
Submitted 13 June, 2020;
originally announced June 2020.
-
Generic properties of dispersion relations for discrete periodic operators
Authors:
Ngoc T. Do,
Peter Kuchment,
Frank Sottile
Abstract:
An old problem in mathematical physics deals with the structure of the dispersion relation of the Schrödinger operator $-Δ+V(x)$ in $R^n$ with periodic potential near the edges of the spectrum. A well known conjecture says that generically (with respect to perturbations of the periodic potential) the extrema are attained by a single branch of the dispersion relation, are isolated, and have non-deg…
▽ More
An old problem in mathematical physics deals with the structure of the dispersion relation of the Schrödinger operator $-Δ+V(x)$ in $R^n$ with periodic potential near the edges of the spectrum. A well known conjecture says that generically (with respect to perturbations of the periodic potential) the extrema are attained by a single branch of the dispersion relation, are isolated, and have non-degenerate Hessian (i.e., dispersion relations are graphs of Morse functions). The important notion of effective masses in solid state physics, as well as Liouville property, Green's function asymptotics, etc. hinge upon this property. The progress in proving this conjecture has been slow. It is natural to try to look at discrete problems, where the dispersion relation is (in appropriate coordinates) an algebraic, rather than analytic, variety. Such models are often used for computation in solid state physics (the tight binding model). Alas, counterexamples exist in some discrete situations. We start establishing the following dichotomy: the non-degeneracy of extrema either fails or holds in the complement of a proper algebraic subset of the parameters.
The known counterexample has only two free parameters. This might be too tight for genericity to hold. We consider the maximal $Z^2$-periodic two-atomic nearest-cell interaction graph, with nine edges per unit cell and the discrete "Laplace-Beltrami" operator on it. We then use methods from computational and combinatorial algebraic geometry to prove the genericity conjecture for this graph. We show three different approaches to the genericity, which might be suitable in various situations.
It is also proven in this case that adding more parameters does not destroy the genericity result. We list all "bad" periodic subgraphs of the one we consider and discover that in all these cases genericity fails for "trivial" reasons only.
△ Less
Submitted 9 May, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
Liouville-Riemann-Roch theorems on abelian coverings
Authors:
Minh Kha,
Peter Kuchment
Abstract:
The classical Riemann-Roch theorem has been extended by N. Nadirashvili and then M. Gromov and M. Shubin to computing indices of elliptic operators on compact (as well as non-compact) manifolds, when a divisor mandates a finite number of zeros and allows a finite number of poles of solutions.
On the other hand, Liouville type theorems count the number of solutions that are allowed to have a "pol…
▽ More
The classical Riemann-Roch theorem has been extended by N. Nadirashvili and then M. Gromov and M. Shubin to computing indices of elliptic operators on compact (as well as non-compact) manifolds, when a divisor mandates a finite number of zeros and allows a finite number of poles of solutions.
On the other hand, Liouville type theorems count the number of solutions that are allowed to have a "pole at infinity." Usually these theorems do not provide the exact dimensions of the spaces of such solutions (only finite-dimensionality, possibly with estimates or asymptotics of the dimension. An important case has been discovered by M. Avellaneda and F. H. Lin and advanced further by J. Moser and M. Struwe. It pertains periodic elliptic operators of divergent type, where, surprisingly, exact dimensions can be computed. This study has been extended by P. Li and Wang and brought to its natural limit for the case of periodic elliptic operators on co-compact abelian coverings by P. Kuchment and Pinchover.
Comparison of the results and techniques of Nadirashvili and Gromov and Shubin with those of Kuchment and Pinchover shows significant similarities, as well as appearance of the same combinatorial expressions in the answers. Thus a natural idea was considered that possibly the results could be combined somehow in the case of co-compact abelian coverings, if the infinity is "added to the divisor."
This work shows that such results indeed can be obtained, although they come out more intricate than a simple-minded expectation would suggest. Namely, the interaction between the finite divisor and the point at infinity is non-trivial.
△ Less
Submitted 29 September, 2019;
originally announced September 2019.
-
Analyticity of the spectrum and Dirichlet-to-Neumann operator technique for quantum graphs
Authors:
Peter Kuchment,
Jia Zhao
Abstract:
In some previous works, the analytic structure of the spectrum of a quantum graph operator as a function of the vertex conditions and other parameters of the graph was established. However, a specific local coordinate chart on the Grassmanian of all possible vertex conditions was used, thus creating an erroneous impression that something ``wrong'' can happen at the boundaries of the chart. Here we…
▽ More
In some previous works, the analytic structure of the spectrum of a quantum graph operator as a function of the vertex conditions and other parameters of the graph was established. However, a specific local coordinate chart on the Grassmanian of all possible vertex conditions was used, thus creating an erroneous impression that something ``wrong'' can happen at the boundaries of the chart. Here we show that the analyticity of the corresponding ``dispersion relation'' holds over the whole Grassmannian, as well as over other parameter spaces.
We also address the Dirichlet-to-Neumann (DtN) technique of relating quantum and discrete graph operators, which allows one to transfer some results from the discrete to the quantum graph case, but which has issues at the Dirichlet spectrum. We conclude that this difficulty, as in the first part of the paper, stems from the use of specific coordinates in a Grassmannian and show how to avoid it to extend some of the consequent results to the general situation.
△ Less
Submitted 5 July, 2019;
originally announced July 2019.
-
Boris R. Vainberg (on his 80th birthday)
Authors:
Yuri Egorov,
Alexander Komech,
Peter Kuchment,
Evgeny Lakshtanov,
Vladimir Mazya,
Stanislav Molchanov,
Roman Novikov,
Mark Freidlin
Abstract:
Boris R. Vainberg was born on March 17, 1938, in Moscow. His father was a Lead Engineer in an aviation design institute. His mother was a homemaker. From early age, Boris was attracted to mathematics and spent much of his time at home and in school working through collections of practice problems for the Moscow Mathematical Olympiad. His first mathematical library consisted of the books he receive…
▽ More
Boris R. Vainberg was born on March 17, 1938, in Moscow. His father was a Lead Engineer in an aviation design institute. His mother was a homemaker. From early age, Boris was attracted to mathematics and spent much of his time at home and in school working through collections of practice problems for the Moscow Mathematical Olympiad. His first mathematical library consisted of the books he received as one of the prize-winners of these olympiads.
△ Less
Submitted 27 May, 2018;
originally announced May 2018.
-
Some binomial formulas for non-commuting operators
Authors:
Peter Kuchment,
Sergey Lvin
Abstract:
Let $D$ and $U$ be linear operators in a vector space (or more generally, elements of an associative algebra with a unit). We establish binomial-type identities for $D$ and $U$ assuming that either their commutator $[D,U]$ or the second commutator $[D,[D,U]]$ is proportional to $U$.
Operators $D=d/dx$ (differentiation) and $U$- multiplication by $e^{λx}$ or by $\sin λx$ are basic examples, for w…
▽ More
Let $D$ and $U$ be linear operators in a vector space (or more generally, elements of an associative algebra with a unit). We establish binomial-type identities for $D$ and $U$ assuming that either their commutator $[D,U]$ or the second commutator $[D,[D,U]]$ is proportional to $U$.
Operators $D=d/dx$ (differentiation) and $U$- multiplication by $e^{λx}$ or by $\sin λx$ are basic examples, for which some of these relations appeared unexpectedly as byproducts of an authors' previous medical imaging research.
△ Less
Submitted 13 January, 2018;
originally announced January 2018.
-
Inversion of Weighted Divergent Beam and Cone Transforms
Authors:
Peter Kuchment,
Fatma Terzioglu
Abstract:
In this paper, we investigate the relations between the Radon and weighted divergent beam and cone transforms. Novel inversion formulas are derived for the latter two. The weighted cone transform arises, for instance, in image reconstruction from the data obtained by Compton cameras, which have promising applications in various fields, including biomedical and homeland security imaging and gamma r…
▽ More
In this paper, we investigate the relations between the Radon and weighted divergent beam and cone transforms. Novel inversion formulas are derived for the latter two. The weighted cone transform arises, for instance, in image reconstruction from the data obtained by Compton cameras, which have promising applications in various fields, including biomedical and homeland security imaging and gamma ray astronomy. The inversion formulas are applicable for a wide variety of detector geometries in any dimension. The results of numerical implementation of some of the formulas in dimensions two and three are also provided.
△ Less
Submitted 22 December, 2016; v1 submitted 20 December, 2016;
originally announced December 2016.
-
On a problem concerning affine-invariant points of convex sets
Authors:
Peter Kuchment
Abstract:
This text is a somewhat reformatted (e.g., some statements that were not as such in the original paper, are given the names "Corollary" or "Theorem.") translation of the old and practically inaccessible paper: P. Kuchment, On the question of the affine-invariant points of convex bodies, (in Russian), Optimizacija No. 8(25) (1972), 48--51, 127. MR0350621. There partial solutions of some old problem…
▽ More
This text is a somewhat reformatted (e.g., some statements that were not as such in the original paper, are given the names "Corollary" or "Theorem.") translation of the old and practically inaccessible paper: P. Kuchment, On the question of the affine-invariant points of convex bodies, (in Russian), Optimizacija No. 8(25) (1972), 48--51, 127. MR0350621. There partial solutions of some old problems of B. Grünbaum concerning affine-invariant points of convex bodies were obtained. The main restriction, due to which the solution was incomplete, was the compactness restriction on the group of linear transformations involved. It was noticed recently by O. Mordhorst (arXiv:1601.07850) that a simple additional argument allows one to restrict the consideration to the bodies whose John's ellipsoid is a ball and consequently to a compact group case. This in turn extends the result to the complete solution of B. Grünbaum's problem (see also some partial progress in the previous recent works by M. Meyer, C. Schütt, and E. Werner).
The article translated below contains three main statements: existence of invariant points in the case when the linear parts of affine transformations are taken from a compact group, the resulting from this proof of B. Grünbaum's conjecture for the case of similarity invariant points, and an example precluding the set of all such points from being the convex hull of finitely many of them.
△ Less
Submitted 17 February, 2016; v1 submitted 13 February, 2016;
originally announced February 2016.
-
Green's function asymptotics near the internal edges of spectra of periodic elliptic operators. Spectral gap interior
Authors:
Minh Kha,
Peter Kuchment,
Andrew Raich
Abstract:
Precise asymptotics known for the Green function of the Laplacian have found their analogs for bounded below periodic elliptic operators of the second-order below and at the bottom of the spectrum. Due to the band-gap structure of the spectra of such operators, the question arises whether similar results can be obtained near or at the edges of spectral gaps. In a previous work, two of the authors…
▽ More
Precise asymptotics known for the Green function of the Laplacian have found their analogs for bounded below periodic elliptic operators of the second-order below and at the bottom of the spectrum. Due to the band-gap structure of the spectra of such operators, the question arises whether similar results can be obtained near or at the edges of spectral gaps. In a previous work, two of the authors considered the case of a spectral edge. The main result of this article is finding such asymptotics near a gap edge, for "generic" periodic elliptic operators of second-order with real coefficients in dimension $d \geq 2$, when the gap edge occurs at a symmetry point of the Brillouin zone.
△ Less
Submitted 5 September, 2015; v1 submitted 26 August, 2015;
originally announced August 2015.
-
Stabilizing inverse problems by internal data. II. Non-local internal data and generic linearized uniqueness
Authors:
Peter Kuchment,
Dustin Steinhauer
Abstract:
In the previous paper "Stabilizing Inverse Problems by Internal Data", the authors introduced a simple procedure that allows one to detect whether and explain why internal information arising in several novel coupled physics (hybrid) imaging modalities could turn extremely unstable techniques, such as optical tomography or electrical impedance tomography, into stable, good-resolution procedures. I…
▽ More
In the previous paper "Stabilizing Inverse Problems by Internal Data", the authors introduced a simple procedure that allows one to detect whether and explain why internal information arising in several novel coupled physics (hybrid) imaging modalities could turn extremely unstable techniques, such as optical tomography or electrical impedance tomography, into stable, good-resolution procedures. It was shown that in all cases of interest, the Frechet derivative of the forward mapping is a pseudo-differential operator with an explicitly computable principal symbol. If one can set up the imaging procedure in such a way that the symbol is elliptic, this would indicate that the problem was stabilized. In the cases when the symbol is not elliptic, the technique suggests how to change the procedure (e.g., by adding extra measurements) to achieve ellipticity.
In this article, we consider the situation arising in acousto-optical tomography (also called ultrasound modulated optical tomography), where the internal data available involves the Green's function, and thus depends globally on the unknown parameter(s) of the equation and its solution. It is shown that the technique of "Stabilizing Inverse Problems by Internal Data" can be successfully adopted to this situation as well. We also obtain results on generic uniqueness for the linearized problem in a variety of situations, including those arising in acousto-electric and quantitative photoacoustic tomography.
△ Less
Submitted 2 November, 2014; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Identities for sin(x) that came from medical imaging
Authors:
Peter Kuchment,
Sergey Lvin
Abstract:
The article describes interesting nonlinear differential identities satisfied by standard exponential and trigonometric functions, which appeared as byproducts of medical imaging research. They look like some kind of non-commutative binomial formulas. A brief description of the origin of these identities is provided, as well as their direct algebraic derivation. Relations with separate analyticity…
▽ More
The article describes interesting nonlinear differential identities satisfied by standard exponential and trigonometric functions, which appeared as byproducts of medical imaging research. They look like some kind of non-commutative binomial formulas. A brief description of the origin of these identities is provided, as well as their direct algebraic derivation. Relations with separate analyticity theorems in several complex variables and some open problems are also mentioned.
△ Less
Submitted 19 October, 2011;
originally announced October 2011.
-
Stabilizing Inverse Problems by Internal Data
Authors:
Peter Kuchment,
Dustin Steinhauer
Abstract:
Several newly developing hybrid imaging methods (e.g., those combining electrical impedance or optical imaging with acoustics) enable one to obtain some auxiliary interior information (usually some combination of the electrical conductivity and the current) about the parameters of the tissues. This information, in turn, happens to stabilize the exponentially unstable and thus low resolution optica…
▽ More
Several newly developing hybrid imaging methods (e.g., those combining electrical impedance or optical imaging with acoustics) enable one to obtain some auxiliary interior information (usually some combination of the electrical conductivity and the current) about the parameters of the tissues. This information, in turn, happens to stabilize the exponentially unstable and thus low resolution optical and electrical impedance tomography.
Various known instances of this effect have been studied individually. We show that there is a simple general technique (covering all known cases) that shows what kind of interior data stabilizes the reconstruction, and why. Namely, we show when the linearized problem becomes elliptic pseudo-differential one, and thus stable. Stability here is meant as the problem being Fredholm, so the local uniqueness is not shown and probably does not hold in such generality.
△ Less
Submitted 20 March, 2012; v1 submitted 9 October, 2011;
originally announced October 2011.
-
Critical partitions and nodal deficiency of billiard eigenfunctions
Authors:
Gregory Berkolaiko,
Peter Kuchment,
Uzy Smilansky
Abstract:
The paper addresses the the number of nodal domains for eigenfunctions of Schrödinger operators with Dirichlet boundary conditions in bounded domains. In dimension one, the $n$th eigenfunction has $n$ nodal domains. The Courant Theorem claims that in any dimension, the number of nodal domains of the $n$th eigenfunction cannot exceed $n$. However, in dimensions higher than 1 the equality can hold f…
▽ More
The paper addresses the the number of nodal domains for eigenfunctions of Schrödinger operators with Dirichlet boundary conditions in bounded domains. In dimension one, the $n$th eigenfunction has $n$ nodal domains. The Courant Theorem claims that in any dimension, the number of nodal domains of the $n$th eigenfunction cannot exceed $n$. However, in dimensions higher than 1 the equality can hold for only finitely many eigenfunctions. Thus, a "nodal deficiency" arises. Examples are known of eigenfunctions with arbitrarily large index $n$ that have just two nodal domains.
It was suggested in the recent years to look at the partitions of the domain, rather than eigenfunctions. It was shown in a recent paper by Helffer, Hoffmann-Ostenhof and Terracini that (under some natural conditions) bipartite partitions minimizing the maximum of the ground-state energies in sub-domains of the partition, correspond to the "Courant sharp" eigenfunctions, i.e. to those with zero nodal deficiency.
In this paper, the authors show, under some genericity conditions, among the bipartite equipartitions, the nodal ones correspond exactly to the critical points of an analogous functional, with the nodal deficiency being equal to the Morse index at this point. This explains, in particular, why all the minimal partitions must be Courant sharp.
△ Less
Submitted 25 May, 2012; v1 submitted 18 July, 2011;
originally announced July 2011.
-
A Bayesian Approach to Detection of Small Low Emission Sources
Authors:
Xiaolei Xun,
Bani Mallick,
Raymond J. Carroll,
Peter Kuchment
Abstract:
The article addresses the problem of detecting presence and location of a small low emission source inside of an object, when the background noise dominates. This problem arises, for instance, in some homeland security applications. The goal is to reach the signal-to-noise ratio (SNR) levels on the order of $10^{-3}$. A Bayesian approach to this problem is implemented in 2D. The method allows infe…
▽ More
The article addresses the problem of detecting presence and location of a small low emission source inside of an object, when the background noise dominates. This problem arises, for instance, in some homeland security applications. The goal is to reach the signal-to-noise ratio (SNR) levels on the order of $10^{-3}$. A Bayesian approach to this problem is implemented in 2D. The method allows inference not only about the existence of the source, but also about its location. We derive Bayes factors for model selection and estimation of location based on Markov Chain Monte Carlo (MCMC) simulation. A simulation study shows that with sufficiently high total emission level, our method can effectively locate the source.
△ Less
Submitted 14 July, 2011;
originally announced July 2011.
-
Mathematics of Hybrid Imaging. A Brief Review
Authors:
Peter Kuchment
Abstract:
The article provides a brief survey of the mathematics of some of the newly being developed so called "hybrid" (also called "multi-physics" or "multi-wave") imaging techniques.
The article provides a brief survey of the mathematics of some of the newly being developed so called "hybrid" (also called "multi-physics" or "multi-wave") imaging techniques.
△ Less
Submitted 12 July, 2011;
originally announced July 2011.
-
2D and 3D reconstructions in acousto-electric tomography
Authors:
Peter Kuchment,
Leonid Kunyansky
Abstract:
We propose and test stable algorithms for the reconstruction of the internal conductivity of a biological object using acousto-electric measurements. Namely, the conventional impedance tomography scheme is supplemented by scanning the object with acoustic waves that slightly perturb the conductivity and cause the change in the electric potential measured on the boundary of the object. These pertur…
▽ More
We propose and test stable algorithms for the reconstruction of the internal conductivity of a biological object using acousto-electric measurements. Namely, the conventional impedance tomography scheme is supplemented by scanning the object with acoustic waves that slightly perturb the conductivity and cause the change in the electric potential measured on the boundary of the object. These perturbations of the potential are then used as the data for the reconstruction of the conductivity. The present method does not rely on "perfectly focused" acoustic beams. Instead, more realistic propagating spherical fronts are utilized, and then the measurements that would correspond to perfect focusing are synthesized. In other words, we use \emph{synthetic focusing}. Numerical experiments with simulated data show that our techniques produce high quality images, both in 2D and 3D, and that they remain accurate in the presence of high-level noise in the data. Local uniqueness and stability for the problem also hold.
△ Less
Submitted 21 February, 2011; v1 submitted 12 November, 2010;
originally announced November 2010.
-
On the location of spectral edges in $\mathbb{Z}$-periodic media
Authors:
Pavel Exner,
Peter Kuchment,
Brian Winn
Abstract:
Periodic $2$nd order ordinary differential operators on $\R$ are known to have the edges of their spectra to occur only at the spectra of periodic and antiperiodic boundary value problems. The multi-dimensional analog of this property is false, as was shown in a 2007 paper by some of the authors of this article. However, one sometimes encounters the claims that in the case of a single periodicity…
▽ More
Periodic $2$nd order ordinary differential operators on $\R$ are known to have the edges of their spectra to occur only at the spectra of periodic and antiperiodic boundary value problems. The multi-dimensional analog of this property is false, as was shown in a 2007 paper by some of the authors of this article. However, one sometimes encounters the claims that in the case of a single periodicity (i.e., with respect to the lattice $\mathbb{Z}$), the $1D$ property still holds, and spectral edges occur at the periodic and anti-periodic spectra only. In this work we show that even in the simplest case of quantum graphs this is not true. It is shown that this is true if the graph consists of a $1D$ chain of finite graphs connected by single edges, while if the connections are formed by at least two edges, the spectral edges can already occur away from the periodic and anti-periodic spectra.
△ Less
Submitted 15 June, 2010;
originally announced June 2010.
-
Mathematics of Photoacoustic and Thermoacoustic Tomography
Authors:
Peter Kuchment,
Leonid Kunyansky
Abstract:
This is the manuscript of the chapter for a planned Handbook of Mathematical Methods in Imaging that surveys the mathematical models, problems, and algorithms of the Thermoacoustic (TAT) and Photoacoustic (PAT) Tomography. TAT and PAT represent probably the most developed of the several novel ``hybrid'' methods of medical imaging. These new modalities combine different physical types of waves (e…
▽ More
This is the manuscript of the chapter for a planned Handbook of Mathematical Methods in Imaging that surveys the mathematical models, problems, and algorithms of the Thermoacoustic (TAT) and Photoacoustic (PAT) Tomography. TAT and PAT represent probably the most developed of the several novel ``hybrid'' methods of medical imaging. These new modalities combine different physical types of waves (electromagnetic and acoustic in case of TAT and PAT) in such a way that the resolution and contrast of the resulting method are much higher than those achievable using only acoustic or electromagnetic measurements.
△ Less
Submitted 10 December, 2009;
originally announced December 2009.
-
The support theorem for the single radius spherical mean transform
Authors:
Mark Agranovsky,
Peter Kuchment
Abstract:
Let f(x) belong to L^p(R^n) and R>0. The transform is considered that integrates the function f over (almost) all spheres of radius R in R^n. This operator is known to be non-injective (as one can see by taking Fourier transform). However, the counterexamples that can be easily constructed using Bessel functions of the 1st kind, only belong to L^p if p>2n/(n-1). It has been shown previously by S.…
▽ More
Let f(x) belong to L^p(R^n) and R>0. The transform is considered that integrates the function f over (almost) all spheres of radius R in R^n. This operator is known to be non-injective (as one can see by taking Fourier transform). However, the counterexamples that can be easily constructed using Bessel functions of the 1st kind, only belong to L^p if p>2n/(n-1). It has been shown previously by S. Thangavelu that for p not exceeding the critical number 2n/(n-1), the transform is indeed injective.
In this article, the support theorem is proven that strengthens this injectivity result. Namely, if K is a convex bounded domain in R^n, the index p is not above 2n/(n-1), and (almost) all the integrals of $f$ over spheres of radius $R$ not intersecting K are equal to zero, then f is supported in the closure of the domain K.
In fact, convexity in this case is too strong a condition, and the result holds for any what we call an R-convex domain.
△ Less
Submitted 7 October, 2010; v1 submitted 8 May, 2009;
originally announced May 2009.
-
Range conditions for a spherical mean transform
Authors:
Mark Agranovsky,
David Finch,
Peter Kuchment
Abstract:
The paper is devoted to the range description of the Radon type transform that averages a function over all spheres centered on a given sphere. Such transforms arise naturally in thermoacoustic tomography, a novel method of medical imaging. Range descriptions have recently been obtained for such transforms, and consisted of smoothness and support conditions, moment conditions, and some additiona…
▽ More
The paper is devoted to the range description of the Radon type transform that averages a function over all spheres centered on a given sphere. Such transforms arise naturally in thermoacoustic tomography, a novel method of medical imaging. Range descriptions have recently been obtained for such transforms, and consisted of smoothness and support conditions, moment conditions, and some additional orthogonality conditions of spectral nature. It has been noticed that in odd dimensions, surprisingly, the moment conditions are superfluous and can be eliminated. It is shown in this text that in fact the same happens in any dimension.
△ Less
Submitted 26 February, 2009; v1 submitted 24 February, 2009;
originally announced February 2009.
-
Synthetic focusing in ultrasound modulated tomography
Authors:
Peter Kuchment,
Leonid Kunyansky
Abstract:
Several hybrid tomographic methods utilizing ultrasound modulation have been introduced lately. Success of these methods hinges on the feasibility of focusing ultrasound waves at an arbitrary point of interest. Such a focusing, however, is difficult to achieve in practice. We thus propose a way to avoid the use of focused waves through the so called synthetic focusing, i.e. by the reconstruction…
▽ More
Several hybrid tomographic methods utilizing ultrasound modulation have been introduced lately. Success of these methods hinges on the feasibility of focusing ultrasound waves at an arbitrary point of interest. Such a focusing, however, is difficult to achieve in practice. We thus propose a way to avoid the use of focused waves through the so called synthetic focusing, i.e. by the reconstruction of the would-be response to the focused modulation from the measurements corresponding to realistic unfocused waves. Examples of reconstructions from simulated data are provided. This non-technical paper describes only the general concept, while technical details will appear elsewhere.
△ Less
Submitted 16 January, 2009;
originally announced January 2009.
-
Index theorems for quantum graphs
Authors:
S. A. Fulling,
P. Kuchment,
J. H. Wilson
Abstract:
In geometric analysis, an index theorem relates the difference of the numbers of solutions of two differential equations to the topological structure of the manifold or bundle concerned, sometimes using the heat kernels of two higher-order differential operators as an intermediary. In this paper, the case of quantum graphs is addressed. A quantum graph is a graph considered as a (singular) one-d…
▽ More
In geometric analysis, an index theorem relates the difference of the numbers of solutions of two differential equations to the topological structure of the manifold or bundle concerned, sometimes using the heat kernels of two higher-order differential operators as an intermediary. In this paper, the case of quantum graphs is addressed. A quantum graph is a graph considered as a (singular) one-dimensional variety and equipped with a second-order differential Hamiltonian H (a "Laplacian") with suitable conditions at vertices. For the case of scale-invariant vertex conditions (i.e., conditions that do not mix the values of functions and of their derivatives), the constant term of the heat-kernel expansion is shown to be proportional to the trace of the internal scattering matrix of the graph. This observation is placed into the index-theory context by factoring the Laplacian into two first-order operators, H =A*A, and relating the constant term to the index of A. An independent consideration provides an index formula for any differential operator on a finite quantum graph in terms of the vertex conditions. It is found also that the algebraic multiplicity of 0 as a root of the secular determinant of H is the sum of the nullities of A and A*.
△ Less
Submitted 25 August, 2007;
originally announced August 2007.
-
On reconstruction formulas and algorithms for the thermoacoustic tomography
Authors:
M. Agranovsky,
P. Kuchment,
L. Kunyansky
Abstract:
The paper surveys recent progress in establishing uniqueness and developing inversion formulas and algorithms for the thermoacoustic tomography. In mathematical terms, one deals with a rather special inverse problem for the wave equation. In the case of constant sound speed, it can also be interpreted as a problem concerning the spherical mean transform.
The paper surveys recent progress in establishing uniqueness and developing inversion formulas and algorithms for the thermoacoustic tomography. In mathematical terms, one deals with a rather special inverse problem for the wave equation. In the case of constant sound speed, it can also be interpreted as a problem concerning the spherical mean transform.
△ Less
Submitted 21 October, 2007; v1 submitted 9 June, 2007;
originally announced June 2007.
-
Uniqueness of reconstruction and an inversion procedure for thermoacoustic and photoacoustic tomography
Authors:
Mark Agranovsky,
Peter Kuchment
Abstract:
The paper contains a simple approach to reconstruction in Thermoacoustic and Photoacoustic Tomography. The technique works for any geometry of point detectors placement and for variable sound speed satisfying a non-trapping condition. A uniqueness of reconstruction result is also obtained.
The paper contains a simple approach to reconstruction in Thermoacoustic and Photoacoustic Tomography. The technique works for any geometry of point detectors placement and for variable sound speed satisfying a non-trapping condition. A uniqueness of reconstruction result is also obtained.
△ Less
Submitted 5 June, 2007;
originally announced June 2007.
-
Mathematics of thermoacoustic tomography
Authors:
Peter Kuchment,
Leonid Kunyansky
Abstract:
The paper presents a survey of mathematical problems, techniques, and challenges arising in the Thermoacoustic and Photoacoustic Tomography.
The paper presents a survey of mathematical problems, techniques, and challenges arising in the Thermoacoustic and Photoacoustic Tomography.
△ Less
Submitted 21 October, 2007; v1 submitted 2 April, 2007;
originally announced April 2007.
-
On occurrence of spectral edges for periodic operators inside the Brillouin zone
Authors:
J. M. Harrison,
P. Kuchment,
A. Sobolev,
B. Winn
Abstract:
The article discusses the following frequently arising question on the spectral structure of periodic operators of mathematical physics (e.g., Schroedinger, Maxwell, waveguide operators, etc.). Is it true that one can obtain the correct spectrum by using the values of the quasimomentum running over the boundary of the (reduced) Brillouin zone only, rather than the whole zone? Or, do the edges of…
▽ More
The article discusses the following frequently arising question on the spectral structure of periodic operators of mathematical physics (e.g., Schroedinger, Maxwell, waveguide operators, etc.). Is it true that one can obtain the correct spectrum by using the values of the quasimomentum running over the boundary of the (reduced) Brillouin zone only, rather than the whole zone? Or, do the edges of the spectrum occur necessarily at the set of ``corner'' high symmetry points? This is known to be true in 1D, while no apparent reasons exist for this to be happening in higher dimensions. In many practical cases, though, this appears to be correct, which sometimes leads to the claims that this is always true. There seems to be no definite answer in the literature, and one encounters different opinions about this problem in the community.
In this paper, starting with simple discrete graph operators, we construct a variety of convincing multiply-periodic examples showing that the spectral edges might occur deeply inside the Brillouin zone. On the other hand, it is also shown that in a ``generic'' case, the situation of spectral edges appearing at high symmetry points is stable under small perturbations. This explains to some degree why in many (maybe even most) practical cases the statement still holds.
△ Less
Submitted 14 February, 2007; v1 submitted 10 February, 2007;
originally announced February 2007.
-
Range descriptions for the spherical mean Radon transform
Authors:
M. Agranovsky,
P. Kuchment,
E. T. Quinto
Abstract:
The transform considered in the paper averages a function supported in a ball in $\RR^n$ over all spheres centered at the boundary of the ball. This Radon type transform arises in several contemporary applications, e.g. in thermoacoustic tomography and sonar and radar imaging. Range descriptions for such transforms are important in all these areas, for instance when dealing with incomplete data,…
▽ More
The transform considered in the paper averages a function supported in a ball in $\RR^n$ over all spheres centered at the boundary of the ball. This Radon type transform arises in several contemporary applications, e.g. in thermoacoustic tomography and sonar and radar imaging. Range descriptions for such transforms are important in all these areas, for instance when dealing with incomplete data, error correction, and other issues. Four different types of complete range descriptions are provided, some of which also suggest inversion procedures. Necessity of three of these (appropriately formulated) conditions holds also in general domains, while the complete discussion of the case of general domains would require another publication.
△ Less
Submitted 2 September, 2006; v1 submitted 13 June, 2006;
originally announced June 2006.
-
Integral representations of solutions of periodic elliptic equations
Authors:
Peter Kuchment
Abstract:
The paper discusses relations between the structure of the complex Fermi surface below the spectrum of a second order periodic elliptic equation and integral representations of certain classes of its solutions. These integral representations are analogs of those previously obtained by S. Agmon, S. Helgason, and other authors for solutions of the Helmholtz equation (i.e., for generalized eigenfun…
▽ More
The paper discusses relations between the structure of the complex Fermi surface below the spectrum of a second order periodic elliptic equation and integral representations of certain classes of its solutions. These integral representations are analogs of those previously obtained by S. Agmon, S. Helgason, and other authors for solutions of the Helmholtz equation (i.e., for generalized eigenfunctions of Laplace operator). In a previous joint work with Y. Pinchover we described all solutions that can be represented as integrals of positive Bloch solutions over the imaginary Fermi surface, with a hyperfunction as a ``measure''. Here we characterize the class of solutions such that the corresponding hyperfunction is a distribution on the Fermi surface.
△ Less
Submitted 6 April, 2006;
originally announced April 2006.
-
A range description for the planar circular Radon transform
Authors:
Gaik Ambartsoumian,
Peter Kuchment
Abstract:
The transform considered in the paper integrates a function supported in the unit disk on the plane over all circles centered at the boundary of this disk. Such circular Radon transform arises in several contemporary imaging techniques, as well as in other applications. As it is common for transforms of Radon type, its range has infinite co-dimension in standard function spaces. Range descriptio…
▽ More
The transform considered in the paper integrates a function supported in the unit disk on the plane over all circles centered at the boundary of this disk. Such circular Radon transform arises in several contemporary imaging techniques, as well as in other applications. As it is common for transforms of Radon type, its range has infinite co-dimension in standard function spaces. Range descriptions for such transforms are known to be very important for computed tomography, for instance when dealing with incomplete data, error correction, and other issues. A complete range description for the circular Radon transform is obtained. Range conditions include the recently found set of moment type conditions, which happens to be incomplete, as well as the rest of conditions that have less standard form. In order to explain the procedure better, a similar (non-standard) treatment of the range conditions is described first for the usual Radon transform on the plane.
△ Less
Submitted 3 August, 2005;
originally announced August 2005.
-
Coincidence of length spectra does not imply isospectrality
Authors:
S. A. Fulling,
Peter Kuchment
Abstract:
Penrose--Lifshits mushrooms are planar domains coming in nonisometric pairs with the same geodesic length spectrum. Recently S. Zelditch raised the question whether such billiards also have the same eigenvalue spectrum for the Dirichlet Laplacian (conjecturing ``no''). Here we show that generically (in the class of smooth domains) the two members of a mushroom pair have different spectra.
Penrose--Lifshits mushrooms are planar domains coming in nonisometric pairs with the same geodesic length spectrum. Recently S. Zelditch raised the question whether such billiards also have the same eigenvalue spectrum for the Dirichlet Laplacian (conjecturing ``no''). Here we show that generically (in the class of smooth domains) the two members of a mushroom pair have different spectra.
△ Less
Submitted 10 May, 2005;
originally announced May 2005.
-
Liouville theorems and spectral edge behavior on abelian coverings of compact manifolds
Authors:
Peter Kuchment,
Yehuda Pinchover
Abstract:
The paper describes relations between Liouville type theorems for solutions of a periodic elliptic equation (or a system) on an abelian cover of a compact Riemannian manifold and the structure of the dispersion relation for this equation at the edges of the spectrum. Here one says that the Liouville theorem holds if the space of solutions of any given polynomial growth is finite dimensional. The…
▽ More
The paper describes relations between Liouville type theorems for solutions of a periodic elliptic equation (or a system) on an abelian cover of a compact Riemannian manifold and the structure of the dispersion relation for this equation at the edges of the spectrum. Here one says that the Liouville theorem holds if the space of solutions of any given polynomial growth is finite dimensional. The necessary and sufficient condition for a Liouville type theorem to hold is that the real Fermi surface of the elliptic operator consists of finitely many points (modulo the reciprocal lattice). Thus, such a theorem generically is expected to hold at the edges of the spectrum. The precise description of the spaces of polynomially growing solutions depends upon a `homogenized' constant coefficient operator determined by the analytic structure of the dispersion relation. In most cases, simple explicit formulas are found for the dimensions of the spaces of polynomially growing solutions in terms of the dispersion curves. The role of the base of the covering (in particular its dimension) is rather limited, while the deck group is of the most importance.
The results are also established for overdetermined elliptic systems, which in particular leads to Liouville theorems for polynomially growing holomorphic functions on abelian coverings of compact analytic manifolds.
Analogous theorems hold for abelian coverings of compact combinatorial or quantum graphs.
△ Less
Submitted 6 March, 2005;
originally announced March 2005.
-
On the injectivity of the circular Radon transform arising in thermoacoustic tomography
Authors:
Gaik Ambartsoumian,
Peter Kuchment
Abstract:
The circular Radon transform integrates a function over the set of all spheres with a given set of centers. The problem of injectivity of this transform (as well as inversion formulas, range descriptions, etc.) arises in many fields from approximation theory to integral geometry, to inverse problems for PDEs, and recently to newly developing types of tomography. The article discusses known and p…
▽ More
The circular Radon transform integrates a function over the set of all spheres with a given set of centers. The problem of injectivity of this transform (as well as inversion formulas, range descriptions, etc.) arises in many fields from approximation theory to integral geometry, to inverse problems for PDEs, and recently to newly developing types of tomography. The article discusses known and provides new results that one can obtain by methods that essentially involve only the finite speed of propagation and domain dependence for the wave equation.
△ Less
Submitted 25 December, 2004; v1 submitted 27 April, 2004;
originally announced April 2004.
-
Integral representations and Liouville theorems for solutions of periodic elliptic equations
Authors:
Peter Kuchment,
Yehuda Pinchover
Abstract:
The paper contains integral representations for certain classes of exponentially growing solutions of second order periodic elliptic equations. These representations are the analogs of those previously obtained by S. Agmon, S. Helgason, and other authors for solutions of the Helmholtz equation. When one restricts the class of solutions further, requiring their growth to be polynomial, one arrive…
▽ More
The paper contains integral representations for certain classes of exponentially growing solutions of second order periodic elliptic equations. These representations are the analogs of those previously obtained by S. Agmon, S. Helgason, and other authors for solutions of the Helmholtz equation. When one restricts the class of solutions further, requiring their growth to be polynomial, one arrives to Liouville type theorems, which describe the structure and dimension of the spaces of such solutions. The Liouville type theorems previously proved by M. Avellaneda and F.-H. Lin, and J. Moser and M. Struwe for periodic second order elliptic equations in divergence form are significantly extended. Relations of these theorems with the analytic structure of the Fermi and Bloch surfaces are explained.
△ Less
Submitted 10 July, 2000;
originally announced July 2000.
-
On absence of embedded eigenvalues for Schrödinger operators with perturbed periodic potentials
Authors:
Peter Kuchment,
Boris Vainberg
Abstract:
The problem of absence of eigenvalues imbedded into the continuous spectrum is considered for a Schrödinger operator with a periodic potential perturbed by a sufficiently fast decaying ``impurity'' potential. Results of this type have previously been known for the one-dimensional case only. Absence of embedded eigenvalues is shown in dimensions two and three if the corresponding Fermi surface is…
▽ More
The problem of absence of eigenvalues imbedded into the continuous spectrum is considered for a Schrödinger operator with a periodic potential perturbed by a sufficiently fast decaying ``impurity'' potential. Results of this type have previously been known for the one-dimensional case only. Absence of embedded eigenvalues is shown in dimensions two and three if the corresponding Fermi surface is irreducible modulo natural symmetries. It is conjectured that all periodic potentials satisfy this condition. Separable periodic potentials satisfy it, and hence in dimensions two and three Schrödinger operator with a separable periodic potential perturbed by a sufficiently fast decaying ``impurity'' potential has no embedded eigenvalues.
△ Less
Submitted 16 April, 1999;
originally announced April 1999.
-
On absolute continuity of spectra of periodic elliptic operators
Authors:
Peter Kuchment,
Sergei Levendorski
Abstract:
The paper contains a brief description of a simplified version of A. Sobolev's proof of absolute continuity of spectra of periodic magnetic Schrödinger operators. This approach is applicable to all periodic elliptic operators known to be of interest for math physics (including Maxwell), and in all these cases leads to the same model problem of complex analysis. The full account of this approach…
▽ More
The paper contains a brief description of a simplified version of A. Sobolev's proof of absolute continuity of spectra of periodic magnetic Schrödinger operators. This approach is applicable to all periodic elliptic operators known to be of interest for math physics (including Maxwell), and in all these cases leads to the same model problem of complex analysis. The full account of this approach will be provided elsewhere.
△ Less
Submitted 6 October, 1998;
originally announced October 1998.
