English
Related papers

Related papers: Two constructive proofs on d-majorization and ther…

200 papers

We consider the canonical ensemble of a system of point particles on the sphere interacting via a logarithmic pair potential. In this setting, we study the associated Gibbs measure and partition function, and we derive explicit formulas…

Mathematical Physics · Physics 2025-10-31 Rolf Andreasson , Ludvig Svensson

A pedagogical approach for deriving the statistical mechanical partition function, in a manner that emphasizes the key role of entropy in connecting the microscopic states to thermodynamics, is introduced. The connections between the…

Statistical Mechanics · Physics 2013-09-10 Jonathan L. Belof , Brian Space

The use of the von Neumann entropy in formulating the laws of thermodynamics has recently been challenged. It is associated with the average work whereas the work guaranteed to be extracted in any single run of an experiment is the more…

Quantum Physics · Physics 2015-07-13 Dario Egloff , Oscar C. O. Dahlsten , Renato Renner , Vlatko Vedral

The strong eigenstate thermalization hypothesis (ETH) provides a sufficient condition for thermalization and equilibration. Although it is expected to be hold in a wide class of highly chaotic theories, there are only a few analytic…

High Energy Physics - Theory · Physics 2026-01-19 Taishi Kawamoto

There exists a well-known duality between the Maxwell-Chern-Simons theory and the self-dual massive model in 2+1 dimensions. This dual description has been extended to topologically massive gauge theories (TMGT) in any dimension. This…

High Energy Physics - Theory · Physics 2008-11-26 Bruno Bertrand , Jan Govaerts

This paper is concerned with the factorization and equivalence problems of multivariate polynomial matrices. We present some new criteria for the existence of matrix factorizations for a class of multivariate polynomial matrices, and obtain…

Symbolic Computation · Computer Science 2020-10-15 Dong Lu , Dingkang Wang , Fanghui Xiao

We present a survey of results concerning the use of inductive constructions to study the rigidity of frameworks. By inductive constructions we mean simple graph moves which can be shown to preserve the rigidity of the corresponding…

Metric Geometry · Mathematics 2013-06-18 Anthony Nixon , Elissa Ross

Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of…

Logic in Computer Science · Computer Science 2024-02-05 Ignacio Fábregas , Miguel Palomino , David de Frutos-Escrig

The issue of the thermodynamics of a system of distinguishable particles is discussed in this paper. In constructing the statistical mechanics of distinguishable particles from the definition of Boltzmann entropy, it is found that the…

Chemical Physics · Physics 2009-12-03 Chi-Ho Cheng

Cubical type theory provides a constructive justification of homotopy type theory. A crucial ingredient of cubical type theory is a path lifting operation which is explained computationally by induction on the type involving several…

Logic · Mathematics 2023-06-22 Thierry Coquand , Simon Huber , Christian Sattler

The standard Faddeev Popov gauge fixing procedure is put on solid grounds by taking into account a topological factor which corrects for the number of Gribov copies within the first Gribov horizon. Zwanziger's stochastic approach to gauge…

High Energy Physics - Lattice · Physics 2007-05-23 Kurt Langfeld

In this paper we prove existence of matings between a large class of renormalizable cubic polynomials with one fixed critical point and another cubic polynomial having two fixed critical points. The resulting mating is a Newton map. Our…

Dynamical Systems · Mathematics 2018-05-16 Magnus Aspenberg , Pascale Roesch

We construct inducing schemes for general multi-dimensional piecewise expanding maps where the base transformation is Gibbs-Markov and the return times have exponential tails. Such structures are a crucial tool in proving statistical…

Dynamical Systems · Mathematics 2020-02-18 Peyman Eslami

Morphisms, structure preserving maps, are everywhere in Mathematics as useful tools for thinking and problem solving, or as objects to study. Here, we argue that the idea of operations being compatible across two domains goes beyond its…

History and Overview · Mathematics 2025-06-11 Attila Egri-Nagy , Miklós Hoffmann

We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant…

Algebraic Geometry · Mathematics 2018-06-13 Christine Berkesch , Laura Felicia Matusevich , Uli Walther

A general formulation of stochastic thermodynamics is presented for open systems exchanging energy and particles with multiple reservoirs. By introducing a partition in terms of "macrostates" (e.g. sets of "microstates"), the consequence on…

Statistical Mechanics · Physics 2015-06-03 Massimiliano Esposito

We define a K-theoretic analogue of Fomin's dual graded graphs, which we call dual filtered graphs. The key formula in the definition is DU-UD= D + I. Our major examples are K-theoretic analogues of Young's lattice, of shifted Young's…

Combinatorics · Mathematics 2016-05-04 Rebecca Patrias , Pavlo Pylyavskyy

We assess the validity of "microscopic" approaches of glass-forming liquids based on the sole k nowledge of the static pair density correlations. To do so we apply them to a benchmark provided by two liquid models that share very similar…

Statistical Mechanics · Physics 2011-10-10 Ludovic Berthier , Gilles Tarjus

We establish a form of the h-principle for the existence of foliations quasi-complementary to a given one; the same methods also provide a proof of the classical Mather-Thurston theorem.

Geometric Topology · Mathematics 2021-05-05 Gael Meigniez

It was shown recently that the f-diagonal tensor in the T-SVD factorization must satisfy some special properties. Such f-diagonal tensors are called s-diagonal tensors. In this paper, we show that such a discussion can be extended to any…

Numerical Analysis · Mathematics 2021-06-15 Liqun Qi , Ziyan Luo