arXiv++ Combinatorics

In this work, we present novel approaches for constructing linear codes over $\ZZ_4$ from the known ones. We succeeded in obtaining new linear codes, many of which are optimal. In particular, we found all optimal codes for $k_1=2,~k_2=0$ and many optimal codes for $k_1=3,~k_2=0.$

An analog of the classical Kronecker-Weyl theorem for weak uniform distribution is obtained for an arbitrary countably infinite independent subset of a discrete abelian group using a type of interpolation sets called epsilon-Kronecker sets. Specifically, the topological size of the set of homomorphisms inducing weakly uniformly distributed sequences is established by showing that it forms a dense G-delta set.

The degree/diameter problem asks for the largest order of a graph with a given diameter and maximum vertex degree. This has been widely studied and given rise to a recent variation for mixed graphs (graphs with both undirected edges and directed arcs), where an additional bound is placed on the maximum directed out-degree of any vertex. Both problems have applications to network design. Counting the possible number of vertices at each distance from a given vertex gives a bound on the order of a mixed graph satisfying the degree and diameter constraints (the mixed Moore bound). In this paper, we settle an open problem posed by Tuite and Erskine concerning the total regularity of mixed graphs whose order is one less than the mixed Moore bound (almost mixed Moore graphs). We use this result to show that the three known almost mixed Moore graphs of diameter at least three are the only such mixed graphs.

In phylogenetics, Metropolis-Hastings methods are commonly used to sample phylogenetic trees or networks, for example from Bayesian posteriors. These methods generally use transitions that distinguish all nodes involved, and thus require fully labelled representations of phylogenetic networks. We argue that sampling leaf-labelled phylogenetic networks demands a correction for the number of fully labelled representatives of a leaf-labelled network, or, equivalently, for its internal symmetry. Without correction, there is a danger of undersampling networks with internal symmetries. We show that this correction can be realized by a quotient construction on the Metropolis-Hastings Markov chain, which, in practice, requires the calculation of the size of the network's automorphism group. Using $μ$-vectors, we show that the automorphism group is trivial for orchard networks, and thus also for tree-child networks and trees. This implies that a correction for symmetry is not needed when sampling only from such network classes. More generally, using our Python implementation of the algorithms in this paper, we show that using $μ$-vectors can significantly speed up calculations of automorphism group sizes and thus of Metropolis-Hastings sampling of leaf-labelled networks.

We construct a family of layer barriers for colour-biased tight Hamilton cycles in uniform hypergraphs. For every $k\ge 3$ and every $a\in\{0,\ldots,k-1\}$, we give a red--blue coloured $k$-graph that contains a tight Hamilton cycle, while every tight Hamilton cycle in the construction is perfectly colour-balanced. The construction underlying the higher-uniformity threshold conjectured by Behague, Clemen, Hyde and Morrison corresponds to the boundary case $a=0$ of this family. We show that interior choices of $a$ can yield strictly denser barriers. In particular, for $k=17$ and $a=8$, the asymptotic relative minimum vertex degree of our construction is \[ \frac{5761}{8192}\approx 0.703247, \] which exceeds the conjectured value $d_{17}\approx 0.699277$. This provides a counterexample to the proposed higher-uniformity threshold in Conjecture~6.1 of Behague, Clemen, Hyde and Morrison. Moreover, by choosing the layer appropriately as $k\to\infty$, the family contains barriers whose asymptotic relative minimum vertex degree is \[ 1-O\bigl(k^{-1/2}\bigr). \] Thus the interior members of the layer-barrier family exhibit substantially different behaviour from the previously considered boundary construction in large uniformity.

A classical problem in graph theory known as the Italian domination number(also called Roman 2-domination number), involves assigning labels of 0, 1,or 2 to each node v. The goal is to ensure that every node with a label of 0 has a sum of labels of the nodes in its closed neighborhood that is 2 or greater. In computer systems, it is coined encompassing a robust cyber security strategy that will protect networks from potential threats, such as hacking, malware, and unauthorized access, by deploying security measures to provide the highest level of protection while reducing the misuse of resources. Toeplitz graphs are a special kind of graphs built over Toeplitz matrices from linear algebra, which are matrices with constant straight diagonal members. In this paper, we provide a detailed analysis regarding the Italian domination numbers for every Toeplitz graph family. We provide comprehensive results on Italian domination numbers across multiple graph families and identify the specific values at which the Italian domination number alters with increasing generator values.

The main result of this article shows that the quiver mutation class of a malleable real Morsification uniquely determines the integral monodromy module of a plane curve singularity. In particular, we show that the quiver mutation class of a malleable divide determines the complex topological type of an irreducible plane curve singularity. This establishes the algebraic-to-topological implication of a conjecture of S.~Fomin, P.~Pylyavskyy, E.~Shustin and D.~Thurston in the malleable irreducible case. The result is proven by developing representation-theoretic techniques based on an equivariant Euler pairing in the derived category of continuous finite-dimensional dg modules over a differential bigraded Ginzburg algebra. A key step uses these techniques to show that the quiver mutation class of a plabic fence uniquely recovers the torsion part of the Alexander module of the associated smooth link.

