English
Related papers

Related papers: $\pi$-augmented pregroups and applications to ling…

200 papers

We review a recent development at the interface between discrete mathematics on one hand and probability theory and statistics on the other, specifically the use of Markov chains and their boundary theory in connection with the asymptotics…

Statistics Theory · Mathematics 2023-11-03 Rudolf Grübel

We establish the exponential law for suitably topologies on spaces of vector-valued smooth functions on topological groups, where smoothness is defined by using differentiability along continuous one-parameter subgroups. As an application,…

Functional Analysis · Mathematics 2014-02-26 Daniel Beltita , Mihai Nicolae

On the transversals of a subgroup of a group, using the binary operation of the group, structural mappings are defined. Based on these mappings, the notion of the hypergroup over the group is introduced, which generalizes the notion of the…

Group Theory · Mathematics 2015-08-11 Samuel H. Dalalyan

Generalizing a result in the theory of finite fields we prove that, apart from a couple of exceptions that can be classified, for any elements $a_1,...,a_m$ of the cyclic group of order $m$, there is a permutation $\pi$ such that…

Combinatorics · Mathematics 2014-04-22 Zoltán Lóránt Nagy

Augmenting Transformers with linguistic structures effectively enhances the syntactic generalization performance of language models. Previous work in this direction focuses on syntactic tree structures of languages, in particular…

Computation and Language · Computer Science 2026-05-18 Tianyu Huang , Yida Zhao , Chuyan Zhou , Kewei Tu

We construct new examples of non-nil algebras with any number of generators, which are direct sums of two locally nilpotent subalgebras. As all previously known examples, our examples are contracted semigroup algebras and the underlying…

Rings and Algebras · Mathematics 2007-05-23 Vesselin Drensky , Lakhdar Hammoudi

I am showing how the ideas behind the renormalisation group can be generalised in order to produce the desired reduction in the degrees of freedom other that the ones considered up to now. Instead of looking only at the renormalisation…

High Energy Physics - Theory · Physics 2024-04-01 Andrei T. Patrascu

We determine the normalizer in $SL_{2}(\mathbb{R})$ of several families of congruence subgroups of $SL_{2}(\mathbb{Z})$. In addition, we show how these tools can be used to evaluate the groups of automorphisms and the discriminant kernels…

Number Theory · Mathematics 2020-08-13 Shaul Zemel

Language is contextual and sheaf theory provides a high level mathematical framework to model contextuality. We show how sheaf theory can model the contextual nature of natural language and how gluing can be used to provide a global…

Computation and Language · Computer Science 2014-03-14 Samson Abramsky , Mehrnoosh Sadrzadeh

We describe a new type of polycyclic presentations, that we will call refined solvable presentations, for polycyclic groups. These presentations are obtained by refining a series of normal subgroups with abelian sections. These…

Group Theory · Mathematics 2011-02-10 René Hartung , Gunnar Traustason

We give a brief survey of recent results on word maps on simple groups and polynomial maps on simple associative and Lie algebras. Our focus is on parallelism between these theories, allowing one to state many new open problems and giving…

Group Theory · Mathematics 2013-04-19 Alexey Kanel-Belov , Boris Kunyavskii , Eugene Plotkin

Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical…

Logic in Computer Science · Computer Science 2018-05-17 Dan Marsden , Fabrizio Genovese

Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a…

Logic in Computer Science · Computer Science 2025-02-14 João Barbosa , Mário Florido , Vítor Santos Costa

We give elementary applications of quasi-homomorphisms to growth problems in groups. A particular case concerns the number of torsion elements required to factorise a given element in the mapping class group of a surface.

Group Theory · Mathematics 2007-05-23 D. Kotschick

Systems now exist which are able to compile unification grammars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial linguistically principled grammars can be used for this purpose.…

Computation and Language · Computer Science 2007-05-23 Manny Rayner , Beth Ann Hockey , Frankie James , Elizabeth O. Bratt , Sharon Goldwater , Mark Gawron

Distributional semantics provides multi-dimensional, graded, empirically induced word representations that successfully capture many aspects of meaning in natural languages, as shown in a large body of work in computational linguistics;…

Computation and Language · Computer Science 2020-03-19 Gemma Boleda

We describe a generalization of the concept of a pc presentation that applies to groups with a nontrivial solvable radical. Such a representation can be much more efficient in terms of memory use and even of arithmetic, than permuattion and…

Group Theory · Mathematics 2025-09-25 Alexander Hulpke

An occurrence of a classical pattern p in a permutation \pi is a subsequence of \pi whose letters are in the same relative order (of size) as those in p. In an occurrence of a generalized pattern, some letters of that subsequence may be…

Combinatorics · Mathematics 2008-05-31 Einar Steingrimsson

A transduction provides us with a way of using the monadic second-order language of a structure to make statements about a derived structure. Any transduction induces a relation on the set of these structures. This article presents a…

Combinatorics · Mathematics 2024-01-24 Susan Jowett , Dillon Mayhew , Songbao Mo , Christopher Tuffley

We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed…

Logic in Computer Science · Computer Science 2020-07-01 Nathanael Arkor , Marcelo Fiore