87,915 records
- The Quasi-Riemann Hypothesis: A Zero-Free Half-Plane $\Re s\gt 7/8$
- On the Navier–Stokes Millennium Prize Problem
- The irrationality exponent of pi is 2
- Thompson's group F is nonamenable
- Rapid mixing for Gibbs samplers for quantum spin systems with all-to-all interactions
- Fast and accurate neural triage decoding of ultra-high-rate quantum LDPC codes
- Locality in Dissipative Ground-State Preparation
- The TEMPO network can be made independent of the system size
- Sublinear thermal state and ground state preparation for free fermions via system-bath interaction
- Fast and accurate rare-event simulation by Markov chain Monte Carlo for general quantum codes
- Decoding with alternating weighted graph sparsification for quantum low-density parity-check codes
- Complete entropy contraction from conditional hyperboundedness
- Initial-State Preparation for Strongly Correlated Molecules from Matrix Product States: Benchmarking and Environment-Aware Divide-and-Conquer Compilation
- Designing more efficient quantum circuits with Claude
- Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank
- Fontaine–Mazur modularity at the prime 2
- Hilbert’s tenth problem over the rational numbers
- The Quasi-Riemann Hypothesis (alternate 11/12 proof)
- Modularity of elliptic curves over imaginary quadratic fields
- Primitive roots for every admissible integer base
- Catalan's constant is irrational
- The Partition Principle does not imply Choice
- Uniform bounds for planar polynomial limit cycles
- A translational tile with no fully periodic tiling in dimension three
- Integer multiplication below n log n
- The Euclidean plane is not five-colorable
- Fermat's Last Theorem in Lean 4
- Beyond transversality: structure of Clifford circuits for CSS codes
- Truly Subquadratic 3SUM and Truly Subcubic APSP: a Lean 4 formalization
- Zeta23 — more than two thirds of the zeta zeros are simple and on the critical line
- Long-running Claude for scientific computing
- Determination Patterns in Infinite Dependency Models
- The additive theorem for 2-transitive Galois groups (Girstmair; Dixon, Theorem 1') and its representation-theoretic engine
- Sharp reset thresholds for bounded-response synchronization games with a sink
- PCF all the way down
- The two-qubit Hardy ladder: the closed form P_K*(q) and its unique maximiser for every K, Hardy's optimum at K = 1, and the optimum (8 rho^2 + rho - 11)/25 in the cubic field Q(rho) at K = 2
- Reciprocity formulas for generalized Dedekind character sums
- A lattice path model for Schubert and forest polynomials: positivity and combinatorial interpretations
- Borsuk number in four dimensions is at most seven
- Additive preservers of mutual strong numerical radius orthogonality
- A rhombic spin-1 interpretation of a room-temperature GaN emitter
- The measure contraction property and rectifiability
- Weighted Turán densities for hypergraphs
- Hermitian Clifford Analysis on Euclidean Domains with Smooth and Fractal Boundaries: A Survey of Matrix Cauchy and Hilbert Transforms, Boundary Value Problems, Helmholtz-Type Dirac Operators and Duality
- Time-Switching Energy-Harvesting Quantum Relay-Assisted FSO Communication with Displaced Squeezed Signaling
- Finding solutions with the Borsuk-Ulam theorem
- Sparse domination and an extended $L^p$ range for the trilinear Hilbert transform
- Regularized Master-Field Approximation for Mass-Deformed Supersymmetric Yang-Mills Matrix Models
- Logarithmic transformations on the six-sphere
- The inverse problem for Julia limiting directions in the Eremenko--Lyubich class