Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Decidability of uniform recurrence of morphic sequences
Published
• View Publication
• BIB
We prove that the uniform recurrence of morphic sequences is decidable. For this we show that the number of derived sequences of uniformly recurrent morphic sequences is bounded. As a corollary we obtain that uniformly recurrent morphic sequences are primitive substitutive sequences.
On the Hall algebra of semigroup representations over F_1
Published
• View Publication
• BIB
Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of finite $\A$--modules. $\H_{\A}$ is shown to be the universal enveloping algebra of a Lie algebra $\n_{\A}$, called the \emph{Hall Lie algebra} of $\C_{\A}$. In the case of the $\fm$ - the free monoid on one generator $\fm$, the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent $\fm$-modules) is isomorphic to Kreimer's Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when $\A$ is a quotient of $\fm$ by a congruence, and the monoid $G \cup \{0\}$ for a finite group $G$.
An algorithm for the HK function for disjoint-term trinomial hypersurfaces
A `trinomial hypersurface' is a hypersurface that is defined by a single polynomial having 3 non-constant terms in it and no constant term. A `disjoint-term trinomial hypersurface' is a trinomial hypersurface whose defining polynomial has the property that any 2 distinct terms in it have GCD equal to 1. In this article, I provide an algorithm for computing the Hilbert-Kunz function for any disjoint-term trinomial hypersurface in general, over any field of arbitrary positive characteristic. However, I do not provide any formula for the Hilbert-Kunz function.
Compactified Jacobians and q,t-Catalan numbers, II
Published in Journal of Algebraic Combinatorics, 39, Issue 1 (2014), pp. 153---186
• View Publication
• BIB
We continue the study of the rational-slope generalized $q,t$-Catalan numbers $c_{m,n}(q,t)$. We describe generalizations of the bijective constructions of J. Haglund and N. Loehr and use them to prove a weak symmetry property $c_{m,n}(q,1)=c_{m,n}(1,q)$ for $m=kn\pm 1$. We give a bijective proof of the full symmetry $c_{m,n}(q,t)=c_{m,n}(t,q)$ for $\min(m,n)\le 3$. As a corollary of these combinatorial constructions, we give a simple formula for the Poincaré polynomials of compactified Jacobians of plane curve singularities $x^{kn\pm 1}=y^n$. We also give a geometric interpretation of a relation between rational-slope Catalan numbers and the theory of $(m,n)$-cores discovered by J. Anderson.
Understanding Set Cover: Sub-exponential Time Approximations and Lift-and-Project Methods
Recently, Cygan, Kowalik, and Wykurz [IPL 2009] gave sub-exponential-time approximation algorithms for the Set-Cover problem with approximation ratios better than ln(n). In light of this result, it is natural to ask whether such improvements can be achieved using lift-and-project methods. We present a simpler combinatorial algorithm which has nearly the same time-approximation tradeoff as the algorithm of Cygan et al., and which lends itself naturally to a lift-and-project based approach.
At a high level, our approach is similar to the recent work of Karlin, Mathieu, and Nguyen [IPCO 2011], who examined a known PTAS for Knapsack (similar to our combinatorial Set-Cover algorithm) and its connection to hierarchies of LP and SDP relaxations for Knapsack. For Set-Cover, we show that, indeed, using the trick of "lifting the objective function", we can match the performance of our combinatorial algorithm using the LP hierarchy of Lovasz and Schrijver. We also show that this trick is essential: even in the stronger LP hierarchy of Sherali and Adams, the integrality gap remains at least (1-eps) ln(n) at level Omega(n) (when the objective function is not lifted).
As shown by Aleknovich, Arora, and Tourlakis [STOC 2005], Set-Cover relaxations stemming from SDP hierarchies (specifically, LS+) have similarly large integrality gaps. This stands in contrast to Knapsack, where Karlin et al. showed that the (much stronger) Lasserre SDP hierarchy reduces the integrality gap to (1+eps) at level O(1). For completeness, we show that LS+ also reduces the integrality gap for Knapsack to (1+eps). This result may be of independent interest, as our LS+ based rounding and analysis are rather different from those of Karlin et al., and to the best of our knowledge this is the first explicit demonstration of such a reduction in the integrality gap of LS+ relaxations after few rounds.
Appendix to "Real second-order freeness and the asymptotic real second-order freeness of several real matrix models": Examples and Diagrams
We present examples and diagrams illustrating the proofs appearing in "Real second-order freeness and the asymptotic real second-order freeness of several real matrix models", to which this paper is meant to be an appendix. We show how matrix calculations may be represented by topological surface gluings, which may in turn be represented as permutations.
Finding a princess in a palace: A pursuit-evasion problem
Published
• View Publication
• BIB
This paper solves a pursuit-evasion problem in which a prince must find a princess who is constrained to move on each day from one vertex of a finite graph to another. Unlike the related and much studied `Cops and Robbers Game', the prince has no knowledge of the position of the princess; he may, however, visit any single room he wishes on each day. We characterize the graphs for which the prince has a winning strategy, and determine, for each such graph, the minimum number of days the prince requires to guarantee to find the princess.
A topological classification of convex bodies
Published
• View Publication
• BIB
The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from the path graph P_2 and generating convex bodies corresponding to quadrangulations with increasing number of vertices by performing each combinatorially possible vertex splitting by a convexity-preserving local manipulation of the surface. Since convex bodies carrying Morse-Smale complexes isomorphic to P_2 exist, this algorithm not only proves our claim but also generalizes the known classification scheme in [36]. Our expansion algorithm is essentially the dual procedure to the algorithm presented by Edelsbrunner et al. in [21], producing a hierarchy of increasingly coarse Morse-Smale complexes. We point out applications to pebble shapes.
A Characterisation of Tangent Subplanes of PG(2,q^3)
Published
• View Publication
• BIB
In: S.G. Barwick and W.A. Jackson. Sublines and subplanes of PG(2,q^3) in the Bruck--Bose representation in PG(6,q). Finite Fields Th. App. 18 (2012) 93--107., the authors determine the representation of order-q-subplanes and order-q-sublines of PG(2,q^3) in the Bruck-Bose representation in PG(6,q). In particular, they showed that an order-q-subplane of PG(2,q^3) corresponds to a certain ruled surface in PG(6,q). In this article we show that the converse holds, namely that any ruled surface satisfying the required properties corresponds to a tangent order-q-subplane of PG(2,q^3).
A family of two-variable derivative polynomials for tangent and secant
Published
• View Publication
• BIB
In this paper we introduce a family of two-variable derivative polynomials for tangent and secant. We study the generating functions for the coefficients of this family of polynomials. In particular, we establish a connection between these generating functions and Eulerian polynomials.
Enumerating regular expressions and their languages
Published
• View Publication
• BIB
In this chapter we discuss the problem of enumerating distinct regular expressions by size and the regular languages they represent. We discuss various notions of the size of a regular expression that appear in the literature and their advantages and disadvantages. We consider a formal definition of regular expressions using a context-free grammar.
We then show how to enumerate strings generated by an unambiguous context-free grammar using the Chomsky-Schützenberger theorem. This theorem allows one to construct an algebraic equation whose power series expansion provides the enumeration. Classical tools from complex analysis, such as singularity analysis, can then be used to determine the asymptotic behavior of the enumeration.
We use these algebraic and analytic methods to obtain asymptotic estimates on the number of regular expressions of size n. A single regular language can often be described by several regular expressions, and we estimate the number of distinct languages denoted by regular expressions of size n. We also give asymptotic estimates for these quantities. For the first few values, we provide exact enumeration results.
The evolution of subcritical Achlioptas processes
Published in Random Structures and Algorithms 47 (2015), 174-203
• View Publication
• BIB
In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. Although the evolution of such `local' modifications of the Erd{\H o}s--Rényi random graph process has received considerable attention during the last decade, so far only rather simple rules are well understood. Indeed, the main focus has been on `bounded-size' rules, where all component sizes larger than some constant $B$ are treated the same way, and for more complex rules very few rigorous results are known.
In this paper we study Achlioptas processes given by (unbounded) size rules such as the sum and product rules. Using a variant of the neighbourhood exploration process and branching process arguments we show that certain key statistics are tightly concentrated at least until the susceptibility (the expected size of the component containing a randomly chosen vertex) diverges. Our convergence result is most likely best possible for certain rules: in the later evolution the number of vertices in small components may not be concentrated. Furthermore, we believe that for a large class of rules the critical time where the susceptibility `blows up' coincides with the percolation threshold.
Obtaining Planarity by Contracting Few Edges
Published
• View Publication
• BIB
The Planar Contraction problem is to test whether a given graph can be made planar by using at most k edge contractions. This problem is known to be NP-complete. We show that it is fixed-parameter tractable when parameterized by k.
Clustering properties of rectangular Macdonald polynomials
Published
• View Publication
• BIB
The clustering properties of Jack polynomials are relevant in the theoretical study of the fractional Hall states. In this context, some factorization properties have been conjectured for the $(q,t)$-deformed problem involving Macdonald polynomials. The present paper is devoted to the proof of this formula. To this aim we use four families of Jack/Macdonald polynomials: symmetric homogeneous, nonsymmetric homogeneous, shifted symmetric and shifted nonsymmetric.
AZ-identities and Strict 2-part Sperner Properties of Product Posets
Published
• View Publication
• BIB
One of the central issues in extremal set theory is Sperner's theorem and its generalizations. Among such generalizations is the best-known BLYM inequality and the Ahlswede--Zhang (AZ) identity which surprisingly generalizes the BLYM inequality into an identity. Sperner's theorem and the BLYM inequality has been also generalized to a wide class of posets. Another direction in this research was the study of more part Sperner systems. In this paper we derive AZ type identities for regular posets. We also characterize all maximum 2-part Sperner systems for a wide class of product posets.
On quaternary complex Hadamard matrices of small orders
Published in Advances in Mathematics of Communications 5 309--315 (2011)
• View Publication
• BIB
One of the main goals of design theory is to classify, characterize and count various combinatorial objects with some prescribed properties. In most cases, however, one quickly encounters a combinatorial explosion and even if the complete enumeration of the objects is possible, there is no apparent way how to study them in details, store them efficiently, or generate a particular one rapidly. In this paper we propose a novel method to deal with these difficulties, and illustrate it by presenting the classification of quaternary complex Hadamard matrices up to order 8. The obtained matrices are members of only a handful of parametric families, and each inequivalent matrix, up to transposition, can be identified through its fingerprint.
The quaternary complex Hadamard matrices of orders 10, 12, and 14
Published
• View Publication
• BIB
A complete classification of quaternary complex Hadamard matrices of orders 10, 12 and 14 is given, and a new parametrization scheme for obtaining new examples of affine parametric families of complex Hadamard matrices is provided. On the one hand, it is proven that all 10x10 and 12x12 quaternary complex Hadamard matrices belong to some parametric family, but on the other hand, it is shown by exhibiting an isolated 14x14 matrix that there cannot be a general method for introducing parameters into these types of matrices.
A note on the existence of BH(19,6) matrices
In this note we utilize a non-trivial block approach due to M. Petrescu to exhibit a Butson-type complex Hadamard matrix of order 19, composed of sixth roots of unity.
Excluded Forest Minors and the Erdős-Pósa Property
Published in Combinatorics, Probability, and Computing, 22/5:700--721, 2013
• View Publication
• BIB
A classical result of Robertson and Seymour states that the set of graphs containing a fixed planar graph $H$ as a minor has the so-called Erdős-Pósa property; namely, there exists a function $f$ depending only on $H$ such that, for every graph $G$ and every positive integer $k$, the graph $G$ has $k$ vertex-disjoint subgraphs each containing $H$ as a minor, or there exists a subset $X$ of vertices of $G$ with $|X| \leq f(k)$ such that $G - X$ has no $H$-minor. While the best function $f$ currently known is exponential in $k$, a $O(k \log k)$ bound is known in the special case where $H$ is a forest. This is a consequence of a theorem of Bienstock, Robertson, Seymour, and Thomas on the pathwidth of graphs with an excluded forest-minor. In this paper we show that the function $f$ can be taken to be linear when $H$ is a forest. This is best possible in the sense that no linear bound is possible if $H$ has a cycle.
A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs
Published
• View Publication
• BIB
The NP-complete Permutation Pattern Matching problem asks whether a $k$-permutation $P$ is contained in a $n$-permutation $T$ as a pattern. This is the case if there exists an order-preserving embedding of $P$ into $T$. In this paper, we present a fixed-parameter algorithm solving this problem with a worst-case runtime of $\mathcal{O}(1.79^{\mathsf{run}(T)}\cdot n\cdot k)$, where $\mathsf{run}(T)$ denotes the number of alternating runs of $T$. This algorithm is particularly well-suited for instances where $T$ has few runs, i.e., few ups and downs. Moreover, since $\mathsf{run}(T)<n$, this can be seen as a $\mathcal{O}(1.79^{n}\cdot n\cdot k)$ algorithm which is the first to beat the exponential $2^n$ runtime of brute-force search. Furthermore, we prove that under standard complexity theoretic assumptions such a fixed-parameter tractability result is not possible for $\mathsf{run}(P)$.