Showing 20 papers (Total: 84460 papers, 48641 authors in database)
$P$-Matchings in Graphs: A Brief Survey with Some Open Problems
For a graph $G=(V,E),$ a matching $M$ is a set of independent edges. The topic of matchings is well studied in graph theory. In this paper many varieties of matchings are discussed.
Perfect Domination in Knights Graphs
For a graph $G = (V,E),$ a subset $S$ of $V$ is a perfect dominating set of $G$ if every vertex not in $S$ is adjacent to exactly one vertex in $S.$ The perfect domination number, $γ_p(G),$ is the minimum cardinality of a perfect dominating set of $G.$ The perfect domination number is found for knights graphs on square, rectangular, and infinite chessboards. Indeed, exact values or bounds are given for all chessboards except those with 3 rows and number of columns congruent to 1, 2, or 3 modulo 8.
Combinatorics of certain abelian Lie group arrangements and chromatic quasi-polynomials
Published in Journal of Combinatorial Theory, Series A, 165 (2019), 258-272
• View Publication
• BIB
The purpose of this paper is twofold. Firstly, we generalize the notion of characteristic polynomials of hyperplane and toric arrangements to those of certain abelian Lie group arrangements. Secondly, we give two interpretations for the chromatic quasi-polynomials and their constituents through subspace and toric viewpoints.
Characterizing and decomposing classes of threshold, split, and bipartite graphs via 1-Sperner hypergraphs
Published
• View Publication
• BIB
A hypergraph is said to be $1$-Sperner if for every two hyperedges the smallest of their two set differences is of size one. We present several applications of $1$-Sperner hypergraphs and their structure to graphs. In particular, we consider the classical characterizations of threshold and domishold graphs and use them to obtain further characterizations of these classes in terms of $1$-Spernerness, thresholdness, and $2$-asummability of their vertex cover, clique, dominating set, and closed neighborhood hypergraphs. Furthermore, we apply a decomposition property of $1$-Sperner hypergraphs to derive decomposition theorems for two classes of split graphs, a class of bipartite graphs, and a class of cobipartite graphs. These decomposition theorems are based on certain matrix partitions of the corresponding graphs, giving rise to new classes of graphs of bounded clique-width and new polynomially solvable cases of several domination problems.
Rainbow triangles in arc-colored tournaments
Published
• View Publication
• BIB
Let $T_{n}$ be an arc-colored tournament of order $n$. The maximum monochromatic indegree $Δ^{-mon}(T_{n})$ (resp. outdegree $Δ^{+mon}(T_{n})$) of $T_{n}$ is the maximum number of in-arcs (resp. out-arcs) of a same color incident to a vertex of $T_{n}$. The irregularity $i(T_{n})$ of $T_{n}$ is the maximum difference between the indegree and outdegree of a vertex of $T_{n}$. A subdigraph $H$ of an arc-colored digraph $D$ is called rainbow if each pair of arcs in $H$ have distinct colors. In this paper, we show that each vertex $v$ in an arc-colored tournament $T_{n}$ with $Δ^{-mon}(T_n)\leqΔ^{+mon}(T_n)$ is contained in at least $\frac{δ(v)(n-δ(v)-i(T_n))}{2}-[Δ^{-mon}(T_{n})(n-1)+Δ^{+mon}(T_{n})d^+(v)]$ rainbow triangles, where $δ(v)=\min\{d^+(v), d^-(v)\}$. We also give some maximum monochromatic degree conditions for $T_{n}$ to contain rainbow triangles, and to contain rainbow triangles passing through a given vertex. Finally, we present some examples showing that some of the conditions in our results are best possible.
Keywords: arc-colored tournament, rainbow triangle, maximum monochromatic indegree (outdegree), irregularity
On the $α$-spectral radius of graphs
For $0\le α\le 1$, Nikiforov proposed to study the spectral properties of the family of matrices $A_α(G)=αD(G)+(1-α)A(G)$ of a graph $G$, where $D(G)$ is the degree diagonal matrix and $A(G)$ is the adjacency matrix. The $α$-spectral radius of $G$ is the largest eigenvalue of $A_α(G)$. We give upper bounds for $α$-spectral radius for unicyclic graphs $G$ with maximum degree $Δ\ge 2$, connected irregular graphs with given maximum degree and and some other graph parameters, and graphs with given domination number, respectively. We determine the unique tree with second maximum $α$-spectral radius among trees, and the unique tree with maximum $α$-spectral radius among trees with given diameter. For a graph with two pendant paths at a vertex or at two adjacent vertex, we prove results concerning the behavior of the $α$-spectral radius under relocation of a pendant edge in a pendant path. We also determine the unique graphs such that the difference between the maximum degree and the $α$-spectral radius is maximum among trees, unicyclic graphs and non-bipartite graphs, respectively.
A median-type condition for graph tiling
Published
• View Publication
• BIB
Komlos [Tiling Turan theorems, Combinatorica, 20,2 (2000), 203{218] determined the asymptotically optimal minimum degree condition for covering a given proportion of vertices of a host graph by vertex-disjoint copies of a fixed graph. We show that the minimum degree condition can be relaxed in the sense that we require only a given fraction of vertices to have the prescribed degree.
The $ν$-Tamari lattice via $ν$-trees, $ν$-bracket vectors, and subword complexes
Published
• View Publication
• BIB
We give new interpretations of the $ν$-Tamari lattice of Préville-Ratelle and Viennot. First, we describe it as a rotation lattice of $ν$-trees, which uncovers the relation with known combinatorial objects such as tree-like tableaux and north-east fillings. Then, using a formulation in terms of bracket vectors of $ν$-trees and componentwise order, we provide a simple description of the lattice property. We also show that the $ν$-Tamari lattice is isomorphic to the increasing-flip poset of a suitably chosen subword complex, and settle a special case of Rubey's lattice conjecture concerning the poset of pipe dreams defined by chute moves. Finally, this point of view generalizes to multi $ν$-Tamari complexes, and gives (conjectural) insight on their geometric realizability via polytopal subdivisions of multiassociahedra.
Brussels Sprouts, Noncrossing Trees, and Parking Functions
Published
• View Publication
• BIB
We consider a variant of the game of Brussels Sprouts that, like Conway's original version, ends in a predetermined number of moves. We show that the endstates of the game are in natural bijection with noncrossing trees and that the game histories are in natural bijection with both parking functions and factorizations of a cycle of $S_n$.
Presburger Arithmetic with algebraic scalar multiplications
Published in Logical Methods in Computer Science, Volume 17, Issue 3 (July 20, 2021) lmcs:5916
• View Publication
• BIB
We consider Presburger arithmetic (PA) extended by scalar multiplication by an algebraic irrational number $α$, and call this extension $α$-Presburger arithmetic ($α$-PA). We show that the complexity of deciding sentences in $α$-PA is substantially harder than in PA. Indeed, when $α$ is quadratic and $r\geq 4$, deciding $α$-PA sentences with $r$ alternating quantifier blocks and at most $c\ r$ variables and inequalities requires space at least $K 2^{\cdot^{\cdot^{\cdot^{2^{C\ell(S)}}}}}$ (tower of height $r-3$), where the constants $c, K, C>0$ only depend on $α$, and $\ell(S)$ is the length of the given $α$-PA sentence $S$. Furthermore deciding $\exists^{6}\forall^{4}\exists^{11}$ $α$-PA sentences with at most $k$ inequalities is PSPACE-hard, where $k$ is another constant depending only on~$α$. When $α$ is non-quadratic, already four alternating quantifier blocks suffice for undecidability of $α$-PA sentences.
On the number of integer points in translated and expanded polyhedra
Published
• View Publication
• BIB
We prove that the problem of minimizing the number of integer points inparallel translations of a rational convex polytope in $\mathbb{R}^6$ is NP-hard. We apply this result to show that given a rational convex polytope $P \subset \mathbb{R}^6$, finding the largest integer $t$ s.t. the expansion $tP$ contains fewer than $k$ integer points is also NP-hard. We conclude that the Ehrhart quasi-polynomials of rational polytopes can have arbitrary fluctuations.
Strengthening strong immersions with Kempe chains
Every properly colored graph with $χ(G)=k$ colors has edge-disjoint Kempe "backbones", Kempe chains anchored by color-critical vertices for each pair of colors. Certain color permutations arrange these backbones into a clique-like structure, a strengthening of strong immersions of complete graphs. This strengthened immersion is suggested as a template for identifying the disjoint subgraphs comprising Hadwiger's conjectured $K_k$ minor present in $k$-chromatic graphs.
Cores, shell indices and the degeneracy of a graph limit
The $k$-core of a graph is the maximal subgraph in which every node has degree at least~$k$, the shell index of a node is the largest $k$ such that the $k$-core contains the node, and the degeneracy of a graph is the largest shell index of any node. After a suitable normalization, these three concepts generalize to limits of dense graphs (also called graphons). In particular, the degeneracy is continuous with respect to the cut metric.
A liability allocation game
Published in J. Comput. Methods Sci. Eng. 2020 vol. 20, no. 1, pp. 65-79
• View Publication
• BIB
The following problem is considered. Two players are each required to allocate a quota of~$n$ counters among~$k$ boxes labelled~$1,2,\ldots,k$. At times $t=1,2,3,\ldots$ a random box is identified; the probability of choosing box~$i$ is~$p_i$. If a player has at least one counter in the chosen box, she removes one counter from it; otherwise she takes no action. The winner is the first player to remove all her counters. The game so described may be modified so that each player simultaneously, but independently, identifies a box at random.
This paper analyses this deceptively simple game, which has apparently not been studied in the literature. Some analytical and numerical results are then presented, followed by some challenges for further work.
Upper Energy Bounds for Spherical Designs of Relatively Small Cardinalities
Published
• View Publication
• BIB
We derive upper bounds for the potential energy of spherical designs of cardinality close to the Delsarte-Goethals-Seidel bound. These bounds are obtained by linear programming with the use of the Hermite interpolating polynomial of the potential function in suitable nodes. Numerical computations show that the results are quite close to certain lower energy bounds confirming that spherical designs are, in a sense, energy efficient. \end{abstract}
Recursion formulas of q-Appell functions
Recently, Opps, Saad and Srivastava gave the recursion formulas of Appell's function F2. The first author of this paper then established the recursion formulas for Appell functions F1, F2, F3 and F4 by the contiguous relations of hypergeometric series. In this paper, the authors will present the recursion formulas for q-Appell functions $Φ^{(1)}, Φ^{(2)}, Φ^{(3)}$ and $Φ^{(4)}$ as the q-analogies of F1, F2, F3 and F4's relations.
Affirmative Solutions On Local Antimagic Chromatic Number
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we give counterexamples to the lower bound of $χ_{la}(G \vee O_2)$ that was obtained in [Local antimagic vertex coloring of a graph, Graphs and Combin., 33 : 275 - 285 (2017)]. A sharp lower bound of $χ_{la}(G\vee O_n)$ and sufficient conditions for the given lower bound to be attained are obtained. Moreover, we settled Theorem 2.15 and solved Problem 3.3 in the affirmative. We also completely determined the local antimagic chromatic number of complete bipartite graphs.
Sets of Arithmetical Invariants in Transfer Krull Monoids
Published in J. Pure Appl. Algebra,2019
• View Publication
• BIB
Transfer Krull monoids are a recent concept including all commutative Krull domains and also, for example, wide classes of non-commutative Dedekind domains. We show that transfer Krull monoids are fully elastic (i.e., every rational number between $1$ and the elasticity of the monoid can be realized as the elasticity of an element). In commutative Krull monoids which have sufficiently many prime divisors in all classes of their class group, the set of catenary degrees and the set of tame degrees are intervals. Without the assumption on the distribution of prime divisors, arbitrary finite sets can be realized as sets of catenary degrees and as sets of tame degrees.
An analogue of Edmonds' Branching Theorem for infinite digraphs
Published
• View Publication
• BIB
We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the notion of pseudo-arborescences and prove a corresponding packing result. Finally, we verify some tree-like properties for these objects, but give also an example that their underlying graphs do in general not correspond to topological trees in the Freudenthal compactification of the underlying multigraph of the digraph.
The interval number of a planar graph is at most three
The interval number of a graph $G$ is the minimum $k$ such that one can assign to each vertex of $G$ a union of $k$ intervals on the real line, such that $G$ is the intersection graph of these sets, i.e., two vertices are adjacent in $G$ if and only if the corresponding sets of intervals have non-empty intersection. In 1983 Scheinerman and West [The interval number of a planar graph: Three intervals suffice. \textit{J.~Comb.~Theory, Ser.~B}, 35:224--239, 1983] proved that the interval number of any planar graph is at most $3$. However the original proof has a flaw. We give a different and shorter proof of this result.