arXiv++ Combinatorics

Given a finite Borel measure $μ$ in $\mathbb{R}^d$, when can one find $d$ mutually orthogonal hyperplanes such that \emph{every pair} of them cuts $μ$ into four equal parts? Makeev [2] stated this result and outlined a proof strategy, but the key steps were left incomplete. We give the first complete proof. The key step is a Borsuk--Ulam-type theorem for the orthogonal group~$O(k)$: every continuous equivariant map from~$O(k)$ to a certain representation of the hyperoctahedral group~$B_k$ must vanish somewhere. We construct an explicit model map whose zero set consists of exactly one free $B_k$-orbit --- the set of all signed eigenbases of a fixed generic self-adjoint operator~$A$ --- verify nondegeneracy by an explicit derivative calculation, and conclude by the equivariant degree principle. The proof requires only linear algebra and elementary topology. The four-partition theorem follows immediately: the orthogonal hyperplanes are encoded as a frame in $O(d)$, and the equivariant map records the imbalance of $μ$ across each pair of hyperplanes. A zero of this map is the desired configuration. The result is a special case of a general zero theorem for Stiefel manifolds proved in [5] by different methods.

We study a variant of the graph polytopes of a path and of a cycle where we replace the inequality $x_{i} + x_{i+1} \leq 1$ with the two inequalities $(1-α) \cdot x_{i} + α\cdot x_{i+1} \leq α$ for $0 \leq x_{i} \leq α$ and $α\cdot x_{i} + (1-α) \cdot x_{i+1} \leq α$ for $α\leq x_{i} \leq 1$. Using a self-adjoint operator and its eigenvalues we obtain convergent series for their volumes. As a corollary we obtain that the volumes of the set associated to a path on $n$ vertices and the set associated to a cycle on $n+1$ vertices are related by a constant factor of $α$.

We introduce a canonical operator-theoretic construction associated to a finite geometric lattice, in which a simple nonassociative ``diamond product'' on the lattice basis gives rise to a family of creation operators indexed by atoms and a corresponding self-adjoint Hamiltonian on $\mathbb R[L]$. A key structural feature is that the Hamiltonian changes rank by at most one, so that its compression to the rank-radial subspace is a Jacobi matrix. In this way, geometric lattices give rise in a direct and uniform manner to finite orthogonal polynomial systems. The Jacobi coefficients admit explicit combinatorial formulas. For Boolean lattices one obtains the centered Krawtchouk Jacobi matrix, while for projective geometries one obtains natural $q$-deformations consistent with the $q$-Hahn family. The construction applies to arbitrary geometric lattices and requires no symmetry assumptions.

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $τ$ of $W$ such that $τ_{σθ}\in \{τ_θ,\ στ_θ\}$ for all $θ\in W$ and all reflections $σ$ (analogous to being 1-Lipschitz with respect to the Bruhat order on $W$) is either constant or a right translation. A somewhat stronger version holds for $S_n$, where it suffices that $σ$ range over smaller, $θ$-dependent sets of reflections. These combinatorial results have a number of consequences concerning continuous spectrum- and commutativity-preserving maps $\mathrm{SU}(n)\to M_n$ defined on special unitary groups: every such map is a conjugation composed with (a) the identity; (b) transposition, or (c) a continuous diagonal spectrum selection. This parallels and recovers Petek's analogous statement for self-maps of the space $H_n\le M_n$ of self-adjoint matrices, strengthening it slightly by expanding the codomain to $M_n$.

Given a finite simple graph $G$ on $m$ vertices, the zeon combinatorial Laplacian $Λ$ of $G$ is an $m\times m$ graph having entries in the complex zeon algebra $\mathbb{C}\mathfrak{Z}$. It is shown here that if the graph has a unique vertex $v$ of degree $k$, then the Laplacian has a unique zeon eigenvalue $λ$ whose scalar part is $k$. Moreover, the canonical expansion of the nilpotent (dual) part of $λ$ counts the cycles based at vertex $v$ in $G$. With an appropriate generalization of the zeon combinatorial Laplacian of $G$, all cycles in $G$ are counted by $Λ$. Moreover when a generalized zeon combinatorial Laplacian $Λ$ can be viewed as a self-adjoint operator on the $\mathbb{C}\mathfrak{Z}$-module of $m$-tuples of zeon elements, it can be interpreted as a quantum random variable whose values reveal the cycle structure of the underlying graph.

