English
Related papers

Related papers: Algebraic Pseudorandomness in $VNC^0$

200 papers

We obtain new explicit pseudorandom generators for several computational models involving groups. Our main results are as follows: 1. We consider read-once group-products over a finite group $G$, i.e., tests of the form $\prod_{i=1}^n…

Computational Complexity · Computer Science 2025-06-05 Chin Ho Lee , Emanuele Viola

$ \newcommand{\inparen}[1]{\left( #1 \right)} \newcommand{\pfrac}[2]{\inparen{\frac{1}{2}}} \newcommand{\ilog}[1]{\log^{\circ #1}} \newcommand{\F}{\mathbb{F}} $The Polynomial Identity Lemma (also called the "Schwartz--Zippel lemma") states…

Computational Complexity · Computer Science 2024-12-09 Mrinal Kumar , Ramprasad Saptharishi , Anamay Tengse

We introduce a new algebraic proof system, which has tight connections to (algebraic) circuit complexity. In particular, we show that any super-polynomial lower bound on any Boolean tautology in our proof system implies that the permanent…

Computational Complexity · Computer Science 2014-04-16 Joshua A. Grochow , Toniann Pitassi

Sub-categories of mathematical topology, like the mathematical theory of chaos, offer interesting applications devoted to information security. In this research work, we have introduced a new chaos-based pseudorandom number generator…

Cryptography and Security · Computer Science 2017-06-27 Mohammed Bakiri , Jean-François Couchot , Christophe Guyeux

In this paper we study polynomials in $\text{VP}_e$ (polynomial-sized formulas) and in $\Sigma\Pi\Sigma$ (polynomial-size depth-$3$ circuits) whose orbits, under the action of the affine group $\text{GL}_n^{\text{aff}}(\mathbb{F})$, are…

Computational Complexity · Computer Science 2021-02-16 Dori Medini , Amir Shpilka

Finding inclusion-minimal "hitting sets" for a given collection of sets is a fundamental combinatorial problem with applications in domains as diverse as Boolean algebra, computational biology, and data mining. Much of the algorithmic…

Data Structures and Algorithms · Computer Science 2016-01-13 Andrew Gainer-Dewar , Paola Vera-Licona

Guaranteeing the security of information transmitted through the Internet, against passive or active attacks, is a major concern. The discovery of new pseudo-random number generators with a strong level of security is a field of research in…

Cryptography and Security · Computer Science 2015-03-19 Jacques M. Bahi , Xiaole Fang , Christophe Guyeux , Qianxue Wang

Given a circuit $G: \{0, 1\}^n \to \{0, 1\}^m$ with $m > n$, the *range avoidance* problem ($\text{Avoid}$) asks to output a string $y\in \{0, 1\}^m$ that is not in the range of $G$. Besides its profound connection to circuit complexity and…

Computational Complexity · Computer Science 2026-03-16 Hanlin Ren , Yichuan Wang , Yan Zhong

A hitting set for a collection of sets is a set that has a non-empty intersection with each set in the collection; the hitting set problem is to find a hitting set of minimum cardinality. Motivated by instances of the hitting set problem…

Data Structures and Algorithms · Computer Science 2011-02-09 Karthekeyan Chandrasekaran , Richard Karp , Erick Moreno-Centeno , Santosh Vempala

We study arithmetic proof systems P_c(F) and P_f(F) operating with arithmetic circuits and arithmetic formulas, respectively, that prove polynomial identities over a field F. We establish a series of structural theorems about these proof…

Computational Complexity · Computer Science 2013-04-23 Pavel Hrubes , Iddo Tzameret

We construct explicit pseudorandom generators that fool $n$-variate polynomials of degree at most $d$ over a finite field $\mathbb{F}_q$. The seed length of our generators is $O(d \log n + \log q)$, over fields of size exponential in $d$…

Computational Complexity · Computer Science 2024-02-20 Ashish Dwivedi , Zeyu Guo , Ben Lee Volk

A technique for controlling errors in the functioning of nodes for the formation of $q$-valued pseudo-random sequences (PRS) operating under both random errors and errors generated through intentional attack by an attacker is provided, in…

Cryptography and Security · Computer Science 2018-09-10 Oleg Finko , Sergey Dichenko , Dmitry Samoylenko

There is a large body of work studying what forms of computational hardness are needed to realize classical cryptography. In particular, one-way functions and pseudorandom generators can be built from each other, and thus require equivalent…

Cryptography and Security · Computer Science 2025-04-02 Bruno Cavalar , Eli Goldin , Matthew Gray , Peter Hall , Yanyi Liu , Angelos Pelecanos

Designing a pseudorandom number generator (PRNG) is a difficult and complex task. Many recent works have considered chaotic functions as the basis of built PRNGs: the quality of the output would indeed be an obvious consequence of some…

Cryptography and Security · Computer Science 2017-03-08 Sylvain Contassot-Vivier , Jean-François Couchot , Christophe Guyeux , Pierre-Cyrille Heam

Emergence of stochastic simulations as an extensively used computational tool for scientific purposes intensified the need for more accurate ways of generating sufficiently long sequences of uncorrelated random numbers. Even though several…

Mathematical Software · Computer Science 2014-08-14 Ayse Ferhan Yesil , M. Cemal Yalabik

We develop a method for generating pseudorandom binary sequences using the Bernoulli map on cubic algebraic integers. The distinguishing characteristic of our generator is that it generates chaotic true orbits of the Bernoulli map by exact…

Number Theory · Mathematics 2018-11-14 Asaki Saito , Akihiro Yamaguchi

With the widespread use of communication technologies, cryptosystems are therefore critical to guarantee security over open networks as the Internet. Pseudo-random number generators (PRNGs) are fundamental in cryptosystems and information…

Cryptography and Security · Computer Science 2011-12-06 Jacques M. Bahi , Jean-François Couchot , Christophe Guyeux , Qianxue Wang

We study the hit problem, set up by F. Peterson, of finding a minimal set of generators for the polynomial algebra $P_k := \mathbb F_2[x_1,x_2,...,x_k]$ as a module over the mod-2 Steenrod algebra, $\mathcal{A}$. In this paper, we study a…

Algebraic Topology · Mathematics 2016-06-22 Nguyen Sum

Recently, an interest in constructing pseudorandom or hitting set generators for restricted branching programs has increased, which is motivated by the fundamental issue of derandomizing space-bounded computations. Such constructions have…

Computational Complexity · Computer Science 2023-06-22 Jiří Šíma , Stanislav Žák

We present a new approach to constructing of pseudo-random binary sequences (PRS) generators for the purpose of cryptographic data protection, secured from the perpetrator's attacks, caused by generation of masses of hardware errors and…

Cryptography and Security · Computer Science 2018-09-10 Oleg Finko , Sergey Dichenko