arXiv++ Combinatorics

Saito's criterion is a foundational result that algebraically characterizes free hyperplane arrangements via the determinant of a square matrix of logarithmic derivations. It is natural to ask whether this criterion can be generalized to the non-free setting. To address this, we formulate a general problem concerning the maximal minors of a $p \times \ell$ ($p \geq \ell$) derivation matrix and the algebraic relations among their associated coefficients. Focusing on strictly plus-one generated (SPOG) arrangements, we completely solve this minor-based recognition problem under the assumption that $\operatorname{pd} D(\mathcal{A}) \leq 1$. As a direct consequence, we obtain a purely algebraic, necessary and sufficient characterization of SPOG arrangements in dimension three. Ultimately, this framework provides a computable bridge to post-free arrangement theory.

Motivated by the Ruzsa-Szemerédi problem, Imolay, Karl, Nagy, and Váli studied a variant of Turán number $ex_F(n,G)$ (called the $F$-multicolor Turán number of $G$), defined as the maximum number of edge-disjoint copies of $F$ on $n$-vertex set such that there is no copies of $G$ whose edges come from distinct copies of $F$. They proved that if there is no homomorphism from $G$ to $F$, then $n^2/v(F)^2+o(n^2)\leq ex_F(n,G)\leq ex(n,G)/e(F)+o(n^2)$, and otherwise $ex_F(n,G) = o(n^2)$. The quantity $ex_F(n,G)$ asymptotically equals the maximum size of an $F$-packing in an $n$-vertex $G$-free graph, and attains the upper bound $ex(n,G)/e(F)+o(n^2)$ if and only if $χ(G) > χ(F)$. In this paper, we provide conditions under which $ex_F(n,G)$ does not achieve the lower bound $n^2/v(F)^2 + o(n^2)$, and describe additional graph pairs that attain this lower bound via graph blow-ups. Especially, we proved that $ex_{C_k(s)}(n,C_{k-2})=n^2/(sk)^2+o(n^2)$ for any $k\geq 5$. For degenerate cases, we show that if $χ(F) = 3$ and $G$ and $F$ share the same odd girth, then $ex_F(n,G)$ satisfies the $(6,3)$-type bound $n^{2-o(1)}$, generalizing a result of Kovács and Nagy. We also prove that $ex_{C_{2k+1}}(n,C_{2\ell+1})=O(n^{1+1/(\ell-k+1)})$ for any integers $k,\ell$ with $\ell>k$, extending a result of Füredi and Özkahya. Additionally, we establish $ex_{C_4}(n,C_4)=\sqrt{2}n^{3/2}/8+O(n)$.

Toeplitz matrices arise naturally in harmonic analysis, operator theory, and numerical analysis. In this note we investigate Toeplitz matrices whose coefficients depend on the matrix size through a scaled kernel $a_k=f(k/n)$. We show that the empirical mean of their eigenvalues converges to a weighted integral of $f$, where the weight $1-|x|$ reflects the density of diagonals in Toeplitz matrices. We then introduce a combinatorial construction associating a Toeplitz matrix to a permutation via its displacement counts. For a uniformly random permutation, the expected matrix converges to the Toeplitz matrix generated by the triangular kernel $1-|x|$. Interestingly, the triangular kernel also appears as the covariance function of the integrated Brownian motion, providing a probabilistic interpretation of the same operator. Finally, we analyze the integral operator with kernel $(1-|x-y|)$ on $[0,1]$ and determine its eigenfunctions and eigenvalues explicitly. This operator describes the limiting spectral structure associated with the averaged Toeplitz matrices arising from permutation displacements. These results highlight a natural bridge between Toeplitz matrix theory, permutation statistics, and classical integral operators.

