arXiv++ Combinatorics

A graph $G$ is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function $w$ is defined on its vertices. Then $G$ is $w$-well-covered if all maximal independent sets are of the same weight. For every graph $G$, the set of weight functions $w$ such that $G$ is $w$-well-covered is a vector space, denoted as $WCW(G).$ Deciding whether an input graph $G$ is well-covered is co-NP-complete. Therefore, finding $WCW(G)$ is co-NP-hard. A generating subgraph of a graph $G$ is an induced complete bipartite subgraph $B$ of $G$ on vertex sets of bipartition $B_{X}$ and $B_{Y}$, such that each of $S \cup B_{X}$ and $S \cup B_{Y}$ is a maximal independent set of $G$, for some independent set $S$. If $B$ is generating, then $w(B_{X})=w(B_{Y})$ for every weight function $w \in WCW(G)$. Therefore, generating subgraphs play an important role in finding $WCW(G)$. The decision problem whether a subgraph of an input graph is generating is known to be NP-complete. In this article, we prove NP-completeness of the problem for graphs without cycles of length 3 and 5, and for bipartite graphs with girth at least 6. On the other and, we supply polynomial algorithms for recognizing generating subgraphs and finding $WCW(G)$, when the input graph is bipartite without cycles of length 6. We also present a polynomial algorithm which finds $WCW(G)$ when $G$ does not contain cycles of lengths 3, 4, 5, and 7.

We study a new set of duality relations between weighted, combinatoric invariants of a graph $G$. The dualities arise from a non-linear transform $\mathfrak{B}$, acting on the weight function $p$. We define $\mathfrak{B}$ on a space of real-valued functions $\mathcal{O}$ and investigate its properties. We show that three invariants (weighted independence number, weighted Lovász number, and weighted fractional packing number) are fixed points of $\mathfrak{B}^{2}$, but the weighted Shannon capacity is not. We interpret these invariants in the study of quantum non-locality.

The \emph{graph grabbing game} is a two-player game on a weighted connected graph in which two players, Alice and Bob, alternatively remove non-cut vertices one by one to gain the weights on them. Alice wins the game if she gains at least half of the total weights. In this paper, we show that on every connected even graph which does contain a fully spiked cycle as an induced subgraph, Alice always has a winning strategy with an arbitrary weight function whose codomain is $\{0,1\}$. In addition, we give a list of forbidden subgraph for the family of graphs on which Alice has a winning strategy with an arbitrary weight function whose codomain is $\{0,1\}$.

Weights of permutations were originally introduced by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019) in their study of the combinatorics of tiered trees. Given a permutation $σ$ viewed as a sequence of integers, computing the weight of $σ$ involves recursively counting descents of certain subpermutations of $σ$. Using this weight function, one can define a $q$-analog $E_n(x,q)$ of the Eulerian polynomials. We prove two main results regarding weights of permutations and the polynomials $E_n(x,q)$. First, we show that the coefficients of $E_n(x, q)$ stabilize as $n$ goes to infinity, which was conjectured by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019), and enables the definition of the formal power series $W_d(t)$, which has interesting combinatorial properties. Second, we derive a recurrence relation for $E_n(x, q)$, similar to the known recurrence for the classical Eulerian polynomials $A_n(x)$. Finally, we give a recursive formula for the numbers of certain integer partitions and, from this, conjecture a recursive formula for the stabilized coefficients mentioned above.

Suppose the edges of $K_n$ are assigned weights by a weight function $w$. We define the {\em weighted extremal number} \[ \mathrm{ex}(n,w,F):=\max\{w(G)\mid G\subseteq K_n,\text{ and }G\text{ is }F\text{-free}\} \] where $w(G):=\sum_{e\in E(G)}w(e)$. In this paper we study this problem for two types of weights $w$, each of which has an application. The first application is to an extremal problem in a complete multipartite host graph. The second application is to the maximum rectilinear crossing number of trees of diameter 4.

Let $B$ be an induced complete bipartite subgraph of $G$ on vertex sets of bipartition $B_{X}$ and $B_{Y}$. The subgraph $B$ is {\it generating} if there exists an independent set $S$ such that each of $S \cup B_{X}$ and $S \cup B_{Y}$ is a maximal independent set in the graph. If $B$ is generating, it \textit{produces} the restriction $w(B_{X})=w(B_{Y})$. Let $w:V(G) \longrightarrow\mathbb{R}$ be a weight function. We say that $G$ is $w$-well-covered if all maximal independent sets are of the same weight. The graph $G$ is $w$-well-covered if and only if $w$ satisfies all restrictions produced by all generating subgraphs of $G$. Therefore, generating subgraphs play an important role in characterizing weighted well-covered graphs. It is an \textbf{NP}-complete problem to decide whether a subgraph is generating, even when the subgraph is isomorphic to $K_{1,1}$ \cite{bnz:related}. We present a polynomial algorithm for recognizing generating subgraphs for graphs without cycles of lengths 6 and 7.