Let $v_1,\ldots,v_T\in B_2^m$ be fixed in advance and revealed sequentially, and assume that $\|v_t\|_\infty\leqslant d^{-1/2}$ for some $d\geqslant 1$ and every $1\leqslant t\leqslant T$. There are absolute constants $L,C,c>0$ and a randomized online signing such that $$\mathbb{P}\left\{\max_{k\leqslant T}\left\|\sum_{t=1}^k\varepsilon_t v_t\right\|_\infty>6L\right\} \leqslant CT\exp\left(-\frac{cd}{\ln^2(ed)}\right).$$ Consequently, constant prefix discrepancy holds with probability at least $1-\varepsilon$ once $d$ is at least $C\ln\frac{3T}{\varepsilon}\left[\ln\left(e+\ln\frac{3T}{\varepsilon}\right)\right]^2$. In particular, every fixed sequence of vectors $a_t\in[-1,1]^m$ with at most $d$ nonzero coordinates admits an online signing with prefix discrepancy $O(\sqrt d)$ and failure probability at most $CT\exp[-cd/\ln^2(ed)]$. We also prove a nonuniform version in which the failure probability depends on the individual parameters $d_t=\|v_t\|_\infty^{-2}$, and a lower bound showing that a universal constant prefix discrepancy is impossible when $d=o(\ln T)$. We identify the corresponding $\ln^2 d$ barrier for the compact-potential method and extend the argument to general symmetric target bodies admitting a quadratic smoothness estimate.

A vertex cover of a graph $G$ is a subset of vertices $C \subseteq V(G)$ such that every edge of $G$ is incident to at least one vertex in $C$. The vertex cover number of $G$ is the minimum cardinality of a vertex cover of $G$ and is denoted by $τ(G)$. A snark is a connected, bridgeless, cubic graph that has an edge chromatic number of four, meaning its edges cannot be properly colored with only three colors. In this work, we investigate the problem of determining the value of a minimum vertex cover for classes of snark graphs. Given a positive integer $k$, we firstly prove that determining whether an arbitrary snark has a vertex cover $C$ with size $|C| \leq k$ is an NP-complete problem. Secondly, we determine the vertex cover number $τ(G)$ for several subclasses of snark graphs, such as Flower snarks, Goldberg snarks, Generalized Blanuša snarks and Loupekine snarks.

We study descendant integrals on moduli stacks of simplicially stable curves. For each finite collision complex, we factor the reduction morphism into elementary wall crossings and obtain a reconstruction formula in terms of ordinary Witten-Kontsevich correlators. We use the formula to derive corrected Virasoro recursions. We then package all finite-support theories in a completed disjoint-support Fock space, where the extended potential is a cumulant translate of the Witten-Kontsevich potential.

A coloring of the vertices of a hypergraph is called \emph{balanced} if the sizes of the color classes differ by at most one. We say that a hyperedge is \emph{rainbow} if its elements have pairwise distinct colors. In this paper, we provide a general upper bound on the \emph{balanced upper chromatic number} of arbitrary linear hypergraphs, that is, the largest integer $k$ such that there exists a balanced $k$-coloring of the vertices of the hypergraph without rainbow hyperedges. We focus on the cube $C_t^n$, defined as the linear hypergraph whose vertices are the lattice points in $[0,t-1]^n$, and whose hyperedges are the sets of $t$ collinear points. We determine the exact balanced upper chromatic number of $C_t^n$ for $t\geq 4n-2$. For smaller values of $t$, we present bounds and determine this parameter (with few exceptions) in dimensions $2$ and $3$.

Let \(k\geq 3\), \(n\geq 1\), and let \(H_{k,n}=\Sh(C_k,n)\) be the group generated by the standard \(k\) pile perfect shuffle and cyclic pile permutation on a deck of \(kn\) cards. We prove that \(H_{k,n}\) is \(2\)-transitive whenever \(n\) is not a power of \(k\). Residual commutators give translations supported on two pile labels, and a strongly connected digit digraph propagates these translations throughout the deck, a separate argument resolves the antipodal support case. We then combine this result with fixed point ratio bounds for primitive groups and explicit boundary calculations to determine \(H_{k,n}\) for all \(k\) and \(n\). If \(n=k^f\), then \(H_{k,n}\cong C_k\wr C_{f+1}\). If \(k=4\) and \(n=2\cdot4^j\), then \(H_{4,n}\cong\AGL(2j+3,2)\). In every other case, \(H_{k,n}\) is \(\Alt(kn)\) or \(\Sym(kn)\), according to the parity of its generators. This proves Conjecture~1.10 of Amarra, Morgan and Praeger and Conjecture~5.1 of Xia, Zhang, Zhang and Zhu. More generally, we classify \(\Sh(P,n)\) for every pile group \(P\) containing \(C_k\), and obtain the odd \(k\) part of their Conjecture~5.2.

