A morphic word is obtained by iterating a morphism to generate an infinite word, and then applying a coding. We characterize morphic words with polynomial growth in terms of a new type of infinite word called a @math . A zigzag word is represented by an initial string, followed by a finite list of terms, each of which repeats for each @math in one of three ways: it grows forward [ @math , backward [ @math ], or just occurs once [ @math ]. Each term can recursively contain subterms with their own forward and backward repetitions. We show that an infinite word is morphic with growth @math iff it is a zigzag word of depth @math . As corollaries, we obtain that the morphic words with growth @math are exactly the ultimately periodic words, and the morphic words with growth @math are exactly the multilinear words.
A previous characterization of morphisms with polynomial growth is due to @cite_9 , who introduce the notion of the rank'' of letters under a morphism. They show that a string @math has rank @math under a morphism @math iff @math is the minimal degree of a polynomial @math such that for every @math , @math . We make use of this result in proving the equivalence between morphic words of polynomial growth and zigzag words.
@cite_9
2313549751 2072474105 1964155237 2083449425
The determinantal complexity of a polynomial f is defined here as the minimal size of a matrix M with affine entries such that f = det M. This function gives a minoration of the more traditional size of an arithmetical formula. Consider the polynomial “permanent” perm d of a d × d matrix with entries X i,j . A conjecture in complexity theory says that the determinantal complexity (dc) of perm d should not be polynomial in d. In this article we prove that dc(permd)≥d2 2, improving the previously known minoration, 2d. We also begin a systematic study of the function dc, and compute it for the homogeneous polynomials of degree 2. Abstract Given two infinite binary sequences A , B we say that B can compress at least as well as A if the prefix-free Kolmogorov complexity relative to B of any binary string is at most as much as the prefix-free Kolmogorov complexity relative to A , modulo a constant. This relation, introduced in Nies (2005) [14] and denoted by A ≤ L K B , is a measure of relative compressing power of oracles, in the same way that Turing reducibility is a measure of relative information. The equivalence classes induced by ≤ L K are called L K degrees (or degrees of compressibility) and there is a least degree containing the oracles which can only compress as much as a computable oracle, also called the ‘low for K ’ sets. A well-known result from Nies (2005) [14] states that these coincide with the K-trivial sets, which are the ones whose initial segments have minimal prefix-free Kolmogorov complexity. We show that with respect to ≤ L K , given any non-trivial Δ 2 0 sets X , Y there is a computably enumerable set A which is not K-trivial and it is below X , Y . This shows that the local structures of Σ 1 0 and Δ 2 0 Turing degrees are not elementarily equivalent to the corresponding local structures in the LK degrees. It also shows that there is no pair of sets computable from the halting problem which forms a minimal pair in the LK degrees; this is sharp in terms of the jump, as it is known that there are sets computable from 0 ″ which form a minimal pair in the LK degrees. We also show that the structure of LK degrees below the LK degree of the halting problem is not elementarily equivalent to the Δ 2 0 or Σ 1 0 structures of LK degrees. The proofs introduce a new technique of permitting below a Δ 2 0 set that is not K -trivial, which is likely to have wider applications. We conjecture that every finite groupGhas a short presentation (in terms of generators and relations) in the sense that the totallengthof the relations is (log|G|)O(1). We show that it suffices to prove this conjecture for simple groups. Motivated by applications in computational complexity theory, we conjecture that for finite simple groups, such a short presentation is computable in polynomial time from the standard name ofG, assuming in the case of Lie type simple groups overGF(pm) that an irreducible polynomialfof degreemoverGF(p) and a primitive root ofGF(pm) are given. We verify this (stronger) conjecture for all finite simple groups except for the three families of rank 1 twisted groups: we do not handle the unitary groupsPSU(3, q) = 2A2(q), the Suzuki groupsSz(q) = 2B2(q), and the Ree groupsR(q) = 2G2(q). In particular,all finite groups G without composition factors of these types have presentations of length O((log|G|)3). For groups of Lie type (normal or twisted) of rank ≥ 2, we use a reduced version of the Curtis–Steinberg–Tits presentation. Let S= [email protected]?R^n|g"1(x)>=0,...,g"m(x)>=0 be a basic closed semialgebraic set defined by real polynomials g"i. Putinar's Positivstellensatz says that, under a certain condition stronger than compactness of S, every real polynomial f positive on S possesses a representation [email protected]?"i"="0^[email protected]"ig"i where g"[email protected]?1 and each @s"i is a sum of squares of polynomials. Such a representation is a certificate for the nonnegativity of f on S. We give a bound on the degrees of the terms @s"ig"i in this representation which depends on the description of S, the degree of f and a measure of how close f is to having a zero on S. As a consequence, we get information about the convergence rate of Lasserre's procedure for optimization of a polynomial subject to polynomial constraints.