We introduce an expansion formula for elements in quantum cluster algebras associated to type A and Kronecker quivers with principal quantization. Our formula is parametrized by perfect matchings of snake graphs as in the classical case. In the Kronecker case, the coefficients are q-powers whose exponents are given by a weight function induced by the lattice of perfect matchings. As an application, we prove that a reflectional symmetry on the set of perfect matchings satisfies Stembridge's q=-1 phenomenon with respect to the weight function.

The KP and 2D Toda tau-functions of hypergeometric type that serve as generating functions for weighted single and double Hurwitz numbers are related to the topological recursion programme. A graphical representation of such weighted Hurwitz numbers is given in terms of weighted constellations. The associated classical and quantum spectral spectral curves are derived, and these are interpreted combinatorially in terms of the graphical model. The pair correlators are given a finite Christoffel-Darboux representation and determinantal expressions are obtained for the multipair correlators. The genus expansion of the multicurrent correlators is shown to provide generating series for weighted Hurwitz numbers of fixed ramification profile lengths. The WKB series for the Baker function is derived and used to deduce the loop equations and the topological recursion relations in the case of polynomial weight functions.

We study the connective constants of weighted self-avoiding walks (SAWs) on infinite graphs and groups. The main focus is upon weighted SAWs on finitely generated, virtually indicable groups. Such groups possess so-called 'height functions', and this permits the study of SAWs with the special property of being bridges. The group structure is relevant in the interaction between the height function and the weight function. The main difficulties arise when the support of the weight function is unbounded, since the corresponding graph is no longer locally finite. There are two principal results, of which the first is a condition under which the weighted connective constant and the weighted bridge constant are equal. When the weight function has unbounded support, we work with a generalized notion of the 'length' of a walk, which is subject to a certain condition. In the second main result, the above equality is used to prove a continuity theorem for connective constants on the space of weight functions endowed with a suitable distance function.

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.

For a graph $G$ and a non-negative integral weight function $w$ on the vertex set of $G$, a set $S$ of vertices of $G$ is $w$-safe if $w(C)\geq w(D)$ for every component $C$ of the subgraph of $G$ induced by $S$ and every component $D$ of the subgraph of $G$ induced by the complement of $S$ such that some vertex in $C$ is adjacent to some vertex of $D$. The minimum weight $w(S)$ of a $w$-safe set $S$ is the safe number $s(G,w)$ of the weighted graph $(G,w)$, and the minimum weight of a $w$-safe set that induces a connected subgraph of $G$ is its connected safe number $cs(G,w)$. Bapat et al. showed that computing $cs(G,w)$ is NP-hard even when $G$ is a star. For a given weighted tree $(T,w)$, they described an efficient $2$-approximation algorithm for $cs(T,w)$ as well as an efficient $4$-approximation algorithm for $s(T,w)$. Addressing a problem they posed, we present a PTAS for the connected safe number of a weighted tree. Our PTAS partly relies on an exact pseudopolynomial time algorithm, which also allows to derive an asymptotic FPTAS for restricted instances. Finally, we extend a bound due to Fujita et al. from trees to block graphs.

We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur $Q$-functions. We give local axioms for these crystals, which closely resemble the Stembridge axioms for type A. Finally, we give a new criterion for such tableaux to be ballot.

Consider a planar graph $G=(V,E)$ with polynomially bounded edge weight function $w:E\to [0, poly(n)]$. The main results of this paper are NC algorithms for the following problems: - minimum weight perfect matching in $G$, - maximum cardinality and maximum weight matching in $G$ when $G$ is bipartite, - maximum multiple-source multiple-sink flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function, - minimum weight $f$-factor in $G$ where $f:V\to [1, poly(n)]$, - min-cost flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function and $b:V\to [1, poly(n)]$ is a polynomially bounded vertex demand function. There have been no known NC algorithms for any of these problems previously (Before this and independent paper by Anari and Vazirani). In order to solve these problems we develop a new relatively simple but versatile framework that is combinatorial in spirit. It handles the combinatorial structure of matchings directly and needs to only know weights of appropriately defined matchings from algebraic subroutines.