We define a new family of algebraic varieties, called exotic Spaltenstein varieties. These generalise the notion of Spaltenstein varieties (which are the partial flag analogues to classical Springer fibres) to the case of exotic Springer fibres. We show that, for self-adjoint nilpotent endomorphisms of order two, the top-dimensional irreducible components are in bijection with semi-standard Young bitableaux, via constructing an explicit map. Moreover, we are able to give a combinatorial formula for this top dimension. We conjecture that this description of the irreducible components holds for nilpotent endomorphisms of arbitrary order. Finally, we mention some connections to the Robinson-Schensted-Knuth correspondence.

We discuss a central limit theorem in the framework of the group algebra of the Thompson group $F$. We consider the sequence of self-adjoint elements given by $a_n=\frac{g_n+g_n^{*}}{\sqrt{2}}$ in the noncommutative probability space $(\mathbb{C}(F),\varphi)$, where the expectation functional $\varphi$ is the trace associated to the left regular representation of $F$, and the $g_n$-s are the generators of $F$ in its standard infinite presentation. We show that the limit law of the sequence $s_n = \frac{a_0+\cdots+a_{n-1}}{\sqrt{n}}$ is the standard normal distribution.

The graph Laplacian is a fundamental object in the analysis of and optimization on graphs. This operator can be extended to a simplicial complex $K$ and therefore offers a way to perform ``signal processing" on $p$-(co)chains of $K$. Recently, the concept of persistent Laplacian was proposed and studied for a pair of simplicial complexes $K\hookrightarrow L$ connected by an inclusion relation, further broadening the use of Laplace-based operators. In this paper, we expand the scope of the persistent Laplacian by generalizing it to a pair of simplicial complexes connected by a simplicial map $f: K \to L$. Such simplicial map setting arises frequently, e.g., when relating a coarsened simplicial representation with an original representation, or the case when the two simplicial complexes are spanned by different point sets i.e. cases in which it does not hold that $K\subset L$. However, the simplicial map setting is more challenging than the inclusion setting since the underlying algebraic structure is more complicated. We present a natural generalization of the persistent Laplacian to the simplicial setting. To shed insight on the structure behind it, as well as to develop an algorithm to compute it, we exploit the relationship between the persistent Laplacian and the Schur complement of a matrix. A critical step is to view the Schur complement as a functorial way of restricting a self-adjoint PSD operator to a given subspace. As a consequence, we prove that persistent Betti numbers of a simplicial map can be recovered by persistent Laplacians. We then propose an algorithm for finding the matrix representations of persistent Laplacians which in turn yields a new algorithm for computing persistent Betti numbers of a simplicial map. Finally, we study the persistent Laplacian on simplicial towers under simplicial maps and establish monotonicity results for their eigenvalues.

The recently developed notion of action convergence by Backhausz and Szegedy unifies and generalises the dense (graphon) and local-global (graphing) convergences of graph sequences. This is done through viewing graphs as operators and examining their dynamical properties. Suppose $(A_n)_n^\infty$ is a sequence of operators representing graphs, Cauchy with respect to the action metric. If $(A_n)_n^\infty$ has uniformly bounded $(p,q)$-norms where $(p,q)$ is any pair in $[1,\infty)\times(1,\infty)$, then Backhausz and Szegedy prove that $(A_n)_n^\infty$ has a limit operator which, moreover, must be self-adjoint and positivity-preserving. In the present work, we construct a large class of graph sequences whose only uniformly bounded $(p,q)$-norm is the $(\infty,1)$-norm, but which converge nonetheless. We show that the limit operators in this case are not unique, not self-adjoint, and need not be positivity-preserving. In particular, in the action convergence language, this means that the space of graphops is not compact. By identifying these multiple limits, we also demonstrate that $c$-regularity is not invariant under weak equivalence, where $c$ is the eigenvalue of the identity function, when the identity function is an eigenfunction.

We consider the graph whose vertex set is a conjugacy class ${\mathcal C}$ consisting of finite-rank self-adjoint operators on a complex Hilbert space $H$. The dimension of $H$ is assumed to be not less than $3$. In the case when operators from ${\mathcal C}$ have two eigenvalues only, we obtain the Grassmann graph formed by $k$-dimensional subspaces of $H$, where $k$ is the smallest dimension of eigenspaces. Classical Chow's theorem describes automorphisms of this graph for $k>1$. Under the assumption that operators from ${\mathcal C}$ have more than two eigenvalues we show that every automorphism of the graph is induced by a unitary or anti-unitary operator up to a permutation of eigenspaces with the same dimensions. In contrast to this result, Chow's theorem states that there are graph automorphisms induced by semilinear automorphisms not preserving orthogonality if ${\mathcal C}$ is formed by operators with precisely two eigenvalues.

