Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1311.2960 · International Journal of Theoretical Physics

An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing

Yong Wang

Published Jul 23, 2019• 10 citations
arXivHTMLPDF
DOI
10.1007/s10773-019-04204-6

Related papers

Probabilistic Process Algebra to Unifying Quantum and Classical Computing in Closed Systems

Yong Wang

arXiv:1610.02500•International Journal of Theoretical Physics•Sep 5, 2019•2 citations

An Axiomatization of Quantum Computational Logic

В.Л. Васюков

Логико-философские штудии•Jan 1, 2016•0 citations

Hilbert's Sixth Problem Resolved: A Unified Axiomatization of Physics via URPD and Reflexive Micro-Granular Dynamics

AI Trinity Labo

This work presents a unified axiomatic framework that resolves Hilbert’s Sixth Problem by integrating two complementary foundations: Unified Relational Projection Dynamics (URPD), which defines probability, time, and measurement as geometric relations on CP^{N−1}, and Reflexive Micro-Granular Dynamics (RMG), which models fields not as continuous backgrounds but as finite, self-differential information structures. By combining these principles, the framework reproduces quantum mechanics, classical mechanics, gauge interactions, Navier–Stokes continuum physics, thermodynamic irreversibility, and emergent spacetime geometry without divergences, renormalization procedures, or additional postulates. The result is a coherent and complete axiomatization of physical law that satisfies Hilbert’s original requirement for a mathematically rigorous physics.

•Nov 29, 2025•0 citations

An Axiomatization of Quantum Computational Logic

Lukin Vladimir

•Jan 1, 2016•0 citations

The Trinity of Markovian Quantum Thermodynamics: Unifying the Axiomatic, Microscopic, and Operational Paradigms

Yutong Luo, Jakub Czartowski, Felix Hubmann +2 more

Thermodynamics imposes fundamental constraints on the evolution of quantum systems. These constraints and their dynamical consequences have been formulated within distinct paradigms, including axiomatic approaches based on quantum master equations, microscopic descriptions of open-system dynamics, and operational formulations rooted in resource theories. While each perspective has yielded important insights into thermodynamically consistent quantum dynamics, their precise relationship has remained unresolved. Here we establish the exact equivalence of these three paradigms in the Markovian regime. We prove that thermal Lindbladians satisfying Markovianity, time-translation symmetry, and quantum detailed balance are precisely those admitting a microscopic realisation as an energy-conserving thermal collision model and, equivalently, those generating Markovian thermal operations. This unifies the existing approaches to Markovian quantum thermodynamics and identifies its dynamical underpinnings. We further provide an explicit microscopic protocol for simulating thermal Markovian processes with controlled finite-time simulation errors. We illustrate its applicability by providing faithful thermal collision-model implementations of a qubit thermalising in a bosonic environment and of a three-level autonomous thermal machine. In the latter case, the protocol gives rise to a finite-stroke thermal engine that not only reproduces the continuous-time dynamics but also its steady-state thermodynamic performance. As a whole, these results establish a unified foundation for Markovian quantum thermodynamics, showing that its axiomatic, microscopic, and operational formulations are exactly equivalent and providing a universal protocol for implementing thermal processes and machines.

quant-pharXiv:2607.15376•Jul 20, 2026•0 citations

Souriau's Axiomatic Geometric Model of Quantum States: Representation Theory, Positive-Type Functions, Information Geometry, and Extensions Beyond Linear Systems

Syed Muntasir Mamun

