Approximate eigenfunctions for some aperiodic crystals
- URL: http://arxiv.org/abs/2607.08320v1
- Date: Thu, 09 Jul 2026 10:03:51 GMT
- Title: Approximate eigenfunctions for some aperiodic crystals
- Abstract summary: Hamiltonians for aperiodic crystals of the form H_varepsilon:=T(-inabla_x+mathbf A(x,varepsilon x))+V(x,varepsilon x),qquad xin mathbb Rd endalign* where $T$ represents either a Dirac operators or a Schrdinger operator.
- Score: 4.56877715768796
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper, we consider Hamiltonians for aperiodic crystals of the form \begin{align*} H_\varepsilon:=T(-i\nabla_x+{\mathbf A}(x,\varepsilon x))+V(x,\varepsilon x),\qquad x\in {\mathbb R}^d \end{align*} where $T$ represents either a Dirac operators or a Schrödinger operator, and $x\mapsto {\mathbf A}(x,X)$ and $x\mapsto V(x,X)$ are $\mathbb L$-periodic with respect to some lattice $\mathbb L\subset{\mathbb R}^d$. Let \begin{align*} (k,X)\ni {\mathbb R}^d\times {\mathbb R}^d\mapsto h(k,X):=T(-i\nabla_x+k+{\mathbf A}(x,X))+V(x,X) \end{align*} be a family of operators acting on $L^2_{\rm per}(\mathbb{R}^d/\mathbb{L})$ with periodic boundary conditions. We show that, under some suitable assumptions on the family of operators $ (h(k,X))_{k,X}$ around an energy level $e_0\in {\mathbb R}$ and some points $(k_0,X_0)\in {\mathbb R}^d\times {\mathbb R}^d$, one can construct localized approximate eigenfunctions $Φ_\varepsilon\in L^2({\mathbb R}^d)$ of the operator $H_\varepsilon$ such that for $\varepsilon$ small enough and for some $m\in \{1,2\}$ and $μ\in {\mathbb R}$, \begin{align}\label{eq:abstract} \|(H_\varepsilon-e_0-\varepsilon^{\frac{m}{2}}μ)Φ_\varepsilon\|_{L^2({\mathbb R}^d)}={\mathcal O}(\varepsilon^{\frac{m}{2}+\frac{1}{4}}). \end{align} with \begin{align*} \|Φ_\varepsilon\|_{L^2({\mathbb R}^d)}=\frac{1}{|{\mathbb R}^d/\mathbb L|^{1/2}}+{\mathcal O}(\sqrt{\varepsilon}). \end{align*}
Related papers
- Anticoncentration of the Permanent in Ginibre Ensembles [11.09360259927697]
We prove that the normalized row-ordered permanent $W_nmathbbK=nameper_mathbbKG_nmathbbK/sqrtn!$ has a radial density $p_nmathbbK$ satisfying $|p_nmathbbK|_infty=p_nmathbbK(+2)/4$ and $sup_zinmathbbKmathbbP(|W_
arXiv Detail & Related papers (2026-07-22T16:15:28Z) - The Geometry Underlying the Quantum Harmonic Oscillator [51.56484100374058]
We show that the eigenfunctions $_n$ of the quantum Hamiltonian correspond to complex radial coordinates in the reduced phase space $mathbb C2/mathbb Z_nsubsetmathbb C2$.<n>We show that in the Kepler/hydrogen atom problem there is a similar correspondence between classical and quantum states.
arXiv Detail & Related papers (2026-04-23T07:38:35Z) - Complexity Bounds for Hamiltonian Simulation in Unitary Representations [0.0]
We consider the Hamiltonian evolution [ U_X(t) coloneqq (exp(tX)) = et,d(X), qquad tinmathbbR.<n>We first describe how the Hamiltonian (d(X)) is distributed along the directions of root spaces $mathfrakg_$.<n>Our main result shows that for each fixed (Xinmathfrakg) there exists a constant such that
arXiv Detail & Related papers (2026-03-07T14:28:46Z) - Discrete symmetries in classical and quantum oscillators [51.56484100374058]
We show the eigenfunctions $_n=zn$ of the quantum Hamiltonian in the complex Bargmann-Fock-Segal representation.<n>The superposition $=sum_n c_n_n$ arises only with incomplete knowledge of the initial data for solving the Schrdinger equation.
arXiv Detail & Related papers (2026-01-05T10:04:39Z) - Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
Consider a Hermitian operator $A$ acting on a complex Hilbert space of $2n$.<n>We show that when $A$ has small degree in the Pauli expansion, or in other words, $A$ is a local $n$-qubit Hamiltonian.<n>We show that whenever $A$ is $d$-local, textiti.e., $deg(A)le d$, we have the following discretization-type inequality.
arXiv Detail & Related papers (2025-09-15T14:26:11Z) - The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
We show that this problem has randomized communication complexity $Omega(frac1kcdot n2log|mathbbF|)$.
As an application, we obtain an $Omega(frac1kcdot n2log|mathbbF|)$ space lower bound for any streaming algorithm with $k$ passes.
arXiv Detail & Related papers (2024-10-26T06:21:42Z) - A class of ternary codes with few weights [0.0]
In this paper, we investigate a ternary code $mathcalC$ of length $n$, defined by $mathcalC$ := (textTr) := (textTr(dx), dots, dots, d_n$.
Using recent results on explicit evaluations of exponential sums, we determine the Weil bound, and techniques, we show that the dual code of $mathcalC$ is optimal with respect to the Hamming bound.
arXiv Detail & Related papers (2024-10-05T16:15:50Z) - Antiparticles in non-relativistic quantum mechanics [55.2480439325792]
Non-relativistic quantum mechanics was originally formulated to describe particles.<n>We show how the concept of antiparticles can and should be introduced in the non-relativistic case without appealing to quantum field theory.
arXiv Detail & Related papers (2024-04-02T09:16:18Z) - Exact objectives of random linear programs and mean widths of random
polyhedrons [0.0]
We consider emphrandom linear programs (rlps) as a subclass of emphrandom optimization problems (rops)
Our particular focus is on appropriate linear objectives which connect the rlps to the mean widths of random polyhedrons/polytopes.
arXiv Detail & Related papers (2024-03-06T11:51:52Z) - Convergence Rates of Stochastic Zeroth-order Gradient Descent for \L
ojasiewicz Functions [6.137707924685666]
We prove convergence rates of Zeroth-order Gradient Descent (SZGD) algorithms for Lojasiewicz functions.
Our results show that $ f (mathbfx_t) - f (mathbfx_infty) _t in mathbbN $ can converge faster than $ | mathbfx_infty.
arXiv Detail & Related papers (2022-10-31T00:53:17Z) - Learning a Single Neuron with Adversarial Label Noise via Gradient
Descent [50.659479930171585]
We study a function of the form $mathbfxmapstosigma(mathbfwcdotmathbfx)$ for monotone activations.
The goal of the learner is to output a hypothesis vector $mathbfw$ that $F(mathbbw)=C, epsilon$ with high probability.
arXiv Detail & Related papers (2022-06-17T17:55:43Z) - On Outer Bi-Lipschitz Extensions of Linear Johnson-Lindenstrauss
Embeddings of Low-Dimensional Submanifolds of $\mathbb{R}^N$ [0.24366811507669117]
Let $mathcalM$ be a compact $d$-dimensional submanifold of $mathbbRN$ with reach $tau$ and volume $V_mathcal M$.
We prove that a nonlinear function $f: mathbbRN rightarrow mathbbRmm exists with $m leq C left(d / epsilon2right) log left(fracsqrt[d]V_math
arXiv Detail & Related papers (2022-06-07T15:10:46Z) - Spectral properties of sample covariance matrices arising from random
matrices with independent non identically distributed columns [50.053491972003656]
It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$.
Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
arXiv Detail & Related papers (2021-09-06T14:21:43Z) - Optimal Mean Estimation without a Variance [103.26777953032537]
We study the problem of heavy-tailed mean estimation in settings where the variance of the data-generating distribution does not exist.
We design an estimator which attains the smallest possible confidence interval as a function of $n,d,delta$.
arXiv Detail & Related papers (2020-11-24T22:39:21Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.