arXiv++ Combinatorics

We study several $k$-fold generalizations of the Lovász theta function associated with the maximum $k$-colorable induced subgraph problem. The first is the Narasimhan--Manber parameter $\vartheta_k$. We prove that, for graphs whose adjacency matrix belongs to a homogeneous partially coherent algebra, this parameter is recovered by the theta number of the Cartesian product with the complete graph on $k$ vertices. This class includes distance-regular and $1$-walk-regular graphs, and thus our result generalizes a theorem by Sinjorgo and Sotirov (2022) for graphs that are vertex- and edge-transitive. We introduce a new parameter $\varphi_k$ obtained from orthonormal representations of graphs and show the inequality $\varphi_k \leq \vartheta_k$. For both parameters, we study the smallest $k$ for which the parameter is equal to the number of vertices; these saturation parameters yield lower bounds on the chromatic number. We determine which vertex-weighted versions of these parameters are gauges, and discuss a natural definition for the $k$-fold theta body of a graph. We conclude with open questions comparing $\vartheta_k$, $\varphi_k$, $\vartheta(G\square K_k)$, and related convexifications.

We introduce a Lovász-type semidefinite parameter for balanced colouring of signed graphs. Its homomorphism target is a unit sphere equipped with an orthogonal involution: the fixed and anti-fixed components play different roles, while applying the involution to one endpoint realizes switching. The resulting parameter admits a symmetric formulation with two positive semidefinite matrices and an equally symmetric dual. It is also one half of the strict vector chromatic number of the ordinary graph formed by the negative edges of the double switching graph. Our second main contribution is a hierarchy of convex corners. Starting from the balanced induced subgraph polytope, we define signed analogues of the stable-set, theta, and clique-inequalities relaxations in the original vertex space. The signed theta body has an intrinsic two-matrix description, its all-ones gauge is the new scalar parameter, and the ordinary stable-set hierarchy is recovered exactly from signed digon graphs. For all-negative signatures, the construction becomes a relaxation of the maximum induced bipartite subgraph problem and is related to the generalized theta number. Finally, we propose a notion of balanced perfectness and show that it is strictly weaker than perfectness of the associated double-cover graph.

Compact graphs are graphs for which the fractional automorphism polytope has no genuinely fractional vertices. This paper proposes a quantum analogue of this idea by evaluating the fundamental magic unitary of the quantum automorphism group on states, which we show to produce a closed convex set of doubly stochastic matrices sitting between the classical automorphism polytope and the full fractional automorphism polytope. Our main result is that the natural quantum analogue of compactness is classical, that is, a quantum compact graph is classically compact. We also relate this set to the quantum orbital algebra and obtain a hierarchy of classical and quantum compactness pseudo notions. The framework recovers familiar consequences of compactness through commutants and suggests quantum analogues of generous transitivity and distance-transitivity. We also isolate examples and open problems indicating where quantum symmetries may strictly refine the classical compactness theory.

The performance of the Quantum Approximate Optimization Algorithm (QAOA) on noisy intermediate-scale quantum (NISQ) devices is strongly limited by sparse qubit connectivity. When interactions required by QAOA Hamiltonians are not aligned to the hardware topology, transpilation introduces SWAP gates, increasing circuit depth and noise. We propose a SWAP-free QAOA framework based on modifying the cost Hamiltonian so that it can be implemented natively on the hardware. We formulate this as a mixed-integer semidefinite program (MISDP) that selects a hardware-compatible approximation of the original cost matrix and optimizes the allocation of logical variables to physical qubits. We prove that the associated decision problem is NP-complete and derive theoretical guarantees relating the MISDP objective to the loss in the original optimization problem through the Lovász number of the hardware graph. Since solving MISDPs is practical only for small instances, we introduce heuristics based on spectral properties of the problem matrix and hardware graph. Our experiments on a cardinality-constrained quadratic optimization model for index tracking show competitive performance against a baseline representing ideal QAOA under SWAP-induced noise. These results indicate that, on sparse NISQ architectures, a hardware-aware approximation of the objective may be more effective than an exact but heavily transpiled Hamiltonian implementation.

In 1981, Lubiw proved that the fixed point free automorphism problem (FPFAut) is NP-complete: given a graph G, determine whether there exists an automorphism that maps no vertex of G to itself. We revisit this problem and prove that FPFAut remains NP-complete when restricted to split, bipartite, k-subdivided, and H-free graphs, if H is not an induced subgraph of P_4. The class of P_4-free graphs receives the special name of cographs. We provide a polynomial time algorithm for three extensions of cographs: bounded modular-width graphs, tree-cographs and P_4-sparse graphs. Our approach uses the well known modular decomposition of graphs. As a consequence, we generalize a result of Abiad et. al. on the problem of computing 2-homogeneous equitable partitions.

