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

Dispersive Decay Estimates for periodic Jacobi operators on the half-line

Authors: Amir Sagiv, Remy Kassem, Michael I Weinstein

Abstract: We establish dispersive time-decay estimates for periodic Jacobi operators on the discrete half-line, $\N$. Specifically, we prove $t^{-1/2}$ decay in the weighted $\ell^\infty_{-1}$ norm for all such operators. For the global $\ell^1 \to \ell^\infty$ decay estimate, we show that $t^{-1/3}$ decay holds under a nondegeneracy condition on the discriminant. Alternatively, for any even period… ▽ More We establish dispersive time-decay estimates for periodic Jacobi operators on the discrete half-line, $\N$. Specifically, we prove $t^{-1/2}$ decay in the weighted $\ell^\infty_{-1}$ norm for all such operators. For the global $\ell^1 \to \ell^\infty$ decay estimate, we show that $t^{-1/3}$ decay holds under a nondegeneracy condition on the discriminant. Alternatively, for any even period $q\geq2$, if the continuous spectrum consists of exactly $q$ disjoint intervals (bands), we obtain a $t^{-1/(q+1)}$ decay rate without any further assumptions. △ Less

Submitted 20 May, 2025; originally announced May 2025.

MSC Class: 47B36; 37L50; 42Axx; 81U30

Explainable Distributed Constraint Optimization Problems

Authors: Ben Rachmut, Stylianos Loukas Vasileiou, Nimrod Meir Weinstein, Roie Zivan, William Yeoh

Abstract: The Distributed Constraint Optimization Problem (DCOP) formulation is a powerful tool to model cooperative multi-agent problems that need to be solved distributively. A core assumption of existing approaches is that DCOP solutions can be easily understood, accepted, and adopted, which may not hold, as evidenced by the large body of literature on Explainable AI. In this paper, we propose the Explai… ▽ More The Distributed Constraint Optimization Problem (DCOP) formulation is a powerful tool to model cooperative multi-agent problems that need to be solved distributively. A core assumption of existing approaches is that DCOP solutions can be easily understood, accepted, and adopted, which may not hold, as evidenced by the large body of literature on Explainable AI. In this paper, we propose the Explainable DCOP (X-DCOP) model, which extends a DCOP to include its solution and a contrastive query for that solution. We formally define some key properties that contrastive explanations must satisfy for them to be considered as valid solutions to X-DCOPs as well as theoretical results on the existence of such valid explanations. To solve X-DCOPs, we propose a distributed framework as well as several optimizations and suboptimal variants to find valid explanations. We also include a human user study that showed that users, not surprisingly, prefer shorter explanations over longer ones. Our empirical evaluations showed that our approach can scale to large problems, and the different variants provide different options for trading off explanation lengths for smaller runtimes. Thus, our model and algorithmic contributions extend the state of the art by reducing the barrier for users to understand DCOP solutions, facilitating their adoption in more real-world applications. △ Less

Submitted 19 February, 2025; originally announced February 2025.

On the Time-decay of solutions arising from periodically forced Dirac Hamiltonians

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

Abstract: There is increased interest in time-dependent (non-autonomous) Hamiltonians, stemming in part from the active field of Floquet quantum materials. Despite this, dispersive time-decay bounds, which reflect energy transport in such systems, have received little attention. We study the dynamics of non-autonomous, time-periodically forced, Dirac Hamiltonians: $i\partial_tα=D(t)α$, where… ▽ More There is increased interest in time-dependent (non-autonomous) Hamiltonians, stemming in part from the active field of Floquet quantum materials. Despite this, dispersive time-decay bounds, which reflect energy transport in such systems, have received little attention. We study the dynamics of non-autonomous, time-periodically forced, Dirac Hamiltonians: $i\partial_tα=D(t)α$, where $D(t)=iσ_3\partial_x+ ν(t)$ is time-periodic but not spatially localized. For the special case $ν(t)=mσ_1$, which models a relativistic particle of constant mass $m$, one has a dispersive decay bound: $\|α(t,x)\|_{L^\infty_x}\lesssim t^{-\frac12}$. Previous analyses of Schrödinger Hamiltonians suggest that this decay bound persists for small, spatially-localized and time-periodic $ν(t)$. However, we show that this is not necessarily the case if $ν(t)$ is not spatially localized. Specifically, we study two non-autonomous Dirac models whose time-evolution (and monodromy operator) is constructed via Fourier analysis. In a rotating mass model, the dispersive decay bound is of the same type as for the constant mass model. However, in a model with a periodically alternating sign of the mass, the results are quite different. By stationary-phase analysis of the associated Fourier representation, we display initial data for which the $L^\infty_x$ time-decay rate are considerably slower: $\mathcal{O}(t^{-1/3})$ or even $\mathcal{O}(t^{-1/5})$ as $t\to\infty$. △ Less

