Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Bijective proofs of several conjectures on Jacobi permutations
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.
On Arithmetic Cordial Labeling of Product Graphs
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.
Products of Two Integers Avoiding Perfect Powers
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.
Nonisomorphic Graphs Can Share an Arbitrarily Large Fraction of Their Vertex-Deleted Cards
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.
Standard morphisms and Pythagorean triples
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$.
On spanning trees whose degrees are congruent to one modulo $\ell$
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$.
Perfect State Transfer on Oriented Circulant Graphs: A Complete Classification
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.
$m$-Bell and $m$-Stirling numbers: Iterated binomial transforms, hyper-Bessel functions, and moments of the Conway--Maxwell--Poisson distribution
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.
On ${\rm b}^{\ast}$-Coloring and $z$-Coloring of graphs with high girth
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$.
Two Relaxations of the Dominating Hadwiger's Conjecture
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.
Parallel covering a rhombus with equilateral triangles
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.
The Hajnal-Szemerédi theorem in digraphs revisited
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.
On the Turán Density of $C_{10}$ in the Hypercube
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$.
Normalized skew Schur polynomials are Lorentzian
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.
The finite basis problem for the flat semirings $S(W)$
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).
A Multiplicative Fourier Proof of the Length-Four Index Conjecture
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$.
Near optimal three-fold additive energy bound for points on convex curves
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}$.
The Five Distance Theorem For A Convex Norm
The three gap theorem states that the points of the Kronecker sequence $α,2α,\ldots,Nα$, considered modulo one, divide the circle into intervals of at most three distinct lengths. In a two-dimensional nearest-neighbour analogue, Haynes and Marklof proved that the Kronecker sequence modulo an arbitrary unimodular lattice determines at most five distinct nearest-neighbour distances in the Euclidean norm, and that this bound is sharp. Dettmann subsequently constructed examples attaining five distinct distances for every $\ell_p$-norm, $1\leq p\leq\infty$. We prove the corresponding upper bound for every strictly convex norm on $\mathbb R^2$: for every unimodular lattice $L$, every $\boldsymbolα\in\mathbb R^2$, and every $N\in\mathbb N$, the number of distinct nearest-neighbour distances is at most five. In particular, this settles the conjectured bound for all $\ell_p$-norms with $1<p<\infty$, for which the bound is optimal. The proof extends the lattice-theoretic argument of Haynes and Marklof by replacing its Euclidean angular estimates with a cone lemma based on a proper Brass angular measure.
Finding all cospectral mates over a number field
We investigate a notion of cospectrality for integer matrices that is parameterized by algebraic number fields. Given a number field and a symmetric integer matrix, we wonder when conjugating the integer matrix by an orthogonal matrix with entries in the given field can produce new integer matrices.
Our results concern sufficient conditions for the associated notion of spectral determination, and we give constraints on the orthogonal matrices when the conditions are not applicable. The results use the discriminant of the characteristic polynomial and properties of Krylov subspaces. We leverage the theory to develop an algorithm to find all cospectral mates over a given (small) field. An implementation of the algorithm is made available.
Complexity and algorithms for proper conflict-free coloring in graphs
A proper conflict-free (PCF) $k$-coloring of a graph $G$ is a proper $k$-coloring such that there exists a color that appears exactly once in the neighborhood of every non-isolated vertex $v\in V(G)$. The PCF chromatic number, denoted by $χ_{pcf}(G)$, is the least integer $k$ such that there exists a PCF $k$-coloring of $G$. Given a graph $G$ and a positive integer $k$, PCF $k$-COLORABILITY is to decide whether $G$ admits a PCF $k$-coloring. Ahn et al. [Discrete Appl. Math. 377 (2025) 10-17] proved that PCF $k$-COLORABILITY is NP-complete for bipartite graphs. We strengthen this result by proving that PCF $k$-COLORABILITY is NP-complete for perfect elimination bipartite graphs, which is a proper subclass of bipartite graphs. We also show that the PCF chromatic number of a graph cannot be approximated within $O(n^{1-\varepsilon})$ unless P=NP, for any $\varepsilon>0$. On the positive side, we provide linear-time algorithms for PCF $k$-COLORABILITY in block graphs, proper interval graphs, chain graphs, and pseudo-split graphs. We show that $χ_{pcf}(G)\leq ω(G)+1$ for block graphs, proper interval graphs, and pseudo-split graphs (except $C_5$), and we characterize all graphs for which the equality holds.