We prove that a commutative association scheme is imprimitive if and only if it admits a multivariate $P$- or $Q$-polynomial structure with respect to an elimination-type monomial order. This provides a direct bridge between the classical theory of block and quotient schemes for imprimitive association schemes and elimination theory in computational commutative algebra. For an imprimitive multivariate $P$- or $Q$-polynomial association scheme, we determine the induced multivariate polynomial structures on the quotient and block schemes and describe their associated polynomials via explicit specializations, variable deletions, and rescalings of the original associated polynomials. At the level of zero-dimensional ideals, we show that the ideal of the block scheme is exactly an elimination ideal, whereas the ideal of the quotient scheme is obtained by adjoining the valency relations for the eliminated variables and then eliminating. As applications, we study direct products and crested products from the viewpoint of multivariate polynomiality, and we characterize the schemes that are multivariate $P$- or $Q$-polynomial with respect to every monomial order as precisely the direct products of univariate $P$- or $Q$-polynomial schemes. We also discuss formal duality, composition series, and several related open problems.

We prove determinantal-Pfaffian formulae that simultaneously generalise the Pfaffian minor summation formula of Ishikawa and Wakayama and Byun's recent minor summation formula. These formulae are based on factorisation formulae for the determinant of the sum of a skew-symmetric matrix and a rank-1 matrix. Applications include a Cauchy-type identity for skew Schur functions.

We derive new formulas for the Jones polynomial and the Kauffman bracket polynomial of a rational link represented by a standard diagram that is not necessarily alternating. These formulas generalize the results of Qazaqzeh, Yasein, and Abu-Qamar for the Tutte polynomial of the Tait graph of an alternating diagram of a rational link, as well as the matrix formulas of Lawrence and Rosenstein for the Jones polynomial of a rational link. Our approach uses the colored version of Brylawski's tensor product formula for Tutte polynomials of colored graphs, due to Diao, Hetyei, and Hinson. Furthermore, generalizing the formulas of Qazaqzeh, Yasein, and Abu-Qamar, we present a finite automaton that computes the crossing signs, thereby enabling the calculation of the writhe of a standard diagram of a rational link.

Let $G$ be a multiplicatively written finite group of order $n$. The Erdős-Ginzburg-Ziv Theorem constant of the group $G$, denoted $\mathsf E(G)$, is defined as the smallest positive integer $\ell$ with the following property: for any given sequence $(g_1,\ldots,g_{\ell})$ over $G$, there exist $n$ distinct integers $i_1,\ldots,i_n\in \{1,\ldots,\ell\}$ such that the product of $g_{i_1},\ldots,g_{i_n}$, in some order, is the identity element of $G$. The Erdős-Ginzburg-Ziv Theorem constant originates from the celebrated additive theorem proved by Erdős, Ginzburg and Ziv in 1961, which amounts to proving $\mathsf E(G)\leq 2|G|-1$ holds in case that $G$ is abelian. It is also well-known that $\mathsf E(G)=2|G|-1$ holds for all finite cyclic groups. In 2010, Gao and Li [J. Pure Appl. Algebra] conjectured that $\mathsf E(G)\leq \frac{3|G|}{2}$ for every finite non-cyclic group $G$. In this paper, we confirm the conjecture for all non-cyclic groups $G$ whose order is not divisible by four, and characterize the groups achieving the equality $\mathsf E(G)=\frac{3|G|}{2}$ as those with a cyclic subgroup of index two.

We analyse the growth coefficients of infinite frieze patterns arising from cluster algebras using cluster modular groups and cluster categories. For a fixed cluster category of affine type, we prove that the collection of infinite frieze patterns given by both the homogeneous and non-homogeneous stable tubes all have the same growth coefficients. We also derive and verify an explicit formula for the $k$-th growth coefficient, expressed directly in terms of data from homogeneous tubes, or, alternatively, from appropriate elements of the corresponding cluster algebra.