Let $S$ be a numerical semigroup with multiplicity $\mult$, conductor $\cc$, embedding dimension $\ee$, type $\typ$ and genus $\gnus$, and let $\nn=\cc-\gnus$. Wilf's conjecture asserts that $\ee\,\nn\ge\cc$; the inequality $\gnus\le\typ\,\nn$ of Fröberg, Gottlieb and Häggkvist settles it when $\typ\le\ee-1$. The Apéry set of $S$ with respect to any $s\in S\setminus\{0\}$ carries a partial order whose maximal elements are the pseudo-Frobenius numbers translated by $s$; for $s=\mult$ its minimal elements are the minimal generators other than $\mult$. Comparing the two extremal statistics bounds the type by $\typ\le\ee-1+\Xii(S)\le\ee-1+Θ(S)$, where $Θ(S)$ measures the redundancy of the covering of the gaps of $S$ by the pseudo-Frobenius numbers and $\Xii(S)$ refines it. With an exact decomposition of the Wilf number this yields the genus bound $\gnus\le\ee-1+\typ(\nn-1)$, strictly stronger than $\gnus\le\typ\,\nn$ precisely when $\typ\ge\ee$, and reduces Wilf's conjecture to an inequality free of $\cc$ and $\nn$. We determine the equality case of $\gnus\le\typ\,\nn$, recovering a classification of Singhal; answer a question of Moscariello and Sammartano whenever $\ee\ge\typ+1$; and correct Kaplan's classification of the equality case for $\cc\le2\mult$, from which an infinite family is missing.

We construct a 321 point set in R^63 that cannot be partitioned into 64 subsets of smaller diameter, proving b(63)>=65. Starting from the G_2(4) Euclidean representation and the Jenrich Brouwer 320 point core in dimension 63, we add one projected and rescaled point while preserving the relevant clique obstruction. The example and proof were generated entirely by ChatGPT using GPT 5.6 Sol. The author has personally verified the result and assumes responsibility for that verification, but claims no credit for the originality of the construction.

We study (binary) nearly-perfect covering codes, which are codes that attain the Van Wee bound with equality. They act as the covering counterparts to nearly-perfect error-correcting codes, which attain the Johnson bound with equality. These codes have been completely classified for covering radius $R=1$. We prove that no code with $R\geq 2$ can attain the original Van Wee bound with equality, since it omits the dependence on the minimum distance of the code. We refine the bound to account for the minimum distance and show some nearly-perfect covering codes. By proving some structural properties of such codes, we prove all nearly-perfect covering codes with $R=2,3$ must be equivalent to the codes we showed. We also prove that for any $R\geq 3$, there are at most a finite number of nearly-perfect covering codes.

For $X\in\{\mathbb{N},\mathbb{Z}\}$, let $α_X(\ell)$ and $β_X(\ell)$ denote the supremal upper and lower densities of subsets of $X$ admitting $ω$-permutations without monotone $\ell$-term arithmetic progressions. We strengthen the published lower bounds for the three-term upper-density parameters by proving \[ α_{\mathbb{N}}(3)\geq\frac23,\qquad α_{\mathbb{Z}}(3)\geq\frac23. \] We also prove $β_{\mathbb{Z}}(4)=1$ by constructing four-permutable subsets of the integers whose lower symmetric densities approach one.

We construct an explicit real quantum Latin square of order six with cardinality $29$, the last unresolved value in the order-six spectrum. We first construct a punctured $6 \times 6$ array in $\mathbb{R}^5$ whose punctured rows and columns are orthonormal bases, and then adjoin a common diagonal vector in an orthogonal one-dimensional summand. The six diagonal entries lie on one ray. Of the thirty off-diagonal entries, two rays occur twice and the other twenty-six occur once; exact support and coordinate-ratio comparisons establish this count. Together with the known constructions, this closes the cardinality spectrum of quantum Latin squares of order $6$.

Seymour's second neighborhood conjecture asserts that every finite oriented graph has a vertex with at least as many exact second outneighbors as outneighbors. Established cases include tournaments, proved by Fisher (1996), and oriented graphs of minimum outdegree at most six, proved by Kaneko and Locke (2001); a recent preprint of Sadhukhan, Sandeep, and Sen (2026) treats minimum outdegree seven. For dense incomplete graphs, Fidler and Yuster (2007) proved the conjecture when the missing edges form a matching, a star, or a clique, Ghazal (2012) extended this direction to generalized stars, and Dara, Francis, Jacob, and Narayanan (2022) proved it when the missing edges can be partitioned into a matching and a star. We give a short counting proof of the conjecture for every oriented graph of order $n=2δ+2$, where $δ$ is the minimum outdegree, with no prescribed structure on the missing edges. Together with Fisher's tournament theorem, this implies the conjecture for every oriented graph satisfying $n\le2δ+2$. Combined with the known minimum-outdegree results, this raises the best lower bound known to us on the order of a counterexample from $16$ to $17$ and, conditional on the preprint of Sadhukhan, Sandeep, and Sen (2026), from $18$ to $19$.

For a graph $G$, let $\cpn(G)$ and $\ccn(G)$ denote the minimum numbers of cliques whose edge sets partition and cover $E(G)$, respectively, and put $f(n)=\max_{|V(G)|=n}\bigl(\cpn(G)-\ccn(G)\bigr).$ In 1983, Erdős, Faudree, and Ordman asked whether there is a sequence of graphs $G_n$ such that $|V(G_n)|=n$ and $\cpn(G_n)-\ccn(G_n)=n^2/4+O(n)$. The question appears as Problem 66 in Chung's survey \cite{ChungProblems} and is also listed on the UCSD Erdős Problems website. Caccetta, Erdős, Ordman, and Pullman proved that $f(n)=n^2/4-o(n^2)$. We prove that $f(n)=\left\lfloor\frac{n^2}{4}\right\rfloor-Θ(n^{4/3}),$ and hence answer the question in the negative.