Let $n > m\ge 2$ be integers and let $\mathcal{A}=\{A_1,\dots,A_m\}$ be a partition of $[n]=\{1,\dots,n\}$. For $X \subseteq [n]$, its $\mathcal{A}$-boundary region $\mathcal{A}(X)$ is defined to be the union of those blocks $A_i$ of $\mathcal{A}$ for which $A_i\cap X\neq \emptyset$ and $A_i\cap ([n] \setminus X)\neq \emptyset$. For three different probability distributions on the power set of $[n]$, partitions $\mathcal{A}$ of $[n]$ are determined such that the expected cardinality of the $\mathcal{A}$-boundary region of a randomly chosen subset of $[n]$ is minimal and maximal, respectively. The problem can be reduced to an optimization problem for integer partitions of $n$. In the most difficult case, the concave-convex shape of the corresponding weight function as well as several other inequalities are proved using an integral representation of the weight function. In one case, there is an interesting analogon to the AZ-identity. The study is motivated by the rough set theory.

In the classic Maximum Weight Independent Set problem we are given a graph $G$ with a nonnegative weight function on vertices, and the goal is to find an independent set in $G$ of maximum possible weight. While the problem is NP-hard in general, we give a polynomial-time algorithm working on any $P_6$-free graph, that is, a graph that has no path on $6$ vertices as an induced subgraph. This improves the polynomial-time algorithm on $P_5$-free graphs of Lokshtanov et al. (SODA 2014), and the quasipolynomial-time algorithm on $P_6$-free graphs of Lokshtanov et al (SODA 2016). The main technical contribution leading to our main result is enumeration of a polynomial-size family $\mathcal{F}$ of vertex subsets with the following property: for every maximal independent set $I$ in the graph, $\mathcal{F}$ contains all maximal cliques of some minimal chordal completion of $G$ that does not add any edge incident to a vertex of $I$.

In this work, an expression for the affine weight is calculated for Nakajima monomial crystals in affine types $A_n^{(1)}$ and $B_3^{(1)}$.

We revisit the classic online bin packing problem. In this problem, items of positive sizes no larger than 1 are presented one by one to be packed into subsets called "bins" of total sizes no larger than 1, such that every item is assigned to a bin before the next item is presented. We use online partitioning of items into classes based on sizes, as in previous work, but we also apply a new method where items of one class can be packed into more than two types of bins, where a bin type is defined according to the number of such items grouped together. Additionally, we allow the smallest class of items to be packed in multiple kinds of bins, and not only into their own bins. We combine this with the approach of packing of sufficiently big items according to their exact sizes. Finally, we simplify the analysis of such algorithms, allowing the analysis to be based on the most standard weight functions. This simplified analysis allows us to study the algorithm which we defined based on all these ideas. This leads us to the design and analysis of the first algorithm of asymptotic competitive ratio strictly below 1.58, specifically, we break this barrier and provide an algorithm AH (Advanced Harmonic) whose asymptotic competitive ratio does not exceed 1.5783.

We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur Q functions.

A graph $G=(V,E)$ is called equidominating if there exists a value $t \in \mathbb{N}$ and a weight function $ω: V \rightarrow \mathbb{N}$ such that the total weight of a subset $D\subseteq V$ is equal to $t$ if and only if $D$ is a minimal dominating set. To decide whether or not a given graph is equidominating is referred to as the Equidomination problem. In this paper we show that two parameterized versions of the Equidomination problem are fixed-parameter tractable: the first parameterization considers the target value $t$ leading to the Target-$t$ Equidomination problem. The second parameterization allows only weights up to a value $k$, which yields the $k$-Equidomination problem. In addition, we characterize the graphs whose every induced subgraph is equidominating. We give a finite forbidden induced subgraph characterization and derive a fast recognition algorithm.

Given an undirected graph $G=(V, E)$ with a weight function $c\in R^E$, and a positive integer $K$, the Kth Traveling Salesman Problem (KthTSP) is to find $K$ Hamilton cycles $H_1, H_2, , ..., H_K$ such that, for any Hamilton cycle $H\not \in \{H_1, H_2, , ..., H_K \}$, we have $c(H)\geq c(H_i), i=1, 2, ..., K$. This problem is NP-hard even for $K$ fixed. We prove that KthTSP is pseudopolynomial when TSP is polynomial.