English
Related papers

Related papers: Entropy of Partitions on Sequential Effect Algebra…

200 papers

We overview the notion of entropy in thermodynamics. We start from the smooth case using differential forms on the manifold, which is the natural language for thermodynamics. Then the axiomatic definition of entropy as ordering on a set…

Mathematical Physics · Physics 2019-11-12 Radosław A. Kycia

We use sums over integer compositions analogous to generating functions in partition theory, to express certain partition enumeration functions as sums over compositions into parts that are $k$-gonal numbers; our proofs employ Ramanujan's…

Number Theory · Mathematics 2022-09-16 Robert Schneider , Andrew V. Sills

In the recent years, Hopf algebras have been introduced to describe certain combinatorial properties of quantum field theories. I will give a basic introduction to these algebras and review some occurrences in particle physics.

High Energy Physics - Theory · Physics 2011-09-13 Stefan Weinzierl

The most fundamental properties of quantum entropy are derived by considering the union of two ensembles. We discuss the limits these properties put on an entropy measure and obtain that they uniquely determine the form of the entropy…

Mathematical Physics · Physics 2016-12-05 Frank Hansen

We present the elements of a new approach to the foundations of quantum theory and probability theory which is based on the algebraic approach to integration, information geometry, and maximum relative entropy methods. It enables us to deal…

Mathematical Physics · Physics 2011-09-13 Ryszard Paweł Kostecki

A class of random discrete distributions $P$ is introduced by means of a recursive splitting of unity. Assuming supercritical branching, we show that for partitions induced by sampling from such $P$ a power growth of the number of blocks is…

Probability · Mathematics 2007-05-23 Alexander V. Gnedin , Yuri Yakubovich

Quantum algorithms leverage the use of quantumly-controlled data in order to achieve computational advantage. This implies that the programs use constructs depending on quantum data and not just classical data such as measurement outcomes.…

Logic in Computer Science · Computer Science 2025-10-08 Emmanuel Hainry , Romain Péchoux , Mário Alberto Machado da Silva

It is argued that the partition of a quantum system into subsystems is dictated by the set of operationally accessible interactions and measurements. The emergence of a multi-partite tensor product structure of the state-space and the…

Quantum Physics · Physics 2011-04-29 Paolo Zanardi , Daniel Lidar , Seth Lloyd

Estimating vibrational entropy is a significant challenge in thermodynamics and statistical mechanics due to its reliance on quantum mechanical properties. This paper introduces a quantum algorithm designed to estimate vibrational entropy…

Quantum Physics · Physics 2025-11-25 Shangjie Guo , Corneliu Buda , Nathan Wiebe

A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are…

Logic in Computer Science · Computer Science 2025-11-14 Kenji Tokuo

Quantum logic (QL) is a non-classical logic for analyzing the propositions of quantum physics. Modal logic MB, which is a logic that handles the value of the inner product that appears in quantum mechanics, was constructed with the…

Logic in Computer Science · Computer Science 2025-01-03 Tomoaki Kawano

These lectures given to graduate students in theoretical particle physics, provide an introduction to the ``inner workings'' of computer algebra systems. Computer algebra has become an indispensable tool for precision calculations in…

High Energy Physics - Phenomenology · Physics 2007-05-23 Stefan Weinzierl

A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by translating logical rules directly into equations. The former type…

Logic · Mathematics 2024-01-23 Michele Pra Baldi , Adam Přenosil

We explore a connection between quantum logic and quantum computing.

Logic · Mathematics 2007-05-23 J. Michael Dunn , Tobias J. Hagge , Lawrence S. Moss , Zhenghan Wang

Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a…

Quantum Physics · Physics 2007-05-23 M. L. Dalla Chiara , R. Giuntini , R. Leporini

We give a mathematical criterion for the concept of information flow within closed quantum systems described by quantum registers. We define the concepts of separations and entanglements over quantum registers and use them with the quantum…

Quantum Physics · Physics 2007-05-23 Jon Eakins , George Jaroszkiewicz

The split step quantum walk for two noninteracting particles is numerically simulated. The entropy of entanglement and spatial particle distributions are calculated for a range of initial states and for a range of disorder. The impact of…

Quantum Physics · Physics 2017-02-06 Samuel Huberman

We exploit transformations relating generalized $q$-series, infinite products, sums over integer partitions, and continued fractions, to find partition-theoretic formulas to compute the values of constants such as $\pi$, and to connect sums…

Number Theory · Mathematics 2016-05-19 Robert Schneider

We formulate the problem of approach to equilibrium in algebraic quantum statistical mechanics and study some of its structural aspects, focusing on the relation between the zeroth law of thermodynamics (approach to equilibrium) and the…

Mathematical Physics · Physics 2024-09-25 Vojkan Jakšić , Claude-Alain Pillet , Clément Tauber

An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the syntax of exceptions and their intended…

Logic in Computer Science · Computer Science 2012-10-30 Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud