Related papers: Formal ternary laws and Buchstaber's 2-groups
In this paper, we investigate the fundamental laws of quantum programming. We extend a comprehensive set of Hoare et al.'s basic laws of classical programming to the quantum setting. These laws characterise the algebraic properties of…
We describe applications of the classical umbral calculus to bilinear generating functions for polynomial sequences, identities for Bernoulli and related numbers, and Kummer congruences.
We construct a central extension of the group of automorphisms of a 2-Tate vector space viewed as a discrete 2-group. This is done using an action of this 2-group on a 2-gerbe of gerbel theories. This central extension is used to define…
These are lecture notes for a course in Winter 2022/23, updated and completed in October 2025. The goal of the lectures is to present some recent developments around six-functor formalisms, in particular: the abstract theory of 6-functor…
In this article we give a short and informal overview of some aspects of the theory of C*- and von Neumann algebras. We also mention some classical results and applications of these families of operator algebras.
The formal multiple zeta space we consider with a computer is an $\mathbb{F}_2$-vector space generated by $2^{k-2}$ formal symbols for a given weight $k$, where the symbols satisfy binary extended double shuffle relations. Up to weight…
We consider a sequence of composite bivariate Bernstein operators and the cubature formula associated with them. The upper bounds for the remainder term of the cubature formula are described in terms of moduli of continuity of order two.…
The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features from the Automath-related lambda calculi and some from the…
Some connections between quadratic forms over the field of two elements, Clifford algebras of quadratic forms over the real numbers, real graded division algebras, and twisted group algebras will be highlighted. This allows to revisit real…
Quantum superintegrable systems in two dimensions are obtained from their classical counterparts, the quantum integrals of motion being obtained from the corresponding classical integrals by a symmetrization procedure. For each quantum…
A class of bilinear permutation polynomials over a finite field of characteristic 2 was constructed in a recursive manner recently which involved some other constructions as special cases. We determine the compositional inverses of them…
We present a new formula for umbral operators that yields three main insights. First, it makes explicit a connection between umbral calculus and iteration theory. Second, it leads naturally to a definition of fractional exponents of umbral…
In this paper, the formal derivative operator defined with respect to context-free grammars is used to prove some properties about binomial coefficients and multifactorial numbers. In addition, we extend the formal derivative operator to…
We define a notion of astrongly homotopy BV algebra and apply it to deformation theory problems. Formality conjectures for Hochschild and cyclic chains are formulated. We prove some partial results supporting these conjectures.
In this paper, we consider operator realizations of quadratic algebras generated by second-order superintegrable systems in 2D. At least one such realization is given for each set of St\"ackel equivalent systems for both degenerate and…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while…
We derive sufficient conditions for the existence of the Weber formal solution of the corresponding integral equation, related to the familiar Weber-Orr integral transforms. This gives a solution to the old Weber-Titchmarsh problem (posed…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
We introduce the notion of quantum duplicates of an (associative, unital) algebra, motivated by the problem of constructing toy-models for quantizations of certain configuration spaces in quantum mechanics. The proposed (algebraic) model…