Let $λ, μ, ν$ be distinct partitions such that $λ, μ\subset ν$ and $|ν/λ|=|ν/μ|=1$. We prove Butler's positivity conjecture posed in 1994: the expansion of the Macdonald intersection polynomial \[ \frac{T_λ\widetilde{H}_μ(X;q,t)-T_μ\widetilde{H}_λ(X;q,t)}{T_λ-T_μ} \] in terms of the Schur function basis has coefficients in $\mathbb{Z}_{\geq 0}[q,t]$.

For fixed integers $s\ge t\ge2$, let $\operatorname{ex}(n,n,n,K_{s,t})$ denote the maximum number of edges in a tripartite $K_{s,t}$-free graph with $n$ vertices in each part. When $s\ge(t-1)!+1$, let $r$ be the largest integer satisfying $s\ge(t-1)!r^{t-1}+1$. Using the quotient norm graphs of Alon, Rónyai and Szabó, we prove that \[ \operatorname{ex}(n,n,n,K_{s,t}) \ge \left(\frac{3}{2^{1/t}}r^{1-1/t}+o(1)\right)n^{2-1/t}. \] Improving an upper bound of Tait and Timmons, we prove that, for all $s\ge t\ge 2$, \[ \operatorname{ex}(n,n,n,K_{s,t})\le \left(\frac{3}{2^{1/t}}(s-t+1)^{1/t}+o(1)\right)n^{2-1/t}. \] Together, these bounds recover the results for $t=2$, and give the new asymptotic formula \[ \operatorname{ex}(n,n,n,K_{3,3}) =\left(\frac{3}{\sqrt[3]{2}}+o(1)\right)n^{5/3}. \] Analogous results extend to $k$-partite graphs containing no $K_{s, t}$ whose $s$-vertex or $t$-vertex side lies in a single part. As an application of our tripartite construction, we determine the tripartite multicolor Ramsey number of $K_{3,3}$ asymptotically.

Jackson and Thomassen conjectured that every $2k$-strong digraph admits a spanning $k$-strong oriented subdigraph [Ann. N. Y. Acad. Sci. 555 (1989) 402-412]. The conjecture holds for $k=1$ but other than some partial results that have been obtained for general $k$ in some special families of digraphs, including symmetric digraphs, the conjecture remains wide open in general. Even the existence of an integer $K$ such that every $K$-strong digraph has a 2-strong spanning oriented subdigraph is open. As a natural optimization counterpart, the minimum spanning $k$-strong subdigraph (MSSS$_k$) problem, is to find the minimum number of arcs in a spanning $k$-strong subdigraph of a $k$-strong digraph. This problem is NP-hard already for $k=1$ as it generalizes the hamiltonian cycle problem. In this paper, we address both problems simultaneously for the class of split digraphs, by constructing sparse spanning $k$-strong oriented subdigraphs. Specifically, we prove that every $k$-strong split digraph $D = (V_1, V_2; A)$ with minimum semi-degree {$δ^0(D)\geq 26k+15$} contains a spanning $k$-strong oriented subdigraph with no more than $kn+k|V_1|+98k^2+38k+3$ arcs, where $kn + k|V_1|$ is tight and the $k^{2}$ term is tight up to a constant factor. For the class of $k$-strong tournaments with minimum semi-degree at least $26k+15$ our results improve the bound obtained by Kang in [Combin. Probab. Comput., 27:892-907, 2018].

We consider a variant of Nim in which, for a fixed set $S$ of nonnegative integers, a move is forbidden if the total number of remaining stones belongs to $S$. This game coincides with normal-play Nim when $S=\emptyset$, and with misère Nim when $S=\{0\}$. In this paper, we focus in particular on the case where $S$ is the set of multiples of $d$, and show that simple criteria for determining the outcome can be obtained for $d=2,3,4$.

Sumner's universal tournament conjecture asserts that every tournament on $2n-2$ vertices contains every oriented tree on $n$ vertices. Let $f(n)$ be the least integer $N$ such that every tournament on $N$ vertices contains every oriented tree on $n$ vertices. Havet and Thomassé proved that $f(n)\le \lceil(7n-5)/2\rceil$, El Sahili improved this to $f(n)\le3n-3$, and Dross and Havet subsequently obtained $f(n)\le\lceil21n/8-47/16\rceil$. We refine their median-order method. More precisely, every non-bi-arborescence on $n$ vertices with $k$ leaves is $(4n-2k-4)$-unavoidable, which strictly improves their many-leaf estimate; bi-arborescences satisfy the stronger bound $2n-2$. Combining this refinement with their few-leaf bound gives $f(n)\le\lceil(18n-23)/7\rceil$ for every $n\ge2$. Thus the coefficient in the previously best general bound valid uniformly for all $n$ is reduced from $21/8$ to $18/7$.

