arXiv subjects

Graham Cox

Publications and source records attributed to Graham Cox.

At least 19 recordsLinked to original sources

arXiv2026

Black hole evolutions: Lessons from bifurcation theory

We explore the role of the stability operator in regulating the evolution of marginally outer trapped surfaces (MOTSs). In 2005, Andersson, Mars and Simon showed that if the stability operator is invertible, then the time evolution of a MOTS is unique. Here we focus on moments at which that stability operator is not invertible. Understanding MOTSs as analogous to fixed points, and the stability operator as a linearization of the system of the MOTS-defining equations, bifurcation theory can be used to classify possible non-unique evolutions. MOTS pair creation/annihilation is an example of a saddle-node bifurcation but other possibilities can occur, including pitchfork and transcritical bifurcations. Analytical and numerical tools are used to identify examples of the various bifurcations in a variety of spacetimes. To help analyze those results, we define a generalized MOTS stability operator and discuss the (partial) barrier properties of unstable MOTSs. Spherically symmetric examples are given in Reissner-Nordstr\"om-de Sitter spacetime and axisymmetric examples are studied in Reissner-Nordstr\"om and Weyl-distorted Schwarzschild. This application of bifurcation theory is very general and so applies to any theory of gravity containing MOTSs (or some generalization thereof). Possible bifurcations of those structures are constrained in any such theory in the same way.

gr-qc↗

arXiv2024

The calculus of Duistermaat's triple index

In this paper we develop a systematic calculus for the Duistermaat index, a symplectic invariant defined for triples of Lagrangian subspaces. Introduced nearly half a century ago, this index has lately been the subject of renewed attention, due to its central role in eigenvalue interlacing problems on quantum graphs (and more abstractly for self-adjoint extensions of symmetric operators). Here we give an axiomatic characterization of the index that leads to elementary proofs of its fundamental properties. We also relate the index to other quantities often appearing in symplectic geometry, such as the H\"ormander--Kashiwara--Wall index and the Maslov index. Among other things, this leads to a curious formula for the Morse index of a difference of Hermitian matrices.

math.SP↗

arXiv2024

Stability of spectral partitions with corners

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}$.

math.AP↗

arXiv2024

Unique continuation principles for finite-element discretizations of the Laplacian

Unique continuation principles are fundamental properties of elliptic partial differential equations, giving conditions that guarantee that the solution to an elliptic equation must be uniformly zero. Since finite-element discretizations are a natural tool to help gain understanding into elliptic equations, it is natural to ask if such principles also hold at the discrete level. In this work, we prove a version of the unique continuation principle for piecewise-linear and -bilinear finite-element discretizations of the Laplacian eigenvalue problem on polygonal domains in $\mathbb{R}^2$. Namely, we show that any solution to the discretized equation $-\Delta u = \lambda u$ with vanishing Dirichlet and Neumann traces must be identically zero under certain geometric and topological assumptions on the resulting triangulation. We also provide a counterexample, showing that a nonzero \emph{inner solution} exists when the topological assumptions are not satisfied. Finally, we give an application to an eigenvalue interlacing problem, where the space of inner solutions makes an explicit appearance.

math.NA↗

arXiv2024

Homology of spectral minimal partitions

A spectral minimal partition of a manifold is its decomposition into disjoint open sets that minimizes a spectral energy functional. It is known that bipartite spectral minimal partitions coincide with nodal partitions of Courant-sharp Laplacian eigenfunctions. However, almost all minimal partitions are non-bipartite. To study those, we define a modified Laplacian operator and prove that the nodal partitions of its Courant-sharp eigenfunctions are minimal within a certain topological class of partitions. This yields new results in the non-bipartite case and recovers the above known result in the bipartite case. Our approach is based on tools from algebraic topology, which we illustrate by a number of examples where the topological types of partitions are characterized by relative homology.

math.AP↗

arXiv2023

The Duistermaat index and eigenvalue interlacing for self-adjoint extensions of a symmetric operator

Eigenvalue interlacing is a useful tool in linear algebra and spectral analysis. In its simplest form, the interlacing inequality states that a rank-one positive perturbation shifts each eigenvalue up, but not further than the next unperturbed eigenvalue. For different types of perturbations, this idea is known as Weyl interlacing, Cauchy interlacing, Dirichlet--Neumann bracketing and so on. We prove a sharp version of the interlacing inequalities for ``finite-dimensional perturbations in boundary conditions'', expressed as bounds on the spectral shift between two self-adjoint extensions of a fixed symmetric operator with finite and equal defect numbers. The bounds are given in terms of the Duistermaat index, a topological invariant describing the relative position of three Lagrangian planes in a symplectic space. Two of the Lagrangian planes describe the self-adjoint extensions being compared, while the third corresponds to the Friedrichs extension, which acts as a reference point. Along the way several auxiliary results are established, including one-sided continuity properties of the Duistermaat triple index, smoothness of the (abstract) Cauchy data space without unique continuation-type assumptions, and a formula for the Morse index of an extension of a non-negative symmetric operator.

math.SP↗

arXiv2023

