-
Graphs With Polarities
Authors:
John C. Baez,
Adittya Chaudhuri
Abstract:
In fields ranging from business to systems biology, directed graphs with edges labeled by signs are used to model systems in a simple way: the nodes represent entities of some sort, and an edge indicates that one entity directly affects another either positively or negatively. Multiplying the signs along a directed path of edges lets us determine indirect positive or negative effects, and if the p…
▽ More
In fields ranging from business to systems biology, directed graphs with edges labeled by signs are used to model systems in a simple way: the nodes represent entities of some sort, and an edge indicates that one entity directly affects another either positively or negatively. Multiplying the signs along a directed path of edges lets us determine indirect positive or negative effects, and if the path is a loop we call this a positive or negative feedback loop. Here we generalize this to graphs with edges labeled by a monoid, whose elements represent `polarities' possibly more general than simply "positive" or "negative". We study three notions of morphism between graphs with labeled edges, each with its own distinctive application: to refine a simple graph into a complicated one, to transform a complicated graph into a simple one, and to find recurring patterns called "motifs". We construct three corresponding symmetric monoidal double categories of "open" graphs. We study feedback loops using a generalization of the homology of a graph to homology with coefficients in a commutative monoid. In particular, we describe the emergence of new feedback loops when we compose open graphs using a variant of the Mayer-Vietoris exact sequence for homology with coefficients in a commutative monoid.
△ Less
Submitted 29 June, 2025;
originally announced June 2025.
-
Tannaka Reconstruction and the Monoid of Matrices
Authors:
John C. Baez,
Todd Trimble
Abstract:
Settling a conjecture from an earlier paper, we prove that the monoid $\mathrm{M}(n,k)$ of $n \times n$ matrices in a field $k$ of characteristic zero is the "walking monoid with an $n$-dimensional representation". More precisely, if we treat $\mathrm{M}(n,k)$ as a monoid in affine schemes, the 2-rig $\mathrm{Rep}(\mathrm{M}(n,k))$ of algebraic representations of $\mathrm{M}(n,k)$ is the free 2-ri…
▽ More
Settling a conjecture from an earlier paper, we prove that the monoid $\mathrm{M}(n,k)$ of $n \times n$ matrices in a field $k$ of characteristic zero is the "walking monoid with an $n$-dimensional representation". More precisely, if we treat $\mathrm{M}(n,k)$ as a monoid in affine schemes, the 2-rig $\mathrm{Rep}(\mathrm{M}(n,k))$ of algebraic representations of $\mathrm{M}(n,k)$ is the free 2-rig on an object $x$ with $Λ^{n+1}(x) \cong 0$. Here a "2-rig" is a symmetric monoidal $k$-linear category that is Cauchy complete. Our proof uses Tannaka reconstruction and a general theory of quotient 2-rigs and 2-ideals. We conclude with a series of conjectures about the universal properties of representation 2-rigs of classical groups.
△ Less
Submitted 3 April, 2025;
originally announced April 2025.
-
Dirichlet Species and Arithmetic Zeta Functions
Authors:
John C. Baez
Abstract:
Though Joyal's species are known to categorify generating functions in enumerative combinatorics, they also categorify zeta functions in algebraic geometry. The reason is that any scheme $X$ of finite type over the integers gives a "zeta species" $Z_X$, and any species $F$ gives a Dirichlet series $\widehat{F}$, in such a way that $\widehat{Z}_X$ is the arithmetic zeta function of $X$, a well-know…
▽ More
Though Joyal's species are known to categorify generating functions in enumerative combinatorics, they also categorify zeta functions in algebraic geometry. The reason is that any scheme $X$ of finite type over the integers gives a "zeta species" $Z_X$, and any species $F$ gives a Dirichlet series $\widehat{F}$, in such a way that $\widehat{Z}_X$ is the arithmetic zeta function of $X$, a well-known Dirichlet series that encodes the number of points of $X$ over each finite field. Specifically, a $Z_X$-structure on a finite set is a way of making that set into a semisimple commutative ring, say $k$, and then choosing a $k$-point of the scheme $X$. This is an elaboration of joint work with James Dolan.
△ Less
Submitted 10 February, 2025; v1 submitted 3 February, 2025;
originally announced February 2025.
-
Groupoid Cardinality and Random Permutations
Authors:
John C. Baez
Abstract:
If we treat the symmetric group $S_n$ as a probability measure space where each element has measure $1/n!$, then the number of cycles in a permutation becomes a random variable. The Cycle Length Lemma describes the expected values of products of these random variables. Here we categorify the Cycle Length Lemma by showing that it follows from an equivalence between groupoids.
If we treat the symmetric group $S_n$ as a probability measure space where each element has measure $1/n!$, then the number of cycles in a permutation becomes a random variable. The Cycle Length Lemma describes the expected values of products of these random variables. Here we categorify the Cycle Length Lemma by showing that it follows from an equivalence between groupoids.
△ Less
Submitted 18 April, 2025; v1 submitted 20 December, 2024;
originally announced December 2024.
-
The Hexagonal Tiling Honeycomb
Authors:
John C. Baez
Abstract:
The hexagonal tiling honeycomb is a beautiful structure in 3-dimensional hyperbolic space. It is called {6,3,3} because each hexagon has 6 edges, 3 hexagons meet at each vertex in a Euclidean plane tiled by regular hexagons, and 3 such planes meet along each edge of this honeycomb. It also appears naturally in algebraic geometry. If $\mathbb{E}$ denotes the Eisenstein integers, the Néron-Severi gr…
▽ More
The hexagonal tiling honeycomb is a beautiful structure in 3-dimensional hyperbolic space. It is called {6,3,3} because each hexagon has 6 edges, 3 hexagons meet at each vertex in a Euclidean plane tiled by regular hexagons, and 3 such planes meet along each edge of this honeycomb. It also appears naturally in algebraic geometry. If $\mathbb{E}$ denotes the Eisenstein integers, the Néron-Severi group of the abelian surface $\mathbb{C}^2/\mathbb{E}^2$ is isomorphic to the lattice $\mathfrak{h}_2(\mathbb{E})$ consisting of $2 \times 2$ hermitian matrices with Eisenstein integer entries. The points $A \in \mathfrak{h}_2(\mathbb{E})$ with $\mathrm{tr}(A) \gt 0$ and $\det(A) \gt 0$ come from ample line bundles on $\mathbb{C}^2/\mathbb{E}^2$, and among these points, those with $\det(A) = 1$ correspond to principal polarizations. But these points are precisely the centers of the hexagons in the hexagonal tiling honeycomb!
△ Less
Submitted 23 November, 2024;
originally announced December 2024.
-
2-Rig Extensions and the Splitting Principle
Authors:
John C. Baez,
Joe Moeller,
Todd Trimble
Abstract:
Classically, the splitting principle says how to pull back a vector bundle in such a way that it splits into line bundles and the pullback map induces an injection on $K$-theory. Here we categorify the splitting principle and generalize it to the context of 2-rigs. A 2-rig is a kind of categorified "ring without negatives", such as a category of vector bundles with $\oplus$ as addition and…
▽ More
Classically, the splitting principle says how to pull back a vector bundle in such a way that it splits into line bundles and the pullback map induces an injection on $K$-theory. Here we categorify the splitting principle and generalize it to the context of 2-rigs. A 2-rig is a kind of categorified "ring without negatives", such as a category of vector bundles with $\oplus$ as addition and $\otimes$ as multiplication. Technically, we define a 2-rig to be a Cauchy complete $k$-linear symmetric monoidal category where $k$ has characteristic zero. We conjecture that for any suitably finite-dimensional object $r$ of a 2-rig $\mathsf{R}$, there is a 2-rig map $E \colon \mathsf{R} \to \mathsf{R'}$ such that $E(r)$ splits as a direct sum of finitely many "subline objects" and $E$ has various good properties: it is faithful, conservative, essentially injective, and the induced map of Grothendieck rings $K(E) \colon K(\mathsf{R}) \to K(\mathsf{R'})$ is injective. We prove this conjecture for the free 2-rig on one object, namely the category of Schur functors, whose Grothendieck ring is the free $λ$-ring on one generator, also known as the ring of symmetric functions. We use this task as an excuse to develop the representation theory of affine categories - that is, categories enriched in affine schemes - using the theory of 2-rigs.
△ Less
Submitted 7 October, 2024;
originally announced October 2024.
-
The Moduli Space of Acute Triangles
Authors:
John Carlos Baez
Abstract:
As an introduction to the concept of "moduli space" we consider the moduli space of similarity classes of acute and right triangles in the plane. This has a map to the moduli space of elliptic curves which is onto and generically three-to-one. The reason is that from any acute or right triangle we can construct an elliptic curve, and every elliptic curve is isomorphic to one constructed this way.
As an introduction to the concept of "moduli space" we consider the moduli space of similarity classes of acute and right triangles in the plane. This has a map to the moduli space of elliptic curves which is onto and generically three-to-one. The reason is that from any acute or right triangle we can construct an elliptic curve, and every elliptic curve is isomorphic to one constructed this way.
△ Less
Submitted 23 June, 2024;
originally announced July 2024.
-
The Beauty of Roots
Authors:
John C. Baez
Abstract:
A "Littlewood polynomial" is a polynomial whose coefficients are all 1 or -1. The set of all complex roots of all Littlewood polynomials exhibits many complicated, beautiful and fascinating patterns. Some fractal regions of this set closely resemble "dragon sets" formed by iterated function systems. A heuristic argument for this is known, but no precise theorem along these lines has been proved. W…
▽ More
A "Littlewood polynomial" is a polynomial whose coefficients are all 1 or -1. The set of all complex roots of all Littlewood polynomials exhibits many complicated, beautiful and fascinating patterns. Some fractal regions of this set closely resemble "dragon sets" formed by iterated function systems. A heuristic argument for this is known, but no precise theorem along these lines has been proved. We invite the reader to try.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
The Icosidodecahedron
Authors:
John C. Baez
Abstract:
The icosidodecahedron has 30 vertices, one at the center of each edge of a regular icosahedron -- or equivalently, one at the center of each edge of a regular dodecahedron. It is a beautiful, highly symmetrical shape. But it is just a projection down to 3d space of a more symmetrical 6-dimensional polytope with 60 vertices. It is also a slice of a more symmetrical 4d polytope with 120 vertices, wh…
▽ More
The icosidodecahedron has 30 vertices, one at the center of each edge of a regular icosahedron -- or equivalently, one at the center of each edge of a regular dodecahedron. It is a beautiful, highly symmetrical shape. But it is just a projection down to 3d space of a more symmetrical 6-dimensional polytope with 60 vertices. It is also a slice of a more symmetrical 4d polytope with 120 vertices, which in turn is the projection down to 4d space of an even more symmetrical 8-dimensional polytope with 240 vertices: the E8 root polytope. Here we explain all these constructions, and their connection to the quaternions and icosians.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Hoàng Xuân Sính's Thesis: Categorifying Group Theory
Authors:
John C. Baez
Abstract:
During what Vietnamese call the American War, Alexander Grothendieck spent three weeks teaching mathematics in and near Hanoi. Hoàng Xuân Sính took notes on his lectures and later did her thesis work with him by correspondence. In her thesis she developed the theory of "Gr-categories", which are monoidal categories in which all objects and morphisms have inverses. Now often called "2-groups", thes…
▽ More
During what Vietnamese call the American War, Alexander Grothendieck spent three weeks teaching mathematics in and near Hanoi. Hoàng Xuân Sính took notes on his lectures and later did her thesis work with him by correspondence. In her thesis she developed the theory of "Gr-categories", which are monoidal categories in which all objects and morphisms have inverses. Now often called "2-groups", these structures allow the study of symmetries that themselves have symmetries. After a brief account of how Hoàng Xuân Sính wrote her thesis, we explain some of its main results, and its context in the history of mathematics.
△ Less
Submitted 14 February, 2025; v1 submitted 8 August, 2023;
originally announced August 2023.
-
Motivating Motives
Authors:
John C. Baez
Abstract:
Underlying the Riemann Hypothesis there is a question whose full answer still eludes us: what do the zeros of the Riemann zeta function really mean? As a step toward answering this, André Weil proposed a series of conjectures that include a simplified version of the Riemann Hypothesis in which the meaning of the zeros becomes somewhat easier to understand. Grothendieck and others worked for decade…
▽ More
Underlying the Riemann Hypothesis there is a question whose full answer still eludes us: what do the zeros of the Riemann zeta function really mean? As a step toward answering this, André Weil proposed a series of conjectures that include a simplified version of the Riemann Hypothesis in which the meaning of the zeros becomes somewhat easier to understand. Grothendieck and others worked for decades to prove Weil's conjectures, inventing a large chunk of modern algebraic geometry in the process. This quest, still in part unfulfilled, led Grothendieck to dream of "motives": mysterious building blocks that could explain the zeros (and poles) of Weil's analogue of the Riemann zeta function. This exposition by a complete amateur tries to sketch some of these ideas in ways that other amateurs can enjoy.
△ Less
Submitted 26 April, 2023; v1 submitted 18 April, 2023;
originally announced April 2023.
-
This Week's Finds in Mathematical Physics (101-150)
Authors:
John C. Baez
Abstract:
These are the third 50 issues of This Week's Finds of Mathematical Physics, from April 9, 1997 to June 18, 2000. These issues discuss quantum gravity, topological quantum field theory, n-categories and other topics in mathematics and physics. They also contain a series of expository mini-articles on homotopy theory. They were typeset in 2020 by Tim Hosgood. If you see typos or other problems pleas…
▽ More
These are the third 50 issues of This Week's Finds of Mathematical Physics, from April 9, 1997 to June 18, 2000. These issues discuss quantum gravity, topological quantum field theory, n-categories and other topics in mathematics and physics. They also contain a series of expository mini-articles on homotopy theory. They were typeset in 2020 by Tim Hosgood. If you see typos or other problems please report them. (I already know the cover page looks weird; you can get a better-looking version at https://math.ucr.edu/home/baez/twf_latex/)
△ Less
Submitted 5 March, 2023;
originally announced March 2023.
-
Young Diagrams and Classical Groups
Authors:
John C. Baez
Abstract:
Young diagrams are ubiquitous in combinatorics and representation theory. Here we explain these diagrams, focusing on how they are used to classify representations of the symmetric groups $S_n$ and various "classical groups": famous groups of matrices such as the general linear group $\mathrm{GL}(n,\mathbb{C})$ consisting of all invertible $n \times n$ complex matrices, the special linear group…
▽ More
Young diagrams are ubiquitous in combinatorics and representation theory. Here we explain these diagrams, focusing on how they are used to classify representations of the symmetric groups $S_n$ and various "classical groups": famous groups of matrices such as the general linear group $\mathrm{GL}(n,\mathbb{C})$ consisting of all invertible $n \times n$ complex matrices, the special linear group $\mathrm{SL}(n,\mathbb{C})$ consisting of all $n \times n$ complex matrices with determinant 1, the group $\mathrm{U}(n)$ consisting of all unitary $n \times n$ matrices, and the special unitary group $\mathrm{SU}(n)$ consisting of all unitary $n \times n$ matrices with determinant 1. We also discuss representations of the full linear monoid consisting of all linear transformations of $\mathbb{C}^n$. These notes, based on the column This Week's Finds in Mathematical Physics, are made to accompany a series of lecture videos.
△ Less
Submitted 15 February, 2023;
originally announced February 2023.
-
Isbell Duality
Authors:
John C. Baez
Abstract:
Mathematicians love dualities. After a brief explanation of dualities, with examples, we turn to one of the purest and most beautiful: Isbell duality. For any category $\mathsf{C}$, this gives an adjunction between the category of presheaves on $\mathsf{C}$, namely the functor category $[\mathsf{C}^{\text{op}}, \mathsf{Set}]$, and the opposite of the category of copresheaves on $\mathsf{C}$, namel…
▽ More
Mathematicians love dualities. After a brief explanation of dualities, with examples, we turn to one of the purest and most beautiful: Isbell duality. For any category $\mathsf{C}$, this gives an adjunction between the category of presheaves on $\mathsf{C}$, namely the functor category $[\mathsf{C}^{\text{op}}, \mathsf{Set}]$, and the opposite of the category of copresheaves on $\mathsf{C}$, namely $[\mathsf{C}, \mathsf{Set}]^{\text{op}}$.
△ Less
Submitted 3 September, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
The Kuramoto-Sivashinsky Equation
Authors:
John C. Baez,
Steve Huntsman,
Cheyne Weis
Abstract:
The Kuramoto-Sivashinsky equation was introduced as a simple 1-dimensional model of instabilities in flames, but it turned out to mathematically fascinating in its own right. One reason is that this equation is a simple model of Galilean-invariant chaos with an arrow of time. Starting from random initial conditions, manifestly time-asymmetric stripe-like patterns emerge. As we move forward in time…
▽ More
The Kuramoto-Sivashinsky equation was introduced as a simple 1-dimensional model of instabilities in flames, but it turned out to mathematically fascinating in its own right. One reason is that this equation is a simple model of Galilean-invariant chaos with an arrow of time. Starting from random initial conditions, manifestly time-asymmetric stripe-like patterns emerge. As we move forward in time, it appears that these stripes are born and merge, but do not die or split. We pose a precise conjecture to this effect, which requires a precise definition of 'stripes'.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
This Week's Finds in Mathematical Physics (51-100)
Authors:
John C. Baez
Abstract:
These are the second 50 issues of This Week's Finds of Mathematical Physics, from April 23, 1995 to March 23, 1997. These issues discuss quantum gravity, topological quantum field theory and other topics in mathematics and physics. They also include two expository series: one on ADE classifications and one on categories and higher categories. They were typeset in 2020 by Tim Hosgood. If you see ty…
▽ More
These are the second 50 issues of This Week's Finds of Mathematical Physics, from April 23, 1995 to March 23, 1997. These issues discuss quantum gravity, topological quantum field theory and other topics in mathematics and physics. They also include two expository series: one on ADE classifications and one on categories and higher categories. They were typeset in 2020 by Tim Hosgood. If you see typos or other problems please report them. (I already know the cover page looks weird).
△ Less
Submitted 19 February, 2023; v1 submitted 4 March, 2022;
originally announced March 2022.
-
The Gauss-Lucas Theorem
Authors:
John C. Baez
Abstract:
The Gauss-Lucas theorem says that for any complex polynomial $P$, the roots of the derivative $P'$ lie in the convex hull of the roots of $P$. In other words, the roots of $P'$ lie inside the smallest convex subset of the complex plane containing all the roots of $P$. This theorem is not hard to prove, but is there an intuitive explanation? In fact there is, using physics -- or more precisely, ele…
▽ More
The Gauss-Lucas theorem says that for any complex polynomial $P$, the roots of the derivative $P'$ lie in the convex hull of the roots of $P$. In other words, the roots of $P'$ lie inside the smallest convex subset of the complex plane containing all the roots of $P$. This theorem is not hard to prove, but is there an intuitive explanation? In fact there is, using physics -- or more precisely, electrostatics in 2-dimensional space
△ Less
Submitted 30 November, 2021;
originally announced December 2021.
-
Compositional Thermostatics
Authors:
John C. Baez,
Owen Lynch,
Joe Moeller
Abstract:
We define a thermostatic system to be a convex space of states together with a concave function sending each state to its entropy, which is an extended real number. This definition applies to classical thermodynamics, classical statistical mechanics, quantum statistical mechanics, and also generalized probabilistic theories of the sort studied in quantum foundations. It also allows us to treat a h…
▽ More
We define a thermostatic system to be a convex space of states together with a concave function sending each state to its entropy, which is an extended real number. This definition applies to classical thermodynamics, classical statistical mechanics, quantum statistical mechanics, and also generalized probabilistic theories of the sort studied in quantum foundations. It also allows us to treat a heat bath as a thermostatic system on an equal footing with any other. We construct an operad whose operations are convex relations from a product of convex spaces to a single convex space, and prove that thermostatic systems are algebras of this operad. This gives a general, rigorous formalism for combining thermostatic systems, which captures the fact that such systems maximize entropy subject to whatever constraints are imposed upon them.
△ Less
Submitted 9 February, 2023; v1 submitted 19 November, 2021;
originally announced November 2021.
-
Schur Functors and Categorified Plethysm
Authors:
John C. Baez,
Joe Moeller,
Todd Trimble
Abstract:
It is known that the Grothendieck group of the category of Schur functors is the ring of symmetric functions. This ring has a rich structure, much of which is encapsulated in the fact that it is a "plethory": a monoid in the category of birings with its substitution monoidal structure. We show that similarly the category of Schur functors is a "2-plethory", which descends to give the plethory stru…
▽ More
It is known that the Grothendieck group of the category of Schur functors is the ring of symmetric functions. This ring has a rich structure, much of which is encapsulated in the fact that it is a "plethory": a monoid in the category of birings with its substitution monoidal structure. We show that similarly the category of Schur functors is a "2-plethory", which descends to give the plethory structure on symmetric functions. Thus, much of the structure of symmetric functions exists at a higher level in the category of Schur functors.
△ Less
Submitted 30 June, 2023; v1 submitted 31 May, 2021;
originally announced June 2021.
-
The Brownian Map
Authors:
John C. Baez
Abstract:
The "Brownian map" is a fundamental object in mathematics, in some sense a 2-dimensional analogue of Brownian motion. Here we briefly explain this object and a bit of its history.
The "Brownian map" is a fundamental object in mathematics, in some sense a 2-dimensional analogue of Brownian motion. Here we briefly explain this object and a bit of its history.
△ Less
Submitted 30 May, 2021;
originally announced May 2021.
-
Structured versus Decorated Cospans
Authors:
John C. Baez,
Kenny Courser,
Christina Vasilakopoulou
Abstract:
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a diagram in $\mathsf{X}$ of the form $L(a) \rightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ preserves them, it is kno…
▽ More
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a diagram in $\mathsf{X}$ of the form $L(a) \rightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ preserves them, it is known that there is a symmetric monoidal double category whose objects are those of $\mathsf{A}$ and whose horizontal 1-cells are structured cospans. Second, given a pseudofunctor $F \colon \mathsf{A} \to \mathbf{Cat}$, a "decorated cospan" is a diagram in $\mathsf{A}$ of the form $a \rightarrow m \leftarrow b$ together with an object of $F(m)$. Generalizing the work of Fong, we show that if $\mathsf{A}$ has finite colimits and $F \colon (\mathsf{A},+) \to (\mathsf{Cat},\times)$ is symmetric lax monoidal, there is a symmetric monoidal double category whose objects are those of $\mathsf{A}$ and whose horizontal 1-cells are decorated cospans. We prove that under certain conditions, these two constructions become isomorphic when we take $\mathsf{X} = \int F$ to be the Grothendieck category of $F$. We illustrate these ideas with applications to electrical circuits, Petri nets, dynamical systems and epidemiological modeling.
△ Less
Submitted 30 August, 2022; v1 submitted 22 January, 2021;
originally announced January 2021.
-
Categories of Nets
Authors:
John C. Baez,
Fabrizio Genovese,
Jade Master,
Michael Shulman
Abstract:
We present a unified framework for Petri nets and various variants, such as pre-nets and Kock's whole-grain Petri nets. Our framework is based on a less well-studied notion that we call $Σ$-nets, which allow finer control over whether tokens are treated using the collective or individual token philosophy. We describe three forms of execution semantics in which pre-nets generate strict monoidal cat…
▽ More
We present a unified framework for Petri nets and various variants, such as pre-nets and Kock's whole-grain Petri nets. Our framework is based on a less well-studied notion that we call $Σ$-nets, which allow finer control over whether tokens are treated using the collective or individual token philosophy. We describe three forms of execution semantics in which pre-nets generate strict monoidal categories, $Σ$-nets (including whole-grain Petri nets) generate symmetric strict monoidal categories, and Petri nets generate commutative monoidal categories, all by left adjoint functors. We also construct adjunctions relating these categories of nets to each other, in particular showing that all kinds of net can be embedded in the unifying category of $Σ$-nets, in a way that commutes coherently with their execution semantics.
△ Less
Submitted 26 April, 2021; v1 submitted 11 January, 2021;
originally announced January 2021.
-
This Week's Finds in Mathematical Physics (1-50)
Authors:
John C. Baez
Abstract:
These are the first 50 issues of This Week's Finds of Mathematical Physics, from January 19, 1993 to March 12, 1995. These issues focus on quantum gravity, topological quantum field theory, knot theory, and applications of $n$-categories to these subjects. However, there are also digressions into Lie algebras, elliptic curves, linear logic and other subjects. They were typeset in 2020 by Tim Hosgo…
▽ More
These are the first 50 issues of This Week's Finds of Mathematical Physics, from January 19, 1993 to March 12, 1995. These issues focus on quantum gravity, topological quantum field theory, knot theory, and applications of $n$-categories to these subjects. However, there are also digressions into Lie algebras, elliptic curves, linear logic and other subjects. They were typeset in 2020 by Tim Hosgood. If you see typos or other problems please report them. (I already know the cover page looks weird).
△ Less
Submitted 16 February, 2023; v1 submitted 11 January, 2021;
originally announced January 2021.
-
The Tenfold Way
Authors:
John C. Baez
Abstract:
The tenfold way became important in physics around 2010: it implies that there are ten fundamentally different kinds of matter. But it goes back to 1964, when C. T. C. Wall classified real super division algebras. These are finite-dimensional real $\mathbb{Z}/2$-graded algebras where every nonzero homogeneous element is invertible. He found that besides $\mathbb{R}$, $\mathbb{C}$ and $\mathbb{H}$,…
▽ More
The tenfold way became important in physics around 2010: it implies that there are ten fundamentally different kinds of matter. But it goes back to 1964, when C. T. C. Wall classified real super division algebras. These are finite-dimensional real $\mathbb{Z}/2$-graded algebras where every nonzero homogeneous element is invertible. He found that besides $\mathbb{R}$, $\mathbb{C}$ and $\mathbb{H}$, which give purely even super division algebras, there are seven more. He also showed that these ten algebras are all real or complex Clifford algebras. The eight real ones represent all eight Morita equivalence classes of real Clifford algebras, and the two complex ones do the same for the complex Clifford algebras. The tenfold way thus unites real and complex Bott periodicity. In this expository article we give a quick proof that there are ten real super division algebras, and say a bit about applications of the tenfold way.
△ Less
Submitted 28 November, 2020;
originally announced November 2020.
-
Operads for Designing Systems of Systems
Authors:
John C. Baez,
John Foley
Abstract:
System of systems engineering seeks to analyze, design and deploy collections of systems that together can flexibly address an array of complex tasks. In the Complex Adaptive System Composition and Design Environment program, we developed "network operads" as a tool for designing and tasking systems of systems, and applied them to domains including maritime search and rescue. The network operad fo…
▽ More
System of systems engineering seeks to analyze, design and deploy collections of systems that together can flexibly address an array of complex tasks. In the Complex Adaptive System Composition and Design Environment program, we developed "network operads" as a tool for designing and tasking systems of systems, and applied them to domains including maritime search and rescue. The network operad formalism offers new ways to handle changing levels of abstraction in system-of-system design and tasking.
△ Less
Submitted 26 September, 2020;
originally announced September 2020.
-
Structured Cospans
Authors:
John C. Baez,
Kenny Courser
Abstract:
One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a structured cospan is a diagram in $\mathsf{X}$ of the form $L(a) \rightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have fin…
▽ More
One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a structured cospan is a diagram in $\mathsf{X}$ of the form $L(a) \rightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ is a left adjoint, we obtain a symmetric monoidal category whose objects are those of $\mathsf{A}$ and whose morphisms are isomorphism classes of structured cospans. This is a hypergraph category. However, it arises from a more fundamental structure: a symmetric monoidal double category where the horizontal 1-cells are structured cospans. We show how structured cospans solve certain problems in the closely related formalism of "decorated cospans", and explain how they work in some examples: electrical circuits, Petri nets, and chemical reaction networks.
△ Less
Submitted 9 November, 2020; v1 submitted 11 November, 2019;
originally announced November 2019.
-
Enriched Lawvere Theories for Operational Semantics
Authors:
John C. Baez,
Christian Williams
Abstract:
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity, where the vertices are operations and the edges are rewrites between operations. Enriched theories can be used to equip systems with operational sema…
▽ More
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity, where the vertices are operations and the edges are rewrites between operations. Enriched theories can be used to equip systems with operational semantics, and maps between enriching categories can serve to translate between different forms of operational and denotational semantics. The Grothendieck construction lets us study all models of all enriched theories in all contexts in a single category. We illustrate these ideas with the SKI-combinator calculus, a variable-free version of the lambda calculus.
△ Less
Submitted 14 September, 2020; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Network Models from Petri Nets with Catalysts
Authors:
John C. Baez,
John Foley,
Joe Moeller
Abstract:
Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catalyst": an entity that is neither destroyed nor created by any process it engages in. In a Petri net, a place is a catalyst if its in-degree equals its out-degree for every transition. We show how a Petri net with a chosen…
▽ More
Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catalyst": an entity that is neither destroyed nor created by any process it engages in. In a Petri net, a place is a catalyst if its in-degree equals its out-degree for every transition. We show how a Petri net with a chosen set of catalysts gives a network model. This network model maps any list of catalysts from the chosen set to the category whose morphisms are all the processes enabled by this list of catalysts. Applying the Grothendieck construction, we obtain a category fibered over the category whose objects are lists of catalysts. This category has as morphisms all processes enabled by some list of catalysts. While this category has a symmetric monoidal structure that describes doing processes in parallel, its fibers also have premonoidal structures that describe doing one process and then another while reusing the catalysts.
△ Less
Submitted 23 December, 2019; v1 submitted 6 April, 2019;
originally announced April 2019.
-
Open Petri Nets
Authors:
John C. Baez,
Jade Master
Abstract:
The reachability semantics for Petri nets can be studied using open Petri nets. For us an "open" Petri net is one with certain places designated as inputs and outputs via a cospan of sets. We can compose open Petri nets by gluing the outputs of one to the inputs of another. Open Petri nets can be treated as morphisms of a category $\mathsf{Open}(\mathsf{Petri})$, which becomes symmetric monoidal u…
▽ More
The reachability semantics for Petri nets can be studied using open Petri nets. For us an "open" Petri net is one with certain places designated as inputs and outputs via a cospan of sets. We can compose open Petri nets by gluing the outputs of one to the inputs of another. Open Petri nets can be treated as morphisms of a category $\mathsf{Open}(\mathsf{Petri})$, which becomes symmetric monoidal under disjoint union. However, since the composite of open Petri nets is defined only up to isomorphism, it is better to treat them as morphisms of a symmetric monoidal double category $\mathbb{O}\mathbf{pen}(\mathsf{Petri})$. We describe two forms of semantics for open Petri nets using symmetric monoidal double functors out of $\mathbb{O}\mathbf{pen}(\mathsf{Petri})$. The first, an operational semantics, gives for each open Petri net a category whose morphisms are the processes that this net can carry out. This is done in a compositional way, so that these categories can be computed on smaller subnets and then glued together. The second, a reachability semantics, simply says which markings of the outputs can be reached from a given marking of the inputs.
△ Less
Submitted 24 July, 2022; v1 submitted 16 August, 2018;
originally announced August 2018.
-
From the Icosahedron to E8
Authors:
John C. Baez
Abstract:
The regular icosahedron is connected to many exceptional objects in mathematics. Here we describe two constructions of the $\mathrm{E}_8$ lattice from the icosahedron. One uses a subring of the quaternions called the "icosians", while the other uses du Val's work on the resolution of Kleinian singularities. Together they link the golden ratio, the quaternions, the quintic equation, the 600-cell, a…
▽ More
The regular icosahedron is connected to many exceptional objects in mathematics. Here we describe two constructions of the $\mathrm{E}_8$ lattice from the icosahedron. One uses a subring of the quaternions called the "icosians", while the other uses du Val's work on the resolution of Kleinian singularities. Together they link the golden ratio, the quaternions, the quintic equation, the 600-cell, and the Poincare homology 3-sphere. We leave it as a challenge to the reader to find the connection between these two constructions.
△ Less
Submitted 20 December, 2017; v1 submitted 13 December, 2017;
originally announced December 2017.
-
Network Models
Authors:
John C. Baez,
John Foley,
Joe Moeller,
Blake S. Pollard
Abstract:
Networks can be combined in various ways, such as overlaying one on top of another or setting two side by side. We introduce "network models" to encode these ways of combining networks. Different network models describe different kinds of networks. We show that each network model gives rise to an operad, whose operations are ways of assembling a network of the given kind from smaller parts. Such o…
▽ More
Networks can be combined in various ways, such as overlaying one on top of another or setting two side by side. We introduce "network models" to encode these ways of combining networks. Different network models describe different kinds of networks. We show that each network model gives rise to an operad, whose operations are ways of assembling a network of the given kind from smaller parts. Such operads, and their algebras, can serve as tools for designing networks. Technically, a network model is a lax symmetric monoidal functor from the free symmetric monoidal category on some set to $\mathbf{Cat}$, and the construction of the corresponding operad proceeds via a symmetric monoidal version of the Grothendieck construction.
△ Less
Submitted 20 July, 2020; v1 submitted 31 October, 2017;
originally announced November 2017.
-
Open Systems in Classical Mechanics
Authors:
John C. Baez,
David Weisbart,
Adam M. Yassine
Abstract:
Generalized span categories provide a framework for formalizing mathematical models of open systems in classical mechanics. We introduce categories $\mathsf{LagSy}$ and $\mathsf{HamSy}$ that respectively provide a categorical framework for the Lagrangian and Hamiltonian descriptions of open classical mechanical systems. The morphisms of $\mathsf{LagSy}$ and $\mathsf{HamSy}$ correspond to such open…
▽ More
Generalized span categories provide a framework for formalizing mathematical models of open systems in classical mechanics. We introduce categories $\mathsf{LagSy}$ and $\mathsf{HamSy}$ that respectively provide a categorical framework for the Lagrangian and Hamiltonian descriptions of open classical mechanical systems. The morphisms of $\mathsf{LagSy}$ and $\mathsf{HamSy}$ correspond to such open systems, and composition of morphisms models the construction of systems from subsystems. The Legendre transformation gives rise to a functor from $\mathsf{LagSy}$ to $\mathsf{HamSy}$ that translates from the Lagrangian to the Hamiltonian perspective.
△ Less
Submitted 15 March, 2021; v1 submitted 31 October, 2017;
originally announced October 2017.
-
Coarse-Graining Open Markov Processes
Authors:
John C. Baez,
Kenny Courser
Abstract:
Coarse-graining is a standard method of extracting a simple Markov process from a more complicated one by identifying states. Here we extend coarse-graining to open Markov processes. An "open" Markov process is one where probability can flow in or out of certain states called "inputs" and "outputs". One can build up an ordinary Markov process from smaller open pieces in two basic ways: composition…
▽ More
Coarse-graining is a standard method of extracting a simple Markov process from a more complicated one by identifying states. Here we extend coarse-graining to open Markov processes. An "open" Markov process is one where probability can flow in or out of certain states called "inputs" and "outputs". One can build up an ordinary Markov process from smaller open pieces in two basic ways: composition, where we identify the outputs of one open Markov process with the inputs of another, and tensoring, where we set two open Markov processes side by side. In previous work, Fong, Pollard and the first author showed that these constructions make open Markov processes into the morphisms of a symmetric monoidal category. Here we go further by constructing a symmetric monoidal double category where the 2-morphisms are ways of coarse-graining open Markov processes. We also extend the already known "black-boxing" functor from the category of open Markov processes to our double category. Black-boxing sends any open Markov process to the linear relation between input and output data that holds in steady states, including nonequilibrium steady states where there is a nonzero flow of probability through the process. To extend black-boxing to a functor between double categories, we need to prove that black-boxing is compatible with coarse-graining.
△ Less
Submitted 21 November, 2018; v1 submitted 31 October, 2017;
originally announced October 2017.
-
Props in Network Theory
Authors:
John C. Baez,
Brandon Coya,
Franciscus Rebro
Abstract:
Long before the invention of Feynman diagrams, engineers were using similar diagrams to reason about electrical circuits and more general networks containing mechanical, hydraulic, thermodynamic and chemical components. We can formalize this reasoning using props: that is, strict symmetric monoidal categories where the objects are natural numbers, with the tensor product of objects given by additi…
▽ More
Long before the invention of Feynman diagrams, engineers were using similar diagrams to reason about electrical circuits and more general networks containing mechanical, hydraulic, thermodynamic and chemical components. We can formalize this reasoning using props: that is, strict symmetric monoidal categories where the objects are natural numbers, with the tensor product of objects given by addition. In this approach, each kind of network corresponds to a prop, and each network of this kind is a morphism in that prop. A network with $m$ inputs and $n$ outputs is a morphism from $m$ to $n$, putting networks together in series is composition, and setting them side by side is tensoring. Here we work out the details of this approach for various kinds of electrical circuits, starting with circuits made solely of ideal perfectly conductive wires, then circuits with passive linear components, and then circuits that also have voltage and current sources. Each kind of circuit corresponds to a mathematically natural prop. We describe the "behavior" of these circuits using morphisms between props. In particular, we give a new proof of the black-boxing theorem proved by Fong and the first author; unlike the original proof, this new one easily generalizes to circuits with nonlinear components. We also use a morphism of props to clarify the relation between circuit diagrams and the signal-flow diagrams in control theory. Technically, the key tools are the Rosebrugh-Sabadini-Walters result relating circuits to special commutative Frobenius monoids, the monadic adjunction between props and signatures, and a result saying which symmetric monoidal categories are equivalent to props.
△ Less
Submitted 1 June, 2018; v1 submitted 26 July, 2017;
originally announced July 2017.
-
Topological Crystals
Authors:
John C. Baez
Abstract:
Sunada's work on crystallography emphasizes the role of the "maximal abelian cover" of a graph $X$. This is a covering space of $X$ for which the group of deck transformations is the first homology group $H_1(X,\mathbb{Z})$. An embedding of the maximal abelian cover in a vector space can serve as the pattern for a crystal: atoms are located at the vertices, while bonds lie along the edges. We prov…
▽ More
Sunada's work on crystallography emphasizes the role of the "maximal abelian cover" of a graph $X$. This is a covering space of $X$ for which the group of deck transformations is the first homology group $H_1(X,\mathbb{Z})$. An embedding of the maximal abelian cover in a vector space can serve as the pattern for a crystal: atoms are located at the vertices, while bonds lie along the edges. We prove that for any connected graph $X$ without bridges, there is a canonical embedding of the maximal abelian cover of $X$ into the vector space $H_1(X,\mathbb{R})$, called a "topological crystal". Crystals of graphene and diamond are examples of this construction. We prove that any symmetry of a graph lifts to a symmetry of its topological crystal. We also compute the density of atoms in a topological crystal. The key technical tools are a way of decomposing the 1-chain coming from a path in $X$ into manageable pieces, and the work of Bacher, de la Harpe and Nagnibeda on integral cycles and integral cuts.
△ Less
Submitted 3 January, 2025; v1 submitted 26 July, 2016;
originally announced July 2016.
-
Operads and Phylogenetic Trees
Authors:
John C. Baez,
Nina Otter
Abstract:
We construct an operad $\mathrm{Phyl}$ whose operations are the edge-labelled trees used in phylogenetics. This operad is the coproduct of $\mathrm{Com}$, the operad for commutative semigroups, and $[0,\infty)$, the operad with unary operations corresponding to nonnegative real numbers, where composition is addition. We show that there is a homeomorphism between the space of $n$-ary operations of…
▽ More
We construct an operad $\mathrm{Phyl}$ whose operations are the edge-labelled trees used in phylogenetics. This operad is the coproduct of $\mathrm{Com}$, the operad for commutative semigroups, and $[0,\infty)$, the operad with unary operations corresponding to nonnegative real numbers, where composition is addition. We show that there is a homeomorphism between the space of $n$-ary operations of $\mathrm{Phyl}$ and $\mathcal{T}_n\times [0,\infty)^{n+1}$, where $\mathcal{T}_n$ is the space of metric $n$-trees introduced by Billera, Holmes and Vogtmann. Furthermore, we show that the Markov models used to reconstruct phylogenetic trees from genome data give coalgebras of $\mathrm{Phyl}$. These always extend to coalgebras of the larger operad $\mathrm{Com} + [0,\infty]$, since Markov processes on finite sets converge to an equilibrium as time approaches infinity. We show that for any operad $O$, its coproduct with $[0,\infty]$ contains the operad $W(O)$ constucted by Boardman and Vogt. To prove these results, we explicitly describe the coproduct of operads in terms of labelled trees.
△ Less
Submitted 3 August, 2017; v1 submitted 10 December, 2015;
originally announced December 2015.
-
Relative Entropy in Biological Systems
Authors:
John C. Baez,
Blake S. Pollard
Abstract:
In this paper we review various information-theoretic characterizations of the approach to equilibrium in biological systems. The replicator equation, evolutionary game theory, Markov processes and chemical reaction networks all describe the dynamics of a population or probability distribution. Under suitable assumptions, the distribution will approach an equilibrium with the passage of time. Rela…
▽ More
In this paper we review various information-theoretic characterizations of the approach to equilibrium in biological systems. The replicator equation, evolutionary game theory, Markov processes and chemical reaction networks all describe the dynamics of a population or probability distribution. Under suitable assumptions, the distribution will approach an equilibrium with the passage of time. Relative entropy - that is, the Kullback--Leibler divergence, or various generalizations of this - provides a quantitative measure of how far from equilibrium the system is. We explain various theorems that give conditions under which relative entropy is nonincreasing. In biochemical applications these results can be seen as versions of the Second Law of Thermodynamics, stating that free energy can never increase with the passage of time. In ecological applications, they make precise the notion that a population gains information from its environment as it approaches equilibrium.
△ Less
Submitted 12 February, 2016; v1 submitted 8 December, 2015;
originally announced December 2015.
-
A Compositional Framework for Markov Processes
Authors:
John C. Baez,
Brendan Fong,
Blake S. Pollard
Abstract:
We define the concept of an "open" Markov process, or more precisely, continuous-time Markov chain, which is one where probability can flow in or out of certain states called "inputs" and "outputs". One can build up a Markov process from smaller open pieces. This process is formalized by making open Markov processes into the morphisms of a dagger compact category. We show that the behavior of a de…
▽ More
We define the concept of an "open" Markov process, or more precisely, continuous-time Markov chain, which is one where probability can flow in or out of certain states called "inputs" and "outputs". One can build up a Markov process from smaller open pieces. This process is formalized by making open Markov processes into the morphisms of a dagger compact category. We show that the behavior of a detailed balanced open Markov process is determined by a principle of minimum dissipation, closely related to Prigogine's principle of minimum entropy production. Using this fact, we set up a functor mapping open detailed balanced Markov processes to open circuits made of linear resistors. We also describe how to "black box" an open Markov process, obtaining the linear relation between input and output data that holds in any steady state, including nonequilibrium steady states with a nonzero flow of probability through the system. We prove that black boxing gives a symmetric monoidal dagger functor sending open detailed balanced Markov processes to Lagrangian relations between symplectic vector spaces. This allows us to compute the steady state behavior of an open detailed balanced Markov process from the behaviors of smaller pieces from which it is built. We relate this black box functor to a previously constructed black box functor for circuits.
△ Less
Submitted 21 March, 2016; v1 submitted 26 August, 2015;
originally announced August 2015.
-
A Compositional Framework for Passive Linear Networks
Authors:
John C. Baez,
Brendan Fong
Abstract:
Passive linear networks are used in a wide variety of engineering applications, but the best studied are electrical circuits made of resistors, inductors and capacitors. We describe a category where a morphism is a circuit of this sort with marked input and output terminals. In this category, composition describes the process of attaching the outputs of one circuit to the inputs of another. We con…
▽ More
Passive linear networks are used in a wide variety of engineering applications, but the best studied are electrical circuits made of resistors, inductors and capacitors. We describe a category where a morphism is a circuit of this sort with marked input and output terminals. In this category, composition describes the process of attaching the outputs of one circuit to the inputs of another. We construct a functor, dubbed the "black box functor", that takes a circuit, forgets its internal structure, and remembers only its external behavior. Two circuits have the same external behavior if and only if they impose same relation between currents and potentials at their terminals. The space of these currents and potentials naturally has the structure of a symplectic vector space, and the relation imposed by a circuit is a Lagrangian linear relation. Thus, the black box functor goes from our category of circuits to the category of symplectic vector spaces and Lagrangian linear relations. We prove that this functor is We prove that this functor is symmetric monoidal and indeed a hypergraph functor. We assume the reader is familiar with category theory, but not with circuit theory or symplectic linear algebra.
△ Less
Submitted 16 November, 2018; v1 submitted 21 April, 2015;
originally announced April 2015.
-
The Lebesgue Universal Covering Problem
Authors:
John C. Baez,
Karine Bagdasaryan,
Philip Gibbs
Abstract:
In 1914 Lebesgue defined a "universal covering" to be a convex subset of the plane that contains an isometric copy of any subset of diameter 1. His challenge of finding a universal covering with the least possible area has been addressed by various mathematicians: Pal, Sprague and Hansen have each created a smaller universal covering by removing regions from those known before. However, Hansen's l…
▽ More
In 1914 Lebesgue defined a "universal covering" to be a convex subset of the plane that contains an isometric copy of any subset of diameter 1. His challenge of finding a universal covering with the least possible area has been addressed by various mathematicians: Pal, Sprague and Hansen have each created a smaller universal covering by removing regions from those known before. However, Hansen's last reduction was microsopic: he claimed to remove an area of $6 \cdot 10^{-18}$, but we show that he actually removed an area of just $8 \cdot 10^{-21}$. In the following, with the help of Greg Egan, we find a new, smaller universal covering with area less than $0.8441153$. This reduces the area of the previous best universal covering by a whopping $2.2 \cdot 10^{-5}$.
△ Less
Submitted 19 September, 2015; v1 submitted 4 February, 2015;
originally announced February 2015.
-
Categories in Control
Authors:
John C. Baez,
Jason Erbele
Abstract:
Control theory uses "signal-flow diagrams" to describe processes where real-valued functions of time are added, multiplied by scalars, differentiated and integrated, duplicated and deleted. These diagrams can be seen as string diagrams for the symmetric monoidal category FinVect_k of finite-dimensional vector spaces over the field of rational functions k = R(s), where the variable s acts as differ…
▽ More
Control theory uses "signal-flow diagrams" to describe processes where real-valued functions of time are added, multiplied by scalars, differentiated and integrated, duplicated and deleted. These diagrams can be seen as string diagrams for the symmetric monoidal category FinVect_k of finite-dimensional vector spaces over the field of rational functions k = R(s), where the variable s acts as differentiation and the monoidal structure is direct sum rather than the usual tensor product of vector spaces. For any field k we give a presentation of FinVect_k in terms of the generators used in signal flow diagrams. A broader class of signal-flow diagrams also includes "caps" and "cups" to model feedback. We show these diagrams can be seen as string diagrams for the symmetric monoidal category FinRel_k, where objects are still finite-dimensional vector spaces but the morphisms are linear relations. We also give a presentation for FinRel_k. The relations say, among other things, that the 1-dimensional vector space k has two special commutative dagger-Frobenius structures, such that the multiplication and unit of either one and the comultiplication and counit of the other fit together to form a bimonoid. This sort of structure, but with tensor product replacing direct sum, is familiar from the "ZX-calculus" obeyed by a finite-dimensional Hilbert space with two mutually unbiased bases.
△ Less
Submitted 20 May, 2015; v1 submitted 27 May, 2014;
originally announced May 2014.
-
A Bayesian Characterization of Relative Entropy
Authors:
John C. Baez,
Tobias Fritz
Abstract:
We give a new characterization of relative entropy, also known as the Kullback-Leibler divergence. We use a number of interesting categories related to probability theory. In particular, we consider a category FinStat where an object is a finite set equipped with a probability distribution, while a morphism is a measure-preserving function $f: X \to Y$ together with a stochastic right inverse…
▽ More
We give a new characterization of relative entropy, also known as the Kullback-Leibler divergence. We use a number of interesting categories related to probability theory. In particular, we consider a category FinStat where an object is a finite set equipped with a probability distribution, while a morphism is a measure-preserving function $f: X \to Y$ together with a stochastic right inverse $s: Y \to X$. The function $f$ can be thought of as a measurement process, while s provides a hypothesis about the state of the measured system given the result of a measurement. Given this data we can define the entropy of the probability distribution on $X$ relative to the "prior" given by pushing the probability distribution on $Y$ forwards along $s$. We say that $s$ is "optimal" if these distributions agree. We show that any convex linear, lower semicontinuous functor from FinStat to the additive monoid $[0,\infty]$ which vanishes when $s$ is optimal must be a scalar multiple of this relative entropy. Our proof is independent of all earlier characterizations, but inspired by the work of Petz.
△ Less
Submitted 11 July, 2014; v1 submitted 13 February, 2014;
originally announced February 2014.
-
Quantum Techniques for Reaction Networks
Authors:
John C. Baez
Abstract:
Reaction networks are a general formalism for describing collections of classical entities interacting in a random way. While reaction networks are mainly studied by chemists, they are equivalent to Petri nets, which are used for similar purposes in computer science and biology. As noted by Doi and others, techniques from quantum field theory can be adapted to apply to such systems. Here we use th…
▽ More
Reaction networks are a general formalism for describing collections of classical entities interacting in a random way. While reaction networks are mainly studied by chemists, they are equivalent to Petri nets, which are used for similar purposes in computer science and biology. As noted by Doi and others, techniques from quantum field theory can be adapted to apply to such systems. Here we use these techniques to study how the "master equation" describing stochastic time evolution for a reaction network is related to the "rate equation" describing the deterministic evolution of the expected number of particles of each species in the large-number limit. We show that the relation is especially strong when a solution of master equation is a "coherent state", meaning that the numbers of entities of each kind are described by independent Poisson distributions.
△ Less
Submitted 16 October, 2017; v1 submitted 14 June, 2013;
originally announced June 2013.
-
Quantum Techniques for Studying Equilibrium in Reaction Networks
Authors:
John C. Baez,
Brendan Fong
Abstract:
Anderson, Craciun, and Kurtz have proved that a stochastically modelled chemical reaction system with mass-action kinetics admits a stationary distribution when the deterministic model of the same system with mass-action kinetics admits an equilibrium solution obeying a certain "complex balance" condition. Here we present a proof of their theorem using tools from the theory of second quantization:…
▽ More
Anderson, Craciun, and Kurtz have proved that a stochastically modelled chemical reaction system with mass-action kinetics admits a stationary distribution when the deterministic model of the same system with mass-action kinetics admits an equilibrium solution obeying a certain "complex balance" condition. Here we present a proof of their theorem using tools from the theory of second quantization: Fock space, annihilation and creation operators, and coherent states. This is an example of "stochastic mechanics", where we take techniques from quantum mechanics and replace amplitudes by probabilities.
△ Less
Submitted 23 March, 2014; v1 submitted 21 May, 2013;
originally announced May 2013.
-
Quantum Techniques for Stochastic Mechanics
Authors:
John C. Baez,
Jacob Biamonte
Abstract:
Some ideas from quantum theory are just beginning to percolate back to classical probability theory. For example, there is a widely used and successful theory of "chemical reaction networks", which describes the interactions of molecules in a stochastic rather than quantum way. Computer science and population biology use the same ideas under a different name: "stochastic Petri nets". But if we loo…
▽ More
Some ideas from quantum theory are just beginning to percolate back to classical probability theory. For example, there is a widely used and successful theory of "chemical reaction networks", which describes the interactions of molecules in a stochastic rather than quantum way. Computer science and population biology use the same ideas under a different name: "stochastic Petri nets". But if we look at these theories from the perspective of quantum theory, they turn out to involve creation and annihilation operators, coherent states and other well-known ideas - but in a context where probabilities replace amplitudes. We explain this connection as part of a detailed analogy between quantum mechanics and stochastic mechanics. We use this analogy to present new proofs of two major results in the theory of chemical reaction networks: the deficiency zero theorem and the Anderson-Craciun-Kurtz theorem. We also study the overlap of quantum mechanics and stochastic mechanics, which involves Hamiltonians that can generate either unitary or stochastic time evolution. These Hamiltonians are called "Dirichlet forms", and they arise naturally from electrical circuits made only of resistors.
△ Less
Submitted 4 May, 2019; v1 submitted 17 September, 2012;
originally announced September 2012.
-
G2 and the Rolling Ball
Authors:
John C. Baez,
John Huerta
Abstract:
Understanding the exceptional Lie groups as the symmetry groups of simpler objects is a long-standing program in mathematics. Here, we explore one famous realization of the smallest exceptional Lie group, G2. Its Lie algebra acts locally as the symmetries of a ball rolling on a larger ball, but only when the ratio of radii is 1:3. Using the split octonions, we devise a similar, but more global, pi…
▽ More
Understanding the exceptional Lie groups as the symmetry groups of simpler objects is a long-standing program in mathematics. Here, we explore one famous realization of the smallest exceptional Lie group, G2. Its Lie algebra acts locally as the symmetries of a ball rolling on a larger ball, but only when the ratio of radii is 1:3. Using the split octonions, we devise a similar, but more global, picture of G2: it acts as the symmetries of a 'spinorial ball rolling on a projective plane', again when the ratio of radii is 1:3. We explain this ratio in simple terms, use the dot product and cross product of split octonions to describe the G2 incidence geometry, and show how a form of geometric quantization applied to this geometry lets us recover the imaginary split octonions and these operations.
△ Less
Submitted 10 February, 2015; v1 submitted 11 May, 2012;
originally announced May 2012.
-
Teleparallel Gravity as a Higher Gauge Theory
Authors:
John C. Baez,
Derek K. Wise
Abstract:
We show that general relativity can be viewed as a higher gauge theory involving a categorical group, or 2-group, called the teleparallel 2-group. On any semi-Riemannian manifold M, we first construct a principal 2-bundle with the Poincare 2-group as its structure 2-group. Any flat metric-preserving connection on M gives a flat 2-connection on this 2-bundle, and the key ingredient of this 2-connec…
▽ More
We show that general relativity can be viewed as a higher gauge theory involving a categorical group, or 2-group, called the teleparallel 2-group. On any semi-Riemannian manifold M, we first construct a principal 2-bundle with the Poincare 2-group as its structure 2-group. Any flat metric-preserving connection on M gives a flat 2-connection on this 2-bundle, and the key ingredient of this 2-connection is the torsion. Conversely, every flat strict 2-connection on this 2-bundle arises in this way if M is simply connected and has vanishing 2nd deRham cohomology. Extending from the Poincare 2-group to the teleparallel 2-group, a 2-connection includes an additional piece: a coframe field. Taking advantage of the teleparallel reformulation of general relativity, which uses a coframe field, a flat connection and its torsion, this lets us rewrite general relativity as a theory with a 2-connection for the teleparallel 2-group as its only field.
△ Less
Submitted 16 July, 2014; v1 submitted 19 April, 2012;
originally announced April 2012.
-
A Noether Theorem for Markov Processes
Authors:
John C. Baez,
Brendan Fong
Abstract:
Noether's theorem links the symmetries of a quantum system with its conserved quantities, and is a cornerstone of quantum mechanics. Here we prove a version of Noether's theorem for Markov processes. In quantum mechanics, an observable commutes with the Hamiltonian if and only if its expected value remains constant in time for every state. For Markov processes that no longer holds, but an observab…
▽ More
Noether's theorem links the symmetries of a quantum system with its conserved quantities, and is a cornerstone of quantum mechanics. Here we prove a version of Noether's theorem for Markov processes. In quantum mechanics, an observable commutes with the Hamiltonian if and only if its expected value remains constant in time for every state. For Markov processes that no longer holds, but an observable commutes with the Hamiltonian if and only if both its expected value and standard deviation are constant in time for every state.
△ Less
Submitted 9 March, 2012;
originally announced March 2012.
-
An Invitation to Higher Gauge Theory
Authors:
John C. Baez,
John Huerta
Abstract:
In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge '2-group'. We focus on 6 examples. First, every abelian Lie group gives a Lie 2-group; the case of U(1) yields the theory of U(1) gerbes, which play an important…
▽ More
In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge '2-group'. We focus on 6 examples. First, every abelian Lie group gives a Lie 2-group; the case of U(1) yields the theory of U(1) gerbes, which play an important role in string theory and multisymplectic geometry. Second, every group representation gives a Lie 2-group; the representation of the Lorentz group on 4d Minkowski spacetime gives the Poincaré 2-group, which leads to a spin foam model for Minkowski spacetime. Third, taking the adjoint representation of any Lie group on its own Lie algebra gives a 'tangent 2-group', which serves as a gauge 2-group in 4d BF theory, which has topological gravity as a special case. Fourth, every Lie group has an 'inner automorphism 2-group', which serves as the gauge group in 4d BF theory with cosmological constant term. Fifth, every Lie group has an 'automorphism 2-group', which plays an important role in the theory of nonabelian gerbes. And sixth, every compact simple Lie group gives a 'string 2-group'. We also touch upon higher structures such as the 'gravity 3-group' and the Lie 3-superalgebra that governs 11-dimensional supergravity.
△ Less
Submitted 17 February, 2015; v1 submitted 23 March, 2010;
originally announced March 2010.
-
Division Algebras and Supersymmetry II
Authors:
John C. Baez,
John Huerta
Abstract:
Starting from the four normed division algebras - the real numbers, complex numbers, quaternions and octonions - a systematic procedure gives a 3-cocycle on the Poincare Lie superalgebra in dimensions 3, 4, 6 and 10. A related procedure gives a 4-cocycle on the Poincare Lie superalgebra in dimensions 4, 5, 7 and 11. In general, an (n+1)-cocycle on a Lie superalgebra yields a "Lie n-superalgebra":…
▽ More
Starting from the four normed division algebras - the real numbers, complex numbers, quaternions and octonions - a systematic procedure gives a 3-cocycle on the Poincare Lie superalgebra in dimensions 3, 4, 6 and 10. A related procedure gives a 4-cocycle on the Poincare Lie superalgebra in dimensions 4, 5, 7 and 11. In general, an (n+1)-cocycle on a Lie superalgebra yields a "Lie n-superalgebra": that is, roughly speaking, an n-term chain complex equipped with a bracket satisfying the axioms of a Lie superalgebra up to chain homotopy. We thus obtain Lie 2-superalgebras extending the Poincare superalgebra in dimensions 3, 4, 6, and 10, and Lie 3-superalgebras extending the Poincare superalgebra in dimensions 4, 5, 7 and 11. As shown in Sati, Schreiber and Stasheff's work on higher gauge theory, Lie 2-superalgebra connections describe the parallel transport of strings, while Lie 3-superalgebra connections describe the parallel transport of 2-branes. Moreover, in the octonionic case, these connections concisely summarize the fields appearing in 10- and 11-dimensional supergravity.
△ Less
Submitted 19 February, 2015; v1 submitted 17 March, 2010;
originally announced March 2010.
