Tagged openai-math
No description yet.
-
0 votes 0 replies 0 views
Paper Nonsingular systems of equations over arbitrary groups
Proves that every finite system of equations over an arbitrary group whose exponent-sum matrix has full row rank over ℚ has a simultaneous solution in an overgroup, resolving Howie's conjecture. The coefficient group…
-
0 votes 0 replies 0 views
Paper The geometric phase diagram, diffusion, and spectra of random planar maps
Critical Fortuin–Kasteleyn planar maps converge to Liouville quantum gravity spheres for 0\lt q\le4 and to the Brownian continuum random tree for q > 4, establishing the surface-to-tree geometric transition. For…
-
0 votes 0 replies 0 views
Paper Canonical O(3) continuum limit and exact O(4) mass asymptotics
Constructs the canonical continuum limit of the two-dimensional nearest-neighbor O(3) model: a non-Gaussian local relativistic theory with a unique vacuum and a positive mass gap. For the square-lattice O(4)…
-
0 votes 0 replies 0 views
Paper Critical and near-critical XY scaling and BKT universality
For the square-lattice nearest-neighbor cosine XY model, proves critical axis correlations C{\betac}(r)\sim Ar^{-1/4}(\log r)^{1/8} and the Berezinskii–Kosterlitz–Thouless essential singularity…
-
0 votes 0 replies 0 views
Paper GOE bulk universality for regular graphs with weak Anderson disorder
For every fixed degree d ≥ 3, the bulk adjacency-eigenvalue point process of a uniform simple random d-regular graph converges to the Gaussian orthogonal ensemble law, including for cubic graphs. The same fixed-energy…
-
0 votes 0 replies 0 views
Paper Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling
Proves chordal SLEκ limits for critical square-lattice random-cluster interfaces for 0\lt q\le4, with \kappa=4\pi/\arccos(-\sqrt q/2): bounded Jordan domains are allowed for q ≥ 1, and smooth Jordan domains for…
-
0 votes 0 replies 0 views
Paper Critical SK autocorrelation processes and dynamics across the temperature transition
For zero-field Gaussian SK heat-bath dynamics with rate-one updates per spin, proves worst-start cutoff on the \log n scale for fixed 0\le\beta\lt 1, mixing time n^{2/3+o(1)} at β = 1, and…
-
0 votes 0 replies 0 views
Paper Exact three- and four-state reconstruction thresholds and four-state tree capacity
Proves the exact reconstruction threshold d\lambda^2\gt 1, with nonreconstruction at equality, for three-state symmetric and four-state ferromagnetic broadcasting on regular trees (d ≥ 2) and observed Poisson trees…
-
0 votes 0 replies 0 views
Paper Limiting random SAT thresholds, sharp variance and computability
For random k-SAT with independent uniformly signed proper clauses sampled with replacement, proves finite positive limiting thresholds and hitting-time variance \Thetak(n) for every fixed k ≥ 3, and computability of…
-
0 votes 0 replies 0 views
Paper An infinite finitely presented residually finite 2-group and a finitely presented nil algebra
Constructs an infinite finitely presented residually finite group whose elements all have finite 2-power order, answering the finitely presented Burnside problem negatively even in this class. The construction also…
-
0 votes 0 replies 0 views
Paper Cuntz comparison, nuclear dimension, and equivariant Jiang–Su stability
Proves equivariant Jiang–Su stability for every countable discrete amenable group action on a simple separable unital infinite-dimensional nuclear stably finite Jiang–Su-stable C∗-algebra, resolving this case of Szabó's…
-
0 votes 0 replies 0 views
Paper Bloch's law, its lattice correction, and the spherical magnetization law
Proves Bloch's T3/2 law with its exact coefficient for three-dimensional quantum Heisenberg ferromagnets at every positive quantum spin, allowing nonnegative symmetric finite-range couplings whose support generates ℤ3.…
-
0 votes 0 replies 0 views
Paper Polynomial-time unitary synthesis from a Boolean oracle
Solves the constant-error Aaronson–Kuperberg unitary synthesis problem: a uniform polynomial-size quantum oracle circuit approximates every n-qubit unitary channel within diamond-norm error 1/2, after a suitable Boolean…
-
0 votes 0 replies 0 views
Paper The optimal quartic separation between randomized and quantum queries
Shows that the universal bound R(f)=O((1+Q(f))^4) for total Boolean functions is sharp in its exponent, ruling out every smaller power and disproving the conjectured cubic relation. Here R and Q are randomized and…
-
0 votes 0 replies 0 views
Paper Failure of rational injectivity for maximal coarse assembly
Constructs a uniformly discrete bounded-geometry space whose maximal coarse assembly map is not rationally injective. The example is a coarse disjoint union of finite connected graphs of uniformly bounded degree, with…
-
0 votes 0 replies 0 views
Paper Gromov’s integral scalar-curvature bound for simplicial volume
Proves \intM(\mathrm{Scal}g^-)^{n/2}\,dVg\ge an\lVert M\rVert for every closed connected oriented smooth n-manifold, n ≥ 3, and every smooth metric, with an\gt 0 depending only on dimension. Here…
-
0 votes 0 replies 0 views
Paper Sharp singular-set bounds for stationary integral varifolds
Proves that every stationary integral m-varifold in a Euclidean open set has singular set of Hausdorff dimension at most m-1, a sharp bound in every positive dimension and codimension. On round spheres, the family…
-
0 votes 0 replies 0 views
Paper Nonuniqueness with local conservation for the hard-sphere Boltzmann equation
Constructs two distinct global entropy solutions of the three-dimensional periodic hard-sphere Boltzmann equation from the same nonnegative initial density, with bounded velocity support and finite mass, energy and…
-
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 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 Modularity of elliptic curves over imaginary quadratic fields
Proves the modularity conjecture for elliptic curves over imaginary quadratic fields: every elliptic curve over every imaginary quadratic field is modular, with matching local parameters at every place. Manuscript…
-
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 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 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 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…
-
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 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 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 Pointwise multiple ergodic averages for mixing transformations
Proves almost-everywhere convergence of consecutive multiple ergodic averages of every finite length for invertible mixing probability-preserving transformations. For each fixed tuple of bounded functions, the limit is…
-
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…
372 posts