This paper explores Jean-Marie Souriau's axiomatic framework for quantum mechanics, rooted in representation theory and information geometry, as revived by Frédéric Barbaresco. It delineates quantum states as normalized positive-type functions on dynamical groups, satisfying subordination, Hermitian positivity, and quantization inequalities that yield Hilbert spaces, unitary representations, uncertainty relations, and mixed/Gibbs states. The model unifies classical symplectic geometry with quantum axiomatics, exemplified in linear Heisenberg-Weyl systems producing coherent states. Comparative analysis contrasts Souriau's approach with Kostant's geometric quantization, algebraic QM, and information-geometric metrics (e.g., Balian-Petz), highlighting its group-theoretic strengths and diffeological generality. Extensions propose integrations with infinite-dimensional QFT, quantum thermodynamics, entanglement geometry, and applications in signal processing, machine learning, and quantum computing, forging a cohesive symmetry-driven geometric paradigm for quantum phenomena. Mamun, SM (2026)………………………………..1 Souriau's Axiomatic Geometric Model of Quantum States: Representation Theory, Positive-Type Functions, Information Geometry, and Extensions Beyond Linear Systems Also available on Academia.edu: https://www.academia.edu/attachments/131647634/download_file?s=portfolio

•Jan 1, 2026•0 citations
This work presents a unified axiomatic framework that resolves Hilbert’s Sixth Problem by integrating two complementary foundations: Unified Relational Projection Dynamics (URPD), which defines probability, time, and measurement as geometric relations on CP^{N−1}, and Reflexive Micro-Granular Dynamics (RMG), which models fields not as continuous backgrounds but as finite, self-differential information structures. By combining these principles, the framework reproduces quantum mechanics, classical mechanics, gauge interactions, Navier–Stokes continuum physics, thermodynamic irreversibility, and emergent spacetime geometry without divergences, renormalization procedures, or additional postulates. The result is a coherent and complete axiomatization of physical law that satisfies Hilbert’s original requirement for a mathematically rigorous physics.
Thermodynamics imposes fundamental constraints on the evolution of quantum systems. These constraints and their dynamical consequences have been formulated within distinct paradigms, including axiomatic approaches based on quantum master equations, microscopic descriptions of open-system dynamics, and operational formulations rooted in resource theories. While each perspective has yielded important insights into thermodynamically consistent quantum dynamics, their precise relationship has remained unresolved. Here we establish the exact equivalence of these three paradigms in the Markovian regime. We prove that thermal Lindbladians satisfying Markovianity, time-translation symmetry, and quantum detailed balance are precisely those admitting a microscopic realisation as an energy-conserving thermal collision model and, equivalently, those generating Markovian thermal operations. This unifies the existing approaches to Markovian quantum thermodynamics and identifies its dynamical underpinnings. We further provide an explicit microscopic protocol for simulating thermal Markovian processes with controlled finite-time simulation errors. We illustrate its applicability by providing faithful thermal collision-model implementations of a qubit thermalising in a bosonic environment and of a three-level autonomous thermal machine. In the latter case, the protocol gives rise to a finite-stroke thermal engine that not only reproduces the continuous-time dynamics but also its steady-state thermodynamic performance. As a whole, these results establish a unified foundation for Markovian quantum thermodynamics, showing that its axiomatic, microscopic, and operational formulations are exactly equivalent and providing a universal protocol for implementing thermal processes and machines.
This paper explores Jean-Marie Souriau's axiomatic framework for quantum mechanics, rooted in representation theory and information geometry, as revived by Frédéric Barbaresco. It delineates quantum states as normalized positive-type functions on dynamical groups, satisfying subordination, Hermitian positivity, and quantization inequalities that yield Hilbert spaces, unitary representations, uncertainty relations, and mixed/Gibbs states. The model unifies classical symplectic geometry with quantum axiomatics, exemplified in linear Heisenberg-Weyl systems producing coherent states. Comparative analysis contrasts Souriau's approach with Kostant's geometric quantization, algebraic QM, and information-geometric metrics (e.g., Balian-Petz), highlighting its group-theoretic strengths and diffeological generality. Extensions propose integrations with infinite-dimensional QFT, quantum thermodynamics, entanglement geometry, and applications in signal processing, machine learning, and quantum computing, forging a cohesive symmetry-driven geometric paradigm for quantum phenomena. Mamun, SM (2026)………………………………..1 Souriau's Axiomatic Geometric Model of Quantum States: Representation Theory, Positive-Type Functions, Information Geometry, and Extensions Beyond Linear Systems Also available on Academia.edu: https://www.academia.edu/attachments/131647634/download_file?s=portfolio