-
Duistarmaat's triple index and the difference of Hermitian matrices
Authors:
Gregory Berkolaiko,
Graham Cox,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
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…
▽ More
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örmander--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.
△ Less
Submitted 30 December, 2024;
originally announced December 2024.
-
Stability of spectral partitions with corners
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Peter Kuchment,
Jeremy L. Marzuola
Abstract:
A spectral minimal partition of a manifold is a decomposition into disjoint open sets that minimizes a spectral energy functional. While it is known that bipartite minimal partitions correspond to nodal partitions of Courant-sharp Laplacian eigenfunctions, the non-bipartite case is much more challenging. In this paper, we unify the bipartite and non-bipartite settings by defining a modified Laplac…
▽ More
A spectral minimal partition of a manifold is a decomposition into disjoint open sets that minimizes a spectral energy functional. While it is known that bipartite minimal partitions correspond to nodal partitions of Courant-sharp Laplacian eigenfunctions, the non-bipartite case is much more challenging. In this paper, we unify the bipartite and non-bipartite settings by defining a modified Laplacian operator and proving that the nodal partitions of its eigenfunctions are exactly the critical points of the spectral energy functional. Moreover, we prove that the Morse index of a critical point equals the nodal deficiency of the corresponding eigenfunction. Some striking consequences of our main result are: 1) in the bipartite case, every local minimum of the energy functional is in fact a global minimum; 2) in the non-bipartite case, every local minimum of the energy functional minimizes within a certain topological class of partitions. Our results are valid for partitions with non-smooth boundaries; this introduces considerable technical challenges, which are overcome using delicate approximation arguments in the Sobolev space $H^{1/2}$.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
Homology of spectral minimal partitions
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
The Duistermaat index and eigenvalue interlacing for self-adjoint extensions of a symmetric operator
Authors:
Gregory Berkolaiko,
Graham Cox,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
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…
▽ More
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.
△ Less
Submitted 8 January, 2024; v1 submitted 11 November, 2023;
originally announced November 2023.
-
Exotic eigenvalues and analytic resolvent for a graph with a shrinking edge
Authors:
Gregory Berkolaiko,
Denis I. Borisov,
Marshall King
Abstract:
We consider a metric graph consisting of two edges, one of which has length $\varepsilon$ which we send to zero. On this graph we study the resolvent and spectrum of the Laplacian subject to a general vertex condition at the connecting vertex. Despite the singular nature of the perturbation (by a short edge), we find that the resolvent depends analytically on the parameter $\varepsilon$. In contra…
▽ More
We consider a metric graph consisting of two edges, one of which has length $\varepsilon$ which we send to zero. On this graph we study the resolvent and spectrum of the Laplacian subject to a general vertex condition at the connecting vertex. Despite the singular nature of the perturbation (by a short edge), we find that the resolvent depends analytically on the parameter $\varepsilon$. In contrast, the negative eigenvalues escape to minus infinity at rates that could be fractional, namely, $\varepsilon^0$, $\varepsilon^{-2/3}$ or $\varepsilon^{-1}$. These rates take place when the corresponding eigenfunction localizes, respectively, only on the long edge, on both edges, or only on the short edge.
△ Less
Submitted 29 September, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Exotic eigenvalues of shrinking metric graphs
Authors:
Gregory Berkolaiko,
Yves Colin de Verdière
Abstract:
Eigenvalue spectrum of the Laplacian on a metric graph with arbitrary but fixed vertex conditions is investigated in the limit as the lengths of all edges decrease to zero at the same rate. It is proved that there are exactly four possible types of eigenvalue asymptotics. The number of eigenvalues of each type is expressed via the index and nullity of a form defined in terms of the vertex conditio…
▽ More
Eigenvalue spectrum of the Laplacian on a metric graph with arbitrary but fixed vertex conditions is investigated in the limit as the lengths of all edges decrease to zero at the same rate. It is proved that there are exactly four possible types of eigenvalue asymptotics. The number of eigenvalues of each type is expressed via the index and nullity of a form defined in terms of the vertex conditions.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Morse inequalities for ordered eigenvalues of generic self-adjoint families
Authors:
Gregory Berkolaiko,
Igor Zelenko
Abstract:
In many applied problems one seeks to identify and count the critical points of a particular eigenvalue of a smooth parametric family of self-adjoint matrices, with the parameter space often being known and simple, such as a torus. Among particular settings where such a question arises are the Floquet--Bloch decomposition of periodic Schrödinger operators, topology of potential energy surfaces in…
▽ More
In many applied problems one seeks to identify and count the critical points of a particular eigenvalue of a smooth parametric family of self-adjoint matrices, with the parameter space often being known and simple, such as a torus. Among particular settings where such a question arises are the Floquet--Bloch decomposition of periodic Schrödinger operators, topology of potential energy surfaces in quantum chemistry, spectral optimization problems such as minimal spectral partitions of manifolds, as well as nodal statistics of graph eigenfunctions. In contrast to the classical Morse theory dealing with smooth functions, the eigenvalues of families of self-adjoint matrices are not smooth at the points corresponding to repeated eigenvalues (called, depending on the application and on the dimension of the parameter space, the diabolical/Dirac/Weyl points or the conical intersections).
This work develops a procedure for associating a Morse polynomial to a point of eigenvalue multiplicity; it utilizes the assumptions of smoothness and self-adjointness of the family to provide concrete answers. In particular, we define the notions of non-degenerate topologically critical point and generalized Morse family, establish that generalized Morse families are generic in an appropriate sense, establish a differential first-order conditions for criticality, as well as compute the local contribution of a topologically critical point to the Morse polynomial. Remarkably, the non-smooth contribution to the Morse polynomial turns out to depend only on the size of the eigenvalue multiplicity and the relative position of the eigenvalue of interest and not on the particulars of the operator family; it is expressed in terms of the homologies of Grassmannians.
△ Less
Submitted 2 August, 2024; v1 submitted 9 April, 2023;
originally announced April 2023.
-
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.
-
Computing nodal deficiency with a refined Dirichlet-to-Neumann map
Authors:
Gregory Berkolaiko,
Graham Cox,
Bernard Helffer,
Mikael Persson Sundqvist
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 February, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
Stability of spectral partitions and the Dirichlet-to-Neumann map
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
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 equipart…
▽ More
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.
△ Less
Submitted 18 July, 2022; v1 submitted 3 January, 2022;
originally announced January 2022.
-
Three dimensional elastic beam frames: rigid joint conditions in variational and differential formulation
Authors:
Gregory Berkolaiko,
Mahmood Ettehad
Abstract:
We consider three-dimensional elastic frames constructed out of Euler--Bernoulli beams and describe a simple process of generating joint conditions out of the geometric description of the frame. The corresponding differential operator is shown to be self-adjoint. In the special case of planar frames, the operator decomposes into a direct sum of two operators, one coupling out-of-plane displacement…
▽ More
We consider three-dimensional elastic frames constructed out of Euler--Bernoulli beams and describe a simple process of generating joint conditions out of the geometric description of the frame. The corresponding differential operator is shown to be self-adjoint. In the special case of planar frames, the operator decomposes into a direct sum of two operators, one coupling out-of-plane displacement to angular (torsional) displacement and the other coupling in-plane displacement with axial displacement (compression). Detailed analysis of two examples is presented. We actively exploit the symmetry present in the examples and decompose the operator by restricting it onto reducing subspaces corresponding to irreducible representations of the symmetry group. These ``quotient'' operators are shown to capture particular oscillation modes of the frame.
△ Less
Submitted 21 December, 2021; v1 submitted 2 April, 2021;
originally announced April 2021.
-
Spectral shift via "lateral" perturbation
Authors:
G. Berkolaiko,
P. Kuchment
Abstract:
We consider a compact perturbation $H_0 = S + K_0^* K_0$ of a self-adjoint operator $S$ with an eigenvalue $λ^\circ$ below its essential spectrum and the corresponding eigenfunction $f$. The perturbation is assumed to be "along" the eigenfunction $f$, namely $K_0f=0$. The eigenvalue $λ^\circ$ belongs to the spectra of both $H_0$ and $S$. Let $S$ have $σ$ more eigenvalues below $λ^\circ$ than…
▽ More
We consider a compact perturbation $H_0 = S + K_0^* K_0$ of a self-adjoint operator $S$ with an eigenvalue $λ^\circ$ below its essential spectrum and the corresponding eigenfunction $f$. The perturbation is assumed to be "along" the eigenfunction $f$, namely $K_0f=0$. The eigenvalue $λ^\circ$ belongs to the spectra of both $H_0$ and $S$. Let $S$ have $σ$ more eigenvalues below $λ^\circ$ than $H_0$; $σ$ is known as the spectral shift at $λ^\circ$.
We now allow the perturbation to vary in a suitable operator space and study the continuation of the eigenvalue $λ^\circ$ in the spectrum of $H(K)=S + K^* K$. We show that the eigenvalue as a function of $K$ has a critical point at $K=K_0$ and the Morse index of this critical point is the spectral shift $σ$. A version of this theorem also holds for some non-positive perturbations.
△ Less
Submitted 20 April, 2021; v1 submitted 22 November, 2020;
originally announced November 2020.
-
A local test for global extrema in the dispersion relation of a periodic graph
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
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 sho…
▽ More
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.
△ Less
Submitted 5 January, 2022; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Degenerate band edges in periodic quantum graphs
Authors:
Gregory Berkolaiko,
Minh Kha
Abstract:
Edges of bands of continuous spectrum of periodic structures arise as maxima and minima of the dispersion relation of their Floquet--Bloch transform. It is often assumed that the extrema generating the band edges are non-degenerate.
This paper constructs a family of examples of $\mathbb{Z}^3$-periodic quantum graphs where the non-degeneracy assumption fails: the maximum of the first band is achi…
▽ More
Edges of bands of continuous spectrum of periodic structures arise as maxima and minima of the dispersion relation of their Floquet--Bloch transform. It is often assumed that the extrema generating the band edges are non-degenerate.
This paper constructs a family of examples of $\mathbb{Z}^3$-periodic quantum graphs where the non-degeneracy assumption fails: the maximum of the first band is achieved along an algebraic curve of co-dimension 2. The example is robust with respect to perturbations of edge lengths, vertex conditions and edge potentials. The simple idea behind the construction allows generalizations to more complicated graphs and lattice dimensions. The curves along which extrema are achieved have a natural interpretation as moduli spaces of planar polygons.
△ Less
Submitted 10 June, 2020; v1 submitted 10 January, 2020;
originally announced January 2020.
-
Locating conical degeneracies in the spectra of parametric self-adjoint matrices
Authors:
Gregory Berkolaiko,
Advait Parulekar
Abstract:
A simple iterative scheme is proposed for locating the parameter values for which a 2-parameter family of real symmetric matrices has a double eigenvalue. The convergence is proved to be quadratic. An extension of the scheme to complex Hermitian matrices (with 3 parameters) and to location of triple eigenvalues (5 parameters for real symmetric matrices) is also described. Algorithm convergence is…
▽ More
A simple iterative scheme is proposed for locating the parameter values for which a 2-parameter family of real symmetric matrices has a double eigenvalue. The convergence is proved to be quadratic. An extension of the scheme to complex Hermitian matrices (with 3 parameters) and to location of triple eigenvalues (5 parameters for real symmetric matrices) is also described. Algorithm convergence is illustrated in several examples: a real symmetric family, a complex Hermitian family, a family of matrices with an "avoided crossing" (no covergence) and a 5-parameter family of real symmetric matrices with a triple eigenvalue.
△ Less
Submitted 11 December, 2020; v1 submitted 8 January, 2020;
originally announced January 2020.
-
Edge-localized states on quantum graphs in the limit of large mass
Authors:
Gregory Berkolaiko,
Jeremy L. Marzuola,
Dmitry E. Pelinovsky
Abstract:
In this work, we construct and quantify asymptotically in the limit of large mass a variety of edge-localized stationary states of the focusing nonlinear Schrödinger equation on a quantum graph. The method is applicable to general bounded and unbounded graphs. The solutions are constructed by matching a localized large amplitude elliptic function on a single edge with an exponentially smaller rema…
▽ More
In this work, we construct and quantify asymptotically in the limit of large mass a variety of edge-localized stationary states of the focusing nonlinear Schrödinger equation on a quantum graph. The method is applicable to general bounded and unbounded graphs. The solutions are constructed by matching a localized large amplitude elliptic function on a single edge with an exponentially smaller remainder on the rest of the graph. This is done by studying the intersections of Dirichlet-to-Neumann manifolds (nonlinear analogues of Dirichlet-to-Neumann maps) corresponding to the two parts of the graph. For the quantum graph with a given set of pendant, looping, and internal edges, we find the edge on which the state of smallest energy at fixed mass is localized. Numerical studies of several examples are used to illustrate the analytical results.
△ Less
Submitted 23 March, 2020; v1 submitted 8 October, 2019;
originally announced October 2019.
-
Optimizing Consistent Merging and Pruning of Subgraphs in Network Tomography
Authors:
Mahmood Ettehad,
Nick Duffield,
Gregory Berkolaiko
Abstract:
A communication network can be modeled as a directed connected graph with edge weights that characterize performance metrics such as loss and delay. Network tomography aims to infer these edge weights from their pathwise versions measured on a set of intersecting paths between a subset of boundary vertices, and even the underlying graph when this is not known. Recent work has established condition…
▽ More
A communication network can be modeled as a directed connected graph with edge weights that characterize performance metrics such as loss and delay. Network tomography aims to infer these edge weights from their pathwise versions measured on a set of intersecting paths between a subset of boundary vertices, and even the underlying graph when this is not known. Recent work has established conditions under which the underlying directed graph can be recovered exactly the pairwise Path Correlation Data, namely, the set of weights of intersection of each pair of directed paths to and from each endpoint. Algorithmically, this enables us to consistently fused tree-based view of the set of network paths to and from each endpoint to reconstruct the underlying network.
However, in practice the PCD is not consistently determined by path measurements. Statistical fluctuations give rise to inconsistent inferred weight of edges from measurement based on different endpoints, as do operational constraints on synchronization, and deviations from the underlying packet transmission model. Furthermore, ad hoc solutions to eliminate noise, such as pruning small weight inferred links, are hard to apply in a consistent manner that preserves known end-to-end metric values.
This paper takes a unified approach to the problem of inconsistent weight estimation. We formulate two type of inconsistency: \textsl{intrinsic}, when the weight set is internally inconsistent, and \textsl{extrinsic}, when they are inconsistent with a set of known end-to-end path metrics. In both cases we map inconsistent weight to consistent PCD within a least-squares framework. We evaluate the performance of this mapping in composition with tree-based inference algorithms.
△ Less
Submitted 9 August, 2019;
originally announced August 2019.
-
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.
-
Limits of Quantum Graph Operators With Shrinking Edges
Authors:
Gregory Berkolaiko,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
We address the question of convergence of Schrödinger operators on metric graphs with general self-adjoint vertex conditions as lengths of some of graph's edges shrink to zero. We determine the limiting operator and study convergence in a suitable norm resolvent sense. It is noteworthy that, as edge lengths tend to zero, standard Sobolev-type estimates break down, making convergence fail for some…
▽ More
We address the question of convergence of Schrödinger operators on metric graphs with general self-adjoint vertex conditions as lengths of some of graph's edges shrink to zero. We determine the limiting operator and study convergence in a suitable norm resolvent sense. It is noteworthy that, as edge lengths tend to zero, standard Sobolev-type estimates break down, making convergence fail for some graphs. We use a combination of functional-analytic bounds on the edges of the graph and Lagrangian geometry considerations for the vertex conditions to establish a sufficient condition for convergence. This condition encodes an intricate balance between the topology of the graph and its vertex data. In particular, it does not depend on the potential, on the differences in the rates of convergence of the shrinking edges, or on the lengths of the unaffected edges.
△ Less
Submitted 17 May, 2019; v1 submitted 1 June, 2018;
originally announced June 2018.
-
Nodal deficiency, spectral flow, and the Dirichlet-to-Neumann map
Authors:
Gregory Berkolaiko,
Graham Cox,
Jeremy L. Marzuola
Abstract:
It was recently shown that the nodal deficiency of an eigenfunction is encoded in the spectrum of the Dirichlet-to-Neumann operators for the eigenfunction's positive and negative nodal domains. While originally derived using symplectic methods, this result can also be understood through the spectral flow for a family of boundary conditions imposed on the nodal set, or, equivalently, a family of op…
▽ More
It was recently shown that the nodal deficiency of an eigenfunction is encoded in the spectrum of the Dirichlet-to-Neumann operators for the eigenfunction's positive and negative nodal domains. While originally derived using symplectic methods, this result can also be understood through the spectral flow for a family of boundary conditions imposed on the nodal set, or, equivalently, a family of operators with delta function potentials supported on the nodal set. In this paper we explicitly describe this flow for a Schrödinger operator with separable potential on a rectangular domain, and determine a mechanism by which lower energy eigenfunctions do or do not contribute to the nodal deficiency.
△ Less
Submitted 13 February, 2024; v1 submitted 8 May, 2018;
originally announced May 2018.
-
Graph Reconstruction from Path Correlation Data
Authors:
Gregory Berkolaiko,
Nick Duffield,
Mahmood Ettehad,
Kyriakos Manousakis
Abstract:
A communication network can be modeled as a directed connected graph with edge weights that characterize performance metrics such as loss and delay. Network tomography aims to infer these edge weights from their pathwise versions measured on a set of intersecting paths between a subset of boundary vertices, and even the underlying graph when this is not known. In particular, temporal correlations…
▽ More
A communication network can be modeled as a directed connected graph with edge weights that characterize performance metrics such as loss and delay. Network tomography aims to infer these edge weights from their pathwise versions measured on a set of intersecting paths between a subset of boundary vertices, and even the underlying graph when this is not known. In particular, temporal correlations between path metrics have been used infer composite weights on the subpath formed by the path intersection. We call these subpath weights the Path Correlation Data. In this paper we ask the following question: when can the underlying weighted graph be recovered knowing only the boundary vertices and the Path Correlation Data? We establish necessary and sufficient conditions for a graph to be reconstructible from this information, and describe an algorithm to perform the reconstruction. Subject to our conditions, the result applies to directed graphs with asymmetric edge weights, and accommodates paths arising from asymmetric routing in the underlying communication network. We also describe the relationship between the graph produced by our algorithm and the true graph in the case that our conditions are not satisfied.
△ Less
Submitted 13 September, 2018; v1 submitted 12 April, 2018;
originally announced April 2018.
-
Maximal scarring for eigenfunctions of quantum graphs
Authors:
Gregory Berkolaiko,
Brian Winn
Abstract:
We prove the existence of scarred eigenstates for star graphs with scattering matrices at the central vertex which are either a Fourier transform matrix, or a matrix that prohibits back-scattering. We prove the existence of scars that are half-delocalised on a single bond. Moreover we show that the scarred states we construct are maximal in the sense that it is impossible to have quantum eigenfunc…
▽ More
We prove the existence of scarred eigenstates for star graphs with scattering matrices at the central vertex which are either a Fourier transform matrix, or a matrix that prohibits back-scattering. We prove the existence of scars that are half-delocalised on a single bond. Moreover we show that the scarred states we construct are maximal in the sense that it is impossible to have quantum eigenfunctions with a significantly lower entropy than our examples.
These scarred eigenstates are on graphs that exhibit generic spectral statistics of random matrix type in the large graph limit, and, in contrast to other constructions, correspond to non-degenerate eigenvalues; they exist for almost all choices of lengths.
△ Less
Submitted 12 July, 2018; v1 submitted 22 March, 2018;
originally announced March 2018.
-
Quotients of graph operators by symmetry representations
Authors:
Ram Band,
Gregory Berkolaiko,
Christopher H. Joyner,
Wen Liu
Abstract:
A finite dimensional operator that commutes with some symmetry group admits quotient operators, which are determined by the choice of associated representation. Taking the quotient isolates the part of the spectrum supporting the chosen representation and reduces the complexity of the spectral problem. Yet, such a quotient operator is not uniquely defined. Here we present a computationally simple…
▽ More
A finite dimensional operator that commutes with some symmetry group admits quotient operators, which are determined by the choice of associated representation. Taking the quotient isolates the part of the spectrum supporting the chosen representation and reduces the complexity of the spectral problem. Yet, such a quotient operator is not uniquely defined. Here we present a computationally simple way of choosing a special basis for the space of intertwiners, allowing us to construct a quotient that reflects the structure of the original operator. This quotient construction generalizes previous definitions for discrete graphs, which either dealt with restricted group actions or only with the trivial representation. We also extend the method to quantum graphs, which simplifies previous constructions within this context, answers an open question regarding self-adjointness and offers alternative viewpoints in terms of a scattering approach. Applications to isospectrality are discussed, together with numerous examples and comparisons with previous results.
△ Less
Submitted 28 November, 2023; v1 submitted 2 November, 2017;
originally announced November 2017.
-
Eigenspaces of symmetric graphs are not typically irreducible
Authors:
Gregory Berkolaiko,
Wen Liu
Abstract:
We construct rich families of Schrödinger operators on symmetric graphs, both quantum and combinatorial, whose spectral degeneracies are persistently larger than the maximal dimension of an irreducible representations of the symmetry group.
We construct rich families of Schrödinger operators on symmetric graphs, both quantum and combinatorial, whose spectral degeneracies are persistently larger than the maximal dimension of an irreducible representations of the symmetry group.
△ Less
Submitted 7 January, 2018; v1 submitted 3 May, 2017;
originally announced May 2017.
-
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.
-
An elementary introduction to quantum graphs
Authors:
Gregory Berkolaiko
Abstract:
We describe some basic tools in the spectral theory of Schrödinger operator on metric graphs (also known as "quantum graph") by studying in detail some basic examples. The exposition is kept as elementary and accessible as possible. In the later sections we apply these tools to prove some results on the count of zeros of the eigenfunctions of quantum graphs.
We describe some basic tools in the spectral theory of Schrödinger operator on metric graphs (also known as "quantum graph") by studying in detail some basic examples. The exposition is kept as elementary and accessible as possible. In the later sections we apply these tools to prove some results on the count of zeros of the eigenfunctions of quantum graphs.
△ Less
Submitted 17 December, 2016; v1 submitted 23 March, 2016;
originally announced March 2016.
-
Inequivalent Factorizations of Permutations
Authors:
Gregory Berkolaiko,
John Irving
Abstract:
Two factorizations of a permutation into products of cycles are equivalent if one can be obtained from the other by repeatedly interchanging adjacent disjoint factors. This paper studies the enumeration of equivalence classes under this relation. We obtain closed form expressions for generating series of inequivalent minimal transitive factorizations of permutations having up to three cycles, and…
▽ More
Two factorizations of a permutation into products of cycles are equivalent if one can be obtained from the other by repeatedly interchanging adjacent disjoint factors. This paper studies the enumeration of equivalence classes under this relation. We obtain closed form expressions for generating series of inequivalent minimal transitive factorizations of permutations having up to three cycles, and also of permutations with four cycles when factors are restricted to be transpositions. Our derivations rely on a new correspondence between inequivalent factorizations and acyclic alternating digraphs.
Strong similarities between the enumerative results derived here and analogous ones for "ordinary" factorizations suggest that a unified theory remains to be discovered. We also establish connections between inequivalent factorizations and other well-studied classes of permutation factorizations. In particular, a relationship with monotone factorizations allows us to recover an exact counting formula for the latter due to Goulden, Guay-Paquet and Novak.
△ Less
Submitted 1 December, 2015; v1 submitted 20 May, 2014;
originally announced May 2014.
-
Combinatorial theory of the semiclassical evaluation of transport moments II: Algorithmic approach for moment generating functions
Authors:
G. Berkolaiko,
J. Kuipers
Abstract:
Electronic transport through chaotic quantum dots exhibits universal behaviour which can be understood through the semiclassical approximation. Within the approximation, transport moments reduce to codifying classical correlations between scattering trajectories. These can be represented as ribbon graphs and we develop an algorithmic combinatorial method to generate all such graphs with a given ge…
▽ More
Electronic transport through chaotic quantum dots exhibits universal behaviour which can be understood through the semiclassical approximation. Within the approximation, transport moments reduce to codifying classical correlations between scattering trajectories. These can be represented as ribbon graphs and we develop an algorithmic combinatorial method to generate all such graphs with a given genus. This provides an expansion of the linear transport moments for systems both with and without time reversal symmetry. The computational implementation is then able to progress several orders higher than previous semiclassical formulae as well as those derived from an asymptotic expansion of random matrix results. The patterns observed also suggest a general form for the higher orders.
△ Less
Submitted 19 November, 2013; v1 submitted 11 July, 2013;
originally announced July 2013.
-
Vakhitov-Kolokolov and energy vanishing conditions for linear instability of solitary waves in models of classical self-interacting spinor fields
Authors:
Gregory Berkolaiko,
Andrew Comech,
Alim Sukhtayev
Abstract:
We study the linear stability of localized modes in self-interacting spinor fields, analyzing the spectrum of the operator corresponding to linearization at solitary waves. Following the generalization of the Vakhitov--Kolokolov approach, we show that the bifurcation of real eigenvalues from the origin is completely characterized by the Vakhitov--Kolokolov condition $dQ/dω=0$ and by the vanishing…
▽ More
We study the linear stability of localized modes in self-interacting spinor fields, analyzing the spectrum of the operator corresponding to linearization at solitary waves. Following the generalization of the Vakhitov--Kolokolov approach, we show that the bifurcation of real eigenvalues from the origin is completely characterized by the Vakhitov--Kolokolov condition $dQ/dω=0$ and by the vanishing of the energy functional. We give the numerical data on the linear stability in the generalized Gross--Neveu model and the generalized massive Thirring model in the charge-subcritical, critical, and supercritical cases, showing the agreement with the Vakhitov--Kolokolov and the energy vanishing conditions.
△ Less
Submitted 30 October, 2014; v1 submitted 21 June, 2013;
originally announced June 2013.
-
Combinatorial theory of the semiclassical evaluation of transport moments I: Equivalence with the random matrix approach
Authors:
G. Berkolaiko,
J. Kuipers
Abstract:
To study electronic transport through chaotic quantum dots, there are two main theoretical approachs. One involves substituting the quantum system with a random scattering matrix and performing appropriate ensemble averaging. The other treats the transport in the semiclassical approximation and studies correlations among sets of classical trajectories. There are established evaluation procedures w…
▽ More
To study electronic transport through chaotic quantum dots, there are two main theoretical approachs. One involves substituting the quantum system with a random scattering matrix and performing appropriate ensemble averaging. The other treats the transport in the semiclassical approximation and studies correlations among sets of classical trajectories. There are established evaluation procedures within the semiclassical evaluation that, for several linear and non-linear transport moments to which they were applied, have always resulted in the agreement with random matrix predictions. We prove that this agreement is universal: any semiclassical evaluation within the accepted procedures is equivalent to the evaluation within random matrix theory.
The equivalence is shown by developing a combinatorial interpretation of the trajectory sets as ribbon graphs (maps) with certain properties and exhibiting systematic cancellations among their contributions. Remaining trajectory sets can be identified with primitive (palindromic) factorisations whose number gives the coefficients in the corresponding expansion of the moments of random matrices. The equivalence is proved for systems with and without time reversal symmetry.
△ Less
Submitted 20 September, 2013; v1 submitted 21 May, 2013;
originally announced May 2013.
-
Stability of eigenvalues of quantum graphs with respect to magnetic perturbation and the nodal count of the eigenfunctions
Authors:
G. Berkolaiko,
T. Weyand
Abstract:
We prove an analogue of the magnetic nodal theorem on quantum graphs: the number of zeros $φ$ of the $n$-th eigenfunction of the Schrödinger operator on a quantum graph is related to the stability of the $n$-th eigenvalue of the perturbation of the operator by magnetic potential. More precisely, we consider the $n$-th eigenvalue as a function of the magnetic perturbation and show that its Morse in…
▽ More
We prove an analogue of the magnetic nodal theorem on quantum graphs: the number of zeros $φ$ of the $n$-th eigenfunction of the Schrödinger operator on a quantum graph is related to the stability of the $n$-th eigenvalue of the perturbation of the operator by magnetic potential. More precisely, we consider the $n$-th eigenvalue as a function of the magnetic perturbation and show that its Morse index at zero magnetic field is equal to $φ- (n-1)$.
△ Less
Submitted 21 December, 2013; v1 submitted 18 December, 2012;
originally announced December 2012.
-
Critical partitions and nodal deficiency of billiard eigenfunctions
Authors:
Gregory Berkolaiko,
Peter Kuchment,
Uzy Smilansky
Abstract:
The paper addresses the the number of nodal domains for eigenfunctions of Schrödinger operators with Dirichlet boundary conditions in bounded domains. In dimension one, the $n$th eigenfunction has $n$ nodal domains. The Courant Theorem claims that in any dimension, the number of nodal domains of the $n$th eigenfunction cannot exceed $n$. However, in dimensions higher than 1 the equality can hold f…
▽ More
The paper addresses the the number of nodal domains for eigenfunctions of Schrödinger operators with Dirichlet boundary conditions in bounded domains. In dimension one, the $n$th eigenfunction has $n$ nodal domains. The Courant Theorem claims that in any dimension, the number of nodal domains of the $n$th eigenfunction cannot exceed $n$. However, in dimensions higher than 1 the equality can hold for only finitely many eigenfunctions. Thus, a "nodal deficiency" arises. Examples are known of eigenfunctions with arbitrarily large index $n$ that have just two nodal domains.
It was suggested in the recent years to look at the partitions of the domain, rather than eigenfunctions. It was shown in a recent paper by Helffer, Hoffmann-Ostenhof and Terracini that (under some natural conditions) bipartite partitions minimizing the maximum of the ground-state energies in sub-domains of the partition, correspond to the "Courant sharp" eigenfunctions, i.e. to those with zero nodal deficiency.
In this paper, the authors show, under some genericity conditions, among the bipartite equipartitions, the nodal ones correspond exactly to the critical points of an analogous functional, with the nodal deficiency being equal to the Morse index at this point. This explains, in particular, why all the minimal partitions must be Courant sharp.
△ Less
Submitted 25 May, 2012; v1 submitted 18 July, 2011;
originally announced July 2011.
-
On the connection between the number of nodal domains on quantum graphs and the stability of graph partitions
Authors:
Ram Band,
Gregory Berkolaiko,
Hillel Raz,
Uzy Smilansky
Abstract:
Courant theorem provides an upper bound for the number of nodal domains of eigenfunctions of a wide class of Laplacian-type operators. In particular, it holds for generic eigenfunctions of quantum graph. The theorem stipulates that, after ordering the eigenvalues as a non decreasing sequence, the number of nodal domains $ν_n$ of the $n$-th eigenfunction satisfies $n\ge ν_n$. Here, we provide a new…
▽ More
Courant theorem provides an upper bound for the number of nodal domains of eigenfunctions of a wide class of Laplacian-type operators. In particular, it holds for generic eigenfunctions of quantum graph. The theorem stipulates that, after ordering the eigenvalues as a non decreasing sequence, the number of nodal domains $ν_n$ of the $n$-th eigenfunction satisfies $n\ge ν_n$. Here, we provide a new interpretation for the Courant nodal deficiency $d_n = n-ν_n$ in the case of quantum graphs. It equals the Morse index --- at a critical point --- of an energy functional on a suitably defined space of graph partitions. Thus, the nodal deficiency assumes a previously unknown and profound meaning --- it is the number of unstable directions in the vicinity of the critical point corresponding to the $n$-th eigenfunction. To demonstrate this connection, the space of graph partitions and the energy functional are defined and the corresponding critical partitions are studied in detail.
△ Less
Submitted 7 March, 2011;
originally announced March 2011.
-
On inequivalent factorizations of a cycle
Authors:
G. Berkolaiko,
J. M. Harrison,
M. Novaes
Abstract:
We introduce a bijection between inequivalent minimal factorizations of the n-cycle (1 2 ... n) into a product of smaller cycles of given length, on one side, and trees of a certain structure on the other. We use this bijection to count the factorizations with a given number of different commuting factors that can appear in the first and in the last positions, a problem which has found application…
▽ More
We introduce a bijection between inequivalent minimal factorizations of the n-cycle (1 2 ... n) into a product of smaller cycles of given length, on one side, and trees of a certain structure on the other. We use this bijection to count the factorizations with a given number of different commuting factors that can appear in the first and in the last positions, a problem which has found applications in physics. We also provide a necessary and sufficient condition for a set of cycles to be arrangeable into a product evaluating to (1 2 ... n).
△ Less
Submitted 11 December, 2010; v1 submitted 19 September, 2008;
originally announced September 2008.
-
A lower bound for nodal count on discrete and metric graphs
Authors:
Gregory Berkolaiko
Abstract:
According to a well-know theorem by Sturm, a vibrating string is divided into exactly N nodal intervals by zeros of its N-th eigenfunction. Courant showed that one half of Sturm's theorem for the strings applies to the theory of membranes: N-th eigenfunction cannot have more than N domains. He also gave an example of a eigenfunction high in the spectrum with a minimal number of nodal domains, th…
▽ More
According to a well-know theorem by Sturm, a vibrating string is divided into exactly N nodal intervals by zeros of its N-th eigenfunction. Courant showed that one half of Sturm's theorem for the strings applies to the theory of membranes: N-th eigenfunction cannot have more than N domains. He also gave an example of a eigenfunction high in the spectrum with a minimal number of nodal domains, thus excluding the existence of a non-trivial lower bound. An analogue of Sturm's result for discretizations of the interval was discussed by Gantmacher and Krein. The discretization of an interval is a graph of a simple form, a chain-graph. But what can be said about more complicated graphs? It has been known since the early 90s that the nodal count for a generic eigenfunction of the Schrodinger operator on quantum trees (where each edge is identified with an interval of the real line and some matching conditions are enforced on the vertices) is exact too: zeros of the N-th eigenfunction divide the tree into exactly N subtrees. We discuss two extensions of this result in two directions. One deals with the same continuous Schrodinger operator but on general graphs (i.e. non-trees) and another deals with discrete Schrodinger operator on combinatorial graphs (both trees and non-trees). The result that we derive applies to both types of graphs: the number of nodal domains of the N-th eigenfunction is bounded below by N-L, where L is the number of links that distinguish the graph from a tree (defined as the dimension of the cycle space or the rank of the fundamental group of the graph). We also show that if it the genericity condition is dropped, the nodal count can fall arbitrarily far below the number of the corresponding eigenfunction.
△ Less
Submitted 22 November, 2007; v1 submitted 12 November, 2006;
originally announced November 2006.
-
Non-exponential stability and decay rates in nonlinear stochastic difference equation with unbounded noises
Authors:
J. A. D. Appleby,
G. Berkolaiko,
A. Rodkina
Abstract:
We consider stochastic difference equation x_{n+1} = x_n (1 - h f(x_n) + \sqrt{h} g(x_n) ξ_{n+1}), where functions f and g are nonlinear and bounded, random variables ξ_i are independent and h>0 is a nonrandom parameter. We establish results on asymptotic stability and instability of the trivial solution x_n=0. We also show, that for some natural choices of the nonlinearities f and g, the rate o…
▽ More
We consider stochastic difference equation x_{n+1} = x_n (1 - h f(x_n) + \sqrt{h} g(x_n) ξ_{n+1}), where functions f and g are nonlinear and bounded, random variables ξ_i are independent and h>0 is a nonrandom parameter. We establish results on asymptotic stability and instability of the trivial solution x_n=0. We also show, that for some natural choices of the nonlinearities f and g, the rate of decay of x_n is approximately polynomial: we find α>0 such that x_n decay faster than n^{-α+ε} but slower than n^{-α-ε} for any ε>0. It also turns out that if g(x) decays faster than f(x) as x->0, the polynomial rate of decay can be established exactly, x_n n^α-> const. On the other hand, if the coefficient by the noise does not decay fast enough, the approximate decay rate is the best possible result.
△ Less
Submitted 24 April, 2007; v1 submitted 12 October, 2006;
originally announced October 2006.
-
Almost Sure Convergence of Solutions to Non-Homogeneous Stochastic Difference Equation
Authors:
Gregory Berkolaiko,
Alexandra Rodkina
Abstract:
We consider a non-homogeneous nonlinear stochastic difference equation
X_{n+1} = X_n (1 + f(X_n)ξ_{n+1}) + S_n, and its important special case
X_{n+1} = X_n (1 + ξ_{n+1}) + S_n, both with initial value X_0, non-random decaying free coefficient S_n and independent random variables ξ_n. We establish results on \as convergence of solutions X_n to zero. The necessary conditions we find tie toget…
▽ More
We consider a non-homogeneous nonlinear stochastic difference equation
X_{n+1} = X_n (1 + f(X_n)ξ_{n+1}) + S_n, and its important special case
X_{n+1} = X_n (1 + ξ_{n+1}) + S_n, both with initial value X_0, non-random decaying free coefficient S_n and independent random variables ξ_n. We establish results on \as convergence of solutions X_n to zero. The necessary conditions we find tie together certain moments of the noise ξ_n and the rate of decay of S_n. To ascertain sharpness of our conditions we discuss some situations when X_n diverges. We also establish a result concerning the rate of decay of X_n to zero.
△ Less
Submitted 11 April, 2006; v1 submitted 19 August, 2005;
originally announced August 2005.
-
Multiplicity of periodic solutions in bistable equations
Authors:
Gregory Berkolaiko,
Michael Grinfeld
Abstract:
We study the number of periodic solutions in two first order non-autonomous differential equations both of which have been used to describe, among other things, the mean magnetization of an Ising magnet in the time-varying external magnetic field. When the strength of the external field is varied, the set of periodic solutions undergoes a bifurcation in both equations. We prove that despite prof…
▽ More
We study the number of periodic solutions in two first order non-autonomous differential equations both of which have been used to describe, among other things, the mean magnetization of an Ising magnet in the time-varying external magnetic field. When the strength of the external field is varied, the set of periodic solutions undergoes a bifurcation in both equations. We prove that despite profound similarities between the equations, the character of the bifurcation can be very different. This results in a different number of coexisting stable periodic solutions in the vicinity of the bifurcation. As a consequence, in one of the models, the Suzuki-Kubo equation, one can effect a discontinuous change in magnetization by adiabatically varying the strength of the magnetic field.
△ Less
Submitted 13 January, 2004; v1 submitted 30 October, 2003;
originally announced October 2003.
