Related papers: Hierarchical formula classes with respect to semi-…
In a classic paper, Gerstenhaber showed that first order deformations of an associative k-algebra A are controlled by the second Hochschild cohomology group of A. More generally, any n-parameter first order deformation of A gives, due to…
Fitch-style modal lambda calculi enable programming with necessity modalities in a typed lambda calculus by extending the typing context with a delimiting operator that is denoted by a lock. The addition of locks simplifies the formulation…
There are two ways to compute Poincar\'e-Dulac normal forms of systems of ODEs. Under the original approach used by Poincar\'e the normalizing transformation is explicitly computed. On each step, the normalizing procedure requires the…
With any even Hecke symmetry R (that is a Hecke type solution of the Yang-Baxter equation) we associate a quasitensor category. We formulate a condition on R implying that the constructed category is rigid and its commutativity isomorphisms…
We establish strong well-posedness for a class of degenerate SDEs of kinetic type with autonomous diffusion driven by a symmetric $\alpha$-stable process under H\"older regularity conditions for the drift term. We partially recover the…
Grokking refers to a delayed generalization following overfitting when optimizing artificial neural networks with gradient-based methods. In this work, we demonstrate that grokking can be induced by regularization, either explicit or…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
Matter exhibits phases and their transitions. These transitions are classified as first-order phase transitions (FOPTs) and continuous ones. While the latter has a well-established theory of the renormalization group, the former is only…
A general framework is presented for the renormalization of Hamiltonians via a similarity transformation. Divergences in the similarity flow equations may be handled with dimensional regularization in this approach, and the resulting…
Formalized $1$-category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoretical physics, where objects have "higher structure," rely on…
We rewrite the Lagrangian of the fermionic sector of the Standard Model in a novel compact form. The new Lagrangian is second order in derivatives, and is obtained from the usual first order Lagrangian by integrating out all primed (or…
We introduce normal coordinates on the infinite dimensional group $G$ introduced by Connes and Kreimer in their analysis of the Hopf algebra of rooted trees. We study the primitive elements of the algebra and show that they are generated by…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
This article studies some new insertion algorithms that associate pairs of shifted tableaux to finite integer sequences in which certain terms may be primed. When primes are ignored in the input word these algorithms reduce to known…
The perturbative approach to nonlinear Sigma models and the associated renormalization group flow are discussed within the framework of Euclidean algebraic quantum field theory and of the principle of general local covariance. In particular…
In this article we introduce and study hyperclass-forcing (where the conditions of the forcing notion are themselves classes) in the context of an extension of Morse-Kelley class theory, called MK$^{**}$. We define this forcing by using a…
We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $\Gamma_0({\mathfrak n})$ and $\Gamma_1({\mathfrak n})$, where the level ${\mathfrak n}$ is…
We prove that arbitrary (nonpolynomial) scalar evolution equations of order $m\ge 7$, that are integrable in the sense of admitting the canonical conserved densities $\ro^{(1)}$, $\ro^{(2)}$, and $\ro^{(3)}$ introduced in [MSS,1991], are…
The method of preliminary group classification is rigorously defined, enhanced and related to the theory of group classification of differential equations. Typical weaknesses in papers on this method are discussed and strategies to overcome…
In recent years a Hopf algebraic structure underlying the process of renormalization in quantum field theory was found. It led to a Birkhoff factorization for (regularized) Hopf algebra characters, i.e. for Feynman rules. In this work we…