English
Related papers

Related papers: Fooling Polytopes

200 papers

The exact computation of permanent for high-dimensional tensors is a hard problem. Having in mind the applications of permanents in other fields, providing an algorithm for the approximation of tensor permanents is an attractive subject. In…

Numerical Analysis · Mathematics 2025-05-13 Malihe Nobakht Kooshkghazi , Hamidreza Afshin

Atomic vibrations play a critical role in phonon-assisted electron transitions at defects in solids. However, accurate phonon calculations in defect systems are often hindered by the high computational cost of large-supercell…

Materials Science · Physics 2025-12-19 Junjie Zhou , Xinpeng Li , Menglin Huang , Shiyou Chen

In this paper, we study circuits and formulas for provenance polynomials of Datalog programs. We ask the following question: given an absorptive semiring and a fact of a Datalog program, what is the optimal depth and size of a…

Databases · Computer Science 2025-04-15 Austen Z. Fan , Paraschos Koutris , Sudeepa Roy

We consider about calculating $M$th moments of a given polynomial in free independent semicircular elements in free probability theory. By a naive approach, this calculation requires exponential time with respect to $M$. We explicitly give…

Operator Algebras · Mathematics 2019-01-31 Rei Mizuta

Thorup [FOCS'01, JACM'04] and Klein [SODA'01] independently showed that there exists a $(1+\epsilon)$-approximate distance oracle for planar graphs with $O(n (\log n)\epsilon^{-1})$ space and $O(\epsilon^{-1})$ query time. While the…

Data Structures and Algorithms · Computer Science 2022-07-13 Hung Le

We explore a new form of DFT, which we call the Polynomial Transform. It functions over finite fields, and a size $n$ transform takes $O(n)$ operations. In the multitape Turing machine model, it allows us to multiply two $n$ bit numbers in…

Data Structures and Algorithms · Computer Science 2019-12-11 Matt Groff

In this note, we give a practical solution to the problem of determining the maximal period of matrix generators of pseudo-random numbers which are based on an integer-valued unimodular matrix of size NxN known as MIXMAX and arithmetic…

High Energy Physics - Lattice · Physics 2016-05-04 Konstantin G. Savvidy

A $c$-short program for a string $x$ is a description of $x$ of length at most $C(x) + c$, where $C(x)$ is the Kolmogorov complexity of $x$. We show that there exists a randomized algorithm that constructs a list of $n$ elements that…

Computational Complexity · Computer Science 2015-01-21 Bruno Bauwens , Marius Zimand

We show that Reed-Solomon codes of dimension $k$ and block length $n$ over any finite field $\mathbb{F}$ can be deterministically list decoded from agreement $\sqrt{(k-1)n}$ in time $\text{poly}(n, \log |\mathbb{F}|)$. Prior to this work,…

Computational Complexity · Computer Science 2026-03-26 Soham Chatterjee , Prahladh Harsha , Mrinal Kumar

The notion of the cover is a generalization of a period of a string, and there are linear time algorithms for finding the shortest cover. The seed is a more complicated generalization of periodicity, it is a cover of a superstring of a…

In the present work, we present a new discrete logarithm algorithm, in the same vein as in recent works by Joux, using an asymptotically more efficient descent approach. The main result gives a quasi-polynomial heuristic complexity for the…

Cryptography and Security · Computer Science 2013-11-27 Razvan Barbulescu , Pierrick Gaudry , Antoine Joux , Emmanuel Thomé

This paper presents algorithms for solving multiobjective integer programming problems. The algorithm uses Barvinok's rational functions of the polytope that defines the feasible region and provides as output the entire set of nondominated…

Optimization and Control · Mathematics 2008-03-04 Victor Blanco , Justo Puerto

We consider the problem of linearizing a pseudo-Boolean function $f : \{0,1\}^n \to \mathbb{R}$ by means of $k$ Boolean functions. Such a linearization yields an integer linear programming formulation with only $k$ auxiliary variables. This…

Discrete Mathematics · Computer Science 2024-08-14 Matthias Walter

We present a randomized algorithm that on input a finite field $K$ with $q$ elements and a positive integer $d$ outputs a degree $d$ irreducible polynomial in $K[x]$. The running time is $d^{1+\epsilon(d)} \times (\log q)^{5+\epsilon(q)}$…

Number Theory · Mathematics 2011-11-22 Jean-Marc Couveignes , Reynald Lercier

We give an algorithm for properly learning Poisson binomial distributions. A Poisson binomial distribution (PBD) of order $n$ is the discrete probability distribution of the sum of $n$ mutually independent Bernoulli random variables. Given…

Data Structures and Algorithms · Computer Science 2015-11-13 Ilias Diakonikolas , Daniel M. Kane , Alistair Stewart

We study approximation algorithms for the following geometric version of the maximum coverage problem: Let P be a set of n weighted points in the plane. We want to place m a * b rectangles such that the sum of the weights of the points in P…

Computational Geometry · Computer Science 2015-05-12 Jian Li , Haitao Wang , Bowei Zhang , Ningye Zhang

Given a way to evaluate an unknown polynomial with integer coefficients, we present new algorithms to recover its nonzero coefficients and corresponding exponents. As an application, we adapt this interpolation algorithm to the problem of…

Symbolic Computation · Computer Science 2022-05-19 Pascal Giorgi , Bruno Grenet , Armelle Perret du Cray , Daniel S. Roche

We give a deterministic, polynomial-time algorithm for approximately counting the number of {0,1}-solutions to any instance of the knapsack problem. On an instance of length n with total weight W and accuracy parameter eps, our algorithm…

Data Structures and Algorithms · Computer Science 2010-08-20 Parikshit Gopalan , Adam Klivans , Raghu Meka

Linear operators preserving the direct sum of polynomial rings P(m)\oplus P(n) are constructed. In the case |m-n|=1 they correspond to atypical representations of the superalgebra osp(2,2). For |m-n|=2 the generic, finite dimensional…

Quantum Physics · Physics 2009-11-07 Yves Brihaye , Betti Hartmann

A select collection of pseudorandom number generators is applied to a Monte Carlo study of the two dimensional square site percolation model. A generator suitable for high precision calculations is identified from an application specific…

Disordered Systems and Neural Networks · Physics 2009-11-13 Michael J. Lee
‹ Prev 1 3 4 5 6 7 10 Next ›