Showing 1–50 of 72 results for author: Weinstein, M

Instability of quadratic band degeneracies and the emergence of Dirac points

Authors: Jonah Chaban, Michael I. Weinstein

Abstract: Consider the Schrödinger operator $H = -Δ+ V$, where the potential $V$ is $\mathbb{Z}^2$-periodic and invariant under spatial inversion, complex conjugation, and $π/2$ rotation. We show that, under typical small linear deformations of $V$, the quadratic band degeneracy points occurring over the high-symmetry quasimomentum $\boldsymbol{M}$ (see [24, 25]) each split into two separated degeneracies o… ▽ More Consider the Schrödinger operator $H = -Δ+ V$, where the potential $V$ is $\mathbb{Z}^2$-periodic and invariant under spatial inversion, complex conjugation, and $π/2$ rotation. We show that, under typical small linear deformations of $V$, the quadratic band degeneracy points occurring over the high-symmetry quasimomentum $\boldsymbol{M}$ (see [24, 25]) each split into two separated degeneracies over perturbed quasimomenta $\boldsymbol{D}^+$ and $\boldsymbol{D}^-$, and that these degeneracies are Dirac points. The local character of the degenerate dispersion surfaces about the emergent Dirac points are tilted, elliptical cones. Correspondingly, the dynamics of wavepackets spectrally localized near either $\boldsymbol{D}^+$ or $\boldsymbol{D}^-$ are governed by a system of Dirac equations with an advection term. Generalizations are discussed. △ Less

Submitted 18 April, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: 61 pages, 11 figures, 1 table

Stability of traveling waves in a nonlinear hyperbolic system approximating a dimer array of oscillators

Authors: Huaiyu Li, Andrew Hofstrand, Michael I. Weinstein

Abstract: We study a semilinear hyperbolic system of PDEs which arises as a continuum approximation of the discrete nonlinear dimer array model introduced by Hadad, Vitelli and Alu (HVA) in \cite{HVA17}. We classify the system's traveling waves, and study their stability properties. We focus on traveling pulse solutions (``solitons'') on a nontrivial background and moving domain wall solutions (kinks); both… ▽ More We study a semilinear hyperbolic system of PDEs which arises as a continuum approximation of the discrete nonlinear dimer array model introduced by Hadad, Vitelli and Alu (HVA) in \cite{HVA17}. We classify the system's traveling waves, and study their stability properties. We focus on traveling pulse solutions (``solitons'') on a nontrivial background and moving domain wall solutions (kinks); both arise as heteroclinic connections between spatially uniform equilibrium of a reduced dynamical system. We present analytical results on: nonlinear stability and spectral stability of supersonic pulses, and spectral stability of moving domain walls. Our stability results are in terms of weighted $H^1$ norms of the perturbation, which capture the phenomenon of {\it convective stabilization}; as time advances, the traveling wave ``outruns'' the \underline{growing} disturbance excited by an initial perturbation; the non-trivial spatially uniform equilibria are linearly exponentially unstable. We use our analytical results to interpret phenomena observed in numerical simulations. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 48 pages, 13 figures

$O(k)$-Equivariant Dimensionality Reduction on Stiefel Manifolds

Authors: Andrew Lee, Harlin Lee, Jose A. Perea, Nikolas Schonsheck, Madeleine Weinstein

Abstract: Many real-world datasets live on high-dimensional Stiefel and Grassmannian manifolds, $V_k(\mathbb{R}^N)$ and $Gr(k, \mathbb{R}^N)$ respectively, and benefit from projection onto lower-dimensional Stiefel (respectively, Grassmannian) manifolds. In this work, we propose an algorithm called Principal Stiefel Coordinates (PSC) to reduce data dimensionality from $ V_k(\mathbb{R}^N)$ to… ▽ More Many real-world datasets live on high-dimensional Stiefel and Grassmannian manifolds, $V_k(\mathbb{R}^N)$ and $Gr(k, \mathbb{R}^N)$ respectively, and benefit from projection onto lower-dimensional Stiefel (respectively, Grassmannian) manifolds. In this work, we propose an algorithm called Principal Stiefel Coordinates (PSC) to reduce data dimensionality from $ V_k(\mathbb{R}^N)$ to $V_k(\mathbb{R}^n)$ in an $O(k)$-equivariant manner ($k \leq n \ll N$). We begin by observing that each element $α\in V_n(\mathbb{R}^N)$ defines an isometric embedding of $V_k(\mathbb{R}^n)$ into $V_k(\mathbb{R}^N)$. Next, we optimize for such an embedding map that minimizes data fit error by warm-starting with the output of principal component analysis (PCA) and applying gradient descent. Then, we define a continuous and $O(k)$-equivariant map $π_α$ that acts as a ``closest point operator'' to project the data onto the image of $V_k(\mathbb{R}^n)$ in $V_k(\mathbb{R}^N)$ under the embedding determined by $α$, while minimizing distortion. Because this dimensionality reduction is $O(k)$-equivariant, these results extend to Grassmannian manifolds as well. Lastly, we show that the PCA output globally minimizes projection error in a noiseless setting, but that our algorithm achieves a meaningfully different and improved outcome when the data does not lie exactly on the image of a linearly embedded lower-dimensional Stiefel manifold as above. Multiple numerical experiments using synthetic and real-world data are performed. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 26 pages, 8 figures, comments welcome!

MSC Class: 55-08; 68W99; 53Z50

Dispersive decay estimates for Dirac equations with a domain wall

Authors: Joseph Kraisler, Amir Sagiv, Michael I. Weinstein

Abstract: Dispersive time-decay estimates are proved for a one-parameter family of one-dimensional Dirac Hamiltonians with dislocations; these are operators which interpolate between two phase-shifted massive Dirac Hamiltonians at $x=+\infty$ and $x=-\infty$. This family of Hamiltonians arises in the theory of topologically protected states of one-dimensional quantum materials. For certain values of the pha… ▽ More Dispersive time-decay estimates are proved for a one-parameter family of one-dimensional Dirac Hamiltonians with dislocations; these are operators which interpolate between two phase-shifted massive Dirac Hamiltonians at $x=+\infty$ and $x=-\infty$. This family of Hamiltonians arises in the theory of topologically protected states of one-dimensional quantum materials. For certain values of the phase-shift parameter, $τ$, the Dirac Hamiltonian has a {\it threshold resonance} at the endpoint of its essential spectrum. Such resonances are known to influence the local energy time-decay rate. Our main result explicitly displays the transition in time-decay rate as $τ$ is varied between the resonant and non-resonant values. Our results appear to be the first dispersive time-decay estimates for Dirac Hamiltonians which are not a relatively compact perturbation of a free Dirac operator. △ Less

Submitted 19 December, 2023; v1 submitted 12 July, 2023; originally announced July 2023.

Thermal relaxation toward equilibrium and periodically pulsating spherical bubbles in an incompressible liquid

Authors: Chen-Chih Lai, Michael I. Weinstein

Abstract: We study the radial relaxation dynamics toward equilibrium and time-periodic pulsating spherically symmetric gas bubbles in an incompressible liquid due to thermal effects. The asymptotic model ([A. Prosperetti, J. Fluid Mech., 1991] and [Z. Biro and J. J. L. Velazquez, SIAM J. Math. Anal., 2000]) is one where the pressure within the gas bubble is spatially uniform and satisfies an ideal gas law,… ▽ More We study the radial relaxation dynamics toward equilibrium and time-periodic pulsating spherically symmetric gas bubbles in an incompressible liquid due to thermal effects. The asymptotic model ([A. Prosperetti, J. Fluid Mech., 1991] and [Z. Biro and J. J. L. Velazquez, SIAM J. Math. Anal., 2000]) is one where the pressure within the gas bubble is spatially uniform and satisfies an ideal gas law, relating the pressure, density and temperature of the gas. The temperature of the surrounding liquid is taken to be constant and the behavior of the liquid pressure at infinity is prescribed to be constant or periodic in time. In arXiv:2207.04079, for the case where the liquid pressure at infinity is a positive constant, we proved the existence of a one-parameter manifold of spherical equilibria, parameterized by the bubble mass, and further proved that it is a nonlinearly and exponentially asymptotically stable center manifold. In the present article, we first refine the exponential time-decay estimates, via a study of the linearized dynamics subject to the constraint of fixed mass. We obtain, in particular, estimates for the exponential decay rate constant, which highlight the interplay between the effects of thermal diffusivity and the liquid viscosity. We then study the nonlinear radial dynamics of the bubble-fluid system subject to a pressure field at infinity which is a small-amplitude and time-periodic perturbation about a positive constant. We prove that nonlinearly and exponentially asymptotically stable time-periodically pulsating solutions of the nonlinear (asymptotic) model exist for all sufficiently small forcing amplitudes. The existence of such states is formulated as a fixed point problem for the Poincaré return map, and the existence of a fixed point makes use of our (constant mass constrained) exponential time-decay estimates of the linearized problem. △ Less

Submitted 14 May, 2023; v1 submitted 5 May, 2023; originally announced May 2023.

Comments: removed showkeys, corrected reference format

Discontinuous Galerkin methods for a first-order semi-linear hyperbolic continuum model of a topological resonator dimer array

Authors: Qiang Du, Huaiyu Li, Michael Weinstein, Lu Zhang

Abstract: We present discontinuous Galerkin (DG) methods for solving a first-order semi-linear hyperbolic system, which was originally proposed as a continuum model for a one-dimensional dimer lattice of topological resonators. We examine the energy-conserving or energy-dissipating property in relation to the choices of simple, mesh-independent numerical fluxes. We demonstrate that, with certain numerical f… ▽ More We present discontinuous Galerkin (DG) methods for solving a first-order semi-linear hyperbolic system, which was originally proposed as a continuum model for a one-dimensional dimer lattice of topological resonators. We examine the energy-conserving or energy-dissipating property in relation to the choices of simple, mesh-independent numerical fluxes. We demonstrate that, with certain numerical flux choices, our DG method achieves optimal convergence in the $L^2$ norm. We provide numerical experiments that validate and illustrate the effectiveness of our proposed numerical methods. △ Less

Submitted 21 May, 2023; v1 submitted 28 April, 2023; originally announced May 2023.

MSC Class: 65M12; 65M60; 35L40; 35C07; 78A40

Near invariance of quasi-energy spectrum of Floquet Hamiltonians

Authors: Amir Sagiv, Michael I. Weinstein

