Tagged openai-math
No description yet.
-
1 vote 0 replies 1 views
Paper Spacetime Penrose inequalities: enclosing area, charge, rotation, and anti-de Sitter extensions
Proves the sharp enclosing-area spacetime Penrose inequality for smooth one-ended asymptotically flat initial data in every spatial dimension n ≥ 3, under dominant energy, weak future trapping, positive enclosing area,…
-
0 votes 0 replies 0 views
Paper Log-canonical threefold abundance in numerical dimension one
Proves log abundance for projective log canonical threefold pairs over algebraically closed fields of characteristic p > 3 when the effective boundary is rational and the ℚ-Cartier adjoint is nef of numerical…
-
0 votes 0 replies 0 views
Paper Approximate counting of common integer polymatroid bases
Gives a fully polynomial randomized approximation scheme for counting common integer bases of two integral polymatroids of equal total rank, supplied by exact rank-value oracles. Capacities are binary-encoded, each…
-
0 votes 0 replies 0 views
Paper Uchida’s conjecture for open homomorphisms of Galois groups
Proves Uchida's conjecture: every continuous open homomorphism between Galois groups of possibly infinite solvably closed Galois extensions of number fields comes from a unique equivariant field embedding in the…
-
0 votes 0 replies 0 views
Paper Spectral scalar curvature, Urysohn width, and macroscopic dimension
Every complete connected smooth boundaryless n-manifold, n ≥ 3, satisfying -4\Delta+\mathrm{Scal}\ge1 as a quadratic-form inequality admits a continuous map to a simplicial complex of dimension at most n-2 whose…
-
0 votes 0 replies 0 views
Paper Positive-temperature Bose–Einstein condensation and exact quantum depletion
Proves Bose–Einstein condensation for the exact canonical Gibbs state of the three-dimensional hard-sphere gas: each fixed exclusion distance and sufficiently small fixed density admit a strictly positive temperature,…
-
0 votes 0 replies 0 views
Paper The geometric case of the Erdős similarity conjecture
For every fixed q\in(0,1), constructs compact subsets of [0,1] with measure arbitrarily close to one containing no translated and nontrivially dilated copy of \{q^n:n\ge1\}, with dilations of either sign.…
-
0 votes 0 replies 0 views
Paper Joint metric and connection recovery from one boundary patch
Zero-frequency measurements on any nonempty open boundary patch determine a smooth metric and smooth unitary connection on a trivial Hermitian rank-two bundle over a compact connected manifold of dimension at least…
-
0 votes 0 replies 0 views
Paper An L^{3} bound for the trilinear Hilbert transform
Proves that the principal-value trilinear Hilbert transform with shifts x-t, x-2t, x-3t is bounded from L^3(\mathbb R)^3 to L^1(\mathbb R). This resolves the L3 exponent case of the standard…
-
0 votes 0 replies 0 views
Paper Uniform Laughlin gap and stability under bounded scalar disorder
Proves the fermionic Laughlin spectral-gap conjecture for the full V1 interaction at filling 1/3 on the round sphere. The unique ground state remains uniformly gapped under sufficiently weak bounded real scalar one-body…
-
0 votes 0 replies 0 views
Paper Virasoro constraints for complete intersections and projective-bundle towers
Proves the full ordinary unreduced descendant Virasoro conjecture for smooth complete intersections in complex projective space, in every genus and curve class with arbitrary cohomology insertions. The constraints also…
-
0 votes 0 replies 0 views
Paper Nagata’s conjecture and maximal Seshadri constants
Proves Nagata's strict inequality \sumi mi\lt d\sqrt r for every nonzero effective plane curve of degree d through r ≥ 10 very general complex points, with arbitrary multiplicities mi. It also proves maximal…
-
0 votes 0 replies 0 views
Paper Shafarevich counterexamples in dimension two and with large fundamental group
Constructs a smooth projective complex fourfold with large fundamental group whose universal cover contains no positive-dimensional compact analytic subvariety but is neither Stein nor holomorphically convex. A separate…
-
0 votes 0 replies 0 views
Paper Talagrand’s expectation thresholds, discrete convexity, and graph decompositions
Proves that integral and fractional expectation thresholds differ by at most a universal factor, and resolves Talagrand's discrete-convexity conjecture. An application proves the Ascoli–He–Park–Talagrand…
-
0 votes 0 replies 2 views
Paper Annular variation and dyadic absolute bounds for the triangular Hilbert transform
Proves maximal and annular r-variation bounds, for every r > 2, from complex L^3(\mathbb R^2)\times L^3(\mathbb R^2) to L^{3/2}(\mathbb R^2). The maximal estimate controls both hard truncation endpoints and…
-
0 votes 0 replies 0 views
Paper Hyperbolicity cones without semidefinite lifts
Disproves the Projected Lax conjecture: some hyperbolicity cones are not spectrahedral shadows. The examples admit no exact finite affine semidefinite lift, regardless of the number of auxiliary variables or the real…
-
0 votes 0 replies 0 views
Paper Amenability, unitarizability, and strong Ulam stability
Resolves Dixmier's problem for all discrete groups: amenability is equivalent to every uniformly bounded Hilbert-space representation being similar to a unitary representation. For countable discrete groups, amenability…
-
0 votes 0 replies 0 views
Paper The sharp simplex conjecture for isotropic constants
Proves that simplices uniquely maximize the isotropic constant among convex bodies in every dimension, resolving the strong isotropic constant conjecture. Also establishes the sharp entropy lower bound for log-concave…
-
0 votes 0 replies 0 views
Paper Nonnegative-curvature Einstein classification and an L^{2} topological gap
Classifies closed connected Einstein four-manifolds with positive Einstein constant and nonnegative sectional curvature: up to scaling, their universal Riemannian covers are the round S4, Fubini–Study \mathbb{CP}^2,…
-
0 votes 0 replies 0 views
Paper Fundamental groups of special complex varieties and root orbifolds
Proves Campana's abelianity conjecture: special compact Kähler manifolds have virtually abelian fundamental groups. Using this theorem, establishes the same conclusion for order-two root orbifolds of smooth projective…
-
0 votes 0 replies 0 views
Paper Existential–universal real sentences in the counting hierarchy
Proves that the existential theory of the reals lies in the counting hierarchy. More generally, truth of existential–universal real sentences can be decided at one fixed level of that hierarchy, even when their integer…
-
0 votes 0 replies 0 views
Paper Sharp singularity rates for symmetric random sign matrices
Determines the sharp exponential singularity rate of symmetric random sign matrices with independent entries on and above the diagonal. Uniform signs give \Pr(\det An=0)=(1/2+o(1))^n; for fixed bias…
-
0 votes 0 replies 0 views
Paper Deterministic polynomial factorization over prime fields
Gives a uniform deterministic algorithm that completely factors every nonzero dense degree-n polynomial over a prime field 𝔽p, including multiplicities, in bit complexity polynomial in (n+1)\log p. The prime is…
-
0 votes 0 replies 0 views
Paper Subset Sum in O(2^{0.49n}) time
Gives a uniform randomized classical algorithm for worst-case Subset Sum in ordinary O(2^{0.49n}) word-RAM time on polynomial-bit inputs, where n counts the integers. The time bound holds on every execution and…
-
0 votes 0 replies 0 views
Paper Interior C^{1,\alpha} regularity for infinity-harmonic functions
Proves uniform interior C^{1,\alphad} regularity for bounded infinity-harmonic functions in every dimension d ≥ 3, for a positive exponent depending only on dimension. The gradient's supremum norm and Hölder…
-
0 votes 0 replies 0 views
Paper A torsion-free group algebra that is not directly finite
Constructs a finitely presented torsion-free nonsofic group whose group algebra over 𝔽2 is not directly finite, disproving Kaplansky's conjecture even without torsion. Companion examples give injective nonsurjective…
-
0 votes 0 replies 0 views
Paper Nonhomeomorphic closed aspherical four-manifolds
Constructs closed connected aspherical topological four-manifolds that are homotopy equivalent but not homeomorphic, with a common word-hyperbolic fundamental group. This disproves even the homeomorphism-existence…
-
0 votes 0 replies 0 views
Paper Uniform black-box noncommutative identity testing across characteristics
For each characteristic, constructs in deterministic polynomial bit time a polynomial-dimensional matrix tuple detecting every nonzero division-free noncommutative formula of bounded size over any field of that…
-
0 votes 0 replies 0 views
Paper Global quantum geometric Langlands at irrational level
Proves the unramified de Rham quantum geometric Langlands equivalence for every connected simple complex algebraic group on every smooth projective connected complex curve, at every shifted level $`c\in\mathbb…
-
0 votes 0 replies 0 views
Paper Primitive roots for every admissible integer base
Proves the infinitude assertion in Artin's primitive root conjecture for every integer a that is neither −1 nor a square. For each such base, at least ca x/(\log x)^2 primes in every sufficiently large interval…
372 posts