Related papers: Lambda: A Mathematica-package for operator product…
In this paper, we introduce product interactions, an algebraic formalism in which neural network layers are constructed from compositions of a multiplication operator defined over suitable algebras. Product interactions provide a principled…
This invited paper presents an overview of an ongoing research program aimed at extending the Curry-Howard-Lambek correspondence to quantum computation. We explore two key frameworks that provide both logical and computational foundations…
We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ''conformal vertex algebra'' or even more generally,…
In this paper we present product-form solutions from the point of view of stochastic process algebra. In previous work we have shown how to derive product-form solutions for a formalism called Labelled Markov Automata (LMA). LMA are very…
We introduce two extensions of the $\lambda$-calculus with a probabilistic choice operator, $\Lambda_\oplus^{cbv}$ and $\Lambda_\oplus^{cbn}$, modeling respectively call-by-value and call-by-name probabilistic computation. We prove that…
We give necessary and sufficient conditions for a family of inner products in a finite-dimensional vector space $V$ over an arbitrary field $\mathbb{K}$ to have an orthogonal basis relative to all the inner products. Some applications to…
The dimer problem arose in a thermodynamic study of diatomic molecules, and was abstracted into one of the most basic and natural problems in both statistical mechanics and combinatoric mathematics. Given a rectangular lattice of volume V…
Convergence and analytic extension are of fundamental importance in the mathematical construction and study of conformal field theory. We review some main convergence results, conjectures and problems in the construction and study of…
In this paper we describe an analytic method able to give the multiplication table(s) of the set(s) involved in an $S$-expansion process (with either resonance or $0_S$-resonant-reduction) for reaching a target Lie (super)algebra from a…
The product of local operators in a topological quantum field theory in dimension greater than one is commutative, as is more generally the product of extended operators of codimension greater than one. In theories of cohomological type…
We introduce the notions of open-closed field algebra and open-closed field algebra over a vertex operator algebra V. In the case that V satisfies certain finiteness and reductivity conditions, we show that an open-closed field algebra over…
We consider a convolution-type operator on vector bundles over metric-measure spaces. This operator extends the analogous convolution Laplacian on functions in our earlier work to vector bundles, and is a natural extension of the graph…
simpcomp is an extension (a so called package) to GAP, the well known system for computational discrete algebra. The package enables the user to compute numerous properties of (abstract) simplicial complexes, provides functions to construct…
The theory of Lambda-rings, in the sense of Grothendieck's Riemann-Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce…
We introduce and study the notion of a logarithmic vertex algebra, which is a vertex algebra with logarithmic singularities in the operator product expansion of quantum fields; thus providing a rigorous formulation of the algebraic…
A fundamental theme in automata theory is regular languages of words and trees, and their many equivalent definitions. Salvati has proposed a generalization to regular languages of simply typed $\lambda$-terms, defined using denotational…
We explicitely compute the essential spectrum of the Laplace-Beltrami operator for $p$-forms for the class of warped product metrics $d\sigma^2= y^{2a}dy^2 + y^{2b}d\theta_{\partial M}^2$, where $y$ is a boundary defining function on a…
We present a MATLAB/Octave toolbox to decompose finite dimensionial representations of compact groups. Surprisingly, little information about the group and the representation is needed to perform that task. We discuss applications to…
In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the…
The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…