Related papers: Preservation of Strong Normalisation modulo permut…
We consider a deformation of the prolongation operation, defined on sets of vector fields and involving a mutual interaction in the definition of prolonged ones. This maintains the "invariants by differentiation" property, and can hence be…
Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $\Lambda$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any…
Let $m_{\lambda }$ be the monomial symmetric functions, $ \lambda $ being an integer partition of $n\in \mathbb{N}^{\ast }$. For the specialization corresponding to the $q$-deformation of the exponential, we prove that each $m_{\lambda }$…
We study an untyped lambda calculus with quantum data and classical control. This work stems from previous proposals by Selinger and Valiron and by Van Tonder. We focus on syntax and expressiveness, rather than (denotational) semantics. We…
We introduce an algorithm that conjectures the structure of a permutation class in the form of a disjoint cover of "rules"; similar to generalized grid classes. The cover is usually easily verified by a human and translated into an…
Following arXiv:1907.04737, we continue our investigation of the relation between the renormalizability (with finitely many couplings) and integrability in 2d $\sigma$-models. We focus on the "$\lambda$-model," an integrable model…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
Let g be an untwisted affine Kac-Moody algebra and M_J(lambda) a Verma-type module for g with J-highest integral weight lambda. We construct quantum Verma-type modules M_J^q(lambda) over the quantum group U_q(g), investigate their…
A new class of deformation of the matrix model of M-theory is considered. The deformation is analogous to the so-called $\b$-deformation of $D=3+1$, $\mN=4$ Super Yang-Mills theory, which preserves the conformal symmetry. It is shown that…
The confluence of untyped \lambda-calculus with unconditional rewriting is now well un- derstood. In this paper, we investigate the confluence of \lambda-calculus with conditional rewriting and provide general results in two directions.…
Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the…
We give an exposition of an iteration theorem for iterating $(<\lambda)$-closed stationary $\lambda^+$-cc forcing with supports of size $<\lambda$ and preserving these two properties. We discuss the relation of this theorem with other…
The calculus of constructions (CC) is a core theory for dependently typed programming and higher-order constructive logic. Originally introduced in Coquand's 1985 thesis, CC has inspired 25 years of research in programming languages and…
Earlier we presented a method to decompose modal formulas for processes with the internal action $\tau$, and congruence formats for branching and $\eta$-bisimilarity were derived on the basis of this decomposition method. The idea is that a…
The BCJ decomposition is a highly non-trivial property of gauge theories. In this paper we systematically construct an effective Lagrangian, whose Feynman rules automatically produce the BCJ numerators. The effective Lagrangian contains…
A perturbative description of Large Scale Structure is a cornerstone of our understanding of the observed distribution of matter in the universe. Renormalization is an essential and defining step to make this description physical and…
We classify possible supersymmetry-preserving relevant, marginal, and irrelevant deformations of unitary superconformal theories in $d \geq 3$ dimensions. Our method only relies on symmetries and unitarity. Hence, the results are model…
The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching a la ML into a case analysis on constants and a commutation rule between case and application…
We apply the recently developed method of differential renormalization to the Wess-Zumino model. From the explicit calculation of a finite, renormalized effective action, the $\beta$-function is computed to three loops and is found to agree…
On the basis of the recently proposed formalism [A. Lavagno and P.N. Swamy, Phys. Rev. E 65, 036101 (2002)], we show that the realization of the thermostatistics of q-deformed algebra can be built on the formalism of q-calculus. It is found…