English
Related papers

Related papers: Efficient quantum processing of ideals in finite r…

200 papers

This paper investigates atomic factorizations in the monoid $\mathcal I(R)$ of nonzero ideals of a multivariate polynomial ring $R$, under ideal multiplication. Building on recent advances in factorization theory for unit-cancellative…

Commutative Algebra · Mathematics 2026-03-10 Nikola Bogdanovic , Laura Cossu , Azeem Khadam

In this paper we give a polynomial-time quantum algorithm for computing orders of solvable groups. Several other problems, such as testing membership in solvable groups, testing equality of subgroups in a given solvable group, and testing…

Quantum Physics · Physics 2007-05-23 John Watrous

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 consider an homogeneous ideal $I$ in the polynomial ring $S=K[x_1,\dots,$ $x_m]$ over a finite field $K=\mathbb{F}_q$ and the finite set of projective rational points $\mathbb{X}$ that it defines in the projective space…

Commutative Algebra · Mathematics 2023-10-24 Philippe Gimenez , Diego Ruano , Rodrigo San-José

The algebras considered in this paper are commutative rings of which the additive group is a finite-dimensional vector space over the field of rational numbers. We present deterministic polynomial-time algorithms that, given such an…

Commutative Algebra · Mathematics 2016-10-05 H. W. Lenstra , A. Silverberg

We find an application in quantum finite automata for the ideas and results of [JL21] and [JL22]. We reformulate quantum finite automata with multiple-time measurements using the algebraic notion of near-ring. This gives a unified…

Formal Languages and Automata Theory · Computer Science 2022-04-21 George Jeffreys , Siu-Cheong Lau

Quantum signal processing is a framework for implementing polynomial functions on quantum computers. To implement a given polynomial $P$, one must first construct a corresponding complementary polynomial $Q$. Existing approaches to this…

Quantum Physics · Physics 2025-06-16 Bjorn K. Berntson , Christoph Sünderhauf

Quantum computing has shown great potential to revolutionize traditional computing and can provide an exponential speedup for a wide range of possible applications, attracting various stakeholders. However, understanding fundamental quantum…

Human-Computer Interaction · Computer Science 2025-03-04 Manusha Karunathilaka , Shaolun Ruan , Lin-Ping Yuan , Jiannan Li , Zhiding Liang , Kavinda Athapaththu , Qiang Guan , Yong Wang

The principal ideal problem constitutes a fundamental problem in algebraic number theory and has attracted significant attention due to its applications in ideal lattice based cryptosystems. Efficient quantum algorithm has been found to…

Number Theory · Mathematics 2025-06-12 Jincheng Zhuang , Qi Cheng

We outline refined versions of two major quantum algorithms for performing principal component analysis and solving linear equations. Our methods are exponentially faster than their classical counterparts and even previous quantum…

Quantum Physics · Physics 2025-04-02 Nhat A. Nghiem

We give deterministic polynomial-time algorithms that, given an order, compute the primitive idempotents and determine a set of generators for the group of roots of unity in the order. Also, we show that the discrete logarithm problem in…

Commutative Algebra · Mathematics 2016-03-14 H. W. Lenstra , A. Silverberg

It is usually assumed that a quantum computation is performed by applying gates in a specific order. One can relax this assumption by allowing a control quantum system to switch the order in which the gates are applied. This provides a more…

Quantum Physics · Physics 2020-06-11 Mateus Araújo , Fabio Costa , Časlav Brukner

For a commutative ring R we investigate the property that the sets of minimal primes of finitely generated ideals of R is always finite. We prove this property passes to polynomial ring extensions (in an arbitrary number of variables) over…

Commutative Algebra · Mathematics 2007-05-23 Thomas Marley

Quantum computers can execute algorithms that sometimes dramatically outperform classical computation. Undoubtedly the best-known example of this is Shor's discovery of an efficient quantum algorithm for factoring integers, whereas the same…

Quantum Physics · Physics 2017-08-23 Wim van Dam , Yoshitaka Sasaki

Quantum computers have the potential of solving certain problems exponentially faster than classical computers. Recently, Harrow, Hassidim and Lloyd proposed a quantum algorithm for solving linear systems of equations: given an $N\times{N}$…

Quantum Physics · Physics 2014-02-19 Jian Pan , Yudong Cao , Xiwei Yao , Zhaokai Li , Chenyong Ju , Xinhua Peng , Sabre Kais , Jiangfeng Du

Solving linear systems of equations is ubiquitous in all areas of science and engineering. With rapidly growing data sets, such a task can be intractable for classical computers, as the best known classical algorithms require a time…

One of the central applications for quantum annealers is to find the solutions of Ising problems. Suitable Ising problems, however, need to be formulated such that they, on the one hand, respect the specific restrictions of the hardware…

Quantum Physics · Physics 2023-08-28 Elisabeth Lobe , Volker Kaibel

We consider a family of quantum spin systems which includes as special cases the ferromagnetic XY model and ferromagnetic Ising model on any graph, with or without a transverse magnetic field. We prove that the partition function of any…

Quantum Physics · Physics 2017-09-13 Sergey Bravyi , David Gosset

We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial…

Rings and Algebras · Mathematics 2022-03-08 Jason P. Bell , Peter V. Danchev

We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…

Computation and Language · Computer Science 2024-02-28 Arka Ghosh , Piotr Hofman , Sławomir Lasota