Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On Ascent, Repetition and Descent Sequences
Ascent sequences have received a lot of attention in recent years in connection with (2 + 2)-free posets and other combinatorial objects. Here, we first show bijectively that analogous repetition sequences are counted by the Bell numbers, and 021-avoiding repetition sequences by the Catalan numbers. Then we adapt a bijection of Chen et al and use it along with the "symbolic" method of Flajolet to find the 4-variable generating function for 021-avoiding ascent sequences by length, number of 0's, number of isolated 0's, and number of runs of 2 or more 0's. We deduce that 021-avoiding ascent sequences that have no consecutive 0's (resp. no isolated 0's) both satisfy a Catalan-like recurrence, differing only in initial conditions, and give a bijective proof for the case of no consecutive 0's. Lastly, we show that 021-avoiding descent sequences are equinumerous with same-size $UUDU$-avoiding Dyck paths.
Time analyticity of ancient solutions to the heat equation on graphs
Published
• View Publication
• BIB
We study the time analyticity of ancient solutions to heat equations on graphs. Analogous to Dong and Zhang [DZ19], we prove the time analyticity of ancient solutions on graphs under some sharp growth condition.
Optimal group testing
Published
• View Publication
• BIB
In the group testing problem the aim is to identify a small set of $k\sim n^θ$ infected individuals out of a population size $n$, $0<θ<1$. We avail ourselves of a test procedure capable of testing groups of individuals, with the test returning a positive result iff at least one individual in the group is infected. The aim is to devise a test design with as few tests as possible so that the set of infected individuals can be identified correctly with high probability. We establish an explicit sharp information-theoretic/algorithmic phase transition $\minf$ for non-adaptive group testing, where all tests are conducted in parallel. Thus, with more than $\minf$ tests the infected individuals can be identified in polynomial time \whp, while learning the set of infected individuals is information-theoretically impossible with fewer tests. In addition, we develop an optimal adaptive scheme where the tests are conducted in two stages.
High dimensional Hoffman bound and applications in extremal combinatorics
Published
• View Publication
• BIB
One powerful method for upper-bounding the largest independent set in a graph is the Hoffman bound, which gives an upper bound on the largest independent set of a graph in terms of its eigenvalues. It is easily seen that the Hoffman bound is sharp on the tensor power of a graph whenever it is sharp for the original graph.
In this paper, we introduce the related problem of upper-bounding independent sets in tensor powers of hypergraphs. We show that many of the prominent open problems in extremal combinatorics, such as the Turán problem for (hyper-)graphs, can be encoded as special cases of this problem. We also give a new generalization of the Hoffman bound for hypergraphs which is sharp for the tensor power of a hypergraph whenever it is sharp for the original hypergraph.
As an application of our Hoffman bound, we make progress on the problem of Frankl on families of sets without extended triangles from 1990. We show that if $\frac{1}{2}n\le2k\le\frac{2}{3}n,$ then the extremal family is the star, i.e. the family of all sets that contains a given element. This covers the entire range in which the star is extremal. As another application, we provide spectral proofs for Mantel's theorem on triangle-free graphs and for Frankl-Tokushige theorem on $k$-wise intersecting families.
Real Morse polynomials of degrees 5 and 6
Published
• View Publication
• BIB
A real polynomial $p$ of degree $n$ is called a Morse polynomial if its derivative has $n-1$ pairwise differentreal roots and values of $p$ in these roots (critical values) are also pairwise different. The plot of such polynomial is called a "snake". By enumerating critical points and critical values in the increasing order we construct a permutation $a_1,\ldots,a_{n-1}$, where $a_i$ is the number of polynomial's value in $i$-th critical point. This permutation is called the \emph{passport} of the snake (polynomial). In this work for Morse polynomials of degrees 5 and 6 we describe the partition of the coefficient space into domains of constant passport.
On the Maximum Order of Induced Paths and Induced Forests in Regular Graphs
Let $G$ be a graph and $a(G)$, LIF$(G)$ denote the maximum orders of an induced forest and an induced linear forest of $G$, respectively. It is well-known that if $G$ is an $r$-regular graph of order $n$, then $a(G) \geq \frac{2}{r+1}n$. In this paper, we generalize this result by showing that LIF$(G) \geq \frac{2}{r+1}n$. It was proved that for every graph $G$, $a(G) \geq \sum_{i=1}^{n}\frac{2}{d_i+1}$, where $d_1, \ldots, d_n$ is the degree sequence of $G$. Here, we conjecture that for every graph $G$ with $δ(G) \geq 2$, LIF$(G) \geq \sum_{i=1}^{n}\frac{2}{d_i+1}$.
Star edge coloring of Cactus graphs
Published
• View Publication
• BIB
A star edge coloring of a graph $G$ is a proper edge coloring of $G$ such that no path or cycle of length four is bi-colored. The star chromatic index of $G$, denoted by $χ^{\prime}_{s}(G)$, is the minimum $k$ such that $G$ admits a star edge coloring with $k$ colors. Bezegov{á} et al. (Star edge coloring of some classes of graphs, J. Graph Theory, 81(1), pp.73-82. 2016) conjectured that the star chromatic index of outerplanar graphs with maximum degree $Δ$, is at most $\left\lfloor\frac{3Δ}{2}\right\rfloor+1$. In this paper, we prove this conjecture for a class of outerplanar graphs, namely Cactus graphs, wherein every edge belongs to at most one cycle.
On the Average Complexity of the $k$-Level
Let ${\cal L}$ be an arrangement of $n$ lines in the Euclidean plane. The \emph{$k$-level} of ${\cal L}$ consists of all vertices $v$ of the arrangement which have exactly $k$ lines of ${\cal L}$ passing below $v$. The complexity (the maximum size) of the $k$-level in a line arrangement has been widely studied. In 1998 Dey proved an upper bound of $O(n\cdot (k+1)^{1/3})$. Due to the correspondence between lines in the plane and great-circles on the sphere, the asymptotic bounds carry over to arrangements of great-circles on the sphere, where the $k$-level denotes the vertices at distance at most $k$ to a marked cell, the \emph{south pole}.
We prove an upper bound of $O((k+1)^2)$ on the expected complexity of the $k$-level in great-circle arrangements if the south pole is chosen uniformly at random among all cells.
We also consider arrangements of great $(d-1)$-spheres on the sphere $\mathbb{S}^d$ which are orthogonal to a set of random points on $\mathbb{S}^d$. In this model, we prove that the expected complexity of the $k$-level is of order $Θ((k+1)^{d-1})$.
A spanning bandwidth theorem in random graphs
Published
• View Publication
• BIB
The bandwidth theorem [Mathematische Annalen, 343(1):175--205, 2009] states that any $n$-vertex graph $G$ with minimum degree $(\frac{k-1}{k}+o(1))n$ contains all $n$-vertex $k$-colourable graphs $H$ with bounded maximum degree and bandwidth $o(n)$. In [arXiv:1612.00661] a random graph analogue of this statement is proved: for $p\gg (\frac{\log n}{n})^{1/Δ}$ a.a.s. each spanning subgraph $G$ of $G(n,p)$ with minimum degree $(\frac{k-1}{k}+o(1))pn$ contains all $n$-vertex $k$-colourable graphs $H$ with maximum degree $Δ$, bandwidth $o(n)$, and at least $C p^{-2}$ vertices not contained in any triangle. This restriction on vertices in triangles is necessary, but limiting.
In this paper we consider how it can be avoided. A special case of our main result is that, under the same conditions, if additionally all vertex neighbourhoods in $G$ contain many copies of $K_Δ$ then we can drop the restriction on $H$ that $Cp^{-2}$ vertices should not be in triangles.
Minimum weight disk triangulations and fillings
Published
• View Publication
• BIB
We study the minimum total weight of a disk triangulation using vertices out of $\{1,\ldots,n\}$, where the boundary is the triangle $(123)$ and the $\binom{n}3$ triangles have independent weights, e.g. $\mathrm{Exp}(1)$ or $\mathrm{U}(0,1)$.
We show that for explicit constants $c_1,c_2>0$, this minimum is $c_1 \frac{\log n}{\sqrt n} + c_2 \frac{\log\log n}{\sqrt n} + \frac{Y_n}{\sqrt n}$ where the random variable $Y_n$ is tight, and it is attained by a triangulation that consists of $\frac14\log n + O_P(\sqrt{\log n}) $ vertices.
Moreover, for disk triangulations that are canonical, in that no inner triangle contains all but $O(1)$ of the vertices, the minimum weight has the above form with the law of $Y_n$ converging weakly to a shifted~Gumbel. In addition, we prove that, with high probability, the minimum weights of a homological filling and a homotopical filling of the cycle $(123)$ are both attained by the minimum weight disk triangulation.
Singular Solutions in Soft Limits
Published
• View Publication
• BIB
A generalization of the scattering equations on $X(2,n)$, the configuration space of $n$ points on $\mathbb{CP}^1$, to higher dimensional projective spaces was recently introduced by Early, Guevara, Mizera, and one of the authors. One of the new features in $X(k,n)$ with $k>2$ is the presence of both regular and singular solutions in a soft limit. In this work we study soft limits in $X(3,7)$, $X(4,7)$, $X(3,8)$ and $X(5,8)$, find all singular solutions, and show their geometrical configurations. More explicitly, for $X(3,7)$ and $X(4,7)$ we find $180$ and $120$ singular solutions which when added to the known number of regular solutions both give rise to $1\, 272$ solutions as it is expected since $X(3,7)\sim X(4,7)$. Likewise, for $X(3,8)$ and $X(5,8)$ we find $59\, 640$ and $58\, 800$ singular solutions which when added to the regular solutions both give rise to $188\, 112$ solutions. We also propose a classification of all configurations that can support singular solutions for general $X(k,n)$ and comment on their contribution to soft expansions of generalized biadjoint amplitudes.
On the density of critical graphs with no large cliques
Published
• View Publication
• BIB
A graph $G$ is \textit{$k$-critical} if $χ(G) = k$ and every proper subgraph of $G$ is $(k - 1)$-colorable, and if $L$ is a list-assignment for $G$, then $G$ is \textit{$L$-critical} if $G$ is not $L$-colorable but every proper induced subgraph of $G$ is. In 2014, Kostochka and Yancey proved a lower bound on the average degree of an $n$-vertex $k$-critical graph tending to $k - \frac{2}{k - 1}$ for large $n$ that is tight for infinitely many values of $n$, and they asked how their bound may be improved for graphs not containing a large clique. Answering this question, we prove that for $\varepsilon \leq 2.6\cdot10^{-10}$, if $k$ is sufficiently large and $G$ is a $K_{ω+ 1}$-free $L$-critical graph where $ω\leq k - \log^{10}k$ and $L$ is a list-assignment for $G$ such that $|L(v)| = k - 1$ for all $v\in V(G)$, then the average degree of $G$ is at least $(1 + \varepsilon)(k - 1) - \varepsilon ω- 1$. This result implies that for some $\varepsilon > 0$, for every graph $G$ satisfying $ω(G) \leq \mathrm{mad}(G) - \log^{10}\mathrm{mad}(G)$ where $ω(G)$ is the size of the largest clique in $G$ and $\mathrm{mad}(G)$ is the maximum average degree of $G$, the list-chromatic number of $G$ is at most $\left\lceil (1 - \varepsilon)(\mathrm{mad}(G) + 1) + \varepsilonω(G)\right\rceil$.
Edge-maximal graphs on orientable and some non-orientable surfaces
Published
• View Publication
• BIB
We study edge-maximal, non-complete graphs on surfaces that do not triangulate the surface. We prove that there is no such graph on the projective plane $\mathbb{N}_1$, $K_7-e$ is the unique such graph on the Klein bottle $\mathbb{N}_2$ and $K_8-E(C_5)$ is the unique such graph on the torus $\mathbb{S}_1$. In contrast to this for each $g\ge 2$ we construct an infinite family of such graphs on the orientable surface $\mathbb{S}_g$ of genus $g$, that are $\lfloor \frac{g}{2} \rfloor$ edges short of a triangulation.
A local epsilon version of Reed's Conjecture
Published
• View Publication
• BIB
In 1998, Reed conjectured that every graph $G$ satisfies $χ(G) \leq \lceil \frac{1}{2}(Δ(G) + 1 + ω(G))\rceil$, where $χ(G)$ is the chromatic number of $G$, $Δ(G)$ is the maximum degree of $G$, and $ω(G)$ is the clique number of $G$. As evidence for his conjecture, he proved an "epsilon version" of it, i.e. that there exists some $\varepsilon > 0$ such that $χ(G) \leq (1 - \varepsilon)(Δ(G) + 1) + \varepsilonω(G)$. It is natural to ask if Reed's conjecture or an epsilon version of it is true for the list-chromatic number. In this paper we consider a "local version" of the list-coloring version of Reed's conjecture. Namely, we conjecture that if $G$ is a graph with list-assignment $L$ such that for each vertex $v$ of $G$, $|L(v)| \geq \lceil \frac{1}{2}(d(v) + 1 + ω(v))\rceil$, where $d(v)$ is the degree of $v$ and $ω(v)$ is the size of the largest clique containing $v$, then $G$ is $L$-colorable. Our main result is that an "epsilon version" of this conjecture is true, under some mild assumptions.
Using this result, we also prove a significantly improved lower bound on the density of $k$-critical graphs with clique number less than $k/2$, as follows. For every $α> 0$, if $\varepsilon \leq \frac{α^2}{1350}$, then if $G$ is an $L$-critical graph for some $k$-list-assignment $L$ such that $ω(G) < (\frac{1}{2} - α)k$ and $k$ is sufficiently large, then $G$ has average degree at least $(1 + \varepsilon)k$. This implies that for every $α> 0$, there exists $\varepsilon > 0$ such that if $G$ is a graph with $ω(G)\leq (\frac{1}{2} - α)\mathrm{mad}(G)$, where $\mathrm{mad}(G)$ is the maximum average degree of $G$, then $χ_\ell(G) \leq \left\lceil (1 - \varepsilon)(\mathrm{mad}(G) + 1) + \varepsilon ω(G)\right\rceil$.
Limitations of the Hyperplane Separation Technique for Bounding the Extension Complexity of Polytopes
Published
• View Publication
• BIB
We illustrate the limitations of the hyperplane separation bound, a non-combinatorial lower bound on the extension complexity of a polytope. Most notably, this bounding technique is used by Rothvoß (J ACM 64.6:41, 2017) to establish an exponential lower bound for the perfect matching polytope. We point out that the technique is sensitive to the particular choice of slack matrix. For the canonical slack matrices of the spanning tree polytope and the completion time polytope, we show that the lower bounds produced by the hyperplane separation method are trivial. These bounds may, however, be strengthened by normalizing rows and columns of the slack matrices.
Properly colored short cycles in edge-colored graphs
Published
• View Publication
• BIB
Properly colored cycles in edge-colored graphs are closely related to directed cycles in oriented graphs. As an analogy of the well-known Caccetta-Häggkvist Conjecture, we study the existence of properly colored cycles of bounded length in an edge-colored graph. We first prove that for all integers $s$ and $t$ with $t\geq s\geq2$, every edge-colored graph $G$ with no properly colored $K_{s,t}$ contains a spanning subgraph $H$ which admits an orientation $D$ such that every directed cycle in $D$ is a properly colored cycle in $G$. Using this result, we show that for $r\geq4$, if the Caccetta-Häggkvist Conjecture holds , then every edge-colored graph of order $n$ with minimum color degree at least $n/r+2\sqrt{n}+1$ contains a properly colored cycle of length at most $r$. In addition, we also obtain an asymptotically tight total color degree condition which ensures a properly colored (or rainbow) $K_{s,t}$.
Eulerian polynomials for subarrangements of Weyl arrangements
Published in Advances in Applied Mathematics, 120 (2020)
• View Publication
• BIB
Let $\mathcal{A}$ be a Weyl arrangement. We introduce and study the notion of $\mathcal{A}$-Eulerian polynomial producing an Eulerian-like polynomial for any subarrangement of $\mathcal{A}$. This polynomial together with shift operator describe how the characteristic quasi-polynomial of a new class of arrangements containing ideal subarrangements of $\mathcal{A}$ can be expressed in terms of the Ehrhart quasi-polynomial of the fundamental alcove. The method can also be extended to define two types of deformed Weyl subarrangements containing the families of the extended Shi, Catalan, Linial arrangements and to compute their characteristic quasi-polynomials. We obtain several known results in the literature as specializations, including the formula of the characteristic polynomial of $\mathcal{A}$ via Ehrhart theory due to Athanasiadis (1996), Blass-Sagan (1998), Suter (1998) and Kamiya-Takemura-Terao (2010); and the formula relating the number of coweight lattice points in the fundamental parallelepiped with the Lam-Postnikov Eulerian polynomial due to the third author.
Arithmetic on Balanced Parentheses: The case of Ordered Motzkin Words
We establish a total lexicographical order on the set of Motzkin words. Elements are ordered similarly to Natural Numbers in accordance with known rules (axioms). As a result, we were able to obtain arithmetic and logical operations on the elements of the ordered sequence, Motzkin Row. This sequence consists of balanced brackets without leading zeros, with the exception of the initial word "0". It is the word "0" as well as the alphabetical symbol "0" that are analogues of numeric zero in the corresponding operations. Logical operations allow you to navigate Motzkin Row. Operations on words are accompanied by index equations, index polynomials.
Sum-free sets generated by the period-k-folding sequences and some Sturmian sequences
Published
• View Publication
• BIB
First, we show that the sum-free set generated by the period-doubling sequence is not $κ$-regular for any $κ\geq 2$. Next, we introduce a generalization of the period-doubling sequence, which we call the period-$k$-folding sequences. We show that the sum-free sets generated by the period-$k$-folding sequences also fail to be $κ$-regular for all $κ\geq 2$. Finally, we study the sum-free sets generated by Sturmian sequences that begin with `11', and their difference sequences.
Connector-Breaker games on random boards
Published in Electronic Journal of Combinatorics 28(3) (2021), #P3.10
• View Publication
• BIB
By now, the Maker-Breaker connectivity game on a complete graph $K_n$ or on a random graph $G\sim G_{n,p}$ is well studied. Recently, London and Pluhár suggested a variant in which Maker always needs to choose her edges in such a way that her graph stays connected. By their results it follows that for this connected version of the game, the threshold bias on $K_n$ and the threshold probability on $G\sim G_{n,p}$ for winning the game drastically differ from the corresponding values for the usual Maker-Breaker version, assuming Maker's bias to be $1$. However, they observed that the threshold biases of both versions played on $K_n$ are still of the same order if instead Maker is allowed to claim two edges in every round. Naturally, this made London and Pluhár ask whether a similar phenomenon can be observed when a $(2:2)$ game is played on $G_{n,p}$. We prove that this is not the case, and determine the threshold probability for winning this game to be of size $n^{-2/3+o(1)}$.