English
Related papers

Related papers: Quantifier elimination for approximate Beals-Karta…

200 papers

Quantum computers are known for their potential to achieve up-to-exponential speedup compared to classical computers for certain problems. To exploit the advantages of quantum computers, we propose quantum algorithms for linear stochastic…

Quantum Physics · Physics 2025-06-26 Shi Jin , Nana Liu , Wei Wei

An algorithm for irreducible decomposition of representations of finite groups over fields of characteristic zero is described. The algorithm uses the fact that the decomposition induces a partition of the invariant inner product into a…

Representation Theory · Mathematics 2019-06-05 Vladimir V Kornyak

The Quantum Approximate Optimisation Algorithm is a $p$ layer, time-variable split operator method executed on a quantum processor and driven to convergence by classical outer loop optimisation. The classical co-processor varies individual…

Quantum Physics · Physics 2022-07-28 D. Rabinovich , R. Sengupta , E. Campos , V. Akshay , J. Biamonte

Quantum algorithms are sequences of abstract operations, performed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contributions of Abramsky, Coecke…

Quantum Physics · Physics 2016-11-09 Dusko Pavlovic

In this paper, we present a new numerical method to solve fractional differential equations. Given a fractional derivative of arbitrary real order, we present an approximation formula for the fractional operator that involves integer-order…

Numerical Analysis · Mathematics 2015-12-16 Ricardo Almeida , Nuno R. O. Bastos

Polynomial factorization in conventional sense is an ill-posed problem due to its discontinuity with respect to coefficient perturbations, making it a challenge for numerical computation using empirical data. As a regularization, this paper…

Numerical Analysis · Mathematics 2021-03-09 Wenyuan Wu , Zhonggang Zeng

The solution of option-pricing problems may turn out to be computationally demanding due to non-linear and path-dependent payoffs, the high dimensionality arising from multiple underlying assets, and sophisticated models of price dynamics.…

Quantum Physics · Physics 2025-11-10 Nikita Guseynov , Mikel Sanz , Ángel Rodríguez-Rozas , Nana Liu , Javier Gonzalez-Conde

All known quantifier elimination procedures for Presburger arithmetic require doubly exponential time for eliminating a single block of existentially quantified variables. It has even been claimed in the literature that this upper bound is…

Logic in Computer Science · Computer Science 2024-05-03 Christoph Haase , Shankara Narayanan Krishna , Khushraj Madnani , Om Swostik Mishra , Georg Zetzsche

We introduce a search algorithm that utilises differential operator realisations to find polynomial Casimir operators of Lie algebras. To demonstrate the algorithm, we look at two classes of examples: (1) the model filiform Lie algebras and…

Mathematical Physics · Physics 2018-02-14 Fahad Alshammari , Phillip S. Isaac , Ian Marquette

Applying proper orthogonal decomposition to a usual finite element (FE) formulation for space fractional partial differential equation, we get a reduced FE model, which greatly reduces the complexity of computation. Then, the stability…

Numerical Analysis · Mathematics 2019-01-04 Jing Sun , Daxin Nie , Weihua Deng

This is the first in a series of papers in which we study an efficient approximation scheme for solving the Hamilton-Jacobi-Bellman equation for multi-dimensional problems in stochastic control theory. The method is a combination of a WKB…

Computational Finance · Quantitative Finance 2014-06-26 Sakda Chaiworawitkul , Patrick S. Hagan , Andrew Lesniewski

In this paper, we study a class of approximation problems, appearing in data approximation and signal processing. The approximations are constructed as combinations of polynomial splines (piecewise polynomials), whose parameters are subject…

Optimization and Control · Mathematics 2015-03-05 Zahra Roshan Zamir , Nadezda Sukhorukova

While algebraic derivations establish theoretical limits for quantum cloning, practical implementations require explicit operator representations that are often unavailable analytically. We present a computational framework that…

Quantum Physics · Physics 2026-05-21 Jörg Hettel

Nambu's construction of multi-linear brackets for super-integrable systems can be thought of as degenerate Poisson brackets with a maximal set of Casimirs in their kernel. By introducing privileged coordinates in phase space these…

Quantum Physics · Physics 2008-11-26 Y. Nutku

We present a novel variational quantum framework for nonlinear partial differential equation (PDE) constrained optimization problems. The proposed work extends the recently introduced bi-level variational quantum PDE constrained…

Quantum Physics · Physics 2024-10-18 Abeynaya Gnanasekaran , Amit Surana , Hongyu Zhu

In black-box combinatorial optimization, objective evaluations are often expensive, so high quality solutions must be found under a limited budget. Factorization machine with quantum annealing (FMQA) builds a quadratic surrogate model from…

Machine Learning · Computer Science 2026-02-11 Tetsuro Abe , Masashi Yamashita , Shu Tanaka

Motivated by a growing list of nontraditional statistical estimation problems of the piecewise kind, this paper provides a survey of known results supplemented with new results for the class of piecewise linear-quadratic programs. These are…

Optimization and Control · Mathematics 2018-08-16 Ying Cui , Tsung-Hui Chang , Mingyi Hong , Jong-Shi Pang

To treat a problem with a Quantum Processing Unit (QPU), it must be transformed into a sequence of quantum operations, or gates: this is the quantum description of the problem. These operations are either packed into a query (i.e. quantum…

Quantum Physics · Physics 2026-03-19 Robin Ollive , Stéphane Louise

New algorithms for prime factorization that outperform the existing ones or take advantage of particular properties of the prime factors can have a practical impact on present implementations of cryptographic algorithms that rely on the…

Cryptography and Security · Computer Science 2022-09-26 Alberto Montina , Stefan Wolf

Boxicity of a graph $G(V,$ $E)$, denoted by $box(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of axis parallel boxes in $\mathbb{R}^k$. The problem of computing boxicity is inapproximable even…

Data Structures and Algorithms · Computer Science 2014-03-06 Abhijin Adiga , Jasine Babu , L. Sunil Chandran