Abstract: The spectral analysis of the unitary monodromy operator, associated with a time-periodically (paramatrically) forced Schrodinger equation, is a question of longstanding interest. Here, we consider this question for Hamiltonians of the form $$H^{\varepsilon}(t)=H^0 + \varepsilon^a W(\varepsilon^a t, -i\nabla)\, ,$$ where $H^0$ is an unperturbed autonomous Hamiltonian, $a\geq 1$, and $W(T,\cdot)$… ▽ More The spectral analysis of the unitary monodromy operator, associated with a time-periodically (paramatrically) forced Schrodinger equation, is a question of longstanding interest. Here, we consider this question for Hamiltonians of the form $$H^{\varepsilon}(t)=H^0 + \varepsilon^a W(\varepsilon^a t, -i\nabla)\, ,$$ where $H^0$ is an unperturbed autonomous Hamiltonian, $a\geq 1$, and $W(T,\cdot)$ has a period of $T_{\rm per} >0$. In particular, in the small $\varepsilon>0$ regime, we seek a comparison between the spectral properties of the monodromy operator, the one-period flow map associated with the $H^\varepsilon(t)$ dynamics, and that of the autonomous (unforced) flow, $\exp[-iH^0 T_{\rm per} \varepsilon ^{-a}]$. We consider $H^0$ which is spatially periodic on $\mathbb{R} ^n$ with respect to a lattice. Using the decomposition of $H^0$ and $H^\varepsilon(t)$ into their actions on spaces (Floquet-Bloch fibers) of pseudo-periodic functions, we establish a near spectral-invariance property for the monodromy operator, when acting data which are $\varepsilon$-localized in energy and quasi-momentum. Our analysis requires the following steps: (i) spectrally-localized data are approximated by {\it band-limited (Floquet-Bloch) wavepackets}; (ii) the envelope dynamics of such wavepackets is well approximated by an effective (homogenized) PDE, and (iii) an exact invariance property for band-limited Floquet-Bloch wavepackets, which follows from the effective dynamics. We apply our general results to a number of periodic Hamiltonians, $H^0$, of interest in the study of photonic and quantum materials. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Free boundary problem for a gas bubble in a liquid, and exponential stability of the manifold of spherically symmetric equilibria

Authors: Chen-Chih Lai, Michael I. Weinstein

Abstract: We consider the dynamics of a gas bubble immersed in an incompressible fluid of fixed temperature, and focus on the relaxation of an expanding and contracting spherically symmetric bubble due to thermal effects. We study two models, both systems of PDEs with an evolving free boundary: the full mathematical model as well as an approximate model, arising for example in the study of sonoluminescence.… ▽ More We consider the dynamics of a gas bubble immersed in an incompressible fluid of fixed temperature, and focus on the relaxation of an expanding and contracting spherically symmetric bubble due to thermal effects. We study two models, both systems of PDEs with an evolving free boundary: the full mathematical model as well as an approximate model, arising for example in the study of sonoluminescence. For fixed physical parameters (surface tension of the gas-liquid interface, liquid viscosity, thermal conductivity of the gas, etc.), both models share a family of spherically symmetric equilibria, smoothly parametrized by the mass of the gas bubble. Our main result concerns the approximate model. We prove the nonlinear asymptotic stability of the manifold of equilibria with respect to small spherically symmetric perturbations. The rate of convergence is exponential in time. To prove this result we first prove a weak form of nonlinear asymptotic stability -- with no explicit rate of time-decay -- using the energy dissipation law, and then, via a center manifold analysis, bootstrap the weak time-decay to exponential time-decay. We also study the uniqueness of the family of spherically symmetric equilibria within each model. The family of spherically symmetric equilibria captures all regular spherically symmetric equilibria of the approximate system. However within the full model, this family is embedded in a larger family of spherically symmetric solutions. For the approximate system, we prove that all equilibrium bubbles are spherically symmetric, by an application of Alexandrov's theorem on closed surfaces of constant mean curvature. △ Less

Submitted 3 October, 2023; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: Regularity assumption is needed in part (2) of Proposition 4.3. In other words, the family of spherically symmetric equilibria captures all "regular" spherically symmetric equilibria of the approximate system

Journal ref: Arch. Ration. Mech. Anal. 247 (2023), no. 5, 100

Critical Curvature of Algebraic Surfaces in Three-Space

Authors: Paul Breiding, Kristian Ranestad, Madeleine Weinstein

Abstract: We study the curvature of a smooth algebraic surface $X\subset \mathbb R^3$ of degree $d$ from the point of view of algebraic geometry. More precisely, we consider umbilical points and points of critical curvature. We prove that the number of complex critical curvature points is of order $d^3$. For general quadrics, we fully characterize the number of real and complex umbilics and critical curvatu… ▽ More We study the curvature of a smooth algebraic surface $X\subset \mathbb R^3$ of degree $d$ from the point of view of algebraic geometry. More precisely, we consider umbilical points and points of critical curvature. We prove that the number of complex critical curvature points is of order $d^3$. For general quadrics, we fully characterize the number of real and complex umbilics and critical curvature points. △ Less

Submitted 30 October, 2023; v1 submitted 18 June, 2022; originally announced June 2022.

Discrete honeycombs, rational edges and edge states

Authors: C. L. Fefferman, S. Fliss, M. I. Weinstein

Abstract: Consider the tight binding model of graphene, sharply terminated along an edge ${\bf l}$ parallel to a direction of translational symmetry of the underlying period lattice. We classify such edges ${\bf l}$ into those of "zigzag type" and those of "armchair type", generalizing the classical zigzag and armchair edges. We prove that zero energy/flat band edge states arise for edges of zigzag type, bu… ▽ More Consider the tight binding model of graphene, sharply terminated along an edge ${\bf l}$ parallel to a direction of translational symmetry of the underlying period lattice. We classify such edges ${\bf l}$ into those of "zigzag type" and those of "armchair type", generalizing the classical zigzag and armchair edges. We prove that zero energy/flat band edge states arise for edges of zigzag type, but never for those of armchair type. We exhibit explicit formulas for flat band edge states when they exist. We produce strong evidence for the existence of dispersive (non flat) edge state curves of nonzero energy for most ${\bf l}$. △ Less

Submitted 31 October, 2022; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: 64 pages, to appear in Communications on Pure and Applied Mathematics

Radiative decay of edge states in Floquet media

Authors: Sameh N. Hameedi, Amir Sagiv, Michael I. Weinstein

Abstract: We consider the effect of time-periodic forcing on a one-dimensional Schr{ö}dinger equation with a topologically protected defect (edge) mode. The unforced system models a domain-wall or dislocation defect in a periodic structure, and it supports a defect mode which bifurcates from the Dirac point (linear band crossing) of the underlying bulk medium. We study the robustness of this state against t… ▽ More We consider the effect of time-periodic forcing on a one-dimensional Schr{ö}dinger equation with a topologically protected defect (edge) mode. The unforced system models a domain-wall or dislocation defect in a periodic structure, and it supports a defect mode which bifurcates from the Dirac point (linear band crossing) of the underlying bulk medium. We study the robustness of this state against time-periodic forcing of the type that arises in the study of Floquet Topological Insulators in condensed matter, photonics, and cold-atoms systems. Our numerical simulations demonstrate that under time-periodic forcing of sufficiently high frequency, the defect state undergoes radiative leakage of its energy away from the interface into the bulk; the time-decay is exponential on a time-scale proportional to the inverse square of the forcing amplitude. The envelope dynamics of our Floquet system are approximately governed, on long time scales, by an effective (homogenized) periodically-forced Dirac equation. Multiple scale analysis of the effective envelope dynamics yields an expansion of the radiating solution, which shows excellent agreement with our numerical simulations. △ Less

Submitted 4 March, 2023; v1 submitted 26 January, 2022; originally announced January 2022.

Binary trees using the bookshelf and baseball constructions

Authors: Ruiyang Hu, Liang **long, Bradley Kaplan, Zhaonan Li, Serra Pelin, Michael Richard, Yicheng Tao, Max Weinstein, Kiyoshi Igusa

Abstract: This is a largely expository paper in which we discuss various sets having a Catalan number of objects and some well-known bijections between these sets presented in a new and hopefully interesting way. We call these concepts "bookshelf" and "baseball" constructions. No knowledge of these topics is assumed. These are the final student papers for a course at Brandeis University. This is a largely expository paper in which we discuss various sets having a Catalan number of objects and some well-known bijections between these sets presented in a new and hopefully interesting way. We call these concepts "bookshelf" and "baseball" constructions. No knowledge of these topics is assumed. These are the final student papers for a course at Brandeis University. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 49 pages (several blank), 12 figures

MSC Class: 05C05: 16G20

Is the continuum SSH model topological?

Authors: Jacob Shapiro, Michael I. Weinstein

Abstract: The discrete Hamiltonian of Su, Schrieffer and Heeger (SSH) is a well-known one-dimensional translation-invariant model in condensed matter physics. The model consists of two atoms per unit cell and describes in-cell and out-of-cell electron-hop** between two sub-lattices. It is among the simplest models exhibiting a non-trivial topological phase; to the SSH Hamiltonian one can associate a windi… ▽ More The discrete Hamiltonian of Su, Schrieffer and Heeger (SSH) is a well-known one-dimensional translation-invariant model in condensed matter physics. The model consists of two atoms per unit cell and describes in-cell and out-of-cell electron-hop** between two sub-lattices. It is among the simplest models exhibiting a non-trivial topological phase; to the SSH Hamiltonian one can associate a winding number, the Zak phase, which depends on the ratio of hop** coefficients and takes on the values $0$ and $1$ labeling the two distinct phases. We display two homotopically equivalent continuum Hamiltonians whose tight binding limits are SSH models with different topological indices. The topological character of the SSH model is therefore an emergent rather than fundamental property, associated with emergent chiral or sublattice symmetry in the tight-binding limit. In order to establish that the tight-binding limit of these continuum Hamiltonians is the SSH model, we extend our recent results on the tight-binding approximation to lattices which depend on the tight-binding asymptotic parameter. △ Less

Submitted 7 October, 2022; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 13 pages, 5 figures

Effective gaps in continuous Floquet Hamiltonians

Authors: Amir Sagiv, Michael I. Weinstein