Symmetry and instability of marginally outer trapped surfaces

We consider an initial data set having a continuous symmetry and a marginally outer trapped surface (MOTS) that is not preserved by this symmetry. We show that such a MOTS is unstable except in an exceptional case. In non-rotating cases we provide a Courant-type lower bound on the number of unstable eigenvalues. These results are then used to prove the instability of a large class of exotic MOTSs that were recently observed in the Schwarzschild spacetime. We also discuss the implications for the apparent horizon in data sets with translational symmetry.

gr-qc↗

arXiv2022

Hamiltonian spectral flows, the Maslov index, and the stability of standing waves in the nonlinear Schr\"{o}dinger equation

We use the Maslov index to study the spectrum of a class of linear Hamiltonian differential operators. We provide a lower bound on the number of positive real eigenvalues, which includes a contribution to the Maslov index from a non-regular crossing. A close study of the eigenvalue curves, which represent the evolution of the eigenvalues as the domain is shrunk or expanded, yields formulas for their concavity at the non-regular crossing in terms of the corresponding Jordan chains. This, along with homotopy techniques, enables the computation of the Maslov index at such a crossing. We apply our theory to study the spectral (in)stability of standing waves in the nonlinear Schr\"odinger equation on a compact spatial interval. We derive new stability results in the spirit of the Jones--Grillakis instability theorem and the Vakhitov--Kolokolov criterion, both originally formulated on the real line. A fundamental difference upon passing from the real line to the compact interval is the loss of translational invariance, in which case the zero eigenvalue of the linearised operator is geometrically simple. Consequently, the stability results differ depending on the boundary conditions satisfied by the wave. We compare our lower bound to existing results involving constrained eigenvalue counts, finding a direct relationship between the correction factors found therein and the objects of our analysis, including the second-order Maslov crossing form.

math.SP↗

arXiv2022

Fredholm determinants, Evans functions and Maslov indices for partial differential equations

The Evans function is a well known tool for locating spectra of differential operators in one spatial dimension. In this paper we construct a multidimensional analogue as the modified Fredholm determinant of a ratio of Dirichlet-to-Robin operators on the boundary. This gives a tool for studying the eigenvalue counting functions of second-order elliptic operators that need not be self-adjoint. To do this we use local representation theory for meromorphic operator-valued pencils, and relate the algebraic multiplicities of eigenvalues of elliptic operators to those of the Robin-to-Robin and Robin-to-Dirichlet operator pencils. In the self-adjoint case we relate our construction to the Maslov index, another well known tool in the spectral theory of differential operators. This gives new insight into the Maslov index and allows us to obtain crucial monotonicity results by complex analytic methods.

math.SP↗

arXiv2022

Entropy and entanglement in a bipartite quasi-Hermitian system and its Hermitian counterparts

We consider a quantum oscillator coupled to a bath of $N$ other oscillators. The total system evolves with a quasi-Hermitian Hamiltonian. Associated to it is a family of Hermitian systems, parameterized by a unitary map $W$. Our main goal is to find the influence of $W$ on the entropy and the entanglement in the Hermitian systems. We calculate explicitly the reduced density matrix of the single oscillator for all Hermitian systems and show that, regardless of $W$, their von Neumann entropy oscillates with a common period which is twice that of the non-Hermitian system. We show that generically, the oscillator and the bath are entangled for almost all times. While the amount of entanglement depends on the choice of $W$, it is independent of $W$ when averaged over a period. These results describe some universality in the physical properties of all Hermitian systems associated to a given non-Hermitian one.

quant-ph↗

arXiv2022

Computing nodal deficiency with a refined Dirichlet-to-Neumann map

Recent work of the authors and their collaborators has uncovered fundamental connections between the Dirichlet-to-Neumann map, the spectral flow of a certain family of self-adjoint operators, and the nodal deficiency of a Laplacian eigenfunction (or an analogous deficiency associated to a non-bipartite equipartition). Using a refined construction of the Dirichlet-to-Neumann map, we strengthen all of these results, in particular getting improved bounds on the nodal deficiency of degenerate eigenfunctions. Our framework is very general, allowing for non-bipartite partitions, non-simple eigenvalues, and non-smooth nodal sets. Consequently, the results can be used in the general study of spectral minimal partitions, not just nodal partitions of generic Laplacian eigenfunctions.

math.SP↗

arXiv2022

Stability of spectral partitions and the Dirichlet-to-Neumann map

The oscillation of a Laplacian eigenfunction gives a great deal of information about the manifold on which it is defined. This oscillation can be encoded in the nodal deficiency, an important geometric quantity that is notoriously hard to compute, or even estimate. Here we compare two recently obtained formulas for the nodal deficiency, one in terms of an energy functional on the space of equipartitions of the manifold, and the other in terms of a two-sided Dirichlet-to-Neumann map defined on the nodal set. We relate these two approaches by giving an explicit formula for the Hessian of the equipartition energy in terms of the Dirichlet-to-Neumann map. This allows us to compute Hessian eigenfunctions, and hence directions of steepest descent, for the equipartition energy in terms of the corresponding Dirichlet-to-Neumann eigenfunctions. Our results do not assume bipartiteness, and hence are relevant to the study of spectral minimal partitions.