Finding fixed perimeter analogues of various partition theoretic identities and inequalities has recently emerged as an active area of research. Gray, Payne, Swisher, and Watson [\textit{Discrete Math.}, 2026] established several fixed perimeter analogues of partition theoretic results inspired by Euler's celebrated partition identity. Very recently, in a separate work [\textit{ar{X}iv:2608.00421}, 2026], they explored fixed perimeter analogues of inequalities related to parity biases. Introducing the concept of parity bias, Kim, Kim, and Lovejoy [\textit{Eur. J. Comb.}, 2020] conjectured that $pd_o(n)>pd_e(n)$ for all $n\ge 20$, where $pd_o(n)$ (respectively, $pd_e(n)$) denote the number of partitions of $n$ into distinct parts having more odd parts (respectively, even parts) than even parts (respectively, odd parts). The author, together with Banerjee, Bhattacharjee, Dastidar, and Saikia [\textit{Eur. J. Comb.}, 2022], proved this conjecture. Gray, Payne, Swisher, and Watson conjectured that a fixed perimeter analogue of this inequality holds for all $n\ge 9$. In this paper, we confirm their conjecture.

By using constant term manipulations, we present the first polynomial-time algorithm for lattice-point counting in fixed dimension that does not rely on Barvinok's unimodular decomposition. The algorithm instead operates directly on a rational generating function in the form of a nested root average, as produced by the \texttt{SimpCone[S]} framework. By means of a residue-lattice argument based on Minkowski's theorem, we construct a short multiplier that induces an exact non-coprime split of the outermost average. The resulting child terms are encoded as joint root averages, and Smith normal form is used to restore the recursive structure. Two structural invariants---the generation condition and full-column independence---ensure that the recursion is well defined and that all required pole exchanges are valid. For a fixed-dimensional simplicial cone, the algorithm achieves recursion depth \(O_d(1+\log\log(2+\ind(\mathcal K^*)))\) and produces a signed sum of at most \((1+\log \ind(\mathcal K^*))^{O_d(1)}\) unimodular cone generating functions. The framework uniformly handles numerators that are Laurent polynomials, not merely monomials, thereby giving a polynomial-time algorithm for MacMahon's partition analysis when the dimension is fixed.

Let G be a finite simple cubic graph, not necessarily connected, and let S_2(G) be obtained by subdividing every edge of G twice. Li (2025) developed general constructions for antimagic labelings of repeated subdivisions, but the cubic case G(3) = S_2(G) is not covered by those methods. Our first proof constructs an edge labeling of G in which every vertex sum is sufficiently large and occurs at most twice, and then uses an orientation after subdivision to separate the remaining equal sums. A second, direct construction uses the same path decomposition to make the internal contribution at each original vertex constant, while a unique endpoint contribution distinguishes the resulting sums. The direct construction further shows that S_2(G) is strongly antimagic whenever every vertex of G has odd degree at least three.

In our previous work \cite{MiezakiTamura2026}, we clarified the second-order linear recurrence structures appearing in the average hitting times on the $k$-th power graph $C_N^k$ of the cycle graph. In this paper, for a connected $r$-regular graph $G$ on $m$ vertices, we investigate the average hitting times of the simple random walk on the Cartesian product graph $C_N^k \square G$. By using discrete Fourier analysis in the $C_N^k$ direction and the Laplacian spectral decomposition of $G$, we decompose the average hitting time into a component proportional to the average hitting time on $C_N^k$ and correction terms arising from the nonzero Laplacian eigenspaces of $G$. For each nonzero Laplacian eigenvalue, we introduce a Chebyshev-type polynomial, and when all of its roots are simple, we express the correction term as a finite Green-type sum. Furthermore, for two vertices having the same $G$-coordinate, we transform this expression into a second-order linear recurrence representation of the form $V_\ell V_{N-\ell}/V_N$. When $G$ is a walk-regular graph, the average hitting time between two vertices having the same $G$-coordinate depends only on the Laplacian eigenvalues of $G$ and their multiplicities. We also derive formulas for the number of spanning trees and the number of two-component spanning forests of $C_N^k \square G$, and give several explicit examples.

Let $X$ be a finite Euclidean Ramsey set. We prove that adjoining any point outside the affine hull of $X$ gives another Euclidean Ramsey set, answering a conjecture of Ivan, Leader, and Walters. We first give an elementary product proof under the additional assumptions that the orthogonal projection of the new point lies in $conv(X)$ and that its distance from $aff(X)$ is sufficiently large. We then prove the general case by combining the product theorem for $E$-Ramsey configurations and Kříž's orbit-gluing theorem with a cyclic construction. No transitivity assumption on $X$ is needed.

Jacobi permutations, invented by Viennot in the context of the Jacobi elliptic functions, are counted by the Euler numbers. Recently, Henke, Hoffman, Stephens, Yuan, and Zhuang studied refined enumerations of Jacobi permutations and proposed three conjectures concerning the distribution of several statistics on Jacobi permutations. In this paper, we prove these conjectures by establishing explicit bijections involving increasing even trees, increasing binary trees, alternating permutations, and André permutations. One highlight of our results is a bijection between Jacobi permutations and André I permutations that transforms the pair of statistics $(\Ascbot, \last)$ to the pair of statistics $(\Desbot, \first)$. Here the statistic $\Ascbot$ (resp., $\Desbot$) denotes the set of ascent bottoms (resp., descent bottoms) of permutations, and the statistic $\first$ (resp., $\last$) denotes the first (resp., $\last$) letter of permutations. Furthermore, we investigate pairs of statistics on André permutations and simsun permutations that are equidistributed with the pair $(\asc, \last)$ on Jacobi permutations, where $\asc$ denotes the number of ascents of permutations. Finally, we obtain a closed-form formula for the trivariate exponential generating function of Jacobi permutations with respect to the number of ascents and the numbers of letters smaller and larger than the last letter.

