20,194 research outputs found

    Universal Lyndon Words

    Full text link
    A word ww over an alphabet Σ\Sigma is a Lyndon word if there exists an order defined on Σ\Sigma for which ww is lexicographically smaller than all of its conjugates (other than itself). We introduce and study \emph{universal Lyndon words}, which are words over an nn-letter alphabet that have length n!n! and such that all the conjugates are Lyndon words. We show that universal Lyndon words exist for every nn and exhibit combinatorial and structural properties of these words. We then define particular prefix codes, which we call Hamiltonian lex-codes, and show that every Hamiltonian lex-code is in bijection with the set of the shortest unrepeated prefixes of the conjugates of a universal Lyndon word. This allows us to give an algorithm for constructing all the universal Lyndon words.Comment: To appear in the proceedings of MFCS 201

    The Rough Veronese variety

    Full text link
    We study signature tensors of paths from a geometric viewpoint. The signatures of a given class of paths parametrize an algebraic variety inside the space of tensors, and these signature varieties provide both new tools to investigate paths and new challenging questions about their behavior. This paper focuses on signatures of rough paths. Their signature variety shows surprising analogies with the Veronese variety, and our aim is to prove that this so-called Rough Veronese is toric. The same holds for the universal variety. Answering a question of Amendola, Friz and Sturmfels, we show that the ideal of the universal variety does not need to be generated by quadrics

    Algebras defined by Lyndon words and Artin-Schelter regularity

    Full text link
    Let X={x1,x2,,xn}X= \{x_1, x_2, \cdots, x_n\} be a finite alphabet, and let KK be a field. We study classes C(X,W)\mathfrak{C}(X, W) of graded KK-algebras A=KX/IA = K\langle X\rangle / I, generated by XX and with a fixed set of obstructions WW. Initially we do not impose restrictions on WW and investigate the case when all algebras in C(X,W)\mathfrak{C} (X, W) have polynomial growth and finite global dimension dd. Next we consider classes C(X,W)\mathfrak{C} (X, W) of algebras whose sets of obstructions WW are antichains of Lyndon words. The central question is "when a class C(X,W)\mathfrak{C} (X, W) contains Artin-Schelter regular algebras?" Each class C(X,W)\mathfrak{C} (X, W) defines a Lyndon pair (N,W)(N,W) which determines uniquely the global dimension, gldimAgl\dim A, and the Gelfand-Kirillov dimension, GKdimAGK\dim A, for every AC(X,W)A \in \mathfrak{C}(X, W). We find a combinatorial condition in terms of (N,W)(N,W), so that the class C(X,W)\mathfrak{C}(X, W) contains the enveloping algebra UgU\mathfrak{g} of a Lie algebra g\mathfrak{g}. We introduce monomial Lie algebras defined by Lyndon words, and prove results on Groebner-Shirshov bases of Lie ideals generated by Lyndon-Lie monomials. Finally we classify all two-generated Artin-Schelter regular algebras of global dimensions 66 and 77 occurring as enveloping U=UgU = U\mathfrak{g} of standard monomial Lie algebras. The classification is made in terms of their Lyndon pairs (N,W)(N, W), each of which determines also the explicit relations of UU.Comment: 49 page

    The homotopy type of the loops on (n1)(n-1)-connected (2n+1)(2n+1)-manifolds

    Full text link
    For n2n\geq 2 we compute the homotopy groups of (n1)(n-1)-connected closed manifolds of dimension (2n+1)(2n+1). Away from the finite set of primes dividing the order of the torsion subgroup in homology, the pp-local homotopy groups of MM are determined by the rank of the free Abelian part of the homology. Moreover, we show that these pp-local homotopy groups can be expressed as a direct sum of pp-local homotopy groups of spheres. The integral homotopy type of the loop space is also computed and shown to depend only on the rank of the free Abelian part and the torsion subgroup.Comment: Trends in Algebraic Topology and Related Topics, Trends Math., Birkhauser/Springer, 2018. arXiv admin note: text overlap with arXiv:1510.0519
    corecore