math.AP↗

arXiv2020

Eigenvalues of the MOTS stability operator for slowly rotating Kerr black holes

We study the eigenvalues of the MOTS stability operator for the Kerr black hole with angular momentum per unit mass $|a| \ll M$. We prove that each eigenvalue depends analytically on $a$ (in a neighbourhood of $a=0$), and compute its first nonvanishing derivative. Recalling that $a=0$ corresponds to the Schwarzschild solution, where each eigenvalue has multiplicity $2\ell+1$, we find that this degeneracy is completely broken for nonzero $a$. In particular, for $0 < |a| \ll M$ we obtain a cluster consisting of $\ell$ distinct complex conjugate pairs and one real eigenvalue. As a special case of our results, we get a simple formula for the variation of the principal eigenvalue. For perturbations that preserve the total area or mass of the black hole, we find that the principal eigenvalue has a local maximum at $a=0$. However, there are other perturbations for which the principal eigenvalue has a local minimum at $a=0$.

gr-qc↗

arXiv2020

Defining the spectral position of a Neumann domain

A Laplacian eigenfunction on a two-dimensional Riemannian manifold provides a natural partition into Neumann domains (a.k.a. a Morse--Smale complex). This partition is generated by gradient flow lines of the eigenfunction, which bound the so-called Neumann domains. We prove that the Neumann Laplacian defined on a Neumann domain is self-adjoint and has a purely discrete spectrum. In addition, we prove that the restriction of an eigenfunction to any one of its Neumann domains is an eigenfunction of the Neumann Laplacian. By comparison, similar statements about the Dirichlet Laplacian on a nodal domain of an eigenfunction are basic and well-known. The difficulty here is that the boundary of a Neumann domain may have cusps and cracks, so standard results about Sobolev spaces are not available. Another very useful common fact is that the restricted eigenfunction on a nodal domain is the first eigenfunction of the Dirichlet Laplacian. This is no longer true for a Neumann domain. Our results enable the investigation of the resulting spectral position problem for Neumann domains, which is much more involved than its nodal analogue.

math.SP↗

arXiv2020

Generalized Maslov indices for non-Hamiltonian systems

We extend the definition of the Maslov index to a broad class of non-Hamiltonian dynamical systems. To do this, we introduce a family of topological spaces--which we call Maslov-Arnold spaces--that share key topological features with the Lagrangian Grassmannian, and hence admit a similar index theory. This family contains the Lagrangian Grassmannian, and much more. We construct a family of examples, called hyperplane Maslov-Arnold spaces, that are dense in the Grassmannian, and hence are much larger than the Lagrangian Grassmannian (which is a submanifold of positive codimension). The resulting index is then used to study eigenvalue problems for non-symmetric reaction-diffusion systems. A highlight of our analysis is a topological interpretation of the Turing instability: the bifurcation that occurs as one increases the ratio of diffusion coefficients corresponds to a change in the generalized Maslov index.

math.DS↗

arXiv2020

Limiting Eigenfunctions of Sturm-Liouville operators Subject to a Spectral Flow

We examine the spectrum of a family of Sturm--Liouville operators with regularly spaced delta function potentials parametrized by increasing strength. The limiting behavior of the eigenvalues under this spectral flow was described in a previor result of the last two authors with Berkolaiko, where it was used to study the nodal deficiency of Laplacian eigenfunctions. Here we consider the eigenfunctions of these operators. In particular, we give explicit formulas for the limiting eigenfunctions, and also characterize the eigenfunctions and eigenvalues for all values for the spectral flow parameter (not just in the limit). We also develop spectrally accurate numerical tools for comparison and visualization.

math.SP↗

arXiv2020

A local test for global extrema in the dispersion relation of a periodic graph

We consider a family of periodic tight-binding models (combinatorial graphs) that have the minimal number of links between copies of the fundamental domain. For this family we establish a local condition of second derivative type under which the critical points of the dispersion relation can be recognized as global maxima or minima. Under the additional assumption of time-reversal symmetry, we show that any local extremum of a dispersion band is in fact its global extremum if the dimension of the periodicity group is three or less, or (in any dimension) if the critical point in question is a symmetry point of the Floquet--Bloch family with respect to complex conjugation. We demonstrate that our results are nearly optimal with a number of examples.

math-ph↗

arXiv2019

Exponential dichotomies for elliptic PDE on radial domains

It was recently shown by the authors that a semilinear elliptic equation can be represented as an infinite-dimensional dynamical system in terms of boundary data on a shrinking one-parameter family of domains. The resulting system is ill-posed, in the sense that solutions do not typically exist forward or backward in time. In this paper we consider a radial family of domains and prove that the linearized system admits an exponential dichotomy, with the unstable subspace corresponding to the boundary data of weak solutions to the linear PDE. This generalizes the spatial dynamics approach, which applies to infinite cylindrical (channel) domains, and also generalizes previous work on radial domains as we impose no symmetry assumptions on the equation or its solutions.

math.AP↗