Mathematics Problem Archive
Multiple ergodic averages — Problem 6
v1.3 research notesIf a sequence is good for $2$-convergence of powers, then show that it is good for $2$-convergence of commuting transformations....
Multiple ergodic averages — Problem 10
v1.3 research notesSuppose that the sequence of $\ell$-tuples of polynomials $(p_{1,N},\ldots, p_{\ell,N})$ is good. Show that for every ergodic system $(X,\mathcal X,\m...
Multiple ergodic averages — Problem 11
v1.3 research notesLet $(X,\mathcal X,\mu,T)$ be a system and $f, g, h\in L^\infty(\mu)$ be functions. Show that the averages $$ \frac{1}{N}\sum_{n=1}^N f(T^nx)\cdot g(T...
Multiple ergodic averages — Problem 13
v1.3 research notesLet $(a(n))$ be the sequence of integers $(p_n)$, where $p_n$ is the $n$-th prime, or $([n^c])$ where $c>0$, or $(2^n)$. Is it true that for every erg...
Multiple ergodic averages — Problem 17
v1.3 research notesSuppose that the polynomials $p_1,\ldots,p_\ell\in \mathbb Z[t]$ are rationally independent and have zero constant term. Show that for every $A\in \ma...
Multiple ergodic averages — Problem 19
v1.3 research notesLet $(X,\mathcal X,\mu, T,S)$ be a system and $f,g\in L^\infty(\mu)$ be functions. Show that the averages $$ \frac1N \sum_{n=1}^N f(T^nx)\cdot g(S^nx)...
Multiple ergodic averages — Problem 22
v1.3 research notesHere $\mathcal F=\{a_1,\ldots,a_\ell\}$ is a family of functions of polynomial growth in one Hardy field, and $\operatorname{span}^*(\mathcal F)$ deno...
Multiple ergodic averages — Problem 24
v1.3 research notesLet $a,b$ be distinct positive non-integers. Show that for every ergodic system $(X,\mathcal{X},\mu,T)$ and functions $f, g \in L^\infty(\mu)$, we hav...
Multiple ergodic averages — Problem 28
v1.3 research notesShow that the sequence $([n \sin n])$ is good for multiple recurrence and convergence of powers....
Multiple ergodic averages — Problem 29
v1.3 research notesShow that if $c>1$ is not an integer, then the sequence $([n^c])$ is good for multiple recurrence and convergence of commuting transformations. Moreov...
Multiple ergodic averages — Problem 30
v1.3 research notesLet $\ell \in \mathbb N$ and $c,c_1,\ldots, c_\ell$ be positive real numbers. Show that the prime numbers contain patterns of the form $$ \{m,m+[n^{c}...
Multiple ergodic averages — Problem 32
v1.3 research notesSuppose that $n\sigma_n\to\infty$. Show that almost surely the following holds: For every system $(X,\mathcal X,\mu, T,S)$ and functions $f, g \in L^\...
Arnold and Arnold–Givental conjectures
v1.3 research notesFor a Hamiltonian diffeomorphism of a closed symplectic manifold, prove the Arnold lower bound on its number of fixed points in terms of Morse-theoret...
Berry–Tabor conjecture
v1.3 research notesFor a generic quantum system whose classical counterpart is integrable, prove that the unfolded high-energy level spacings have Poisson statistics....
Banach's simple Lebesgue spectrum problem
v1.3 research notesDoes there exist an ergodic measure-preserving transformation whose Koopman operator has simple Lebesgue spectrum?...
Kaplan–Yorke dimension conjecture
v1.3 research notesUnder the hypotheses in which the Lyapunov (Kaplan–Yorke) dimension is defined from the ordered Lyapunov exponents, prove that it equals the appropria...
Margulis measure-classification conjecture
v1.3 research notesClassify invariant ergodic probability measures for higher-rank diagonalizable group actions on homogeneous spaces; in particular, prove that the meas...
Unbounded outer-billiard orbits for almost every polygon
v1.3 research notesProve that the outer billiard about almost every convex polygon has an unbounded orbit....
Quantum unique ergodicity
v1.3 research notesLet $M$ be a compact negatively curved Riemannian manifold. Do the probability measures $|\varphi_j|^2\,d\operatorname{vol}$ associated with every ort...
Elliptic-billiard invariant k_{501}
v1.3 research notesFix an ellipse with center $O$ and foci $f_1,f_2$, and let $P=(P_i)_{i=1}^N$ range over its Poncelet family of $N$-periodic billiard orbits tangent to...
Elliptic-billiard invariant k_{502}
v1.3 research notesFix an ellipse with center $O$ and foci $f_1,f_2$, and let $P=(P_i)_{i=1}^N$ range over its Poncelet family of $N$-periodic billiard orbits tangent to...
Elliptic-billiard invariant k_{503}
v1.3 research notesFix an ellipse with center $O$ and foci $f_1,f_2$, and let $P=(P_i)_{i=1}^N$ range over its Poncelet family of $N$-periodic billiard orbits tangent to...
Elliptic-billiard invariant k_{701}
v1.3 research notesFix an ellipse with center $O$ and foci $f_1,f_2$, and let $P=(P_i)_{i=1}^N$ range over its Poncelet family of $N$-periodic billiard orbits tangent to...
Elliptic-billiard invariant k_{702}
v1.3 research notesFix an ellipse with center $O$ and foci $f_1,f_2$, and let $P=(P_i)_{i=1}^N$ range over its Poncelet family of $N$-periodic billiard orbits tangent to...
Elliptic-billiard invariant k_{703}
v1.3 research notesFix an ellipse with center $O$ and foci $f_1,f_2$, and let $P=(P_i)_{i=1}^N$ range over its Poncelet family of $N$-periodic billiard orbits tangent to...
Elliptic-billiard invariant k_{803}
v1.3 research notesFix an ellipse with center $O$ and foci $f_1,f_2$, and let $P=(P_i)_{i=1}^N$ range over its Poncelet family of $N$-periodic billiard orbits tangent to...
Open Problems on Billiards and Geometric Optics
v1.3 research notesLet $\gamma$ be a smooth closed strictly convex plane curve, parametrized by arc length $s$, and let $d>0$. Form a sphere-like surface by gluing the t...
Open Problems on Billiards and Geometric Optics
v1.3 research notesLet $\gamma$ be a smooth closed strictly convex plane curve. The outer billiard map $T$ sends a point $A$ near $\gamma$ to the point $T(A)$ for which ...
Open Problems on Billiards and Geometric Optics
v1.3 research notesLet $\gamma$ be a smooth closed strictly convex curve and $\delta\in(0,\pi/2)$. Say that $\gamma$ has the $\delta$-Gutkin property if the curve of inc...
Open Problems on Billiards and Geometric Optics
v1.3 research notesA planar projective billiard is a bounded domain $\Omega$ whose piecewise-smooth boundary carries a transverse line field $L$. At $p\in\partial\Omega$...
Open Problems on Billiards and Geometric Optics
v1.3 research notesLet $\gamma\subset\mathbb{R}^n$ be a closed strictly convex hypersurface, and let $\Pi$ be the phase cylinder of oriented lines meeting $\gamma$ trans...
Open Problems on Billiards and Geometric Optics
v1.3 research notesLet $g^t:\mathbb{R}^2\to\mathbb{R}^2$ be a Lebesgue-measure-preserving flow or cascade. A point is trapped if its positive semiorbit is bounded and it...
Open Problems on Billiards and Geometric Optics
v1.3 research notesA uniformly massive planar body $B$ moves through a uniform medium of initially stationary infinitesimal particles, which reflect elastically from $\p...
Open Problems on Billiards and Geometric Optics
v1.3 research notesA body moves freely in a rarefied medium in $\mathbb{R}^n$, $n\geq1$, under Newtonian aerodynamics. Determine the equations of motion and prove existe...
Open Problems on Billiards and Geometric Optics
v1.3 research notesIn $\mathbb{R}^n$, the space $\mathcal{L}$ of oriented lines has dimension $2n-2$ and a natural symplectic structure. Normal families of rays form Lag...
Open Problems on Billiards and Geometric Optics
v1.3 research notesFor a planar oval $\gamma$, alternately follow chords in two fixed directions to obtain a circle map $F:\gamma\to\gamma$. If $F$ is conjugate to a rot...
Open Problems on Billiards and Geometric Optics
v1.3 research notesIn a planar symplectic billiard on an oval, the chord $xy$ reflects to $yz$ when the tangent at $y$ is parallel to $xz$; define polygonal symplectic b...
Open Problems on Billiards and Geometric Optics
v1.3 research notesFor an oval $\gamma$ and a light source inside it, call the envelope of rays after $n$ reflections the $n$th caustic by reflection. Is every generic c...
Polynomial matings that are rational
v1.3 research notesGiven two monic polynomials of the same degree with connected filled Julia sets, form their topological mating by identifying their circles at infinit...
Quasiconformal construction of matings
v1.3 research notesCan polynomial matings, including cases with infinite critical orbits, be constructed directly by quasiconformal cut-and-paste surgery?...
Continuity of polynomial mating
v1.3 research notesWhen one or both input polynomials in a mating vary continuously, does the resulting rational function vary continuously?...
Polynomial realization of tuning
v1.3 research notesFor polynomials $P_1,P_2$ satisfying the tuning construction's connectedness and critical-basin hypotheses, is the resulting topological branched map ...
Boundary of the principal hyperbolic component
v1.3 research notesLet $B(z^n)$ be the set of degree-$n$ polynomials with an attracting fixed point whose immediate basin contains every critical point. Describe the bou...
Thurston's algorithm without critical finiteness
v1.3 research notesStarting with an orientation-preserving branched covering $f_0:S^2\to S^2$ and three marked base points, iteratively conjugate it as in Thurston's pul...
Arithmetic criterion for Jordan Siegel disks
v1.3 research notesFor a quadratic Siegel polynomial with rotation angle $\theta$, find the arithmetic condition on $\theta$ that makes the Siegel-disk boundary a Jordan...
Angle and renormalization at the golden-mean Siegel critical point
v1.3 research notesFor the quadratic Siegel polynomial with rotation angle $\theta_0=(\sqrt5-1)/2$, prove that the Siegel-disk boundary has the experimentally observed o...
John domains at general Misiurewicz points
v1.3 research notesAnalyze Julia and Fatou geometry at a general Misiurewicz parameter whose critical point never returns close to itself. To what extent does the real-q...
External rays landing at a Cremer point
v1.3 research notesCan any external ray land at a Cremer periodic point?...
Accessibility of the critical point in a Cremer Julia set
v1.3 research notesCan the critical point of a Cremer polynomial be accessible from the complement of its Julia set?...
Components after removing a Cremer fixed point
v1.3 research notesFor a quadratic Cremer polynomial $P_\alpha$, how many connected components does $J(P_\alpha)\setminus\{0\}$ have? In particular, is the number counta...