Related papers: Lambda-calculus and Reversible Automatic Combinato…
We construct the finite dimensional simple integral modules for the (degenerate) affine Hecke-Clifford algebra (AHCA). Our construction includes an analogue of Zelevinsky's segment representations, a complete combinatorial description of…
We deal with the quasi-symmetric algebra introduced by Paolo Aluffi, here named (embedded) Aluffi algebra. The algebra is a sort of "intermediate" algebra between the symmetric algebra and the Rees algebra of an ideal, which serves the…
We study a class of representations called ``calibrated representations'' of the degenerate double affine Hecke algebra and those of the rational Cherednik algebra of type ${\mathrm{GL}}_n$. We give a realization of calibrated irreducible…
We study gradings by abelian groups on associative algebras with involution over an arbitrary field. Of particular importance are the fine gradings (that is, those that do not admit a proper refinement), because any grading on a…
Actions of algebraic groups on DG categories provide a convenient, unifying framework in some parts of geometric representation theory, especially the representation theory of reductive Lie algebras. We extend this theory to loop groups and…
The notion of group invariance helps neural networks in recognizing patterns and features under geometric transformations. Group convolutional neural networks enhance traditional convolutional neural networks by incorporating group-based…
We prove that any classical affine W-algebra W(g,f), where g is a classical Lie algebra and f is an arbitrary nilpotent element of g, carries an integrable Hamiltonian hierarchy of Lax type equations. This is based on the theories of…
Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus.…
We consider the convex minimization model with both linear equality and inequality constraints, and reshape the classic augmented Lagrangian method (ALM) by balancing its subproblems. As a result, one of its subproblems decouples the…
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…
We use induction from parabolic subalgebras with infinite-dimensional Levi factor to construct new families of irreducible representations for arbitrary Affine Kac-Moody algebra. Our first construction defines a functor from the category of…
We examine the relationship between the algebraic lambda-calculus, a fragment of the differential lambda-calculus and the linear-algebraic lambda-calculus, a candidate lambda-calculus for quantum computation. Both calculi are algebraic:…
The intuitionistic fragment of the call-by-name version of Curien and Herbelin's \lambda\_mu\_{\~mu}-calculus is isolated and proved strongly normalising by means of an embedding into the simply-typed lambda-calculus. Our embedding is a…
We consider generic bricks and use them in the study of arbitrary biserial algebras over algebraically closed fields. For a biserial algebra $\Lambda$, we show that $\Lambda$ is brick-infinite if and only if it admits a generic brick, that…
We develop a new approach for the computation of the Mullineux involution for the symmetric group and its Hecke algebra using the notion of crystal isomorphism and the Iwahori-Matsumoto involution for the affine Hecke algebra of type A. As…
We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…
We consider the extended superconformal algebras of the Knizhnik-Bershadsky type with $W$-algebra like composite operators occurring in the commutation relations, but with generators of conformal dimension 1,$\frac{3}{2}$ and 2, only. These…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
We describe some connections between three different fields: combinatorics (umbral calculus), functional analysis (linear functionals and operators) and harmonic analysis (convolutions on group-like structures). Systematic usage of…
In this paper, we prove the pointwise convergence and the rate of pointwise convergence for a family of singular integral operators in two-dimensional setting in the following form: \begin{equation*} L_{\lambda }\left( f;x,y\right)…