Submitted 1 April, 2025; v1 submitted 13 January, 2025; originally announced January 2025.

Quantum tunneling and its absence in deep wells and strong magnetic fields

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

Abstract: We present new results on quantum tunneling between deep potential wells, in the presence of a strong constant magnetic field. We construct a family of double well potentials containing examples for which the low-energy eigenvalue splitting vanishes, and hence quantum tunneling is eliminated. Further, by deforming within this family, the magnetic ground state can be made to transition from symmetr… ▽ More We present new results on quantum tunneling between deep potential wells, in the presence of a strong constant magnetic field. We construct a family of double well potentials containing examples for which the low-energy eigenvalue splitting vanishes, and hence quantum tunneling is eliminated. Further, by deforming within this family, the magnetic ground state can be made to transition from symmetric to anti-symmetric. However, for typical double wells in a certain regime, tunneling is not suppressed, and we provide a lower bound for the eigenvalue splitting. △ Less

Submitted 31 December, 2024; v1 submitted 30 December, 2024; originally announced December 2024.

Comments: 6 pages, 2 figures

Asymmetric deformations of a perturbed spherical bubble in an incompressible fluid

Authors: Chen-Chih Lai, Michael I. Weinstein

Abstract: We study the dynamics of a gas bubble in a fluid with surface tension, initially near a spherical equilibrium. While there are many studies and applications of radial bubble dynamics, the theory of general deformations from a spherical equilibrium is less developed. We aim to understand how asymmetrically perturbed equilibrium bubbles evolve toward spherical equilibrium due to thermal or viscous d… ▽ More We study the dynamics of a gas bubble in a fluid with surface tension, initially near a spherical equilibrium. While there are many studies and applications of radial bubble dynamics, the theory of general deformations from a spherical equilibrium is less developed. We aim to understand how asymmetrically perturbed equilibrium bubbles evolve toward spherical equilibrium due to thermal or viscous dissipation in an incompressible liquid. We focus on the isobaric approximation [Prosperetti, JFM, 1991], under which the gas pressure within the bubble is spatially uniform and obeys the ideal gas law. The liquid outside the bubble is incompressible, irrotational, and has surface tension. We prove that any equilibrium gas bubble must be spherical by showing that the bubble boundary is a closed surface of constant mean curvature. We then study the initial value problem (IVP) for the coupled PDEs, constitutive laws and interface conditions of the isobaric approximation for general (asymmetric) small initial perturbations of the spherical bubble in the linearized approximation. Our first result, considering thermal damping without viscosity, proves that the linearized IVP is globally well-posed. The monopole (radial) component of the perturbation decays exponentially over time, while the multipole (non-radial) components undergo undamped oscillations. This indicates a limitation of the isobaric model for non-spherical dynamics. Our second result, incorporating viscous dissipation, shows that the IVP is linear and nonlinearly ill-posed due to an incompatibility of normal stress boundary conditions, for non-spherical solutions, and the irrotationality assumption. Our study concludes that to accurately capture the dynamics of general deformations of a gas bubble, the model must account for either vorticity generated at the bubble-fluid boundary, spatial non-uniformities in the gas pressure, or both. △ Less

