arXiv++ Combinatorics

In this paper, we establish a structural compatibility between the Kronecker product of bipartite graphs that admit polarity and their polarity quotient, and provide a sharp upper bound on the diameter of these graphs. For certain factor graphs, the diameter of the Kronecker product meets the upper bound on diameter, among them the generalized polygons. Generalized polygons with their polarity quotients have been notably used in the past to construct very large graphs. We apply the structural theorems in the paper to generalized polygons $\mathbb{G}_n(q,q)$ used as factor graphs, and build three new families of graphs of large order covering an infinite but sparse set of degrees, one of diameter $2$, one of diameter $3$ and one of diameter $5$. These asymptotically approach a theoretical upper bound on graph size as orders $q$ and $r$ of the generalized polygon factors increase. As an example, we develop one such family, derived from generalized quadrangles, and construct new diameter-$3$ graphs of low degree that are larger than any previously known at their degrees.

A star-product operation may be used to create large graphs from smaller factor graphs. Network topologies based on star-products demonstrate several advantages including low-diameter, high scalability, modularity and others. Many state-of-the-art diameter-2 and -3 topologies~(Slim Fly, Bundlefly, PolarStar etc.) can be represented as star products. In this paper, we explore constructions of edge-disjoint spanning trees~(EDSTs) in star-product topologies. EDSTs expose multiple parallel disjoint pathways in the network and can be leveraged to accelerate collective communication, enhance fault tolerance and network recovery, and manage congestion. Our EDSTs have provably maximum or near-maximum cardinality which amplifies their benefits. We further analyze their depths and show that for one of our constructions, all trees have order of the depth of the EDSTs of the factor graphs, and for all other constructions, a large subset of the trees have that depth.

We present PolarStar, a novel family of diameter-3 network topologies derived from the star product of low-diameter factor graphs. PolarStar gives the largest known diameter-3 network topologies for almost all radixes, thus providing the best known scalable diameter-$3$ network. Compared to current state-of-the-art diameter-$3$ networks, PolarStar achieves $1.3\times$ geometric mean increase in scale over Bundlefly, $1.9\times$ over Dragonfly, and $6.7\times$ over {3-D} HyperX. PolarStar has many other desirable properties, including a modular layout, large bisection, high resilience to link failures and a large number of feasible configurations for every radix. We give a detailed evaluation with simulations of synthetic and real-world traffic patterns and show that PolarStar exhibits comparable or better performance than current diameter-3 networks.

An $n$-cap in $k$-dimensional projective space is a set of $n$ points so that no three lie on a line. In this note, we provide an algorithm to count the number of $n$-caps in $\mathbb{P}^3(\mathbb{F}_q)$, which follows from our recent paper [9]. We then give exact formulas for the number of $n$-caps when $n \le 7$. The formulas are polynomial in $q$ when $n \le 6$ and quasipolynomial in $q$ when $n = 7$.

It is well-known that for each fixed $n$ and $e$, the number of subgroups of index $p^e$ in $\mathbb{Z}^n$ is a polynomial in $p$. Is this true for \emph{subrings} in $\mathbb{Z}^n$ of index $p^e$? Let $f_n(k)$ denote the number of subrings of index $k$ in $\mathbb{Z}^n$. We can define the subring zeta function over $\mathbb{Z}^n$ to be $ζ_{\mathbb{Z}^n}^R(s) = \sum_{k \ge 1} f_n(k)k^{-s}$. Is this zeta function uniform? These two questions are closely related. In this paper, we describe what is known about these questions, and we make progress toward answering them in a couple ways. First, we describe the connection between counting subrings of index $p^e$ in $\mathbb{Z}^n$ and counting the solutions to a corresponding set of equations modulo various powers of $p$. We then show that the number of solutions to certain subsets of these equations is a polynomial in $p$ for any fixed $n$. On the other hand, we give an example for which the number of solutions to a certain subset of equations is not polynomial. Finally, we give an explicit polynomial formula for the number of `irreducible' subrings of index $p^{n+2}$ in $\mathbb{Z}^n$.

An $n$ arc in $(k-1)$-dimensional projective space is a set of $n$ points so that no $k$ lie on a hyperplane. In 1988, Glynn gave a formula to count $n$-arcs in the projective plane in terms of simpler combinatorial objects called superfigurations. Several authors have used this formula to count $n$-arcs in the projective plane for $n \le 10$. In this paper, we determine a formula to count $n$-arcs in projective 3-space. We then use this formula to give exact expressions for the number of $n$-arcs in $\mathbb{P}^3(\mathbb{F}_q)$ for $n \le 7$, which are polynomial in $q$ for $n \le 6$ and quasipolynomial in $q$ for $n=7$. Lastly, we generalize to higher-dimensional projective space.

Let $f_n(k)$ be the number of subrings of index $k$ in $\mathbb{Z}^n$. We show that results of Brakenhoff imply a lower bound for the asymptotic growth of subrings in $\mathbb{Z}^n$, improving upon lower bounds given by Kaplan, Marcinek, and Takloo-Bighash. Further, we prove two new lower bounds for $f_n(p^e)$ when $e \ge n-1$. Using these bounds, we study the divergence of the subring zeta function of $\mathbb{Z}^n$ and its local factors. Lastly, we apply these results to the problem of counting orders in a number field.

In this paper, we explore the structure of $\mathbb{Z}/ m\mathbb{Z}$ in terms of its orbits under modular exponentiation, illustrating this with a sequential power graph that is naturally derived from the orbits by connecting elements of $\mathbb{Z}/ m\mathbb{Z}$ in the orbit order in which they appear. We find that this graph has a great deal of fascinating algebraic structure. The connected components are composed of orbits that all share at least one element. The vertex sets of the connected components are shown to depend on the factorization of $m$; in fact, the connected components are completely determined by the units of $\mathbb{Z}/ m\mathbb{Z}$, the idempotents of $\mathbb{Z}/ m\mathbb{Z}$ and the square-free divisors of $m$. Both tails and non-tails of the components can be described explicitly and algebraically in terms of these elements of $\mathbb{Z}/ m\mathbb{Z}$. Finally, a lattice of components can be used to show homomorphisms between the non-tails of any two comparable components in the lattice. This extensive structure is used here to prove an algebraic identity on the roots of an idempotent mod $m$, and may be exploited to prove other identities as well.