English
Related papers

Related papers: Faster One Block Quantifier Elimination for Regula…

200 papers

This paper presents a quantum algorithm for solving the fractional Poisson equation \((-\Delta)^s u = f\) with \(s \in (0,1)\) on bounded domains. The proposed approach combines rational approximation techniques with quantum linear system…

Quantum Physics · Physics 2026-04-02 Yin Yang , Yue Yu , Long Zhang , Ming Zhou

Symmetric tensor decomposition is an important problem with applications in several areas for example signal processing, statistics, data analysis and computational neuroscience. It is equivalent to Waring's problem for homogeneous…

Symbolic Computation · Computer Science 2019-09-12 Matías Bender , Jean-Charles Faugère , Ludovic Perret , Elias Tsigaridas

Block-structured integer linear programs (ILPs) play an important role in various application fields. We address $n$-fold ILPs where the matrix $\mathcal{A}$ has a specific structure, i.e., where the blocks in the lower part of…

Data Structures and Algorithms · Computer Science 2025-10-13 Klaus Jansen , Kai Kahler , Lis Pirotton , Malte Tutas

This paper narrows the gap between previous literature on quantum linear algebra and practical data analysis on a quantum computer, formalizing quantum procedures that speed-up the solution of eigenproblems for data representations in…

Quantum Physics · Physics 2022-08-09 Armando Bellante , Alessandro Luongo , Stefano Zanero

We propose a general algorithm to enumerate all solutions of a zero-dimensional polynomial system with respect to a given cost function. The algorithm is developed and is used to study a polynomial system obtained by discretizing the steady…

Numerical Analysis · Mathematics 2008-11-17 Martin Mevissen , Kosuke Yokoyama , Nobuki Takayama

Density-functional theory (DFT) has revolutionized computer simulations in chemistry and material science. A faithful implementation of the theory requires self-consistent calculations. However, this effort involves repeatedly diagonalizing…

Quantum Physics · Physics 2023-07-17 Taehee Ko , Xiantao Li , Chunhao Wang

We present quantum algorithms for the simulation of quantum systems in one spatial dimension, which result in quantum speedups that range from superpolynomial to polynomial. We first describe a method to simulate the evolution of the…

Quantum Physics · Physics 2016-08-09 Rolando D. Somma

One of the most promising applications of quantum computers is solving partial differential equations (PDEs). By using the Schrodingerisation technique - which converts non-conservative PDEs into Schrodinger equations - the problem can be…

Quantum Physics · Physics 2025-08-01 Nikita Guseynov , Xiajie Huang , Nana Liu

In order to assess potential advantages of quantum algorithms that require quantum oracles as subroutines, the careful evaluation of the overall complexity of the oracles themselves is crucial. This study examines the quantum routines…

Quantum Physics · Physics 2025-04-29 Sven Danz , Tobias Stollenwerk , Alessandro Ciani

Exactly solving first-order constraints (i.e., first-order formulas over a certain predefined structure) can be a very hard, or even undecidable problem. In continuous structures like the real numbers it is promising to compute approximate…

Logic in Computer Science · Computer Science 2007-05-23 Stefan Ratschan

Principal component analysis is an important dimension reduction technique in machine learning. In [S. Lloyd, M. Mohseni and P. Rebentrost, Nature Physics 10, 631-633, (2014)], a quantum algorithm to implement principal component analysis…

Quantum Physics · Physics 2019-04-09 Changpeng Shao

Finding a good approximation of the top eigenvector of a given $d\times d$ matrix $A$ is a basic and important computational problem, with many applications. We give two different quantum algorithms that, given query access to the entries…

Quantum Physics · Physics 2024-11-15 Yanlin Chen , András Gilyén , Ronald de Wolf

In the constraint database model, spatial and spatio-temporal data are stored by boolean combinations of polynomial equalities and inequalities over the real numbers. The relational calculus augmented with polynomial constraints is the…

Logic in Computer Science · Computer Science 2007-12-13 Bart Kuijpers , Walied Othman , Rafael Grimson

Isolating the real roots of univariate polynomials is a fundamental problem in symbolic computation and it is arguably one of the most important problems in computational mathematics. The problem has a long history decorated with numerous…

Computational Complexity · Computer Science 2022-09-28 Alperen A. Ergür , Josué Tonelli-Cueto , Elias Tsigaridas

In this paper, we give quantum algorithms for two fundamental computation problems: solving polynomial systems over finite fields and optimization where the arguments of the objective function and constraints take values from a finite field…

Symbolic Computation · Computer Science 2018-10-09 Yu-Ao Chen , Xiao-Shan Gao , Chun-Ming Yuan

We present a quantum algorithm for systems of (possibly inhomogeneous) linear ordinary differential equations with constant coefficients. The algorithm produces a quantum state that is proportional to the solution at a desired final time.…

Quantum Physics · Physics 2017-11-07 Dominic W. Berry , Andrew M. Childs , Aaron Ostrander , Guoming Wang

Recent years have witnessed the introduction and development of extremely fast rational function algorithms. Many ideas in this realm arose from polynomial-based linear-algebraic algorithms. However, polynomial approximation is occasionally…

Numerical Analysis · Mathematics 2025-10-03 James Chok , Geoffrey M. Vasil

We present a quasi-Newton method for unconstrained stochastic optimization. Most existing literature on this topic assumes a setting of stochastic optimization in which a finite sum of component functions is a reasonable approximation of an…

Optimization and Control · Mathematics 2024-09-04 Matt Menickelly , Stefan M. Wild , Miaolan Xie

Selecting appropriate regularization coefficients is critical to performance with respect to regularized empirical risk minimization problems. Existing theoretical approaches attempt to determine the coefficients in order for regularized…

Machine Learning · Computer Science 2019-09-05 Akihiro Yabe , Takanori Maehara

Advances in the field of Machine Learning and Deep Neural Networks (DNNs) has enabled rapid development of sophisticated and autonomous systems. However, the inherent complexity to rigorously assure the safe operation of such systems…

Machine Learning · Computer Science 2019-09-23 Hao Ren , Sai Krishnan Chandrasekar , Anitha Murugesan