The notions of magnetic difference operator defined on weighted graphs or magnetic exterior derivative are discrete analogues of the notionof covariant derivative on sections of a fibre bundle and its extension on differential forms. In this paper, we extend this notion to certain 2-simplicial complexes called triangulations, in a manner compatible with changes of gauge. Then we study the magnetic Gauss-Bonnet operator naturally defined in this context and introduce the geometric hypothesis of $χ-$completeness which ensures the essential self-adjointness of this operator. This gives also the essential self-adjointness of the magnetic Laplacian on triangulations. Finally we introduce an hypothesis of bounded curvature for the magnetic potential which permits to characterize the domain of the self-adjoint extension.

The conventional spectral mapping theorem for quantum walks can only be applied for walks employing a shift operator whose square is the identity. This theorem gives most of the eigenvalues of the time evolution $U$ by lifting the eigenvalues of an induced self-adjoint matrix $T$ onto the unit circle on the complex plane. We acquire a new spectral mapping theorem for the Grover walk with a shift operator whose cube is the identity on finite graphs. Moreover, graphs we can consider for a quantum walk with such a shift operator is characterized by a triangulation. We call these graphs triangulable graphs in this paper. One of the differences between our spectral mapping theorem and the conventional one is that lifting the eigenvalues of $T-1/2$ onto the unit circle gives most of the eigenvalues of $U$.

Let $H$ be a complex Hilbert space. Consider the ortho-Grassmann graph $Γ^{\perp}_{k}(H)$ whose vertices are $k$-dimensional subspaces of $H$ (projections of rank $k$) and two subspaces are connected by an edge in this graph if they are compatible and adjacent (the corresponding rank-$k$ projections commute and their difference is an operator of rank $2$). Our main result is the following: if $\dim H\ne 2k$, then every automorphism of $Γ^{\perp}_{k}(H)$ is induced by a unitary or anti-unitary operator; if $\dim H=2k\ge 6$, then every automorphism of $Γ^{\perp}_{k}(H)$ is induced by a unitary or anti-unitary operator or it is the composition of such an automorphism and the orthocomplementary map. For the case when $\dim H=2k=4$ the statement fails. To prove this statement we compare geodesics of length two in ortho-Grassmann graphs and characterise compatibility (commutativity) in terms of geodesics in Grassmann and ortho-Grassmann graphs. At the end, we extend this result on generalised ortho-Grassmann graphs associated to conjugacy classes of finite-rank self-adjoint operators.

Let $p(Y_1, \dots, Y_d, Z_1, \dots, Z_e)$ be a self-adjoint noncommutative polynomial, with coefficients from $\mathbb{C}^{r \times r}$, in the indeterminates $Y_1, \dots, Y_d$ (considered to be self-adjoint), the indeterminates $Z_1, \dots, Z_e$, and their adjoints $Z_1^*, \dots, Z_e^*$. Suppose $Y_1, \dots, Y_d$ are replaced by independent random $n \times n$ matching matrices, and $Z_1, \dots, Z_e$ are replaced by independent random $n \times n$ permutation matrices. Assuming for simplicity that $p$'s coefficients are $0$-$1$ matrices, the result can be thought of as a kind of random $rn$-vertex graph $G$. As $n \to \infty$, there will be a natural limiting infinite graph $X$ that covers any finite outcome for $G$. A recent landmark result of Bordenave and Collins shows that for any $\varepsilon > 0$, with high probability the spectrum of a random $G$ will be $\varepsilon$-close in Hausdorff distance to the spectrum of $X$ (once the suitably defined "trivial" eigenvalues are excluded). We say that $G$ is "$\varepsilon$-near fully $X$-Ramanujan". Our work has two contributions: First we study and clarify the class of infinite graphs $X$ that can arise in this way. Second, we derandomize the Bordenave-Collins result: for any $X$, we provide explicit, arbitrarily large graphs $G$ that are covered by $X$ and that have (nontrivial) spectrum at Hausdorff distance at most $\varepsilon$ from that of $X$. This significantly generalizes the recent work of Mohanty et al., which provided explicit near-Ramanujan graphs for every degree $d$ (meaning $d$-regular graphs with all nontrivial eigenvalues bounded in magnitude by $2\sqrt{d-1} + \varepsilon$). As an application of our main technical theorem, we are also able to determine the "eigenvalue relaxation value" for a wide class of average-case degree-$2$ constraint satisfaction problems.

