English
Related papers

Related papers: Standard Lyndon loop words: weighted orders

200 papers

There are numerous scenarios in source coding where not only the code length but the importance of each value should also be taken into account. Different from the traditional coding theorems, by adding the importance weights for the length…

Information Theory · Computer Science 2020-05-22 Zheqi Zhu , Shanyun Liu , Rui She , Shuo Wan , Pingyi Fan , Khaled B. Letaief

This paper contains a survey of recent developments in investigation of word equations in simple matrix groups and polynomial equations in simple (associative and Lie) matrix algebras along with some new results on the image of word maps on…

Algebraic Geometry · Mathematics 2019-01-30 Nikolai Gordeev , Boris Kunyavskii , Eugene Plotkin

Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way.…

Logic in Computer Science · Computer Science 2021-04-28 Paolo Pistone

We study word series and extended word series, classes of formal series for the analysis of some dynamical systems and their discretizations. These series are similar to but more compact than B-series. They may be composed among themselves…

Numerical Analysis · Mathematics 2015-12-01 Ander Murua , J. M. Sanz-Serna

We define families of aperiodic words associated to Lorenz knots that arise naturally as syllable permutations of symbolic words corresponding to torus knots. An algorithm to construct symbolic words of satellite Lorenz knots is defined. We…

Geometric Topology · Mathematics 2014-09-25 Paulo Gomes , Nuno Franco , Luis Silva

We present a proof-theoretic analysis of the logic NL$\lambda$ (Barker \& Shan 2014, Barker 2019). We notably introduce a novel calculus of proof nets and prove it is sound and complete with respect to the sequent calculus for the logic. We…

Computation and Language · Computer Science 2020-10-26 Richard Moot

We give a short overview of the renormalization properties of rectangular Wilson loops, the Polyakov loop correlator and the cyclic Wilson loop. We then discuss how to renormalize loops with more than one intersection, using the simplest…

High Energy Physics - Theory · Physics 2015-06-18 Matthias Berwein , Nora Brambilla , Antonio Vairo

We continue our investigation of the general notion of universal enveloping algebra introduced in [A. Ardizzoni, \emph{A Milnor-Moore Type Theorem for Primitively Generated Braided Bialgebras}, J. Algebra \textbf{327} (2011), no. 1,…

Quantum Algebra · Mathematics 2010-12-24 Alessandro Ardizzoni

This is the first in a series of papers presenting a new understanding of scattering amplitudes based on fundamentally combinatorial ideas in the kinematic space of the scattering data. We study the simplest theory of colored scalar…

High Energy Physics - Theory · Physics 2024-10-01 N. Arkani-Hamed , H. Frost , G. Salvatori , P-G. Plamondon , H. Thomas

These lecture notes provide an introduction to combinatorics on words and its interactions with dynamics, algebra, and arithmetic. The central theme is the notion of low factor complexity for infinite words. We investigate the following…

Combinatorics · Mathematics 2026-03-10 Mélodie Andrieu

In this paper, we discuss the generalized Hamming weights of a class of linear codes associated with non-degenerate quadratic forms. In order to do so, we study the quadratic forms over subspaces of finite field and obtain some interesting…

Information Theory · Computer Science 2021-06-08 Fei Li

We consider Clifford algebras with nonsymmetric bilinear forms, which are isomorphic to the standard symmetric ones, but not equal. Observing, that the content of physical theories is dependent on the injection $\oplus^n\bigwedge…

High Energy Physics - Theory · Physics 2009-10-28 Bertfried Fauser

We obtain a presentation by generators and relations of any Nichols algebra of diagonal type with finite root system. We prove that the defining ideal is finitely generated. The proof is based in Kharchenko's theory of PBW basis of Lyndon…

Quantum Algebra · Mathematics 2010-08-26 Iván Ezequiel Angiono

In this article we show that hybrid type-logical grammars are a fragment of first-order linear logic. This embedding result has several important consequences: it not only provides a simple new proof theory for the calculus, thereby…

Logic in Computer Science · Computer Science 2014-05-27 Richard Moot

We introduce a flexible class of well-quasi-orderings (WQOs) on words that generalizes the ordering of (not necessarily contiguous) subwords. Each such WQO induces a class of piecewise testable languages (PTLs) as Boolean combinations of…

Formal Languages and Automata Theory · Computer Science 2018-02-22 Georg Zetzsche

Given a countable set X (usually taken to be N or Z), an infinite permutation $\pi$ of X is a linear ordering $<_\pi$ of X. This paper investigates the combinatorial complexity of infinite permutations on N associated with the image of…

Combinatorics · Mathematics 2011-03-01 Steven Widmer

In order to understand the performance of a code under maximum-likelihood (ML) decoding, it is crucial to know the minimal codewords. In the context of linear programming (LP) decoding, it turns out to be necessary to know the minimal…

Information Theory · Computer Science 2016-11-17 Pascal O. Vontobel , Roxana Smarandache , Negar Kiyavash , Jason Teutsch , Dejan Vukobratovic

Word embeddings are now a standard technique for inducing meaning representations for words. For getting good representations, it is important to take into account different senses of a word. In this paper, we propose a mixture model for…

Computation and Language · Computer Science 2017-08-14 Dai Quoc Nguyen , Dat Quoc Nguyen , Ashutosh Modi , Stefan Thater , Manfred Pinkal

Polar codes can be viewed as decreasing monomial codes, revealing a rich algebraic structure governed by the lower-triangular affine (LTA) group. We develop a general framework to compute the Hamming weight of codewords generated by sums of…

Information Theory · Computer Science 2026-01-16 Mohammad Rowshan , Vlad-Florin Dragoi

We present a quantitative basis-independent analysis of combinatory logic. Using a general argument regarding plane binary trees with labelled leaves, we generalise the results of David et al. and Bendkowski et al. to all Turing-complete…

Logic in Computer Science · Computer Science 2016-07-19 Maciej Bendkowski , Katarzyna Grygiel , Marek Zaionc