English
Related papers

Related papers: A non commutative sewing lemma

200 papers

Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $\lambda$-calculus, the process representations yield (at best) non-extensional $\lambda $-theories (i.e., $\beta$…

Logic in Computer Science · Computer Science 2025-09-17 Ken Sakayori , Davide Sangiorgi

Finsler's lemma is a classic mathematical result with applications in control and optimization. When the lemma is applied to parameter-dependent LMIs, as such those that arise from problems of robust stability, the extra variables…

Optimization and Control · Mathematics 2017-11-15 João Y. Ishihara , Hugo T. M. Kussaba , Renato A. Borges

We introduce a ring of noncommutative shifted symmetric functions based on an integer-indexed sequence of shift parameters. Using generating series and quasideterminants, this multiparameter approach produces deformations of the ring of…

Rings and Algebras · Mathematics 2023-05-04 Robert Laugwitz , Vladimir Retakh

We introduce a new basis of the non-commutative symmetric functions whose commutative images are Schur functions. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions…

Combinatorics · Mathematics 2016-11-08 Chris Berg , Nantel Bergeron , Franco Saliola , Luis Serrano , Mike Zabrocki

We present several non-commutative extensions of the MacMahon Master Theorem, further extending the results of Cartier-Foata and Garoufalidis-Le-Zeilberger. The proofs are combinatorial and new even in the classical cases. We also give…

Combinatorics · Mathematics 2007-05-23 Matjaz Konvalinka , Igor Pak

We establish a new functional central limit theorem result for non-invertible measure preserving maps that are not necessarily ergodic, using the Perron-Frobenius operator. We apply the result to asymptotically periodic transformations and…

Probability · Mathematics 2008-04-15 Michael C. Mackey , Marta Tyran-Kaminska

We prove several results related to the theorem of Logvinenko and Sereda on determining sets for functions with Fourier transforms supported in an interval. We obtain a polynomial instead of exponential bound in this theorem, and we extend…

Classical Analysis and ODEs · Mathematics 2007-05-23 Oleg Kovrizhkin

In this paper we provide an identity between determinant and generalized matrix function. Also, a criterion of positive semi-definite matrices affirming the permanent dominant conjecture is given. As a consequence, infinitely many infinite…

Rings and Algebras · Mathematics 2023-11-01 Kijti Rodtes

In this thesis my papers hep-th/0104190, hep-th/0310214, hep-th/0405072 and hep-th/0406065 are put into context. The thesis is mainly focused on noncommutative field theory and string theory, so results in the papers that are not related to…

High Energy Physics - Theory · Physics 2007-05-23 Laura Tamassia

This note points out a lemma on closures of monotonic increasing functions and shows how it is applicable to decomposition and modularity for semantics defined as the least fixedpoint of some monotonic function. In particular it applies to…

Logic in Computer Science · Computer Science 2020-08-04 Michael J. Maher

We prove a fixed point theorem for closed-graphed, decomposable-valued correspondences whose domain and range is a decomposable set of functions from an atomless measure space to a topological space. One consequence is an improvement of the…

Functional Analysis · Mathematics 2013-06-20 Idione Meneghel , Rabee Tourky

We study the renormalization of non-commutative gauge theories with matter. As in the scalar field theory cases, there are logarithmic infrared divergences resulting from integrating out high momentum modes. In order to reproduce the…

High Energy Physics - Theory · Physics 2016-09-06 Arvind Rajaraman , Moshe Rozali

We define a theory of noncommutative general relativity for canonical noncommutative spaces. We find a subclass of general coordinate transformations acting on canonical noncommutative spacetimes to be volume-preserving transformations.…

High Energy Physics - Theory · Physics 2008-11-26 Xavier Calmet , Archil Kobakhidze

The theory of noncommutative Schur functions can be used to obtain positive combinatorial formulae for the Schur expansion of various classes of symmetric functions, as shown by Fomin and Greene. We develop a theory of noncommutative super…

Combinatorics · Mathematics 2015-10-05 Jonah Blasiak , Ricky Ini Liu

To tackle difficulties for theoretical studies in situations involving nonsmooth functions, we propose a sequence of infinitely differentiable functions to approximate the nonsmooth function under consideration. A rate of approximation is…

Econometrics · Economics 2023-09-29 Chaohua Dong , Jiti Gao , Bin Peng , Yundong Tu

We prove a gluing lemma for sections of line bundles on a rigid analytic variety. We apply the lemma, in conjunction with a result of Buzzard's, to give a proof of (a generalization) of Coleman's theorem which states that overconvergent…

Number Theory · Mathematics 2007-05-23 Payman L Kassaei

This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience.

Logic · Mathematics 2021-07-06 M. Malliaris , S. Shelah

In this expository paper we describe the study of certain non-self-adjoint operator algebras, the Hardy algebras, and their representation theory. We view these algebras as algebras of (operator valued) functions on their spaces of…

Operator Algebras · Mathematics 2015-05-19 Paul S. Muhly , Baruch Solel

In this paper, we take interest in finding applications for a hook-length formula recently proved in (Morales Pak Panova 2016). This formula can be applied to give a non trivial relation between alternating permutations and weighted Dyck…

Combinatorics · Mathematics 2019-04-18 Lucas Randazzo

We study finite state transduction of automatic and morphic sequences. Dekking proved that morphic sequences are closed under transduction and in particular morphic images. We present a simple proof of this fact, and use the construction in…

Formal Languages and Automata Theory · Computer Science 2014-06-09 David Sprunger , William Tune , Jörg Endrullis , Lawrence S. Moss