相关论文: Realizing arbitrarily large spectra of $\mathfrak{…
For over a century diffraction theory has been thought to limit the resolution of focusing and imaging in the optical domain. The size of the smallest spot achievable is inversely proportional to the range of spatial wavevectors available.…
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interface remains a significant limitation. Recent advancements in…
We discuss the spectral problem for integrable superstrings on generically twisted AdS_5 x S^5, meaning all its orbifolds and TsT transformed versions. We explicitly give the asymptotic description of these theories through a twisted…
We calculate frequency spectra of absolute optical instruments using the WKB approximation. The resulting eigenfrequencies approximate the actual values very accurately, in some cases they even give the exact values. Our calculations…
On any torus $\mathbb{T}^d$, $d \geq 2$, we prove the existence of a real-analytic diffeomorphism $T$ with a good approximation of type $\left(h,h+1\right)$, a maximal spectral type disjoint with its convolutions and a homogeneous spectrum…
Finding coarse representations of large graphs is an important computational problem in the fields of scientific computing, large scale graph partitioning, and the reduction of geometric meshes. Of particular interest in all of these fields…
We prove a new automorphy lifting theorem for l-adic representations where we impose a new condition at l, which we call `potential diagonalizability'. This result allows for `change of weight' and seems to be substantially more flexible…
Power spectral densities are often interpreted through ensemble averages and long-time asymptotics. In many experiments, however, only a single finite record is available, so spectral estimators remain broadly distributed and the usual…
Some rigorous results can be derived using a very simple approach to hadron spectroscopy, in which a static potential is associated with non-relativistic kinematics. Several regularities of the experimental spectrum are explained by such…
We derive quantitative bounds for eigenvalues of complex perturbations of the indefinite Laplacian on the real line. Our results substantially improve existing results even for real-valued potentials. For $L^1$-potentials, we obtain optimal…
By studying $\mathbb{A}^1$-curves on varieties, we propose a geometric approach to strong approximation problem over function fields of complex curves. We prove that strong approximation holds for smooth, low degree affine complete…
We theoretically investigate the optical force exerted on an isotropic particle illuminated by a superposition of plane waves. We derive explicit analytical expressions for the exerted force up to quadrupolar polarizabilities. Based on…
A mechanism for the inheritance of properties of spectra by differential spectra is developed and applied to prove geometric properties of morphisms of differential algebraic varieties.
We obtain sequences of inclusion sets for the spectrum, essential spectrum, and pseudospectrum of banded, in general non-normal, matrices of finite or infinite size. Each inclusion set is the union of the pseudospectra of certain…
The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved. Here, we develop a notion of goal types to capture key properties of…
New technological developments allow to explore the quantum properties of very complex systems, bringing the question of whether also macroscopic systems share such features, within experimental reach. The interest in this question is…
In a previous paper the second author developed a new approach to the abelian p-adic Stark Conjecture at s=1 and stated some related conjectures. This paper develops and applies techniques using p-adic measures and continued fractions to…
The method reducing the solution of the Schroedinger equation for several types of power potentials to the solution of the eigenvalue problem for the infinite system of algebraic equations is developed. The finite truncation of this system…
We review the proof of a conjecture concerning the reality of the spectra of certain PT-symmetric quantum mechanical systems, obtained via a connection between the theories of ordinary differential equations and integrable models. Spectral…
This paper addresses two different but related questions regarding an unbounded symmetric tridiagonal operator: its self-adjointness and the approximation of its spectrum by the eigenvalues of its finite truncations. The sufficient…