arXiv++ Combinatorics

We study the additive structure of dense subset sum in multi-dimension, and use the structure to develop efficient algorithms for the dense subset sum problem. More precisely, given a set $A$ of $n$ vectors in the $d$-dimensional hyperrectangle $[N_1]\times [N_2]\times\cdots\times [N_d]$, we study the structure of $\mathcal{S}(A)$, which is the set of all subset sums of $A$. We focus on the dense regime of the problem where $n \gg \sqrtΦ$ and $Φ= N_1 \times \cdots \times N_d$. We show that for any constant $d\geq 1$, if $n \gg \sqrtΦ$, then $\mathcal{S}(A)$ contains a long generalized progression in multi-dimension. If we further have that no non-trivial lattice can contain the majority of $A$, then $\mathcal{S}(A)$ contains all the integer points in the zonotope $\{x_1\vec{a}_1 + \cdots + x_n\vec{a}_n: o(1)\leq x_j \leq 1-o(1), x_j \in \mathbb{R}\}$. Compared to the previous results for $d \geq 2$, our result significantly reduces the density threshold and enlarges the region inside which all the integer points belong to $\mathcal{S}(A)$. Also, it matches the bound for the 1-dimensional case. Using our combinatorics result, we also develop an $\tilde{O}(n)$-time algorithm for the dense subset sum problem in multi-dimension.

A grand Motzkin path with air pockets is a non-empty lattice path in the first and fourth quadrant of $\mathbb{Z}^2$, starting at the origin $(0,0)$, ending on the $x$-axis, and consisting of up-steps $(1, 1)$, horizontal steps $(1, 0)$, down-steps $(1, -k)$ where $k \geq 1$, and with no consecutive down-steps. A {grand Dyck path with air pockets} is a grand Motzkin path with air pockets that uses no horizontal steps. We present the first known 2-Gray codes for grand Motzkin paths with air pockets. Setting the number of horizontal steps to zero in our algorithm yields the first known 2-Gray codes for grand Dyck paths with air pockets. Our three-stage algorithm generates each path in constant amortized time per string, using $O(n^2)$ memory. We also provide enumeration formulae for grand Motzkin paths and grand Dyck paths with air pockets.

It is well known that the labeling problems of graphs arise in many (but not limited to) networking and telecommunication contexts. In this paper we introduce the anti-$k$-labeling problem of graphs which we seek to minimize the similarity (or distance) of neighboring nodes. For example, in the fundamental frequency assignment problem in wireless networks where each node is assigned a frequency, it is usually desirable to limit or minimize the frequency gap between neighboring nodes so as to limit interference. Let $k\geq1$ be an integer and $ψ$ is a labeling function (anti-$k$-labeling) from $V(G)$ to $\{1,2,\cdots,k\}$ for a graph $G$. A {\em no-hole anti-$k$-labeling} is an anti-$k$-labeling using all labels between 1 and $k$. We define $w_ψ(e)=|ψ(u)-ψ(v)|$ for an edge $e=uv$ and $w_ψ(G)=\min\{w_ψ(e):e\in E(G)\}$ for an anti-$k$-labeling $ψ$ of the graph $G$. {\em The anti-$k$-labeling number} of a graph $G$, $mc_k(G)$ is $\max\{w_ψ(G): ψ\}$. In this paper, we first show that $mc_k(G)=\lfloor \frac{k-1}{χ-1}\rfloor$, and the problem that determines $mc_k(G)$ of graphs is NP-hard. We mainly obtain the lower bounds on no-hole anti-$n$-labeling number for trees, grids and $n$-cubes.

We show that the tensor rank of tensor product of two three-qubit W states is not less than eight. Combining this result with the recent result of M. Christandl, A. K. Jensen, and J. Zuiddam that the tensor rank of tensor product of two three-qubit W states is at most eight, we deduce that the tensor rank of tensor product of two three-qubit W states is eight. We also construct the upper bound of the tensor rank of tensor product of many three-qubit W states.

For a molecular graph, the first multiplicative Zagreb index $Π_1$ is equal to the product of the square of the degree of the vertices, while the second multiplicative Zagreb index $Π_2$ is equal to the product of the endvertex degree of each edge over all edges. Denote by $\mathbb{G}_{n,k}$ the set of graphs with $n$ vertices and $k$ cut edges. In this paper, we explore graphs in terms of a number of cut edges. In addition, the maximum and minimum multiplicative Zagreb indices of graphs with given number of cut edges are provided. Furthermore, we characterize graphs with the largest and smallest $Π_1(G)$ and $Π_2(G)$ in $\mathbb{G}_{n,k}$, and our results extend and enrich some known conclusions.

