Showing 20 papers (Total: 82661 papers, 47773 authors in database)
The expected jaggedness of order ideals
Published in Forum of Mathematics, Sigma, 5, 2017
• View Publication
• BIB
The jaggedness of an order ideal I in a poset P is the number of maximal elements in I plus the number of minimal elements of P not in I. A probability distribution on the set of order ideals of P is toggle-symmetric if for every p in P, the probability that p is maximal in I equals the probability that p is minimal not in I. In this paper, we prove a formula for the expected jaggedness of an order ideal of P under any toggle-symmetric probability distribution when P is the poset of boxes in a skew Young diagram. Our result extends the main combinatorial theorem of Chan-López-Pflueger-Teixidor, who used an expected jaggedness computation as a key ingredient to prove an algebro-geometric formula; and it has applications to homomesies, in the sense of Propp-Roby, of the antichain cardinality statistic for order ideals in partially ordered sets.
A Hidden Signal in the Ulam sequence
Published
• View Publication
• BIB
The Ulam sequence is defined as $a_1 =1, a_2 = 2$ and $a_n$ being the smallest integer that can be written as the sum of two distinct earlier elements in a unique way. This gives $$1, 2, 3, 4, 6, 8, 11, 13, 16, 18, 26, 28, 36, 38, 47, \dots$$ Ulam remarked that understanding the sequence, which has been described as 'quite erratic', seems difficult and indeed nothing is known. We report the empirical discovery of a surprising global rigidity phenomenon: there seems to exist a real $α\sim 2.5714474995\dots$ such that $$\left\{αa_n: n\in \mathbb{N}\right\} \quad \mbox{mod}~2π\quad \mbox{generates an absolutely continuous \textit{non-uniform} measure}$$ supported on a subset of $\mathbb{T}$. Indeed, for the first $10^7$ elements of Ulam's sequence, $$ \cos{\left( 2.5714474995~ a_n\right)} < 0 \qquad \mbox{for all}~a_n \notin \left\{2, 3, 47, 69\right\}.$$ The same phenomenon arises for some other initial conditions $a_1, a_2$: the distribution functions look very different from each other and have curious shapes. A similar but more subtle phenomenon seems to arise in Lagarias' variant of MacMahon's 'primes of measurement' sequence.
Computing the Size of Intervals in the Weak Bruhat Order
The weak Bruhat order on $ { \mathcal S }_n $ is the partial order $\prec$ so that $σ\prec τ$ whenever the set of inversions of $σ$ is a subset of the set of inversions of $τ$. We investigate the time complexity of computing the size of intervals with respect to $\prec$. Using relationships between two-dimensional posets and the weak Bruhat order, we show that the size of the interval $ [ σ_1, σ_2 ]$ can be computed in polynomial time whenever $σ_1^{-1} σ_2$ has bounded width (length of its longest decreasing subsequence) or bounded intrinsic width (maximum width of any non-monotone permutation in its block decomposition). Since permutations of intrinsic width $1$ are precisely the separable permutations, this greatly extends a result of Wei. Additionally, we show that, for large $n$, all but a vanishing fraction of permutations $ σ$ in $ { \mathcal S }_n$ give rise to intervals $ [ id , σ]$ whose sizes can be computed with a sub-exponential time algorithm. The general question of the difficulty of computing the size of arbitrary intervals remains open.
KMS weights on higher rank buildings
Published
• View Publication
• BIB
We extend some of the results of Carey-Marcolli-Rennie on modular index invariants of Mumford curves to the case of higher rank buildings: we discuss notions of KMS weights on buildings, that generalize the construction of graph weights over graph C*-algebras.
Combinatorics of exceptional sequences in type A
Published
• View Publication
• BIB
Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear extensions of posets, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. This work extends a classification of exceptional sequences for the linearly-ordered quiver obtained in an earlier paper by the first and third authors.
Golodness and polyhedral products for two dimensional simplicial complexes
Published
• View Publication
• BIB
Golodness of 2-dimensional simplicial complexes is studied through polyhedral products, and combinatorial and topoogical characterization of Golodness of surface triangulations is given. An answer to the question of Berglund is also given so that there is a 2-dimensional simplicial complex which is rationally Golod but is not Golod over $\mathbb{Z}/p$.
Mixed orthogonal arrays, $(u,m,{\bf e},s)$-nets, and $(u,{\bf e},s)$-sequences
We study the classes of $(u,m,{\bf e},s)$-nets and $(u,{\bf e},s)$-sequences, which are generalizations of $(u,m,s)$-nets and $(u,s)$-sequences, respectively. We show equivalence results that link the existence of $(u,m,{\bf e},s)$-nets and so-called mixed (ordered) orthogonal arrays, thereby generalizing earlier results by Lawrence, and Mullen and Schmid. We use this combinatorial equivalence principle to obtain new results on the possible parameter configurations of $(u,m,{\bf e},s)$-nets and $(u,{\bf e},s)$-sequences, which generalize in particular a result of Martin and Stinson.
Track Layouts, Layered Path Decompositions, and Leveled Planarity
Published in Algorithmica 81 (4): 1561-1583, 2019
• View Publication
• BIB
We investigate two types of graph layouts, track layouts and layered path decompositions, and the relations between their associated parameters track-number and layered pathwidth. We use these two types of layouts to characterize leveled planar graphs, which are the graphs with planar leveled drawings with no dummy vertices. It follows from the known NP-completeness of leveled planarity that track-number and layered pathwidth are also NP-complete, even for the smallest constant parameter values that make these parameters nontrivial. We prove that the graphs with bounded layered pathwidth include outerplanar graphs, Halin graphs, and squaregraphs, but that (despite having bounded track-number) series-parallel graphs do not have bounded layered pathwidth. Finally, we investigate the parameterized complexity of these layouts, showing that past methods used for book layouts do not work to parameterize the problem by treewidth or almost-tree number but that the problem is (non-uniformly) fixed-parameter tractable for tree-depth.
The complete classification of five-dimensional Dirichlet-Voronoi polyhedra of translational lattices
Published in Acta Crystallographica A72 (2016), 673--683
• View Publication
• BIB
In this paper we report on the full classification of Dirichlet-Voronoi polyhedra and Delaunay subdivisions of five-dimensional translational lattices. We obtain a complete list of $110244$ affine types (L-types) of Delaunay subdivisions and it turns out that they are all combinatorially inequivalent, giving the same number of combinatorial types of Dirichlet-Voronoi polyhedra. Using a refinement of corresponding secondary cones, we obtain $181394$ contraction types. We report on details of our computer assisted enumeration, which we verified by three independent implementations and a topological mass formula check.
A parity map of framed chord diagrams
Published
• View Publication
• BIB
We consider framed chord diagrams, i.e. chord diagrams with chords of two types. It is well known that chord diagrams modulo 4T-relations admit Hopf algebra structure, where the multiplication is given by any connected sum with respect to the orientation. But in the case of framed chord diagrams a natural way to define a multiplication is not known yet. In the present paper, we first define a new module $\mathcal{M}_2$ which is generated by chord diagrams on two circles and factored by $4$T-relations. Then we construct a "covering" map from the module of framed chord diagrams into $\mathcal{M}_2$ and a weight system on $\mathcal{M}_2$. Using the map and weight system we show that a connected sum for framed chord diagrams is not a well-defined operation. In the end of the paper we touch linear diagrams, the circle replaced by a directed line.
Weak regularity and finitely forcible graph limits
Published
• View Publication
• BIB
Graphons are analytic objects representing limits of convergent sequences of graphs. Lovász and Szegedy conjectured that every finitely forcible graphon, i.e. any graphon determined by finitely many graph densities, has a simple structure. In particular, one of their conjectures would imply that every finitely forcible graphon has a weak $\varepsilon$-regular partition with the number of parts bounded by a polynomial in $\varepsilon^{-1}$. We construct a finitely forcible graphon $W$ such that the number of parts in any weak $\varepsilon$-regular partition of $W$ is at least exponential in $\varepsilon^{-2}/2^{5\log^*\varepsilon^{-2}}$. This bound almost matches the known upper bound for graphs and, in a certain sense, is the best possible for graphons.
$P_{k}$-freeness implies small dichromatic number
We propose a purely combinatorial quadratic time algorithm that for any $n$-vertex $P_{k}$-free tournament $T$, where $P_{k}$ is a directed path of length $k$, finds in $T$ a transitive subset of order $n^{\frac{c}{k\log(k)^{2}}}$. As a byproduct of our method, we obtain subcubic $O(n^{1-\frac{c}{k\log(k)^{2}}})$-approximation algorithm for the optimal acyclic coloring problem on $P_{k}$-free tournaments. Our results are tight up to the $\log(k)$-factor in the following sense: there exist infinite families of $P_{k}$-free tournaments with largest transitive subsets of order at most $n^{\frac{c\log(k)}{k}}$. As a corollary, we give tight asymptotic results regarding the so-called \textit{Erdős-Hajnal coefficients} of directed paths. These are some of the first asymptotic results on these coefficients for infinite families of prime graphs.
First-passage percolation on Cartesian power graphs
Published
• View Publication
• BIB
We consider first-passage percolation on the class of "high-dimensional" graphs that can be written as an iterated Cartesian product $G\square G \square \dots \square G$ of some base graph $G$ as the number of factors tends to infinity. We propose a natural asymptotic lower bound on the first-passage time between $(v, v, \dots, v)$ and $(w, w, \dots, w)$ as $n$, the number of factors, tends to infinity, which we call the critical time $t^*_G(v, w)$. Our main result characterizes when this lower bound is sharp as $n\rightarrow\infty$. As a corollary, we are able to determine the limit of the so-called diagonal time-constant in $\mathbb{Z}^n$ as $n\rightarrow\infty$ for a large class of distributions of passage times.
Perfect graphs of arbitrarily large clique-chromatic number
Published in Journal of Combinatorial Theory, Series B, 116:456-464, 2016
• View Publication
• BIB
We prove that there exist perfect graphs of arbitrarily large clique-chromatic number. These graphs can be obtained from cobipartite graphs by repeatedly gluing along cliques. This negatively answers a question raised by Duffus, Sands, Sauer, and Woodrow in [Two-coloring all two-element maximal antichains, J. Combinatorial Theory, Ser. A, 57 (1991), 109-116].
Enumeration of a dual set of Stirling permutations by their alternating runs
Published in Bull. Aust. Math. Soc. 94 (2016) 177-186
• View Publication
• BIB
In this paper, we count a dual set of Stirling permutations by the number of alternating runs. Properties of the generating functions, including recurrence relations, grammatical interpretations and convolution formulas are studied.
On the bend number of circular-arc graphs as edge intersection graphs of paths on a grid
Published in Discrete Applied Mathematics 234 (2018), 12-21
• View Publication
• BIB
Golumbic, Lipshteyn and Stern \cite{Golumbic-epg} proved that every graph can be represented as the edge intersection graph of paths on a grid (EPG graph), i.e., one can associate with each vertex of the graph a nontrivial path on a rectangular grid such that two vertices are adjacent if and only if the corresponding paths share at least one edge of the grid. For a nonnegative integer $k$, $B_k$-EPG graphs are defined as EPG graphs admitting a model in which each path has at most $k$ bends. Circular-arc graphs are intersection graphs of open arcs of a circle. It is easy to see that every circular-arc graph is a $B_4$-EPG graph, by embedding the circle into a rectangle of the grid. In this paper, we prove that every circular-arc graph is $B_3$-EPG, and that there exist circular-arc graphs which are not $B_2$-EPG. If we restrict ourselves to rectangular representations (i.e., the union of the paths used in the model is contained in a rectangle of the grid), we obtain EPR (edge intersection of path in a rectangle) representations. We may define $B_k$-EPR graphs, $k\geq 0$, the same way as $B_k$-EPG graphs. Circular-arc graphs are clearly $B_4$-EPR graphs and we will show that there exist circular-arc graphs that are not $B_3$-EPR graphs. We also show that normal circular-arc graphs are $B_2$-EPR graphs and that there exist normal circular-arc graphs that are not $B_1$-EPR graphs. Finally, we characterize $B_1$-EPR graphs by a family of minimal forbidden induced subgraphs, and show that they form a subclass of normal Helly circular-arc graphs.
An algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings
Published
• View Publication
• BIB
In this paper we give a proof that the largest set of perfect matchings, in which any two contain a common edge, is the set of all perfect matchings that contain a fixed edge. This is a version of the famous Erdős-Ko-Rado theorem for perfect matchings. The proof given in this paper is algebraic, we first determine the least eigenvalue of the perfect matching derangement graph and use properties of the perfect matching polytope. We also prove that the perfect matching derangement graph is not a Cayley graph.
On scattered linear sets of pseudoregulus type in $\mathrm{PG}(1,q^t)$
Scattered linear sets of pseudoregulus type in $\mathrm{PG}(1,q^t)$ have been defined and investigated in [G. Lunardon, G. Marino, O. Polverino, R. Trombetti: Maximum scattered linear sets of pseudoregulus type and the Segre Variety ${\cal S}_{n,n}$. J. Algebr. Comb. 39 (2014), 807--831.; G. Donati, N. Durante: Scattered linear sets generated by collineations between pencils of lines. J. Algebr. Comb. 40 (2014), 1121-1134]. The aim of this paper is to continue such an investigation. Properties of a scattered linear set of pseudoregulus type, say $L$, are proved by means of three different ways to obtain $L$: (i) as projection of a $q$-order canonical subgeometry [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004), 663-669], (ii) as a set whose image under the field reduction map is the hypersurface of degree $t$ in $\mathrm{PG}(2t-1,q)$ studied in [M. Lavrauw, J. Sheekey, C. Zanella: On embeddings of minimum dimension of $\mathrm{PG}(n,q)\times \mathrm{PG}(n,q)$. Des. Codes Cryptogr. 74 (2015), 427-440], (iii) as exterior splash, by the correspondence described in [M. Lavrauw, J. Sheekey, C. Zanella: On embeddings of minimum dimension of $\mathrm{PG}(n,q)\times \mathrm{PG}(n,q)$. Des. Codes Cryptogr. 74 (2015), 427-440]. In particular, given a canonical subgeometry $Σ$ of $\mathrm{PG}(t-1,q^t)$, necessary and sufficient conditions are given for the projection of $Σ$ with center a $(t-3)$-subspace to be a linear set of pseudoregulus type. Furthermore, the $q$-order sublines are counted and geometrically described.
Color-blind index in graphs of very low degree
Published in Discrete Applied Mathematics, Volume 225, 10 July 2017, Pages 122-129
• View Publication
• BIB
Let $c:E(G)\to [k]$ be an edge-coloring of a graph $G$, not necessarily proper. For each vertex $v$, let $\bar{c}(v)=(a_1,\ldots,a_k)$, where $a_i$ is the number of edges incident to $v$ with color $i$. Reorder $\bar{c}(v)$ for every $v$ in $G$ in nonincreasing order to obtain $c^*(v)$, the color-blind partition of $v$. When $c^*$ induces a proper vertex coloring, that is, $c^*(u)\neq c^*(v)$ for every edge $uv$ in $G$, we say that $c$ is color-blind distinguishing. The minimum $k$ for which there exists a color-blind distinguishing edge coloring $c:E(G)\to [k]$ is the color-blind index of $G$, denoted $\operatorname{dal}(G)$. We demonstrate that determining the color-blind index is more subtle than previously thought. In particular, determining if $\operatorname{dal}(G) \leq 2$ is NP-complete. We also connect the color-blind index of a regular bipartite graph to 2-colorable regular hypergraphs and characterize when $\operatorname{dal}(G)$ is finite for a class of 3-regular graphs.
Comparison of Coverability and Multi-Scale Coverability in One and Two Dimensions
A word is quasiperiodic (or coverable) if it can be covered with occurrences of another finite word, called its quasiperiod. A word is multi-scale quasiperiodic (or multi-scale coverable) if it has infinitely many different quasiperiods. These notions were previously studied in the domains of text algorithms and combinatorics of right infinite words.
We extend them to infinite pictures (two-dimensional words). Then we compare the regularity properties (uniform recurrence, uniform frequencies, topological entropy) of quasiperiodicity with multi-scale quasiperiodicity, and we also compare each of them with its one-dimensional counterpart.
We also study which properties of quasiperiods enforce properties on the quasiperiodic words.