math.CO ↗ arXiv
7121 papers in this category
Circular Hessenberg pairs and the tridiagonal relations
A square matrix is said to be Hessenberg whenever each entry below the subdiagonal is zero, and each entry on the subdiagonal is nonzero. A Hessenberg matrix is called circular whenever the top-right corner entry is nonzero, and every other entry above the superdiagonal is zero. A circular Hessenberg pair consists of two diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a circular Hessenberg fashion. In 2022, Jae-ho Lee conjectured that a circular Hessenberg pair satisfies two relations called the tridiagonal relations. In the present paper, we prove Lee's conjecture. Our proof is not elementary.
Game Conductors of Finite Groups: Determinantal Torsion from Structured Payoff Probes
We attach to a finite group $G$ and a structured payoff probe $φ$ an integer \emph{payoff-difference lattice} $M_φ(G)$ and its \emph{conductor} $C_φ(G)$: the primes at which $M_φ(G)$ loses rank modulo $p$. Our main result is an exact computation: for any CA-group the commuting conductor is rad$(b-1)$, where $b$ is the number of maximal abelian subgroups. In particular, conductor primes need not divide $|G|$: the prime $3$ occurs for a $2$-group of order $64$ with $b=7$. The commuting Smith spectrum is an invariant of the isoclinism class and obeys an exact direct-product law, giving ${\rm C_{comm}}(G\times H) = {\rm C_{comm}}(G) \cup {\rm C_{comm}}(H)$ unconditionally. A Galois-orbit-trace character probe reads a complementary layer: an index-$2$ subgroup forces $2\in {\rm C_{char}}(G)$ while no odd prime is forced, and ${\rm C_{comm}}(D_{2q}) = \{q\}$, ${\rm C_{char}}(D_{2q}) = \{2\}$ for all odd primes $q$. Certified exhaustive computation ($|G|\le128$ commuting, $|G|\le64$ character) and a deformation-family analysis support the general program: classify the Smith torsion of the compressed centralizer-type incidence matrix $B_G$.
Compactifying real analytic functions and resulting Reeb spaces
We formulate compactifications of continuous maps naturally. We consider real analytic functions mainly. We are interested in topological properties and combinatorial ones of explicit resulting maps. For understanding them, we use their Reeb spaces, being quotient spaces of the spaces of the domains of the functions and defined by the equivalence relation identifying two points in same components of their level sets. They are known to be $0$- or $1$-dimensional (metrizable) cell-complexes, in our situations or more general certain tame cases.
Reeb spaces have been important in understanding topological properties and combinatorial ones of functions and spaces roughly, since the last century.
These compactifications have been explicitly studied by the author previously and recently. We have obtained real algebraic functions whose Reeb spaces are not so complicated and which seem to be of most natural and simplest. We present new discussions and examples.
The Left-Regular Stabilizer of Zaks' Hamiltonian Cycle in the Pancake Graph
Let $P_n=\mathrm{Cay}(S_n,\{r_2,\ldots,r_n\})$ be the pancake graph, with prefix reversals acting on the right. Conjugating Zaks' suffix-reversal permutation Gray code by the full reversal gives a distinguished Hamiltonian cycle $Z_n$ in $P_n$. We determine the stabilizer of this particular cycle under the left regular action of $S_n$. If $ρ=r_{n-1}r_n=[n,1,2,\ldots,n-1]$, then, for every $n\ge3$, $\mathrm{Stab}_{L(S_n)}(Z_n)=\langle L_ρ,L_{r_n}\rangle\cong D_n$, where $D_n$ denotes the dihedral group of order $2n$. The inclusion $\supseteq$ follows from the recursive block decomposition $W_n=(W_{n-1}r_n)^{n-1}W_{n-1}$ and from the palindromy $W_n^R=W_n$. The reverse inclusion follows from a general cyclic-order rigidity lemma: if a Hamiltonian cycle on a finite group is invariant under $L_a$, with $\mathrm{ord}(a)\ge3$, then every left translation preserving the same cycle conjugates $a$ to $a$ or $a^{-1}$. For $n\ge5$, Deng-Zhang's automorphism theorem gives the same stabilizer inside $\mathrm{Aut}(P_n)$; the exceptional ranks are handled separately. We also compute the compression factor of $Z_n$: it is $n$ for $n\ge4$ and $6$ for $n=3$.
Determining Particular Solutions for Exponential-Polynomial Forcing Terms in Linear Nonhomogeneous Recurrence Relations
Published
• View Publication
• BIB
This paper develops a systematic method for determining particular solutions of the $k$th-order linear nonhomogeneous recurrence relation $$a_n + c_1 a_{n-1} + \cdots + c_k a_{n-k} = \sum_{j=1}^J p_j(n){r_j}^n$$ with $n \geq k$, $c_k \neq 0$, $r_j \neq 0$. Here each $p_j(n)$ is a polynomial. The main result is the following: for the characteristic polynomial $c(t)=t^k+c_1t^{k-1}+\cdots+c_k$, if $s_j$ denotes the multiplicity of $r_j$ as a root of $c(t)$ ($s_j=0$ when $r_j$ is not a root), then there exists a particular solution of the form $q_n=\sum_{j=1}^J b_j(n)n^{s_j}r_j^n$, where each $b_j(n)$ is a polynomial of the same degree as $p_j(n)$. This result parallels the method of undetermined coefficients for linear ODEs with constant coefficients and yields a systematic procedure for determining the form of particular solutions.
Minimum distances of LDPC codes in 5G standard
We propose several approaches for bounding the minim\-um distances of the family of quasi-cyclic LDPC codes in the 5G NR standard. In particular, we show that the high-rate [9984, 8448] and the low-rate [25344, 8448] BG1 5G LDPC codes have minimum distances in the ranges {8..14} and {22..57}, respectively. Also we propose a new early termination approach based on circulant modular reduction, which significantly lowers syndrome calculation complexity for the LDPC decoder.
Revisiting $q$-Derangement Numbers via Decorated Permutations
This note aims to provide a direct combinatorial proof of the Gessel--Reutenauer--Wachs formula for $q$-derangement numbers in the setting of decorated permutations, without using the $q$-binomial inversion formula. Decorated permutations, introduced by Postnikov in his study of the totally nonnegative Grassmannian, provide a natural framework for Chen's signed fixed-point model. Our proof is based on a major-index generating function for decorated permutations with a fixed number of signed fixed points, together with a sign-reversing and descent-set-preserving involution, thereby answering a question raised by Chen. This involution was discovered through human--AI collaboration.
Recursive Lifting Beyond the Ahlswede--Khachatrian Construction
For the Erdős--Frankl--Pach problem on uniform set systems of bounded VC-dimension, the Ahlswede--Khachatrian/Mubayi--Zhao construction has long served as the standard lower-bound benchmark. We develop a recursive lifting method that goes beyond this benchmark in every dimension \(d\ge3\), proving that for every \(d\ge3\) and \(n\ge d+3\), \[ M_d(n)\ge \binom{n-1}{d}+\binom{n-4}{d-2}+M_{d-3}(n-5). \] The proof is elementary and proceeds through explicit trace obstructions. We also record a further recursive improvement in the concluding remarks.
Euclidean $\vee$-systems and real PK arrangements
We establish a correspondence between two structures arising in the geometry of hyperplane arrangements: Euclidean $\vee$-systems and real polyhedral Kähler (PK) arrangements. We prove that every irreducible Euclidean $\vee$-system determines a real PK arrangement, and conversely that every real PK arrangement arises this way. As a result, we show that the moduli space of Euclidean $\vee$-systems in a fixed projective class is homeomorphic to the relative interior of a polytope. We also give a direct proof that the hyperplane arrangement associated with a Euclidean $\vee$-system is simplicial. Among the currently known simplicial line arrangements, we identify precisely those that arise from $\vee$-systems. As a consequence, we prove that the Schreiber--Veselov catalog is complete for irreducible rank-three Euclidean $\vee$-systems with at most $27$ vectors.
On the Complexity of Entrywise Power Matrix Factorization
Given a nonnegative matrix $X$, a factorization rank $r$ and a real parameter $p$, entrywise power matrix factorization (EPMF) looks for a low-rank matrix $X_r$ such that $X = |X_r|^{\circ p}$ (exact case) or $X \approx |X_r|^{\circ p}$ (approximate case), where $(\cdot)^{\circ p}$ denotes the component-wise exponent. EPMF includes the modulus model ($p=1$) and component-wise square factorization ($p=2$) as special cases, the latter being closely related to the square root rank. We analyze the computational complexity of the exact decision problem and the Frobenius-norm approximation problem, and establish a complete complexity landscape. In the exact case, we show that EPMF is equivalent to the combinatorial problem of flipping the signs of the entries of a given matrix $X$ to obtain a rank-$r$ matrix, which we refer to as the signing problem. We first show that the signing problem, and hence exact EPMF, is strongly NP-hard, improving a weak NP-hardness result for the square-root-rank of Fawzi et al. (Math. Prog., 2015). We then show that the signing problem can be solved in polynomial-time when $r$ is fixed. Moreover, when the rank $r$ is part of the input, we show that for generic matrices the algorithm is fixed-parameter tractable (FPT) in the parameter $r$; in fact, the running time is linear in the input size $X$. In the approximate case using the Frobenius norm as an error measure, we show that EPMF is NP-hard, already when $r=2$, the smallest nontrivial case.
Steinerberger Curvature On Digraphs -- Discrete Bonnet-Myers and Lichnerowicz Theorems
Steinerberger curvature encodes the global distance geometry of a graph through an equilibrium measure. In this paper, we derive explicit curvature formulas for undirected Cayley graphs of dihedral groups $D_n$ and generalized quaternion groups $Q_{4m}$. We then extend Steinerberger curvature to strongly connected simple digraphs by introducing in-curvature and out-curvature, reflecting the asymmetry of directed distances. For these directed curvatures, we establish structural properties, including negativity criteria and a permutation relation between in- and out-curvature. Our main results are directed analogues of the Bonnet--Myers, Cheng and Lichnerowicz theorems, together with reverse Bonnet--Myers inequalities for directed diameter and out-radius, and an upper bound for in-radius in terms of total curvature.
Pythagorean triples in level sets of completely multiplicative functions
We show that given completely multiplicative functions $f_1,\dots,f_d$ taking values in the unit circle, there exist Pythagorean triples (i.e., integer solutions to $x^2+y^2=z^2$) with $f_i(x),f_i(y),f_i(z)$ all arbitrarily close to $1$ for all $i$. This is a new special case of the conjecture that any finite colouring of $\mathbb{N}$ has a monochromatic Pythagorean triple. Our proof combines vanishing averages for aperiodic functions with concentration estimates for pretentious functions. A similar proof is applied to obtain the analogous statement for more general equations of the form $ax^2+by^2=cz^2$ whenever $a,b,c$ are perfect squares satisfying the Rado's condition.
A Join-Matching Theorem for Squarefree Powers of Edge Ideals, with Applications to Wheel and Related Graphs
For $q\ge 1$, the $q$-th squarefree power $I(G)^{[q]}$ of the edge ideal of a graph $G$ is generated by the squarefree monomials supported on $q$-matchings of $G$; it is the Stanley--Reisner ideal of the complex $Δ_q(G)=\{F\subseteq V(G):ν(G[F])<q\}$, where $ν$ denotes matching number. We prove a general formula for the matching number of an arbitrary graph join, \[ ν(G\ast H) = \min\Big(ν(G)+|V(H)|,\ \ ν(H)+|V(G)|,\ \ \Big\lfloor\tfrac{|V(G)|+|V(H)|}{2}\Big\rfloor\Big), \] via the Tutte--Berge formula, and use it to decompose $Δ_q(G\ast H)$ for arbitrary graphs $G,H$. Specializing to the wheel graph $\mathcal{W}_n = \mathcal{C}_n\ast\mathcal K_1$, we determine the Krull dimension and height of $R/I(\mathcal{W}_n)^{[q]}$ exactly for all $n\ge 3$, $1\le q\le\lfloor n/2\rfloor$, and -- combining our matching-number computations with a recent Tutte-type Cohen-Macaulayness criterion of Ficarra and Moradi -- prove that at the \emph{top} squarefree power $q=ν(\mathcal{W}_n)=\lceil n/2\rceil$, the ideal $I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}$ is literally the squarefree Veronese ideal, so that $R/I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}$ is Cohen-Macaulay with \[ {\rm dim} = {\rm depth} = {\rm reg}\big(R/I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}\big) = 2\Big\lceil\frac n2\Big\rceil-1. \] This resolves all four classical invariants at the top power, and confirms there the pattern depth$(R/I(\mathcal{W}_n)^{[q]}) = 2q-1$ that our computational data (now extended to $n\le13$, every valid $q$) suggests holds throughout. We prove a general depth formula for squarefree powers of cone graphs, via a Betti-splitting exact sequence, that reduces this pattern to two more tractable statements about the underlying cycle alone; both are verified computationally in every case checked but left open in general.
Cluster parking functions II: $q,t$-dihedral sieving via diagonal coinvariants
In a previous work, we defined the complex of cluster parking functions. On one side, they encode the type-refined enumeration of faces of the cluster complex, and on the other side, they have a reduced homology which is isomorphic to (ungraded) diagonal coinvariants. The goal of this work is to take into account the underlying dihedral symmetry. We thus have a product of a dihedral group and a symmetric group (there is a precise conjecture in the case of other finite Coxeter groups, but we focus on symmetric groups because of technicalities about diagonal coinvariants beyond this case). Under the action of the product group, the reduced homology of cluster parking functions is conjecturally isomorphic to diagonal coinvariants up to tensoring by a sign character of the dihedral group. This isomorphism can be reformulated as a dihedral sieving phenomenon. The main technical contribution is the definition of the dihedral automorphism group of cluster parking functions, and we discuss various features of the reduced homology character and its conjectural connection with diagonal coinvariants.
Hyperbolic symmetric rigidity and intrinsic surface geometry
We develop a theory of symmetric infinitesimal rigidity for bar-joint frameworks in the hyperbolic plane, where symmetry is given by a Fuchsian group acting by isometries. Using the language of gain graphs and the orbit rigidity matrix, we reduce rigidity questions for infinite symmetric frameworks in the upper-half plane H to finite combinatorial conditions. Our main result provides a combinatorial characterisation of the infinitesimal rigidity for Gamma-symmetric frameworks, which are as generic as possibly allowed by the symmetry, when Gamma is a surface group. Namely, we show that a Gamma-gain graph is Gamma-isostatic if and only if it satisfies certain matroidal sparsity conditions. In particular, if Gamma is not cyclic then the appropriate combinatorial condition is (2,3,1,0)-gain tightness. Via the correspondence between Gamma-symmetric frameworks in H and finite frameworks on the quotient surface H/Gamma, this yields a characterisation of infinitesimal rigidity for frameworks on compact Riemann surfaces of genus at least 2.
Edge-disjoint Hamilton cycles under a bipartite-hole condition
In 2017, McDiarmid and Yolov introduced the bipartite-hole-number $\widetildeα(G)$ and proved that $δ(G)\ge \widetildeα(G)$ forces a Hamilton cycle. They also gave a sufficient condition for packing edge-disjoint Hamilton cycles, and asked whether this condition is sharp or can be relaxed. For integers $a,k\ge 2$, let $f(a,k)$ be the least integer $d$ such that every graph $G$ on at least three vertices with $\widetildeα(G)\le a$ and $δ(G)\ge d$ contains $k$ pairwise edge-disjoint Hamilton cycles. We prove that $f(a,k)=Θ\left(a+k+\frac{ak}{\log(k+2)}\right).$ The upper bound uses a deletion lemma for the bipartite-hole-number together with the McDiarmid--Yolov Hamiltonicity theorem and a greedy packing argument. The lower bound is obtained from three extremal constructions, the logarithmic one using a sparse random auxiliary graph with no prescribed bipartite hole.
Divisible design graphs obtained by plugging a difference set into a construction for antipodal distance-regular graphs of diameter 3
In this paper, we present a new construction of divisible design graphs with new parameters, obtained by plugging a difference set of a quotient group into a known construction of antipodal distance-regular graphs of diameter 3. Also, we show that in characteristic 2 the new divisible design graphs are Cayley graphs over an elementary abelian 2-group.
$2$-designs admitting a flag-transitive automorphism group with socle $PSL(2,q)$
$2$-designs admitting a flag-transitive automorphism group $G$ with socle $PSL(2,q)$, where $q=p^{f}\geq 4$, are investigated in both the point-primitive and point-imprimitive cases. In the latter case, a complete classification is achieved, and three known examples occur, namely: the complementary designs of $PG(3,2)$ and $PG(3,4)$, and the $2$-$(36,8,4)$ design constructed by Devillers and Praeger in [14]. In the point-primitive case, apart from the Witt-Bose-Shrikhande linear spaces of even order $q$, $48$ sporadic examples are classified. Surprisingly, one of these numerical examples is the linear space with $v=496$ and $k=4$ admitting $PΓL(2,2^{5})$ as a flag-transitive automorphism group, which was missing in the 1990 classification by Buekenhout et al. [7,36,12].
On the maximal measure of a spherical set avoiding solutions to x + y + z = 0
We prove that the maximal normalized surface measure of a spherical set in d dimensions avoiding solutions to x + y + z = 0 approaches 1/2 as d goes to infinity. This gives a partial answer to a question of Bukh, who conjectured 1/2 to be the optimal bound for all d >= 3.
Localization and metric dimension for families of highly structured digraphs
We investigate metric dimension and the localization game for several families of directed analogues of strongly regular graphs and their generalizations, adapting a probabilistic method of Babai (1980) for bounding the size of resolving sets in undirected strongly regular graphs. We derive upper bounds on the localization number and metric dimension depending on the order of the graph and the maximum number of common out-neighbours for a pair of vertices. We consider normally regular digraphs, so-called "ordinary graphs", classes of Deza digraphs, divisible design digraphs, nearly doubly regular tournaments, and certain doubly regular team tournaments. In particular, for asymmetric normally regular digraphs on $n$ vertices, we show that these invariants are bounded above by $O(\sqrt{n} \log n)$, and improve this to $O(\log n)$ for a class of doubly regular team tournaments.