arXiv++ Combinatorics

Set $[n]=\{1, 2, \ldots , n\}$. The hypergrid $[t]^n$ is the collection of functions $f: \ [n]\rightarrow [t]$. We equip it with the natural partial order by letting $f\leq g$ whenever $f(x)\leq g(x)$ holds for all $x\in [n]$. Given a poset $P$ which can be embedded as an induced subposet of $[t]^n$, the induced poset saturation function $\mathrm{sat}^{\star}([t]^n, P)$ denotes the minimum size of a subset of $[t]^n$ that is both induced $P$-free and induced $P$-saturated. We show that for all $t\geq 2$, $\mathrm{sat}^{\star}([t]^n, P)$ satisfies a dichotomy: for every poset $P$, either there exists a constant $C_P$ such that $\mathrm{sat}^{\star}([t]^n, P)=C_P$ for all $n$ sufficiently large, or $\mathrm{sat}^{\star}([t]^n, P)=Ω(\sqrt{n})$. We also show chains fall in the former part of the dichotomy, while posets with the unique twin cover property fall in the latter part. These contributions generalize a number of results obtained by various authors in the hypercube ($t=2$) setting; the transition to the hypergrid setting provides novel challenges, however, and requires some new ideas.

We construct a new family of distance-biregular graphs related to hyperovals and a new sporadic example of a distance-biregular graph related to Mathon's perp system. The infinite family can be explained using 2-Y- homogeneity, while the sporadic example belongs to a generalization of a construction by Delorme. Additionally, we give a new non-existence criteria for distance-biregular graphs.

Evra, Feigon, Maurischat, and Parzanchevski (2023) introduced a biregular extension of Cayley graphs. In this paper, we reformulate their definition and provide some basic properties. We also show how these Cayley incidence graphs relate to various notions of Cayley hypergraphs. We further establish connections between Cayley incidence graphs and certain geometric and combinatorial structures, including coset geometries, difference sets and cages.

We introduce the notion of P-polynomial coherent configurations and show that they can have at most two fibres. We then introduce a class of two-fibre coherent configurations which have two distinguished bases for the coherent algebra, similar to the Bose-Mesner algebra of an association scheme. Examples of these bipartite coherent configurations include the P-polynomial class of distance-biregular graphs, as well as quasi-symmetric designs and strongly regular designs.

Fiol, Garriga, and Yebra introduced the notion of pseudo-distance-regular vertices, which they used to develop a new characterization of distance-regular graphs. Building on that work, Fiol and Garriga developed the spectral excess theorem for distance-regular graphs. We extend both these characterizations to distancebiregular graphs and show how these characterizations can be used to study bipartite graphs with distance-regular halved graphs and graphs with the spectrum of a distance-biregular graph.

Let $b(k,\ell,θ)$ be the maximum number of vertices of valency $k$ in a $(k,\ell)$-semiregular bipartite graph with second largest eigenvalue $θ$. We obtain an upper bound for $b(k,\ell,θ)$ for $0 < θ< \sqrt{k-1} + \sqrt{\ell-1}$. This bound is tight when there exists a distance-biregular graph with particular parameters, and we develop the necessary properties of distance-biregular graphs to prove this.

Quantum walks on undirected graphs have been studied using symmetric matrices, such as the adjacency or Laplacian matrix, and many results about perfect state transfer are known. We extend some of those results to oriented graphs. We also study the phenomena, unique to oriented graphs, of multiple state transfer, where there is a set of vertices such that perfect state transfer occurs between every pair in that set. We give a characterization of multiple state transfer, and a new example of a graph where it occurs.