2026-08-07 | | Total: 3
Motivated by the need to reason about case statements quantitatively, we extend quantalic linear lambda-calculus with additive disjunction. We show that the resulting equational system is sound. We also show that when certain continuity properties (of the underlying quantale) are adopted, it is additionally (approximately) complete. We present several models of the extended calculus, involving for example meta-theoretical properties in categorical logic (gluing), probabilistic, and quantum computation. As a concrete application, we illustrate how a probabilistic model, based on Banach spaces, can be synergistically used with the calculus' equational system to reason about Cauchy sequences of random walks. This highlights the emergent shift from "program semantics as the science of program equivalence" to flexible, quantitative perspectives, involving functional analysis and beyond.
For each prime $p$ and integer $n \geq 1$, we construct a $p$-local spectrum $X_n$ with $X_n^{\otimes n} \not\simeq 0$ but $X_n^{\otimes (n+1)} \simeq 0$. This refutes the retract conjecture of Hovey-Palmieri. Our construction also allows us to determine the cardinality of the Bousfield lattice to be $2^{2^{\aleph_0}}$, answering a question of Dwyer-Palmieri.
A fusion category $\mathcal{C}$ is said to be $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$-quadratic if the group $G(\mathcal{C})$ of invertible objects is isomorphic to $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$, and the remaining simple objects form an orbit under the action of $G(\mathcal{C})$. In this paper, we give a partial classification of $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$-quadratic fusion categories of rank six. More precisely, we show that its Grothendieck ring $\mathcal{K}_0(\mathcal{C})$ must be one of nine fusion rings if the fusion rule multiplicities are less than $20$, and the categorifications of five of them are previously known. We prove that one of the last four fusion rings can be realized as de-equivariantization of a near-group fusion category of type $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/4\mathbb{Z}+8$.