Let $η$ be a fixed positive integer. Let $S$ be a subset of $\mathbb{Z}$, $\star:S\times S\to \mathbb{Z}$ be a binary function, and $ζ_η:\{ξ\in \mathbb{Z}:\gcd(ξ,η)=1\}\to \{0,1\}$ be a function. For a simple graph $G$ of order $n$, a bijective function $f:V(G)\to S$ (where $|S|=n$) is called an arithmetic cordial labeling modulo $η$ under the arithmetic structure $\langle S,ζ_η,\star\rangle$ if the induced function $f_η^*:E(G)\to \{0,1\}$, defined by $f_η^*(ab)=1$ whenever $\gcd(f(a)\star f(b),η)= 1$ and $ζ_η(f(a)\star f(b))=1$; otherwise, $f_η^*(ab)=0$, satisfies the condition $|e_{f_η^*}(0)-e_{f_η^*}(1)|\leq 1$, where $e_{f_η^*}(i)$ is the number of edges with label $i$ ($i=0,1$). In this paper, the arithmetic cordial labeling of product graphs, namely, corona, lexicographic, cartesian, tensor, and strong, is explored under the operation of addition.

For integers $d\geq 3$, let $F_{2,d}(n)$ be the largest size of a subset of $[n]$ containing no two distinct elements whose product is a perfect $d$-th power, and let $f_{2,d}(n)$ denote the analogous quantity when the two elements need not be distinct. Fleiner, Juhász, Kövér, Pach, and Sándor proved that both complements have order $n^{2/3}$ when $d=3$, and asked for a leading constant. They also asked whether, more generally, $n-F_{k,d}(n)$ and $n-f_{k,d}(n)$ have order $n^{k/d}$ for $1<k<d$. We establish asymptotic formula in the case $k=2$ for every fixed $d\geq3$, \[ n-F_{2,d}(n)\sim n-f_{2,d}(n) \sim C_d\, n^{2/d}(\log n)^{d-3}, \] where $C_d>0$ is given explicitly by an Euler product and a polytope volume. In particular, the extra logarithmic factor gives a negative answer to the second question for every $d\geq4$. For $d=3$ we obtain \[ C_3=\frac{π^2}{4} \prod_p\left(1-\frac3{p^2}+\frac2{p^3}\right), \] which answers the first question. The proof uses an exact decomposition into complementary $d$-free kernel classes, a squarefree sieve in multiplicative boxes, and a two-height polytope calculation.

For a graph $G$, its vertex deck is the multiset of graphs obtained by deleting one vertex. Bowler, Brown, and Fenner (BBF) proposed $2\lfloor(n-1)/3\rfloor$ as the maximum possible overlap between the decks of two nonisomorphic $n$-vertex graphs, for all sufficiently large $n$. We first give an explicit pair of connected nonisomorphic graphs on $78$ vertices with at least $51$ common cards, exceeding BBF's predicted value of $50$. We then construct, for every even $r\ge4$, families at arbitrarily large orders whose overlap fraction is asymptotically at least $1-1/r$. Consequently, for every $α<1$, infinitely many pairs have more than $αn$ common cards, so the attainable fraction is arbitrarily close to the full deck. For representative instances, the predicted overlaps were also checked by complete deck generation and isomorphism testing with Brendan McKay's nauty tools.

Let $m\geq 1$, let $f:\mathbb N\to\mathbb Z/m\mathbb Z$ be a standard morphism and let $T(m)$ be the least integer $N$ such that every such $f$ admits a primitive monochromatic Pythagorean triple with hypotenuse at most $N$. The aim of this note is to prove that every standard morphism has infinitely many identity-valued Pythagorean triples and infinitely many primitive monochromatic Pythagorean triples. Thus the qualitative part of Problem~4.3 of Eliahou, Fromentin, Marion-Poty and Robilliard is solved for every $m$. Moreover, $T(m)$ is finite, the morphism $n\mapsto v_3(n)\pmod m$ has least possible hypotenuse $(9^m+1)/2$ and $T(d)\leq T(m)$ when $d\mid m$.

An $\ell$-congruent spanning tree of a nontrivial connected graph is a spanning tree in which every vertex has degree congruent to one modulo $\ell$. This notion provides a common generalization of classical spanning trees and odd spanning trees. We show, via a constructive greedy algorithm, that every $n$-vertex graph $G$ satisfying $n\equiv2\pmod{\ell}$ and $δ(G)>\frac{(\ell-1)n}{\ell}$ has an $\ell$-congruent spanning tree. For the special case of odd spanning trees ($\ell=2$), our algorithmic approach simplifies the original proof by Zheng and Wu. We also derive formulas for the numbers of $\ell$-congruent spanning trees in complete graphs and complete bipartite graphs. These formulas specialize to the classical spanning-tree formulas when $\ell=1$ and to the corresponding odd-spanning-tree formulas when $\ell=2$.

