Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Conflict-free connection number of random graphs
Published
• View Publication
• BIB
An edge-colored graph $G$ is conflict-free connected if any two of its vertices are connected by a path which contains a color used on exactly one of its edges. The conflict-free connection number of a connected graph $G$, denoted by $cfc(G)$, is the smallest number of colors needed in order to make $G$ conflict-free connected. In this paper, we show that almost all graphs have the conflict-free connection number 2. More precisely, let $G(n,p)$ denote the Erdős-Rényi random graph model, in which each of the $\binom{n}{2}$ pairs of vertices appears as an edge with probability $p$ independent from other pairs. We prove that for sufficiently large $n$, $cfc(G(n,p))\le 2$ if $p\ge\frac{\log n +α(n)}{n}$, where $α(n)\rightarrow \infty$. This means that as soon as $G(n,p)$ becomes connected with high probability, $cfc(G(n,p))\le 2$.
Hamiltonian Berge cycles in random hypergraphs
Published in Combinator. Probab. Comp. 30 (2021) 228-238
• View Publication
• BIB
In this note, we study the emergence of Hamiltonian Berge cycles in random $r$-uniform hypergraphs. For $r\geq 3$, we prove an optimal stopping-time result that if edges are sequently added to an initially empty $r$-graph, then as soon as the minimum degree is at least 2, the hypergraph almost surely has such a cycle. In particular, this determines the threshold probability for Berge Hamiltonicity of the Erdős--Rényi random $r$-graph, and we also show that the $2$-out random $r$-graph almost surely has such a cycle. We obtain similar results for \textit{weak Berge} cycles as well, thus resolving a conjecture of Poole.
Crystal Structures for Double Stanley Symmetric Functions
Published in Electronic J. of Combinatorics, Volume 27, Issue 3, Article P3.15, 2020
• View Publication
• BIB
We relate the combinatorial definitions of the type $A_n$ and type $C_n$ Stanley symmetric functions, via a combinatorially defined "double Stanley symmetric function," which gives the type $A$ case at $(\mathbf{x},\mathbf{0})$ and gives the type $C$ case at $(\mathbf{x},\mathbf{x})$. We induce a type $A$ bicrystal structure on the underlying combinatorial objects of this function which has previously been done in the type $A$ and type $C$ cases. Next we prove a few statements about the algebraic relationship of these three Stanley symmetric functions. We conclude with some conjectures about what happens when we generalize our constructions to type $C$.
New Lower Bounds for the Number of Pseudoline Arrangements
Published
• View Publication
• BIB
Arrangements of lines and pseudolines are fundamental objects in discrete and computational geometry. They also appear in other areas of computer science, such as the study of sorting networks. Let $B_n$ be the number of nonisomorphic arrangements of $n$ pseudolines and let $b_n=\log_2{B_n}$. The problem of estimating $B_n$ was posed by Knuth in 1992. Knuth conjectured that $b_n \leq {n \choose 2} + o(n^2)$ and also derived the first upper and lower bounds: $b_n \leq 0.7924 (n^2 +n)$ and $b_n \geq n^2/6 -O(n)$. The upper bound underwent several improvements, $b_n \leq 0.6988\, n^2$ (Felsner, 1997), and $b_n \leq 0.6571\, n^2$ (Felsner and Valtr, 2011), for large $n$. Here we show that $b_n \geq cn^2 -O(n \log{n})$ for some constant $c>0.2083$. In particular, $b_n \geq 0.2083\, n^2$ for large $n$. This improves the previous best lower bound, $b_n \geq 0.1887\, n^2$, due to Felsner and Valtr (2011). Our arguments are elementary and geometric in nature. Further, our constructions are likely to spur new developments and improved lower bounds for related problems, such as in topological graph drawings.
Alon-Tarsi number of signed planar graphs
Published
• View Publication
• BIB
Let $(G,σ)$ be any signed planar graph. We show that the Alon-Tarsi number of $(G,σ)$ is at most 5, generalizing a recent result of Zhu for unsigned case. In addition, if $(G,σ)$ is $2$-colorable then $(G,σ)$ has the Alon-Tarsi number at most 4. We also construct a signed planar graph which is $2$-colorable but not $3$-choosable.
On higher level Kirillov--Reshetikhin crystals, Demazure crystals, and related uniform models
Published in J. Algebra 539:285-304, 2019
• View Publication
• BIB
We show that a tensor product of nonexceptional type Kirillov--Reshetikhin (KR) crystals is isomorphic to a direct sum of Demazure crystals; we do this in the mixed level case and without the perfectness assumption, thus generalizing a result of Naoi. We use this result to show that, given two tensor products of such KR crystals with the same maximal weight, after removing certain $0$-arrows, the two connected components containing the minimal/maximal elements are isomorphic. Based on the latter fact, we reduce a tensor product of higher level perfect KR crystals to one of single-column KR crystals, which allows us to use the uniform models available in the literature in the latter case. We also use our results to give a combinatorial interpretation of the Q-system relations. Our results are conjectured to extend to the exceptional types.
Factorisation of Greedoid Polynomials of Rooted Digraphs
Published
• View Publication
• BIB
Gordon and McMahon defined a two-variable greedoid polynomial $ f(G;t,z) $ for any greedoid $ G $. They studied greedoid polynomials for greedoids associated with rooted graphs and rooted digraphs. They proved that greedoid polynomials of rooted digraphs have the multiplicative direct sum property. In addition, these polynomials are divisible by $ 1 + z $ under certain conditions. We compute the greedoid polynomials for all rooted digraphs up to order six. A greedoid polynomial $ f(D) $ of a rooted digraph $ D $ of order $ n $ GM-factorises if $ f(D) = f(G) \cdot f(H) $ such that $ G $ and $ H $ are rooted digraphs of order at most $ n $ and $ f(G),f(H) \ne 1 $. We study the GM-factorability of greedoid polynomials of rooted digraphs, particularly those that are not divisible by $ 1 + z $. We give some examples and an infinite family of rooted digraphs that are not direct sums but their greedoid polynomials GM-factorise.
Laplacian Simplices II: A Coding Theoretic Approach
This paper further investigates \emph{Laplacian simplices}. A construction by Braun and the first author associates to a simple connected graph $G$ a simplex $\cP_G$ whose vertices are the rows of the Laplacian matrix of $G$. In this paper we associate to a reflexive $\cP_G$ a duality-preserving linear code $\cC(\cP_G)$. This new perspective allows us to build upon previous results relating graphical properties of $G$ to properties of the polytope $\cP_G$. In particular, we make progress towards a graphical characterization of reflexive $\cP_G$ using techniques from Ehrhart theory. We provide a systematic investigation of $\cC(\cP_G)$ for cycles, complete graphs, and graphs with a prime number of vertices. We construct an asymptotically good family of MDS codes. In addition, we show that any rational rate is achievable by such construction.
Cyclotomy, difference sets, sequences with low correlation, strongly regular graphs, and related geometric substructures
Published
• View Publication
• BIB
In this paper, we survey constructions of and nonexistence results on combinatorial/geometric structures which arise from unions of cyclotomic classes of finite fields. In particular, we survey both classical and recent results on difference sets related to cyclotomy, and cyclotomic constructions of sequences with low correlation. We also give an extensive survey of recent results on constructions of strongly regular Cayley graphs and related geometric substructures such as $m$-ovoids and $i$-tight sets in classical polar spaces.
Comparing the power of cops to zombies in pursuit-evasion games
Published
• View Publication
• BIB
We compare two kinds of pursuit-evasion games played on graphs. In Cops and Robbers, the cops can move strategically to adjacent vertices as they please, while in a new variant, called deterministic Zombies and Survivors, the zombies (the counterpart of the cops) are required to always move towards the survivor (the counterpart of the robber). The cop number of a graph is the minimum number of cops required to catch the robber on that graph; the zombie number of a graph is the minimum number of zombies required to catch the survivor on that graph. We answer two questions from the 2016 paper of Fitzpatrick, Howell, Messinger, and Pike. We show that for any $m \ge k \ge 1$, there is a graph with zombie number $m$ and cop number $k$. We also show that the zombie number of the $n$-dimensional hypercube is $\lceil 2n/3\rceil$.
A note on the edge partition of graphs containing either a light edge or an alternating 2-cycle
Let $\mathcal{G}_α$ be a hereditary graph class (i.e, every subgraph of $G_α\in \mathcal{G}_α$ belongs to $\mathcal{G}_α$) such that every graph $G_α$ in $\mathcal{G}_α$ has minimum degree at most 1, or contains either an edge $uv$ such that $d_{G_α}(u)+d_{G_α}(v)\leq α$ or a 2-alternating cycle. It is proved that every graph in $\mathcal{G}_α$ ($α\geq 5$) with maximum degree $Δ$ can be edge-partitioned into two forests $F_1$, $F_2$ and a subgraph $H$ such that $Δ(F_i)\leq \max\{2,\lceil\frac{Δ-α+6}{2}\rceil\}$ for $i=1,2$ and $Δ(H)\leq α-5$.
The Birkhoff Diamond as Double Agent
Despite the existence of a proof of the 4-color theorem, it would seem that there is still more to learn about why any planar graph is 4-colorable. To that end, we take another look at the Birkhoff diamond and discover something new and intriguing: after an extensive search for (rare) Kempe-locked triangulations, we find a Birkhoff diamond subgraph in each one. We offer a heuristic argument as to why that result is not only reasonable but also to be expected and posit that the presence of a Birkhoff diamond is necessary to Kempe-locking. If that conjecture is true, it means that the Birkhoff diamond plays a double role in the matter of 4-colorability, simultaneously working for opposite sides of whether a given planar graph could possibly be a minimum counterexample.
A conjecture on permutation trinomials over finite fields of characteristic two
Published
• View Publication
• BIB
In this paper, by analyzing the quadratic factors of an $11$-th degree polynomial over the finite field $\ftwon$, a conjecture on permutation trinomials over $\ftwon[x]$ proposed very recently by Deng and Zheng is settled, where $n=2m$ and $m$ is a positive integer with $\gcd(m,5)=1$.
The entropy function of an invariant measure
Published in Proceedings of the 14th and 15th Asian Logic Conferences, World Scientific (2019), pp. 3-34
• View Publication
• BIB
Given a countable relational language $L$, we consider probability measures on the space of $L$-structures with underlying set $\mathbb{N}$ that are invariant under the logic action. We study the growth rate of the entropy function of such a measure, defined to be the function sending $n \in \mathbb{N}$ to the entropy of the measure induced by restrictions to $L$-structures on $\{0, \ldots, n-1\}$. When $L$ has finitely many relation symbols, all of arity $k\ge 1$, and the measure has a property called non-redundance, we show that the entropy function is of the form $Cn^k+o(n^k)$, generalizing a result of Aldous and Janson. When $k\ge 2$, we show that there are invariant measures whose entropy functions grow arbitrarily fast in $o(n^k)$, extending a result of Hatami-Norine. For possibly infinite languages $L$, we give an explicit upper bound on the entropy functions of non-redundant invariant measures in terms of the number of relation symbols in $L$ of each arity; this implies that finite-valued entropy functions can grow arbitrarily fast.
Splittings and symbolic powers of square-free monomial Ideals
We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with respect to a morphism which resembles the Frobenius map and that exists in all characteristics. Using these methods, we recover a result by Hoa and Trung which states that the normalized $a$-invariants and the Castelnuovo-Mumford regularity of the symbolic powers converge. In addition, we give a sufficient condition for the equality of the ordinary and symbolic powers of this family of ideals, and relate it to Conforti-Cornuéjols conjecture. Finally, we interpret this condition in the context of linear optimization.
New methods for calculating the degree distance and the Gutman index
Published in MATCH Commun. Math. Comput. Chem. 82 (2019) 111-132
• Search Publication
In the paper we develop new methods for calculating the two well-known topological indices, the degree-distance and the Gutman index. Firstly, we prove that the Wiener index of a double vertex-weighted graph can be computed from the Wiener indices of weighted quotient graphs with respect to a partition of the edge set that is coarser than $Θ^*$-partition. This result immediately gives a method for computing the degree-distance of any graph. Next, we express the degree-distance and the Gutman index of an arbitrary phenylene by using its hexagonal squeeze and inner dual. In addition, it is shown how these two indices of a phenylene can be obtained from the four quotient trees. Furthermore, reduction theorems for the Wiener index of a double vertex-weighted graph are presented. Finally, a formula for computing the Gutman index of a partial Hamming graph is obtained.
Hook, line and sinker: a bijective proof of the skew shifted hook-length formula
Published
• View Publication
• BIB
A few years ago, Naruse presented a beautiful cancellation-free hook-length formula for skew shapes, both straight and shifted. The formula involves a sum over objects called \emph{excited diagrams}, and the term corresponding to each excited diagram has hook lengths in the denominator, like the classical hook-length formula due to Frame, Robinson and Thrall. Recently, the formula for skew straight shapes was proved via a simple bumping algorithm. The aim of this paper is to extend this result to skew shifted shapes. Since straight skew shapes are special cases of skew shifted shapes, this is a bijection that proves the whole family of hook-length formulas, and is also the simplest known bijective proof for shifted (non-skew) shapes. A weighted generalization of Naruse's formula is also presented.
Latin Cubes with Forbidden Entries
Published
• View Publication
• BIB
We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2^k$ and $A$ is $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there is a Latin cube $L$ of order $n$ such that for every $1\leq i,j,k\leq n$, the symbol in position $(i,j,k)$ of $L$ does not appear in the corresponding cell of $A$.
Studying the inertias of LCM matrices and revisiting the Bourque-Ligh conjecture
Published in Journal of Combinatorial Theory, Series A 171 (2020)
• View Publication
• BIB
Let $S=\{x_1,x_2,\ldots,x_n\}$ be a finite set of distinct positive integers. Throughout this article we assume that the set $S$ is GCD closed. The LCM matrix $[S]$ of the set $S$ is defined to be the $n\times n$ matrix with $\mathrm{lcm}(x_i,x_j)$ as its $ij$ element. The famous Bourque-Ligh conjecture used to state that the LCM matrix of a GCD closed set $S$ is always invertible, but currently it is a well-known fact that any nontrivial LCM matrix is indefinite and under the right circumstances it can be even singular (even if the set $S$ is assumed to be GCD closed). However, not much more is known about the inertia of LCM matrices in general. The ultimate goal of this article is to improve this situation. Assuming that $S$ is a meet closed set we define an entirely new lattice-theoretic concept by saying that an element $x_i\in S$ generates a double-chain set in $S$ if the set $\mathrm{meetcl}(C_S(x_i))\setminus C_S(x_i)$ can be expressed as a union of two disjoint chains (here the set $C_S(x_i)$ consists of all the elements of the set $S$ that are covered by $x_i$ and $\mathrm{meetcl}(C_S(x_i))$ is the smallest meet closed subset of $S$ that contains the set $C_S(x_i)$). We then proceed by studying the values of the Möbius function on sets in which every element generates a double-chain set and use the properties of the Möbius function to explain why the Bourque-Ligh conjecture holds in so many cases and fails in certain very specific instances. After that we turn our attention to the inertia and see that in some cases it is possible to determine the inertia of an LCM matrix simply by looking at the lattice-theoretic structure of $(S,|)$ alone. Finally, we are going to show how to construct LCM matrices in which the majority of the eigenvalues is either negative or positive.
Arithmetic Progressions with Restricted Digits
Published
• View Publication
• BIB
For an integer $b \geqslant 2$ and a set $S\subset \{0,\cdots,b-1\}$, we define the Kempner set $\mathcal{K}(S,b)$ to be the set of all non-negative integers whose base-$b$ digital expansions contain only digits from $S$. These well-studied sparse sets provide a rich setting for additive number theory, and in this paper we study various questions relating to the appearance of arithmetic progressions in these sets. In particular, for all $b$ we determine exactly the maximal length of an arithmetic progression that omits a base-$b$ digit.