Showing 20 papers (Total: 84360 papers, 48587 authors in database)
1-Shell totally symmetric plane partitions (TSPPs) modulo powers of 5
Published
• View Publication
• BIB
Let $s(n)$ be the number of 1-shell totally symmetric plane partitions (TSPPs) of $n$. In this paper, an infinite family of congruences modulo powers of $5$ for $s(n)$ will be deduced through an elementary approach. Namely, $$s\left(2\cdot 5^{2α-1}n+5^{2α-1}\right)\equiv 0 \pmod{5^α}.$$
The Hopf monoid of Megagreedoids
We introduce megagreedoids, which generalize polymatroids, megamatroids, and greedoids. We define a quasisymmetric function invariant for a megagreedoid, and show that it has a positive expansion in the basis of fundamental quasisymmetric functions. Our proof involves lexicographic shellability. We also show that megagreedoids form a Hopf monoid. A running example is a megagreedoid associated to a rooted connected graph, and the resulting generalization of the chromatic symmetric function.
Kazhdan-Lusztig polynomials of fan matroids, wheel matroids and whirl matroids
Published
• View Publication
• BIB
The Kazhdan-Lusztig polynomial of a matroid was introduced by Elias, Proudfoot and Wakefield, whose properties need to be further explored. In this paper we prove that the Kazhdan-Lusztig polynomials of fan matroids coincide with Motzkin polynomials, which was recently conjectured by Gedeon. As a byproduct, we determine the Kazhdan-Lusztig polynomials of graphic matroids of squares of paths. We further obtain explicit formulas of the Kazhdan-Lusztig polynomials of wheel matroids and whirl matroids. We prove the real-rootedness of the Kazhdan-Lusztig polynomials of these matroids, which provides positive evidence for a conjecture due to Gedeon, Proudfoot and Young. Based on the results on the Kazhdan-Lusztig polynomials, we also determine the $Z$-polynomials of fan matroids, wheel matroids and whirl matroids, and prove their real-rootedness, which provides further evidence in support of a conjecture of Proudfoot, Xu, and Young.
Encoding and avoiding 2-connected patterns in polygon dissections and outerplanar graphs
Published
• View Publication
• BIB
Let $Δ=\{ δ_1,δ_2,...,δ_m \} $ be a finite set of 2-connected patterns, i.e. graphs up to vertex relabelling. We study the generating function $D_{Δ}(z,u_1,u_2,...,u_m),$ which counts polygon dissections and marks subgraph copies of $δ_i$ with the variable $u_i$. We prove that this is always algebraic, through an explicit combinatorial decomposition depending on $Δ$. The decomposition also gives a defining system for $D_{Δ}(z,\mathbf{0})$, which encodes polygon dissections that restrict these patterns as subgraphs. In this way, we are able to extract normal limit laws for the patterns when they are encoded, and perform asymptotic enumeration of the resulting classes when they are avoided. The results can be directly transferred in the case of labelled outerplanar graphs. We give examples and compute the relevant constants when the patterns are small cycles or dissections.
Separation choosability and dense bipartite induced subgraphs
Published in Combinator. Probab. Comp. 28 (2019) 720-732
• View Publication
• BIB
We study a restricted form of list colouring, for which every pair of lists that correspond to adjacent vertices may not share more than one colour. The optimal list size such that a proper list colouring is always possible given this restriction, we call separation choosability. We show for bipartite graphs that separation choosability increases with (the logarithm of) the minimum degree. This strengthens results of Molloy and Thron and, partially, of Alon. One attempt to drop the bipartiteness assumption precipitates a natural class of Ramsey-type questions, of independent interest. For example, does every triangle-free graph of minimum degree $d$ contain a bipartite induced subgraph of minimum degree $Ω(\log d)$ as $d\to\infty$?
Partial immunization of trees
Published
• View Publication
• BIB
For a graph $G$ and an integer-valued function $τ$ on its vertex set, a dynamic monopoly is a set of vertices of $G$ such that iteratively adding to it vertices $u$ of $G$ that have at least $τ(u)$ neighbors in it eventually yields the vertex set of $G$. We study the problem of maximizing the minimum order of a dynamic monopoly by increasing the threshold values of individual vertices subject to vertex-dependent lower and upper bounds, and fixing the total increase. We solve this problem efficiently for trees, which extends a result of Khoshkhah and Zaker (On the largest dynamic monopolies of graphs with a given average threshold, Canadian Mathematical Bulletin 58 (2015) 306-316).
Inducibility of d-ary trees
Imitating a recently introduced invariant of trees, we initiate the study of the inducibility of $d$-ary trees (rooted trees whose vertex outdegrees are bounded from above by $d\geq 2$) with a given number of leaves. We determine the exact inducibility for stars and binary caterpillars. For $T$ in the family of strictly $d$-ary trees (every vertex has $0$ or $d$ children), we prove that the difference between the maximum density of a $d$-ary tree $D$ in $T$ and the inducibility of $D$ is of order $\mathcal{O}(|T|^{-1/2})$ compared to the general case where it is shown that the difference is $\mathcal{O}(|T|^{-1})$ which, in particular, responds positively to an existing conjecture on the inducibility in binary trees. We also discover that the inducibility of a binary tree in $d$-ary trees is independent of $d$. Furthermore, we establish a general lower bound on the inducibility and also provide a bound for some special trees. Moreover, we find that the maximum inducibility is attained for binary caterpillars for every $d$.
Equivalence of edge bicolored graphs on surfaces
Published
• View Publication
• BIB
Consider the collection of edge bicolorings of a graph that is cellularly embedded on an orientable surface. In this work, we count the number of equivalence classes of such colorings under two relations: reversing colors around a face and reversing colors around a vertex. In the case of the plane, this is well studied, but for other surfaces, the computation is more subtle. While this question can be stated purely graph theoretically, it has interesting applications in knot theory.
A bijection between necklaces and multisets with divisible subset sum
Published in Electronic Journal of Combinatorics 26(1)(2019), #P1.37
• View Publication
• BIB
Consider these two distinct combinatorial objects: (1) the necklaces of length $n$ with at most $q$ colors, and (2) the multisets of integers modulo $n$ with subset sum divisible by $n$ and with the multiplicity of each element being strictly less than $q$. We show that these two objects have the same cardinality when $q$ and $n$ are mutually coprime. Additionally, when $q$ is a prime power, we construct a bijection between these two objects by viewing necklaces as cyclic polynomials over the finite field of size $q$. Specializing to $q=2$ answers a bijective problem posed by Richard Stanley.
A family of ovoids in PG(3, 2^m) from cyclic codes
Ovoids in $\PG(3, q)$ have been an interesting topic in coding theory, combinatorics, and finite geometry for a long time. So far only two families are known. The first is the elliptic quadratics and the second is the Tits ovoids. In this article, we present a family of ovoids in $\PG(3, 2^m)$ for all $m$ which are from a family of irreducible cyclic codes.
On domination perfect graphs
Let $γ(G)$ and $β(G)$ denote the domination number and the covering number of a graph $G$, respectively. A connected non-trivial graph $G$ is said to be $γβ$-{perfect} if $γ(H)=β(H)$ for every non-trivial induced connected subgraph $H$ of $G$. In this note we present an elementary proof of a characterization of the $γβ$-perfect graphs.
C-image partition regularity near zero
In \cite{dehind1}, the concept of image partition regularity near zero was first instigated. In contrast to the finite case , infinite image partition regular matrices near zero are very fascinating to analyze. In this regard the abstraction of Centrally image partition regular matrices near zero was introduced in \cite{biswaspaul}. In this paper we propose the notion of matrices that are C-image partition regular near zero for dense subsemigropus of $((0,\infty),+)$.
On the weighted safe set problem on paths and cycles
Published
• View Publication
• BIB
Let $G$ be a graph, and let $w: V(G) \to \mathbb{R}$ be a weight function on the vertices of $G$. For every subset $X$ of $V(G)$, let $w(X)=\sum_{v \in X} w(v).$ A non-empty subset $S \subset V(G)$ is a weighted safe set of $(G,w)$ if, for every component $C$ of the subgraph induced by $S$ and every component $D$ of $G-S$, we have $w(C) \geq w(D)$ whenever there is an edge between $C$ and $D$. If the subgraph of $G$ induced by a weighted safe set $S$ is connected, then the set $S$ is called a connected weighted safe set of $(G,w)$. The weighted safe number $s(G,w)$ and connected weighted safe number $cs(G,w)$ of $(G,w)$ are the minimum weights $w(S)$ among all weighted safe sets and all connected weighted safe sets of $(G,w)$, respectively. It is easy to see that for any pair $(G,w)$, ${s}(G,w) \le {cs}(G,w)$ by their definitions. In this paper, we discuss the possible equality when $G$ is a path or a cycle. We also give an answer to a problem due to Tittmann et al. [Eur. J. Combin. Vol. 32 (2011)] concerning subgraph component polynomials for cycles and complete graphs.
On the additive complexity of a Thue-Morse like sequence
Published
• View Publication
• BIB
In this paper, we study the additive complexity $ρ^{+}_{\mathbf{t}}(n)$ of a Thue-Morse like sequence $\mathbf{t}=σ^{\infty}(0)$ with the morphism $σ: 0\to 01, 1\to 12, 2\to 20$. We show that $ρ^{+}_{\mathbf{t}}(n)=2\lfloor\log_2(n)\rfloor+3$ for all integers $n\geq 1$. Consequently, $(ρ_{\mathbf{t}}(n))_{n\geq 1}$ is a $2$-regular sequence.
Effect of predomination and vertex removal on the game total domination number of a graph
The game total domination number, ${γ_{g}^{t}}$, was introduced by Henning et al.\ in 2015. In this paper we study the effect of vertex predomination on the game total domination number. We prove that ${γ_{g}^{t}}(G|v) \geq {γ_{g}^{t}}(G) - 2$ holds for all vertices $v$ of a graph $G$ and present infinite families attaining the equality. To achieve this, some new variations of the total domination game are introduced. The effect of vertex removal is also studied. We show that ${γ_{g}^{t}}(G) \leq {γ_{g}^{t}}(G-v) + 4$ and ${γ_{g}^{t}}'(G) \leq {γ_{g}^{t}}'(G-v) + 4$.
Turán, involution and shifting
Published
• View Publication
• BIB
We propose a strengthening of the conclusion in Turán's (3,4)-conjecture in terms of algebraic shifting, and show that its analogue for graphs does hold. In another direction, we generalize the Mantel-Turán theorem by weakening its assumption: for any graph G on n vertices and any involution on its vertex set, if for any 3-set S of the vertices, the number of edges in G spanned by S, plus the number of edges in G spanned by the image of S under the involution, is at least 2, then the number of edges in G is at least the Mantel-Turán bound, namely the number achieved by two disjoint cliques of sizes n/2 rounded up and down.
Approximating Sparse Graphs: The Random Overlapping Communities Model
Published
• View Publication
• BIB
How can we approximate sparse graphs and sequences of sparse graphs (with unbounded average degree)? We consider convergence in the first $k$ moments of the graph spectrum (equivalent to the numbers of closed $k$-walks) appropriately normalized. We introduce a simple, easy to sample, random graph model that captures the limiting spectra of many sequences of interest, including the sequence of hypercube graphs. The Random Overlapping Communities (ROC) model is specified by a distribution on pairs $(s,q)$, $s \in \mathbb{Z}_+, q \in (0,1]$. A graph on $n$ vertices with average degree $d$ is generated by repeatedly picking pairs $(s,q)$ from the distribution, adding an Erdős-Rényi random graph of edge density $q$ on a subset of vertices chosen by including each vertex with probability $s/n$, and repeating this process so that the expected degree is $d$. Our proof of convergence to a ROC random graph is based on the Stieltjes moment condition. We also show that the model is an effective approximation for individual graphs. For almost all possible triangle-to-edge and four-cycle-to-edge ratios, there exists a pair $(s,q)$ such that the ROC model with this single community type produces graphs with both desired ratios, a property that cannot be achieved by stochastic block models of bounded description size. Moreover, ROC graphs exhibit an inverse relationship between degree and clustering coefficient, a characteristic of many real-world networks.
Generalized Fitch Graphs: Edge-labeled Graphs that are explained by Edge-labeled Trees
Published
• View Publication
• BIB
Fitch graphs $G=(X,E)$ are di-graphs that are explained by $\{\otimes,1\}$-edge-labeled rooted trees with leaf set $X$: there is an arc $xy\in E$ if and only if the unique path in $T$ that connects the least common ancestor $\textrm{lca}(x,y)$ of $x$ and $y$ with $y$ contains at least one edge with label $1$. In practice, Fitch graphs represent xenology relations, i.e., pairs of genes $x$ and $y$ for which a horizontal gene transfer happened along the path from $\textrm{lca}(x,y)$ to $y$. In this contribution, we generalize the concept of xenology and Fitch graphs and consider complete di-graphs $K_{|X|}$ with vertex set $X$ and a map $ε$ that assigns to each arc $xy$ a unique label $ε(x,y)\in M\cup \{\otimes\}$, where $M$ denotes an arbitrary set of symbols. A di-graph $(K_{|X|},ε)$ is a generalized Fitch graph if there is an $M\cup \{\otimes\}$-edge-labeled tree $(T,λ)$ that can explain $(K_{|X|},ε)$. We provide a simple characterization of generalized Fitch graphs $(K_{|X|},ε)$ and give an $O(|X|^2)$-time algorithm for their recognition as well as for the reconstruction of the unique least resolved phylogenetic tree that explains $(K_{|X|},ε)$.
Sparse Random Matrices have Simple Spectrum
Published
• View Publication
• BIB
Let $M_n$ be a class of symmetric sparse random matrices, with independent entries $M_{ij} = δ_{ij} ξ_{ij}$ for $i \leq j$. $δ_{ij}$ are i.i.d. Bernoulli random variables taking the value $1$ with probability $p \geq n^{-1+δ}$ for any constant $δ> 0$ and $ξ_{ij}$ are i.i.d. centered, subgaussian random variables. We show that with high probability this class of random matrices has simple spectrum (i.e. the eigenvalues appear with multiplicity one). We can slightly modify our proof to show that the adjacency matrix of a sparse Erdős-Rényi graph has simple spectrum for $n^{-1+δ} \leq p \leq 1- n^{-1+δ}$. These results are optimal in the exponent. The result for graphs has connections to the notorious graph isomorphism problem.
A Note on Intervals in the Hales-Jewett Theorem
Published
• View Publication
• BIB
The Hales-Jewett theorem for alphabet of size 3 states that whenever the Hales-Jewett cube [3]^n is r-coloured there is a monochromatic line (for n large). Conlon and Kamcev conjectured that, for any n, there is a 2-colouring of [3]^n for which there is no monochromatic line whose active coordinate set is an interval. In this note we disprove this conjecture.