The continuous-time quantum walk on an oriented circulant graph is determined by the Fourier eigenvalues of its Hermitian adjacency matrix. We classify perfect state transfer (PST) between distinct vertices in every nonempty oriented circulant graph. We show that each such graph is described by an odd primitive quadratic Dirichlet character of conductor $Δ$, a set of gcd-classes, and a choice between the two orientations of each selected class. For a graph of order $n$, we derive an explicit formula for every Fourier eigenvalue without assuming that $n/Δ$ is coprime to $Δ$. We prove that PST occurs only for $Δ\in\{3,4,8\}$ and give necessary and sufficient conditions on the connection set for each conductor. Equivalently, the square-free radicands of oriented circulant graphs with PST are exactly $1$, $2$, and $3$. More generally, when $λ_j=\sqrt{D}η_j$ with $η_j\in\mathbb{Z}$, congruences satisfied by the integers $η_j$ determine all PST pairs and times, the minimum period, and the largest vertex sets supporting multiple state transfer (MST). In this class, pretty good state transfer is equivalent to PST. We also determine the connected orders and enumerate the resulting graphs.

We introduce a natural generalization of the Bell numbers: the $m$-Bell numbers $B^{(m)}_{n}$, characterized by the property that $m$ applications of the binomial transform reproduce the original sequence shifted $m$ places to the left. Their exponential generating functions satisfy $m$-th order ordinary differential equations whose solutions are hypergeometric (hyper-Bessel) functions, specializing to the exponential function when $m=1$ (classical Bell numbers) and to modified Bessel functions when $m=2$ (yielding "Bessel-Bell" numbers). Mirroring the Bell-Stirling correspondence, we construct $m$-Stirling triangular arrays from the two-term recurrence $S_m (n+1,k) = m \left\lfloor k/m \right\rfloor S_m(n,k)+S_m(n,k-1)$ and prove an elementary shift identity from which the central structure theorem follows: the row sums of the $m$-Stirling triangle reproduce $B^{(m)}_{n}$, and, more finely, the residue-class row sums are precisely the $m$ primitive $m$-Bell sequences. The $m$-Stirling numbers come in dual pairs (with first-kind partners, generalized falling factorials, and Lah-type companions), serve as conversion operators between polynomial bases, admit Dobiński-like formulas, and count congruence-constrained partitions in an urn model as well as restricted permutation insertion histories. Finally, we show that the $m$-Bell numbers govern the moments of the Conway-Maxwell-Poisson distribution with integer dispersion parameter $ν=m$: the scaled moments are combinations of fixed hyper-Bessel carrier ratios whose integer coefficients are precisely the primitive $m$-Bell sequences, recovering for $m=1$ the classical fact that the moments of the Poisson distribution are the Bell numbers.

In a proper vertex coloring $c$ of a graph $G$, a vertex $u$ is called a b-vertex if $u$ is adjacent to a vertex in every other color class. A ${\rm b}^{\ast}$-coloring is a proper coloring in which a b-vertex is adjacent to a b-vertex in every other color class. A Grundy coloring is a proper coloring obtained by the First-Fit (greedy) coloring procedure. A $z$-coloring of $G$ is a ${\rm b}^{\ast}$-coloring that is also a Grundy coloring. The ${\rm b}^{\ast}$-chromatic number (resp., $z$-chromatic number), denoted by ${\rm b}^{\ast}(G)$ (resp., $z(G)$), is the maximum number of colors used in a ${\rm b}^{\ast}$-coloring (resp., $z$-coloring) of $G$. Every graph admits a ${\rm b}^{\ast}$-coloring and a $z$-coloring that can be found using a polynomial-time coloring heuristic. Let ${\rm m}^{\ast}(G)$ be the largest integer $k$ such that a vertex of degree at least $k$ in $G$ has $k$ neighbors of degree at least $k$. We employ list-coloring techniques to prove that if $G$ has a girth of at least $7$, then ${\rm b}^{\ast}(G) = {\rm m}^{\ast}(G)+ 1$. A similar result is obtained for graphs of girth at least $6$ when ${\rm m}^{\ast}=3$. Finally, we prove that if the girth is at least $2k+2$ and $G$ contains a specific tree as an ordinary subgraph, then $z(G)\geq k$.

Illingworth and Wood recently proposed the Dominating Hadwiger's Conjecture, a strengthening of Hadwiger's Conjecture which asserts that every graph with no dominating $K_t$-model is $(t-1)$-colorable. We prove two relaxations of this conjecture. First, we show that every graph with average degree $Ct (\log t)^2$ contains a dominating $K_t$-model for some absolute constant $C$. This bound improves on the $2^{t-2}$ due to Illingworth and Wood and is within an $O(\log t)$ factor from optimal. Second, we prove that the vertices of every graph with no dominating $K_t$-model can be partitioned into $t-1$ parts such that the subgraph induced by each part has bounded maximum degree.

Suppose that ${R}^α$ is a rhombus with side length $1$ and with an interior angle $α$, where $0<α\leq \fracπ{2}$. Let $\triangle$ be an equilateral triangle with a side parallel to a side of ${R}^α$ and let $\{\triangle_{n}\}$ be a collection of homothetic copies of $\triangle$. In this paper, we show the following two results: if $0<α\leq\fracπ{3}$ and the sum of the areas of equilateral triangles from $\{\triangle_{n}\}$ is at least $\frac{\sqrt{3}}{4}(1+\cosα+\frac{\sqrt{3}}{3}\sinα)^{2}$, then these equilateral triangles can parallel cover the rhombus ${R}^α$; if $\fracπ{3}<α\leq\fracπ{2}$ and the sum of the areas of equilateral triangles from $\{\triangle_{n}\}$ is at least $\frac{\sqrt{3}}{4}(1+\frac{2\sqrt{3}}{3}\sinα)^{2}$, then they can parallel cover the rhombus ${R}^α$. Furthermore, these bounds are optimal on their respective intervals.