Abstract: We consider two-dimensional Schroedinger equations with honeycomb potentials and slow time-periodic forcing of the form: $$iψ_t (t,x) = H^\varepsilon(t)ψ=\left(H^0+2i\varepsilon A (\varepsilon t) \cdot \nabla \right)ψ,\quad H^0=-Δ+V (x) .$$ The unforced Hamiltonian, $H^0$, is known to generically have Dirac (conical) points in its band spectrum. The evolution under $H^\varepsilon(t)$ of {\it band… ▽ More We consider two-dimensional Schroedinger equations with honeycomb potentials and slow time-periodic forcing of the form: $$iψ_t (t,x) = H^\varepsilon(t)ψ=\left(H^0+2i\varepsilon A (\varepsilon t) \cdot \nabla \right)ψ,\quad H^0=-Δ+V (x) .$$ The unforced Hamiltonian, $H^0$, is known to generically have Dirac (conical) points in its band spectrum. The evolution under $H^\varepsilon(t)$ of {\it band limited Dirac wave-packets} (spectrally localized near the Dirac point) is well-approximated on large time scales ($t\lesssim \varepsilon^{-2+}$) by an effective time-periodic Dirac equation with a gap in its quasi-energy spectrum. This quasi-energy gap is typical of many reduced models of time-periodic (Floquet) materials and plays a role in conclusions drawn about the full system: conduction vs. insulation, topological vs. non-topological bands. Much is unknown about nature of the quasi-energy spectrum of original time-periodic Schroedinger equation, and it is believed that no such quasi-energy gap occurs. In this paper, we explain how to transfer quasi-energy gap information about the effective Dirac dynamics to conclusions about the full Schroedinger dynamics. We introduce the notion of an {\it effective quasi-energy gap}, and establish its existence in the Schroedinger model. In the current setting, an effective quasi-energy gap is an interval of quasi-energies which does not support modes with large spectral projection onto band-limited Dirac wave-packets. The notion of effective quasi-energy gap is a physically relevant relaxation of the strict notion of quasi-energy spectral gap; if a system is tuned to drive or measure at momenta and energies near the Dirac point of $H^0$, then the resulting modes in the effective quasi-energy gap will only be weakly excited and detected. △ Less

Submitted 1 November, 2021; v1 submitted 3 May, 2021; originally announced May 2021.

High contrast elliptic operators in honeycomb structures

Authors: Maxence Cassier, Michael I. Weinstein

Abstract: We study the band structure of self-adjoint elliptic operators $\mathbb{A}_g= -\nabla \cdot σ_{g} \nabla$, where $σ_g$ has the symmetries of a honeycomb tiling of $\mathbb{R}^2$. We focus on the case where $σ_{g}$ is a real-valued scalar: $σ_{g}=1$ within identical, disjoint "inclusions", centered at vertices of a honeycomb lattice, and $σ_{g}=g \gg1 $ (high contrast) in the complement of the incl… ▽ More We study the band structure of self-adjoint elliptic operators $\mathbb{A}_g= -\nabla \cdot σ_{g} \nabla$, where $σ_g$ has the symmetries of a honeycomb tiling of $\mathbb{R}^2$. We focus on the case where $σ_{g}$ is a real-valued scalar: $σ_{g}=1$ within identical, disjoint "inclusions", centered at vertices of a honeycomb lattice, and $σ_{g}=g \gg1 $ (high contrast) in the complement of the inclusion set (bulk). Such operators govern, e.g. transverse electric (TE) modes in photonic crystal media consisting of high dielectric constant inclusions (semi-conductor pillars) within a homogeneous lower contrast bulk (air), a configuration used in many physical studies. Our approach, which is based on monotonicity properties of the associated energy form, extends to a class of high contrast elliptic operators that model heterogeneous and anisotropic honeycomb media. Our results concern the global behavior of dispersion surfaces, and the existence of conical crossings (Dirac points) occurring in the lowest two energy bands as well as in bands arbitrarily high in the spectrum. Dirac points are the source of important phenomena in fundamental and applied physics, e.g. graphene and its artificial analogues, and topological insulators. The key hypotheses are the non-vanishing of the Dirac (Fermi) velocity $v_D(g)$, verified numerically, and a spectral isolation condition, verified analytically in many configurations. Asymptotic expansions, to any order in $g^{-1}$, of Dirac point eigenpairs and $v_D(g)$ are derived with error bounds. Our study illuminates differences between the high contrast behavior of $\mathbb{A}_g$ and the corresponding strong binding regime for Schroedinger operators. △ Less

Submitted 24 November, 2021; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: 63 pages, 13 figures

MSC Class: 34Q60; 35Q40; 35P99

On the structure of a poly-$\mathbb{Z}$ group

Authors: Madeline Weinstein

Abstract: In this paper we study a certain class of polycyclic groups. We outline a method for constructing a poly-$\mathbb{Z}$ group $G_n$ by describing a process for selecting maps that are used to extend $G_i$ to $G_{i+1}$ for $1 \leq i \leq n-1$ and describe the multiplicative structure and automorphism groups of some poly-$\mathbb{Z}$ groups up to $G_3$. In this paper we study a certain class of polycyclic groups. We outline a method for constructing a poly-$\mathbb{Z}$ group $G_n$ by describing a process for selecting maps that are used to extend $G_i$ to $G_{i+1}$ for $1 \leq i \leq n-1$ and describe the multiplicative structure and automorphism groups of some poly-$\mathbb{Z}$ groups up to $G_3$. △ Less

Submitted 14 January, 2021; v1 submitted 18 December, 2020; originally announced December 2020.

MSC Class: 20F28

Tight-Binding Reduction and Topological Equivalence in Strong Magnetic Fields

Authors: Jacob Shapiro, Michael I. Weinstein

Abstract: Topological insulators (TIs) are a class of materials which are insulating in their bulk form yet, upon introduction of an a boundary or edge, e.g. by abruptly terminating the material, may exhibit spontaneous current along their boundary. This property is quantified by topological indices associated with either the bulk or the edge system. In the field of condensed matter physics, tight binding (… ▽ More Topological insulators (TIs) are a class of materials which are insulating in their bulk form yet, upon introduction of an a boundary or edge, e.g. by abruptly terminating the material, may exhibit spontaneous current along their boundary. This property is quantified by topological indices associated with either the bulk or the edge system. In the field of condensed matter physics, tight binding (discrete) approximate models, parametrized by hop** coefficients, have been used successfully to capture the topological behavior of TIs in many settings. However, whether such tight binding models capture the same topological features as the underlying continuum models of quantum physics has been an open question. We resolve this question in the context of the archetypal example of topological behavior in materials, the integer quantum Hall effect. We study a class of continuum Hamiltonians, $H^λ$, which govern electron motion in a two-dimensional crystal under the influence of a perpendicular magnetic field. No assumption is made on translation invariance of the crystal. We prove, in the regime where both the magnetic field strength and depth of the crystal potential are sufficiently large, $λ\gg1$, that the low-lying energy spectrum and eigenstates (and corresponding large time dynamics) of $H^λ$ are well-described by a scale-free discrete Hamiltonian, $H^{\rm TB}$; we show norm resolvent convergence. The relevant topological index is the Hall conductivity, which is expressible as a Fredholm index. We prove that for large $λ$ the topological indices of $H^λ$ and $H^{\rm TB}$ agree. This is proved separately for bulk and edge geometries. Our results justify the principle of using discrete models in the study of topological matter. △ Less

Submitted 27 January, 2022; v1 submitted 22 October, 2020; originally announced October 2020.

Comments: 63 pages, 3 figures

Real Symmetric Matrices with Partitioned Eigenvalues

Authors: Madeleine Weinstein

Abstract: We study the real algebraic variety of real symmetric matrices with eigenvalue multiplicities determined by a partition. We present formulas for the dimension and Euclidean distance degree. We give a parametrization by rational functions. For small matrices, we provide equations; for larger matrices, we explain how to use representation theory to find equations. We describe the ring of invariants… ▽ More We study the real algebraic variety of real symmetric matrices with eigenvalue multiplicities determined by a partition. We present formulas for the dimension and Euclidean distance degree. We give a parametrization by rational functions. For small matrices, we provide equations; for larger matrices, we explain how to use representation theory to find equations. We describe the ring of invariants under the action of the orthogonal group. For the subvariety of diagonal matrices, we give the degree. △ Less

Submitted 11 October, 2021; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: 9 pages

Lower Bound on Quantum Tunneling for Strong Magnetic Fields

Authors: Charles L. Fefferman, Jacob Shapiro, Michael I. Weinstein

Abstract: We consider a particle bound to a two-dimensional plane and a double well potential, subject to a perpendicular uniform magnetic field . The energy difference between the lowest two eigenvalues--the eigenvalue splitting--is related to the tunneling probability between the two wells. We obtain upper and lower bounds on this splitting in the regime where both the magnetic field strength and the dept… ▽ More We consider a particle bound to a two-dimensional plane and a double well potential, subject to a perpendicular uniform magnetic field . The energy difference between the lowest two eigenvalues--the eigenvalue splitting--is related to the tunneling probability between the two wells. We obtain upper and lower bounds on this splitting in the regime where both the magnetic field strength and the depth of the wells are large. The main step is a lower bound on the hop** probability between the wells, a key parameter in tight binding models of solid state physics. △ Less

Submitted 24 January, 2022; v1 submitted 14 June, 2020; originally announced June 2020.

Comments: 23 pages

Edge states and the Valley Hall Effect

Authors: A. Drouot, M. I. Weinstein

Abstract: We study energy propagation along line-defects (edges) in 2D continuous, energy preserving periodic media. The unperturbed medium (bulk) is modeled by a honeycomb Schroedinger operator, which is periodic with respect to the triangular lattice, invariant under parity, P, and complex-conjugation, C. A honeycomb operator has Dirac points: two dispersion surfaces touch conically at an energy level,… ▽ More We study energy propagation along line-defects (edges) in 2D continuous, energy preserving periodic media. The unperturbed medium (bulk) is modeled by a honeycomb Schroedinger operator, which is periodic with respect to the triangular lattice, invariant under parity, P, and complex-conjugation, C. A honeycomb operator has Dirac points: two dispersion surfaces touch conically at an energy level, $E_D$ [25,27]. Periodic perturbations which break P or C open a gap in the essential spectrum about energy $E_D$. Such operators model an insulator near energy $E_D$. Our edge operator is a small perturbation of the bulk and models a transition (via a domain wall) between distinct periodic, P or C breaking perturbations. The edge operator permits energy transport along the line-defect. The associated energy channels are called edge states. They are time-harmonic solutions which are localized near and propagating along the line-defect. We completely characterize the edge state spectrum within the bulk spectral gap about $E_D$. At the center of our analysis is an expansion of the edge operator resolvent for energies near $E_D$. The leading term features the resolvent of an effective Dirac operator. Edge state eigenvalues are poles of the resolvent, which bifurcate from the Dirac point. The corresponding eigenstates have the multiscale structure identified in [23]. We extend earlier work on zigzag-type edges [14] to all rational edges. We elucidate the role in edge state formation played by the type of symmetry-breaking and the orientation of the edge. We prove the resolvent expansion by a new direct and transparent strategy. Our results provide a rigorous explanation of the numerical observations [22,38}; see also the photonic experimental study in [42]. Finally, we discuss implications for the Valley Hall Effect, which concerns quantum Hall-like energy transport in honeycomb structures. △ Less

Submitted 8 October, 2019; originally announced October 2019.

Comments: 43 pages, 6 figures

96120: The degree of the linear orbit of a cubic surface

Authors: Laura Brustenga i Moncusí, Sascha Timme, Madeleine Weinstein

Abstract: The projective linear group \(\pgl(\comp,4)\) acts on cubic surfaces, considered as points of $\mathbb{P}_{\mathbb{C}}^{19}$. We compute the degree of the $15$-dimensional projective variety given by the Zariski closure of the orbit of a general cubic surface. The result, 96120, is obtained using methods from numerical algebraic geometry. The projective linear group \(\pgl(\comp,4)\) acts on cubic surfaces, considered as points of $\mathbb{P}_{\mathbb{C}}^{19}$. We compute the degree of the $15$-dimensional projective variety given by the Zariski closure of the orbit of a general cubic surface. The result, 96120, is obtained using methods from numerical algebraic geometry. △ Less

Submitted 21 October, 2019; v1 submitted 14 September, 2019; originally announced September 2019.

Comments: 12 pages

MSC Class: 14Q10

Voronoi Cells in Metric Algebraic Geometry of Plane Curves

Authors: Madeline Brandt, Madeleine Weinstein

Abstract: Voronoi cells of varieties encode many features of their metric geometry. We prove that each Voronoi or Delaunay cell of a plane curve appears as the limit of a sequence of cells obtained from point samples of the curve. We use this result to study metric features of plane curves, including the medial axis, curvature, evolute, bottlenecks, and reach. In each case, we provide algebraic equations de… ▽ More Voronoi cells of varieties encode many features of their metric geometry. We prove that each Voronoi or Delaunay cell of a plane curve appears as the limit of a sequence of cells obtained from point samples of the curve. We use this result to study metric features of plane curves, including the medial axis, curvature, evolute, bottlenecks, and reach. In each case, we provide algebraic equations defining the object and, where possible, give formulas for the degrees of these algebraic varieties. We show how to identify the desired metric feature from Voronoi or Delaunay cells, and therefore how to approximate it by a finite point sample from the variety. △ Less

Submitted 18 August, 2023; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: 23 pages, 14 figures

The bottleneck degree of algebraic varieties

Authors: Sandra Di Rocco, David Eklund, Madeleine Weinstein

Abstract: A bottleneck of a smooth algebraic variety $X \subset \mathbb{C}^n$ is a pair of distinct points $(x,y) \in X$ such that the Euclidean normal spaces at $x$ and $y$ contain the line spanned by $x$ and $y$. The narrowness of bottlenecks is a fundamental complexity measure in the algebraic geometry of data. In this paper we study the number of bottlenecks of affine and projective varieties, which we… ▽ More A bottleneck of a smooth algebraic variety $X \subset \mathbb{C}^n$ is a pair of distinct points $(x,y) \in X$ such that the Euclidean normal spaces at $x$ and $y$ contain the line spanned by $x$ and $y$. The narrowness of bottlenecks is a fundamental complexity measure in the algebraic geometry of data. In this paper we study the number of bottlenecks of affine and projective varieties, which we call the bottleneck degree. The bottleneck degree is a measure of the complexity of computing all bottlenecks of an algebraic variety, using for example numerical homotopy methods. We show that the bottleneck degree is a function of classical invariants such as Chern classes and polar classes. We give the formula explicitly in low dimension and provide an algorithm to compute it in the general case. △ Less

Submitted 2 November, 2019; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: Major revision. New introduction. Added some new illustrative lemmas and figures. Added pseudocode for the algorithm to compute bottleneck degree. Fixed some typos

Voronoi Cells of Varieties

Authors: Diego Cifuentes, Kristian Ranestad, Bernd Sturmfels, Madeleine Weinstein

Abstract: Every real algebraic variety determines a Voronoi decomposition of its ambient Euclidean space. Each Voronoi cell is a convex semialgebraic set in the normal space of the variety at a point. We compute the algebraic boundaries of these Voronoi cells. Every real algebraic variety determines a Voronoi decomposition of its ambient Euclidean space. Each Voronoi cell is a convex semialgebraic set in the normal space of the variety at a point. We compute the algebraic boundaries of these Voronoi cells. △ Less

Submitted 20 November, 2018; originally announced November 2018.

Comments: 18 pages, 5 figures

Defect modes for dislocated periodic media

Authors: Alexis Drouot, Charles L. Fefferman, Michael I. Weinstein

Abstract: We study defect modes in a one-dimensional periodic medium with a dislocation. The model is a periodic Schrodinger operator on $\mathbb{R}$, perturbed by an adiabatic dislocation of amplitude $δ\ll 1$. If the periodic background admits a Dirac point $-$ a linear crossing of dispersion curves $-$ then the dislocated operator acquires a gap in its essential spectrum. For this model (and its 2-dimens… ▽ More We study defect modes in a one-dimensional periodic medium with a dislocation. The model is a periodic Schrodinger operator on $\mathbb{R}$, perturbed by an adiabatic dislocation of amplitude $δ\ll 1$. If the periodic background admits a Dirac point $-$ a linear crossing of dispersion curves $-$ then the dislocated operator acquires a gap in its essential spectrum. For this model (and its 2-dimensional honeycomb analog) Fefferman, Lee-Thorp and Weinstein constructed in previous work defect modes with energies within the gap. The bifurcation of defect modes is associated with the discrete eigenmodes of an effective Dirac operator. We improve upon this result: we show that all the defect modes of the dislocated operator arise from the eigenmodes of the Dirac operator. As a byproduct, we derive full expansions of the eigenpairs in powers of $δ$. The self-contained proof relies on (a) resolvent estimates for the bulk operators; (b) scattering theory for highly oscillatory potentials developed by the first author. This work significantly advances the understanding of the topological stability of certain defect states, particularly the bulk-edge correspondence for continuous dislocated systems. △ Less

Submitted 13 October, 2018; originally announced October 2018.

Comments: 48 pages, 4 figures

MSC Class: 35P15; 35P25; 35Q40; 35Q41

Continuum Schroedinger operators for sharply terminated graphene-like structures

Authors: C. L. Fefferman, M. I. Weinstein

Abstract: We study the single electron model of a semi-infinite graphene sheet interfaced with the vacuum and terminated along a zigzag edge. The model is a Schroedinger operator acting on $L^2(\mathbb{R}^2)$: $H^λ_{\rm edge}=-Δ+λ^2 V_\sharp$, with a potential $V_\sharp$ given by a sum of translates an atomic potential well, $V_0$, of depth $λ^2$, centered on a subset of the vertices of a discrete honeycomb… ▽ More We study the single electron model of a semi-infinite graphene sheet interfaced with the vacuum and terminated along a zigzag edge. The model is a Schroedinger operator acting on $L^2(\mathbb{R}^2)$: $H^λ_{\rm edge}=-Δ+λ^2 V_\sharp$, with a potential $V_\sharp$ given by a sum of translates an atomic potential well, $V_0$, of depth $λ^2$, centered on a subset of the vertices of a discrete honeycomb structure with a zigzag edge. We give a complete analysis of the low-lying energy spectrum of $H^λ_{\rm edge}$ in the strong binding regime ($λ$ large). In particular, we prove scaled resolvent convergence of $H^λ_{\rm edge}$ acting on $L^2(\mathbb{R}^2)$, to the (appropriately conjugated) resolvent of a limiting discrete tight-binding Hamiltonian acting in $l^2(\mathbb{N}_0;\mathbb{C}^2)$. We also prove the existence of {\it edge states}: solutions of the eigenvalue problem for $H^λ_{\rm edge}$ which are localized transverse to the edge and pseudo-periodic (propagating or plane-wave like) parallel to the edge. These edge states arise from a "flat-band" of eigenstates the tight-binding Hamiltonian. △ Less

Submitted 19 February, 2020; v1 submitted 8 October, 2018; originally announced October 2018.

Comments: Revised version -- 89 pages, 2 figures; new title and abstract, revised introduction. In addition to a construction of the nearly flat band of edge states, the article now includes a proof of scaled resolvent convergence in a neighborhood of the low-lying spectrum

Dirac operators and domain walls

Authors: Jianfeng Lu, Alexander B. Watson, Michael I. Weinstein

Abstract: We study the eigenvalue problem for a one-dimensional Dirac operator with a spatially varying ``mass'' term. It is well-known that when the mass function has the form of a kink, or \emph{domain wall}, transitioning between strictly positive and strictly negative asymptotic mass, $\pmκ_\infty$, at $\pm\infty$, the Dirac operator has a simple eigenvalue of zero energy (geometric multiplicity equal t… ▽ More We study the eigenvalue problem for a one-dimensional Dirac operator with a spatially varying ``mass'' term. It is well-known that when the mass function has the form of a kink, or \emph{domain wall}, transitioning between strictly positive and strictly negative asymptotic mass, $\pmκ_\infty$, at $\pm\infty$, the Dirac operator has a simple eigenvalue of zero energy (geometric multiplicity equal to one) within a gap in the continuous spectrum, with corresponding \emph{zero mode}, an exponentially localized eigenfunction. We prove that when the mass function has the form of \emph{two} domain walls separated by a sufficiently large distance $2 δ$, the Dirac operator has two real simple eigenvalues of opposite sign and of order $e^{- 2 |κ_\infty| δ}$. The associated eigenfunctions are, up to $L^2$ error of order $e^{- 2 |κ_\infty| δ}$, linear combinations of shifted copies of the single domain wall zero mode. For the case of three domain walls, there are two non-zero simple eigenvalues as above and a simple eigenvalue at energy zero. Our methods are based on a Lyapunov-Schmidt reduction strategy and we outline their natural extension to the case of $n$ domain walls for which the minimal distance between domain walls is sufficiently large. The class of Dirac operators we consider controls the bifurcation of topologically protected ``edge states'' from Dirac points (linear band crossings) for classes of Schrödinger operators with domain-wall modulated periodic potentials in one and two space dimensions. The present results may be used to construct a rich class of defect modes in periodic structures modulated by multiple domain walls. △ Less

Submitted 15 July, 2019; v1 submitted 3 August, 2018; originally announced August 2018.

Comments: 33 pages, 6 figures

Journal ref: SIAM J. Math. Anal. 52 2 (2020) 1115-1145

Offset Hypersurfaces and Persistent Homology of Algebraic Varieties

Authors: Emil Horobet, Madeleine Weinstein

Abstract: In this paper, we study the persistent homology of the offset filtration of algebraic varieties. We prove the algebraicity of two quantities central to the computation of persistent homology. Moreover, we connect persistent homology and algebraic optimization. Namely, we express the degree corresponding to the distance variable of the offset hypersurface in terms of the Euclidean Distance Degree o… ▽ More In this paper, we study the persistent homology of the offset filtration of algebraic varieties. We prove the algebraicity of two quantities central to the computation of persistent homology. Moreover, we connect persistent homology and algebraic optimization. Namely, we express the degree corresponding to the distance variable of the offset hypersurface in terms of the Euclidean Distance Degree of the starting variety, obtaining a new way to compute these degrees. Finally, we describe the non-properness locus of the offset construction and use this to describe the set of points that are topologically interesting (the medial axis and center points of the bounded components of the complement of the variety) and relevant to the computation of persistent homology. △ Less

Submitted 20 August, 2019; v1 submitted 20 March, 2018; originally announced March 2018.

MSC Class: 14P25; 68W30; 14H45; 14M12; 90C26; 41A65; 55R80

Learning Algebraic Varieties from Samples

Authors: Paul Breiding, Sara Kalisnik Verovsek, Bernd Sturmfels, Madeleine Weinstein

Abstract: We seek to determine a real algebraic variety from a fixed finite subset of points. Existing methods are studied and new methods are developed. Our focus lies on aspects of topology and algebraic geometry, such as dimension and defining polynomials. All algorithms are tested on a range of datasets and made available in a Julia package. We seek to determine a real algebraic variety from a fixed finite subset of points. Existing methods are studied and new methods are developed. Our focus lies on aspects of topology and algebraic geometry, such as dimension and defining polynomials. All algorithms are tested on a range of datasets and made available in a Julia package. △ Less

Submitted 16 August, 2018; v1 submitted 26 February, 2018; originally announced February 2018.

Journal ref: Revista Matemática Complutense (2018)

Spectral band degeneracies of $\fracπ{2}-$rotationally invariant periodic Schrödinger operators

Authors: Rachael T. Keller, Jeremy L. Marzuola, Braxton Osting, Michael I. Weinstein

Abstract: The dynamics of waves in periodic media is determined by the band structure of the underlying periodic Hamiltonian. Symmetries of the Hamiltonian can give rise to novel properties of the band structure. Here we consider a class of periodic Schrödinger operators, $H_V=-Δ+V$, where $V$ is periodic with respect to the lattice of translates $Λ=\mathbb{Z}^2$. The potential is also assumed to be real-va… ▽ More The dynamics of waves in periodic media is determined by the band structure of the underlying periodic Hamiltonian. Symmetries of the Hamiltonian can give rise to novel properties of the band structure. Here we consider a class of periodic Schrödinger operators, $H_V=-Δ+V$, where $V$ is periodic with respect to the lattice of translates $Λ=\mathbb{Z}^2$. The potential is also assumed to be real-valued, sufficiently regular and such that, with respect to some origin of coordinates, inversion symmetric (even) and invariant under $π/2$ rotation. The present results are the $\mathbb{Z}^2-$ analogue of results obtained for conical degenerate points (Dirac points) in honeycomb structures. Our proofs make use of the framework developed by Fefferman-Weinstein and Fefferman-Lee-Thorp-Weinstein. △ Less

Submitted 12 May, 2020; v1 submitted 19 February, 2018; originally announced February 2018.

Comments: 52 pages, 13 figures; This article was published in Multiscale Model. Simul., 16(4), 1684--1731 (2017). In this updated arXiv version we correct the statement and proof of Corollary 4.2. Clarifying edits were also made in the statements of Corollaries 5.4 and C.1

Elliptic operators with honeycomb symmetry: Dirac points, Edge States and Applications to Photonic Graphene

Authors: J. P. Lee-Thorp, M. I. Weinstein, Y. Zhu

Abstract: Consider electromagnetic waves in two-dimensional {\it honeycomb structured media}. The properties of transverse electric (TE) polarized waves are determined by the spectral properties of the elliptic operator $\LA=-\nabla_\bx\cdot A(\bx) \nabla_\bx$, where $A(\bx)$ is $Λ_h-$ periodic ($Λ_h$ denotes the equilateral triangular lattice), and such that with respect to some origin of coordinates,… ▽ More Consider electromagnetic waves in two-dimensional {\it honeycomb structured media}. The properties of transverse electric (TE) polarized waves are determined by the spectral properties of the elliptic operator $\LA=-\nabla_\bx\cdot A(\bx) \nabla_\bx$, where $A(\bx)$ is $Λ_h-$ periodic ($Λ_h$ denotes the equilateral triangular lattice), and such that with respect to some origin of coordinates, $A(\bx)$ is $\mathcal{P}\mathcal{C}-$ invariant ($A(\bx)=\overline{A(-\bx)}$) and $120^\circ$ rotationally invariant ($A(R^*\bx)=R^*A(\bx)R$, where $R$ is a $120^\circ$ rotation in the plane). We first obtain results on the existence, stability and instability of Dirac points, conical intersections between two adjacent Floquet-Bloch dispersion surfaces. We then show that the introduction through small and slow variations of a {\it domain wall} across a line-defect gives rise to the bifurcation from Dirac points of highly robust (topologically protected) {\it edge states}. These are time-harmonic solutions of Maxwell's equations which are propagating parallel to the line-defect and spatially localized transverse to it. The transverse localization and strong robustness to perturbation of these edge states is rooted in the protected zero mode of a one-dimensional effective Dirac operator with spatially varying mass term. These results imply the existence of {\it uni-directional} propagating edge states for two classes of time-reversal invariant media in which $\mathcal{C}$ symmetry is broken: magneto-optic media and bi-anisotropic media. Our analysis applies and extends the tools previously developed in the context of honeycomb Schrödinger operators. △ Less

Submitted 12 September, 2018; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 65 pages, 8 figures, To appear in Archive for Rational Mechanics and Analysis

Wavepackets in inhomogeneous periodic media: propagation through a one-dimensional band crossing

Authors: Alexander B. Watson, Michael I. Weinstein

Abstract: We consider a model of an electron in a crystal moving under the influence of an external electric field: Schroedinger's equation in one spatial dimension with a potential which is the sum of a periodic function $V$ and a smooth function $W$. We assume that the period of $V$ is much shorter than the scale of variation of $W$ and denote the ratio of these scales by $ε$. We consider the dynamics of… ▽ More We consider a model of an electron in a crystal moving under the influence of an external electric field: Schroedinger's equation in one spatial dimension with a potential which is the sum of a periodic function $V$ and a smooth function $W$. We assume that the period of $V$ is much shorter than the scale of variation of $W$ and denote the ratio of these scales by $ε$. We consider the dynamics of $\textit{semiclassical wavepacket}$ asymptotic (in the limit $ε\downarrow 0$) solutions which are spectrally localized near to a $\textit{crossing}$ of two Bloch band dispersion functions of the periodic operator $- \frac{1}{2} \partial_z^2 + V(z)$. We show that the dynamics is qualitatively different from the case where bands are well-separated: at the time the wavepacket is incident on the band crossing, a second wavepacket is `excited' which has $\textit{opposite}$ group velocity to the incident wavepacket. We then show that our result is consistent with the solution of a `Landau-Zener'-type model. △ Less

Submitted 1 June, 2018; v1 submitted 16 September, 2017; originally announced September 2017.

Comments: To appear in Communications in Mathematical Physics; 42 pages, 5 figures

Journal ref: Commun. Math. Phys. 363 2 (2018) 655-698

Wavepackets in inhomogeneous periodic media: effective particle-field dynamics and Berry curvature

Authors: Alexander B. Watson, Jianfeng Lu, Michael I. Weinstein

Abstract: We consider a model of an electron in a crystal moving under the influence of an external electric field: Schrödinger's equation with a potential which is the sum of a periodic function and a general smooth function. We identify two dimensionless parameters: (re-scaled) Planck's constant and the ratio of the lattice spacing to the scale of variation of the external potential. We consider the speci… ▽ More We consider a model of an electron in a crystal moving under the influence of an external electric field: Schrödinger's equation with a potential which is the sum of a periodic function and a general smooth function. We identify two dimensionless parameters: (re-scaled) Planck's constant and the ratio of the lattice spacing to the scale of variation of the external potential. We consider the special case where both parameters are equal and denote this parameter $ε$. In the limit $ε\downarrow 0$, we prove the existence of solutions known as semiclassical wavepackets which are asymptotic up to `Ehrenfest time' $t \sim \ln 1/ε$. To leading order, the center of mass and average quasi-momentum of these solutions evolve along trajectories generated by the classical Hamiltonian given by the sum of the Bloch band energy and the external potential. We then derive all corrections to the evolution of these observables proportional to $ε$. The corrections depend on the gauge-invariant Berry curvature of the Bloch band, and a coupling to the evolution of the wave-packet envelope which satisfies Schrödinger's equation with a time-dependent harmonic oscillator Hamiltonian. This infinite dimensional coupled `particle-field' system may be derived from an `extended' $ε$-dependent Hamiltonian. It is known that such coupling of observables (discrete particle-like degrees of freedom) to the wave-envelope (continuum field-like degrees of freedom) can have a significant impact on the overall dynamics. △ Less

Submitted 20 December, 2016; v1 submitted 10 November, 2016; originally announced November 2016.

Comments: 51 pages; The following changes have been made: (1) revised introduction, (2) Section 1.5 of the earlier version has been removed, and replaced with a Remark 1.10 (in the current Section 1.4) and reference to T. Ohsawa & M. Leok (reference [29]). (3) Appendix D on certain uniform bounds in the quasi-momentum parameter, p, has been added. (4) Additional references have also been given

Journal ref: J. Math. Phys. 58 2 (2017) 021503

Honeycomb Schroedinger operators in the strong binding regime

Authors: C. L. Fefferman, J. P. Lee-Thorp, M. I. Weinstein

Abstract: In this article, we study the Schrödinger operator for a large class of periodic potentials with the symmetry of a hexagonal tiling of the plane. The potentials we consider are superpositions of localized potential wells, centered on the vertices of a regular honeycomb structure corresponding to the single electron model of graphene and its artificial analogues. We consider this Schrödinger operat… ▽ More In this article, we study the Schrödinger operator for a large class of periodic potentials with the symmetry of a hexagonal tiling of the plane. The potentials we consider are superpositions of localized potential wells, centered on the vertices of a regular honeycomb structure corresponding to the single electron model of graphene and its artificial analogues. We consider this Schrödinger operator in the regime of strong binding, where the depth of the potential wells is large. Our main result is that for sufficiently deep potentials, the lowest two Floquet-Bloch dispersion surfaces, when appropriately rescaled, converge uniformly to those of the two-band tight-binding model (Wallace, 1947). Furthermore, we establish as corollaries, in the regime of strong binding, results on (a) the existence of spectral gaps for honeycomb potentials that break $\mathcal{P}\mathcal{T}$ symmetry and (b) the existence of topologically protected edge states -- states which propagate parallel to and are localized transverse to a line-defect or "edge" - for a large class of rational edges, and which are robust to large localized perturbations of the edge. We believe that the ideas of this article may be applicable in other settings for which a tight-binding model emerges in an extreme parameter limit. △ Less

Submitted 5 April, 2017; v1 submitted 16 October, 2016; originally announced October 2016.

Comments: To appear in Communications on Pure and Applied Mathematics; Theorem 6.2 of the revised version establishes scaled norm convergence of the resolvent of -Δ+ λ^2 V(x) to the resolvent of the tight-binding Hamiltonian

Photonic realization of topologically protected bound states in domain-wall waveguide arrays

Authors: James P. Lee-Thorp, Iva Vukićević, Xinan Xu, **ghui Yang, Charles L. Fefferman, Chee Wei Wong, Michael I. Weinstein

Abstract: We present an analytical theory of topologically protected photonic states for the two-dimensional Maxwell equations for a class of continuous periodic dielectric structures, modulated by a domain wall. We further numerically confirm the applicability of this theory for three-dimensional structures. We present an analytical theory of topologically protected photonic states for the two-dimensional Maxwell equations for a class of continuous periodic dielectric structures, modulated by a domain wall. We further numerically confirm the applicability of this theory for three-dimensional structures. △ Less

Submitted 11 March, 2016; v1 submitted 12 February, 2016; originally announced February 2016.

Comments: 6 pages, 5 figures. To appear in the Phys. Rev. A

MSC Class: 78A25 (Primary) 34K18; 35Q61; 78A50 (Secondary)

Journal ref: Phys. Rev. A. 93 (2016): 033822

Discrete Solitary Waves in Systems with Nonlocal Interactions and the Peierls-Nabarro Barrier

Authors: Michael Jenkinson, Michael I. Weinstein

Abstract: We study a class of discrete focusing nonlinear Schr{ö}dinger equations (DNLS) with general nonlocal interactions. We prove the existence of onsite and offsite discrete solitary waves, which bifurcate from the trivial solution at the endpoint frequency of the continuous spectrum of linear dispersive waves. We also prove exponential smallness, in the frequency-distance to the bifurcation point, of… ▽ More We study a class of discrete focusing nonlinear Schr{ö}dinger equations (DNLS) with general nonlocal interactions. We prove the existence of onsite and offsite discrete solitary waves, which bifurcate from the trivial solution at the endpoint frequency of the continuous spectrum of linear dispersive waves. We also prove exponential smallness, in the frequency-distance to the bifurcation point, of the Peierls-Nabarro energy barrier (PNB), as measured by the difference in Hamiltonian or mass functionals evaluated on the onsite and offsite states. These results extend those of the authors for the case of nearest neighbor interactions to a large class of nonlocal short-range and long-range interactions. The appearance of distinct onsite and offsite states is a consequence of the breaking of continuous spatial translation invariance. The PNB plays a role in the dynamics of energy transport in such nonlinear Hamiltonian lattice systems. Our class of nonlocal interactions is defined in terms of coupling coefficients, $J_m$, where $m\in\mathbb{Z}$ is the lattice site index, with $J_m\simeq m^{-1-2s}, s\in[1,\infty)$ and $J_m\sim e^{-γ|m|},\ s=\infty,\ γ>0,$ (Kac-Baker). For $s\ge1$, the bifurcation is seeded by solutions of the (effective / homogenized) cubic focusing nonlinear Schr{ö}dinger equation (NLS). However, for $1/4<s<1$, the bifurcation is controlled by the fractional nonlinear Schr{ö}dinger equation, FNLS, with $(-Δ)^s$ replacing $-Δ$. The proof is based on a Lyapunov-Schmidt reduction strategy applied to a momentum space formulation. The PN barrier bounds require appropriate uniform decay estimates for the discrete Fourier transform of DNLS discrete solitary waves. A key role is also played by non-degeneracy of the ground state of FNLS, recently proved by Frank, Lenzmann \& Silvestre. △ Less

Submitted 9 January, 2017; v1 submitted 18 January, 2016; originally announced January 2016.

Comments: 43 pages, 2 figures

Bifurcations of edge states -- topologically protected and non-protected -- in continuous 2D honeycomb structures

Authors: C. L. Fefferman, J. P. Lee-Thorp, M. I. Weinstein

Abstract: This paper summarizes and extends the authors' work on the bifurcation of topologically protected edge states in continuous two-dimensional honeycomb structures. We consider a family of Schrödinger Hamiltonians consisting of a bulk honeycomb potential and a perturbing edge potential. The edge potential interpolates between two different periodic structures via a domain wall. We begin by reviewin… ▽ More This paper summarizes and extends the authors' work on the bifurcation of topologically protected edge states in continuous two-dimensional honeycomb structures. We consider a family of Schrödinger Hamiltonians consisting of a bulk honeycomb potential and a perturbing edge potential. The edge potential interpolates between two different periodic structures via a domain wall. We begin by reviewing our recent bifurcation theory of edge states for continuous two-dimensional honeycomb structures. The topologically protected bifurcation of edge states is seeded by the zero-energy eigenstate of a one-dimensional Dirac operator. We contrast these protected bifurcations with (more common) non-protected bifurcations from spectral band edges, which are induced by bound states of an effective Schrödinger operator. Numerical simulations for honeycomb structures of varying contrasts and "rational edges" (zigzag, armchair and others), support the following scenario: (a) For low contrast, under a sign condition on a distinguished Fourier coefficient of the bulk honeycomb potential, there exist topologically protected edge states localized transverse to zigzag edges. Otherwise, and for general edges, we expect long lived {\it edge quasi-modes} which slowly leak energy into the bulk. (b) For an arbitrary rational edge, there is a threshold in the medium-contrast (depending on the choice of edge) above which there exist topologically protected edge states. In the special case of the armchair edge, there are two families of protected edge states; for each parallel quasimomentum (the quantum number associated with translation invariance) there are edge states which propagate in opposite directions along the armchair edge. △ Less

Submitted 29 September, 2015; originally announced September 2015.

Comments: 12 pages, 9 figures

Ramsey Theory Problems over the Integers: Avoiding Generalized Progressions

Authors: Andrew Best, Karen Huan, Nathan McNew, Steven J. Miller, Jasmine Powell, Kimsy Tor, Madeleine Weinstein

Abstract: Two well studied Ramsey-theoretic problems consider subsets of the natural numbers which either contain no three elements in arithmetic progression, or in geometric progression. We study generalizations of this problem, by varying the kinds of progressions to be avoided and the metrics used to evaluate the density of the resulting subsets. One can view a 3-term arithmetic progression as a sequence… ▽ More Two well studied Ramsey-theoretic problems consider subsets of the natural numbers which either contain no three elements in arithmetic progression, or in geometric progression. We study generalizations of this problem, by varying the kinds of progressions to be avoided and the metrics used to evaluate the density of the resulting subsets. One can view a 3-term arithmetic progression as a sequence $x, f_n(x), f_n(f_n(x))$, where $f_n(x) = x + n$, $n$ a nonzero integer. Thus avoiding three-term arithmetic progressions is equivalent to containing no three elements of the form $x, f_n(x), f_n(f_n(x))$ with $f_n \in\mathcal{F}_{\rm t}$, the set of integer translations. One can similarly construct related progressions using different families of functions. We investigate several such families, including geometric progressions ($f_n(x) = nx$ with $n > 1$ a natural number) and exponential progressions ($f_n(x) = x^n$). Progression-free sets are often constructed "greedily," including every number so long as it is not in progression with any of the previous elements. Rankin characterized the greedy geometric-progression-free set in terms of the greedy arithmetic set. We characterize the greedy exponential set and prove that it has asymptotic density 1, and then discuss how the optimality of the greedy set depends on the family of functions used to define progressions. Traditionally, the size of a progression-free set is measured using the (upper) asymptotic density, however we consider several different notions of density, including the uniform and exponential densities. △ Less

Submitted 12 August, 2015; originally announced August 2015.

Comments: Version 1.0, 13 pages

MSC Class: 11B05; 11B75; 11Y60; 05D10

Invariance of the Sprague-Grundy Function for Variants of Wythoff's Game

Authors: Madeleine Weinstein

Abstract: We prove three conjectures of Fraenkel and Ho regarding two classes of variants of Wythoff's game. The two classes of variants of Wythoff's game feature restrictions of the diagonal moves. Each conjecture states that the Sprague-Grundy function is invariant up to a certain nim-value for a subset of that class of variant of Wythoff's game. For one class of variants of Wythoff's game, we prove that… ▽ More We prove three conjectures of Fraenkel and Ho regarding two classes of variants of Wythoff's game. The two classes of variants of Wythoff's game feature restrictions of the diagonal moves. Each conjecture states that the Sprague-Grundy function is invariant up to a certain nim-value for a subset of that class of variant of Wythoff's game. For one class of variants of Wythoff's game, we prove that the invariance of the Sprague-Grundy function extends beyond what was conjectured by Fraenkel and Ho. △ Less

Submitted 5 September, 2015; v1 submitted 16 July, 2015; originally announced July 2015.

Comments: 11 pages

Edge states in honeycomb structures

Authors: Charles L. Fefferman, James P. Lee-Thorp, Michael I. Weinstein

Abstract: An edge state is a time-harmonic solution of a conservative wave system, e.g. Schroedinger, Maxwell, which is propagating (plane-wave-like) parallel to, and localized transverse to, a line-defect or "edge". Topologically protected edge states are edge states which are stable against spatially localized (even strong) deformations of the edge. First studied in the context of the quantum Hall effect,… ▽ More An edge state is a time-harmonic solution of a conservative wave system, e.g. Schroedinger, Maxwell, which is propagating (plane-wave-like) parallel to, and localized transverse to, a line-defect or "edge". Topologically protected edge states are edge states which are stable against spatially localized (even strong) deformations of the edge. First studied in the context of the quantum Hall effect, protected edge states have attracted huge interest due to their role in the field of topological insulators. Theoretical understanding of topological protection has mainly come from discrete (tight-binding) models and direct numerical simulation. In this paper we consider a rich family of continuum PDE models for which we rigorously study regimes where topologically protected edge states exist. Our model is a class of Schroedinger operators on $\mathbb{R}^2$ with a background 2D honeycomb potential perturbed by an "edge-potential". The edge potential is a domain-wall interpolation, transverse to a prescribed "rational" edge, between two distinct periodic structures. General conditions are given for the bifurcation of a branch of topologically protected edge states from Dirac points of the background honeycomb structure. The bifurcation is seeded by the zero mode of a 1D effective Dirac operator. A key condition is a spectral no-fold condition for the prescribed edge. We then use this result to prove the existence of topologically protected edge states along zigzag edges of certain honeycomb structures. Our results are consistent with the physics literature and appear to be the first rigorous results on the existence of topologically protected edge states for continuum 2D PDE systems describing waves in a non-trivial periodic medium. We also show that the family of Hamiltonians we study contains cases where zigzag edge states exist, but which are not topologically protected. △ Less

Submitted 6 September, 2016; v1 submitted 19 June, 2015; originally announced June 2015.

Comments: To appear in Annals of PDE. Added new references. 68 pages, 7 figures

MSC Class: 35J10; 35B32 (Primary); 35Q41; 37G40 (Secondary)

Localized States and Dynamics in the Nonlinear Schroedinger / Gross-Pitaevskii Equation

Authors: Michael I. Weinstein

Abstract: This article is a review of results on the nonlinear Schroedinger / Gross-Pitaevskii equation (NLS / GP). Nonlinear bound states and aspects of their stability theory are discussed from variational and bifurcation perspectives. Nonlinear bound states, in the particular cases where the potential is a single-well, double-well potential and periodic potential, are discussed in detail. We then discuss… ▽ More This article is a review of results on the nonlinear Schroedinger / Gross-Pitaevskii equation (NLS / GP). Nonlinear bound states and aspects of their stability theory are discussed from variational and bifurcation perspectives. Nonlinear bound states, in the particular cases where the potential is a single-well, double-well potential and periodic potential, are discussed in detail. We then discuss particle-like dynamics of solitary wave solutions interacting with a potential over a large, but finite, time interval. Finally we turn to the very long time behavior of solutions. We focus on the important resonant radiation dam** mechanism that drives the relaxation of the system to a nonlinear ground state and underlies the phenomena of {\it Ground State Selection} and {\it Energy Equipartition}. We also analyze linear and nonlinear "toy minimal models", which illustrate these mechanisms. Regarding the overall style of this article, we seek to emphasize the key ideas and therefore do not present all technical details, leaving that to the references. △ Less

Submitted 21 April, 2015; originally announced April 2015.

Comments: To appear in Frontiers in Applied Dynamics: Reviews and Tutorials, Volume 3 (Springer, 2015) 40 pages, 9 figures

Gaussian Distribution of the Number of Summands in Generalized Zeckendorf Decompositions in Small Intervals

Authors: Andrew Best, Patrick Dynes, Xixi Edelsbrunner, Brian McDonald, Steven J. Miller, Kimsy Tor, Caroline Turnage-Butterbaugh, Madeleine Weinstein

Abstract: Zeckendorf's theorem states that every positive integer can be written uniquely as a sum of non-consecutive Fibonacci numbers ${F_n}$, with initial terms $F_1 = 1, F_2 = 2$. Previous work proved that as $n \to \infty$ the distribution of the number of summands in the Zeckendorf decompositions of $m \in [F_n, F_{n+1})$, appropriately normalized, converges to the standard normal. The proofs cruciall… ▽ More Zeckendorf's theorem states that every positive integer can be written uniquely as a sum of non-consecutive Fibonacci numbers ${F_n}$, with initial terms $F_1 = 1, F_2 = 2$. Previous work proved that as $n \to \infty$ the distribution of the number of summands in the Zeckendorf decompositions of $m \in [F_n, F_{n+1})$, appropriately normalized, converges to the standard normal. The proofs crucially used the fact that all integers in $[F_n, F_{n+1})$ share the same potential summands and hold for more general positive linear recurrence sequences $\{G_n\}$. We generalize these results to subintervals of $[G_n, G_{n+1})$ as $n \to \infty$ for certain sequences. The analysis is significantly more involved here as different integers have different sets of potential summands. Explicitly, fix an integer sequence $α(n) \to \infty$. As $n \to \infty$, for almost all $m \in [G_n, G_{n+1})$ the distribution of the number of summands in the generalized Zeckendorf decompositions of integers in the subintervals $[m, m + G_{α(n)})$, appropriately normalized, converges to the standard normal. The proof follows by showing that, with probability tending to $1$, $m$ has at least one appropriately located large gap between indices in its decomposition. We then use a correspondence between this interval and $[0, G_{α(n)})$ to obtain the result, since the summands are known to have Gaussian behavior in the latter interval. △ Less

Submitted 28 January, 2015; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: Version 1.1, 11 pages, fixed a typo. arXiv admin note: substantial text overlap with arXiv:1409.0483

MSC Class: 11B39 (primary); 65Q30; 60B10 (secondary)

Benford Behavior of Generalized Zeckendorf Decompositions

Authors: Andrew Best, Patrick Dynes, Xixi Edelsbrunner, Brian McDonald, Steven J. Miller, Kimsy Tor, Caroline Turnage-Butterbaugh, Madeleine Weinstein

Abstract: We prove connections between Zeckendorf decompositions and Benford's law. Recall that if we define the Fibonacci numbers by $F_1 = 1, F_2 = 2$ and $F_{n+1} = F_n + F_{n-1}$, every positive integer can be written uniquely as a sum of non-adjacent elements of this sequence; this is called the Zeckendorf decomposition, and similar unique decompositions exist for sequences arising from recurrence rela… ▽ More We prove connections between Zeckendorf decompositions and Benford's law. Recall that if we define the Fibonacci numbers by $F_1 = 1, F_2 = 2$ and $F_{n+1} = F_n + F_{n-1}$, every positive integer can be written uniquely as a sum of non-adjacent elements of this sequence; this is called the Zeckendorf decomposition, and similar unique decompositions exist for sequences arising from recurrence relations of the form $G_{n+1}=c_1G_n+\cdots+c_LG_{n+1-L}$ with $c_i$ positive and some other restrictions. Additionally, a set $S \subset \mathbb{Z}$ is said to satisfy Benford's law base 10 if the density of the elements in $S$ with leading digit $d$ is $\log_{10}{(1+\frac{1}{d})}$; in other words, smaller leading digits are more likely to occur. We prove that as $n\to\infty$ for a randomly selected integer $m$ in $[0, G_{n+1})$ the distribution of the leading digits of the summands in its generalized Zeckendorf decomposition converges to Benford's law almost surely. Our results hold more generally: one obtains similar theorems to those regarding the distribution of leading digits when considering how often values in sets with density are attained in the summands in the decompositions. △ Less

Submitted 21 December, 2014; originally announced December 2014.

Comments: 11 pages

MSC Class: 11B39; 11B05; 60F05(primary); 11K06; 65Q30; 62E20(secondary)

Geometric-progression-free sets over quadratic number fields

Authors: Andrew Best, Karen Huan, Nathan McNew, Steven J. Miller, Jasmine Powell, Kimsy Tor, Madeleine Weinstein

Abstract: A problem of recent interest has been to study how large subsets of the natural numbers can be while avoiding 3-term geometric progressions. Building on recent progress on this problem, we consider the analogous problem over quadratic number fields. We first construct high-density subsets of the algebraic integers of an imaginary quadratic number field that avoid 3-term geometric progressions. Whe… ▽ More A problem of recent interest has been to study how large subsets of the natural numbers can be while avoiding 3-term geometric progressions. Building on recent progress on this problem, we consider the analogous problem over quadratic number fields. We first construct high-density subsets of the algebraic integers of an imaginary quadratic number field that avoid 3-term geometric progressions. When unique factorization fails or over a real quadratic number field, we instead look at subsets of ideals of the ring of integers. Our approach here is to construct sets "greedily," a generalization of the greedy set of rational integers considered by Rankin. We then describe the densities of these sets in terms of values of the Dedekind zeta function. Next, we consider geometric-progression-free sets with large upper density. We generalize an argument by Riddell to obtain upper bounds for the upper density of geometric-progression-free subsets, and construct sets avoiding geometric progressions with high upper density to obtain lower bounds for the supremum of the upper density of all such subsets. Both arguments depend critically on the elements with small norm in the ring of integers. △ Less

Submitted 14 November, 2015; v1 submitted 2 December, 2014; originally announced December 2014.

Comments: Corrected equations 4.4 and 4.5, other small changes, added a question about avoiding longer progressions

Gaussian Behavior of the Number of Summands in Zeckendorf Decompositions in Small Intervals

Authors: Andrew Best, Patrick Dynes, Xixi Edelsbrunner, Brian McDonald, Steven J. Miller, K. Tor, Caroline Turnage-Butterbaugh, Madeleine Weinstein

Abstract: Zeckendorf's theorem states that every positive integer can be written uniquely as a sum of non-consecutive Fibonacci numbers ${F_n}$, with initial terms $F_1 = 1, F_2 = 2$. We consider the distribution of the number of summands involved in such decompositions. Previous work proved that as $n \to \infty$ the distribution of the number of summands in the Zeckendorf decompositions of… ▽ More Zeckendorf's theorem states that every positive integer can be written uniquely as a sum of non-consecutive Fibonacci numbers ${F_n}$, with initial terms $F_1 = 1, F_2 = 2$. We consider the distribution of the number of summands involved in such decompositions. Previous work proved that as $n \to \infty$ the distribution of the number of summands in the Zeckendorf decompositions of $m \in [F_n, F_{n+1})$, appropriately normalized, converges to the standard normal. The proofs crucially used the fact that all integers in $[F_n, F_{n+1})$ share the same potential summands. We generalize these results to subintervals of $[F_n, F_{n+1})$ as $n \to \infty$; the analysis is significantly more involved here as different integers have different sets of potential summands. Explicitly, fix an integer sequence $α(n) \to \infty$. As $n \to \infty$, for almost all $m \in [F_n, F_{n+1})$ the distribution of the number of summands in the Zeckendorf decompositions of integers in the subintervals $[m, m + F_{α(n)})$, appropriately normalized, converges to the standard normal. The proof follows by showing that, with probability tending to $1$, $m$ has at least one appropriately located large gap between indices in its decomposition. We then use a correspondence between this interval and $[0, F_{α(n)})$ to obtain the result, since the summands are known to have Gaussian behavior in the latter interval. % We also prove the same result for more general linear recurrences. △ Less

Submitted 1 September, 2014; originally announced September 2014.

Comments: Version 1.0, 8 pages

MSC Class: 11B39 (primary) 65Q30; 60B10 (secondary)

Benford Behavior of Zeckendorf Decompositions

Authors: Andrew Best, Patrick Dynes, Xixi Edelsbrunner, Brian McDonald, Steven J. Miller, K. Tor, Caroline Turnage-Butterbaugh, Madeleine Weinstein

Abstract: A beautiful theorem of Zeckendorf states that every integer can be written uniquely as the sum of non-consecutive Fibonacci numbers $\{ F_i \}_{i = 1}^{\infty}$. A set $S \subset \mathbb{Z}$ is said to satisfy Benford's law if the density of the elements in $S$ with leading digit $d$ is $\log_{10}{(1+\frac{1}{d})}$; in other words, smaller leading digits are more likely to occur. We prove that, as… ▽ More A beautiful theorem of Zeckendorf states that every integer can be written uniquely as the sum of non-consecutive Fibonacci numbers $\{ F_i \}_{i = 1}^{\infty}$. A set $S \subset \mathbb{Z}$ is said to satisfy Benford's law if the density of the elements in $S$ with leading digit $d$ is $\log_{10}{(1+\frac{1}{d})}$; in other words, smaller leading digits are more likely to occur. We prove that, as $n\to\infty$, for a randomly selected integer $m$ in $[0, F_{n+1})$ the distribution of the leading digits of the Fibonacci summands in its Zeckendorf decomposition converge to Benford's law almost surely. Our results hold more generally, and instead of looking at the distribution of leading digits one obtains similar theorems concerning how often values in sets with density are attained. △ Less

Submitted 1 September, 2014; originally announced September 2014.

Comments: Version 1.0, 12 pages, 1 figure

MSC Class: 11B39; 11B05; 60F05 (primary) 11K06; 65Q30; 62E20 (secondary)

Oscillatory and localized perturbations of periodic structures and the bifurcation of defect modes

Authors: Vincent Duchêne, Iva Vukićević, Michael I. Weinstein

Abstract: Let $Q(x)$ denote a periodic function on the real line. The Schrödinger operator, $H_Q=-\partial_x^2+Q(x)$, has $L^2(\mathbb{R})-$ spectrum equal to the union of closed real intervals separated by open spectral gaps. In this article we study the bifurcation of discrete eigenvalues (point spectrum) into the spectral gaps for the operator $H_{Q+q_ε}$, where $q_ε$ is spatially localized and highly os… ▽ More Let $Q(x)$ denote a periodic function on the real line. The Schrödinger operator, $H_Q=-\partial_x^2+Q(x)$, has $L^2(\mathbb{R})-$ spectrum equal to the union of closed real intervals separated by open spectral gaps. In this article we study the bifurcation of discrete eigenvalues (point spectrum) into the spectral gaps for the operator $H_{Q+q_ε}$, where $q_ε$ is spatially localized and highly oscillatory in the sense that its Fourier transform, $\widehat{q}_ε$ is concentrated at high frequencies. Our assumptions imply that $q_ε$ may be pointwise large but $q_ε$ is small in an average sense. For the special case where $q_ε(x)=q(x,x/ε)$ with $q(x,y)$ smooth, real-valued, localized in $x$, and periodic or almost periodic in $y$, the bifurcating eigenvalues are at a distance of order $ε^4$ from the lower edge of the spectral gap. We obtain the leading order asymptotics of the bifurcating eigenvalues and eigenfunctions. Underlying this bifurcation is an effective Hamiltonian associated with the lower edge of the $(b_*)^{\rm th}$ spectral band: $H^ε_{\rm eff}=-\partial_x A_{b_*,\rm eff}\partial_x - ε^2 B_{b_*,\rm eff} \times δ(x)$ where $δ(x)$ is the Dirac distribution, and effective-medium parameters $A_{b_*,\rm eff},B_{b_*,\rm eff}>0$ are explicit and independent of $ε$. The potentials we consider are a natural model for wave propagation in a medium with localized, high-contrast and rapid fluctuations in material parameters about a background periodic medium. △ Less

Submitted 23 June, 2015; v1 submitted 31 July, 2014; originally announced July 2014.

Comments: To appear in SIAM Journal on Mathematical Analysis

MSC Class: 35J10; 34L15; 34L40; 34E10; 34C23

Journal ref: SIAM J. Math. Anal., 47(5), pp. 3832-3883 (2015)

Topologically Protected States in One-Dimensional Systems

Authors: Charles L. Fefferman, James P. Lee-Thorp, Michael I. Weinstein

Abstract: We study a class of periodic Schrödinger operators, which in distinguished cases can be proved to have linear band-crossings or "Dirac points". We then show that the introduction of an "edge", via adiabatic modulation of these periodic potentials by a domain wall, results in the bifurcation of spatially localized "edge states". These bound states are associated with the topologically protected zer… ▽ More We study a class of periodic Schrödinger operators, which in distinguished cases can be proved to have linear band-crossings or "Dirac points". We then show that the introduction of an "edge", via adiabatic modulation of these periodic potentials by a domain wall, results in the bifurcation of spatially localized "edge states". These bound states are associated with the topologically protected zero-energy mode of an asymptotic one-dimensional Dirac operator. Our model captures many aspects of the phenomenon of topologically protected edge states for two-dimensional bulk structures such as the honeycomb structure of graphene. The states we construct can be realized as highly robust TM- electromagnetic modes for a class of photonic waveguides with a phase-defect. △ Less

Submitted 8 April, 2015; v1 submitted 18 May, 2014; originally announced May 2014.

Comments: To appear in Memoirs of the American Mathematical Society -- 100+ pages, 10 figures

On-Site and Off-Site Bound States of the Discrete Nonlinear Schrödinger Equation and the Peierls-Nabarro Barrier

Authors: Michael Jenkinson, Michael I. Weinstein

Abstract: We construct multiple families of solitary standing waves of the discrete cubically nonlinear Schrödinger equation (DNLS) in dimensions $d=1,2$ and $3$. These states are obtained via a bifurcation analysis about the continuum (NLS) limit. One family consists {\it on-site symmetric} (vertex-centered) states; these are spatially localized solitary standing waves which are symmetric about any fixed l… ▽ More We construct multiple families of solitary standing waves of the discrete cubically nonlinear Schrödinger equation (DNLS) in dimensions $d=1,2$ and $3$. These states are obtained via a bifurcation analysis about the continuum (NLS) limit. One family consists {\it on-site symmetric} (vertex-centered) states; these are spatially localized solitary standing waves which are symmetric about any fixed lattice site. The other spatially localized states are {\it off-site symmetric}. Depending on the spatial dimension, these may be bond-centered, cell-centered, or face-centered. Finally, we show that the energy difference among distinct states of the same frequency is exponentially small with respect to a natural parameter. This provides a rigorous bound for the so-called {\it Peierls-Nabarro} energy barrier. △ Less

Submitted 3 August, 2015; v1 submitted 15 May, 2014; originally announced May 2014.

Comments: to appear in Nonlinearity

Self-trap** and Josephson tunneling solutions to the nonlinear Schrödinger / Gross-Pitaevskii Equation

Authors: Roy H. Goodman, Jeremy L. Marzuola, Michael I. Weinstein

Abstract: We study the long-time behavior of solutions to the nonlinear Schrödinger / Gross-Pitaevskii equation (NLS/GP) with a symmetric double-well potential, continuing work of the 2nd and 3rd authors. NLS/GP governs nearly-monochromatic guided optical beams in weakly coupled waveguides with both linear and nonlinear (Kerr) refractive indices and zero absorption. The optical power ($L^2$ norm) is conserv… ▽ More We study the long-time behavior of solutions to the nonlinear Schrödinger / Gross-Pitaevskii equation (NLS/GP) with a symmetric double-well potential, continuing work of the 2nd and 3rd authors. NLS/GP governs nearly-monochromatic guided optical beams in weakly coupled waveguides with both linear and nonlinear (Kerr) refractive indices and zero absorption. The optical power ($L^2$ norm) is conserved with propagation distance. At low optical power, the beam energy executes beating oscillations between the two waveguides. There is an optical power threshold above which the set of guided mode solutions splits into two families of solutions. One type of solution corresponds to an optical beam which is concentrated in either waveguide, but not both. Solutions in the second family undergo tunneling oscillations between the two waveguides. NLS/GP can also model the behavior of Bose-Einstein condensates. A finite dimensional reduction (system of ODEs) well-approximates the PDE dynamics on long time scales. In particular, we derive this reduction, find a class of exact solutions and prove the very long-time shadowing of these solutions by applying the approach of the 2nd and 3rd authors. △ Less

Submitted 21 August, 2014; v1 submitted 26 November, 2013; originally announced November 2013.

Comments: 27 pages, 3 figures, Revised version based upon referee reports

MSC Class: 35Q55; 35Q60