contain ↗ reference
7694 papers tagged with this keyword
Two Posets of Noncrossing Partitions Coming From Undesired Parking Spaces
Published in Revista Colombiana de Matemáticas 52 (2018), pages 65-86
• Search Publication
Consider the noncrossing set partitions of an $n$-element set which either do not contain the block $\{n-1,n\}$, or which do not contain the singleton block $\{n\}$ whenever $1$ and $n-1$ are in the same block. In this article we study the subposet of the noncrossing partition lattice induced by these elements, and show that it is a supersolvable lattice, and therefore lexicographically shellable. We give a combinatorial model for the NBB bases of this lattice and derive an explicit formula for the value of its Möbius function between least and greatest element. This work is motivated by a recent article by M. Bruce, M. Dougherty, M. Hlavacek, R. Kudo, and I. Nicolas, in which they introduce a subposet of the noncrossing partition lattice that is determined by parking functions with certain forbidden entries. In particular, they conjecture that the resulting poset always has a contractible order complex. We prove this conjecture by embedding their poset into ours, and showing that it inherits the lexicographic shellability.
The sequence of open and closed prefixes of a Sturmian word
Published in Advances in Applied Mathematics Volume 90, September 2017, Pages 27-45
• View Publication
• BIB
A finite word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We are interested in the {\it oc-sequence} of a word, which is the binary sequence whose $n$-th element is $0$ if the prefix of length $n$ of the word is open, or $1$ if it is closed. We exhibit results showing that this sequence is deeply related to the combinatorial and periodic structure of a word. In the case of Sturmian words, we show that these are uniquely determined (up to renaming letters) by their oc-sequence. Moreover, we prove that the class of finite Sturmian words is a maximal element with this property in the class of binary factorial languages. We then discuss several aspects of Sturmian words that can be expressed through this sequence. Finally, we provide a linear-time algorithm that computes the oc-sequence of a finite word, and a linear-time algorithm that reconstructs a finite Sturmian word from its oc-sequence.
Locally infinite graphs and symmetries
When one studies geometric properties of graphs, local finiteness is a common implicit assumption, and that of transitivity a frequent explicit one. By compactness arguments, local finiteness guarantees several regularity properties. It is generally easy to find counterexamples to such regularity results when the assumption of local finiteness is dropped. The present work focuses on the following problem: determining whether these regularity properties still hold when local finiteness is replaced by an assumption of transitivity.
After recalling the locally finite situation, we show that there are Cayley graphs with infinite generating systems that have infinite diameter but do not contain any infinite geodesic ray. We also introduce a notion of generalised diameter. The generalised diameter of a graph is either an ordinal or "truly infinite" and captures the extension properties of geodesic paths. It is a finite ordinal if and only if the usual diameter is finite, and in that case the two notions agree. Besides, the generalised diameter is "truly infinite" if and only if the considered graph contains an infinite geodesic ray. We show that there exist Cayley graphs of abelian groups of arbitrary generalised diameter.
Finally, we build Cayley graphs of abelian groups that have isomorphic balls of radius R for every R but are not globally isomorphic. This enables us to construct a non-transitive graph such that for every R and any vertices u and v, the ball of centre u and radius R is isomorphic to that of centre v and same radius.
Dihedral Transportation and (0,1)-Matrix Classes
Published
• View Publication
• BIB
Let R and S be two vectors of real numbers whose entries have the same sum. In the transportation problems one wishes to find a matrix A with row sum vector R and column sum vector S. If, in addition, the two vectors only contain nonnegative integers then one wants the same to be true for A. This can always be done and the transportation algorithm gives a method for explicitly calculating A. We can restrict things even further and insist that A have only entries zero and one. In this case, the Gale-Ryser Theorem gives necessary and sufficient conditions for A to exist and this result can be proved constructively. One can let the dihedral group D_4 of the square act on matrices. Then a subgroup of D_4 defines a set of matrices invariant under the subgroup. So one can consider analogues of the transportation and (0,1) problems for these sets of matrices. For every subgroup, we give conditions equivalent to the existence of the desired type of matrix.
Counting Lyndon factors
Published
• View Publication
• BIB
In this paper, we determine the maximum number of distinct Lyndon factors that a word of length $n$ can contain. We also derive formulas for the expected total number of Lyndon factors in a word of length $n$ on an alphabet of size $σ$, as well as the expected number of distinct Lyndon factors in such a word. The minimum number of distinct Lyndon factors in a word of length $n$ is $1$ and the minimum total number is $n$, with both bounds being achieved by $x^n$ where $x$ is a letter. A more interesting question to ask is what is the minimum number of distinct Lyndon factors in a Lyndon word of length $n$? In this direction, it is known (Saari, 2014) that an optimal lower bound for the number of distinct Lyndon factors in a Lyndon word of length $n$ is $\lceil\log_φ(n) + 1\rceil$, where $φ$ denotes the golden ratio $(1 + \sqrt{5})/2$. Moreover, this lower bound is attained by the so-called finite "Fibonacci Lyndon words", which are precisely the Lyndon factors of the well-known "infinite Fibonacci word" -- a special example of a "infinite Sturmian word". Saari (2014) conjectured that if $w$ is Lyndon word of length $n$, $n\ne 6$, containing the least number of distinct Lyndon factors over all Lyndon words of the same length, then $w$ is a Christoffel word (i.e., a Lyndon factor of an infinite Sturmian word). We give a counterexample to this conjecture. Furthermore, we generalise Saari's result on the number of distinct Lyndon factors of a Fibonacci Lyndon word by determining the number of distinct Lyndon factors of a given Christoffel word. We end with two open problems.
Abelian-Square-Rich Words
Published
• View Publication
• BIB
An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain at most $Θ(n^2)$ distinct factors, and there exist words of length $n$ containing $Θ(n^2)$ distinct abelian-square factors, that is, distinct factors that are abelian squares. This motivates us to study infinite words such that the number of distinct abelian-square factors of length $n$ grows quadratically with $n$. More precisely, we say that an infinite word $w$ is {\it abelian-square-rich} if, for every $n$, every factor of $w$ of length $n$ contains, on average, a number of distinct abelian-square factors that is quadratic in $n$; and {\it uniformly abelian-square-rich} if every factor of $w$ contains a number of distinct abelian-square factors that is proportional to the square of its length. Of course, if a word is uniformly abelian-square-rich, then it is abelian-square-rich, but we show that the converse is not true in general. We prove that the Thue-Morse word is uniformly abelian-square-rich and that the function counting the number of distinct abelian-square factors of length $2n$ of the Thue-Morse word is $2$-regular. As for Sturmian words, we prove that a Sturmian word $s_α$ of angle $α$ is uniformly abelian-square-rich if and only if the irrational $α$ has bounded partial quotients, that is, if and only if $s_α$ has bounded exponent.
Subcritical graph classes containing all planar graphs
Published
• View Publication
• BIB
We construct minor-closed addable families of graphs that are subcritical and contain all planar graphs. This contradicts (one direction of) a well-known conjecture of Noy.
Pancyclicity when each cycle contains k chords
Published
• View Publication
• BIB
For integers $n \geq k \geq 2$, let $c(n,k)$ be the minimum number of chords that must be added to a cycle of length $n$ so that the resulting graph has the property that for every $l \in \{ k , k + 1 , \dots , n \}$, there is a cycle of length $l$ that contains exactly $k$ of the added chords. Affif Chaouche, Rutherford, and Whitty introduced the function $c(n,k)$. They showed that for every integer $k \geq 2$, $c(n , k ) \geq Ω_k ( n^{1/k} )$ and they asked if $n^{1/k}$ gives the correct order of magnitude of $c(n, k)$ for $k \geq 2$. Our main theorem answers this question as we prove that for every integer $k \geq 2$, and for sufficiently large $n$, $c(n , k) \leq k \lceil n^{1/k} \rceil + k^2$. This upper bound, together with the lower bound of Affif Chaouche et.\ al., shows that the order of magnitude of $c(n,k)$ is $n^{1/k}$.
An algebraic approach to lifts of digraphs
We study the relationship between two key concepts in the theory of (di)graphs: the quotient digraph, and the lift $Γ^α$ of a base (voltage) digraph. These techniques contract or expand a given digraph in order to study its characteristics, or obtain more involved structures. This study is carried out by introducing a quotient-like matrix, with complex polynomial entries, which fully represents $Γ^α$. In particular, such a matrix gives the quotient matrix of a regular partition of $Γ^α$, and when the involved group is Abelian, it completely determines the spectrum of $Γ^α$. As some examples of our techniques, we study some basic properties of the Alegre digraph. In addition we completely characterize the spectrum of a new family of digraphs, which contains the generalized Petersen graphs, and that of the Hoffman-Singleton graph.
Turan numbers of complete 3-uniform Berge-hypergraphs
Published
• View Publication
• BIB
Given a family $\mathcal{F}$ of $r$-graphs, the Turán number of $\mathcal{F}$ for a given positive integer $N$, denoted by $ex(N,\mathcal{F})$, is the maximum number of edges of an $r$-graph on $N$ vertices that does not contain any member of $\mathcal{F}$ as a subgraph. For given $r\geq 3$, a complete $r$-uniform Berge-hypergraph, denoted by { ${K}_n^{(r)}$}, is an $r$-uniform hypergraph of order $n$ with the core sequence $v_{1}, v_{2}, \ldots ,v_{n}$ as the vertices and distinct edges $e_{ij},$ $1\leq i<j\leq n,$ where every $e_{ij}$ contains both $v_{i}$ and $v_{j}$. Let $\mathcal{F}^{(r)}_n$ be the family of complete $r$-uniform Berge-hypergraphs of order $n.$ We determine precisely $ex(N,\mathcal{F}^{(3)}_{n})$ for $n \geq 13$. We also find the extremal hypergraphs avoiding $\mathcal{F}^{(3)}_{n}$.
The signed enhanced principal rank characteristic sequence
Published
• View Publication
• BIB
The signed enhanced principal rank characteristic sequence (sepr-sequence) of an $n \times n$ Hermitian matrix is the sequence $t_1t_2 \cdots t_n$, where $t_k$ is either $\tt A^*$, $\tt A^+$, $\tt A^-$, $\tt N$, $\tt S^*$, $\tt S^+$, or $\tt S^-$ based on the following criteria: $t_k = \tt A^*$ if $B$ has both a positive and a negative order-$k$ principal minor, and each order-$k$ principal minor is nonzero. $t_k = \tt A^+$ (respectively, $t_k = \tt A^-$) if each order-$k$ principal minor is positive (respectively, negative). $t_k = \tt N$ if each order-$k$ principal minor is zero. $t_k = \tt S^*$ if $B$ has each a positive, a negative, and a zero order-$k$ principal minor. $t_k = \tt S^+$ (respectively, $t_k = \tt S^-$) if $B$ has both a zero and a nonzero order-$k$ principal minor, and each nonzero order-$k$ principal minor is positive (respectively, negative). Such sequences provide more information than the $({\tt A,N,S})$ epr-sequence in the literature, where the $k$th term is either $\tt A$, $\tt N$, or $\tt S$ based on whether all, none, or some (but not all) of the order-$k$ principal minors of the matrix are nonzero. Various sepr-sequences are shown to be unattainable by Hermitian matrices. In particular, by applying Muir's law of extensible minors, it is shown that subsequences such as $\tt A^*N$ and $\tt NA^*$ are prohibited in the sepr-sequence of a Hermitian matrix. For Hermitian matrices of orders $n=1,2,3$, all attainable sepr-sequences are classified. For real symmetric matrices, a complete characterization of the attainable sepr-sequences whose underlying epr-sequence contains $\tt ANA$ as a non-terminal subsequence is established.
Discrete Morse theory and classifying spaces
Published
• View Publication
• BIB
The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $μ$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient flow has been proved to be useful in practical computations of homology groups, it is not sufficient to recover the homotopy type of $X$. Forman also proved the existence of a CW complex which is homotopy equivalent to $X$ and whose cells are in one-to-one correspondence with the critical cells of $μ$, but the construction is ad hoc and does not have a combinatorial description. By relaxing the definition of Forman's gradient flows, we introduce the notion of flow paths, which contains enough information to reconstruct the homotopy type of $X$, while retaining a combinatorial description. The critical difference from Forman's gradient flows is the existence of a partial order on the set of flow paths, from which a $2$-category $C(μ)$ is constructed. It is shown that the classifying space of $C(μ)$ is homotopy equivalent to $X$ by using homotopy theory of $2$-categories. This result can be also regarded as a discrete analogue of the unpublished work of Cohen, Jones, and Segal on Morse theory in early 90's.
Maximum subsets of $\mathbb{F}^n_q$ containing no right angles
Published
• View Publication
• BIB
Recently, Croot, Lev, and Pach (Ann. of Math., 185:331--337, 2017.) and Ellenberg and Gijswijt (Ann. of Math., 185:339--443, 2017.) developed a new polynomial method and used it to prove upper bounds for three-term arithmetic progression free sets in $\mathbb{Z}_4^n$ and $\mathbb{F}_3^n$, respectively.
Their approach was later summarized by Tao and is now known as the slice rank method.
In this paper, we apply this method to obtain a new upper bound on the cardinality of subsets of $\mathbb{F}^n_q$ which contain no right angles.
More precisely, let $q$ be a fixed odd prime power and $x\cdot y$ be the standard inner product of two vectors $x,y\in\mathbb{F}_q^n$, we prove that the maximum cardinality of a subset $A\subseteq\mathbb{F}_q^n$ without three distinct elements $x,y,z\in A$ satisfying $(z-x)\cdot (y-x)=0$ is at most $\binom{n+q}{q-1}+3$.
For sufficiently large $n$, our result significantly improves the previous upper bound of Bennett (European J.
Combin., 70:155--163, 2018.), who showed that $|A|=\mathcal{O}(q^{\frac{n+2}{3}})$.
Bounding the homology of FI-modules
The main theorem of Church-Ellenberg [arXiv:1506.01022] is a sharp bound on the homology of FI-modules, showing that the Castelnuovo-Mumford regularity of FI-modules over Z can be bounded in terms of generators and relations. We give a new proof of this theorem, inspired by earlier proofs by Li-Yu and Li. This should be read after Section 2 of Church-Ellenberg, which contains all needed terminology and background.
The Leray Dimension of a Convex Code
Convex codes were recently introduced as models for neural codes in the brain. Any convex code $\C$ has an associated minimal embedding dimension $d(\C)$, which is the minimal Euclidean space dimension such that the code can be realized by a collection of convex open sets. In this work we import tools from combinatorial commutative algebra in order to obtain better bounds on $d(\C)$ from an associated simplicial complex $Δ(\C)$. In particular, we make a connection to minimal free resolutions of Stanley-Reisner ideals, and observe that they contain topological information that provides stronger bounds on $d(\C)$. This motivates us to define the Leray dimension $d_L(\C),$ and show that it can be obtained from the Betti numbers of such a minimal free resolution. We compare $d_L(\C)$ to two previously studied dimension bounds, obtained from Helly's theorem and the simplicial homology of $Δ(\C)$. Finally, we show explicitly how $d_L(\C)$ can be computed algebraically, and illustrate this with examples.
The Kelmans-Seymour conjecture IV: a proof
Published
• View Publication
• BIB
A well known theorem of Kuratowski in 1932 states that a graph is planar if, and only if, it does not contain a subdivision of $K_5$ or $K_{3,3}$. Wagner proved in 1937 that if a graph other than $K_5$ does not contain any subdivision of $K_{3,3}$ then it is planar or it admits a cut of size at most 2. Kelmans and, independently, Seymour conjectured in the 1970s that if a graph does not contain any subdivision of $K_5$ then it is planar or it admits a cut of size at most 4. In this paper, we give a proof of the Kelmans-Seymour conjecture. We also discuss several related results and problems.
Mixing for three-term progressions in finite simple groups
Published in Math. Proc. Cambridge Philos. Soc. 165 (2018), no. 2, 279-286
• View Publication
• BIB
Answering a question of Gowers, Tao proved that any $A\times B\times C\subset SL_d(\mathbb{F}_q)^3$ contains $|A||B||C|/|SL_d(\mathbb{F}_q)|+O_d(|SL_d(\mathbb{F}_q)|^2/q^{\min(d-1,2)/8})$ three-term progressions $(x,xy,xy^2)$. Using a modification of Tao's argument, we prove such a mixing result for three-term progressions in all nonabelian finite simple groups except for $PSL_2(\mathbb{F}_q)$ with an error term that depends on the degree of quasirandomness of the group. This argument also gives an alternative proof of Tao's result when $d>2$, but with the error term $O(|SL_d(\mathbb{F}_q)|^2/q^{(d-1)/24})$.
Optimal Threshold for a Random Graph to be 2-Universal
Published
• View Publication
• BIB
For a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-universal if $G$ contains every graph in $\mathcal{F}$ as a (not necessarily induced) subgraph. For the family of all graphs on $n$ vertices and of maximum degree at most two, $\mathcal{H}(n,2)$, we prove that there exists a constant $C$ such that for $p \geq C \left( \frac{\log n}{n^2} \right)^{\frac{1}{3}}$, the binomial random graph $G(n,p)$ is typically $\mathcal{H}(n,2)$-universal. This bound is optimal up to the constant factor as illustrated in the seminal work of Johansson, Kahn, and Vu for triangle factors. Our result improves significantly on the previous best bound of $p \geq C \left(\frac{\log n}{n}\right)^{\frac{1}{2}}$ due to Kim and Lee. In fact, we prove the stronger result that for the family of all graphs on $n$ vertices, of maximum degree at most two and of girth at least $\ell$, $\mathcal{H}^{\ell}(n,2)$, $G(n,p)$ is typically $\mathcal H^{\ell}(n,2)$-universal when $p \geq C \left(\frac{\log n}{n^{\ell -1}}\right)^{\frac{1}{\ell}}$. This result is also optimal up to the constant factor. Our results verify (in a weak form) a classical conjecture of Kahn and Kalai.
Ranks of ideals in inverse semigroups of difunctional binary relations
Published
• View Publication
• BIB
The set D_n of all difunctional relations on an n element set is an inverse semigroup under a variation of the usual composition operation. We solve an open problem of Kudryavtseva and Maltcev (2011), which asks: What is the rank (smallest size of a generating set) of D_n? Specifically, we show that the rank of D_n is B(n)+n, where B(n) is the nth Bell number. We also give the rank of an arbitrary ideal of D_n. Although D_n bears many similarities with families such as the full transformation semigroups and symmetric inverse semigroups (all contain the symmetric group and have a chain of J-classes), we note that the fast growth of rank(D_n) as a function of n is a property not shared with these other families.
Distinct distances between a collinear set and an arbitrary set of points
Published
• View Publication
• BIB
We consider the number of distinct distances between two finite sets of points in ${\bf R}^k$, for any constant dimension $k\ge 2$, where one set $P_1$ consists of $n$ points on a line $l$, and the other set $P_2$ consists of $m$ arbitrary points, such that no hyperplane orthogonal to $l$ and no hypercylinder having $l$ as its axis contains more than $O(1)$ points of $P_2$. The number of distinct distances between $P_1$ and $P_2$ is then $$ Ω\left(\min\left\{ n^{2/3}m^{2/3},\; \frac{n^{10/11}m^{4/11}}{\log^{2/11}m},\; n^2,\; m^2\right\}\right) . $$ Without the assumption on $P_2$, there exist sets $P_1$, $P_2$ as above, with only $O(m+n)$ distinct distances between them.