English
Related papers

Related papers: Partial monoids: associativity and confluence

200 papers

This paper studies how word embeddings trained on the British National Corpus interact with part of speech boundaries. Our work targets the Universal PoS tag set, which is currently actively being used for annotation of a range of…

Computation and Language · Computer Science 2016-08-15 Andrey Kutuzov , Erik Velldal , Lilja Øvrelid

Motivated by partition regularity problems of homogeneous quadratic equations, we prove multiple recurrence and convergence results for multiplicative measure preserving actions with iterates given by rational sequences involving…

Dynamical Systems · Mathematics 2025-07-17 Nikos Frantzikinakis

The main purpose of this paper is investigating classes of acts that are injective relative to all embeddings with indecomposable domains or codomains. We give some homological classifications of monoids in light of such kinds of…

Rings and Algebras · Mathematics 2019-01-24 Mojtaba Sedaghatjoo , Mohammad Ali Naghipoor

In this paper, we study factorizations in the additive monoids of positive algebraic valuations $\mathbb{N}_0[\alpha]$ of the semiring of polynomials $\mathbb{N}_0[X]$ using a methodology introduced by D. D. Anderson, D. F. Anderson, and M.…

Number Theory · Mathematics 2023-01-23 Jyrko Correa-Morris , Felix Gotti

The cyclically reduced product of two words $u, v$, denoted $u * v$, is the cyclically reduced form of the concatenation of $u$ by $v$. This product is not associative. Recently S. V. Ivanov has proved that the Andrews-Curtis conjecture can…

Group Theory · Mathematics 2021-12-30 Carmelo Vaccaro

Given a polynomial $x \in {\mathbb R}^n \mapsto p(x)$ in $n=2$ variables, a symbolic-numerical algorithm is first described for detecting whether the connected component of the plane sublevel set ${\mathcal P} = \{x : p(x) \geq 0\}$…

Optimization and Control · Mathematics 2008-01-24 Didier Henrion

Recent approaches to cross-lingual word embedding have generally been based on linear transformations between the sets of embedding vectors in the two languages. In this paper, we propose an approach that instead expresses the two…

Computation and Language · Computer Science 2019-10-08 Chunting Zhou , Xuezhe Ma , Di Wang , Graham Neubig

In this semi-expository paper we review the notion of a spherical space. In particular we present some recent results of Wedhorn on the classification of spherical spaces over arbitrary fields. As an application, we introduce and classify…

Algebraic Geometry · Mathematics 2018-08-17 Mahir Bilen Can

In this paper I consider all possible properties from commutative algebra for polynomial composites and monoid domains. The aim is full characterization of these structures. I start with the examination of group, ring, modules properties,…

Commutative Algebra · Mathematics 2020-06-29 Lukasz Matysiak

We study \emph{multiplicity equivalence} testing of automata over partially commutative monoids (pc monoids) and show efficient algorithms in special cases, exploiting the structure of the underlying non-commutation graph of the monoid.…

Formal Languages and Automata Theory · Computer Science 2020-06-02 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on…

Logic in Computer Science · Computer Science 2015-11-16 Glyn Morrill , Oriol Valentín

Timed words are words where letters of the alphabet come with time stamps. We extend the definitions of semistandard tableaux, insertion, Knuth equivalence, and the plactic monoid to the setting of timed words. Using this, Greene's theorem…

Combinatorics · Mathematics 2019-05-17 Amritanshu Prasad

We develop a general finite-alphabet framework for Euler-type sums based on the notion of a monoidal alphabet. An alphabet of summand letters is called monoidal when it is closed under pointwise multiplication, thereby inducing the usual…

General Mathematics · Mathematics 2026-05-22 Jayanta Phadikar

A series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable…

Category Theory · Mathematics 2025-07-30 Samuel Mimram

Some physical systems like the quantum mechanics with magnetic charges or field theoretical models appearing in the context of string theory are formulated in terms of non-associative algebras. Hence, demand non-associative star products…

High Energy Physics - Theory · Physics 2016-06-01 V. G. Kupriyanov

The factorial hull of the projective variety X (or its cone) is a graded algebra R(X) that can be used in some situations to consider simultaneously all divisor classes on X. Associated with X is a certain cone H in the divisor class group…

Algebraic Geometry · Mathematics 2007-05-23 Lex E. Renner

Consensus halving refers to the problem of dividing a resource into two parts so that every agent values both parts equally. Prior work has shown that when the resource is represented by an interval, a consensus halving with at most $n$…

Computer Science and Game Theory · Computer Science 2022-11-22 Paul W. Goldberg , Alexandros Hollender , Ayumi Igarashi , Pasin Manurangsi , Warut Suksompong

Strongly interacting binary mixtures of superparamagnetic colloidal particles confined to a two-dimensional water-air interface are examined by theory, computer simulation and experiment. The mixture exhibits a partial clustering in…

Soft Condensed Matter · Physics 2009-11-11 Norman Hoffmann , Florian Ebert , Christos N. Likos , Hartmut Löwen , Georg Maret

A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $\theta$ on $P$; $\theta$ is then called a congruence if it satisfies certain conditions, which vary according to different…

Combinatorics · Mathematics 2025-08-20 Nicholas J. Williams

String diagrams are pictorial representations for morphisms of symmetric monoidal categories. They constitute an intuitive and expressive graphical syntax, which has found application in a very diverse range of fields including concurrency…

Logic in Computer Science · Computer Science 2025-02-05 Aleksandar Milosavljevic , Robin Piedeleu , Fabio Zanasi
‹ Prev 1 8 9 10 Next ›