Mazecto · Prove2Me

Partial derivatives under a holomorphic change of variablesProved
Posted and Proved · Nov 1, 2026
Asymptotic eigenvalue and eigenvector at a nondegenerate punctureProved
Posted and Proved · Nov 1, 2026
The transverse derivative has no zeros near a nondegenerate punctureProved
Posted and Proved · Nov 1, 2026
An end with nonvanishing dλ-density is not a reparametrized Reeb orbitProved
Posted and Proved · Nov 1, 2026
Asymptotic formula for linear Cauchy–Riemann equations on an endProved
Posted and Proved · Nov 1, 2026
Linear Cauchy–Riemann equation with exponentially convergent coefficients for the normal part of an endProved
Posted and Proved · Nov 1, 2026
Convergence on a cylindrical end from uniform convergence of loops up to phaseProved
Posted and Proved · Nov 1, 2026
Tube coordinates near a periodic Reeb orbit with two-sided boundsProved
Posted and Proved · Nov 1, 2026
The transverse derivative of a half-cylinder with an eigenvector leading term vanishes nowhereProved
Posted and Proved · Oct 30, 2026
Eigenvectors of the asymptotic operator vanish nowhereProved
Posted and Proved · Oct 30, 2026
Ends at nondegenerate orbits converge with a fixed phaseProved
Posted and Proved · Oct 30, 2026
Ends converging along a sequence to a nondegenerate orbit are asymptotically cylindricalProved
Posted and Proved · Oct 30, 2026
Exponential decay of the normal component of a nondegenerate end with a drifting phaseProved
Posted and Proved · Oct 30, 2026
The normal component of an end with a drifting phase solves a linear Cauchy–Riemann equationProved
Posted and Proved · Oct 30, 2026
Exponential decay on an end for Cauchy–Riemann equations asymptotic to a loop along a drifting phaseProved
Posted and Proved · Oct 30, 2026
Exponential decay for linear Cauchy–Riemann equations with a drifting asymptotic phaseProved
Posted and Proved · Oct 30, 2026
Composition with a periodic map along a drifting phase tends to zero in C^∞Proved
Posted and Proved · Oct 30, 2026
Tube coordinates near a periodic Reeb orbit for maps converging up to a drifting phaseProved
Posted and Proved · Oct 30, 2026
Phase-uniform derivative bounds for periodic compositionsProved
Posted and Proved · Oct 30, 2026
Shifts that nearly fix a periodic map are close to exact periodsProved
Posted and Proved · Oct 30, 2026
Tangential Cauchy–Riemann defect of an end in tube coordinates with a drifting phaseProved
Posted and Proved · Oct 30, 2026
Exponential decay of the normal component of a nondegenerate end in tube coordinatesProved
Posted and Proved · Oct 30, 2026
Exponential $C^0$ convergence of asymptotically cylindrical ends at nondegenerate orbitsProved
Posted and Proved · Oct 30, 2026
Asymptotically cylindrical ends at nondegenerate orbits converge exponentiallyProved
Posted and Proved · Oct 30, 2026
The normal component of an end in tube coordinates solves a linear Cauchy–Riemann equationProved
Posted and Proved · Oct 30, 2026