Buchumschlag

Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yamakami, Tomoyuki
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Quantum Physics Computational Complexity Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Schematic Definition of Quantum Polynomial Time Computability
von: Yamakami, Tomoyuki
Veröffentlicht: (2018)

Elementary Quantum Recursion Schemes That Capture Quantum Polylogarithmic Time Computability of Quantum Functions
von: Yamakami, Tomoyuki
Veröffentlicht: (2023)

Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
von: Yamakami, Tomoyuki
Veröffentlicht: (2019)

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
von: Yamakami, Tomoyuki
Veröffentlicht: (2020)

SAT, Gadgets, Max2XOR, and Quantum Annealers
von: Ansótegui, Carlos, et al.
Veröffentlicht: (2024)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
von: González-Castillo, Samuel, et al.
Veröffentlicht: (2026)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
von: Colledan, Andrea, et al.
Veröffentlicht: (2024)

The Complexity and Expressive Power of Second-Order Extended Logic
von: Feng, Shiguang, et al.
Veröffentlicht: (2022)

Reasonable Space for the $λ$-Calculus, Logarithmically
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2022)

First Order Logic on Pathwidth Revisited Again
von: Lampis, Michael
Veröffentlicht: (2022)

Logic and Computation through the Lens of Semirings
von: Barlag, Timon, et al.
Veröffentlicht: (2025)

Satisfiability of commutative vs. non-commutative CSPs
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2024)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

Logical Expressibility of Syntactic NL for Complementarity, Monotonicity, and Maximization
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)

Between SC and LOGDCFL: Families of Languages Accepted by Logarithmic-Space Deterministic Auxiliary Depth-k Storage Automata
von: Yamakami, Tomoyuki
Veröffentlicht: (2022)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
von: Lindenhovius, Bert, et al.
Veröffentlicht: (2025)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

The 2CNF Boolean Formula Satisfiability Problem and the Linear Space Hypothesis
von: Yamakami, Tomoyuki
Veröffentlicht: (2017)

Aspects of Coherence in Dependence Logic
von: Barlag, Timon, et al.
Veröffentlicht: (2026)

Capturing the polynomial hierarchy by second-order revised Krom logic
von: Wang, Kexu, et al.
Veröffentlicht: (2022)

Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
von: Ciardo, Lorenzo, et al.
Veröffentlicht: (2025)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2026)

Finite Variable Counting Logics with Restricted Requantification
von: Raßmann, Simon, et al.
Veröffentlicht: (2024)

Epistemic Skills: Logical Dynamics of Knowing and Forgetting
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

On the Quantum Chromatic Gap
von: Ciardo, Lorenzo
Veröffentlicht: (2025)

On the Complexity of the Skolem Problem at Low Orders
von: Bacik, Piotr, et al.
Veröffentlicht: (2025)

The Space-Time Cost of Purifying Quantum Computations
von: Zhandry, Mark
Veröffentlicht: (2024)

Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
von: Meijer, Lucas, et al.
Veröffentlicht: (2025)

Classical Simulation of Quantum CSP Strategies
von: Banakh, Demian, et al.
Veröffentlicht: (2025)

A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations
von: Baillot, Patrick, et al.
Veröffentlicht: (2024)

Specification and Automatic Verification of Computational Reductions
von: Grange, Julien, et al.
Veröffentlicht: (2024)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Proceedings of the 21st International Conference on Quantum Physics and Logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2024)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)

Quantum Random Self-Modifiable Computation
von: Fiske, Michael Stephen
Veröffentlicht: (2018)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
von: Barthe, Gilles, et al.
Veröffentlicht: (2025)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

Effective Versions of Strong Measure Zero
von: Rayman, Matthew
Veröffentlicht: (2025)

On the consistency of stronger lower bounds for NEXP
von: Thapen, Neil
Veröffentlicht: (2025)