69 entries matching the current filters. Sorted by recently added.
Given a finite-dimensional memoryless quantum channel mathcal N through an explicit rational/algebraic Choi matrix and a rational varepsilon 0 , does a single algorithm always terminate and output q satisfying |q-Q(…
For specified one-dimensional translation-invariant nearest-neighbour Hamiltonian families and product-state inputs, determine when a local-observable long-time-average threshold problem is decidable. Specify a finite…
For finitely specified one-parameter local-Hamiltonian families, identify restrictions giving terminating algorithms for phase-boundary locations to rational accuracy varepsilon 0 , or for specified local order…
Classify decidability for specified small-local-dimension and frustration-free one-dimensional chains. A concrete promise problem takes a finite rational/algebraic nearest-neighbour interaction 0 le h le I and rational…
For two-dimensional finite-range noncommuting spin Hamiltonians of bounded local strength and a specified reversible local or quasilocal Gibbs sampler, identify verifiable temperature/interaction conditions beyond the…
For a specified generator or finite-memory model, preparation/measurement access and estimation norm, determine matching experimental and computational bounds for identifying the dynamics, including robustness to…
For a stated strong-coupling experiment, specify accessible energy measurements, work storage and interaction-energy accounting, then derive testable work/heat statistics and fluctuation relations with controlled…
For a specified autonomous machine with bounded dimension, energy and interaction strength, derive tight trade-offs for its chosen clock, battery or heat-engine task, including auxiliary preparation, repeated-use…
Characterize coherent state conversion under thermal operations without catalysts or with bounded catalyst dimension and energy; determine the cost of target error varepsilon , exact catalyst restoration and permitted…
For a specified set of multi-time interventions, determine optimal tests for quantum memory and the minimal memory dimension or simulation cost needed to reproduce the accessible statistics within error varepsilon .
For a specified correlated preparation family and class of joint unitaries, characterize the induced reduced maps on their compatibility domain and when they admit a CP extension, distinguishing domain positivity,…
For a specified non-Gaussian or initially correlated system–bath model, construct computationally tractable reduced-process approximations with certified finite-time error, controlled memory truncation and positivity on…
For specified microscopic bath correlations and coupling operators, bound the error of a reduced master equation in a stated state or observable norm, tracking coupling strength, system size and the time window,…
On a specified infinite-dimensional operator space and topology, characterize when an unbounded generator or quadratic form defines a unique conservative completely positive semigroup, with explicit operator domains and…
For rho v=v| psi^- rangle langle psi^-|+(1-v)I/4 , determine the exact critical visibility for Bell locality under all single-copy local projective measurements; formulate arbitrary POVMs as a separate threshold.
In specified measurement-based or stabilizer-resource computation models, relate a quantitative contextuality resource to classical simulation cost or distillation rates, fixing free operations, scalable input families…
For a specified Bell functional, normalization and target, determine the tight extractability-fidelity bound as a function of the violation deficit; treat norm-distance bounds and measurement certification as separate…
Can every finite-dimensional pure multipartite entangled state be self-tested in a standard single-source Bell experiment, up to local isometries, unused auxiliary systems and unavoidable conjugation equivalences?…
Identify natural restricted families of finite nonlocal games whose finite-dimensional tensor-product value admits two-sided additive approximation with a certified stopping rule; separately determine efficient…
For specified finite-dimensional tensor-product correlation families and a fixed metric, determine tight lower and upper bounds on the minimal local dimension achieving accuracy varepsilon , with explicit parameter…
For each separation C q ne C qa and C qa ne C qc , determine minimal input/output tuples under a stated ordering, and construct explicit small witnesses.
Determine the maximal number M(6) of mutually unbiased bases in mathbb C ^6 ; in particular decide whether M(6)=3 or whether four or more exist.
Prove or disprove that for every d ge2 there exist d^2 unit vectors | psi j rangle subset mathbb C ^d with | langle psi j| psi k rangle|^2= tfrac 1 d+1 for j neq k .
Does there exist a finite-dimensional bipartite entangled state rho with K D( rho)=0 , when key is distilled by LOCC with authenticated public communication and an adversary holds a purification?
Extend the certified existence/nonexistence table for mathrm AME (n,d) with explicit constructions or impossibility proofs for unresolved parameter pairs, keeping minimal-support and unrestricted AME questions distinct.