Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the levels of rational regular orthogonal matrices for generalized cospectral graphs
For an $n$-vertex graph $G$ with adjacency matrix $A$, the walk matrix $W(G)$ of $G$ is the matrix $[e,Ae,\ldots,A^{n-1}e]$, where $e$ is the all-ones vector. Suppose that $W(G)$ is nonsingular and $p$ is an odd prime such that $W(G)$ has rank $n-1$ over the finite field $\mathbb{Z}/p\mathbb{Z}$. Let $H$ be a graph that is generalized cospectral with $G$, and $Q$ be the corresponding rational regular orthogonal matrix satisfying $Q^\mathsf{T} A(G) Q=A(H)$. We prove that
\begin{equation*}
v_p(\ell(Q))\le \frac{1}{2}v_p (\det W(G))
\end{equation*}
where $\ell(Q)$ is the minimum positive integer $k$ such that $kQ$ is an integral matrix, and $v_p(m)$ is the maximum nonnegative integer $s$ such that $p^s$ divides $m$. This significantly improves upon a recent result of Qiu et al. [Discrete Math. 346 (2023) 113177] stating that
$v_p(\ell(Q))\le v_p (\det W(G))-1.$
Classification of abelian Schur groups I
A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations of $G$. The list of all possible abelian Schur groups was obtained by Evdokimov, Kovács, and Ponomarenko in 2016. In two papers, we finish a classification of abelian Schur groups. In the present paper, we study schurity of several groups from the list. Namely, we prove that a direct product of the elementary abelian group of order 4 and a cyclic group, whose order is an odd prime power or a product of two distinct odd primes, is a Schur group and establish nonschurity of some other groups from the list.
On the maximum $σ$-irregularity of trees with given order and maximum degree
The $σ$-irregularity index of a graph is defined as the sum of squared degree differences over all edges and provides a sensitive measure of structural heterogeneity. In this paper, we study the problem of maximizing $σ(T)$ among all trees of fixed order $n$ and prescribed maximum degree $Δ\ge4$. By expressing the problem in terms of edge--degree multiplicities, we derive a linear programming formulation and analyze its dual. This approach yields sharp upper bounds for $σ(T)$ and leads to a detailed description of extremal degree--pair distributions. We show that the extremal problem can be completely resolved for the congruence classes $n\equiv1\pmodΔ$ and $n\equiv0\pmodΔ$. When $n\equiv1\pmodΔ$, the linear program admits an integral optimal solution, and the bound for $σ(T)$ is tight. When $n\equiv0\pmodΔ$, the linear relaxation is not attainable by any tree; nevertheless, by introducing a penalty function derived from dual slack variables, we determine the exact maximum value of $σ(T)$. In both cases, all extremal trees are characterized explicitly and consist exclusively of vertices of degrees $1$, $2$, and $Δ$, with edges incident to $Δ$-vertices playing a dominant role.
Universality of Infinite Chess
We prove that chess played on the infinite chessboard $\mathbb{Z}^2$ with infinitely many pieces is as powerful as it could possibly be, by showing that every open Gale-Stewart game with draws is strategically equivalent to some infinite chess position and vice versa. As our construction is computable and open Gale-Stewart games are well understood, this allows us to resolve many open questions about the complexity of infinite chess with infinitely many pieces. In particular, all countable ordinals arise as the game value of some such chess position. We also give an alternate construction that realizes all countable ordinals as game values, with the pleasing property that it consists only of the king pair and pawns.
The construction of $q$-analogues via $_3φ_2$-series and $q$-difference equations
We apply the EKHAD-normalization method given in our recent work to obtain, via the $q$-version of Zeilberger's algorithm, $q$-WZ pairs $(F, G)$ such that $\sum_{k = 0}^{\infty} F(0, k)$ may be expressed as a basic hypergeometric series of the form ${}_{3}φ_2$ with multiple free parameters, and in such a way so that $\sum_{k=0}^{\infty} F(0, k) = \sum_{n=0}^{\infty} G(n, 0)$. In contrast to how previous applications of EKHAD-normalization relied on $q$-analogues for specific WZ pairs introduced by Guillera, our multiparameter approach provides a broad framework in the construction of $q$-analogues for accelerated series for universal constants such as $π$. We apply this multiparameter version of EKHAD-normalization to obtain and prove new $q$-analogues for accelerated hypergeometric series attributed to many authors, including (alphabetically) Adamchik and Wagon, Apéry, Chu, Chu and Zhang, Fabry, Guillera, Ramanujan, and Zeilberger.
Two Dimensional Subtraction -- Transfer Games
We generalize the results and conjectures of Tamás Lengyel, showing that the \textsc{nim}-values of a large class of two-dimensional subtraction-transfer games are periodic. These are impartial, normal-play games with two piles of tokens, where players alternate either taking some tokens from a pile or transferring tokens from one pile to the other. In many cases, we calculate the exact period. We also develop several new notions of periodicitiy.
Coin Turning Games on Partially Ordered Sets
A finite impartial game is a two-player game in which the players take turns making moves and the game ends after finitely many moves. In this paper, we study a class of finite impartial games introduced by H.~Lenstra, which we call coin turning games. We focus on two typical classes of coin turning games, namely the order ideal games and the rulers, distinguished by their choices of turning sets. For several posets arising from enumerative combinatorics, we determine the Sprague-Grundy functions. In particular, we determine the Sprague-Grundy function of the order ideal game on the ASM poset, introduced by J.~Striker in connection with the alternating sign matrices.
On stable patterns and properties on permutations of multisets
In this paper, we study properties and patterns on permutations of multisets whose multivariate generating functions are symmetric. We interpret this phenomenon through the lens of group actions and define such a property or pattern as stable. We provide a complete characterization of stable classical patterns, showing that the only such patterns are those of length one or two. For consecutive patterns, we establish the stability of all monotone patterns and also identify a large class of unstable patterns. We conjecture that monotone patterns are the only stable consecutive patterns. All stability results in this paper are proven via explicit bijections, which provide new combinatorial interpretations of the symmetry of the generating functions. As an application, we use stability to derive recurrence relations for the ascent distribution on permutations of multisets, resulting in a generalization of Eulerian numbers.
Expanding groups with large diameter
We study how the spectral gap and diameter of Cayley graphs depend strongly on the choice of generating set.
We answer a question of Pyber and Szabó (2013)
by exhibiting a sequence of finite groups $G_n$ with $|G_n| \to \infty$ admitting bounded generating sets $X_n,Y_n$ such that $\operatorname{Cay}(G_n,X_n)$ is an expander
while $\operatorname{Cay}(G_n,Y_n)$ has super-polylogarithmic diameter.
The construction uses the semidirect product $G_n = C_p^{n-1} \rtimes S_n$ with $p$ exponentially large in $n$,
and the analysis reduces to bounding some exponential sums of permutational type.
3AP-free permutations have no exponential growth rate
Let $θ(n)$ be the number of permutations of $\{1,\dots,n\}$ with no $3$-term arithmetic progressions. We prove that $\lim_{n\to\infty}θ(n)^{1/n}$ does not exist.
Metric Dimension of Difference Graph of Finite Groups
The Difference graph $\mathcal{D}(G)$ of a finite group $G$ is the difference of the enhanced power graph $\mathcal{P}_{E}(G)$ and the power graph $\mathcal{P}(G)$ with all the isolated vertices removed. In this paper, we characterize the vertex set of the difference graph of finite nilpotent groups and obtain its cardinality. Consequently, we obtain the metric dimension of the difference graph of finite nilpotent groups. Moreover, this paper determines the metric dimension of the difference graphs of certain non-nilpotent groups, namely: dihedral groups, the generalized quaternion groups, and the semi-dihedral groups.
Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?
Large language models (LLMs) have recently achieved remarkable success in generating rigorous mathematical proofs, with "AI for Math" emerging as a vibrant field of research. While these models have mastered competition-level benchmarks like the International Mathematical Olympiad and show promise in research applications through auto-formalization, their deployment via lightweight, natural-language pipelines for research problems remains underexplored. In this work, we demonstrate that next-generation models (e.g., Gemini 3 Pro, GPT-5.2 Pro), when integrated into a streamlined automated pipeline optimized for citation-based verification, can solve sophisticated research-grade problems. We evaluate our pipeline on two novel datasets: (1) the ICCM problem sets (comparable to the S.-T. Yau College Student Mathematics Contest) proposed by leading mathematicians, and (2) the "First Proof" problem set, consisting of previously unpublished research questions. Our pipeline generated candidate proofs for all problems in the first two ICCM sets and the "First Proof" set. The solutions for the first two ICCM sets and Problem 4 of the "First Proof" set have been fully verified by our team. All generated proofs have been submitted to the official organization, and our generated results are publicly available. We plan to open-source the complete pipeline methodology in due course.
Cycle tilings and $H$-factors in directed graphs
We prove several results concerning cycle tilings and $H$-factors in digraphs. We provide a minimum semi-degree condition for forcing a digraph to contain a given spanning collection of vertex-disjoint orientations of cycles. Our result is asymptotically best possible for odd cycles and can be viewed as a digraph analogue of the El-Zahar conjecture. In addition, we asymptotically determine the minimum degree threshold for forcing an $H$-factor in a digraph for a range of digraphs $H$, including the cases when $H$ is a tree or anti-directed cycle. Furthermore, an asymptotically exact Ore-type result for forcing a transitive tournament factor in a digraph is proven. Several related open problems are also highlighted.
The bipartite analogue of a classical spanning tree enumeration formula, Boolean functions, and their applications to counting odd spanning trees
Recently, Zheng and Wu defined the concept of odd spanning tree of a graph, meaning a spanning tree in which every vertex has odd degree. Similar to Cayley's formula, Feng, Chen and Wu counted the number of odd spanning trees in complete graphs via Prüfer code and the exponential generating function. In this note, we give a simple proof via a classical spanning tree enumeration formula and the Boolean function.We also generalize it to complete bipartite graphs.
Internally-disjoint directed pendant Steiner trees with three terminal vertices in Cartesian product digraphs
Let $D=(V(D),A(D))$ be a digraph with a terminal vertex subset $S\subseteq V(D)$ such that $|S|=k\geq 2$. An out-tree $T$ of $D$ rooted at $r$ is called a directed pendant $(S,r)$-Steiner tree (or, pendant $(S,r)$-tree for short) if $r\in S\subseteq V(T)$ and $d_{T}^{+}(r)=d_{T}^{-}(u)=1$ for each $u\in S\backslash \{r\}$. Two pendant $(S,r)$-trees $T_{1}$ and $T_{2}$ are internally-disjoint if $A(T_{1})\cap A(T_{2})=\varnothing$ and $V(T_{1})\cap V(T_{2})=S$. The pendant-tree $k$-connectivity $τ_{k}(D)$ of $D$ is defined as $$τ_{k}(D)=\min\{τ_{S,r}(D)\mid S\subseteq V(D),|S|=k,r\in S\},$$ where $τ_{S,r}(D)$ denotes the maximum number of pairwise internally-disjoint pendant $(S,r)$-trees in $D$.
In this paper, we derive a sharp lower bound for the pendant-tree 3-connectivity of the Cartesian product digraph $D\square H$, where $D$ and $H$ are both strong digraphs. Specifically, we prove the lower bound $τ_{3}(D\square H)\geq τ_{3}(D)+τ_{3}(H)$. Moreover, we propose a polynomial-time algorithm for finding internally-disjoint pendant $(S,r)$-trees which attain this lower bound.
Fully Leafed Induced Subtrees in Penrose P2 Tilings
In a recent article by C. Porrier, A. Blondin Massé and A. Goupil, a first bi-infinite fully leafed induced subcaterpillar of Penrose P2 tilings is presented. In this paper, we formally construct this caterpillar for the first time. We then prove that every fully leafed induced subtree in Penrose P2 tilings is a caterpillar with at most one appendix of at most two internal tiles, and we characterize fully leafed induced subtrees that have the property of saturation. We also refute the conjecture that there is a unique bi-infinite fully leafed induced subcaterpillar by constructing a new one. Finally, we present progress on the construction of all bi-infinite fully leafed induced subcaterpillars in Penrose P2 tilings.
Min-Max Connected Multiway Cut
We introduce a variant of the multiway cut that we call the min-max connected multiway cut. Given a graph $G=(V,E)$ and a set $Γ\subseteq V$ of $t$ terminals, partition $V$ into $t$ parts such that each part is connected and contains exactly one terminal; the objective is to minimize the maximum weight of the edges leaving any part of the partition. This problem is a natural modification of the standard multiway cut problem and it differs from it in two ways: first, the cost of a partition is defined to be the maximum size of the boundary of any part, as opposed to the sum of all boundaries, and second, the subgraph induced by each part is required to be connected. Although the modified objective function has been considered before in the literature under the name min-max multiway cut, the requirement on each component to be connected has not been studied as far as we know.
We show various hardness results for this problem, including a proof of weak NP-hardness of the weighted version of the problem on graphs with tree-width two, and provide a pseudopolynomial time algorithm as well as an FPTAS for the weighted problem on trees. As a consequence of our investigation we also show that the (unconstrained) min-max multiway cut problem is NP-hard even for three terminals, strengthening the known results.
On recurrence relations arising from NRS(2) applied to a cubic polynomial
We prove that the leading coefficient of the "error" terms of NRS(2) applied to a cubic polynomial $f(z)$ with starting point $(-\frac{a_1}{a_2}, -\frac{a_1}{a_2})$ are positive-coefficient rational functions in the zeros of $f(z)$. We express these terms as a sum over combinatorial objects which we call radius-value trees.
Sidorenko property and forcing in regular tournaments
We give a complete characterization of tournaments H that have the Sidorenko property with respect to nearly regular tournaments, i.e., the homomorphism density of H among all nearly regular tournaments is minimized by a random tournament. Corollaries of our result are a positive answer to the question of Noel, Ranganathan and Simbaqueba whether there exist infinitely many non-transitive tournaments that are quasirandom forcing for nearly regular tournaments, and a negative answer to their question whether almost every tournament is quasirandom forcing for nearly regular tournaments.
Plethysm and orbit harmonics
Let $Π_{(b^a)}$ be the locus of unordered set partitions of $[ab]$ with $a$ blocks of size $b$. We embed unordered set partitions of $[n]$ into the affine space $\mathbb{C}^{\binom{[n]}{2}}$ with coordinate ring $\mathbb{C}\Big[\mathbf{x}_{\binom{[n]}{2}}\Big]$. Then, we apply orbit harmonics to $Π_{(2^a)}$ and $Π_{(a^2)}$, yielding graded $\mathfrak{S}_{2a}$-modules whose graded character formulae respectively refine the Schur expansions of $h_a[h_2]$ and $h_2[h_a]$ according to $λ_1$. We further extend this $λ_1$-separation phenomenon to quotients of $\mathbb{C}^{\binom{[n]}{2}}$ where $n$ is odd. Combining $Π_{(b^a)},Π_{(a^b)}$ and orbit harmonics, we propose a conjecture related to Foulkes' conjecture, and we prove the special case $b=2$. We also apply orbit harmonics to the locus $Π_{n,m}$ of unordered set partitions of $[n]$ without blocks of size greater than $m$, yielding a graded $\mathfrak{S}_n$-module $R(Π_{n,m})$. We determine the standard monomial basis of $R(Π_{n,m})$ with respect to any monomial order, as well as its graded character formula.