arXiv++ Combinatorics

Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong relationship between the non-empty subgraph polytope and the spanning forest polytope. We further show that these polytopes provide polynomial size extended formulations for independence polytopes of count matroids, which generalizes recent results obtained by Iwata et al. referring to sparsity matroids. As a byproduct, we obtain new lower bounds on the extension complexity of the spanning forest polytope in terms of extension complexities of independence polytopes of these matroids.

A continuous-time quantum walk on a graph $X$ is represented by the complex matrix $\exp (-\mathrm{i} t A)$, where $A$ is the adjacency matrix of $X$ and $t$ is a non-negative time. If the graph models a network of interacting qubits, transfer of state among such qubits throughout time can be formalized as the action of the continuous-time quantum walk operator in the characteristic vectors of the vertices. Here we are concerned with the problem of determining which graphs admit a perfect transfer of state. More specifically, we will study graphs whose adjacency matrix is a sum of tensor products of $01$-matrices, focusing on the case where a graph is the tensor product of two other graphs. As a result, we will construct many new examples of perfect state transfer.

We study a relationship between $Q$-polynomial distance-regular graphs and the double affine Hecke algebra of type $(C^{\vee}_1,C_1)$. Let $Γ$ denote a $Q$-polynomial distance-regular graph with vertex set $X$. We assume that $Γ$ has $q$-Racah type and contains a Delsarte clique $C$. Fix a vertex $x \in C$. We partition $X$ according to the path-length distance to both $x$ and $C$. This is an equitable partition. For each cell in this partition, consider the corresponding characteristic vector. These characteristic vectors form a basis for a $\mathbb{C}$-vector space ${\bf W}$. The universal double affine Hecke algebra of type $(C^{\vee}_1,C_1)$ is the $\mathbb{C}$-algebra $\hat{H}_q$ defined by generators $\{t^{\pm1}_n\}^3_{n=0}$ and relations (i) $t_nt_n^{-1}=t_n^{-1}t_n=1$; (ii) $t_n+t_n^{-1}$ is central; (iii) $t_0t_1t_2t_3 = q^{-1/2}$. In this paper, we display an $\hat{H}_q$-module structure for ${\bf W}$. For this module and up to affine transformation, (i) $t_0t_1+(t_0t_1)^{-1}$ acts as the adjacency matrix of $Γ$; (ii) $t_3t_0+(t_3t_0)^{-1}$ acts as the dual adjacency matrix of $Γ$ with respect to $C$; (iii) $t_1t_2+(t_1t_2)^{-1}$ acts as the dual adjacency matrix of $Γ$ with respect to $x$. To obtain our results we use the theory of Leonard systems.

A family of subsets of the set {1,2,...,n} is said to be unbalanced if the convex hull of its characteristic vectors misses the diagonal in the n-cube.The purpose of this article is to develop the combinatorics of maximal unbalanced families. Specifically, we will prove lower and upper bounds on the number of maximal unbalanced families of subsets of an n-element set -- both bounds are of the form 2^{C n^2} for some C > 0. These families correspond to the chambers of a hyperplane arrangement, the restricted all-subset arrangement, that has arisen in various forms in physics, economics and psychometrics. In particular, our bounds answer a question posed in thermal field theory concerning the order of the number of chambers of this arrangement.

An indecomposable flow $f$ on a signed graph $Σ$ is a nontrivial integral flow that cannot be decomposed into $f=f_1+f_2$, where $f_1,f_2$ are nontrivial integral flows having the same sign (both $\geq 0$ or both $\leq 0$) at each edge of $Σ$. This paper is to classify indecomposable flows into characteristic vectors of circuits and Eulerian cycle-trees --- a class of signed graphs having a kind of tree structure in which all cycles can be viewed as vertices of a tree. Moreover, each indecomposable flow other than circuit characteristic vectors can be further decomposed into a sum of certain half circuit characteristic vectors having the same sign at each edge. The variety of indecomposable flows of signed graphs is much richer than that of ordinary unsigned graphs.

Let $X$ be a graph on $v$ vertices with adjacency matrix $A$, and let let $S$ be a subset of its vertices with characteristic vector $z$. We say that the pair $(X,S)$ is controllable if the vectors $A^rz$ for $r=1,\ldots,v-1$ span $\mathbb{R}^v$. Our concern is chiefly with the cases where $S=V(X)$, or $S$ is a single vertex. In this paper we develop the basic theory of controllable pairs. We will see that if $(X,S)$ is controllable then the only automorphism of $X$ that fixes $S$ as a set is the identity. If $(X,S)$ is controllable for some subset $S$ then the eigenvalues of $A$ are all simple.

