English
Related papers

Related papers: Spectral Refutations of Semirandom $k$-LIN over La…

200 papers

Given a boolean n by n matrix A we consider arithmetic circuits for computing the transformation x->Ax over different semirings. Namely, we study three circuit models: monotone OR-circuits, monotone SUM-circuits (addition of non-negative…

Computational Complexity · Computer Science 2013-04-24 Magnus Find , Mika Göös , Matti Järvisalo , Petteri Kaski , Mikko Koivisto , Janne H. Korhonen

Let n denote the number of variables and m the number of equations in a sparse polynomial system over the binary field. We study the inconsistency probability of randomly generated sparse polynomial systems over the binary field, where each…

Probability · Mathematics 2026-03-27 P. Horak , I. Semaev

Let $P$ be a $k$-ary predicate over a finite alphabet. Consider a random CSP$(P)$ instance $I$ over $n$ variables with $m$ constraints. When $m \gg n$ the instance $I$ will be unsatisfiable with high probability, and we want to find a…

Computational Complexity · Computer Science 2015-07-28 Sarah R. Allen , Ryan O'Donnell , David Witmer

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

Two kinds of approximation algorithms exist for the k-BALANCED PARTITIONING problem: those that are fast but compute unsatisfying approximation ratios, and those that guarantee high quality ratios but are slow. In this paper we prove that…

Computational Complexity · Computer Science 2019-04-29 Andreas Emil Feldmann

This paper discusses the problem of covering and hitting a set of line segments $\cal L$ in ${\mathbb R}^2$ by a pair of axis-parallel squares such that the side length of the larger of the two squares is minimized. We also discuss the…

Computational Geometry · Computer Science 2017-09-15 Sanjib Sadhu , Sasanka Roy , Subhas C. Nandy , Suchismita Roy

This paper proposes a novel, rigorous and simple Fourier-transformation approach to study resonances in a perfectly conducting slab with finite number of subwavelength slits of width $h\ll 1$. Since regions outside the slits are variable…

Numerical Analysis · Mathematics 2020-12-29 Jiaxin Zhou , Wangtao Lu

Building on the blueprint from Goemans and Williamson (1995) for the Max-Cut problem, we construct a polynomial-time approximation algorithm for orthogonally constrained quadratic optimization problems. First, we derive a semidefinite…

Optimization and Control · Mathematics 2026-03-17 Ryan Cory-Wright , Jean Pauphilet

We introduce the concept of the quark quasifragmentation function (qFF) using an equal-time and spatially boosted form of the Collins-Soper fragmentation function where the out-meson fragment is replaced by the current asymptotic condition.…

High Energy Physics - Phenomenology · Physics 2024-12-30 Sebastian Grieninger , Ismail Zahed

We revisit the complexity of one of the most basic problems in pattern matching. In the k-mismatch problem we must compute the Hamming distance between a pattern of length m and every m-length substring of a text of length n, as long as…

Data Structures and Algorithms · Computer Science 2015-08-28 Raphaël Clifford , Allyx Fontaine , Ely Porat , Benjamin Sach , Tatiana Starikovskaya

In the problem of compressive phase retrieval, one wants to recover an approximately $k$-sparse signal $x \in \mathbb{C}^n$, given the magnitudes of the entries of $\Phi x$, where $\Phi \in \mathbb{C}^{m \times n}$. This problem has…

Information Theory · Computer Science 2020-02-19 Vasileios Nakos

This paper is concerned with the problem of nonlinear filtering, i.e., computing the conditional distribution of the state of a stochastic dynamical system given a history of noisy partial observations. Conventional sequential importance…

Machine Learning · Computer Science 2025-10-08 Mohammad Al-Jarrah , Niyizhen Jin , Bamdad Hosseini , Amirhossein Taghvaei

We reexamine the classical subset sum problem: given a set $X$ of $n$ positive integers and a number $t$, decide whether there exists a subset of $X$ that sums to $t$; or more generally, compute the set $\mbox{out}$ of all numbers…

Data Structures and Algorithms · Computer Science 2026-01-06 Timothy M. Chan

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 give a technique to reduce the error probability of quantum algorithms that determine whether its input has a specified property of interest. The standard process of reducing this error is statistical processing of the results of…

Computational Complexity · Computer Science 2019-07-24 Debajyoti Bera , Tharrmashastha P.

Submodular maximization subject to matroid constraints is a central problem with many applications in machine learning. As algorithms are increasingly used in decision-making over datapoints with sensitive attributes such as gender or race,…

Data Structures and Algorithms · Computer Science 2026-01-16 Sepideh Mahabadi , Sherry Sarkar , Jakub Tarnawski

The Sum-of-Squares (SoS) hierarchy is a semi-definite programming meta-algorithm that captures state-of-the-art polynomial time guarantees for many optimization problems such as Max-$k$-CSPs and Tensor PCA. On the flip side, a SoS lower…

Computational Complexity · Computer Science 2020-09-07 Mrinalkanti Ghosh , Fernando Granha Jeronimo , Chris Jones , Aaron Potechin , Goutham Rajendran

Consider the class of Ensemble Square Root filtering algorithms for the numerical approximation of the posterior distribution of nonlinear Markovian signals partially observed with linear observations corrupted with independent measurement…

Probability · Mathematics 2021-02-01 Theresa Lange , Wilhelm Stannat

We study the asymptotic behaviour of two-loop electroweak corrections at energies Q >> M_W, where logarithms of the type ln(Q/M_W) become dominant. The calculation of the leading and next-to-leading logarithmic terms for massless and…

High Energy Physics - Phenomenology · Physics 2018-04-05 A. Denner , B. Jantzen , S. Pozzorini

We consider the problem of querying a string (or, a database) of length $N$ bits to determine all the locations where a substring (query) of length $M$ appears either exactly or is within a Hamming distance of $K$ from the query. We assume…

Information Theory · Computer Science 2017-04-27 Nagaraj T. Janakiraman , Avinash Vem , Krishna R. Narayanan , Jean-Francois Chamberland