We initiate the study of a multivariate graph polynomial $Φ_G(x,y,z)$ that interpolates between classical counting polynomials for matchings and for cycle structures arising in the Harary--Sachs expansion of the characteristic polynomial. We focus on analytic properties and computational consequences. Our main contribution is an explicit, degree-uniform zero-free region for $Φ_G$ on bounded-degree graphs, obtained via the Fernández--Procacci convergence criterion for abstract polymer gases.

This paper is motivated by the following problem. Define a quantum walk on a positively weighted path (linear chain). Can the weights be tuned so that perfect state transfer occurs between the first vertex and any other position? We do not fully answer this question - in fact, we show that a particular case of this problem is equivalent to a solution of a particular case of the well known Prouhet-Tarry-Escott problem, deeming our original task certainly harder than anticipated. In our journey, we prove new results about sequences of orthogonal polynomials satisfying three-term recurrences. In particular, we provide a full characterization of when two polynomials belong to such a sequence, which (as far as we were able to ascertain) was known only for when their degrees differ by one.

Let $G$ be a graph on $n$ vertices with independence number $α(G)$. Let $\mathcal{E}(G)$ be the energy of a graph, defined as the sum of the absolute values of the adjacency eigenvalues of $G$. Using Graffiti, Fajtlowicz conjectured in the 1980s that $$\frac{1}{2}\mathcal{E}(G) \geq n - α(G).$$ In this paper we derive a semidefinite program formulation of the graph energy, and we use it to obtain several results that constitute a first step towards proving this conjecture. In particular, we show that $$\frac{1}{2}\mathcal{E}(G) \geq n - χ_f(\overline{G}) \quad \text{ and } \quad \frac{1}{2}\mathcal{E}(G) \geq n - H(G),$$ where $χ_f(G)$ is the fractional chromatic number and $H(G)$ is Hoffman's ratio number. As a byproduct of the SDP formulation we obtain several lower bounds for the graph energy that improve and refine previous results by Hoffman (1970) and Nikiforov (2007). The later author showed that the conjecture holds for almost all graphs. However, the graph families known to attain the conjecture with equality are highly structured and do not represent typical graphs. Motivated by this, we prove the following bound in support of the conjecture for the class of highly regular graphs $$\frac{1}{2}\mathcal{E}(G) \geq n - \vartheta^-(G),$$ where $\vartheta^-$ is Schrijver's theta number.

We introduce and study peak state transfer, a notion of high state transfer in qubit networks modeled by continuous-time quantum walks. Unlike perfect or pretty good state transfer, peak state transfer does not require fidelity arbitrarily close to 1, but crucially allows for an explicit determination of the time at which transfer occurs. We provide a spectral characterization of peak state transfer, which allows us to find many examples of peak state transfer, and we also establish tight lower bounds on fidelity and success probability. As a central example, we construct a family of weighted path graphs that admit peak state transfer over arbitrarily long distances with transfer probability approaching $π/4 \approx 0.78$. These graphs offer exponentially improved sensitivity over known perfect state transfer examples such as the weighted paths related to hypercubes, making them practical candidates for efficient quantum wires.

We use semidefinite programming to bound the fractional cut-cover parameter of graphs in association schemes in terms of their smallest eigenvalue. We also extend the equality cases of a primal-dual inequality involving the Goemans-Williamson semidefinite program, which approximates \textsc{maxcut}, to graphs in certain coherent configurations. Moreover, we obtain spectral bounds for \textsc{max 2-sat} when the underlying graphs belong to a symmetric association scheme by means of a certain semidefinite program used to approximate quadratic programs, and we further develop this technique in order to explicitly compute the optimum value of its gauge dual in the case of distance-regular graphs.

Whenever graphs admit equitable partitions, their quotient graphs highlight the structure evidenced by the partition. It is therefore very natural to ask what can be said about two graphs that have the same quotient according to certain equitable partitions. This question has been connected to the theory of fractional isomorphisms and covers of graphs in well-known results that we briefly survey in this paper. We then depart to develop theory of what happens when the two graphs have the same symmetrized quotient, proving a structural result connecting this with the existence of certain doubly stochastic matrices. We apply this theorem to derive a new characterization of when two graphs have the same combinatorial quotient, and we also study graphs with weighted vertices and the related concept of pseudo-equitable partitions. Our results connect to known old and recent results, and are naturally applicable to study quantum walks.

