Research
Conjecture Spotlight

Conjectures cracked

Recent math papers that claim to resolve, settle, or disprove a conjecture or hypothesis — surfaced by scanning the on-device index. Heuristic detection, so skim the digest to judge the claim.

Coverage: only math.DG and math.GTare indexed so far. Conjectures elsewhere in math — number theory (math.NT), algebraic geometry (math.AG), combinatorics (math.CO), and more — aren’t indexed yet, so nothing here doesn’t mean nothing happened.
48 candidates in the last all time

New PINNs method improves accuracy in computing Mean Escape Time from bounded domains.

problem Computing Mean Escape Time from bounded domains with high accuracy.
method Boundary-adapted Physics-Informed Neural Networks (PINNs) with exact Dirichlet boundary enforcement.
result Derivation of H2(Ω)H^2(Ω) a priori error bounds for PINNs with normalized distance approximations.

The paper proves a conjecture linking two metrics on manifold cohomology.

problem Proving a conjecture about metrics on manifold cohomology.
method Constructing complex structures, defining metrics, and proving the conjecture.
result Ray-Singer metric equals Milnor metric, linking analytic torsion to combinatorial data.

Study confirms nullity of biharmonic maps family, linking spectral and arithmetic geometry.

problem Prove nullity of biharmonic maps from flat 2-torus to round 2-sphere.
method Use spectral geometry, construct polynomial isomorphism with elliptic curve, determine rational points on spectral curve.
result Nullity of every map in the family is 5, confirming conjecture.

Graphs with nonnegative Bakry-Émery curvature have volume doubling and Poincaré inequalities.

problem Proving properties of graphs with specific curvature conditions.
method Graph-theoretic modified nonlinear heat-flow method, including point-mass consequences and diffusive exit-time control.
result Volume doubling and Poincaré inequalities for graphs with nonnegative Bakry-Émery curvature.

Improved Local SGD convergence for general convex objectives with bounded second-order heterogeneity.

problem Understanding when and why Local SGD outperforms alternatives in distributed optimization.
method Established improved convergence guarantees for Local SGD on general convex objectives under bounded second-order heterogeneity.
result Upper bounds for Local SGD are nearly tight, providing a sharper convergence theory.

Analyzes L2L^{2}-harmonic forms on curved manifolds, proving integrability conditions.

problem Analyzing integrability of L2L^{2}-harmonic forms on curved manifolds.
method Established LL^{\infty}-estimate via Moser iteration, proved vanishing of integrable forms.
result Proves that L2L^{2}-harmonic forms on non-positively curved manifolds are integrable if and only if they vanish.

Sharp inequality for compactifying Poincaré-Einstein manifolds.

problem Proving a sharp relative comparison inequality for compactifying Poincaré-Einstein manifolds.
method Proved a sharp relative comparison inequality for type-I Escobar-Yamabe compactification.
result Confirms a conjecture by proving the sharp relative comparison inequality.

Criterion for solvability of complex 2-Hessian equation on compact Kähler manifolds.

problem Solvability of complex 2-Hessian equation on compact Kähler manifolds.
method Nakai--Moishezon-type criterion associated with the complex 2-Hessian equation.
result Criterion equivalent to existence of a smooth 2-admissible representative in complex dimension three.

The paper proves a rigidity theorem for minimal submanifolds in spheres with flat normal bundle.

problem Proving rigidity for minimal submanifolds in spheres with flat normal bundle.
method Explicit second-gap rigidity theorem for the squared norm of the second fundamental form.
result The theorem provides evidence for Chern's conjecture in higher codimension.

Toroidal 3-manifolds have special group structures that can be shown through specific covers.

problem Characterizing the fundamental groups of toroidal 3-manifolds.
method Proving toroidal 3-manifolds have circularly-orderable fundamental groups by showing they admit finite cyclic covers with left-orderable fundamental groups.
result Toroidal 3-manifolds have circularly-orderable fundamental groups, which can be shown through specific covers.

Study on variance of Laplace eigenfunctions on manifolds.

problem Investigating the variance of Laplace eigenfunctions on compact manifolds.
method Combining Kac-Rice formula, Wiener-Itô chaos decompositions, and pointwise Weyl law analysis.
result Established a quantitative bound for the fluctuations of nodal volumes, improving existing results.

The paper proves a stability conjecture for manifolds with zero Euler characteristic.

problem Stability of manifolds with zero Euler characteristic under certain curvature conditions.
method Analyzes manifolds with dimensions 5 or more, proving stability under specific curvature and completeness conditions.
result 2006 Rosenberg's S1 \mathbb{S}^{1} -stability holds for manifolds with zero Euler characteristic.

This paper optimizes predicting support and resistance levels in financial markets.

problem Optimizing prediction of resistance and support levels in financial markets.
method Assuming a constant elasticity of variance process, the paper derives optimal trading boundaries using the aspiration level hypothesis.
result Optimal trading boundaries serve as predictors of resistance and support levels, located relative to the median interval of the hidden aspiration level.

Two-layer neural networks must be robust, even with arbitrary weights.

problem Proving the robustness of two-layer neural networks with arbitrary weights.
method Developed a new function-space covering method to prove the robustness law, replacing parameter-space covering.
result Proved the conjectured law for two-layer networks with arbitrary real weights, biases, and affine skip connections.

Study first-order locally convex Lie algebroids in Bastiani calculus.

problem Define and study first-order locally convex Lie algebroids.
method Define sheaves of Lie algebroid forms and morphisms, prove category structure, study representations and cohomology.
result First-order locally convex Lie algebroids form a category and have applications in Lie II theorems.

