English
Related papers

Related papers: Generalized Bosbach States

200 papers

We study atom canonicity for several varieties of cylindric like algebras that contain properly the variety of representable algebras. The algebras in such varieties have relativized representations, and we thereby obtain many omitting…

Logic · Mathematics 2013-08-29 Tarek Sayed Ahmed

Bayesian networks provide an elegant formalism for representing and reasoning about uncertainty using probability theory. Theyare a probabilistic extension of propositional logic and, hence, inherit some of the limitations of propositional…

Artificial Intelligence · Computer Science 2007-05-23 Kristian Kersting , Luc De Raedt

Plasmas and other systems with long-range interactions are commonly found in non-equilibrium steady states that are outside traditional Boltzmann-Gibbs statistics, but can be described using generalized statistical mechanics frameworks such…

Statistical Mechanics · Physics 2025-07-15 Sergio Davis

The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics. There is a state object, analogous to the state space of a…

Quantum Physics · Physics 2013-12-06 Andreas Doering , Rui Soares Barbosa

For every univariate formula $\chi$ we introduce a lattices of intermediate theories: the lattice of $\chi$-logics. The key idea to define chi-logics is to interpret atomic propositions as fixpoints of the formula $\chi^2$, which can be…

Logic · Mathematics 2023-03-21 Gianluca Grilletti , Davide Emilio Quadrellaro

Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical…

Artificial Intelligence · Computer Science 2013-03-25 Philippe Chatalic , Christine Froidevaux

We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…

Logic · Mathematics 2017-05-26 Luca Mauri

The language of probability is used to define several different types of conditional statements. There are four principal types: subjunctive, material, existential, and feasibility. Two further types of conditionals are defined using the…

Logic · Mathematics 2014-09-29 Joseph W. Norman

This paper explores the space of (propositional) probabilistic logical languages, ranging from a purely `qualitative' comparative language to a highly `quantitative' language involving arbitrary polynomials over probability terms. While…

Logic · Mathematics 2023-08-17 Duligur Ibeling , Thomas Icard , Krzysztof Mierzewski , Milan Mossé

We present some basic elements of the theory of generalised Br\`{e}gman relative entropies over nonreflexive Banach spaces. Using nonlinear embeddings of Banach spaces together with the Euler--Legendre functions, this approach unifies two…

Mathematical Physics · Physics 2024-03-04 Ryszard Paweł Kostecki

The question is addressed of when a Sobolev type space, built upon a general rearrangement-invariant norm, on an $n$-dimensional domain, is a Banach algebra under pointwise multiplication of functions. A sharp balance condition among the…

Functional Analysis · Mathematics 2015-12-11 Andrea Cianchi , Luboš Pick , Lenka Slavíková

Experimental realization of various quantum states of interest has become possible in the recent past due to the rapid developments in the field of quantum state engineering. Nonclassical properties of such states have led to various…

Quantum Physics · Physics 2022-06-07 Kathakali Mandal , Nasir Alam , Amit Verma , Anirban Pathak , J. Banerji

We introduce the concept of algebra eigenstates which are defined for an arbitrary Lie group as eigenstates of elements of the corresponding complex Lie algebra. We show that this concept unifies different definitions of coherent states…

Quantum Physics · Physics 2014-11-18 C. Brif

The statistics of particles and extended excitations, such as loops and membranes, are fundamental to modern condensed matter physics, high-energy physics, and quantum information science, yet a comprehensive lattice-level framework for…

Quantum Physics · Physics 2026-01-16 Ryohei Kobayashi , Yuyang Li , Hanyu Xue , Po-Shen Hsin , Yu-An Chen

We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison…

Logic in Computer Science · Computer Science 2023-06-22 Vasco Brattka , Arno Pauly

Quantitative logic reasons about the degree to which formulas are satisfied. This paper studies the fundamental reasoning principles of higher-order quantitative logic and their application to reasoning about probabilistic programs and…

Logic in Computer Science · Computer Science 2026-05-21 Giorgio Bacci , Rasmus Ejlers Møgelberg

We introduce algebraic sets in the products of complex projective spaces for the mixed states in multipartite quantum systems as their invariants under local unitary operations. The algebraic sets have to be the union of the linear…

Quantum Physics · Physics 2007-05-23 Hao Chen

Trying to finalize in some way the present subject, this paper targets to generalize substantially the notions of Bassian and co-Bassian groups by introducing the so-called finitely (co-)Bassian groups, semi (co-)Bassian groups, fully…

Group Theory · Mathematics 2024-03-14 Andrey R. Chekhlov , Peter V. Danchev , Patrick W. Keef

One of the main concepts in quantum physics is a density matrix, which is a symmetric positive definite matrix of trace one. Finite probability distributions can be seen as a special case when the density matrix is restricted to be…

Quantum Physics · Physics 2009-01-12 Manfred K Warmuth , Dima Kuzmin

This document is meant as a pedagogical introduction to the modern language used to talk about quantum theory, especially in the field of quantum information. It assumes that the reader has taken a first traditional course on quantum…

Quantum Physics · Physics 2020-05-27 Cédric Bény , Florian Richter