Related papers: Extended Connectors: Structuring Glue Operators in…
In two-dimensional loop models, the scaling properties of critical random curves are encoded in the correlators of connectivity operators. In the dense O($n$) loop model, any such operator is naturally associated to a standard module of the…
The block-iterative projections (BIP) method of Aharoni and Censor [Block-iterative projection methods for parallel computation of solutions to convex feasibility problems, Linear Algebra and its Applications 120, (1989), 165--175] is an…
Circuit representations are becoming the lingua franca to express and reason about tractable generative and discriminative models. In this paper, we show how complex inference scenarios for these models that commonly arise in machine…
Poly-infix operators and operator families are introduced as an alternative for working modulo associativity and the corresponding bracket deletion convention. Poly-infix operators represent the basic intuition of repetitively connecting an…
We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services…
We associate vertex operator algebras to $(p,q)$-webs of interfaces in the topologically twisted $\mathcal{N}=4$ super Yang-Mills theory. Y-algebras associated to trivalent junctions are identified with truncations of…
We describe a mathematical structure that can give extensional denotational semantics to higher-order probabilistic programs. It is not limited to discrete probabilities, and it is compatible with integration in a way the models that have…
When reasoning about formal objects whose structures involve binding, it is often necessary to analyze expressions relative to a context that associates types, values, and other related attributes with variables that appear free in the…
We characterize extensions of commutative rings $R \subseteq S$ whose sets of subextensions $[R,S]$ are finite ({\it i.e.} $R\subseteq S$ has the FIP property) and are Boolean lattices, that we call Boolean FIP extensions. Some…
Guarded Interaction Trees are a structure and a fully formalized framework for representing higher-order computations with higher-order effects in Rocq. We present an extension of Guarded Interaction Trees to support formal reasoning about…
A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…
We regard a geometric theory classified by a topos as a syntactic presentation for the topos and develop tools for finding such presentations. Extensions of geometric theories, which can add axioms, symbols and sorts, are treated as objects…
Dynamical linked cluster expansions are linked cluster expansions with hopping parameter terms endowed with their own dynamics. They amount to a generalization of series expansions from 2-point to point-link-point interactions. We outline…
We study the operator product expansions in the chiral algebra $\mathcal{W}_{\infty}$, first using the associativity conditions in the basis of primary generating fields and second using a different basis coming from the free field…
Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…
The ternary extended contact relation was introduced in (Ivanova, 2020) as a more expressive counterpart of the standard binary contact relation. The class of Boolean algebras expanded with the relation was named Extended Contact Algebras…
This paper presents a novel framework for structured argumentation, named extend argumentative decision graph ($xADG$). It is an extension of argumentative decision graphs built upon Dung's abstract argumentation graphs. The $xADG$…
We propose Bayesian Hierarchical Invariant Prediction (BHIP) reframing Invariant Causal Prediction (ICP) through the lens of Hierarchical Bayes. We leverage the hierarchical structure to explicitly test invariance of causal mechanisms under…
We construct the operator product expansions (OPE) of the chiral primary operators in the worldsheet theory for strings on AdS_3 x S^3 x T^4. As an interesting application, we will use the worldsheet OPEs to derive a recursion relation for…
We present a new operator in the ambitwistor string which glues together correlators with fewer points or of lower genus. It underpins the recursive construction of tree-level CHY scattering amplitudes by Dolan \& Goddard, as well as the…