-
Spectrally grown graphs
Authors:
Mats-Erik Pistol,
Pavel Kurasov
Abstract:
Quantum graphs have attracted attention from mathematicians for some time. A quantum graph is defined by having a Laplacian on each edge of a metric graph and imposing boundary conditions at the vertices to get an eigenvalue problem. A problem studying such quantum graphs is that the spectrum is timeconsuming to compute by hand and the inverse problem of finding a quantum graph having a specified…
▽ More
Quantum graphs have attracted attention from mathematicians for some time. A quantum graph is defined by having a Laplacian on each edge of a metric graph and imposing boundary conditions at the vertices to get an eigenvalue problem. A problem studying such quantum graphs is that the spectrum is timeconsuming to compute by hand and the inverse problem of finding a quantum graph having a specified spectrum is difficult. We solve the forward problem, to find the eigenvalues, using a previously developed computer program. We obtain all eigenvalues analytically for not too big graphs that have rationally dependent edges. We solve the inverse problem using "spectrally grown graphs". The spectrally grown graphs are evolved from a starting (parent) graph such that the child graphs have eigenvalues are close to some criterion. Our experiments show that the method works and we can usually find graphs having spectra which are numerically close to a prescribed spectrum. There are naturally exceptions, such as if no graph has the prescribed spectrum. The selection criteria (goals) strongly influence the shape of the evolved graphs. Our experiments allows us to make new conjectures concerning the spectra of quantum graphs. We open-source our software at https://github.com/meapistol/Spectra-of-graphs.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Impediments to diffusion in quantum graphs: geometry-based upper bounds on the spectral gap
Authors:
Gregory Berkolaiko,
James B. Kennedy,
Pavel Kurasov,
Delio Mugnolo
Abstract:
We derive several upper bounds on the spectral gap of the Laplacian with standard or Dirichlet vertex conditions on compact metric graphs. In particular, we obtain estimates based on the length of a shortest cycle (girth), diameter, total length of the graph, as well as further metric quantities introduced here for the first time, such as the avoidance diameter. Using known results about Ramanujan…
▽ More
We derive several upper bounds on the spectral gap of the Laplacian with standard or Dirichlet vertex conditions on compact metric graphs. In particular, we obtain estimates based on the length of a shortest cycle (girth), diameter, total length of the graph, as well as further metric quantities introduced here for the first time, such as the avoidance diameter. Using known results about Ramanujan graphs, a class of expander graphs, we also prove that some of these metric quantities, or combinations thereof, do not to deliver any spectral bounds with the correct scaling.
△ Less
Submitted 13 April, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Always detectable eigenfunctions on metric graphs
Authors:
Pavel Kurasov
Abstract:
It is proven following [18[ that Laplacians with standard vertex continuous on metric trees and with standard and Dirichlet conditions on arbitrary metric graphs possess an infinite sequence of simple eigenvalues with the eigenfunctions not equal to zero in any non-Dirichlet vertex.
It is proven following [18[ that Laplacians with standard vertex continuous on metric trees and with standard and Dirichlet conditions on arbitrary metric graphs possess an infinite sequence of simple eigenvalues with the eigenfunctions not equal to zero in any non-Dirichlet vertex.
△ Less
Submitted 8 December, 2021;
originally announced December 2021.
-
On isospectral metric graphs
Authors:
Pavel Kurasov,
Jacob Muller
Abstract:
A new class of isospectral graphs is presented. These graphs are isospectral with respect to both the normalised Laplacian on the discrete graph and the standard differential Laplacian on the corresponding metric graph. The new class of graphs is obtained by gluing together subgraphs with the Steklov maps possessing special properties. It turns out that isospectrality is related to the degeneracy…
▽ More
A new class of isospectral graphs is presented. These graphs are isospectral with respect to both the normalised Laplacian on the discrete graph and the standard differential Laplacian on the corresponding metric graph. The new class of graphs is obtained by gluing together subgraphs with the Steklov maps possessing special properties. It turns out that isospectrality is related to the degeneracy of the Steklov eigenvalues.
△ Less
Submitted 8 December, 2021;
originally announced December 2021.
-
Hearing Euler characteristic of graphs
Authors:
Michał Ławniczak,
Pavel Kurasov,
Szymon Bauch,
Małgorzata Białous,
Vitalii Yunko,
Leszek Sirko
Abstract:
The Euler characteristic $χ=|V|-|E|$ and the total length $\mathcal{L}$ are the most important topological and geometrical characteristics of a metric graph. Here, $|V|$ and $|E|$ denote the number of vertices and edges of a graph.
The Euler characteristic determines the number $β$ of independent cycles in a graph while the total length determines the asymptotic behavior of the energy eigenvalue…
▽ More
The Euler characteristic $χ=|V|-|E|$ and the total length $\mathcal{L}$ are the most important topological and geometrical characteristics of a metric graph. Here, $|V|$ and $|E|$ denote the number of vertices and edges of a graph.
The Euler characteristic determines the number $β$ of independent cycles in a graph while the total length determines the asymptotic behavior of the energy eigenvalues via the Weyl's law. We show theoretically and confirm experimentally that the Euler characteristic can be determined (heard) from a finite sequence of the lowest eigenenergies $λ_1, \ldots, λ_N$ of a simple quantum graph, without any need to inspect the system visually. In the experiment quantum graphs are simulated by microwave networks. We demonstrate that the sequence of the lowest resonances of microwave networks with $β\leq 3$ can be directly used in determining whether a network is planar, i.e., can be embedded in the plane. Moreover, we show that the measured Euler characteristic $χ$ can be used as a sensitive revealer of the fully connected graphs.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
A theory of spectral partitions of metric graphs
Authors:
James B. Kennedy,
Pavel Kurasov,
Corentin Léna,
Delio Mugnolo
Abstract:
We introduce an abstract framework for the study of clustering in metric graphs: after suitably metrising the space of graph partitions, we restrict Laplacians to the clusters thus arising and use their spectral gaps to define several notions of partition energies; this is the graph counterpart of the well-known theory of spectral minimal partitions on planar domains and includes the setting in [B…
▽ More
We introduce an abstract framework for the study of clustering in metric graphs: after suitably metrising the space of graph partitions, we restrict Laplacians to the clusters thus arising and use their spectral gaps to define several notions of partition energies; this is the graph counterpart of the well-known theory of spectral minimal partitions on planar domains and includes the setting in [Band \textit{et al}, Comm.\ Math.\ Phys.\ \textbf{311} (2012), 815--838] as a special case. We focus on the existence of optimisers for a large class of functionals defined on such partitions, but also study their qualitative properties, including stability, regularity, and parameter dependence. We also discuss in detail their interplay with the theory of nodal partitions. Unlike in the case of domains, the one-dimensional setting of metric graphs allows for explicit computation and analytic -- rather than numerical -- results. Not only do we recover the main assertions in the theory of spectral minimal partitions on domains, as studied in [Conti \textit{et al}, Calc.\ Var.\ \textbf{22} (2005), 45--72; Helffer \textit{et al}, Ann.\ Inst.\ Henri Poincaré Anal.\ Non Linéaire \textbf{26} (2009), 101--138], but we can also generalise some of them and answer (the graph counterparts of) a few open questions.
△ Less
Submitted 3 May, 2020;
originally announced May 2020.
-
Stable polynomials and crystalline measures
Authors:
Pavel Kurasov,
Peter Sarnak
Abstract:
Explicit examples of {\bf positive} crystalline measures and Fourier quasicrystals are constructed using pairs of stable of polynomials, answering several open questions in the area.
Explicit examples of {\bf positive} crystalline measures and Fourier quasicrystals are constructed using pairs of stable of polynomials, answering several open questions in the area.
△ Less
Submitted 12 April, 2020;
originally announced April 2020.
-
Laplacians on bipartite metric graphs
Authors:
Pavel Kurasov,
Jonathan Rohleder
Abstract:
We study spectral properties of the standard (also called Kirchhoff) Laplacian and the anti-standard (or anti-Kirchhoff) Laplacian on a finite, compact metric graph. We show that the positive eigenvalues of these two operators coincide whenever the graph is bipartite; this leads to a precise relation between their eigenvalues enumerated with multiplicities and including the possible eigenvalue zer…
▽ More
We study spectral properties of the standard (also called Kirchhoff) Laplacian and the anti-standard (or anti-Kirchhoff) Laplacian on a finite, compact metric graph. We show that the positive eigenvalues of these two operators coincide whenever the graph is bipartite; this leads to a precise relation between their eigenvalues enumerated with multiplicities and including the possible eigenvalue zero. Several spectral inequalities for, e.g., trees are among the consequences of this. In the second part we study inequalities between standard and Dirichlet eigenvalues in more detail and expose another connection to bipartiteness.
△ Less
Submitted 17 September, 2019; v1 submitted 1 July, 2019;
originally announced July 2019.
-
Analytic solutions for stochastic hybrid models of gene regulatory networks
Authors:
Pavel Kurasov,
Delio Mugnolo,
Verena Wolf
Abstract:
Discrete-state stochastic models are a popular approach to describe the inherent stochasticity of gene expression in single cells. The analysis of such models is hindered by the fact that the underlying discrete state space is extremely large. Therefore hybrid models, in which protein counts are replaced by average protein concentrations, have become a popular alternative.
The evolution of the c…
▽ More
Discrete-state stochastic models are a popular approach to describe the inherent stochasticity of gene expression in single cells. The analysis of such models is hindered by the fact that the underlying discrete state space is extremely large. Therefore hybrid models, in which protein counts are replaced by average protein concentrations, have become a popular alternative.
The evolution of the corresponding probability density functions is given by a coupled system of hyperbolic PDEs. This system has Markovian nature but its hyperbolic structure makes it difficult to apply standard functional analytical methods. We are able to prove convergence towards the stationary solution and determine such equilibrium explicitly by combining abstract methods from the theory of positive operators and elementary ideas from potential analysis.
△ Less
Submitted 27 January, 2021; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Surgery principles for the spectral analysis of quantum graphs
Authors:
Gregory Berkolaiko,
James B. Kennedy,
Pavel Kurasov,
Delio Mugnolo
Abstract:
We present a systematic collection of spectral surgery principles for the Laplacian on a metric graph with any of the usual vertex conditions (natural, Dirichlet or $δ$-type), which show how various types of changes of a local or localised nature to a graph impact the spectrum of the Laplacian. Many of these principles are entirely new, these include "transplantation" of volume within a graph base…
▽ More
We present a systematic collection of spectral surgery principles for the Laplacian on a metric graph with any of the usual vertex conditions (natural, Dirichlet or $δ$-type), which show how various types of changes of a local or localised nature to a graph impact the spectrum of the Laplacian. Many of these principles are entirely new, these include "transplantation" of volume within a graph based on the behaviour of its eigenfunctions, as well as "unfolding" of local cycles and pendants. In other cases we establish sharp generalisations, extensions and refinements of known eigenvalue inequalities resulting from graph modification, such as vertex gluing, adjustment of vertex conditions and introducing new pendant subgraphs.
To illustrate our techniques we derive a new eigenvalue estimate which uses the size of the doubly connected part of a metric graph to estimate the spectral gap. This quantitative isoperimetric-type inequality interpolates between two known estimates---one assuming the entire graph is doubly connected and the other making no connectivity assumption (and producing a weaker bound)---and includes them as special cases.
△ Less
Submitted 8 April, 2019; v1 submitted 21 July, 2018;
originally announced July 2018.
-
Stochastic Hybrid Models of Gene Regulatory Networks - A PDE Approach
Authors:
Pavel Kurasov,
Alexander Lück,
Delio Mugnolo,
Verena Wolf
Abstract:
A widely used approach to describe the dynamics of gene regulatory networks is based on the chemical master equation, which considers probability distributions over all possible combinations of molecular counts. The analysis of such models is extremely challenging due to their large discrete state space. We therefore propose a hybrid approximation approach based on a system of partial differential…
▽ More
A widely used approach to describe the dynamics of gene regulatory networks is based on the chemical master equation, which considers probability distributions over all possible combinations of molecular counts. The analysis of such models is extremely challenging due to their large discrete state space. We therefore propose a hybrid approximation approach based on a system of partial differential equations, where we assume a continuous-deterministic evolution for the protein counts. We discuss efficient analysis methods for both modeling approaches and compare their performance. We show that the hybrid approach yields accurate results for sufficiently large molecule counts, while reducing the computational effort from one ordinary differential equation for each state to one partial differential equation for each mode of the system. Furthermore, we give an analytical steady-state solution of the hybrid model for the case of a self-regulatory gene.
△ Less
Submitted 20 September, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
Edge connectivity and the spectral gap of combinatorial and quantum graphs
Authors:
Gregory Berkolaiko,
James B. Kennedy,
Pavel Kurasov,
Delio Mugnolo
Abstract:
We derive a number of upper and lower bounds for the first nontrivial eigenvalue of a finite quantum graph in terms of the edge connectivity of the graph, i.e., the minimal number of edges which need to be removed to make the graph disconnected. On combinatorial graphs, one of the bounds is the well-known inequality of Fiedler, of which we give a new variational proof. On quantum graphs, the corre…
▽ More
We derive a number of upper and lower bounds for the first nontrivial eigenvalue of a finite quantum graph in terms of the edge connectivity of the graph, i.e., the minimal number of edges which need to be removed to make the graph disconnected. On combinatorial graphs, one of the bounds is the well-known inequality of Fiedler, of which we give a new variational proof. On quantum graphs, the corresponding bound generalizes a recent result of Band and Lévy. All proofs are general enough to yield corresponding estimates for the $p$-Laplacian and allow us to identify the minimizers.
Based on the Betti number of the graph, we also derive upper and lower bounds on all eigenvalues which are "asymptotically correct", i.e. agree with the Weyl asymptotics for the eigenvalues of the quantum graph. In particular, the lower bounds improve the bounds of Friedlander on any given graph for all but finitely many eigenvalues, while the upper bounds improve recent results of Ariturk. Our estimates are also used to derive bounds on the eigenvalues of the normalized Laplacian matrix that improve known bounds of spectral graph theory.
△ Less
Submitted 17 February, 2017;
originally announced February 2017.
-
Quantum Graphs: $ \mathcal{PT}$-symmetry and reflection symmetry of the spectrum
Authors:
P. Kurasov,
B. Majidzadeh Garjani
Abstract:
Not necessarily self-adjoint quantum graphs -- differential operators on metric graphs -- are considered. Assume in addition that the underlying metric graph possesses an automorphism (symmetry) $ \mathcal P $. If the differential operator is $ \mathcal P \mathcal T$-symmetric, then its spectrum has reflection symmetry with respect to the real line. Our goal is to understand whether the opposite s…
▽ More
Not necessarily self-adjoint quantum graphs -- differential operators on metric graphs -- are considered. Assume in addition that the underlying metric graph possesses an automorphism (symmetry) $ \mathcal P $. If the differential operator is $ \mathcal P \mathcal T$-symmetric, then its spectrum has reflection symmetry with respect to the real line. Our goal is to understand whether the opposite statement holds, namely whether the reflection symmetry of the spectrum of a quantum graph implies that the underlying metric graph possesses a non-trivial automorphism and the differential operator is $ \mathcal P \mathcal T$-symmetric. We give partial answer to this question by considering equilateral star-graphs. The corresponding Laplace operator with Robin vertex conditions possesses reflection-symmetric spectrum if and only if the operator is $ \mathcal P \mathcal T$-symmetric with $ \mathcal P $ being an automorphism of the metric graph.
△ Less
Submitted 23 January, 2017;
originally announced January 2017.
-
On the Spectral Gap of a Quantum Graph
Authors:
James B. Kennedy,
Pavel Kurasov,
Gabriela Malenova,
Delio Mugnolo
Abstract:
We consider the problem of finding universal bounds of "isoperimetric" or "isodiametric" type on the spectral gap of the Laplacian on a metric graph with natural boundary conditions at the vertices, in terms of various analytical and combinatorial properties of the graph: its total length, diameter, number of vertices and number of edges. We investigate which combinations of parameters are necessa…
▽ More
We consider the problem of finding universal bounds of "isoperimetric" or "isodiametric" type on the spectral gap of the Laplacian on a metric graph with natural boundary conditions at the vertices, in terms of various analytical and combinatorial properties of the graph: its total length, diameter, number of vertices and number of edges. We investigate which combinations of parameters are necessary to obtain non-trivial upper and lower bounds and obtain a number of sharp estimates in terms of these parameters. We also show that, in contrast to the Laplacian matrix on a combinatorial graph, no bound depending only on the diameter is possible. As a special case of our results on metric graphs, we deduce estimates for the normalised Laplacian matrix on combinatorial graphs which, surprisingly, are sometimes sharper than the ones obtained by purely combinatorial methods in the graph theoretical literature.
△ Less
Submitted 25 September, 2015; v1 submitted 8 April, 2015;
originally announced April 2015.
-
Spectral gap for quantum graphs and their connectivity
Authors:
Pavel Kurasov,
Gabriela Malenova,
Sergey Naboko
Abstract:
The spectral gap for Laplace operators on metric graphs is investigated in relation to graph's connectivity, in particular what happens if an edge is added to (or deleted from) a graph. It is shown that in contrast to discrete graphs connection between the connectivity and the spectral gap is not one-to-one. The size of the spectral gap depends not only on the topology of the metric graph but on i…
▽ More
The spectral gap for Laplace operators on metric graphs is investigated in relation to graph's connectivity, in particular what happens if an edge is added to (or deleted from) a graph. It is shown that in contrast to discrete graphs connection between the connectivity and the spectral gap is not one-to-one. The size of the spectral gap depends not only on the topology of the metric graph but on its geometric properties as well. It is shown that adding sufficiently large edges as well as cutting away sufficiently small edges leads to a decrease of the spectral gap. Corresponding explicit criteria are given.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
Weyl-Titchmarsh type formula for periodic Schroedinger operator with Wigner-von Neumann potential
Authors:
Pavel Kurasov,
Sergey Simonov
Abstract:
Schroedinger operator on the half-line with periodic background potential perturbed by a certain potential of Wigner-von Neumann type is considered. The asymptotics of generalized eigenvectors for the values of the spectral parameter from the upper half-plane and on the absolutely continuous spectrum is established. Weyl-Titchmarsh type formula for this operator is proven.
Schroedinger operator on the half-line with periodic background potential perturbed by a certain potential of Wigner-von Neumann type is considered. The asymptotics of generalized eigenvectors for the values of the spectral parameter from the upper half-plane and on the absolutely continuous spectrum is established. Weyl-Titchmarsh type formula for this operator is proven.
△ Less
Submitted 25 February, 2011;
originally announced February 2011.
-
Finite speed of propagation and local boundary conditions for wave equations with point interactions
Authors:
Pavel Kurasov,
Andrea Posilicano
Abstract:
We show that the boundary conditions entering in the definition of the self-adjoint operator describing the Laplacian plus a finite number of point interactions are local if and only if the corresponding wave equation has finite speed of propagation
We show that the boundary conditions entering in the definition of the self-adjoint operator describing the Laplacian plus a finite number of point interactions are local if and only if the corresponding wave equation has finite speed of propagation
△ Less
Submitted 10 February, 2006;
originally announced February 2006.
-
Gauge fields, point interactions and few-body problems in one dimension
Authors:
S. Albeverio,
S. M. Fei,
P. Kurasov
Abstract:
Point interactions for the second derivative operator in one dimension are studied. Every operator from this family is described by the boundary conditions which include a $ 2 \times 2 $ real matrix with the unit determinant and a phase. The role of the phase parameter leading to unitary equivalent operators is discussed in the present paper. In particular it is shown that the phase parameter is…
▽ More
Point interactions for the second derivative operator in one dimension are studied. Every operator from this family is described by the boundary conditions which include a $ 2 \times 2 $ real matrix with the unit determinant and a phase. The role of the phase parameter leading to unitary equivalent operators is discussed in the present paper. In particular it is shown that the phase parameter is not redundant (contrary to previous studies) if non stationary problems are concerned. It is proven that the phase parameter can be interpreted as the amplitude of a singular gauge field. Considering the few-body problem we extend the range of parameters for which the exact solution can be found using the Bethe Ansatz.
△ Less
Submitted 22 June, 2004;
originally announced June 2004.
-
Point Interactions: PT-Hermiticity and Reality of the Spectrum
Authors:
S. Albeverio,
S. M. Fei,
P. Kurasov
Abstract:
General point interactions for the second derivative operator in one dimension are studied. In particular, ${\mathcal P \mathcal T}$-self-adjoint point interactions with the support at the origin and at points $\pm l$ are considered. The spectrum of such non-Hermitian operators is investigated and conditions when the spectrum is pure real are presented. The results are compared with those for st…
▽ More
General point interactions for the second derivative operator in one dimension are studied. In particular, ${\mathcal P \mathcal T}$-self-adjoint point interactions with the support at the origin and at points $\pm l$ are considered. The spectrum of such non-Hermitian operators is investigated and conditions when the spectrum is pure real are presented. The results are compared with those for standard self-adjoint point interactions.
△ Less
Submitted 18 June, 2002;
originally announced June 2002.
-
On Integrability of Many-Body Problems with Point Interactions
Authors:
S. Albeverio,
S. M. Fei,
P. Kurasov
Abstract:
A study of the integrability of one-dimensional quantum mechanical many-body systems with general point interactions and boundary conditions describing the interactions which can be independent or dependent on the spin states of the particles is presented. The corresponding Bethe ansatz solutions, bound states and scattering matrices are explicitly given. Hamilton operators corresponding to spec…
▽ More
A study of the integrability of one-dimensional quantum mechanical many-body systems with general point interactions and boundary conditions describing the interactions which can be independent or dependent on the spin states of the particles is presented. The corresponding Bethe ansatz solutions, bound states and scattering matrices are explicitly given. Hamilton operators corresponding to special spin dependent boundary conditions are discussed.
△ Less
Submitted 23 May, 2002;
originally announced May 2002.
-
Many Body Problems with "Spin"-Related Contact Interactions
Authors:
S. Albeverio,
S. M. Fei,
P. Kurasov
Abstract:
We study quantum mechanical systems with "spin"-related contact interactions in one dimension. The boundary conditions describing the contact interactions are dependent on the spin states of the particles. In particular we investigate the integrability of $N$-body systems with $δ$-interactions and point spin couplings. Bethe ansatz solutions, bound states and scattering matrices are explicitly g…
▽ More
We study quantum mechanical systems with "spin"-related contact interactions in one dimension. The boundary conditions describing the contact interactions are dependent on the spin states of the particles. In particular we investigate the integrability of $N$-body systems with $δ$-interactions and point spin couplings. Bethe ansatz solutions, bound states and scattering matrices are explicitly given. The cases of generalized separated boundary condition and some Hamiltonian operators corresponding to special spin related boundary conditions are also discussed.
△ Less
Submitted 3 April, 2000;
originally announced April 2000.