For any multi-graph $G$ with edge weights and vertex potential, and its universal covering tree $\mathcal{T}$, we completely characterize the point spectrum of operators $A_{\mathcal{T}}$ on $\mathcal{T}$ arising as pull-backs of local, self-adjoint operators $A_{G}$ on $G$. This builds on work of Aomoto, and includes an alternative proof of the necessary condition for point spectrum he derived in (Aomoto, 1991). Our result gives a finite time algorithm to compute the point spectrum of $A_{\mathcal{T}}$ from the graph $G$, and additionally allows us to show that this point spectrum is contained in the spectrum of $A_{G}$. Finally, we prove that typical pull-back operators have a spectral delocalization property: the set of edge weight and vertex potential parameters of $A_{G}$ giving rise to $A_{\mathcal{T}}$ with purely absolutely continuous spectrum is open and its complement has large codimension.

Two distinct projections of finite rank $m$ are adjacent if their difference is an operator of rank two or, equivalently, the intersection of their images is $(m-1)$-dimensional. We extend this adjacency relation on other conjugacy classes of finite-rank self-adjoint operators which leads to a natural generalization of Grassmann graphs. Let ${\mathcal C}$ be a conjugacy class formed by finite-rank self-adjoint operators with eigenspaces of dimension greater than $1$. Under the assumption that operators from ${\mathcal C}$ have at least three eigenvalues we prove that every automorphism of the corresponding generalized Grassmann graph is the composition of an automorphism induced by a unitary or anti-unitary operator and the automorphism obtained from a permutation of eigenspaces with the same dimensions. The case when the operators from ${\mathcal C}$ have two eigenvalues only is covered by classical Chow's theorem which says that there are graph automorphisms induced by semilinear automorphisms not preserving orthogonality.

This paper presents a combinatorial study of sums of integer powers of the cotangent which is a popular theme in classical calculus. Our main tool the realization of cotangent values as eigenvalues of a simple self-adjoint matrix with integer matrix. We use the trace method to draw conclusions about integer values of the sums and expand generating functions to obtain explicit evaluations. It is remarkable that throughout the calculations the combinatorics are governed by the higher tangent and arctangent numbers exclusively. Finally we indicate a new approximation of the values of the Riemann zeta function at even integer arguments.

We introduce and study a class of determinantal probability measures generalising the class of discrete determinantal point processes. These measures live on the Grassmannian of a real, complex, or quaternionic inner product space that is split into pairwise orthogonal finite-dimensional subspaces. They are determined by a positive self-adjoint contraction of the inner product space, in a way that is equivariant under the action of the group of isometries that preserve the splitting.

The magnetic Laplacian (also called the line bundle Laplacian) on a connected weighted graph is a self-adjoint operator wherein the real-valued adjacency weights are replaced by unit complex-valued weights $\{ω_{xy}\}_{xy\in E}$, satisfying the condition that $ω_{xy}=\overline{ω_{yx}}$ for every directed edge $xy$. When properly interpreted, these complex weights give rise to magnetic fluxes through cycles in the graph. In this paper we establish the spectrum of the magnetic Laplacian, as a set of real numbers with multiplicities, on the Sierpinski gasket graph ($SG$) where the magnetic fluxes equal $α$ through the upright triangles, and $β$ through the downright triangles. This is achieved upon showing the spectral self-similarity of the magnetic Laplacian via a 3-parameter map $\mathcal{U}$ involving non-rational functions, which takes into account $α$, $β$, and the spectral parameter $λ$. In doing so we provide a quantitative answer to a question of Bellissard [Renormalization Group Analysis and Quasicrystals (1992)] on the relationship between the dynamical spectrum and the actual magnetic spectrum. Our main theorems lead to two applications. In the case $α=β$, we demonstrate the approximation of the magnetic spectrum by the filled Julia set of $\mathcal{U}$, the Sierpinski gasket counterpart to Hofstadter's butterfly. Meanwhile, in the case $α,β\in \{0,\frac{1}{2}\}$, we can compute the determinant of the magnetic Laplacian determinant and the corresponding asymptotic complexity.

In this note, we show how to obtain a "characteristic power series" of graphons -- infinite limits of dense graphs -- as the limit of normalized reciprocal characteristic polynomials. This leads to a new characterization of graph quasi-randomness and another perspective on spectral theory for graphons, a complete description of the function in terms of the spectrum of the graphon as a self-adjoint kernel operator. Interestingly, while we apply a standard regularization to classical determinants, it is unclear how necessary this is.