English
Related papers

Related papers: The solution space geometry of random linear equat…

200 papers

For every fixed finite field $\F_q$, $p \in (0,1-1/q)$ and $\epsilon > 0$, we prove that with high probability a random subspace $C$ of $\F_q^n$ of dimension $(1-H_q(p)-\epsilon)n$ has the property that every Hamming ball of radius $pn$ has…

Information Theory · Computer Science 2010-01-13 Venkatesan Guruswami , Johan Hastad , Swastik Kopparty

The XOR-satisfiability (XORSAT) problem requires finding an assignment of $n$ Boolean variables that satisfy $m$ exclusive OR (XOR) clauses, whereby each clause constrains a subset of the variables. We consider random XORSAT instances,…

Discrete Mathematics · Computer Science 2015-09-10 Morteza Ibrahimi , Yash Kanoria , Matt Kraning , Andrea Montanari

The linear ordering problem (LOP), which consists in ordering M objects from their pairwise comparisons, is commonly applied in many areas of research. While efforts have been made to devise efficient LOP algorithms, verification of whether…

Machine Learning · Computer Science 2023-05-23 Leszek Szczecinski , Harsh Sukheja

We extend the convergence law for sparse random graphs proven by Lynch to arbitrary relational languages. We consider a finite relational vocabulary $\sigma$ and a first order theory $T$ for $\sigma$ composed of symmetry and…

Combinatorics · Mathematics 2020-06-15 Lázaro Alberto Larrauri

We present a generalization of first-order unification to a term algebra where variable indexing is part of the object language. We exploit variable indexing by associating some sequences of variables ($X_0,\ X_1,\ X_2,\dots$) with a…

Logic in Computer Science · Computer Science 2024-03-12 David M. Cerna

Our model is a generalized linear programming relaxation of a much studied random K-SAT problem. Specifically, a set of linear constraints C on K variables is fixed. From a pool of n variables, K variables are chosen uniformly at random and…

Probability · Mathematics 2007-05-23 David Gamarnik

It is well-known that if a subset A of a finite Abelian group G satisfies a quasirandomness property called uniformity of degree k, then it contains roughly the expected number of arithmetic progressions of length k, that is, the number of…

Number Theory · Mathematics 2014-02-26 W. T. Gowers , J. Wolf

We study a variant of classical clustering formulations in the context of algorithmic fairness, known as diversity-aware clustering. In this variant we are given a collection of facility subsets, and a solution must contain at least a…

Data Structures and Algorithms · Computer Science 2022-10-25 Suhas Thejaswi , Ameet Gadekar , Bruno Ordozgoiti , Michal Osadnik

This article presents a strongly polynomial-time algorithm for the general linear programming problem. This algorithm is an implicit reduction procedure that works as follows. Primal and dual problems are combined into a special system of…

Optimization and Control · Mathematics 2026-03-24 Samuel Awoniyi

The random $k$-XORSAT problem is a random constraint satisfaction problem of $n$ Boolean variables and $m=rn$ clauses, which a random instance can be expressed as a $G\mathbb{F}(2)$ linear system of the form $Ax=b$, where $A$ is a random $m…

Computational Complexity · Computer Science 2024-09-10 Kingsley Yung

We prove that for every natural number n there exists a natural number N(n) such that every multilinear skew-symmetric polynomial on N(n) or more variables which vanishes in the free associative algebra vanishes as well in any n-generated…

Rings and Algebras · Mathematics 2022-07-05 Ivan P. Shestakov

A system of linear equations in $\mathbb{F}_p^n$ is \textit{Sidorenko} if any subset of $\mathbb{F}_p^n$ contains at least as many solutions to the system as a random set of the same density, asymptotically as $n\to \infty$. A system of…

Combinatorics · Mathematics 2026-01-14 Daniel Altman

We consider a problem introduced by Mossel and Ross [Shotgun assembly of labeled graphs, arXiv:1504.07682]. Suppose a random $n\times n$ jigsaw puzzle is constructed by independently and uniformly choosing the shape of each "jig" from $q$…

Probability · Mathematics 2019-03-27 Anders Martinsson

Given a k-uniform hypergraph on n vertices, partitioned in k equal parts such that every hyperedge includes one vertex from each part, the k-dimensional matching problem asks whether there is a disjoint collection of the hyperedges which…

Data Structures and Algorithms · Computer Science 2010-02-03 Andreas Björklund

We study Clustered Planarity with Linear Saturators, which is the problem of augmenting an $n$-vertex planar graph whose vertices are partitioned into independent sets (called clusters) with paths - one for each cluster - that connect all…

Data Structures and Algorithms · Computer Science 2024-10-01 Giordano Da Lozzo , Robert Ganian , Siddharth Gupta , Bojan Mohar , Sebastian Ordyniak , Meirav Zehavi

Using all available data on the deep-inelastic cross-sections at HERA at x<0.01, we look for geometric scaling of the form \sigma^{\gamma^*p}(\tau) where the scaling variable \tau behaves alternatively like \log(Q^2)-\lambda Y, as in the…

High Energy Physics - Phenomenology · Physics 2008-11-26 F. Gelis , R. Peschanski , G. Soyez , L. Schoeffel

We consider the problem of counting the copies of a length-$k$ pattern $\sigma$ in a sequence $f \colon [n] \to \mathbb{R}$, where a copy is a subset of indices $i_1 < \ldots < i_k \in [n]$ such that $f(i_j) < f(i_\ell)$ if and only if…

Data Structures and Algorithms · Computer Science 2025-10-27 Omri Ben-Eliezer , Slobodan Mitrović , Pranjal Srivastava

We prove the uniform in space and time convergence of the scaled heights of large classes of deterministic growth models that are monotone and equivariant under translations by constants. The limits are characterized as the unique…

Probability · Mathematics 2022-06-29 Sourav Chatterjee , Panagiotis E. Souganidis

Motivated by problems in controlled experiments, we study the discrepancy of random matrices with continuous entries where the number of columns $n$ is much larger than the number of rows $m$. Our first result shows that if $\omega(1) = m =…

Discrete Mathematics · Computer Science 2020-11-10 Paxton Turner , Raghu Meka , Philippe Rigollet

We present necessary and sufficient conditions on systems of random variables for them to possess a lacunary subsystem equivalent in distribution to the Rademacher system on the segment [0,1]. In particular, every uniformly bounded…

Functional Analysis · Mathematics 2007-05-23 S. V. Astashkin