English
Related papers

Related papers: The Complexity of Algebraic Algorithms for LWE

200 papers

Ciminion and Hydra are two recently introduced symmetric key Pseudo-Random Functions for Multi-Party Computation applications. For efficiency, both primitives utilize quadratic permutations at round level. Therefore, polynomial system…

Cryptography and Security · Computer Science 2025-03-13 Matthias Johann Steiner

The Ring-Learning With Errors (RLWE) problem forms the backbone of highly efficient Fully Homomorphic Encryption (FHE) schemes. A significant component of the RLWE public key and ciphertext of the form $(b,a)$ is the uniformly random…

Cryptography and Security · Computer Science 2026-02-24 Ilan Rosenfeld , Noam Kleinburd , Hillel Chapman , Dror Reuven

We introduce a continuous analogue of the Learning with Errors (LWE) problem, which we name CLWE. We give a polynomial-time quantum reduction from worst-case lattice problems to CLWE, showing that CLWE enjoys similar hardness guarantees to…

Computational Complexity · Computer Science 2020-10-27 Joan Bruna , Oded Regev , Min Jae Song , Yi Tang

Many systems of interest in cryptography consist of equations of the same degree. Under the assumption that the degree of regularity is finite, we prove upper bounds on the degree of regularity of a system of equations of the same degree,…

Cryptography and Security · Computer Science 2026-02-02 Giulia Gaggero , Elisa Gorla

Computing the critical points of a polynomial function $q\in\mathbb Q[X_1,\ldots,X_n]$ restricted to the vanishing locus $V\subset\mathbb R^n$ of polynomials $f_1,\ldots, f_p\in\mathbb Q[X_1,\ldots, X_n]$ is of first importance in several…

Symbolic Computation · Computer Science 2014-05-26 Pierre-Jean Spaenlehauer

Solving multihomogeneous systems, as a wide range of structured algebraic systems occurring frequently in practical problems, is of first importance. Experimentally, solving these systems with Gr\"obner bases algorithms seems to be easier…

Symbolic Computation · Computer Science 2010-02-24 Jean-Charles Faugère , Mohab Safey El Din , Pierre-Jean Spaenlehauer

Nowadays, the notion of semi-regular sequences, originally proposed by Fr\"oberg, becomes very important not only in Mathematics, but also in Information Science, in particular Cryptology. For example, it is highly expected that randomly…

Commutative Algebra · Mathematics 2025-05-12 Momonari Kudo , Kazuhiro Yokoyama

Two models were recently proposed to explore the robust hardness of Gr\"obner basis computation. Given a polynomial system, both models allow an algorithm to selectively ignore some of the polynomials: the algorithm is only responsible for…

Symbolic Computation · Computer Science 2018-07-18 Gwen Spencer

Lattice-based cryptography is a foundation for post-quantum security, with the Learning with Errors (LWE) problem as a core component in key exchange, encryption, and homomorphic computation. Structured variants like Ring-LWE (RLWE) and…

Cryptography and Security · Computer Science 2025-02-12 Dongfang Zhao

Let $\K$ be a field and $(f_1, \ldots, f_n)\subset \K[X_1, \ldots, X_n]$ be a sequence of quasi-homogeneous polynomials of respective weighted degrees $(d_1, \ldots, d_n)$ w.r.t a system of weights $(w_{1},\dots,w_{n})$. Such systems are…

Symbolic Computation · Computer Science 2013-05-07 Jean-Charles Faugère , Mohab Safey El Din , Thibaut Verron

Given a computable sequence of natural numbers, it is a natural task to find a G\"odel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algorithmic learning…

Logic · Mathematics 2023-02-09 Vasco Brattka

Gr\"{o}bner bases are nowadays central tools for solving various problems in commutative algebra and algebraic geometry. A typical use of Gr\"{o}bner bases is the multivariate polynomial system solving, which enables us to construct…

Symbolic Computation · Computer Science 2024-03-05 Momonari Kudo , Kazuhiro Yokoyama

Szemeredi's regularity lemma can be viewed as a rough structure theorem for arbitrary dense graphs, decomposing such graphs into a structured piece (a partition into cells with edge densities), a small error (corresponding to irregular…

Combinatorics · Mathematics 2020-11-26 Ben Green , Terence Tao

The past decade has seen vast progress in deep reinforcement learning (RL) on the back of algorithms manually designed by human researchers. Recently, it has been shown that it is possible to meta-learn update rules, with the hope of…

Solving a polynomial system, or computing an associated Gr\"obner basis, has been a fundamental task in computational algebra. However, it is also known for its notorious doubly exponential time complexity in the number of variables in the…

Commutative Algebra · Mathematics 2024-11-07 Hiroshi Kera , Yuki Ishihara , Yuta Kambe , Tristan Vaccon , Kazuhiro Yokoyama

In this work, we consider the problem of learning one hidden layer ReLU neural networks with inputs from $\mathbb{R}^d$. We show that this learning problem is hard under standard cryptographic assumptions even when: (1) the size of the…

Machine Learning · Computer Science 2024-10-07 Shuchen Li , Ilias Zadik , Manolis Zampetakis

The GVW algorithm is a signature-based algorithm for computing Gr\"obner bases. If the input system is not homogeneous, some J-pairs with higher signatures but lower degrees are rejected by GVW's Syzygy Criterion, instead, GVW have to…

Symbolic Computation · Computer Science 2014-04-16 Yao Sun , Dongdai Lin , Dingkang Wang

The security of multivariate cryptosystems and digital signature schemes relies on the hardness of solving a system of polynomial equations over a finite field. Polynomial system solving is also currently a bottleneck of index-calculus…

Cryptography and Security · Computer Science 2020-11-03 M. Bigdeli , E. De Negri , M. M. Dizdarevic , E. Gorla , R. Minko , S. Tsakou

The efficiency of Gr\"obner basis computation, the standard engine for solving systems of polynomial equations, depends on the choice of monomial ordering. Despite a near-continuum of possible monomial orders, most implementations rely on…

Symbolic Computation · Computer Science 2026-02-04 R. Caleb Bunch , Alperen A. Ergür , Melika Golestani , Jessie Tong , Malia Walewski , Yunus E. Zeytuncu

In this paper, we first give formulas for the order polynomial $\Omega (\Pw; t)$ and the Eulerian polynomial $e(\Pw; \lambda)$ of a finite labeled poset $(P, \omega)$ using the adjacency matrix of what we call the $\omega$-graph of $(P,…

Combinatorics · Mathematics 2007-05-23 John Shareshian , David Wright , Wenhua Zhao