English
Related papers

Related papers: Lambda-calculus and Reversible Automatic Combinato…

200 papers

We study quantum chromodynamics (QCD) on a finite lattice $\Lambda$ in the Hamiltonian approach. First, we present the field algebra ${\mathfrak A}_{\Lambda}$ as comprising a gluonic part, with basic building block being the crossed product…

High Energy Physics - Theory · Physics 2009-11-10 J. Kijowski , G. Rudolph

The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the…

Logic in Computer Science · Computer Science 2012-08-01 Ali Assaf , Simon Perdrix

We introduce invertible subalgebras of local operator algebras on lattices. An invertible subalgebra is defined to be one such that every local operator can be locally expressed by elements of the inveritible subalgebra and those of the…

Mathematical Physics · Physics 2023-11-06 Jeongwan Haah

To study operator algebras with symmetries in a wide sense we introduce a notion of {\em relative convolution operators} induced by a Lie algebra. Relative convolutions recover many important classes of operators, which have been already…

funct-an · Mathematics 2008-02-03 Vladimir V. Kisil

\emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special…

Combinatorial optimization problems are typically tackled by the branch-and-bound paradigm. We propose a new graph convolutional neural network model for learning branch-and-bound variable selection policies, which leverages the natural…

Machine Learning · Computer Science 2019-10-31 Maxime Gasse , Didier Chételat , Nicola Ferroni , Laurent Charlin , Andrea Lodi

Hecke algebras are usually defined algebraically, via generators and relations. We give a new algebro-geometric construction of affine and double-affine Hecke algebras (the former is known as the Iwahori-Hecke algebra, and the latter was…

alg-geom · Mathematics 2008-02-03 Victor Ginzburg , Mikhail Kapranov , Eric Vasserot

For a finite central extension $\tilde{G}$ of a classical $p$-adic reductive group, we consider the endomorphism algebra of some induced projective generator \`a la Bernstein of the category of smooth representations of $\tilde{G}$. In the…

Representation Theory · Mathematics 2025-08-07 Volker Heiermann , Chenyan Wu

In the present paper we review the progress of the project of classification and construction of invariant differential operators for non-compact semisimple Lie groups. Our starting points is the class of algebras, which we called earlier…

High Energy Physics - Theory · Physics 2015-06-18 V. K. Dobrev

We consider four classes of classical groups over a non-archimedean local field F: symplectic, (special) orthogonal, general (s)pin and unitary. These groups need not be quasi-split over F. The main goal of the paper is to obtain a local…

Representation Theory · Mathematics 2025-06-24 Anne-Marie Aubert , Ahmed Moussaoui , Maarten Solleveld

We introduce a class of special geometries associated to the choice of a differential graded algebra contained in \Lambda R^n. We generalize some known embedding results, that effectively characterize the real analytic Riemannian manifolds…

Differential Geometry · Mathematics 2011-08-12 Diego Conti

A very classical subject in Commutative Algebra is the Invariant Theory of finite groups. In our work on 3-dimensional topology (S. King, Ideal Turaev-Viro invariants. To appear in Top. Appl.), we found certain examples of group actions on…

Commutative Algebra · Mathematics 2007-05-23 Simon A. King

The main result of this paper is a combinatorial description of a basis of standard level 1 module for the twisted affine Lie algebra $A_2^{(2)}.$ This description also gives two new combinatorial identities of G\"ollnitz (or…

Quantum Algebra · Mathematics 2007-05-23 Ivica Siladic

The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…

Optimization and Control · Mathematics 2010-04-08 Didier Henrion

The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…

Optimization and Control · Mathematics 2008-12-10 Didier Henrion

We introduce a class of induced representations of the degenerate double affine Hecke algebra of gl_N and analyze their structure mainly by means of intertwiners. We also construct them from modules of the affine Lie algebra using…

q-alg · Mathematics 2007-05-23 T. Arakawa , T. Suzuki , A. Tsuchiya

A novel model of reversible computing, the $\aleph$-calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previously demonstrated reversible term-rewriting systems, it does…

Programming Languages · Computer Science 2022-06-14 Hannah Earley

We study evolution algebras of arbitrary dimension. We analyze in deep the notions of evolution subalgebras, ideals and non-degeneracy and describe the ideals generated by one element and characterize the simple evolution algebras. We also…

Rings and Algebras · Mathematics 2016-02-04 Yolanda Cabrera Casado , Mercedes Siles Molina , M. Victoria Velasco

We give a presentation of localized affine and degenerate affine Hecke algebras of arbitrary type in terms of weights of the polynomial subalgebra and varied Demazure-BGG type operators. We offer a definition of a graded algebra…

Representation Theory · Mathematics 2014-11-21 Robert Denomme

This paper presents GeNI-ADMM, a framework for large-scale composite convex optimization that facilitates theoretical analysis of both existing and new approximate ADMM schemes. GeNI-ADMM encompasses any ADMM algorithm that solves a first-…

Optimization and Control · Mathematics 2025-06-23 Zachary Frangella , Theo Diamandis , Bartolomeo Stellato , Madeleine Udell