arXiv++ Combinatorics

Dominating Set is a well-known combinatorial optimization problem which finds application in computational biology or mobile communication. Because of its $\mathrm{NP}$-hardness, one often turns to heuristics for good solutions. Many such heuristics have been empirically tested and perform rather well. However, it is not well understood why their results are so good or even what guarantees they can offer regarding their runtime or the quality of their results. For this, a strong theoretical foundation has to be established. We contribute to this by rigorously analyzing a Random Local Search (RLS) algorithm that aims to find a minimum dominating set on a graph. We consider its performance on cycle graphs with $n$ vertices. We prove an upper bound for the expected runtime until an optimum is found of $\mathcal{O}\left(n^4\log^2(n)\right)$. In doing so, we introduce several models to represent dominating sets on cycles that help us understand how RLS explores the search space to find an optimum. For our proof we use techniques which are already quite popular for the analysis of randomized algorithms. We further apply a special method to analyze a reversible Markov Chain, which arises as a result of our modeling. This method has not yet found wide application in this kind of runtime analysis.

In a digraph $D$,a quasi-kernel is an independent set $Q$ such that for every vertex $u$, there is a vertex $v \in Q$ satisfying $\text{dist}(v,u)\leq 2$. In 1974 Chvátal and Lovász showed every digraph contains a quasi-kernel. In 1976, P. L. Erdős and Székely conjectured that every sourceless digraph has a quasi-kernel of order at most $\frac{n}{2}$. Despite significant recent attention by the community the problem remains far from solved, with no bound of the form $(1-ε)n$ known. We introduce a polynomial time algorithm which greedily constructs a small quasi-kernel. Using this algorithm we show that if $D$ is a $\vec{K}_{1,d}$-free digraph, then $D$ has a quasi-kernel of order at most $\frac{(d^2 - 2d + 2)n}{d^2-d+1}$. By refining this argument we prove that for any $D$ with maximum out-degree $3$ this algorithm constructs a quasi-kernel of order at most ${4n}/{7}$. Finally, we consider the problem in digraphs forbidding certain orientation of short cycles as subgraphs, concluding that all orientations $D$ of a graph $G$ with girth at least $7$ have a quasi-kernel of order at most $\frac{(d^2+4)n}{(d+2)^2}$, where $d$ is the maximum out-degree of $D$.

We study covering graphs of the Paley graph associated to a finite field of characteristic p in the case where the covering transformation group is cyclic of prime order distinct from p. When the field has q = p elements, we show that the eigenvalues of the adjacency matrix determine the graph isomorphism class among translation invariant covers. When q = p^r > p, we construct examples of cospectral covering graphs that are not isomorphic as graphs.

Symplectic geometry plays an increasingly important role in mathematics, physics and applications, and naturally gives rise to interesting matrix families and properties. One of these is the notion of symplectic eigenvalues, whose existence for positive definite matrices is known as Williamson's theorem or decomposition. This notion of symplectic eigenvalues gives rise to inverse problems. We introduce the inverse symplectic eigenvalue problem for positive definite matrices described by a labeled graph and solve it for several families of labeled graphs and all labeled graphs of order four. To solve these problems we develop various tools such as the Strong Symplectic Spectral Property (SSSP) and its consequences such as the Supergraph Theorem, the Bifurcation Theorem, and the Matrix Liberation Lemma for symplectic eigenvalues, graph couplings to describe collections of labelings of a graph that produce the same symplectic eigenvalues, and coupled graph zero forcing. We establish numerous results for symplectic positive definite matrices, including a sharp lower bound on the number of nonzero entries of such a matrix (or equivalently, the number of edges in its graph). This lower bound is a consequence of a lower bound on the sum of number of nonzero entries in an irreducible positive definite matrix and its inverse.

We generalize Tutte's integer flows and the $d$-dimensional Euclidean flows of Mattiolo, Mazzuoccolo, Rajník, and Tabarelli to \emph{$d$-dimensional $p$-normed nowhere-zero flows} and define the corresponding flow index $φ_{d,p}(G)$ to be the infimum over all real numbers $r$ for which $G$ admits a $d$-dimensional $p$-normed nowhere-zero $r$-flow. For any bridgeless graph $G$ and any $p\ge 1$, we establish general upper bounds, including $φ_{2,p}(G) \le 3$, $φ_{3,p}(G) \le 1+\sqrt{2}$, and tight bounds for graphs admitting a $4$-NZF. For graphs with oriented $(k+1)$-cycle $2l$-covers, we show that $φ_{k,p}(G) = 2$, which implies $φ_{2,p}(G) = 2$ for graphs admitting a nowhere-zero $3$-flow and $φ_{3,p}(G) = 2$ for those admitting a nowhere-zero $4$-flow. These results extend classical flow theory to arbitrary norms, provide supporting evidences for Tutte's $5$-flow Conjecture and Jain's $S^2$-Flow Conjecture, and connect combinatorial flows with geometric and topological perspectives.

We prove a family of partition identities involving integer partitions in three colors. The conditions imposed on the types of partitions appearing in these identities involve constraints that arise in the Rogers-Ramanujan and Andrews-Gordon identities, as well as in their recent extensions. The identities established in this paper are associated with the $A_r$ surface singularities via the arc HP-series, which provides a measure of singularities of algebraic varieties defined using arc spaces.

Recently, a construction of minimal codes arising from a family of almost Ramanujan graphs was shown. Ramanujan graphs are examples of expander graphs that minimize the second-largest eigenvalue of their adjacency matrix. We call such graphs Ramanujan, since all known non-trivial constructions imply the Ramanujan conjecture on arithmetical functions. In this paper, we prove that some families of tangent graphs of finite classical polar spaces satisfy Ramanujan's condition. If the polarity is unitary, or it is orthogonal and the quadric is over the binary field, the tangent graphs are strongly regular, and we know their spectrum. By direct computation, it is possible to show which families of tangent graphs are Ramanujan.

We show that the (non-Noetherian) Stanley-Reisner ring of the order complex of certain intervals in the Bruhat order on the infinite symmetric group $S_\infty$ of all auto-bijections of $\mathbb{N}$ is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. This gives an infinite-dimensional version of results due to Edelman, Björner, and Kind and Kleinschmidt for finite symmetric groups $S_n$.