Results 1 to 10 of about 235 (45)
Graph isomorphism and Gaussian boson sampling
Special Matrices, 2021 We introduce a connection between a near-term quantum computing device, specifically a Gaussian boson sampler, and the graph isomorphism problem. We propose a scheme where graphs are encoded into quantum states of light, whose properties are then probed ...
Brádler Kamil +4 more
doaj +1 more source
Undecidability of the Spectral Gap
Forum of Mathematics, Pi, 2022 We construct families of translationally invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem.
Toby Cubitt +2 more
doaj +1 more source
Entropy generation in a model of reversible computation [PDF]
RAIRO - Theoretical Informatics and Applications, 2006 We present a model in which, due to the quantum nature of the signals controlling the implementation time of successive unitary computational steps, physical irreversibility appears in the execution of a logically reversible computation.
D. Falco, D. Tamascelli
semanticscholar +1 more source
Quantum algorithms for computing general discrete logarithms and orders with tradeoffs
Journal of Mathematical Cryptology, 2021 We generalize our earlier works on computing short discrete logarithms with tradeoffs, and bridge them with Seifert's work on computing orders with tradeoffs, and with Shor's groundbreaking works on computing orders and general discrete logarithms.
Ekerå Martin
doaj +1 more source
A diagrammatic calculus of fermionic quantum circuits [PDF]
Logical Methods in Computer Science, 2019 We introduce the fermionic ZW calculus, a string-diagrammatic language for fermionic quantum computing (FQC). After defining a fermionic circuit model, we present the basic components of the calculus, together with their interpretation, and show how the ...
Giovanni de Felice +2 more
doaj +1 more source
Lineal: A linear-algebraic Lambda-calculus [PDF]
Logical Methods in Computer Science, 2017 We provide a computational definition of the notions of vector space and bilinear functions. We use this result to introduce a minimal language combining higher-order computation and linear algebra.
Pablo Arrighi, Gilles Dowek
doaj +1 more source
A trade-off between classical and quantum circuit size for an attack against CSIDH
Journal of Mathematical Cryptology, 2020 We propose a heuristic algorithm to solve the underlying hard problem of the CSIDH cryptosystem (and other isogeny-based cryptosystems using elliptic curves with endomorphism ring isomorphic to an imaginary quadratic order 𝒪).
Biasse Jean-François +4 more
doaj +1 more source
Optimal Teleportation Based on Bell Measurement [PDF]
, 2002 We study optimal teleportation based on the Bell measurements. An explicit expression for the quantum channel associated with the optimal teleportation with an arbitrary mixed state resource is presented.
C.H. Bennett +6 more
core +2 more sources
EXPONENTIAL IMPROVEMENT IN PRECISION FOR SIMULATING SPARSE HAMILTONIANS
Forum of Mathematics, Sigma, 2017 We provide a quantum algorithm for simulating the dynamics of sparse Hamiltonians with complexity sublogarithmic in the inverse error, an exponential improvement over previous methods. Specifically, we show that a
DOMINIC W. BERRY +4 more
doaj +1 more source
Quantum computation of discrete logarithms in semigroups
Journal of Mathematical Cryptology, 2014 We describe an efficient quantum algorithm for computing discrete logarithms in semigroups using Shor's algorithms for period finding and the discrete logarithm problem as subroutines.
Childs Andrew M., Ivanyos Gábor
doaj +1 more source