4,439 records
- Contractor Filters
- Learning a Group Element from Its Action: Galois Correspondences, Optimal ERM, and an Abel-Ruffini Threshold for the Natarajan Dimension
- Finite-on-Top-of-Temporal CSPs in Fixed-Point Logic
- A Practical Combinatorial Interior Point Method for Minimum-Cost Flow
- Full classification of $\mathbb{Z}_{p^s}$-linear generalized Hadamard codes
- The Singularity Has a Distribution: Exact Timing Laws and Detection Limits for a Stochastic Intelligence Explosion
- Last-Iterate Convergence of Clipped SGD with Linear Decay
- Subgaussian Vector Balancing by an Ising Model
- Orientation Estimation of Cryo-EM Images for Molecules with Arbitrary Symmetry by Semidefinite Programming
- Optimal Support Size Testing
- A Rate Transfer Method: Convergence Rates in Stochastic Gradient Descent via Stochastic Calculus
- Selecting the 7th Smallest of 16 Elements Takes Exactly 28 Comparisons
- Exact Topological Compliance: Generating Persistence-Equivalent Graphs
- Lag: A Mean-Field Optimal Policy for Online Assignment with Reusable Resources
- Graph Coarsening Enables Escaping Local Optima in Compute-Constrained Nonconvex MAX-CUT
- With Leverage, the Gambler is Not the One Who Gets Ruined
- Full-Order Safety for Nonlinear Reduced-Order MPC
- Deterministic Integer 3SUM in O(n^1.999017) Time via a Sharper Binomial-Tail Analysis
- A lower bound of 21 for 3 × 3 matrix multiplication over every field
- QPTAS for Max Weight Independent Set in Graphs with Strongly Edge-Sublinear Separators
- Robust Quickest Change Detection with Cost-Efficient Experiment Design and Unknown Post-Change Model
- Online Submodular Welfare Maximization: Computation is not the Bottleneck
- Fourier entropy of threshold functions and their compositions
- Double circulant LCD codes over $\mathbb{F}_2+u\mathbb{F}_2$ and constructions for binary LCD codes
- Reflected Proximal Dynamics for Accelerated High-Accuracy Log-Concave Sampling
- NP-hardness of additive approximation for generalized Turán problems
- Track objects in cubical presheaf automata
- Some complete $ω$-powers of a one-counter language in the difference hierarchy
- Asymptotic Risk of Learning-Rate Schedules for Least-Squares Regression with Discretely Distributed Features
- AI Discovery in Combinatorics: From Problems to Solutions and Back to Bigger Problems
- Period Piece: NEXPTIME-complete problems on digraphs via Boolean network dynamics
- Averaged Annealed Markov Chains Achieve the Algorithmic Threshold for Tensor PCA, Part I: Glauber Dynamics
- The Online Steinitz Problem
- A Deterministic $0.401$-Approximation for Non-monotone Submodular Maximization under Matroid Constraints
- Information-Theoretic Limits for Rectangular Spiked Matrix Models with Rotationally Invariant Noise
- GpFlash: Maximizing Speed and Minimizing Memory for Gaussian Process Training and Prediction
- Exponential Local Search in Bounded-Occurrence MAX-CSP
- Graph Distortion Distances, Gromov-Hausdorff and the Hardness of Gromov-Wasserstein
- Intrinsic Geometry Matching: learning observation-equivariant process geometry
- DynaSPLIT: Strong tail-optimal scheduling for the M/G/n with heavy-tailed job sizes
- An exact computer-assisted lower bound for Fisher-information convexity along the two-dimensional heat flow
- Asymptotics of Random-Lattice Enumeration: Beyond HKZ via Dense Sublattices
- Rydberg Atomic Quantum Receivers for OFDM Systems: An Atomic-Comb Design
- A Four-by-Four Obstruction to Polynomial Removal for Ordered Binary Matrices
- FirstFit coloring process of random bipartite graphs and an online coloring lower bound in the random order model
- Walk-on-Ambient-Patch: Solver-Adapted Isometric Embeddings for Projected Walk on Spheres
- Higher-order nonhomomorphicity under affine restrictions
- Stabilizer entropy cones as self-dual slices of linear rank cones: a five-party gap and dependence on the local dimension
- Two characterizations of chain partitioned probe graphs
- A Machine-Checked Kernel for Federated Automated Adjudication: Credibility Lattice Completion, Certificate Lifecycle Invariants, Certified Numerical Anchors, and a Parameterized Rice Template