English
Related papers

Related papers: RLWE and PLWE over cyclotomic fields are not equiv…

200 papers

Double Machine Learning is often justified by nuisance-rate conditions, yet finite-sample reliability also depends on the conditioning of the orthogonal-score Jacobian. This conditioning is typically assumed rather than tracked. When…

Methodology · Statistics 2026-01-08 Gabriel Saco

For every $n >0$, we show the existence of a CNF tautology over $O(n^2)$ variables of width $O(\log n)$ such that it has a Polynomial Calculus Resolution refutation over $\{0,1\}$ variables of size $O(n^3polylog(n))$ but any Polynomial…

Computational Complexity · Computer Science 2024-07-02 Sasank Mouli

Learning with Errors (LWE) problems are the foundations for numerous applications in lattice-based cryptography and are provably as hard as approximate lattice problems in the worst case. Here we present a reduction from LWE problem to…

Quantum Physics · Physics 2013-06-05 Fada Li , Wansu Bao , Xiangqun Fu , Yuchao Zhang , Tan Li

Polynomial inequality proving is fundamental to many mathematical disciplines and finds wide applications in diverse fields. Current traditional algebraic methods are based on searching for a polynomial positive definite representation over…

Machine Learning · Computer Science 2025-03-11 Banglong Liu , Niuniu Qi , Xia Zeng , Lydia Dehbi , Zhengfeng Yang

We construct large subsets of the first $N$ positive integers which avoid certain arithmetic configurations. In particular, we construct a set of order $N^{0.7685}$ lacking the configuration $\{x,x+y,x+y^2\},$ surpassing the $N^{3/4}$ limit…

Number Theory · Mathematics 2019-08-19 Khalid Younis

We show that the affirmation $P\subseteq NP$ (in computer science) erroneously and we prove the justice of the hypotesis J.Edmonds's $P\neq NP$. We show further that all the $NP$-complete problems is not polynomial and we give the…

Computational Complexity · Computer Science 2013-03-12 B. S. Kochkarev

Reinforcement Learning with Verifiable Rewards (RLVR) has become a powerful approach for improving the reasoning capabilities of large language models (LLMs). While RLVR is designed for tasks with verifiable ground-truth answers, real-world…

Machine Learning · Computer Science 2026-05-06 Kazuki Egashira , Mark Vero , Jasper Dekoninck , Florian E. Dorner , Robin Staab , Martin Vechev

Proving super-polynomial size lower bounds for $\textsf{TC}^0$, the class of constant-depth, polynomial-size circuits of Majority gates, is a notorious open problem in complexity theory. A major frontier is to prove that $\textsf{NEXP}$…

Computational Complexity · Computer Science 2018-05-29 Lijie Chen

We prove that the set of functions representable by ReLU neural networks with integer weights strictly increases with the network depth while allowing arbitrary width. More precisely, we show that $\lceil\log_2(n)\rceil$ hidden layers are…

Machine Learning · Computer Science 2023-02-27 Christian Haase , Christoph Hertrich , Georg Loho

Theoretical computer scientists have been debating the role of oracles since the 1970's. This paper illustrates both that oracles can give us nontrivial insights about the barrier problems in circuit complexity, and that they need not…

Computational Complexity · Computer Science 2007-05-23 Scott Aaronson

We derive a Gronwall type inequality for mild solutions of non-autonomous parabolic rough partial differential equations (RPDEs). This inequality together with an analysis of the Cameron-Martin space associated to the noise, allows us to…

Probability · Mathematics 2025-10-30 Alexandra Blessing , Mazyar Ghani Varzaneh , Tim Seitz

This paper provides a complete proof of Simon-Lukic conjecture for orthogonal polynomials on the unit circle. For a probability measure $d\mu = w(\theta) \frac{d\theta}{2\pi} + d\mu_s$ with Verblunsky coefficients…

Spectral Theory · Mathematics 2026-01-27 Daxiong Piao

Zero-noise extrapolation (ZNE) mitigates errors in near-term quantum devices by extrapolating measurements obtained at amplified noise levels to estimate noise-free expectation values. In practice, commonly used extrapolation models are…

Quantum Physics · Physics 2026-04-28 Andriy Miranskyy , Adam Sorrenti , Jasmine Thind , Claude Gravel

Reinforcement Learning with Verifiable Rewards (RLVR) improves LLM reasoning, yet growing evidence indicates an exploration ceiling: it often reweights existing solution traces rather than discovering new strategies, limiting gains under…

Machine Learning · Computer Science 2026-03-03 Bizhe Bai , Xinyue Wang , Peng Ye , Tao Chen

We study the improper learning of multi-layer neural networks. Suppose that the neural network to be learned has $k$ hidden layers and that the $\ell_1$-norm of the incoming weights of any neuron is bounded by $L$. We present a kernel-based…

Machine Learning · Computer Science 2015-10-14 Yuchen Zhang , Jason D. Lee , Michael I. Jordan

We study the problem of learning a mixture of two subspaces over $\mathbb{F}_2^n$. The goal is to recover the individual subspaces, given samples from a (weighted) mixture of samples drawn uniformly from the two subspaces $A_0$ and $A_1$.…

Data Structures and Algorithms · Computer Science 2021-02-16 Aidao Chen , Anindya De , Aravindan Vijayaraghavan

In this Reply we include the corrections suggested in the Comment [Phys. Rev. Lett. 131, 169001]. We show that their impact on our results is small, and that the overall conclusion of the Article [Phys. Rev. Lett. 129, 111102] are robust.…

General Relativity and Quantum Cosmology · Physics 2023-11-01 Gregorio Carullo , Roberto Cotesta , Emanuele Berti , Vitor Cardoso

In this series of eight papers we present the applications of methods from wavelet analysis to polynomial approximations for a number of accelerator physics problems. In this part we consider application of FWT to metaplectic…

Accelerator Physics · Physics 2007-05-23 Antonina N. Fedorova , Michael G. Zeitlin

We show a simple reduction which demonstrates the cryptographic hardness of learning a single periodic neuron over isotropic Gaussian distributions in the presence of noise. More precisely, our reduction shows that any polynomial-time…

Machine Learning · Computer Science 2021-09-17 Min Jae Song , Ilias Zadik , Joan Bruna

The Canham-Helfrich-Evans models of biomembranes consist of a family of geometric constrained variational problems. In this article, we compare two classes of numerical methods for these variational problems based on piecewise linear (PL)…

Numerical Analysis · Mathematics 2020-03-31 Jingmin Chen , Thomas Yu , Patrick Brogan , Robert Kusner , Yilin Yang , Andrew Zigerelli