Counterexample found for Stein property of certain solvable Lie groups.

problem Stein property of simply connected unimodular solvable Lie groups with left-invariant complex structures.
method Constructing a solvable Lie group with specific properties.
result A simply connected solvable Lie group with a left-invariant complex structure whose universal cover is not Stein.

New stability concept for Poisson structures leads to constant curvature metrics.

problem Finding constant scalar curvature metrics in generalized Kähler geometry.
method Introducing Poisson K-stability and using infinite-dimensional momentum map techniques.
result Existence of constant scalar curvature symplectic generalized Kähler structures on Kähler-Einstein Fano manifolds.

Introduces Poisson K-stability for Kähler manifolds and proves existence of constant scalar curvature structures.

problem Stability conditions for Poisson structures on Kähler manifolds.
method Infinite-dimensional momentum map techniques.
result Existence of constant scalar curvature symplectic generalized Kähler structures on Kähler-Einstein Fano manifolds.

Solved a conjecture about rational homology projective planes with quotient singularities.

problem A conjecture about rational homology projective planes with quotient singularities.
method Combining Donaldson's diagonalization theorem with a distinguished spin^c structure on the smooth locus.
result Proved that rational homology projective planes with quotient singularities have at most three singular points.

Paper uses deep Ritz method for solving stationary Schrödinger equation, proving convergence and feature emergence.

problem Solving stationary Schrödinger equation with high-dimensional features.
method Deep Ritz method, gradient descent, single-index model, two-neuron model.
result Gradient descent converges to near-optimal solution, feature emergence observed in two-neuron model.

AEW estimator achieves optimal risk in expectation for large enough temperatures.

problem Understanding minimax-rate optimality of AEW estimator in model selection aggregation.
method Analyzing AEW estimator with exponential weights for squared loss under random design.
result AEW achieves excess risk Tlog(M)/(n+1)T \log (M) / (n+1) in expectation for large enough temperatures.

The study shows that certain Artin groups cannot contain hyperbolic manifold groups.

problem Proving that certain Artin groups cannot contain hyperbolic manifold groups.
method Elementary proof, using the Virtual Fibering Conjecture and Belegradek's splitting theorem.
result Right-angled Artin groups cannot contain finite volume hyperbolic 3-manifold groups.

Study homology manifolds using spectral sheaves and spectral six functor formalism.

problem Characterize and understand homology manifolds through spectral sheaves.
method Adapt six functor formalism to spectral sheaves on locally compact Hausdorff spaces.
result Prove that compact ANR homology manifolds are Poincaré duality complexes.

Proves surgery exact triangle for monopole Floer homology over integers.

problem Proving the surgery exact triangle for monopole Floer homology over integer coefficients.
method Modification of Kronheimer--Mrowka's local system and adaptation of Freeman's computation.
result Obtains a spectral sequence over integer coefficients for an oriented link in S3S^3.

Paper proves Gromov's conjecture on manifolds with certain group properties.

problem Gromov's conjecture on positive scalar curvature and simplicial volume.
method Proves conjecture under a fundamental group decay property.
result Proves Gromov's conjecture for manifolds with a weakened rapid decay property.

Researchers confirm scalar-flatness for critical metrics in 5-9 dimensions.

problem Verifying scalar-flatness for critical metrics in specific dimensions.
method Analyzing complete Riemannian manifolds with critical metrics of the L2L^2-scalar curvature functional.
result The conjecture that all complete noncompact critical metrics with finite energy are scalar-flat is confirmed for dimensions 5 to 9.

Study extends contact cosmetic surgeries to non-trivial Legendrian knots in L-spaces.

problem Contact cosmetic surgeries for Legendrian knots in L-spaces.
method Adapting techniques from S3 to L-spaces, incorporating Heegaard Floer theory constraints.
result Contact cosmetic surgery conjecture holds for non-trivial Legendrian knots, except for Lagrangian slice knots.

Every biharmonic Wintgen ideal submanifold in a Riemannian manifold of constant sectional curvature is either minimal or has constant mean curvature.

problem Biharmonic Wintgen ideal submanifolds in Riemannian manifolds of constant sectional curvature
method Show that every biharmonic Wintgen ideal submanifold in a Riemannian manifold of nonpositive constant sectional curvature is minimal and that every biharmonic Wintgen ideal submanifold in a Riemannian manifold of positive constant sectional curvature has constant mean curvature.
result Partial affirmative answers to Chen's conjecture, generalized Chen's conjecture in hyperbolic spaces, and Balmuş-Montaldo-Oniciuc conjecture in spheres within the class of Wintgen ideal submanifolds.

Constructing Einstein analogues with a non-zero cosmological constant

problem Constructing an Einstein analogue with a non-zero cosmological constant
method Proving the solution is either the Plebański-Demiański metric or has an anti-self-dual Weyl tensor
result For λ < 0, there is a conformal infinity separating two asymptotically hyperbolic metrics; one is globally conformal to an ALE scalar-flat Kähler metric; gravitational instantons with different topologies are constructed; the geometry is a 4-pole solution in the Calderbank-Pedersen classification

Compact locally conformal Kähler manifolds with constant Chern holomorphic sectional curvature are necessarily Kähler.

problem Chern version of the constant holomorphic sectional curvature conjecture for compact locally conformal Kähler manifolds
method Prove the conjecture using curvature identities and properties of Kähler metrics
result Compact locally conformal Kähler manifolds with constant Chern holomorphic sectional curvature are necessarily Kähler