Treglown conjectured (in a complementary form) that for every positive integer $k$, every digraph $D$ satisfying $\min\{d^+(v),d^-(v)\}\le k-1$ for all $v\in V(D)$ has an equitable acyclic $k$-coloring. If true, this would imply the acyclic coloring versions of the Hajnal-Szemerédi theorem for digraphs proved by Czygrinow, DeBiasio, Kierstead, and Molla (which in turn imply the original Hajnal-Szemerédi theorem for graphs). As it turns out, there is a simple reduction implicit in Aboulker, Oijid, Petit, Rocton, and Simon which surprisingly shows that Treglown's conjecture (and thus the results of Czygrinow, DeBiasio, Kierstead, and Molla) follows directly from the original Hajnal--Szemerédi theorem for graphs. We slightly modify the reduction in order to show that there exists a polynomial time algorithm for finding an equitable acyclic $k$-coloring in such a digraph.

The $n$-dimensional hypercube $Q_n$ is the graph with vertex set $\{0,1\}^n$ in which two vertices are adjacent if they differ in exactly one coordinate. For a graph $H$, let $\operatorname{ex}(Q_n,H)$ be the maximum number of edges in an $H$-free subgraph of $Q_n$. The hypercube Turán density of $H$ is defined by $π_{\square}(H) = \lim_{n \rightarrow \infty} \operatorname{ex}(Q_n,H)/|E(Q_n)|$. In this short note, we prove \[ π_{\square}(C_{10})\leq π_{\square}(C_6). \] Combined with Baber's upper bound on $π_{\square}(C_6)$, this yields $π_{\square}(C_{10})\leq 0.36577$. Our proof first bounds the number of copies of $C_6$ in $C_{10}$-free subgraphs of $Q_n$, and then applies an averaging argument over the subcubes of $Q_n$.

We prove the conjecture of Huh, Matherne, Mészáros, and St.~Dizier that the normalization of every skew Schur polynomial in finitely many variables is Lorentzian. We first realize every nonzero skew Schur polynomial in finitely many variables as a specialization of a Schubert polynomial and prove that it is dually Lorentzian. The dual Jacobi--Trudi identity then identifies its normalization with the finite dual of a skew Schur polynomial obtained by rectangular complementation. As a consequence, skew Kostka numbers satisfy log-concavity inequalities along the root directions.

We focus on the finite basis problem for flat semirings of the form $S(W)$, where $W$ is an arbitrary set of nonempty words. We prove that $S(W)$ generates a Cross variety (and hence is finitely based) whenever every word in $W$ has length at most $3$, whereas it is nonfinitely based whenever there exists $k \geq 3$ such that $W$ is $x^{k+2}$-free but not $x^{k+1}$-free. In particular, if $W_k$ denotes the set of all words of length $k$, then $S(W_k)$ is finitely based if and only if $k \leq 3$. Moreover, $S(W)$ is nonfinitely based whenever $W$ is finite and not $x^4$-free. These results provide a partial answer to an open problem raised by Jackson et al.~(J Algebra 611: 211--245, 2022).

Let $C_n$ be a cyclic group of order $n$. The index conjecture in zero-sum theory asserts that if $(n,6)=1$, then every minimal zero-sum sequence of length four over $C_n$ has index one. Ge proved the conjecture for all sufficiently large $n$, and Pendleton reduced the known explicit threshold to $4.6\cdot 10^{13}$. We give a different argument based on multiplicative Fourier analysis on $(\mathbb{Z}/n\mathbb{Z})^\times$. Starting from the exact index-two residue identity, we take its multiplicative Fourier transform and express the odd Fourier coefficients through first moments of Dirichlet characters. The imprimitive characters for which this moment vanishes form an exceptional spectrum of cardinality at most $157\varphi(n)/1440$, hence strictly less than $\varphi(n)/9$. A finite-group support uncertainty inequality then forces the four-term multiset to be invariant under negation, contradicting minimality. We also give a minimal-modulus reduction, using the theorem of Shen-Xia-Li, from the general conjecture to the unit case. This proves the length-four index conjecture for every $n$ coprime to $6$.

Let $X\subset\mathbb{R}$ be finite and let $γ(t)=(t,f(t))$, where $f$ is strictly convex. We show that \[ J_3(γ(X)) =\#\{(x_1,\ldots,x_6)\in X^6:\sum_{i=1}^3γ(x_i)=\sum_{i=4}^6γ(x_i)\} \ll_{\varepsilon}|X|^{3+\varepsilon}. \] As applications, we prove that $|A-A|\gg_{\varepsilon}|A|^{5/3-\varepsilon}$ and $|A+A|\gg_{\varepsilon}|A|^{8/5-\varepsilon}$ for any convex sequence $A\subset \mathbb{R}$.