The first multiplicative Zagreb index of a graph $G$ is the product of the square of every vertex degree, while the second multiplicative Zagreb index is the product of the products of degrees of pairs of adjacent vertices. In this paper, we explore the trees in terms of given number of vertices of maximum degree. The maximum and minimum values of $\prod_1(G) $ and $\prod_2(G) $ of trees with arbitrary number of maximum degree are provided. In addition, the corresponding extremal graphs are characterized.

An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. It is well known that a graph $G$ has exactly two main eigenvalues if and only if there exists a unique pair of integers $a$ and $b$ such that $\sum_{u\in N(v)}d(u)=ad(v)+b$ for every vertex $v\in V(G)$. We collect such connected graph $G$ in the set $\mathscr{G}(a,b)$. In this paper, we mainly focus to the existence of such $a$ and $b$, and give the necessary and sufficient condition for $\mathscr{G}(a,b)\neq\emptyset$. In addition, we give the bound for the vertex degrees of $G\in\mathscr{G}(a,b)$ and use the bound to characterize the graphs in $\mathscr{G}(a,b)$ for some feasible pairs $(a,b)$.

A tree $T$ in an edge-colored graph is a \emph{proper tree} if any two adjacent edges of $T$ are colored with different colors. Let $G$ be a graph of order $n$ and $k$ be a fixed integer with $2\leq k\leq n$. For a vertex set $S\subseteq V(G)$, a tree containing the vertices of $S$ in $G$ is called an \emph{$S$-tree}. An edge-coloring of $G$ is called a \emph{$k$-proper coloring} if for every set $S$ of $k$ vertices in $G$, there exists a proper $S$-tree in $G$. The \emph{$k$-proper index} of a nontrivial connected graph $G$, denoted by $px_k(G)$, is the smallest number of colors needed in a $k$-proper coloring of $G$. In this paper, some simple observations about $px_k(G)$ for a nontrivial connected graph $G$ are stated. Meanwhile, the $k$-proper indices of some special graphs are determined, and for every pair of positive integers $a$, $b$ with $2\leq a\leq b$, a connected graph $G$ with $px_k(G)=a$ and $rx_k(G)=b$ is constructed for each integer $k$ with $3\leq k\leq n$. Also, the graphs with $k$-proper index $n-1$ and $n-2$ are respectively characterized.

An edge-coloured path is \emph{rainbow} if all the edges have distinct colours. For a connected graph $G$, the \emph{rainbow connection number} $rc(G)$ is the minimum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by a rainbow path. Similarly, the \emph{strong rainbow connection number} $src(G)$ is the minimum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by a rainbow geodesic (i.e., a path of shortest length). These two concepts of connectivity in graphs were introduced by Chartrand et al.~in 2008. Subsequently, vertex-coloured versions of both parameters, $rvc(G)$ and $srvc(G)$, and a total-coloured version of the rainbow connection number, $trc(G)$, were introduced. In this paper we introduce the strong total rainbow connection number $strc(G)$, which is the version of the strong rainbow connection number using total-colourings. Among our results, we will determine the strong total rainbow connection numbers of some special graphs. We will also compare the six parameters, by considering how close and how far apart they can be from one another. In particular, we will characterise all pairs of positive integers $a$ and $b$ such that, there exists a graph $G$ with $trc(G)=a$ and $strc(G)=b$, and similarly for the functions $rvc$ and $srvc$.

Gutman and Wagner proposed the concept of the matching energy (ME) and pointed out that the chemical applications of ME go back to the 1970s. Let $G$ be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ be the roots of its matching polynomial. The matching energy of $G$ is defined to be the sum of the absolute values of $μ_{i}\ (i=1,2,\ldots,n)$. Gutman and Cvetkoić determined the tricyclic graphs on $n$ vertices with maximal number of matchings by a computer search for small values of $n$ and by an induction argument for the rest. Based on this result, in this paper, we characterize the graphs with the maximal value of matching energy among all tricyclic graphs, and completely determine the tricyclic graphs with the maximal matching energy. We prove our result by using Coulson-type integral formula of matching energy, which is similar as the method to comparing the energies of two quasi-order incomparable graphs.

Gutman and Wagner proposed the concept of matching energy (ME) and pointed out that the chemical applications of ME go back to the 1970s. Let $G$ be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ be the roots of its matching polynomial. The matching energy of $G$ is defined to be the sum of the absolute values of $μ_{i}\ (i=1,2,\ldots,n)$. In this paper, we characterize the graphs with minimal matching energy among all unicyclic and bicyclic graphs with a given diameter $d$.

In this note, we symmetrized the cut-join equation from the proof of Marino-Vafa formula by applying a transcendental changing of variable. One can derive more recursion formulas of Hodge integrals out of this polynomial equations. We also give some applications.