In this paper we prove a conjecture by Wocjan, Elphick and Anekstein (2018) which upper bounds the sum of the squares of the positive (or negative) eigenvalues of the adjacency matrix of a graph by an expression that behaves monotonically in terms of the vector chromatic number. One of our lemmas is a strengthening of the Cauchy-Schwarz inequality for Hermitian matrices when one of the matrices is positive semidefinite. A related conjecture due to Bollobás and Nikiforov (2007) replaces the vector chromatic number by the clique number and sums over the first two eigenvalues only. We prove a version of this conjecture with weaker constants. An important consequence of our work is a proof that for any fixed $r$, computing a rank $r$ optimum solution to the vector chromatic number semidefinite programming is NP-hard. We also present a vertex weighted version of some of our results, and we show how it leads quite naturally to the known vertex-weighted version of the Motzkin-Straus quadratic optimization formulation for the clique number.

Quantum walks on graphs are fundamental to quantum computing and have led to many interesting open problems in algebraic graph theory. This review article highlights three key classes of open problems in this domain; perfect state transfer, instantaneous uniform mixing, and average mixing matrices. In highlighting these open problems, our aim is to stimulate further research and exploration in this rapidly evolving field.

The Grundy number of a graph is the minimum number of colors needed to properly color the graph using the first-fit greedy algorithm regardless of the initial vertex ordering. Computing the Grundy number of a graph is an NP-Hard problem. There is a characterization in terms of induced subgraphs: a graph has a Grundy number at least k if and only if it contains a k-atom. In this paper, using properties of the matching polynomial, we determine the smallest possible largest eigenvalue of a k-atom. With this result, we present an upper bound for the Grundy number of a graph in terms of the largest eigenvalue of its adjacency matrix. We also present another upper bound using the largest eigenvalue and the size of the graph. Our bounds are asymptotically tight for some infinite families of graphs and provide improvements on the known bounds for the Grundy number of sparse random graphs.

We show that the smallest $α$ so that $αD + (1-α)A \succcurlyeq 0$ is at least $1/\vartheta(\overline{G})$, significantly improving upon a result due to Nikiforov and Rojo (2017). In fact, we display an even stronger connection: if the nonzero entries of $A$ are allowed to vary and those of $D$ vary accordingly, then we show that this smallest $α$ is in fact equal to $1/\vartheta(\overline{G})$. We also show other results obtained as an application of this optimization framework, including a connection to the well-known quadratic formulation for $ω(G)$ due to Motzkin and Straus (1964).

The (standard) average mixing matrix of a continuous-time quantum walk is computed by taking the expected value of the mixing matrices of the walk under the uniform sampling distribution on the real line. In this paper we consider alternative probability distributions, either discrete or continuous, and first we show that several algebraic properties that hold for the average mixing matrix still stand for this more general setting. Then, we provide examples of graphs and choices of distributions where the average mixing matrix behaves in an unexpected way: for instance, we show that there are probability distributions for which the average mixing matrices of the paths on three or four vertices have constant entries, opening a significant line of investigation about how to use classical probability distributions to sample quantum walks and obtain desired quantum effects. We present results connecting the trace of the average mixing matrix and quantum walk properties, and we show that the Gram matrix of average states is the average mixing matrix of a certain related distribution. Throughout the text, we employ concepts of classical probability theory not usually seen in texts about quantum walks.

In this short paper we prove that the sum of the squares of negative (or positive) eigenvalues of the adjacency matrix of a graph is lower bounded by the sum of the degrees divided by the vector chromatic number, resolving a conjecture by Wocjan, Elphick and Anekstein (2018).

We prove that the only trees that admit perfect state transfer according to the adjacency matrix model are $P_2$ and $P_3$. This answers a question first asked by Godsil in 2012 and proves a conjecture by Coutinho and Liu from 2015.

The main result of this paper states that in a rooted product of a path with rooted graphs which are disposed in a somewhat mirror-symmetric fashion, there are distinct eigenvalues supported in the end vertices of the path which are too close to each other: their difference is smaller than the square root of two in the even distance case, and smaller than one in the odd distance case. As a first application, we show that these end vertices cannot be involved in a quantum walk phenomenon known as perfect state transfer, significantly strengthening a recent result by two of the authors along with Godsil and van Bommel. For a second application, we show that there is no balanced integral tree of odd diameter bigger than three, answering a question raised by Híc and Nedela in 1998. Our main technique involves manipulating ratios of characteristic polynomials of graphs and subgraphs into continued fractions, and exploring in detail their analytic properties. We will also make use of a result due to Pólya and Szegö about functions that preserve the Lebesgue measure, which as far as we know is a novel application to combinatorics. In the end, we connect our machinery to a recently introduced algorithm to locate eigenvalues of trees, and with our approach we show that any graph which contains two vertices separated by a unique path that is the subdivision of a bridge with at least six inner vertices cannot be integral. As a minor corollary this implies that most trees are not integral, but we believe no one thought otherwise.

We provide a characterization of perfect state transfer in a quantum walk whose Hamiltonian is given by the normalized Laplacian. We discuss a connection between classical random walks and quantum walks only present in this model, and we also rule out several trees as candidates to host perfect state transfer.