English
Related papers

Related papers: A quasi-polynomial algorithm for discrete logarith…

200 papers

In this article, a novel method to compute all discrete polyharmonic functions in the quarter plane for models with small steps, zero drift and a finite group is proposed. A similar method is then introduced for continuous polyharmonic…

Combinatorics · Mathematics 2022-11-22 Andreas Nessmann

We consider the problem of computing sample points in each connected component of a semi-algebraic set defined by the non-vanishing or the positivity of an n-variate polynomial of degree d, with rational coefficients of bit size bounded by…

Symbolic Computation · Computer Science 2026-05-27 Jérémy Berthomieu , Edern Gillot , Mohab Safey El Din

Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity is exponential, while currently the state-of-the-art algorithms have…

Computer Science and Game Theory · Computer Science 2023-06-22 Karoliina Lehtinen , Paweł Parys , Sven Schewe , Dominik Wojtczak

Submodular functions are set functions mapping every subset of some ground set of size $n$ into the real numbers and satisfying the diminishing returns property. Submodular minimization is an important field in discrete optimization theory…

Data Structures and Algorithms · Computer Science 2020-01-16 Yassine Hamoudi , Patrick Rebentrost , Ansis Rosmanis , Miklos Santha

We consider the problem of minimizing a smooth, Lipschitz, convex function over a compact, convex set using sub-zeroth-order oracles: an oracle that outputs the sign of the directional derivative for a given point and a given direction, an…

Optimization and Control · Mathematics 2021-03-02 Mustafa O. Karabag , Cyrus Neary , Ufuk Topcu

We study the minimization of fixed-degree polynomials over the simplex. This problem is well-known to be NP-hard, as it contains the maximum stable set problem in graph theory as a special case. In this paper, we consider a rational…

Optimization and Control · Mathematics 2014-07-09 Etienne de Klerk , Monique Laurent , Zhao Sun

Sampling logconcave functions arising in statistics and machine learning has been a subject of intensive study. Recent developments include analyses for Langevin dynamics and Hamiltonian Monte Carlo (HMC). While both approaches have…

Data Structures and Algorithms · Computer Science 2018-12-18 Yin Tat Lee , Zhao Song , Santosh S. Vempala

Quasiprobability representation is an important tool for analyzing a quantum system, such as a quantum state or a quantum circuit. In this work, we propose classical algorithms specialized for approximating outcome probabilities of a linear…

Quantum Physics · Physics 2023-12-19 Youngrong Lim , Changhun Oh

Discrete optimisation problems arise in many different areas and are studied under many different names. In many such problems the quantity to be optimised can be expressed as a sum of functions of a restricted form. Here we present a…

Computational Complexity · Computer Science 2015-03-20 David A. Cohen , Martin C. Cooper , Paidi Creed , Peter G. Jeavons , Stanislav Zivny

We study dynamic $(1-\epsilon)$-approximate rounding of fractional matchings -- a key ingredient in numerous breakthroughs in the dynamic graph algorithms literature. Our first contribution is a surprisingly simple deterministic rounding…

Data Structures and Algorithms · Computer Science 2024-02-26 Sayan Bhattacharya , Peter Kiss , Aaron Sidford , David Wajc

The method of partial derivatives is one of the most successful lower bound methods for arithmetic circuits. It uses as a complexity measure the dimension of the span of the partial derivatives of a polynomial. In this paper, we consider…

Computational Complexity · Computer Science 2017-06-01 Ignacio Garcia-Marco , Pascal Koiran , Timothée Pecatte , Stéphan Thomassé

Monotonicity is a simple yet significant qualitative characteristic. We consider the problem of segmenting a sequence in up to K segments. We want segments to be as monotonic as possible and to alternate signs. We propose a quality metric…

Databases · Computer Science 2009-09-01 Daniel Lemire , Martin Brooks , Yuhong Yan

Consider a system of n polynomial equations and r polynomial inequations in n indeterminates of degree bounded by d with coefficients in a polynomial ring of s parameters with rational coefficients of bit-size at most $\sigma$. From the…

Symbolic Computation · Computer Science 2007-05-23 Guillaume Moroz

The matrix logarithm, when applied to Hermitian positive definite matrices, is concave with respect to the positive semidefinite order. This operator concavity property leads to numerous concavity and convexity results for other matrix…

Optimization and Control · Mathematics 2019-12-06 Hamza Fawzi , James Saunderson , Pablo A. Parrilo

We present a novel iterative algorithm for approximating the linear least squares solution with low complexity. After a motivation of the algorithm we discuss the algorithm's properties including its complexity, and we present theoretical…

Data Structures and Algorithms · Computer Science 2016-11-15 Michael Lunglmayr , Christoph Unterrieder , Mario Huemer

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…

Optimization and Control · Mathematics 2011-12-08 Jesus A. De Loera , Peter N. Malkin , Pablo A. Parrilo

There have been several research works on the hidden shift problem, quantum algorithms for the problem, and their applications. However, all the results have focused on discrete groups with discrete oracle functions. In this paper, we…

Quantum Physics · Physics 2021-10-28 Eunok Bae , Soojoon Lee

There is a recent interest on first-order methods for linear programming (LP). In this paper,we propose a stochastic algorithm using variance reduction and restarts for solving sharp primal-dual problems such as LP. We show that the…

Optimization and Control · Mathematics 2024-01-02 Haihao Lu , Jinwen Yang

Sparse polynomial approximation has become indispensable for approximating smooth, high- or infinite-dimensional functions from limited samples. This is a key task in computational science and engineering, e.g., surrogate modelling in…

Numerical Analysis · Mathematics 2023-11-08 Ben Adcock , Simone Brugiapaglia , Nick Dexter , Sebastian Moraga

The approximate degree of a Boolean function is the minimum degree of real polynomial that approximates it pointwise. For any Boolean function, its approximate degree serves as a lower bound on its quantum query complexity, and generically…

Computational Complexity · Computer Science 2023-05-23 Mark Bun , Nadezhda Voronova