English
Related papers

Related papers: Classical vs. quantum satisfiability in linear con…

200 papers

We consider small nonlinear perturbations of linear systems on a time scale with the phase space being finite or infinite-dimensional. For $\Delta$-differential operators, corresponding to linear dynamic systems we consider their…

Dynamical Systems · Mathematics 2023-04-13 Svetlin Georgiev , Sergey Kryzhevich

We study coherent systems of type $(n,d,n+1)$ on a Petri curve $X$ of genus $g\ge2$. We describe the geometry of the moduli space of such coherent systems for large values of the parameter $\alpha$. We determine the top critical value of…

Algebraic Geometry · Mathematics 2007-12-14 U. N. Bhosle , L. Brambila-Paz , P. E. Newstead

Topologically-ordered phases are stable to local perturbations, and topological quantum error-correcting codes enjoy thresholds to local errors. We connect the two notions of stability by constructing classical statistical mechanics models…

Quantum Physics · Physics 2025-02-13 Yaodong Li , Nicholas O'Dea , Vedika Khemani

Following a recently considered generalization of linear equations to unordered data vectors, we perform a further generalization to ordered data vectors. These generalized equations naturally appear in the analysis of vector addition…

Logic in Computer Science · Computer Science 2018-02-20 Piotr Hofman , Sławomir Lasota

We prove the existence of spontaneous symmetry breaking in suitably low-energy eigenstates of certain gapless and frustrated many-body quantum systems, namely symmetric quantum perturbations to classical models which exhibit spontaneous…

Mathematical Physics · Physics 2026-03-16 Chao Yin , Andrew Lucas

A powerful way to guarantee the absence of a sign problem in determinantal quantum Monte Carlo simulations is imposing a particular type of anti-unitary symmetries. It is shown that these same symmetries give rise to constraints on…

Strongly Correlated Electrons · Physics 2025-09-08 Xu Zhang , Nick Bultinck

Let $d,m_1,...,m_r$ be ($r+1$) positive integers, and $P_1,...,P_r$ be $r$ general points in the projective plane ; let $m$ be a positive integer. We prove that there exists a bound $d_0(m)$ such that : If $m_i < m$ ($0<i<r+1$), and $d >…

Algebraic Geometry · Mathematics 2007-05-23 Thierry Mignon

A phenomenon of classical quantization is discussed. This is revealed in the class of pseudoclassical gauge systems with nonlinear nilpotent constraints containing some free parameters. Variation of parameters does not change local (gauge)…

High Energy Physics - Theory · Physics 2009-10-30 Khazret Nirov , Mikhail Plyushchay

We discuss the uniqueness of quantum states compatible with given results for measuring a set of observables. For a given pure state, we consider two different types of uniqueness: (1) no other pure state is compatible with the same…

We consider the problem of efficiently solving large-scale linear least squares problems that have one or more linear constraints that must be satisfied exactly. Whilst some classical approaches are theoretically well founded, they can face…

Numerical Analysis · Mathematics 2021-12-24 Jennifer Scott , Miroslav Tuma

Bell's theorem is typically understood as the proof that quantum theory is incompatible with local-hidden-variable models. More generally, we can see the violation of a Bell inequality as witnessing the impossibility of explaining quantum…

The search for empirical schemes to evidence the nonclassicality of large masses is a central quest of current research. However, practical schemes to witness the irreducible quantumness of an arbitrarily large mass are still lacking. To…

Quantum Physics · Physics 2024-01-17 Debarshi Das , Dipankar Home , Hendrik Ulbricht , Sougato Bose

There exist diverse no-go theorems, ranging from no-cloning to monogamies of quantum correlations and Bell inequality violations, which restrict the processing of information in the quantum world. In a multipartite scenario, monogamy of…

Quantum Physics · Physics 2015-05-26 Debasis Sadhukhan , Sudipto Singha Roy , Debraj Rakshit , Aditi Sen De , Ujjwal Sen

Many quantum systems may have the same classical limit. We argue that in the classical limit their traces do not necessarily converge one to another. The trace formula allows to express quantum traces by means of classical quantities as…

chao-dyn · Physics 2009-10-31 Prot Pakonski

In orthodox quantum theory the observables of spacelike separated quantum systems commute. I shall call this the commutation constraint. It severely limits quantum theory's explanatory power. For instance, the constraint cannot be met in…

Quantum Physics · Physics 2022-05-06 Samuel Kuypers

The canonical tensor model (CTM) is a tensor model proposing a classically and quantum mechanically consistent model of gravity, formulated as a first-class constraint system with structural similarities to the ADM formalism of general…

High Energy Physics - Theory · Physics 2019-12-06 Dennis Obster , Naoki Sasakura

This paper argues that the requirement of applicableness of quantum linearity to any physical level from molecules and atoms to the level of macroscopic extensional world, which leads to a main foundational problem in quantum theory…

Quantum Physics · Physics 2014-06-25 Arkady Bolotin

We show that there exist scalar field theories with plausible one-particle states in general $D$ dimensional nonstationary curved spacetimes whose propagating modes are localized on $d\le D$ dimensional hypersurfaces, and the corresponding…

High Energy Physics - Theory · Physics 2020-04-29 Farhang Loran

Many problems in robotics require reasoning over a mix of continuous dynamics and discrete events, such as making and breaking contact in manipulation and locomotion. These problems are locally well modeled by linear complementarity…

Robotics · Computer Science 2026-04-28 Arun L. Bishop , Micah I. Reich , Zachary Manchester

This paper considers the problem of testing whether there exists a solution satisfying certain non-negativity constraints to a linear system of equations. Importantly and in contrast to some prior work, we allow all parameters in the system…