-
Circulant graphs as an example of discrete quantum unique ergodicity
Authors:
Jon Harrison,
Clare Pruss
Abstract:
A discrete analog of quantum unique ergodicity was proved for Cayley graphs of quasirandom groups by Magee, Thomas and Zhao. They show that for large graphs there exist real orthonormal basis of eigenfunctions of the adjacency matrix such that quantum probability measures of the eigenfunctions put approximately the correct proportion of their mass on subsets of the vertices that are not too small.…
▽ More
A discrete analog of quantum unique ergodicity was proved for Cayley graphs of quasirandom groups by Magee, Thomas and Zhao. They show that for large graphs there exist real orthonormal basis of eigenfunctions of the adjacency matrix such that quantum probability measures of the eigenfunctions put approximately the correct proportion of their mass on subsets of the vertices that are not too small. We investigate this property for Cayley graphs of cyclic groups (circulant graphs). We observe that there exist sequences of orthonormal eigenfunction bases which are perfectly equidistributed. However, for sequences of 4-regular circulant graphs of prime order, we show that there are no sequences of real orthonormal bases where all sequences of eigenfunctions equidistribute. To obtain this result, we also prove that, for large 4-regular circulant graphs of prime order, the maximum multiplicity of the eigenvalues of the adjacency matrix is two.
△ Less
Submitted 21 December, 2024; v1 submitted 13 November, 2024;
originally announced November 2024.
-
Periodic orbits on 2-regular circulant digraphs
Authors:
Isaac Echols,
Jon Harrison,
Tori Hudgins
Abstract:
Periodic orbits (equivalence classes of closed paths up to cyclic shifts) play an important role in applications of graph theory. For example, they appear in the definition of the Ihara zeta function and exact trace formulae for the spectra of quantum graphs. Circulant graphs are Cayley graphs of $\mathbb{Z}_n$. Here we consider directed Cayley graphs with two generators (2-regular Cayley digraphs…
▽ More
Periodic orbits (equivalence classes of closed paths up to cyclic shifts) play an important role in applications of graph theory. For example, they appear in the definition of the Ihara zeta function and exact trace formulae for the spectra of quantum graphs. Circulant graphs are Cayley graphs of $\mathbb{Z}_n$. Here we consider directed Cayley graphs with two generators (2-regular Cayley digraphs). We determine the number of primitive periodic orbits of a given length (total number of directed edges) in terms of the number of times edges corresponding to each generator appear in the periodic orbit (the step count). Primitive periodic orbits are those periodic orbits that cannot be written as a repetition of a shorter orbit. We describe the lattice structure of lengths and step counts for which periodic orbits exist and characterize the repetition number of a periodic orbit by its winding number (the sum of the step sequence divided by the number of vertices) and the repetition number of its step sequence. To obtain these results, we also evaluate the number of Lyndon words on an alphabet of two letters with a given length and letter count.
△ Less
Submitted 28 April, 2025; v1 submitted 30 October, 2024;
originally announced October 2024.
-
Spectral Determinants of Almost Equilateral Quantum Graphs
Authors:
Jonathan Harrison,
Tracy Weyand
Abstract:
Kirchoff's matrix tree theorem of 1847 connects the number of spanning trees of a graph to the spectral determinant of the discrete Laplacian [22]. Recently an analogue was obtained for quantum graphs relating the number of spanning trees to the spectral determinant of a Laplacian acting on functions on a metric graph with standard (Neumann-like) vertex conditions [20]. This result holds for quant…
▽ More
Kirchoff's matrix tree theorem of 1847 connects the number of spanning trees of a graph to the spectral determinant of the discrete Laplacian [22]. Recently an analogue was obtained for quantum graphs relating the number of spanning trees to the spectral determinant of a Laplacian acting on functions on a metric graph with standard (Neumann-like) vertex conditions [20]. This result holds for quantum graphs where the edge lengths are close together. A quantum graph where the edge lengths are all equal is called equilateral. Here we consider equilateral graphs where we perturb the length of a single edge (almost equilateral graphs). We analyze the spectral determinant of almost equilateral complete graphs, complete bipartite graphs, and circulant graphs. This provides a measure of how fast the spectral determinant changes with respect to changes in an edge length. We apply these results to estimate the width of a window of edge lengths where the connection between the number of spanning trees and the spectral determinant can be observed. The results suggest the connection holds for a much wider window of edge lengths than is required in [20].
△ Less
Submitted 26 March, 2025; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Quantizing graphs, one way or two?
Authors:
Jon Harrison
Abstract:
Quantum graphs were introduced to model free electrons in organic molecules using a self-adjoint Hamiltonian on a network of intervals. A second graph quantization describes wave propagation on a graph by specifying scattering matrices at the vertices. A question that is frequently raised is the extent to which these models are the same or complementary. In particular, are all energy independent u…
▽ More
Quantum graphs were introduced to model free electrons in organic molecules using a self-adjoint Hamiltonian on a network of intervals. A second graph quantization describes wave propagation on a graph by specifying scattering matrices at the vertices. A question that is frequently raised is the extent to which these models are the same or complementary. In particular, are all energy independent unitary vertex scattering matrices associated with a self-adjoint Hamiltonian? Here we review results related to this issue. In addition, we observe that a self-adjoint Dirac operator with four component spinors produces a secular equation for the graph spectrum that matches the secular equation associated with wave propagation on the graph when the Dirac operator describes particles with zero mass and the vertex conditions do not allow spin rotation at the vertices.
△ Less
Submitted 16 February, 2024; v1 submitted 14 February, 2023;
originally announced February 2023.
-
Can One Hear the Spanning Trees of a Quantum Graph?
Authors:
Jonathan Harrison,
Tracy Weyand
Abstract:
Kirchhoff showed that the number of spanning trees of a graph is the spectral determinant of the combinatorial Laplacian divided by the number of vertices; we reframe this result in the quantum graph setting. We prove that the spectral determinant of the Laplace operator on a finite connected metric graph with standard (Neummann-Kirchhoff) vertex conditions determines the number of spanning trees…
▽ More
Kirchhoff showed that the number of spanning trees of a graph is the spectral determinant of the combinatorial Laplacian divided by the number of vertices; we reframe this result in the quantum graph setting. We prove that the spectral determinant of the Laplace operator on a finite connected metric graph with standard (Neummann-Kirchhoff) vertex conditions determines the number of spanning trees when the lengths of the edges of the metric graph are sufficiently close together. To obtain this result, we analyze an equilateral quantum graph whose spectrum is closely related to spectra of discrete graph operators and then use the continuity of the spectral determinant under perturbations of the edge lengths.
△ Less
Submitted 3 March, 2023; v1 submitted 2 September, 2022;
originally announced September 2022.
-
On computing bound states of the Dirac and Schrödinger Equations
Authors:
Gregory Beylkin,
Joel Anderson,
Robert J. Harrison
Abstract:
We cast the quantum chemistry problem of computing bound states as that of solving a set of auxiliary eigenvalue problems for a family of parameterized compact integral operators. The compactness of operators assures that their spectrum is discrete and bounded with the only possible accumulation point at zero. We show that, by changing the parameter, we can always find the bound states, i.e., the…
▽ More
We cast the quantum chemistry problem of computing bound states as that of solving a set of auxiliary eigenvalue problems for a family of parameterized compact integral operators. The compactness of operators assures that their spectrum is discrete and bounded with the only possible accumulation point at zero. We show that, by changing the parameter, we can always find the bound states, i.e., the eigenfunctions that satisfy the original equations and are normalizable. While for the non-relativistic equations these properties may not be surprising, it is remarkable that the same holds for the relativistic equations where the spectrum of the original relativistic operators does not have a lower bound. We demonstrate that starting from an arbitrary initialization of the iteration leads to the solution, as dictated by the properties of compact operators.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
Periodic orbit evaluation of a spectral statistic of quantum graphs without the semiclassical limit
Authors:
Jon Harrison,
Tori Hudgins
Abstract:
Energy level statistics of quantized chaotic systems have been evaluated in the semiclassical limit via their periodic orbits using the Gutzwiller and related trace formulae. Here we evaluate a spectral statistic of chaotic 4-regular quantum graphs from their periodic orbits without the semiclassical limit. The variance of the n-th coefficient of the characteristic polynomial is determined by the…
▽ More
Energy level statistics of quantized chaotic systems have been evaluated in the semiclassical limit via their periodic orbits using the Gutzwiller and related trace formulae. Here we evaluate a spectral statistic of chaotic 4-regular quantum graphs from their periodic orbits without the semiclassical limit. The variance of the n-th coefficient of the characteristic polynomial is determined by the sizes of the sets of distinct primitive periodic orbits with n bonds which have no self-intersections, and the sizes of the sets with a given number of self-intersections which all consist of two sections of the pseudo orbit crossing at a single vertex. Using this result we observe the mechanism that connects semiclassical results to the total number of orbits regardless of their structure.
△ Less
Submitted 29 March, 2022; v1 submitted 29 December, 2020;
originally announced January 2021.
-
Complete Dynamical Evaluation of the Characteristic Polynomial of Binary Quantum Graphs
Authors:
Jon Harrison,
Tori Hudgins
Abstract:
We evaluate the variance of coefficients of the characteristic polynomial for binary quantum graphs using a dynamical approach. This is the first example where a spectral statistic can be evaluated in terms of periodic orbits for a system with chaotic classical dynamics without taking the semiclassical limit, which here is the limit of large graphs. The variance depends on the sizes of particular…
▽ More
We evaluate the variance of coefficients of the characteristic polynomial for binary quantum graphs using a dynamical approach. This is the first example where a spectral statistic can be evaluated in terms of periodic orbits for a system with chaotic classical dynamics without taking the semiclassical limit, which here is the limit of large graphs. The variance depends on the sizes of particular sets of primitive pseudo orbits (sets of distinct primitive periodic orbits): the set of primitive pseudo orbits without self-intersections and the sets of primitive pseudo orbits with a fixed number of self-intersections, all of which consist of two arcs of the pseudo orbit crossing at a single vertex. To show other pseudo orbits do not contribute we give two arguments. The first is based on a reduction of the variance formula from a sum over pairs of primitive pseudo orbits to a sum over pseudo orbits where no bonds are repeated. The second employs a parity argument for the Lyndon decomposition of words. For families of binary graphs, in the semiclassical limit, we show the pseudo orbit formula approaches a universal constant independent of the coefficient of the polynomial. This is obtained by counting the total number of primitive pseudo orbits of a given length.
△ Less
Submitted 23 September, 2022; v1 submitted 10 November, 2020;
originally announced November 2020.
-
Spectral Properties of Quantum Circulant Graphs
Authors:
JM Harrison,
E Swindle
Abstract:
We introduce a new model for investigating spectral properties of quantum graphs, a quantum circulant graph. Circulant graphs are the Cayley graphs of cyclic groups. Quantum circulant graphs with standard vertex conditions maintain important features of the prototypical quantum star graph model. In particular, we show the spectrum is encoded in a secular equation with similar features. The secular…
▽ More
We introduce a new model for investigating spectral properties of quantum graphs, a quantum circulant graph. Circulant graphs are the Cayley graphs of cyclic groups. Quantum circulant graphs with standard vertex conditions maintain important features of the prototypical quantum star graph model. In particular, we show the spectrum is encoded in a secular equation with similar features. The secular equation of a quantum circulant graph takes two forms depending on whether the edge lengths respect the cyclic symmetry of the graph. When all the edge lengths are incommensurate, the spectral statistics correspond to those of random matrices from the Gaussian Orthogonal Ensemble according to the conjecture of Bohigas, Giannoni and Schmit. When the edge lengths respect the cyclic symmetry the spectrum decomposes into subspectra whose corresponding eigenfunctions transform according to irreducible representations of the cyclic group. We show that the subspectra exhibit intermediate spectral statistics and analyze the small and large parameter asymptotics of the two-point correlation function, applying techniques developed from star graphs. The particular form of the intermediate statistics differs from that seen for star graphs or Dirac rose graphs. As a further application, we show how the secular equations can be used to obtain spectral zeta functions using a contour integral technique. Results for the spectral determinant and vacuum energy of circulant graphs are obtained from the zeta functions.
△ Less
Submitted 4 June, 2019; v1 submitted 19 October, 2018;
originally announced October 2018.
-
Relating Zeta Functions of Discrete and Quantum Graphs
Authors:
Jonathan Harrison,
Tracy Weyand
Abstract:
We write the spectral zeta function of the Laplace operator on an equilateral metric graph in terms of the spectral zeta function of the normalized Laplace operator on the corresponding discrete graph. To do this, we apply a relation between the spectrum of the Laplacian on a discrete graph and that of the Laplacian on an equilateral metric graph. As a by-product, we determine how the multiplicity…
▽ More
We write the spectral zeta function of the Laplace operator on an equilateral metric graph in terms of the spectral zeta function of the normalized Laplace operator on the corresponding discrete graph. To do this, we apply a relation between the spectrum of the Laplacian on a discrete graph and that of the Laplacian on an equilateral metric graph. As a by-product, we determine how the multiplicity of eigenvalues of the quantum graph, that are also in the spectrum of the graph with Dirichlet conditions at the vertices, depends on the graph geometry. Finally we apply the result to calculate the vacuum energy and spectral determinant of a complete bipartite graph and compare our results with those for a star graph, a graph in which all vertices are connected to a central vertex by a single edge.
△ Less
Submitted 17 October, 2017; v1 submitted 13 December, 2016;
originally announced December 2016.
-
Lyndon word decompositions and pseudo orbits on q-nary graphs
Authors:
R. Band,
J. M. Harrison,
M. Sepanski
Abstract:
A foundational result in the theory of Lyndon words (words that are strictly earlier in lexicographic order than their cyclic permutations) is the Chen-Fox-Lyndon theorem which states that every word has a unique non-increasing decomposition into Lyndon words. This article extends this factorization theorem, obtaining the proportion of these decompositions that are strictly decreasing. This result…
▽ More
A foundational result in the theory of Lyndon words (words that are strictly earlier in lexicographic order than their cyclic permutations) is the Chen-Fox-Lyndon theorem which states that every word has a unique non-increasing decomposition into Lyndon words. This article extends this factorization theorem, obtaining the proportion of these decompositions that are strictly decreasing. This result is then used to count primitive pseudo orbits (sets of primitive periodic orbits) on q-nary graphs. As an application we obtain a diagonal approximation to the variance of the characteristic polynomial coefficients q-nary quantum graphs.
△ Less
Submitted 17 September, 2018; v1 submitted 12 October, 2016;
originally announced October 2016.
-
Zeta Functions of the Dirac Operator on Quantum Graphs
Authors:
J. M. Harrison,
T. Weyand,
K. Kirsten
Abstract:
We construct spectral zeta functions for the Dirac operator on metric graphs. We start with the case of a rose graph, a graph with a single vertex where every edge is a loop. The technique is then developed to cover any finite graph with general energy independent matching conditions at the vertices. The regularized spectral determinant of the Dirac operator is also obtained as the derivative of t…
▽ More
We construct spectral zeta functions for the Dirac operator on metric graphs. We start with the case of a rose graph, a graph with a single vertex where every edge is a loop. The technique is then developed to cover any finite graph with general energy independent matching conditions at the vertices. The regularized spectral determinant of the Dirac operator is also obtained as the derivative of the zeta function at a special value. In each case the zeta function is formulated using a contour integral method, which extends results obtained for Laplace and Schrodinger operators on graphs.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
Solutions to the Reifenberg Plateau problem with cohomological spanning conditions
Authors:
J. Harrison,
H. Pugh
Abstract:
We prove existence and regularity of minimizers for Hölder densities over general surfaces of arbitrary dimension and codimension in \(\R^n \), satisfying a cohomological boundary condition, providing a natural dual to Reifenberg's Plateau problem. We generalize and extend methods of Reifenberg, Besicovitch, and Adams, in particular we generalize a particular type of minimizing sequence used by Re…
▽ More
We prove existence and regularity of minimizers for Hölder densities over general surfaces of arbitrary dimension and codimension in \(\R^n \), satisfying a cohomological boundary condition, providing a natural dual to Reifenberg's Plateau problem. We generalize and extend methods of Reifenberg, Besicovitch, and Adams, in particular we generalize a particular type of minimizing sequence used by Reifenberg (whose limits have nice properties, including lower bounds on lower density and finite Hausdorff measure,) prove such minimizing sequences exist, and develop cohomological spanning conditions. Our cohomology lemmas are dual versions of the homology lemmas in the celebrated appendix by Adams found in Reifenberg's 1960 paper.
△ Less
Submitted 2 June, 2016; v1 submitted 4 June, 2015;
originally announced June 2015.
-
n-particle quantum statistics on graphs
Authors:
Jonathan M. Harrison,
Jonathan P. Keating,
Jonathan M. Robbins,
Adam Sawicki
Abstract:
We develop a full characterization of abelian quantum statistics on graphs. We explain how the number of anyon phases is related to connectivity. For 2-connected graphs the independence of quantum statistics with respect to the number of particles is proven. For non-planar 3-connected graphs we identify bosons and fermions as the only possible statistics, whereas for planar 3-connected graphs we s…
▽ More
We develop a full characterization of abelian quantum statistics on graphs. We explain how the number of anyon phases is related to connectivity. For 2-connected graphs the independence of quantum statistics with respect to the number of particles is proven. For non-planar 3-connected graphs we identify bosons and fermions as the only possible statistics, whereas for planar 3-connected graphs we show that one anyon phase exists. Our approach also yields an alternative proof of the structure theorem for the first homology group of n-particle graph configuration spaces. Finally, we determine the topological gauge potentials for 2-connected graphs.
△ Less
Submitted 21 April, 2013;
originally announced April 2013.
-
Operator Calculus of Differential Chains and Differential Forms
Authors:
Jenny Harrison
Abstract:
Differential chains are a proper subspace of de Rham currents given as an inductive limit of Banach spaces endowed with a geometrically defined strong topology. Boundary is a continuous operator, as are operators that dualize to Hodge star, Lie derivative, pullback and interior product. Partitions of unity exist in this setting, as does Cartesian wedge product. Subspaces of finitely supported Dira…
▽ More
Differential chains are a proper subspace of de Rham currents given as an inductive limit of Banach spaces endowed with a geometrically defined strong topology. Boundary is a continuous operator, as are operators that dualize to Hodge star, Lie derivative, pullback and interior product. Partitions of unity exist in this setting, as does Cartesian wedge product. Subspaces of finitely supported Dirac chains and polyhedral chains are both dense, leading to a unification of the discrete with the smooth continuum. We conclude with an application generalizing a simple version of the Reynolds' Transport Theorem to rough domains.
△ Less
Submitted 10 November, 2015; v1 submitted 16 October, 2012;
originally announced October 2012.
-
Intermediate statistics for a system with symplectic symmetry: the Dirac rose graph
Authors:
J. M. Harrison,
B. Winn
Abstract:
We study the spectral statistics of the Dirac operator on a rose-shaped graph---a graph with a single vertex and all bonds connected at both ends to the vertex. We formulate a secular equation that generically determines the eigenvalues of the Dirac rose graph, which is seen to generalise the secular equation for a star graph with Neumann boundary conditions. We derive approximations to the spectr…
▽ More
We study the spectral statistics of the Dirac operator on a rose-shaped graph---a graph with a single vertex and all bonds connected at both ends to the vertex. We formulate a secular equation that generically determines the eigenvalues of the Dirac rose graph, which is seen to generalise the secular equation for a star graph with Neumann boundary conditions. We derive approximations to the spectral pair correlation function at large and small values of spectral spacings, in the limit as the number of bonds approaches infinity, and compare these predictions with results of numerical calculations. Our results represent the first example of intermediate statistics from the symplectic symmetry class.
△ Less
Submitted 3 July, 2012; v1 submitted 28 May, 2012;
originally announced May 2012.
-
Finite pseudo orbit expansions for spectral quantities of quantum graphs
Authors:
Ram Band,
Jonathan M. Harrison,
Christopher H. Joyner
Abstract:
We investigate spectral quantities of quantum graphs by expanding them as sums over pseudo orbits, sets of periodic orbits. Only a finite collection of pseudo orbits which are irreducible and where the total number of bonds is less than or equal to the number of bonds of the graph appear, analogous to a cut off at half the Heisenberg time. The calculation simplifies previous approaches to pseudo o…
▽ More
We investigate spectral quantities of quantum graphs by expanding them as sums over pseudo orbits, sets of periodic orbits. Only a finite collection of pseudo orbits which are irreducible and where the total number of bonds is less than or equal to the number of bonds of the graph appear, analogous to a cut off at half the Heisenberg time. The calculation simplifies previous approaches to pseudo orbit expansions on graphs. We formulate coefficients of the characteristic polynomial and derive a secular equation in terms of the irreducible pseudo orbits. From the secular equation, whose roots provide the graph spectrum, the zeta function is derived using the argument principle. The spectral zeta function enables quantities, such as the spectral determinant and vacuum energy, to be obtained directly as finite expansions over the set of short irreducible pseudo orbits.
△ Less
Submitted 6 July, 2012; v1 submitted 18 May, 2012;
originally announced May 2012.
-
Vacuum energy of Schrödinger operators on metric graphs
Authors:
J. M. Harrison,
K. Kirsten
Abstract:
We present an integral formulation of the vacuum energy of Schrödinger operators on finite metric graphs. Local vertex matching conditions on the graph are classified according to the general scheme of Kostrykin and Schrader. While the vacuum energy of the graph can contain finite ambiguities the Casimir force on a bond with compactly supported potential is well defined. The vacuum energy is deter…
▽ More
We present an integral formulation of the vacuum energy of Schrödinger operators on finite metric graphs. Local vertex matching conditions on the graph are classified according to the general scheme of Kostrykin and Schrader. While the vacuum energy of the graph can contain finite ambiguities the Casimir force on a bond with compactly supported potential is well defined. The vacuum energy is determined from the zeta function of the graph Schrödinger operator which is derived from an appropriate secular equation via the argument principle. A quantum graph has an associated probabilistic classical dynamics which is generically both ergodic and mixing. The results therefore present an analytic formulation of the vacuum energy of this quasi-one-dimensional quantum system which is classically chaotic.
△ Less
Submitted 18 January, 2012;
originally announced January 2012.
-
Spectral determinants and zeta functions of Schrödinger operators on metric graphs
Authors:
J. M. Harrison,
K. Kirsten,
C. Texier
Abstract:
A derivation of the spectral determinant of the Schrödinger operator on a metric graph is presented where the local matching conditions at the vertices are of the general form classified according to the scheme of Kostrykin and Schrader. To formulate the spectral determinant we first derive the spectral zeta function of the Schrödinger operator using an appropriate secular equation. The result obt…
▽ More
A derivation of the spectral determinant of the Schrödinger operator on a metric graph is presented where the local matching conditions at the vertices are of the general form classified according to the scheme of Kostrykin and Schrader. To formulate the spectral determinant we first derive the spectral zeta function of the Schrödinger operator using an appropriate secular equation. The result obtained for the spectral determinant is along the lines of the recent conjecture.
△ Less
Submitted 4 November, 2011; v1 submitted 2 November, 2011;
originally announced November 2011.
-
Quantum statistics on graphs
Authors:
JM Harrison,
JP Keating,
JM Robbins
Abstract:
Quantum graphs are commonly used as models of complex quantum systems, for example molecules, networks of wires, and states of condensed matter. We consider quantum statistics for indistinguishable spinless particles on a graph, concentrating on the simplest case of abelian statistics for two particles. In spite of the fact that graphs are locally one-dimensional, anyon statistics emerge in a gene…
▽ More
Quantum graphs are commonly used as models of complex quantum systems, for example molecules, networks of wires, and states of condensed matter. We consider quantum statistics for indistinguishable spinless particles on a graph, concentrating on the simplest case of abelian statistics for two particles. In spite of the fact that graphs are locally one-dimensional, anyon statistics emerge in a generalized form. A given graph may support a family of independent anyon phases associated with topologically inequivalent exchange processes. In addition, for sufficiently complex graphs, there appear new discrete-valued phases. Our analysis is simplified by considering combinatorial rather than metric graphs -- equivalently, a many-particle tight-binding model. The results demonstrate that graphs provide an arena in which to study new manifestations of quantum statistics. Possible applications include topological quantum computing, topological insulators, the fractional quantum Hall effect, superconductivity and molecular physics.
△ Less
Submitted 7 January, 2011;
originally announced January 2011.
-
Topological Aspects of Differential Chains
Authors:
Jenny Harrison,
Harrison Pugh
Abstract:
In this paper we investigate the topological properties of the space of differential chains 'B(U) defined on an open subset U of a Riemannian manifold M. We show that 'B(U) is not generally reflexive, identifying a fundamental difference between currents and differential chains. We also give several new brief (though non-constructive) definitions of the space 'B(U), and prove that it is a separabl…
▽ More
In this paper we investigate the topological properties of the space of differential chains 'B(U) defined on an open subset U of a Riemannian manifold M. We show that 'B(U) is not generally reflexive, identifying a fundamental difference between currents and differential chains. We also give several new brief (though non-constructive) definitions of the space 'B(U), and prove that it is a separable ultrabornological (DF)-space. Differential chains are closed under dual versions of fundamental operators of the Cartan calculus on differential forms. The space has good properties some of which are not exhibited by currents B'(U) or D'(U). For example, chains supported in finitely many points are dense in 'B(U) for all open U in M, but not generally in the strong dual topology of B'(U).
△ Less
Submitted 1 January, 2011;
originally announced January 2011.
-
Vacuum energy, spectral determinant and heat kernel asymptotics of graph Laplacians with general vertex matching conditions
Authors:
J. M. Harrison,
K. Kirsten
Abstract:
We consider Laplace operators on metric graphs, networks of one-dimensional line segments (bonds), with matching conditions at the vertices that make the operator self-adjoint. Such quantum graphs provide a simple model of quantum mechanics in a classically chaotic system with multiple scales corresponding to the lengths of the bonds. For graph Laplacians we briefly report results for the spectr…
▽ More
We consider Laplace operators on metric graphs, networks of one-dimensional line segments (bonds), with matching conditions at the vertices that make the operator self-adjoint. Such quantum graphs provide a simple model of quantum mechanics in a classically chaotic system with multiple scales corresponding to the lengths of the bonds. For graph Laplacians we briefly report results for the spectral determinant, vacuum energy and heat kernel asymptotics of general graphs in terms of the vertex matching conditions.
△ Less
Submitted 16 March, 2010; v1 submitted 30 November, 2009;
originally announced December 2009.
-
Zeta functions of quantum graphs
Authors:
J. M. Harrison,
K. Kirsten
Abstract:
In this article we construct zeta functions of quantum graphs using a contour integral technique based on the argument principle. We start by considering the special case of the star graph with Neumann matching conditions at the center of the star. We then extend the technique to allow any matching conditions at the center for which the Laplace operator is self-adjoint and finally obtain an expres…
▽ More
In this article we construct zeta functions of quantum graphs using a contour integral technique based on the argument principle. We start by considering the special case of the star graph with Neumann matching conditions at the center of the star. We then extend the technique to allow any matching conditions at the center for which the Laplace operator is self-adjoint and finally obtain an expression for the zeta function of any graph with general vertex matching conditions. In the process it is convenient to work with new forms for the secular equation of a quantum graph that extend the well known secular equation of the Neumann star graph. In the second half of the article we apply the zeta function to obtain new results for the spectral determinant, vacuum energy and heat kernel coefficients of quantum graphs. These have all been topics of current research in their own right and in each case this unified approach significantly expands results in the literature.
△ Less
Submitted 3 December, 2010; v1 submitted 12 November, 2009;
originally announced November 2009.
-
Quantum graphs with spin Hamiltonians
Authors:
J. M. Harrison
Abstract:
The article surveys quantization schemes for metric graphs with spin. Typically quantum graphs are defined with the Laplace or Schrodinger operator which describe particles whose intrinsic angular momentum (spin) is zero. However, in many applications, for example modeling an electron (which has spin-1/2) on a network of thin wires, it is necessary to consider operators which allow spin-orbit in…
▽ More
The article surveys quantization schemes for metric graphs with spin. Typically quantum graphs are defined with the Laplace or Schrodinger operator which describe particles whose intrinsic angular momentum (spin) is zero. However, in many applications, for example modeling an electron (which has spin-1/2) on a network of thin wires, it is necessary to consider operators which allow spin-orbit interaction. The article presents a review of quantization schemes for graphs with three such Hamiltonian operators, the Dirac, Pauli and Rashba Hamiltonians. Comparing results for the trace formula, spectral statistics and spin-orbit localization on quantum graphs with spin Hamiltonians.
△ Less
Submitted 30 January, 2008; v1 submitted 6 December, 2007;
originally announced December 2007.
-
Mathematical Aspects of Vacuum Energy on Quantum Graphs
Authors:
G. Berkolaiko,
J. M. Harrison,
J. H. Wilson
Abstract:
We use quantum graphs as a model to study various mathematical aspects of the vacuum energy, such as convergence of periodic path expansions, consistency among different methods (trace formulae versus method of images) and the possible connection with the underlying classical dynamics.
We derive an expansion for the vacuum energy in terms of periodic paths on the graph and prove its convergenc…
▽ More
We use quantum graphs as a model to study various mathematical aspects of the vacuum energy, such as convergence of periodic path expansions, consistency among different methods (trace formulae versus method of images) and the possible connection with the underlying classical dynamics.
We derive an expansion for the vacuum energy in terms of periodic paths on the graph and prove its convergence and smooth dependence on the bond lengths of the graph. For an important special case of graphs with equal bond lengths, we derive a simpler explicit formula.
The main results are derived using the trace formula. We also discuss an alternative approach using the method of images and prove that the results are consistent. This may have important consequences for other systems, since the method of images, unlike the trace formula, includes a sum over special ``bounce paths''. We succeed in showing that in our model bounce paths do not contribute to the vacuum energy. Finally, we discuss the proposed possible link between the magnitude of the vacuum energy and the type (chaotic vs. integrable) of the underlying classical dynamics. Within a random matrix model we calculate the variance of the vacuum energy over several ensembles and find evidence that the level repulsion leads to suppression of the vacuum energy.
△ Less
Submitted 13 June, 2008; v1 submitted 16 November, 2007;
originally announced November 2007.
-
Quantum graphs where back-scattering is prohibited
Authors:
J. M. Harrison,
U. Smilansky,
B. Winn
Abstract:
We describe a new class of scattering matrices for quantum graphs in which back-scattering is prohibited. We discuss some properties of quantum graphs with these scattering matrices and explain the advantages and interest in their study. We also provide two methods to build the vertex scattering matrices needed for their construction.
We describe a new class of scattering matrices for quantum graphs in which back-scattering is prohibited. We discuss some properties of quantum graphs with these scattering matrices and explain the advantages and interest in their study. We also provide two methods to build the vertex scattering matrices needed for their construction.
△ Less
Submitted 6 August, 2007;
originally announced August 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.
-
Differential complexes and exterior calculus
Authors:
Jenny Harrison
Abstract:
In this paper we present a new theory of calculus over $k$-dimensional domains in a smooth $n$-manifold, unifying the discrete, exterior, and continuum theories. The calculus begins at a single point and is extended to chains of finitely many points by linearity, or superposition. It converges to the smooth continuum with respect to a norm on the space of ``pointed chains,'' culminating in the c…
▽ More
In this paper we present a new theory of calculus over $k$-dimensional domains in a smooth $n$-manifold, unifying the discrete, exterior, and continuum theories. The calculus begins at a single point and is extended to chains of finitely many points by linearity, or superposition. It converges to the smooth continuum with respect to a norm on the space of ``pointed chains,'' culminating in the chainlet complex. Through this complex, we discover a broad theory of coordinate free, multivector analysis in smooth manifolds for which both the classical Newtonian calculus and the Cartan exterior calculus become special cases. The chainlet operators, products and integrals apply to both symmetric and antisymmetric tensor cochains. As corollaries, we obtain the full calculus on Euclidean space, cell complexes, bilayer structures (e.g., soap films) and nonsmooth domains, with equal ease. The power comes from the recently discovered prederivative and preintegral that are antecedent to the Newtonian theory. These lead to new models for the continuum of space and time, and permit analysis of domains that may not be locally Euclidean, or locally connected, or with locally finite mass.
△ Less
Submitted 7 June, 2006; v1 submitted 8 January, 2006;
originally announced January 2006.
-
The spectral form factor for quantum graphs
Authors:
Jens Bolte,
Jonathan Harrison
Abstract:
We consider quantum graphs with spin-orbit couplings at the vertices. Time-reversal invariance implies that the bond S-matrix is in the orthogonal or symplectic symmetry class, depending on spin quantum number s being integer or half-integer, respectively. The periodic-orbit expansion of the spectral form factor is shown to acquire additional weights from spin rotations along orbits. We determin…
▽ More
We consider quantum graphs with spin-orbit couplings at the vertices. Time-reversal invariance implies that the bond S-matrix is in the orthogonal or symplectic symmetry class, depending on spin quantum number s being integer or half-integer, respectively. The periodic-orbit expansion of the spectral form factor is shown to acquire additional weights from spin rotations along orbits. We determine the spin contribution to the coefficients in an expansion of the form factor from properties of the representation of the group of spin transformations on the graph. Consistency with the Circular Orthogonal and Circular Symplectic Ensemble, respectively, of random matrices is obtained.
△ Less
Submitted 4 November, 2005;
originally announced November 2005.
-
Lectures on chainlet geometry - new topological methods in geometric measure theory
Authors:
Jenny Harrison
Abstract:
These draft notes are from a graduate course given by the author in Berkeley during the spring semester of 2005. They cover the basic ideas of a new, geometric approach to geometric measure theory. They begin with a new theory of exterior calculus at a single point. This infinitesimal theory extends, by linearity, to a discrete exterior theory, based at finitely many points. A general theory of…
▽ More
These draft notes are from a graduate course given by the author in Berkeley during the spring semester of 2005. They cover the basic ideas of a new, geometric approach to geometric measure theory. They begin with a new theory of exterior calculus at a single point. This infinitesimal theory extends, by linearity, to a discrete exterior theory, based at finitely many points. A general theory of calculus culminates by taking limits in Banach spaces, and is valid for domains called ``chainlets'' which are defined to be elements of the Banach spaces. Chainlets include manifolds, rough domains (e.g., fractals), soap films, foliations, and Euclidean space. Most of the work is at the level of the infinitesimal calculus, at a single point. The number of limits needed to get to the full theory is minimal. Tangent spaces are not used in these notes, although they can be defined within the theory. This new approach is made possible by giving the Grassmann algebra more geometric structure. As a result, much of geometric measure theory is simplified. Geometry is restored and significant results from the classical theory are expanded. Applications include existence of solutions to a problem of Plateau, an optimal Gauss-Green theorem and new models for Maxwell's equations.
△ Less
Submitted 24 May, 2005;
originally announced May 2005.
-
Ravello lecture notes on geometric calculus -- Part I
Authors:
Jenny Harrison
Abstract:
In these notes of lectures at the 2004 Summer School of Mathematical Physics in Ravello, Italy, the author develops an approach to calculus in which more efficient choices of limits are taken at key points of the development. For example, $k$-dimensional tangent spaces are replaced by representations of simple $k$-vectors supported in single points as limits of simplicial $k$-chains in a Banach…
▽ More
In these notes of lectures at the 2004 Summer School of Mathematical Physics in Ravello, Italy, the author develops an approach to calculus in which more efficient choices of limits are taken at key points of the development. For example, $k$-dimensional tangent spaces are replaced by representations of simple $k$-vectors supported in single points as limits of simplicial $k$-chains in a Banach space (much like Dirac monopoles). This subtle difference has powerful advantages that will be explored. Through these ``infinitesimals'', we obtain a coordinate free theory on manifolds that builds upon the Cartan exterior calculus. An infinite array of approximating theories to the calculus of Newton and Lebiniz becomes available and one can now revisit old philosophical questions such as which models are most natural for the continuum or for physics. Applications include three extensions of calculus: calculus on fractals, bilayer calculus (soap bubbles) and discrete calculus. This paper is a draft of the first half of the lectures.
△ Less
Submitted 3 January, 2005; v1 submitted 31 December, 2004;
originally announced January 2005.
-
Geometric Hodge Star Operator with Applications to the Theorems of Gauss and Green
Authors:
Jenny Harrison
Abstract:
The classical divergence theorem for an $n$-dimensional domain $A$ and a smooth vector field $F$ in $n$-space $$\int_{\partial A} F \cdot n = \int_A div F$$ requires that a normal vector field $n(p)$ be defined a.e. $p \in \partial A$. In this paper we give a new proof and extension of this theorem by replacing $n$ with a limit $\star \partial A$ of 1-dimensional polyhedral chains taken with res…
▽ More
The classical divergence theorem for an $n$-dimensional domain $A$ and a smooth vector field $F$ in $n$-space $$\int_{\partial A} F \cdot n = \int_A div F$$ requires that a normal vector field $n(p)$ be defined a.e. $p \in \partial A$. In this paper we give a new proof and extension of this theorem by replacing $n$ with a limit $\star \partial A$ of 1-dimensional polyhedral chains taken with respect to a norm. The operator $\star$ is a geometric dual to the Hodge star operator and is defined on a large class of $k$-dimensional domains of integration $A$ in $n$-space the author calls {\em chainlets}. Chainlets include a broad range of domains, from smooth manifolds to soap bubbles and fractals. We prove as our main result the Star theorem $$\int_{\star A} ω= (-1)^{k(n-k)}\int_A \star ω.$$
When combined with the general Stokes' theorem for chainlet domains $$\int_{\partial A} ω= \int_A d ω$$ this result yields optimal and concise forms of Gauss' divergence theorem $$\int_{\star \partial A}ω= (-1)^{(k-1)(n-k+1)} \int_A d\star ω$$ and Green's curl theorem $$\int_{\partial A} ω= \int_{\star A} \star dω.$$
△ Less
Submitted 18 November, 2004;
originally announced November 2004.
-
On Plateau's Problem for Soap Films with a Bound on Energy
Authors:
Jenny Harrison
Abstract:
We prove existence and a.e. regularity of an area minimizing soap film with a bound on energy spanning a given Jordan curve in R^3. The energy of a film is defined to be the sum of its surface area and the length of its singular branched set. The class of surfaces over which area is minimized includes images of disks, integral currents, nonorientable surfaces and soap films as observed by Platea…
▽ More
We prove existence and a.e. regularity of an area minimizing soap film with a bound on energy spanning a given Jordan curve in R^3. The energy of a film is defined to be the sum of its surface area and the length of its singular branched set. The class of surfaces over which area is minimized includes images of disks, integral currents, nonorientable surfaces and soap films as observed by Plateau with a bound on energy. Our area minimizing solution is shown to be a smooth surface away from its branched set which is a union of Lipschitz Jordan curves of finite total length.
△ Less
Submitted 20 March, 2004;
originally announced March 2004.
-
Cartan's Magic Formula and Soap Film Structures
Authors:
Jenny Harrison
Abstract:
A soap film is actually a thin solid fluid bounded by two surfaces of opposite orientation. It is natural to model the film using one polyhedron for each side. Two problems are to get the polyhedra for both sides to be in the same place without canceling each other out and to model triple junctions without introducing extra boundary components. We use chainlet geometry to create dipole cells and…
▽ More
A soap film is actually a thin solid fluid bounded by two surfaces of opposite orientation. It is natural to model the film using one polyhedron for each side. Two problems are to get the polyhedra for both sides to be in the same place without canceling each other out and to model triple junctions without introducing extra boundary components. We use chainlet geometry to create dipole cells and mass cells which accomplish these goals and model faithfully all observable soap films and bubbles. We introduce a new norm on chains of these cells and prove lower semicontinuity of area. A geometric version of Cartan's magic formula provides the necessary boundary coherence.
△ Less
Submitted 3 January, 2004;
originally announced January 2004.
-
Quantum indistinguishability from general representations of SU(2n)
Authors:
J. M. Harrison,
J. M. Robbins
Abstract:
A treatment of the spin-statistics relation in nonrelativistic quantum mechanics due to Berry and Robbins [Proc. R. Soc. Lond. A (1997) 453, 1771-1790] is generalised within a group-theoretical framework. The construction of Berry and Robbins is re-formulated in terms of certain locally flat vector bundles over n-particle configuration space. It is shown how families of such bundles can be const…
▽ More
A treatment of the spin-statistics relation in nonrelativistic quantum mechanics due to Berry and Robbins [Proc. R. Soc. Lond. A (1997) 453, 1771-1790] is generalised within a group-theoretical framework. The construction of Berry and Robbins is re-formulated in terms of certain locally flat vector bundles over n-particle configuration space. It is shown how families of such bundles can be constructed from irreducible representations of the group SU(2n). The construction of Berry and Robbins, which leads to a definite connection between spin and statistics (the physically correct connection), is shown to correspond to the completely symmetric representations. The spin-statistics connection is typically broken for general SU(2n) representations, which may admit, for a given value of spin, both bose and fermi statistics, as well as parastatistics. The determination of the allowed values of the spin and statistics reduces to the decomposition of certain zero-weight representations of a (generalised) Weyl group of SU(2n). A formula for this decomposition is obtained using the Littlewood-Richardson theorem for the decomposition of representations of U(m+n) into representations of U(m)*U(n).
△ Less
Submitted 9 January, 2004; v1 submitted 14 February, 2003;
originally announced February 2003.
-
Spectral Statistics for the Dirac Operator on Graphs
Authors:
Jens Bolte,
Jonathan Harrison
Abstract:
We determine conditions for the quantisation of graphs using the Dirac operator for both two and four component spinors. According to the Bohigas-Giannoni-Schmit conjecture for such systems with time-reversal symmetry the energy level statistics are expected, in the semiclassical limit, to correspond to those of random matrices from the Gaussian symplectic ensemble. This is confirmed by numerica…
▽ More
We determine conditions for the quantisation of graphs using the Dirac operator for both two and four component spinors. According to the Bohigas-Giannoni-Schmit conjecture for such systems with time-reversal symmetry the energy level statistics are expected, in the semiclassical limit, to correspond to those of random matrices from the Gaussian symplectic ensemble. This is confirmed by numerical investigation. The scattering matrix used to formulate the quantisation condition is found to be independent of the type of spinor. We derive an exact trace formula for the spectrum and use this to investigate the form factor in the diagonal approximation.
△ Less
Submitted 15 October, 2002;
originally announced October 2002.
