Related papers: Grobner Bases for Finite-temperature Quantum Compu…
Let $\Lambda$ be a commutative Noetherian ring, and let $I$ be a proper ideal of $\Lambda$, $R=\Lambda /I$. Consider the polynomial rings $T=\Lambda [x_1,...x_n]$ and $A=R[x_1,...,x_n]$. Suppose that linear equations are solvable in…
In this paper we consider finite-dimensional constrained Hamiltonian systems of polynomial type. In order to compute the complete set of constraints and separate them into the first and second classes we apply the modern algorithmic methods…
The possible spectra of one-particle reduced density matrices that are compatible with a pure multipartite quantum system of finite dimension form a convex polytope. We introduce a new construction of inner- and outer-bounding polytopes…
The reduced k-particle density matrix of a density matrix on finite-dimensional, fermion Fock space can be defined as the image under the orthogonal projection in the Hilbert-Schmidt geometry onto the space of k-body observables. A proper…
In this work we consider general fermion systems in two spatial dimensions, both with and without charge conservation symmetry, which realize a nontrivial fermionic topological order with only Abelian anyons. We address the question of…
Loop Quantum Gravity (LQG) is one of the leading approaches to unify quantum physics and General Relativity (GR). The Hilbert space of LQG is spanned by spin-networks which describe the local geometry of quantum space-time. Simulation of…
Experimental realization of a universal set of quantum logic gates with high-fidelity is critical to quantum information processing, which is always challenging by inevitable interaction between the quantum system and environment. Geometric…
The Groebner walk is an algorithm for conversion between Groebner bases for different term orders. It is based on the polyhedral geometry of the Groebner fan and involves tracking a line between cones representing the initial and target…
We give algorithms for approximating the partition function of the ferromagnetic $q$-color Potts model on graphs of maximum degree $d$. Our primary contribution is a fully polynomial-time approximation scheme for $d$-regular graphs with an…
We study a model of quantum mechanical fermions with matrix-like index structure (with indices $N$ and $L$) and quartic interactions, recently introduced by Anninos and Silva. We compute the partition function exactly with $q$-deformed…
We develop a Gr\"obner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight…
This paper discusses a classical simulation to compute the partition function (or free energy) of generic one-dimensional quantum many-body systems. Many numerical methods have previously been developed to approximately solve…
Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of polynomials that automatically generates a Gr\"obner basis…
We produce a fully faithful functor from finite type nilpotent spaces to cosimplicial binomial rings, thus giving an algebraic model of integral homotopy types. As an application, we construct an integral version of the…
In this paper, we give a geometrization of semicanonical bases of quantum groups via Grothendieck groups of the derived categories of Lusztig's nilpotent varieties. Meanwhile, we describe the dual semicanonical bases in terms of Serre…
Thermal properties of quantum fields at finite temperature are crucial to understanding strongly interacting matter and recent development in quantum computing has provided an alternative and promising avenue of study. In this work, we…
In answer to the replies of Reslen {\it et al} [arXiv: quant-ph/0507164 (2005)], and Liberti and Zaffino [arXiv:cond-mat/0507019, (2005)], we comment once more on the temperature-dependent effective Hamiltonians for the Dicke model derived…
Invariance under finite conformal transformations in Minkowski space and the Wightman axioms imply strong locality (Huygens principle) and rationality of correlation functions, thus providing an extension of the concept of vertex algebra to…
In this work, we solve the quantum absorption refrigerator analytically in the space of holomorphic functions with Gaussian measure . Our approach simplifies the calculations since for a given quantum system the coordinate representation of…
Due to the existence of incompatible observables, the propositional calculus of a quantum system does not form a Boolean algebra but an orthomodular lattice. Such lattice can be realised as a lattice of subspaces on a real, complex or…