For a graph $G$ of order $n$, let $$ λ_1(G)\ge \cdots \ge λ_n(G) $$ be the eigenvalues of its adjacency matrix. We prove that every graph $G$ on $n\ge 3$ vertices satisfies $$ λ_3(G)\le \frac{n}{3}-1, $$ thereby solving a problem of Nikiforov. The bound is best possible whenever $3\mid n$. Our proof is derived from a more general matrix result: if $A=(a_{ij})$ is a real symmetric matrix of order $n$ with $0\le a_{ij}\le 1$ for all off-diagonal entries and $a_{ii}\ge 0$ for all $i$, then $$ λ_{n-1}(A)+λ_n(A)\ge -\frac{2n}{3}. $$ This in particular confirms a conjecture of Leonida and Li.

Based on the Reid-Shepherd-Barron-Tai criterion for canonical and terminal quotient singularities, we characterize canonicity and terminality of a toric variety in terms of its local class group actions. Specializing it to the Picard number one setting, we arrive at a classification algorithm for canonical and terminal fake weighted projective spaces in any dimension. In dimension four it gives, up to isomorphism, 710450 canonical fake weighted projective spaces. We take a look at the corresponding Calabi-Yau hypersurfaces, compute the Fine interior of the associated canonical simplices, and discuss the results.

Let $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ be the moduli space of centrally symmetric convex polyhedral surfaces with $2N$ labeled vertices and prescribed cone-deficits $δ_1$, $δ_2$, $\dots$, $δ_N$. We show that $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ has the structure of a real hyperbolic manifold of dimension $2N-3$. When $N=4$ and $5$, we show that every surface in $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ can be decomposed into at most $2\binom{2N-2}{2}$ parallelograms, and the decomposition is invariant under the antipodal map. Using the edge-lengths of these parallelograms as coordinates, we show that the moduli space of centrally symmetric polyhedral surfaces with $8$ unlabeled vertices and cone-deficits $\fracπ{2}$ is isometric to the quotient of a real hyperbolic regular ideal $5$-simplex by the dihedral group $D_6$.

For each positive integer $n$, let $G_n$ be the graph of integer partitions of $n$, where two partitions are adjacent if one is obtained from the other by an elementary transfer of a cell in the Ferrers diagram, followed by reordering. Previous work has studied the global homotopy type of the clique complex $Cl(G_n)$ and the local combinatorics of $G_n$ at a fixed vertex. This paper initiates the study of $G_n$ itself as a growing discrete geometric object. It introduces a structural language for the large-scale morphology of partition graphs, centered on the antenna vertices, main chain, boundary framework, self-conjugate axis, simplex layers, degree landscape, central region, and spine. Using local invariants from the companion local theory, it also defines canonical vertex layerings of $G_n$. A small computational atlas for $1 \le n \le 12$ is included to illustrate how these structures emerge and interact. The paper is intended as a foundational and exploratory contribution, providing a vocabulary, a first structural picture, and a set of open directions for future quantitative and asymptotic work.

Graphs defined over a finite ring are well-studied in the literature. Due to their nature, these types of graphs connect several branches of mathematics, including algebra, number theory, matrix theory, and representation theory. In recent work, we studied $U$-unitary Cayley graphs over a finite commutative ring, which unifies several constructions of graphs with arithmetic origins. Among various structural graph-theoretic results on these graphs--such as their connectedness, primeness, and bipartiteness--we show that their spectra can be described via a certain supercharacter theory. Utilizing this spectral description, we are able to find some classes of gcd-graphs that possess perfect state transfer. In this article, we generalize this study to finite non-commutative rings, with a special focus on the case of the matrix rings with coefficients in a finite field. We show, in particular, that gcd-graphs over these matrix rings have no perfect state transfer.