Submitted 7 August, 2024; originally announced August 2024.

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 real, $\mathbb{Z}^2$-periodic, and additionally invariant under the symmetry group of the square. We show that, under typical small linear deformations of $V$, the quadratic band degeneracy points occurring over the high-symmetry quasimomentum $\boldsymbol{M}$ (see [27, 28]) each split into two separated degeneracies over pe… ▽ More Consider the Schrödinger operator $H = -Δ+ V$, where the potential $V$ is real, $\mathbb{Z}^2$-periodic, and additionally invariant under the symmetry group of the square. We show that, under typical small linear deformations of $V$, the quadratic band degeneracy points occurring over the high-symmetry quasimomentum $\boldsymbol{M}$ (see [27, 28]) 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. Symmetry-breaking perturbations and induced band topology are also discussed. △ Less

Submitted 14 October, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: 61 pages, 11 figures, 1 table; to appear in SIAM J. Math. Anal

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

Nonlocal PDEs and quantum optics: band structure of periodic atomic sytems

Authors: Erik Orvehed Hiltunen, Joseph Kraisler, John C. Schotland, Michael I. Weinstein

Abstract: We continue our study of the quantum optics of a single photon interacting with a system of two level atoms. In this work we investigate the case of a periodic arrangement of atoms. We provide a general structure theorem characterizing the band functions of this problem, which comprise the spectrum of the associated Hamiltonian. Additionally, we study atomic densities arising as periodically arran… ▽ More We continue our study of the quantum optics of a single photon interacting with a system of two level atoms. In this work we investigate the case of a periodic arrangement of atoms. We provide a general structure theorem characterizing the band functions of this problem, which comprise the spectrum of the associated Hamiltonian. Additionally, we study atomic densities arising as periodically arranged scaled inclusions. For this family of examples, we obtain explicit asymptotic formulas for the band functions. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: 32 pages, 6 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 and Grassmannian manifolds. In this work, we propose an algorithm called \textit{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 and Grassmannian manifolds. In this work, we propose an algorithm called \textit{Principal Stiefel Coordinates (PSC)} to reduce data dimensionality from $ V_k(\mathbb{R}^N)$ to $V_k(\mathbb{R}^n)$ in an \textit{$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 describe two ways of finding a suitable embedding map $α$: one via an extension of principal component analysis ($α_{PCA}$), and one that further minimizes data fit error using gradient descent ($α_{GD}$). 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 $π_{α_{PCA}}$ globally minimizes projection error in a noiseless setting, while $π_{α_{GD}}$ 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 20 February, 2025; v1 submitted 19 September, 2023; originally announced September 2023.

Comments: Minor updates to introduction. To appear in SIAM Journal on Mathematics of Data Science

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

Journal ref: SIAM Journal on Mathematics of Data Science, 7(2), 410-437 (2025)

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 time-decay rate. Our main result explicitly displays the transition in time-decay rate as $τ$ varies between 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 18 July, 2024; v1 submitted 12 July, 2023; originally announced July 2023.

Nonlocal PDEs and Quantum Optics: Bound States and Resonances

Authors: Erik Orvehed Hiltunen, Joseph Kraisler, John C Schotland, Michael I Weinstein

Abstract: We consider the quantum optics of a single photon interacting with a system of two level atoms. This leads to the study of a nonlinear eigenproblem for a system of nonlocal partial differential equations. Two classes of solutions to these equations are studied. Bound states correspond to negative eigenvalues and resonances to eigenvalues with positive real parts. We have found necessary and suffic… ▽ More We consider the quantum optics of a single photon interacting with a system of two level atoms. This leads to the study of a nonlinear eigenproblem for a system of nonlocal partial differential equations. Two classes of solutions to these equations are studied. Bound states correspond to negative eigenvalues and resonances to eigenvalues with positive real parts. We have found necessary and sufficient conditions for the existence of bound states, along with an upper bound on the number of such states. We have also considered the eigenproblem for atomic models with small high contrast inclusions. In this setting, we have derived asymptotic formulas for the eigenvalues. Our results are illustrated with numerical computations. △ Less

Submitted 21 June, 2023; v1 submitted 17 June, 2023; originally announced June 2023.

Comments: 33 pages, 4 figures. v.2: Corrected typos

Direct Observation of Landau Levels in Silicon Photonic Crystals

Authors: Maria Barsukova, Fabien Grisé, Zeyu Zhang, Sachin Vaidya, Jonathan Guglielmon, Michael I. Weinstein, Li He, Bo Zhen, Randall McEntaffer, Mikael C. Rechtsman

Abstract: We experimentally observe photonic Landau levels that arise due to a strain-induced pseudomagnetic field in a silicon photonic crystal slab. The Landau levels are dispersive (i.e., they are not flat bands) due to the distortion of the unit cell by the strain. We employ an additional strain which induces a pseudoelectric potential to flatten them. We experimentally observe photonic Landau levels that arise due to a strain-induced pseudomagnetic field in a silicon photonic crystal slab. The Landau levels are dispersive (i.e., they are not flat bands) due to the distortion of the unit cell by the strain. We employ an additional strain which induces a pseudoelectric potential to flatten them. △ Less

Submitted 6 June, 2023; originally announced June 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.

Discrete Breathers of Nonlinear Dimer Lattices: Bridging the Anti-continuous and Continuous Limits

Authors: A. Hofstrand, H. Li, M. I. Weinstein

Abstract: In this work, we study the dynamics of an infinite array of nonlinear dimer oscillators which are linearly coupled as in the classical model of Su, Schrieffer and Heeger (SSH). The ratio of in-cell and out-of-cell couplings of the SSH model defines distinct $\textit{phases}$: topologically trivial and topologically non-trivial. We first consider the case of weak out-of-cell coupling, corresponding… ▽ More In this work, we study the dynamics of an infinite array of nonlinear dimer oscillators which are linearly coupled as in the classical model of Su, Schrieffer and Heeger (SSH). The ratio of in-cell and out-of-cell couplings of the SSH model defines distinct $\textit{phases}$: topologically trivial and topologically non-trivial. We first consider the case of weak out-of-cell coupling, corresponding to the topologically trivial regime for linear SSH; for any prescribed isolated dimer frequency, $ω_b$, which satisfies non-resonance and non-degeneracy assumptions, we prove that there are discrete breather solutions for sufficiently small values of the out-of-cell coupling parameter. These states are $2π/ω_b$- periodic in time and exponentially localized in space. We then study the global continuation with respect to this coupling parameter. We first consider the case where $ω_b$, the seeding discrete breather frequency, is in the (coupling dependent) phonon gap of the underlying linear infinite array. As the coupling is increased, the phonon gap decreases in width and tends to a point (at which the topological transition for linear SSH occurs). In this limit, the spatial scale of the discrete breather grows and its amplitude decreases, indicating the weakly nonlinear long wave regime. Asymptotic analysis shows that in this regime the discrete breather envelope is determined by a vector gap soliton of the limiting envelope equations. We use the envelope theory to describe discrete breathers for SSH- coupling parameters corresponding to topologically trivial and, by exploiting an emergent symmetry, topologically nontrivial regimes, when the spectral gap is small. Our asymptotic theory shows excellent agreement with extensive numerical simulations over a wide range of parameters. △ Less

Submitted 3 April, 2023; v1 submitted 9 October, 2022; originally announced October 2022.

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

Flexible and disposable paper- and plastic-based gel micropads for nematode handling, imaging, and chemical testing

Authors: Zach Njus, Taejoon Kong, Upender Kalwa, Christopher Legner, Matthew Weinstein, Shawn Flanigan, Jenifer Saldanha, Santosh Pandey

Abstract: Today, the area of point-of-care diagnostics is synonymous with paper microfluidics where cheap, disposable, and on-the-spot detection toolkits are being developed for a variety of chemical tests. In this work, we present a novel application of microfluidic paper-based analytical devices (microPADs) to study the behavior of a small model nematode, Caenorhabditis elegans. We describe schemes of mic… ▽ More Today, the area of point-of-care diagnostics is synonymous with paper microfluidics where cheap, disposable, and on-the-spot detection toolkits are being developed for a variety of chemical tests. In this work, we present a novel application of microfluidic paper-based analytical devices (microPADs) to study the behavior of a small model nematode, Caenorhabditis elegans. We describe schemes of microPAD fabrication on paper and plastic substrates where membranes are created in agarose and Pluronic gel. Methods are demonstrated for loading, visualizing, and transferring single and multiple nematodes. Using an anthelmintic drug, levamisole, we show that chemical testing on C. elegans is easily performed because of the open device structure. A custom program is written to automatically recognize individual worms on the microPADs and extract locomotion parameters in real-time. The combination of microPADs and the nematode tracking program provides a relatively low-cost, simple-to-fabricate imaging and screening assay (compared to standard agarose plates or polymeric microfluidic devices) for non-microfluidic, nematode laboratories. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Journal ref: APL Bioengineering 2017

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 18 July, 2024; 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 Jinlong, 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-hopping 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-hopping 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 hopping 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 hopping 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

Leveraging the Power of Place: A Data-Driven Decision Helper to Improve the Location Decisions of Economic Immigrants

Authors: Jeremy Ferwerda, Nicholas Adams-Cohen, Kirk Bansak, Jennifer Fei, Duncan Lawrence, Jeremy M. Weinstein, Jens Hainmueller

Abstract: A growing number of countries have established programs to attract immigrants who can contribute to their economy. Research suggests that an immigrant's initial arrival location plays a key role in shaping their economic success. Yet immigrants currently lack access to personalized information that would help them identify optimal destinations. Instead, they often rely on availability heuristics,… ▽ More A growing number of countries have established programs to attract immigrants who can contribute to their economy. Research suggests that an immigrant's initial arrival location plays a key role in shaping their economic success. Yet immigrants currently lack access to personalized information that would help them identify optimal destinations. Instead, they often rely on availability heuristics, which can lead to the selection of sub-optimal landing locations, lower earnings, elevated outmigration rates, and concentration in the most well-known locations. To address this issue and counteract the effects of cognitive biases and limited information, we propose a data-driven decision helper that draws on behavioral insights, administrative data, and machine learning methods to inform immigrants' location decisions. The decision helper provides personalized location recommendations that reflect immigrants' preferences as well as data-driven predictions of the locations where they maximize their expected earnings given their profile. We illustrate the potential impact of our approach using backtests conducted with administrative data that links landing data of recent economic immigrants from Canada's Express Entry system with their earnings retrieved from tax records. Simulations across various scenarios suggest that providing location recommendations to incoming economic immigrants can increase their initial earnings and lead to a mild shift away from the most populous landing destinations. Our approach can be implemented within existing institutional structures at minimal cost, and offers governments an opportunity to harness their administrative data to improve outcomes for economic immigrants. △ Less

Submitted 27 July, 2020; originally announced July 2020.

Comments: 51 pages (including appendix), 13 figures. Immigration Policy Lab (IPL) Working Paper Series, Working Paper No. 20-06

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 hopping 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

Landau levels in strained two-dimensional photonic crystals

Authors: J. Guglielmon, M. C. Rechtsman, M. I. Weinstein

Abstract: The principal use of photonic crystals is to engineer the photonic density of states, which controls light-matter coupling. We theoretically show that strained 2D photonic crystals can generate artificial electromagnetic fields and highly degenerate Landau levels. Since photonic crystals are not described by tight-binding, we employ a multiscale expansion of the full wave equation. Using numerical… ▽ More The principal use of photonic crystals is to engineer the photonic density of states, which controls light-matter coupling. We theoretically show that strained 2D photonic crystals can generate artificial electromagnetic fields and highly degenerate Landau levels. Since photonic crystals are not described by tight-binding, we employ a multiscale expansion of the full wave equation. Using numerical simulations, we observe dispersive Landau levels which we show can be flattened by engineering a pseudoelectric field. Artificial fields yield a design principle for aperiodic nanophotonic systems. △ Less

Submitted 14 March, 2020; originally announced March 2020.

Comments: See ancillary files for supplemental material providing detailed derivations

Journal ref: Phys. Rev. A 103, 013505 (2021)

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, Jinghui 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