Mathematics Problem Archive
Elliptic-billiard invariant k_{807}
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_{808}
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_{809}
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_{810}
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_{811}
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_{812,a}
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_{812,b}
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_{813}
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_{814}
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_{815}
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_{816}
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_{817}
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_{818}
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_{903,a}
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_{904,a}
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_{905}
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_{906}
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_{907,a}
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_{907,b}
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_{908,a}
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_{908,b}
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 notesFor a Birkhoff billiard inside a closed smooth strictly convex hypersurface $S\subset\mathbb{R}^d$, let $T$ act on the space $\mathbb{A}$ of oriented ...
Open Problems on Billiards and Geometric Optics
v1.3 research notesLet $\gamma$ be a smooth convex plane billiard table symmetric about an axis $l$, and let $C$ be a convex caustic. Must $C$ be symmetric about $l$? Pr...
Open Problems on Billiards and Geometric Optics
v1.3 research notesSuppose a bounded strictly convex planar billiard has two nested closed caustics such that the smaller caustic is itself a caustic for the billiard in...
Open Problems on Billiards and Geometric Optics
v1.3 research notesLet $C\subset\mathbb{R}^2$ be a curve and translate it through an $\varepsilon$-square lattice, recording a click whenever it meets a lattice point. C...
Open Problems on Billiards and Geometric Optics
v1.3 research notesFor an oval $\gamma$, the area spectrum of its outer billiard is the set of areas of the circumscribed polygons formed by periodic outer-billiard traj...
Quasiconformal construction of tunings
v1.3 research notesCan polynomial tunings be constructed by quasiconformal surgery?...
Continuity of tuning in the inserted polynomial
v1.3 research notesFor a fixed polynomial $P_1$, does the polynomial obtained by tuning $P_1$ with $P_2$ vary continuously with $P_2$?...
Continuity of tuning in the host polynomial
v1.3 research notesAmong polynomials $P_1$ of degree greater than two with a superstable orbit of fixed period, does the tuning with a fixed $P_2$ vary continuously with...
Limit of tunings along growing periods
v1.3 research notesLet $P_{1,k}$ have a superstable orbit whose period tends to infinity and suppose $P_{1,k}\to P_{1,\infty}$. Do the tunings with a fixed polynomial $P...
Polynomial realization of intertwining
v1.3 research notesWhen does the topological intertwining construction for two polynomial dynamical planes yield a branched map conjugate to a polynomial?...
Quasiconformal construction of intertwinings
v1.3 research notesCan polynomial intertwinings be constructed by quasiconformal surgery?...
Continuity of polynomial intertwining
v1.3 research notesFor a fixed first polynomial $P_1$, does the polynomial obtained by intertwining $P_1$ with $P_2$ vary continuously with $P_2$?...
Local connectivity of the Mandelbrot set
v1.3 research notesIs the Mandelbrot set locally connected? Equivalently, for the quadratic family $z\mapsto z^2+\lambda$, is the boundary of the unbounded component of ...
Non-equivalent compactifications of Blaschke-product space
v1.3 research notesFor a degree-$n$ Blaschke product $A$, let $B(A)$ be the rational maps obtained by mating $A$ with a varying Blaschke product, and let $F:B(z^n)\to B(...
Boundary quotient independent of base Blaschke product
v1.3 research notesQuotient the boundary of $B(A)$ by quasiconformal conjugacy, writing the quotient as $\partial(A)$. Prove that the natural isomorphism $F:B(z^n)\to B(...
Combinatorial boundary of Blaschke-product space
v1.3 research notesGive a combinatorial description, possibly by laminations, of the quotient boundary space $\partial(z^n)$ obtained from the boundary of $B(z^n)$ by id...
Domains of holomorphy for expanding-map components
v1.3 research notesIs $B(z^n)$ a domain of holomorphy? More generally, is every component of the space of expanding rational maps, or of expanding polynomials, a domain ...
Density of cusps in a cubic parameter boundary
v1.3 research notesFor $f_\lambda(z)=\lambda z^2+z^3$, let $U$ be the parameter component where both finite critical points lie in the immediate basin of zero. Prove tha...
Jordan boundary of a cubic parameter component
v1.3 research notesFor $f_\lambda(z)=\lambda z^2+z^3$, let $U$ be the parameter component where both finite critical points lie in the immediate basin of zero. Prove tha...
Uniform geometry in complex renormalization
v1.3 research notesLet $f_i(z)=z^2+c_i$ range over finitely many critically periodic quadratic polynomials, let $g_n$ be the iterated tuning $f_1\vdash\cdots\vdash f_n$,...
Taylor-coefficient regularity of a Siegel conjugacy
v1.3 research notesFor $P_\rho'(z)=\lambda(1-z)^\rho$, $P_\rho(0)=0$, let $h$ linearize the Siegel disk and write $h'(\zeta)/(1-h(\zeta))=\sum_{\nu\ge0}a_\nu\zeta^\nu$. ...
Arc in a Cremer Julia set
v1.3 research notesFor $P_\alpha(z)=z^2+e^{2\pi i\alpha}z$ with a Cremer fixed point at $0$, is there an arc in its Julia set joining $0$ to its preimage $-e^{2\pi i\alp...
Topological model for a Cremer Julia set
v1.3 research notesGive a plausible topological model for the Julia set of a Cremer polynomial....
Computer picture of a Cremer Julia set
v1.3 research notesProduce a reliable computer picture of the Julia set of a Cremer polynomial....
Lebesgue ergodicity on a spherical Julia set
v1.3 research notesIf $J(f)=\widehat{\mathbb C}$, is $f$ ergodic for Lebesgue measure? At least, does it have at most $2\deg f-2$ ergodic components?...
Invariant line fields on Julia sets
v1.3 research notesAre Lattès maps the only rational maps having measurable invariant line fields on their Julia sets?...
Accessibility of positive-exponent boundary points
v1.3 research notesIn the setting of Przytycki Problem 1.1, is every $x\in\partial U$ with $\liminf_{n\to\infty}n^{-1}\log|(f^n)'(x)|>0$ accessible from $U$?...
Unbounded Jacobian cocycles and singularity
v1.3 research notesFor which positive-entropy invariant measures $m$ does failure of uniform $L^2(m)$ boundedness of the sums of $\log\operatorname{Jac}_m f-\kappa\log|f...
Bounded Jacobian cocycles and absolute continuity
v1.3 research notesFor which positive-entropy invariant measures $m$ does uniform $L^2(m)$ boundedness of the sums of $\log\operatorname{Jac}_m f-\kappa\log|f'|$, where ...