We present a compact quantum encoding of the Traveling Salesperson Problem (TSP) based on a time-register representation of tours. A candidate route is represented as a sequence of $n$ city labels over discrete time steps, with one fixed start city and the remaining cities encoded in binary registers. We describe three ingredients of the construction: uniform route generation over the route register, a reversible oracle for marking valid tours, and a phase oracle that encodes the total tour cost. The validity oracle distinguishes permutations of the non-start cities from invalid assignments, while the cost oracle accumulates the contribution of the start edge, intermediate transitions, and return edge into a tour-dependent phase. This yields a coherent superposition of candidate routes with feasibility and tour-length information embedded directly in the quantum state. The number of qubits required is $\Order{n\log_2(n)}$ and the circuit depth scales quadratically in $n$. The encoding is compatible with amplitude amplification or spectral filtering techniques such as the quantum singular value transform (QSVT) or Grover's algorithm. However, due to the exponentially small fraction of valid tours, the overall complexity remains exponential even when combined with amplitude amplification.

We study the parabolic variant of the Erd\H os--Falconer distance problem in finite fields. That is, if $q$ is odd, we seek size thresholds beyond which any subset $E\subset \mathbb F_q^2$ will determine many distinct parabolic distances. This problem has a rich history because the parabolic distance functional shares many properties with the standard distance functional, but exhibits many distinct behaviors. Here we begin with rather standard Fourier analytic arguments, but diverge into additive combinatorics to handle the central obstructions. We provide a suite of positive results and corresponding sharpness examples.

We present some natural crystallizations of the generalized lens spaces $L(p, q_1, \dots, q_n)$ for integers $p\geq 2$, $n\geq 1$ and integers $q_1, \dots, q_n$ relatively prime to $p$. These crystallizations are quotients of triangulations of the sphere $S^{2n+1}$.

Given a constraint satisfaction problem (CSP) predicate $P \subseteq D^r$, the non-redundancy (NRD) of $P$ is maximum-sized instance on $n$ variables such that for every clause of the instance, there is an assignment which satisfies all but that clause. The study of NRD for various CSPs is an active area of research which combines ideas from extremal combinatorics, logic, lattice theory, and other techniques. Complete classifications are known in the cases $r=2$ and $(|D|=2, r=3)$. In this paper, we give a near-complete classification of the case $(|D|=2, r=4)$. Of the 400 distinct non-trivial Boolean predicates of arity 4, we implement an algorithmic procedure which perfectly classifies 397 of them. Of the remaining three, we solve two by reducing to extremal combinatorics problems -- leaving the last one as an open question. Along the way, we identify the first Boolean predicate whose non-redundancy asymptotics are non-polynomial.

Random linear network coding (RLNC) provides a powerful framework for non-coherent communication, where reliable transmission requires correcting errors and erasures induced by network mixing and motivates the use of subspace codes. In this work, we introduce an atomic perspective on subspace coding by formalizing the notion of minimal atomic decompositions in the lattice L(V ) of subspaces of a finite-dimensional vector space over a finite field. We study the function N that assigns to each subspace the number of its minimal atomic decompositions and establish its key structural properties. Leveraging N, we define a new distance metric on L(V ) that refines classical subspace comparisons by capturing atomic-level overlap. We then introduce the Atomic Operator Channel, a transmission model for RLNC in which codewords are conveyed through atomic decompositions and corruption is modeled via atomic insertions and erasures. Within this framework, we prove a minimum-distance decoding guarantee for the induced metric. In the constant-dimension setting, we show that the classical unique-decodability condition under the subspace distance remains sufficient for unique decoding under the atomic metric.

This is a note on the graphs of two smooth real-valued functions in the plane with no intersection and the natural map onto the region surrounded by them with the canonical projection to the line composed, yielding its Reeb space. The Reeb space of a real-valued function on a topological space is the set of all connected components of all level sets and topologized naturally. Such spaces have been fundamental and strong tools in theory of Morse functions and its generalization and variants, since the former half of the 20th century. They are graphs for tame functions such as Morse(-Bott) functions. The author has launched and has been studying this problem since 2020s, interested in Reeb spaces of smooth or non-analytic non-proper functions. For smooth closed manifolds and nice compact spaces, topological properties and combinatorial ones on Reeb spaces have been investigated by Gelbukh, Saeki, and so on.