Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Complexity of Restricted Star Colouring
Published
• View Publication
• BIB
Restricted star colouring is a variant of star colouring introduced to design heuristic algorithms to estimate sparse Hessian matrices. For $k\in\mathbb{N}$, a $k$-restricted star colouring ($k$-rs colouring) of a graph $G$ is a function $f:V(G)\to{0,1,\dots,k-1}$ such that (i)$f(x)\neq f(y)$ for every edge $xy$ of G, and (ii) there is no bicoloured 3-vertex path ($P_3$) in $G$ with the higher colour on its middle vertex. We show that for $k\geq 3$, it is NP-complete to test whether a given planar bipartite graph of maximum degree $k$ and arbitrarily large girth admits a $k$-rs colouring, and thereby answer a problem posed by Shalu and Sandhya (Graphs and Combinatorics, 2016). In addition, it is NP-complete to test whether a 3-star colourable graph admits a 3-rs colouring. We also prove that for all $ε> 0$, the optimization problem of restricted star colouring a 2-degenerate bipartite graph with the minimum number of colours is NP-hard to approximate within $n^{(1/3)-ε}$. On the positive side, we design (i) a linear-time algorithm to test 3-rs colourability of trees, and (ii) an $O(n^3)$-time algorithm to test 3-rs colourability of chordal graphs.
On the generating functions of pattern-avoiding Motzkin paths
Published
• View Publication
• BIB
Using a recursive approach, we show that the generating function for sets of Motzkin paths avoiding a single (not necessarily consecutive) pattern is rational over $x$ and the Catalan generating function $C(x) = \frac{1-\sqrt{1-4x^2}}{2x^2}$, where $x$ keeps track of the length of the path. Moreover, an algorithm is provided for finding the generating function in the more general case of an arbitrary set of patterns. In addition, this algorithm allows us to find a combinatorial specification for pattern-avoiding Motzkin paths, which can be used not only for enumeration, but also for exhaustive and random generation.
Effects of edge addition or removal on the nullity of a graph
Published
• View Publication
• BIB
Lights Out is a game which can be played on any graph $G$. Initially we have a configuration which assigns one of the two states on or off to each vertex. The aim of the game is to turn all vertices to off state for an initial configuration by activating some vertices where each activation switches the state of the vertex and all of its neighbors. If the aim of the game can be accomplished for all initial configurations then $G$ is called always solvable. We call the dimension of the kernel of the closed neighborhood matrix of the graph over the field $\mathbb{Z}_2$, nullity of $G$. It turns out that $G$ is always solvable if and only if its nullity is zero. Moreover, the number of solutions of a given configuration is also determined by the nullity. We investigate the problem of how nullity changes when an edge is added to or removed from a graph. As a result we show that for every graph with positive nullity there exists an edge whose removal decreases the nullity. Conversely, we show that for every always solvable graph which is not an even graph with odd order, there exists an edge whose addition increases the nullity. We also show that if an always solvable graph is not even, then there is an edge whose removal increases the nullity.
Constructing orientable sequences
Published
• View Publication
• BIB
This paper describes new, simple, recursive methods of construction for orientable sequences, i.e. periodic binary sequences in which any n-tuple occurs at most once in a period in either direction. As has been previously described, such sequences have potential applications in automatic position-location systems, where the sequence is encoded onto a surface and a reader needs only examine n consecutive encoded bits to determine its location and orientation on the surface. The only previously described method of construction (due to Dai et al.) is somewhat complex, whereas the new techniques are simple to both describe and implement. The methods of construction cover both the standard `infinite periodic' case, and also the aperiodic, finite sequence, case. Both the new methods build on the Lempel homomorphism, first introduced as a means of recursively generating de Bruijn sequences.
The line graph of a tree and its edge ideal
We describe all the trees with the property that the corresponding edge ideal of their line graph has a linear resolution. As a consequence, we give a complete characterization of those trees $T$ for which the line graph $L(T)$ is co-chordal. We also compute the second Betti number of the edge ideal of $L(T)$ and we determine the number of cycles in $\overline{L(T)}$. As a consequence, we obtain also the first Zagreb index of a graph. For edge ideals of line graphs of caterpillar graphs we determine the Krull dimension, the Castelnuovo-Mumford regularity, and the projective dimension under some additional assumption on the degrees of the cutpoints.
The facet ideals of matching complexes of line graphs
Published
• View Publication
• BIB
Let $L_n$ be a line graph with $n$ edges and $\F(L_n)$ the facet ideal of its matching complex. In this paper, we provide the irreducible decomposition of $\F(L_n)$ and some exact formulas for the projective dimension and the regularity of $\F(L_n)$.
Independence Properties of Generalized Submodular Information Measures
Published
• View Publication
• BIB
Recently a class of generalized information measures was defined on sets of items parametrized by submodular functions. In this paper, we propose and study various notions of independence between sets with respect to such information measures, and connections thereof. Since entropy can also be used to parametrize such measures, we derive interesting independence properties for the entropy of sets of random variables. We also study the notion of multi-set independence and its properties. Finally, we present optimization algorithms for obtaining a set that is independent of another given set, and also discuss the implications and applications of combinatorial independence.
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.