We address optimization of nonlinear functions of the form $f(Wx)$, where $f:\R^d\to \R$ is a nonlinear function, $W$ is a $d\times n$ matrix, and feasible $x$ are in some large finite set $F$ of integer points in $\R^n$. One motivation is multi-objective discrete optimization, where $f$ trades off the linear functions given by the rows of $W$. Another motivation is to extend known results about polynomial-time linear optimization over discrete structures to nonlinear optimization. We assume that the convex hull of $F$ is well-described by linear inequalities. For example, the set of characteristic vectors of common bases of a pair of matroids on a common ground set. When $F$ is well described, $f$ is convex (or even quasiconvex), and $W$ has a fixed number of rows and is unary encoded or with entries in a fixed set, we give an efficient deterministic algorithm for maximization. When $F$ is well described, $f$ is a norm, and binary-encoded $W$ is nonnegative, we give an efficient deterministic constant-approximation algorithm for maximization. When $F$ is well described, $f$ is ``ray concave'' and non-decreasing, and $W$ has a fixed number of rows and is unary encoded or with entries in a fixed set, we give an efficient deterministic constant-approximation algorithm for minimization. When $F$ is the set of characteristic vectors of common bases of a pair of vectorial matroids on a common ground set, $f$ is arbitrary, and $W$ has a fixed number of rows and is unary encoded, we give an efficient randomized algorithm for optimization.

Let $\mathcal{A}$ and $\matchcal{B}$ denote two families of subsets of an $n$-element set. The pair $(\mathcal{A},\mathcal{B})$ is said to be $\ell$-cross-intersecting iff $|A\cap B| = \ell$ for all $A\in\mathcal{A}$ and $B\in\mathcal{B}$. Denote by $P_\ell(n)$ the maximum value of $|\mathcal{A}||\mathcal{B}|$ over all such pairs. The best known upper bound on $P_\ell(n)$ is $Θ(2^n)$, by Frankl and Rödl. For a lower bound, Ahlswede, Cai and Zhang showed, for all $n \geq 2\ell$, a simple construction of an $\ell$-cross-intersecting pair $(\mathcal{A},\mathcal{B})$ with $|\mathcal{A}||\mathcal{B}| = \binom{2\ell}{\ell}2^{n-2\ell}=Θ(2^n/\sqrt{\ell})$, and conjectured that this is best possible. Consequently, Sgall asked whether or not $P_\ell(n)$ decreases with $\ell$. In this paper, we confirm the above conjecture of Ahlswede et al. for any sufficiently large $\ell$, implying a positive answer to the above question of Sgall as well. By analyzing the linear spaces of the characteristic vectors of $\mathcal{A},\mathcal{B}$ over $\mathbb{R}$, we show that there exists some $\ell_0>0$, such that $P_\ell(n) \leq \binom{2\ell}{\ell}2^{n-2\ell}$ for all $\ell \geq \ell_0$. Furthermore, we determine the precise structure of all the pairs of families which attain this maximum.

Consider a graph whose edges have been colored red and blue. Assign a nonnegative real weight to every edge so that at every vertex, the sum of the weights of the incident red edges equals the sum of the weights of the incident blue edges. The set of all such assignments forms a convex polyhedral cone in the edge space, called the \emph{alternating cone}. The integral (respectively, $\{0,1\}$) vectors in the alternating cone are sums of characteristic vectors of closed alternating walks (respectively, trails). We study the basic properties of the alternating cone, determine its dimension and extreme rays, and relate its dimension to the majorization order on degree sequences. We consider whether the alternating cone has integral vectors in a given box, and use residual graph techniques to reduce this problem to searching for a closed alternating trail through a given edge. The latter problem, called alternating reachability, is solved in a companion paper along with related results.

We consider a graph with colored edges. A trail (vertices may repeat but not edges) is called \emph{alternating} when successive edges have different colors. Given a set of vertices called \emph{terminals}, the \emph{alternating reachability} problem is to find an alternating trail connecting distinct terminals, if one exists. A special case with two colors is searching for an augmenting path with respect to a given matching. In another special case with two colors red and blue, the \emph{alternating cone} is defined as the set of assignments of nonnegative weights to the edges such that at each vertex, the total red weight equals the total blue weight; in a companion paper we showed how the search for an integral weight vector within a given box in the alternating cone can be reduced to the alternating reachability problem in a 2-colored graph. We define an obstacle, called a \emph{Tutte set}, to the existence of an alternating trail connecting distinct terminals in a colored graph, and give a polynomial-time algorithm, generalizing the blossom algorithm of Edmonds, that finds either an alternating trail connecting distinct terminals or a Tutte set. We use Tutte sets to show that an an edge-colored bridgeless graph where each vertex has incident edges of at least two different colors has a closed alternating trail. A special case with two colors one of which forms a matching yields a combinatorial result of Giles and Seymour. We show that in a 2-colored graph, the cone generated by the characteristic vectors of closed alternating trails is the intersection of the alternating cone with the cone generated by the characteristic vectors of cycles in the underlying graph.

Let $X$ be $k$-regular graph on $v$ vertices and let $τ$ denote the least eigenvalue of its adjacency matrix $A(X)$. If $α(X)$ denotes the maximum size of an independent set in $X$, we have the following well known bound: \[ α(X) \le\frac{v}{1-\frac{k}τ}. \] It is less well known that if equality holds here and $S$ is a maximum independent set in $X$ with characteristic vector $x$, then the vector \[ x-\frac{|S|}{v}\one \] is an eigenvector for $A(X)$ with eigenvalue $τ$. In this paper we show how this can be used to characterise the maximal independent sets in certain classes of graphs. As a corollary we show that a graph defined on the partitions of $\{1,...,9\}$ with three cells of size three is a core.