Related papers: Arithmetic-arboreal residue structures induced by …
We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension.…
Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on…
The reconstruction theorem and the multilevel Schauder estimate have central roles in the analytic theory of regularity structures [17]. Inspired by [26], we provide elementary proofs for them by using the semigroup of operators.…
We consider finite range Gibbs fields and provide a purely combinatorial proof of the exponential tree decay of semi--invariants, supposing that the logarithm of the partition function can be expressed as a sum of suitable local functions…
This article discusses ramification and the structure of relative K\"ahler differentials of extensions of valued fields. We begin by surveying the theory developed in recent work with Franz-Viktor Kuhlmann and Anna Rzepka constructing the…
From the literature it is known that orthogonal polynomials as the Jacobi polynomials can be expressed by hypergeometric series. In this paper, the authors derive several contiguous relations for terminating multivariate hypergeometric…
For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and…
Tractable yet expressive density estimators are a key building block of probabilistic machine learning. While sum-product networks (SPNs) offer attractive inference capabilities, obtaining structures large enough to fit complex,…
We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets,…
I summarize and discuss some recent results on formulating actions of six-dimensional superconformal field theories using the language of higher gauge theory. The latter guarantees mathematical consistency of our constructions and we review…
The stack of iterated integrals of a path is embedded in a larger algebraic structure where iterated integrals are indexed by decorated rooted trees and where an extended Chen's multiplicative property involves the D\"urr-Connes-Kreimer…
The classification of emergent spinor fields according to modified bilinear covariants is scrutinized, in spacetimes with nontrivial topology, which induce inequivalent spin structures. Extended Clifford algebras, constructed by equipping…
Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on…
We obtain a lifting property for finite quotients of algebraic groups, and applications to the structure of these groups.
We define twisted Frobenius extensions of graded superrings. We develop equivalent definitions in terms of bimodule isomorphisms, trace maps, bilinear forms, and dual sets of generators. The motivation for our study comes from…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number $\varphi_R(n)$, possibly infinite, of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures…
In \cite{FGLNP}, Fox, Gromov, Lafforgue, Naor and Pach, in a respond to a question of Gromov \cite{G}, constructed bounded degree geometric expanders, namely, simplical complexes having the affine overlapping property. Their explicit…
Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities. This extension uses the Algebra of Causal…
We survey results concerning automatic structures for semigroup constructions, providing references and describing the corresponding automatic structures. The constructions we consider are: free products, direct products, Rees matrix…