Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Four NP-complete problems about generalizations of perfect graphs
We show that the following problems are NP-complete.
1. Can the vertex set of a graph be partitioned into two sets such that each set induces a perfect graph?
2. Is the difference between the chromatic number and clique number at most $1$ for every induced subgraph of a graph?
3. Can the vertex set of every induced subgraph of a graph be partitioned into two sets such that the first set induces a perfect graph, and the clique number of the graph induced by the second set is smaller than that of the original induced subgraph?
4. Does a graph contain a stable set whose deletion results in a perfect graph?
The proofs of the NP-completeness of the four problems follow the same pattern: Showing that all the four problems are NP-complete when restricted to triangle-free graphs by using results of Maffray and Preissmann on $3$-colorability and $4$-colorability of triangle-free graphs
A Comprehensive Introduction to the Theory of Word-Representable Graphs
Published
• View Publication
• BIB
Letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word $xyxy\cdots$ (of even or odd length) or a word $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$.
Word-representable graphs generalize several important classes of graphs such as circle graphs, $3$-colorable graphs and comparability graphs. This paper offers a comprehensive introduction to the theory of word-representable graphs including the most recent developments in the area.
Generalizing a partition theorem of Andrews
Motivated by Andrews' recent work related to Euler's partition theorem, we consider the set of partitions of an integer $n$ where the set of even parts has exactly $j$ elements, versus the set of partitions of $n$ where the set of repeated parts has exactly $j$ elements. These two sets of partitions turn out to be equinumerous, and this naturally encloses Euler's theorem and Andrews' theorem as two special cases. We give two proofs, one using generating function, and the other is a direct bijection that builds on Glaisher's bijection
A matrix approach to the Yang multiplication theorem
In this paper, we use two-variable Laurent polynomials attached to matrices to encode properties of compositions of sequences. The Lagrange identity in the ring of Laurent polynomials is then used to give a short and transparent proof of a theorem about the Yang multiplication.
Interior polynomial for signed bipartite graphs and the HOMFLY polynomial
Published
• View Publication
• BIB
The interior polynomial is an invariant of bipartite graphs, and a part of the HOMFLY polynomial of a special alternating link coincides with the interior polynomial of the Seifert graph of the link. We extend the interior polynomial to signed bipartite graphs, and we show that, in the planar case, it is equal to a part of the HOMFLY polynomial of a naturally associated link. We also establish some other, more basic properties of this new notion. This leads to new identities involving the original interior polynomial.
A Compact Representation for Modular Semilattices and its Applications
Published
• View Publication
• BIB
A modular semilattice is a semilattice generalization of a modular lattice. We establish a Birkhoff-type representation theorem for modular semilattices, which says that every modular semilattice is isomorphic to the family of ideals in a certain poset with additional relations.This new poset structure, which we axiomatize in this paper, is called a PPIP (projective poset with inconsistent pairs). A PPIP is a common generalization of a PIP (poset with inconsistent pairs) and a projective ordered space. The former was introduced by Barthélemy and Constantin for establishing Birkhoff-type theorem for median semilattices, and the latter by Herrmann, Pickering, and Roddy for modular lattices. We show the $Θ(n)$ representation complexityand a construction algorithm for PPIP-representations of $(\wedge, \vee)$-closed sets in the product $L^n$ of modular semilattice $L$. This generalizes the results of Hirai and Oki for a special median semilattice $S_k$. We also investigate implicational bases for modular semilattices. Extending earlier results of Wild and Herrmann for modular lattices, we determine optimal implicational bases and develop a polynomial time recognition algorithm for modular semilattices. These results can be applied to retain the minimizer set of a submodular function on a modular semilattice.
Cherlin's conjecture for sporadic simple groups
Published in Pacific J. Math. 297 (2018) 47-66
• View Publication
• BIB
We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group.
Generalized eigenvalue problems for meet and join matrices on semilattices
Published
• View Publication
• BIB
We study generalized eigenvalue problems for meet and join matrices with respect to incidence functions on semilattices. We provide new bounds for generalized eigenvalues of meet matrices with respect to join matrices under very general assumptions. The applied methodology is flexible, and it is shown in the case of GCD and LCM matrices that even sharper bounds can be obtained by applying the known properties of the divisor lattice. These results can also be easily modified for the dual problem of eigenvalues of join matrices with respect to meet matrices, which we briefly consider as well. We investigate the effectiveness of the obtained bounds for select examples involving number-theoretical lattices.
Enumeration of meanders and Masur-Veech volumes
Published in Forum of Mathematics, Pi (2020), Vol. 8, e4
• View Publication
• BIB
A meander is a topological configuration of a line and a simple closed curve in the plane (or a pair of simple closed curves on the 2-sphere) intersecting transversally. Meanders can be traced back to H. Poincaré and naturally appear in various areas of mathematics, theoretical physics and computational biology (in particular, they provide a model of polymer folding). Enumeration of meanders is an important open problem. The number of meanders with 2N crossings grows exponentially when N grows, but the longstanding problem on the precise asymptotics is still out of reach. We show that the situation becomes more tractable if one additionally fixes the topological type (or the total number of minimal arcs) of a meander. Then we are able to derive simple asymptotic formulas for the numbers of meanders as N tends to infinity. We also compute the asymptotic probability of getting a simple closed curve on a sphere by identifying the endpoints of two arc systems (one on each of the two hemispheres) along the common equator. The new tools we bring to bear are based on interpretation of meanders as square-tiled surfaces with one horizontal and one vertical cylinders. The proofs combine recent results on Masur-Veech volumes of the moduli spaces of meromorphic quadratic differentials in genus zero with our new observation that horizontal and vertical separatrix diagrams of integer quadratic differentials are asymptotically uncorrelated. The additional combinatorial constraints we impose in this article yield explicit polynomial asymptotics.
New bounds on the number of n-queens configurations
In how many ways can $n$ queens be placed on an $n \times n$ chessboard so that no two queens attack each other? This is the famous $n$-queens problem. Let $Q(n)$ denote the number of such configurations, and let $T(n)$ be the number of configurations on a toroidal chessboard. We show that for every $n$ of the form $4^k+1$, $T(n)$ and $Q(n)$ are both at least $n^{Ω(n)}$. This result confirms a conjecture of Rivin, Vardi and Zimmerman for these values of $n$. We also present new upper bounds on $T(n)$ and $Q(n)$ using the entropy method, and conjecture that in the case of $T(n)$ the bound is asymptotically tight. Along the way, we prove an upper bound on the number of perfect matchings in regular hypergraphs, which may be of independent interest.
Hanani-Tutte for approximating maps of graphs
We resolve in the affirmative conjectures of Repovs and A. Skopenkov (1998), and M. Skopenkov (2003) generalizing the classical Hanani-Tutte theorem to the setting of approximating maps of graphs on 2-dimensional surfaces by embeddings. Our proof of this result is constructive and almost immediately implies an efficient algorithm for testing if a given piecewise linear map of a graph in a surface is approximable by an embedding. More precisely, an instance of this problem consists of (i) a graph G whose vertices are partitioned into clusters and whose inter-cluster edges are partitioned into bundles, and (ii) a region R of a 2-dimensional compact surface M given as the union of a set of pairwise disjoint discs corresponding to the clusters and a set of pairwise non-intersecting "pipes" corresponding to the bundles, connecting certain pairs of these discs. We are to decide whether G can be embedded inside M so that the vertices in every cluster are drawn in the corresponding disc, the edges in every bundle pass only through its corresponding pipe, and every edge crosses the boundary of each disc at most once.
Gorenstein simplices with a given $δ$-polynomial
Published in Discrete Mathematics 342, (2019), 111619
• View Publication
• BIB
To classify the lattice polytopes with a given $δ$-polynomial is an important open problem in Ehrhart theory. A complete classification of the Gorenstein simplices whose normalized volumes are prime integers is known. In particular, their $δ$-polynomials are of the form $1+t^k+\cdots+t^{(v-1)k}$, where $k$ and $v$ are positive integers. In the present paper, a complete classification of the Gorenstein simplices with the above $δ$-polynomials will be performed, when $v$ is either $p^2$ or $pq$, where $p$ and $q$ are prime integers with $p \neq q$. Moreover, we consider the number of Gorenstein simplices, up to unimodular equivalence, with the expected $δ$-polynomial.
Equidistributions of Mahonian statistics over pattern avoiding permutations
Published
• View Publication
• BIB
A Mahonian d-function is a Mahonian statistic that can be expressed as a linear combination of vincular pattern statistics of length at most d. Babson and Steingrimsson classified all Mahonian 3-functions up to trivial bijections and identified many of them with well-known Mahonian statistics in the literature. We prove a host of Mahonian 3-function equidistributions over pattern avoiding sets of permutations. Tools used include block decomposition, Dyck paths and generating functions.
Conflict-free connection numbers of line graphs
Published
• View Publication
• BIB
A path in an edge-colored graph is called \emph{conflict-free} if it contains at least one color used on exactly one of its edges. An edge-colored graph $G$ is \emph{conflict-free connected} if for any two distinct vertices of $G$, there is a conflict-free path connecting them. For a connected graph $G$, the \emph{conflict-free connection number} of $G$, denoted by $cfc(G)$, is defined as the minimum number of colors that are required to make $G$ conflict-free connected. In this paper, we investigate the conflict-free connection numbers of connected claw-free graphs, especially line graphs. We first show that for an arbitrary connected graph $G$, there exists a positive integer $k$ such that $cfc(L^k(G))\leq 2$. Secondly, we get the exact value of the conflict-free connection number of a connected claw-free graph, especially a connected line graph. Thirdly, we prove that for an arbitrary connected graph $G$ and an arbitrary positive integer $k$, we always have $cfc(L^{k+1}(G))\leq cfc(L^k(G))$, with only the exception that $G$ is isomorphic to a star of order at least~$5$ and $k=1$. Finally, we obtain the exact values of $cfc(L^k(G))$, and use them as an efficient tool to get the smallest nonnegative integer $k_0$ such that $cfc(L^{k_0}(G))=2$.
Relationship between the distinguishing index, minimum degree and maximum degree of graphs
Let $δ$ and $Δ$ be the minimum and the maximum degree of the vertices of a simple connected graph $G$, respectively.
The distinguishing index of a graph $G$, denoted by $D'(G)$, is the least number of labels in an edge labeling of $G$ not preserved by any non-trivial automorphism. Motivated by a conjecture by Pilśniak (2017) that implies that for any $2$-connected graph $D'(G) \leq \lceil \sqrt{Δ(G)}\rceil +1$, we prove that for any graph $G$ with $δ\geq 2$, $D'(G) \leq \lceil \sqrt[δ]{Δ}\rceil +1$. Also, we show that the distinguishing index of $k$-regular graphs is at most $2$, for any $k\geq 5$.
Some Variations of Two Combinatorial Identities
Given two combinatorial identities proved earlier, a new set of variations of these combinatorial identities is listed and proved with the integral representation method. Some identities from literature are shown to be special cases of these new identities.
A $q$-deformation of the symplectic Schur functions and the Berele insertion algorithm
Published
• View Publication
• BIB
A randomisation of the Berele insertion algorithm is proposed, where the insertion of a letter to a symplectic Young tableau leads to a distribution over the set of symplectic Young tableaux. Berele's algorithm provides a bijection between words from an alphabet and a symplectic Young tableau along with a recording oscillating tableau. The randomised version of the algorithm is achieved by introducing a parameter $0 < q < 1$. The classic Berele algorithm corresponds to letting the parameter $q \to 0$. The new version provides a probabilistic framework that allows to prove Littlewood-type identities for a $q$-deformation of the symplectic Schur functions. These functions correspond to multilevel extensions of the continuous $q$-Hermite polynomials. Finally, we show that when both the original and the $q$-modified insertion algorithms are applied to a random word then the shape of the symplectic Young tableau evolves as a Markov chain on the set of partitions.
Locally finite trees and the topological minor relation
A well-known theorem of Nash-Williams shows that the collection of locally finite trees under the topological minor relation results in a BQO. Set theoretically, two very natural questions arise: (1) What is the number $λ$ of topological types of locally finite trees? (2) What are the possible sizes of an equivalence class of locally finite trees? For (1), clearly, $ω\leq λ\leq \mathfrak{c}$ and Matthiesen refined it to $ω_1 \leq λ\leq \mathfrak{c}$. Thus, this question becomes non-trivial when the Continuum Hypothesis is not assumed. In this paper we address both questions by showing that - entirely within ZFC - for a large collection of locally finite trees that includes those with countably many rays: the answer for (1) is $λ= ω_1$, and that for (2) the size of an equivalence class can only be either $1$ or $\mathfrak{c}$.
Vizing-type bounds for graphs with induced subgraph restrictions
For any graphs $G$ and $H$, we say that a bound is of Vizing-type if $γ(G\square H)\geq c γ(G)γ(H)$ for some constant $c$. We show several bounds of Vizing-type for graphs $G$ with forbidden induced subgraphs. In particular, if $G$ is a triangle and $K_{1,r}$-free graph, then for any graph $H$, $γ(G\square H)\geq \frac{r}{2r-1}γ(G)γ(H)$. If $G$ is a $K_r$ and $P_5$-free graph for some integer $r\geq 2$, then for any graph $H$, $γ(G\square H)\geq \frac{r-1}{2r-3}γ(G)γ(H)$. We do this by bounding the power of $G$, $π(G)$. We show that if $G$ is claw-free and $P_6$-free or $K_4$ and $P_5$-free, then for any graph $H$, $γ(G\square H)\geq γ(G)γ(H)$. Furthermore, we show Vizing-type bounds in terms of the diameter of $G$.
On the subsemigroup complex of an aperiodic Brandt semigroup
Published
• View Publication
• BIB
We introduce the subsemigroup complex of a finite semigroup S as a (boolean representable) simplicial complex defined through chains in the lattice of subsemigroups of S. We present a research program for such complexes, illustrated through the particular case of combinatorial Brandt semigroups. The results include alternative characterizations of faces and facets, asymptotical estimates on the number of facets, or establishing when the complex is pure or a matroid.