-
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.
-
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.
-
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.
-
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.
-
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.
-
$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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.