Showing 20 papers (Total: 84285 papers, 48548 authors in database)
An Algorithmic Proof of the Piff--Welsh Theorem on Transversal Matroid Representations
A fundamental theorem of matroid theory establishes that a transversal matroid is representable over fields of any characteristic. It was proved in 1970 by Piff and Welsh: their proof is elegant and concise and, moveover, constructive. However it is far from being algorithmic, in terms of suggesting a step-by-step procedure for deriving a collection of vectors over a given base field representing the transversal matroid induced by a given set system. In this note we recast Piff and Welsh's proof in algorithmic form.
Nowhere-zero $3$-flow of graphs with small independence number
Published
• View Publication
• BIB
Tutte's $3$-flow conjecture states that every $4$-edge-connected graph admits a nowhere-zero $3$-flow. In this paper, we characterize all graphs with independence number at most $4$ that admit a nowhere-zero $3$-flow. The characterization of $3$-flow verifies Tutte's $3$-flow conjecture for graphs with independence number at most $4$ and with order at least $21$. In addition, we prove that every odd-$5$-edge-connected graph with independence number at most $3$ admits a nowhere-zero $3$-flow. To obtain these results, we introduce a new reduction method to handle odd wheels.
On the Orbits of Crossed Cubes
An orbit of $G$ is a subset $S$ of $V(G)$ such that $φ(u)=v$ for any two vertices $u,v\in S$, where $φ$ is an isomorphism of $G$. The orbit number of a graph $G$, denoted by $\text{Orb}(G)$, is the number of orbits of $G$. In [A Note on Path Embedding in Crossed Cubes with Faulty Vertices, Information Processing Letters 121 (2017) pp. 34--38], Chen et al. conjectured that $\text{Orb}(\text{CQ}_n)=2^{\lceil\frac{n}{2}\rceil-2}$ for $n\geqslant 3$, where $\text{CQ}_n$ denotes an $n$-dimensional crossed cube. In this paper, we settle the conjecture.
The set of alternating sign matrices which are determined by their X-ray is a member of the Catalan family
We exhibit a bijection between Dyck paths and alternating sign matrices which are determined by their antidiagonal sums.
$K_{1,3}$-covering red and blue points in the plane
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Combinatorics (January 31, 2019) dmtcs:4537
• View Publication
• BIB
We say that a finite set of red and blue points in the plane in general position can be $K_{1,3}$-covered if the set can be partitioned into subsets of size $4$, with $3$ points of one color and $1$ point of the other color, in such a way that, if at each subset the fourth point is connected by straight-line segments to the same-colored points, then the resulting set of all segments has no crossings. We consider the following problem: Given a set $R$ of $r$ red points and a set $B$ of $b$ blue points in the plane in general position, how many points of $R\cup B$ can be $K_{1,3}$-covered? and we prove the following results:
(1) If $r=3g+h$ and $b=3h+g$, for some non-negative integers $g$ and $h$, then there are point sets $R\cup B$, like $\{1,3\}$-equitable sets (i.e., $r=3b$ or $b=3r$) and linearly separable sets, that can be $K_{1,3}$-covered.
(2) If $r=3g+h$, $b=3h+g$ and the points in $R\cup B$ are in convex position, then at least $r+b-4$ points can be $K_{1,3}$-covered, and this bound is tight.
(3) There are arbitrarily large point sets $R\cup B$ in general position, with $r=b+1$, such that at most $r+b-5$ points can be $K_{1,3}$-covered.
(4) If $b\le r\le 3b$, then at least $\frac{8}{9}(r+b-8)$ points of $R\cup B$ can be $K_{1,3}$-covered. For $r>3b$, there are too many red points and at least $r-3b$ of them will remain uncovered in any $K_{1,3}$-covering.
Furthermore, in all the cases we provide efficient algorithms to compute the corresponding coverings.
Bijective enumerations of $Γ$-free 0-1 matrices
Published
• View Publication
• BIB
We construct a new bijection between the set of $n\times k$ $0$-$1$ matrices with no three $1$'s forming a $Γ$ configuration and the set of $(n,k)$-Callan sequences, a simple structure counted by poly-Bernoulli numbers. We give two applications of this result: We derive the generating function of $Γ$-free matrices, and we give a new bijective proof for an elegant result of Aval et al. that states that the number of complete non-ambiguous forests with $n$ leaves is equal to the number of pairs of permutations of $\{1,\dots,n\}$ with no common rise.
On some three color Ramsey numbers for paths, cycles, stripes and stars
Published
• View Publication
• BIB
For given graphs $G_{1}, G_{2}, ... , G_{k}, k \geq 2$, the multicolor Ramsey number $R(G_{1}, G_{2}, ... , G_{k})$ is the smallest integer $n$ such that if we arbitrarily color the edges of the complete graph of order $n$ with $k$ colors, then it always contains a monochromatic copy of $G_{i}$ colored with $i$, for some $1 \leq i \leq k$. The bipartite Ramsey number $b(G_1, \cdots, G_k)$ is the least positive integer $b$ such that any coloring of the edges of $K_{b,b}$ with $k$ colors will result in a monochromatic copy of bipartite $G_i$ in the $i$-th color, for some $i$, $1 \le i \le k$.
There is very little known about $R(G_{1},\ldots, G_{k})$ even for very special graphs, there are a lot of open cases. In this paper, by using bipartite Ramsey numbers we obtain the exact values of some multicolor Ramsey numbers. We show that for sufficiently large $n_{0}$ and three following cases:
1. $n_{1}=2s$, $n_{2}=2m$ and $m-1<2s$,
2. $n_{1}=n_{2}=2s$,
3. $n_{1}=2s+1$, $n_{2}=2m$ and $s<m-1<2s+1$, we have
$$R(C_{n_0}, P_{n_{1}},P_{n_{2}}) = n_0 + \Big \lfloor \frac{n_1}{2} \Big \rfloor + \Big \lfloor \frac{n_2}{2} \Big \rfloor -2.$$
We prove that $R(P_n,kK_{2},kK_{2})=n+2k-2$ for large $n$. In addition, we prove that for even $k$, $R((k-1)K_{2},P_{k},P_{k})=3k-4$. For $s < m-1<2s+1$ and $t\geq m+s-1$, we obtain that $R(tK_{2},P_{2s+1},P_{2m})=s+m+2t-2$ where $P_{k}$ is a path on $k$ vertices and $tK_{2}$ is a matching of size $t$.
We also provide some new exact values or generalize known results for other multicolor Ramsey numbers of paths, cycles, stripes and stars versus other graphs.
Steinhaus Triangles Generated by Vectors of the Canonical Bases
We give a method to calculate the weight of binary Steinhaus triangles generated by the vectors of the canonical basis of the vector space $\mathbb{F}_2^n$ over the field $\mathbb{F}_2$ of order $2$.
New 5-designs---revisited
This note comments on parts of "New 5-designs." We cite Chebotarev's theorem; we correct some minor errors and we clarify our proof of the Gleason-Prange theorem.
An Alon-Boppana Type Bound for Weighted Graphs and Lowerbounds for Spectral Sparsification
Published
• View Publication
• BIB
We prove the following Alon-Boppana type theorem for general (not necessarily regular) weighted graphs: if $G$ is an $n$-node weighted undirected graph of average combinatorial degree $d$ (that is, $G$ has $dn/2$ edges) and girth $g> 2d^{1/8}+1$, and if $λ_1 \leq λ_2 \leq \cdots λ_n$ are the eigenvalues of the (non-normalized) Laplacian of $G$, then \[ \frac {λ_n}{λ_2} \geq 1 + \frac 4{\sqrt d} - O \left( \frac 1{d^{\frac 58} }\right) \] (The Alon-Boppana theorem implies that if $G$ is unweighted and $d$-regular, then $\frac {λ_n}{λ_2} \geq 1 + \frac 4{\sqrt d} - O\left( \frac 1 d \right)$ if the diameter is at least $d^{1.5}$.)
Our result implies a lower bound for spectral sparsifiers. A graph $H$ is a spectral $ε$-sparsifier of a graph $G$ if \[ L(G) \preceq L(H) \preceq (1+ε) L(G) \] where $L(G)$ is the Laplacian matrix of $G$ and $L(H)$ is the Laplacian matrix of $H$. Batson, Spielman and Srivastava proved that for every $G$ there is an $ε$-sparsifier $H$ of average degree $d$ where $ε\approx \frac {4\sqrt 2}{\sqrt d}$ and the edges of $H$ are a (weighted) subset of the edges of $G$. Batson, Spielman and Srivastava also show that the bound on $ε$ cannot be reduced below $\approx \frac 2{\sqrt d}$ when $G$ is a clique; our Alon-Boppana-type result implies that $ε$ cannot be reduced below $\approx \frac 4{\sqrt d}$ when $G$ comes from a family of expanders of super-constant degree and super-constant girth.
The method of Batson, Spielman and Srivastava proves a more general result, about sparsifying sums of rank-one matrices, and their method applies to an "online" setting. We show that for the online matrix setting the $4\sqrt 2 / \sqrt d$ bound is tight, up to lower order terms.
Turán number of an induced complete bipartite graph plus an odd cycle
Published in Combinator. Probab. Comp. 28 (2019) 241-252
• View Publication
• BIB
Let $k \ge 2$ be an integer. We show that if $s = 2$ and $t \ge 2$, or $s = t = 3$, then the maximum possible number of edges in a $C_{2k+1}$-free graph containing no induced copy of $K_{s,t}$ is asymptotically equal to $(t - s + 1)^{1/s}\left(\frac{n}{2}\right)^{2-1/s}$ except when $k = s = t = 2$.
This strengthens a result of Allen, Keevash, Sudakov and Verstraëte and answers a question of Loh, Tait and Timmons.
Squarefree polynomials with prescribed coefficients
Published
• View Publication
• BIB
For nonempty subsets $S_0, \dots, S_{n-1}$ of a (large enough) finite field $\mathbb{F}$ satisfying $$|S_1|, \dots, |S_{n-1}| > 2 \quad \mathrm{or} \quad |S_1|,|S_{n-1}| > n - 1,$$ we show that there exist $a_0 \in S_0, \dots, a_{n-1} \in S_{n-1}$ such that $$ T^n + a_{n-1}T^{n-1} + \dots + a_1T + a_0 \in \mathbb{F}[T] $$ is a squarefree polynomial.
Inverse Relations in Shapiro's Open Questions
Published
• View Publication
• BIB
As an inverse relation, involution with an invariant sequence plays a key role in combinatorics and features prominently in some of Shapiro's open questions [L.W. Shapiro, Some open questions about random walks, involutions, limiting distributions and generating functions, Adv. Appl. Math. 27 (2001) 585-596]. In this paper, invariant sequences are used to provide answers to some of these questions about the Fibonacci matrix and Riordan involutions.
Undesired parking spaces and contractible pieces of the noncrossing partition link
Published
• View Publication
• BIB
There are two natural simplicial complexes associated to the noncrossing partition lattice: the order complex of the full lattice and the order complex of the lattice with its bounding elements removed. The latter is a complex that we call the noncrossing partition link because it is the link of an edge in the former. The first author and his coauthors conjectured that various collections of simplices of the noncrossing partition link (determined by the undesired parking spaces in the corresponding parking functions) form contractible subcomplexes. In this article we prove their conjecture by combining the fact that the star of a simplex in a flag complex is contractible with the second author's theory of noncrossing hypertrees.
Noncrossing hypertrees
Hypertrees and noncrossing trees are well-established objects in the combinatorics literature, but the hybrid notion of a noncrossing hypertree has received less attention. In this article I investigate the poset of noncrossing hypertrees as an induced subposet of the hypertree poset. Its dual is the face poset of a simplicial complex, one that can be identified with a generalized cluster complex of type $A$. The first main result is that this noncrossing hypertree complex is homeomorphic to a piecewise spherical complex associated with the noncrossing partition lattice and thus it has a natural metric. The fact that the order complex of the noncrossing partition lattice with its bounding elements removed is homeomorphic to a generalized cluster complex was not previously known or conjectured.
The metric noncrossing hypertree complex is a union of unit spheres with a number of remarkable properties: 1) the metric subspheres and simplices in each dimension are both bijectively labeled by the set of noncrossing hypertrees with a fixed number of hyperedges, 2) the number of spheres containing the simplex labeled by the noncrossing tree $τ$ is the same as the number simplices in the sphere labeled by the noncrossing tree $τ$, and 3) among the maximal spherical subcomplexes one finds every normal fan of a metric realization of the simple associahedron associated to the cluster algebra of type $A$. In particular, the poset of noncrossing hypertrees and its metric simplicial complex provide a new perspective on familiar combinatorial objects and a common context in which to view the known bijections between noncrossing partitions and the vertices/facets of simple/simplicial associahedra.
Power maps in finite groups
In recent work, Pomerance and Shparlinski have obtained results on the number of cycles in the functional graph of the map $x \mapsto x^a$ in $\mathbb{F}_p^*$. We prove similar results for other families of finite groups. In particular, we obtain estimates for the number of cycles for cyclic groups, symmetric groups, dihedral groups and $SL_2(\mathbb{F}_q)$. We also show that the cyclic group of order $n$ minimizes the number of cycles among all nilpotent groups of order $n$ for a fixed exponent. Finally, we pose several problems.
An Infinite Family of Circulant Graphs with Perfect State Transfer in Discrete Quantum Walks
Published
• View Publication
• BIB
We study perfect state transfer in Kendon's model of discrete quantum walks. In particular, we give a characterization of perfect state transfer purely in terms of the graph spectra, and construct an infinite family of $4$-regular circulant graphs that admit perfect state transfer. Prior to our work, the only known infinite families of examples were variants of cycles and diamond chains.
Three-term polynomial progressions in subsets of finite fields
Published in Israel J. Math. 228 (2018), no. 1, 379-405
• View Publication
• BIB
Bourgain and Chang recently showed that any subset of $\mathbb{F}_p$ of density $\gg p^{-1/15}$ contains a nontrivial progression $x,x+y,x+y^2$. We answer a question of theirs by proving that if $P_1,P_2\in\mathbb{Z}[y]$ are linearly independent and satisfy $P_1(0)=P_2(0)=0$, then any subset of $\mathbb{F}_p$ of density $\gg_{P_1,P_2}p^{-1/24}$ contains a nontrivial polynomial progression $x,x+P_1(y),x+P_2(y)$.
Computing Tutte Paths
Tutte paths are one of the most successful tools for attacking Hamiltonicity problems in planar graphs. Unfortunately, results based on them are non-constructive, as their proofs inherently use an induction on overlapping subgraphs and these overlaps hinder to bound the running time to a polynomial. For special cases however, computational results of Tutte paths are known: For 4-connected planar graphs, Tutte paths are in fact Hamiltonian paths and Chiba and Nishizeki showed how to compute such paths in linear time. For 3-connected planar graphs, Tutte paths have a more complicated structure, and it has only recently been shown that they can be computed in polynomial time. However, Tutte paths are defined for general 2-connected planar graphs and this is what most applications need. Unfortunately, no computational results are known. We give the first efficient algorithm that computes a Tutte path (for the general case of 2-connected planar graphs). One of the strongest existence results about such Tutte paths is due to Sanders, which allows to prescribe the end vertices and an intermediate edge of the desired path. Encompassing and strengthening all previous computational results on Tutte paths, we show how to compute this special Tutte path efficiently. Our method refines both, the results of Thomassen and Sanders, and avoids overlapping subgraphs by using a novel iterative decomposition along 2-separators. Finally, we show that our algorithm runs in quadratic time.
Horofunctions on Sierpiński type triangles
We study an infinite set of graphs which are recursively constructed from an infinite word in a finite alphabet. These graphs are inspired by the construction of the Sierpiński gasket. We show that there are infinitely many non-isomorphic such graphs and we describe the horofunctions on the standard case.