Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Plethysms of Chromatic and Tutte Symmetric Functions
Published in Electronic Journal of Combinatorics (2022), P3.28
• View Publication
• BIB
Plethysm is a fundamental operation in symmetric function theory, derived directly from its connection with representation theory. However, it does not admit a simple combinatorial interpretation, and finding coefficients of Schur function plethysms is a major open question.
In this paper, we introduce a graph-theoretic interpretation for any plethysm based on the chromatic symmetric function. We use this interpretation to give simple proofs of new and previously known plethystic identities, as well as chromatic symmetric function identities.
Cycles of even-odd drop permutations and continued fractions of Genocchi numbers
Published
• View Publication
• BIB
Recently, Lazar and Wachs (arXiv:1910.07651) showed that the (median) Genocchi numbers play a fundamental role in the study of the homogenized Linial arrangement and obtained two new permutation models (called D-permutations and E-permutations) for (median) Genocchi numbers. They further conjecture that the distributions of cycle numbers over the two models are equal. In a follow-up, Eu et al. (arXiv:2103.09130) further proved the gamma-positivity of the descent polynomials of even-odd descent permutations, which are in bijection with E-permutations by Foata's fundamental transformation. This paper merges the above two papers by considering a general moment sequence which encompasses the number of cycles and number of drops of E-permutations. Using the combinatorial theory of continued fraction, the moment connection enables us to confirm Lazar-Wachs' conjecture and obtain a natural $(p,q)$-analogue of Eu et al's descent polynomials. Furthermore, we show that the $γ$-coefficients of our $(p,q)$-analogue of descent polynomials have the same factorization flavor as the $γ$-coeffcients of Brändén's $(p,q)$-Eulerian polynomials.
Internal edge vectors on plabic networks in the disk and a generalization of Talaska formula
Following [42], positroid cells ${\mathcal S}_{\mathcal M}^{\mbox{TNN}}$ in totally non-negative Grassmannians ${Gr^{\mbox{TNN}} (k,n)}$ admit parametrizations by positive weights on planar bicolored directed perfect networks in the disk. An explicit formula for elements of matrices representing the points in ${\mathcal S}_{\mathcal M}^{\mbox{TNN}}$ was obtained in [49] in terms of flows on such networks. The formulas from [42,49] are defined on the boundary edge vectors. In this paper we propose an extension of these formulas for vectors on internal edges defined as summations over paths on the given directed network gauged by the choice of a ray direction. This gauge choice does not affect the boundary edge vectors, which generate the Postnikov boundary measurement map. The systems of internal edge vectors corresponding to different choices of gauge ray directions coincide up to sign, the sign rule admits a simple explicit description. We prove that the components of these edge vectors are rational in the weights with subtraction--free denominators. Moreover, these components are expressed in terms of internal edge flows; these formulas extend the original Talaska ones to the internal edges. These vectors also solve the system of geometric relations associated to the corresponding network. These relations are full rank and respect the total non--negativity property on the full positroid cell. We also provide explicit formulas both for the transformation rules of the edge vectors with respect to the orientation, and for their transformations due to moves and reductions of networks.
Mutations of reflections and existence of pseudo-acyclic orderings for type $A_n$
In a recent paper by K.-H. Lee, K. Lee and M. Mills, a mutation of reflections in the universal Coxeter group is defined in association with a mutation of a quiver. A matrix representation of these reflections is determined by a linear ordering on the set of vertices of the quiver. It was conjectured that there exists an ordering (called a pseudo-acyclic ordering in this paper) such that whenever two mutation sequences of a quiver lead to the same labeled seed, the representations of the associated reflections also coincide. In this paper, we prove this conjecture for every quiver mutation-equivalent to an orientation of a type $A_n$ Dynkin diagram by decomposing a mutation sequence into a product of elementary swaps and checking relations studied by Barot and Marsh.
Local girth choosability of planar graphs
Published in Advances in Combinatorics, 2022:8, 38pp
• View Publication
• BIB
In 1994, Thomassen famously proved that every planar graph is 5-choosable, resolving a conjecture initially posed by Vizing and, independently, Erd\H{os}, Rubin, and Taylor in the 1970s. Later, Thomassen proved that every planar graph of girth at least five is 3-choosable. In this paper, we introduce the concept of a \emph{local girth list assignment}: a list assignment wherein the list size of a vertex depends not on the girth of the graph, but rather on the length of the shortest cycle in which the vertex is contained. We give a local list colouring theorem unifying the two theorems of Thomassen mentioned above. In particular, we show that if $G$ is a planar graph and $L$ is a list assignment for $G$ such that $|L(v)| \geq 3$ for all $v \in V(G)$; $|L(v)| \geq 4$ for every vertex $v$ contained in a 4-cycle; and $|L(v)| \geq 5$ for every $v$ contained in a triangle, then $G$ admits an $L$-colouring.
Independent decisions collectively producing a long information dissemination path with a foreseen lower-bounded length in a network
Our research problems can be understood with the following metaphor: In Facebook or Twitter, suppose Mike decides to send a message to a friend Jack, and Jack next decides to pass the message to one of his own friends Mary, and the process continues until the current message holder could not find a friend who is not in the relaying path. How to make the message live longer in the network with each individual's local decision? Can Mike foresee the length of the longest paths starting with himself in the network by only collecting information of native nature? In contrast to similar network problems with respect to short paths, e.g., for explaining the famous Milgram's small world experiment, no nontrivial solutions have been proposed for the problems.
The two research problems are not completely the same and notably our approach yields solutions to both. We discover node-specific numeric values which can be computed by only communicating identity-free degree derivatives to network neighbors and for an arbitrary network node $v$ there exists a function determining a lower bound for the length of the longest paths starting with it based on its numeric values. Moreover, in the navigation process initiated at $v$, inspecting the numeric values of their neighbors, the involved nodes can independently make their decisions eventually guaranteeing a path of length longer than the determined lower bound at $v$. Numerical analyses demonstrate plausible performance of our approach of inferring certain global properties from local information in complex networks.
On the Existence of Word-representable Line Graphs of Non-word-representable Graphs
An open question in the theory of word-representable graphs for the past decade has been whether the line graph of a non-word-representable graph is always non-word-representable. By formulating an appropriate optimization problem for the decision problem of 3-semi-transitive graphs, we show that the line graph of a non-word-representable graph can be word-representable. Using IBM's CPLEX solver, we demonstrate for several known word-representable and non-word-representable graphs that the line graph of a graph is 3-semi-transitive when there is a solution to the optimization problem. This results in an example where the line graph of a non-word-representable graph is both 3-semi-transitive and semi-transitive and thus is word-representable.
Spectral extrema of $K_{s,t}$-minor free graphs--On a conjecture of M. Tait
Published
• View Publication
• BIB
Minors play an important role in extremal graph theory and spectral extremal graph theory. Tait [The Colin de Verdière parameter, excluded minors, and the spectral radius, J. Combin. Theory Ser. A 166 (2019) 42--58] determined the maximum spectral radius and characterized the unique extremal graph for $K_r$-minor free graphs of sufficiently large order $n$, he also made great progress on $K_{s,t}$-minor free graphs and posed a conjecture: Let $2\leq s\leq t$ and $n-s+1=pt+q$, where $n$ is sufficiently large and $1\leq q\leq t.$ Then $K_{s-1}\nabla (pK_t\cup K_q)$ is the unique extremal graph with the maximum spectral radius over all $n$-vertex $K_{s,t}$-minor free graphs. In this paper, Tait's conjecture is completely solved. We also determine the maximum spectral radius and its extremal graphs for $n$-vertex $K_{1,t}$-minor free graphs. To prove our results, some spectral and structural tools, such as, local edge maximality, local degree sequence majorization, double eigenvectors transformation, are used to deduce structural properties of extremal graphs.
On The Discrete Morse Functions for Hypergraphs
A hypergraph can be obtained from a simplicial complex by deleting some non-maximal simplices. In this paper, we study the embedded homology as well as the homology of the (lower-)associated simplicial complexes for hypergraphs. We generalize the discrete Morse functions on simplicial complexes. We study the discrete Morse functions on hypergraphs as well as the discrete Morse functions on the (lower-)associated simplicial complexes of the hypergraphs.
Vertex-weighted Digraphs and Freeness of Arrangements Between Shi and Ish
Published
• View Publication
• BIB
We introduce and study a digraph analogue of Stanley's $ψ$-graphical arrangements from the perspectives of combinatorics and freeness. Our arrangements form a common generalization of various classes of arrangements in literature including the Catalan arrangement, the Shi arrangement, the Ish arrangement, and especially the arrangements interpolating between Shi and Ish recently introduced by Duarte and Guedes de Oliveira. The arrangements between Shi and Ish all are proved to have the same characteristic polynomial with all integer roots, thus raising the natural question of their freeness. We define two operations on digraphs, which we shall call king and coking elimination operations and prove that subject to certain conditions on the weight $ψ$, the operations preserve the characteristic polynomials and freeness of the associated arrangements. As an application, we affirmatively prove that the arrangements between Shi and Ish all are free, and among them only the Ish arrangement has supersolvable cone.
Rainbow independent sets in graphs with maximum degree two
Published
• View Publication
• BIB
Given a graph $G$, let $f_{G}(n,m)$ be the minimal number $k$ such that every $k$ independent $n$-sets in $G$ have a rainbow $m$-set. Let $\mathcal{D}(2)$ be the family of all graphs with maximum degree at most two. Aharoni et al. (2019) conjectured that (i) $f_G(n,n-1)=n-1$ for all graphs $G\in\mathcal{D}(2)$ and (ii) $f_{C_t}(n,n)=n$ for $t\ge 2n+1$. Lv and Lu (2020) showed that the conjecture (ii) holds when $t=2n+1$. In this article, we show that the conjecture (ii) holds for $t\ge\frac{1}{3}n^2+\frac{44}{9}n$. Let $C_t$ be a cycle of length $t$ with vertices being arranged in a clockwise order. An ordered set $I=(a_1,a_2,\ldots,a_n)$ on $C_t$ is called a $2$-jump independent $n$-set of $C_t$ if $a_{i+1}-a_i=2\pmod{t}$ for any $1\le i\le n-1$. We also show that a collection of 2-jump independent $n$-sets $\mathcal{F}$ of $C_t$ with $|\mathcal{F}|=n$ admits a rainbow independent $n$-set, i.e. (ii) holds if we restrict $\mathcal{F}$ on the family of 2-jump independent $n$-sets. Moreover, we prove that if the conjecture (ii) holds, then (i) holds for all graphs $G\in\mathcal{D}(2)$ with $c_e(G)\le 4$, where $c_e(G)$ is the number of components of $G$ isomorphic to cycles of even lengths.
A Determinantal Identity for the Permanent of a Rank 2 Matrix
Published
• View Publication
• BIB
We prove an identity relating the permanent of a rank $2$ matrix and the determinants of its Hadamard powers. When viewed in the right way, the resulting formula looks strikingly similar to an identity of Carlitz and Levine, suggesting the possibility that these are actually special cases of some more general identity (or class of identities) connecting permanents and determinants. The proof combines some basic facts from the theory of symmetric functions with an application of a famous theorem of Binet and Cauchy in linear algebra.
Switching for 2-designs
In this paper we introduce a switching for 2-designs. We illustrate this method by applying it to some symmetric (64,28,12) designs. In that way we obtain six new symmetric (64,28,12) designs. Further, we show that this type of switching can be applied to any symmetric design related to a Bush-type Hadamard matrix.
Existence and polynomial time construction of biregular, bipartite Ramanujan graphs of all degrees
We prove that there exist bipartite, biregular Ramanujan graphs of every degree and every number of vertices provided that the cardinalities of the two sets of the bipartition divide each other. This generalizes a result of Marcus, Spielman, and Srivastava and, similar to theirs, the proof is based on the analysis of expected polynomials. The primary difference is the use of some new machinery involving rectangular convolutions, developed in a companion paper. We also prove the constructibility of such graphs in polynomial time in the number of vertices, extending a result of Cohen to this biregular case.
Geometric Embeddability of Complexes is $\exists \mathbb R$-complete
Published
• View Publication
• BIB
We show that the decision problem of determining whether a given (abstract simplicial) $k$-complex has a geometric embedding in $\mathbb R^d$ is complete for the Existential Theory of the Reals for all $d\geq 3$ and $k\in\{d-1,d\}$. This implies that the problem is polynomial time equivalent to determining whether a polynomial equation system has a real solution. Moreover, this implies NP-hardness and constitutes the first hardness results for the algorithmic problem of geometric embedding (abstract simplicial) complexes.
The bipartite Ramsey numbers $BR(C_8, C_{2n})$
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (February 16, 2024) dmtcs:11207
• View Publication
• BIB
For the given bipartite graphs $G_1,G_2,\ldots,G_t$, the multicolor bipartite Ramsey number $BR(G_1,G_2,\ldots,G_t)$ is the smallest positive integer $b$ such that any $t$-edge-coloring of $K_{b,b}$ contains a monochromatic subgraph isomorphic to $G_i$, colored with the $i$th color for some $1\leq i\leq t$. We compute the exact values of the bipartite Ramsey numbers $BR(C_8,C_{2n})$ for $n\geq2$.
Every $(13k-6)$-strong tournament with minimum out-degree at least $28k-13$ is $k$-linked
Published
• View Publication
• BIB
A digraph $D$ is $k$-linked if it satisfies that for every choice of disjoint sets $\{x_1,\ldots{},x_k\}$ and $\{y_1,\ldots{},y_k\}$ of vertices of $D$ there are vertex disjoint paths $P_1,\ldots{},P_k$ such that $P_i$ is an $(x_i,y_i)$-path. Confirming a conjecture by Kühn et al, Pokrovskiy proved in 2015 that every $452k$-strong tournament is $k$-linked and asked for a better linear bound. Very recently Meng et al proved that every $(40k-31)$-strong tournament is $k$-linked. In this note we use an important lemma from their paper to give a short proof that every $(13k-6)$-strong tournament of minimum out-degree at least $28k-13$ is $k$-linked.
Irregular Subgraphs
Published
• View Publication
• BIB
We suggest two related conjectures dealing with the existence of spanning irregular subgraphs of graphs. The first asserts that any $d$-regular graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree between $0$ and $d$ deviates from $\frac{n}{d+1}$ by at most $2$. The second is that every graph on $n$ vertices with minimum degree $δ$ contains a spanning subgraph in which the number of vertices of each degree does not exceed $\frac{n}{δ+1}+2$. Both conjectures remain open, but we prove several asymptotic relaxations for graphs with a large number of vertices $n$. In particular we show that if $d^3 \log n \leq o(n)$ then every $d$-regular graph with $n$ vertices contains a spanning subgraph in which the number of vertices of each degree between $0$ and $d$ is $(1+o(1))\frac{n}{d+1}$. We also prove that any graph with $n$ vertices and minimum degree $δ$ contains a spanning subgraph in which no degree is repeated more than $(1+o(1))\frac{n}{δ+1}+2$ times.
Multipath cohomology of directed graphs
Published in Algebr. Geom. Topol. 24 (2024) 4373-4421
• View Publication
• BIB
This work is part of a series of papers focusing on multipath cohomology of directed graphs. Multipath cohomology is defined as the (poset) homology of the path poset -- i.e., the poset of disjoint simple paths in a graph -- with respect to a certain functor. This construction is essentially equivalent, albeit more computable, to taking the higher limits of said functor on (a certain modification of) the path poset. We investigate the functorial properties of multipath cohomology. We provide a number of sample computations, show that the multipath cohomology does not vanish on trees, and that, when evaluated at the coherently oriented polygon, it recovers Hochschild homology. Finally, we use the same techniques employed to study the functoriality to investigate the connection with the chromatic homology of (undirected) graphs introduced by L. Helme-Guizon and Y. Rong.
The fractional $k$-truncated metric dimension of graphs
Published
• View Publication
• BIB
The metric dimension, $\dim(G)$, and the fractional metric dimension, $\dim_f(G)$, of a graph $G$ have been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. Let $k$ be a positive integer. For any $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) \neq d_k(y,z)\}$. A set $S \subseteq V(G)$ is a \emph{$k$-truncated resolving set} of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any distinct $x,y\in V(G)$, and the \emph{$k$-truncated metric dimension} $\dim_k(G)$ of $G$ is the minimum cardinality over all $k$-truncated resolving sets of $G$. For a function $g$ defined on $V(G)$ and for $U \subseteq V(G)$, let $g(U)=\sum_{s\in U}g(s)$. A real-valued function $g:V(G) \rightarrow[0,1]$ is a \emph{$k$-truncated resolving function} of $G$ if $g(R_k\{x,y\}) \ge 1$ for any distinct $x, y\in V(G)$, and the \emph{fractional $k$-truncated metric dimension} $\dim_{k,f}(G)$ of $G$ is $\min\{g(V(G)): g \mbox{ is a $k$-truncated resolving function of }G\}$. Note that $\dim_{k,f}(G)$ reduces to $\dim_k(G)$ if the codomain of $k$-truncated resolving functions is restricted to $\{0,1\}$, and $\dim_{k,f}(G)=\dim_f(G)$ if $k$ is at least the diameter of $G$. In this paper, we study the fractional $k$-truncated metric dimension of graphs. For any connected graph $G$ of order $n\ge2$, we show that $1 \le \dim_{k,f}(G) \le \frac{n}{2}$; we characterize $G$ satisfying $\dim_{k,f}(G)$ equals $1$ and $\frac{n}{2}$, respectively. We examine $\dim_{k,f}(G)$ of some graph classes. We also show the existence of non-isomorphic graphs $G$ and $H$ such that $\dim_k(G)=\dim_k(H)$ and $\dim_{k,f}(G)\neq \dim_{k,f}(H)$, and we examine the relation among $\dim(G)$, $\dim_f(G)$, $\dim_k(G)$ and $\dim_{k,f}(G)$. We conclude the paper with some open problems.