math.CO ↗ arXiv
7121 papers in this category
Equivariant version of the characteristic quasi-polynomials of root systems
An equivariant characteristic quasi-polynomial is a quasi-polynomial in $q$ consisting of the permutation character on the mod $q$ complement of the corresponding Coxeter arrangement. This concept is a refinement of the conventional characteristic quasi-polynomials of root systems. In this paper, we will show equivariant-theoretic refinements of the some properties of characteristic quasi-polynomials of root systems. Furthermore, we will explicitly compute equivariant characteristic quasi-polynomials of all irreducible reduced root systems and discuss the relationship with root systems constructed by the folding of the extended Dynkin diagrams.
On the Equal Sum Partition Problem
We consider the equal sum partition problem, motivated by distance magic graph labeling: Given $n,k \in \N$ such that $k\, | \sum_{i=1}^ni$ and a partition $p_1+\cdots+p_k=n$, when is it possible to find a partition of the set $\{1,2,\ldots,n\}$ into $k$ subsets of sizes $p_1,\dots,p_k$, such that the element sum in each subset is the same?
A known necessary condition is the \emph{slack condition}, requiring that for all $j$, placing the largest possible elements in the $j$ smallest sets yields a total sum that is at least what is needed. However, this condition is not sufficient, and known counterexamples exist.
This work clarifies the boundary between solvable and unsolvable instances of the problem. We extend the list of unsolvable problem instances satisfying the slack condition by exhibiting infinite families where the $n/k$ ratio is any rational number in the interval $(2,\frac{24}{7})$, and a new criterion for unsolvability. Furthermore, we show that the slack condition is natural, as it is both necessary and sufficient for the fractional relaxation of the problem. Based on this result, we prove that the problem is solvable for the class of linear partitions, where $k$ is fixed, $p_1,\ldots,p_k$ grow linearly with $n$, and where the slack condition holds in a strong sense. We do this by applying a randomized rounding algorithm to a solution of the fractional relaxation of the problem and proving that the algorithm has an exponentially small failure probability.
Asymmetric bilateral Bailey pairs and Rogers-Ramanujan type identities
The theory of Bailey's transform provides a systematic method for deriving $q$-identities, the key factor of which is the Bailey pair. The concept of Bailey pair was first extended to bilateral version by Paule. In this paper, following Rogers' work on Fourier series, we derive two asymmetric bilateral Bailey pairs. By inserting them into the bilateral Bailey chains, we obtain several identities of Rogers-Ramanujan type, Andrews-Gordon type and also identities on false theta functions. Furthermore, based on the Bailey lattice due to Dousse, Jouhet and Konan, we get an asymmetric bilateral Bailey lemma which leads to identities on Appell-Lerch series. Moreover, by using the asymmetric bilateral Bailey lemmas due to Andrews and Warnaar, we get some identities on false theta functions and the generalized Hecke-type series.
A $μ$-distance for semidirected orchard phylogenetic networks
In evolutionary biology, phylogenetic networks are now widely used to represent the historical relationships between species and population, when this history includes reticulation events such as hybridization, gene flow and admixture between populations. Semidirected phylogenetic networks are appropriate models when the direction of some edges and the root position are not identifiable from data. Comparing semidirected networks is important in many applications. For rooted and directed networks, a $μ$-representation was originally introduced to distinguish tree-child networks, and has since been extended in two different directions: to the larger class of orchard directed networks by adding an extra component that counts paths to reticulations; and to semidirected networks, through an edge-based variant. However, the latter does not provide a distance between semidirected and orchard networks. We introduce here a new edge-based $μ$-representation capable of distinguishing distinct orchard binary semidirected networks. For this class, we provide a reconstruction algorithm and therefore obtain a true distance that is computable in polynomial time.
Double-sum Rogers-Ramanujan type identities
As the $q$-analog of Chebyshev polynomials, $q$-Hermite polynomials form a cornerstone in the family of $q$-orthogonal polynomials, which play a fundamental role in quantum algebra and mathematical physics. Recently, Andrews obtained a series of Rogers-Ramanujan type identities by constructing Bailey pairs from Chebyshev polynomials. In this paper, by applying the expansion formula of Chebyshev polynomials in terms of $q$-Hermite polynomials and using the orthogonality relations, we derive a series of Rogers-Ramanujan type identities on double sums, which further generalized the known results due to Andrews, Shi, Sun and Yao.
On Ramsey goodness of $K_{2,n}$ versus cycles
A graph $G$ is called $H$-good if $R(G,H)=(|G|-1)(χ(H)-1)+σ(H)$, where $σ(H)$ denotes the size of the smallest color class in a $χ(H)$-coloring of $H$. In Ramsey theory, it is an interesting problem to study whether a graph $G$ is $H$-good or not. In this article, we study the Ramsey goodness of the pair $(K_{2,n},C_m)$, which naturally lies between the classical star-cycle and book-cycle problems. We prove that \begin{equation*}
R(K_{2,n},C_{\{m,m+1\}})=m+1. \end{equation*} for all $m\ge 2n+1$, and consequently establish that \begin{equation*}
R(K_{2,n},C_{m})=m+1. \end{equation*} for all $m\ge 3n+4$. This proves that $C_m$ is $K_{2,n}$-good in this range and improves a particular case of a result on the Ramsey goodness by Pokrovskiy and Sudakov. Further, we provide a construction of a graph that disproves the $C_{m}$-goodness of $K_{2,n}$ for all even $m$ satisfying $n\geq m+2$.
A multidimensional Szemerédi theorem in integers
For any integer $n \geq 2$, let $(m_{1},\ldots,m_{n})$ be a strictly increasing $n$-tuple of positive integers. We show that any subset $A\subset [N]^n$ of density at least $(\log N)^{-c}$ contains a nontrivial configuration of the form \begin{equation*} \boldsymbol{x},\boldsymbol{x}+r^{m_{1}}\boldsymbol{e_{1}},\ldots,\boldsymbol{x}+r^{m_{n}}\boldsymbol{e_{n}}, \end{equation*} where $c=c(n,m_{1},\ldots,m_{n} )$ is a positive constant. This quantitative multidimensional Szemerédi theorem extends a recent two-dimensional result of Peluse, Prendiville, and Shao concerning the configuration of the form $(x,y),(x+r,y),\left(x,y+r^{2}\right)$. The theorem is obtained as a consequence of an effective ``popular'' version.
On the dimension of the space generated by characteristic vectors of $q$-Steiner systems
Fix a prime power $q$ and parameters $1\leq t\leq k\leq n$, the corresponding Steiner system in the Grassmann scheme, or the $q$-Steiner system, is a collection $\mathfrak{B}$ of $k$-dimensional subspaces of $\mathbb{F}_{q}^n$ such that for each $t$-dimensional subspace $T$, there exists exactly one element of $\mathfrak{B}$ containing $T$. The dimension of Steiner systems in the Grassmann scheme is defined to be the dimension of the $\mathbb{Q}$-vector space spanned by the characteristic vectors of all these $q$-Steiner systems. In this paper, we prove that when a quadruple $(t,k,n,q)$ admits at least one $q$-Steiner system, the corresponding dimension is equal to ${n\brack k}_{q}-{n\brack t}_{q}+1$. This generalizes the 2019 work of Ghodrati \cite{ghodrati2019dimension} on ordinary Steiner systems.
The maximum number of $k$-cliques of 7-connected 1-planar graphs
In 2023, Gollin, Hendrey, Methuku, Tompkins and Zhang determined the maximum number of cliques in general 1-planar graphs with order $n$. Their extremal examples have connectivity at most three, except for a few small orders. At the high-connectivity end, we prove that every $n$-vertex 7-connected 1-planar graph has at most $4n-12$ edges, $4n-16$ triangles, and $n-6$ copies of $K_4$. Hence the total number of cliques is at most $10n-33$. All bounds are sharp for infinitely many values of $n$.
A solution to Frankl and Kupavskii's conjecture concerning Erdos-Kleitman matching problem
For integers $n\ge s\ge2$, let $e(n,s)$ be the maximum size of a family
$\F\subseteq2^{[n]}$ with no $s$ pairwise disjoint members.
The study of determining $e(n,s)$ is closely related to its uniform
counterpart, the well-known Erdős matching conjecture.
Frankl and Kupavskii conjectured an exact formula for $e((m+1)s-\ell,s)$ when $1\le \ell\le \lceil s/2\rceil$.
We prove that for every fixed $m\ge3$ and sufficiently large $s$, the extremal families for $e((m+1)s-\ell,s)$ are
\[
P(m,s,\ell;L)\coloneqq\{A\subseteq [n]\colon |A|+|A\cap L|\ge m+1\} \text{ for some $L$ with } |L|=\ell-1
\]
when $1\le \ell\le (\frac{m+1}{2m+1}-o(1))s$.
In particular, this confirms the Frankl--Kupavskii conjecture for every
fixed $m\ge3$ and all sufficiently large $s$.
For $m=3$, we determine the whole range of $\ell$ for which $P(3,s,\ell;L)$ is extremal, generalizing a theorem of Kupavskii and Sokolov.
Leap generators for composition schemes
Leap generators have been introduced in [Duchon et al.'04] for exact-size random generation of structures in a class of the form $\mathcal{C}=\mathrm{Seq}(\mathcal{B})$ (sequence construction), in the supercritical case. We extend these generators to supercritical composition schemes $\mathcal{C}=\mathcal{A}\circ\mathcal{B}$. Compared to the sequence construction, the obtained exact-size random generator for $\mathcal{C}$ still has linear time complexity (under conditions on the sampling complexity in $\mathcal{A}$ and $\mathcal{B}$), but perfect uniformity of the distribution is lost in general. However the distribution on $\mathcal{C}_n$, called leap distribution, is asymptotically uniform, the total variation distance from the uniform distribution being $(c+o(1))n^{-1/2}$ for an explicit constant $c$. These generators are simple to implement and can be applied to several classes of walks and trees, in particular Pólya trees. Leap generators can also be given for certain critical composition schemes, those relating planar map families, where this time the total variation distance to the uniform distribution is $\sim c\,n^{-1/3}$ for an explicit constant $c$.
Adjacency labelling for proper minor-closed graph classes
We show that every proper minor-closed class of graphs admits a $(1+o(1))\log_2 n$-bit adjacency labelling scheme. Equivalently, for every proper minor-closed class $\mathcal{G}$ and every positive integer $n$ there exists an $n^{1+o(1)}$-vertex graph $U$ such that every $n$-vertex graph in $\mathcal{G}$ is isomorphic to an induced subgraph of $U$. Both results are optimal up to the lower order term.
Point sets avoiding near-integer distances
Let $d \in \mathbb{N}$, $δ\in (0, 1/2)$, and $X > 0$. Denote by $N_d(X, δ)$ the maximum number of points in a subset of the closed Euclidean ball of radius $X$ in $\mathbb{R}^d$ such that every pairwise distance is at least $δ$ away from any integer. In the planar case, Sárközy proved that for every $\varepsilon > 0$, $N_2(X, δ) = Ω_δ(X^{1/2-\varepsilon})$ as $X \rightarrow \infty$ whenever $δ$ is sufficiently small in terms of $\varepsilon$, while Konyagin proved the almost matching upper bound $N_2(X,δ) = O_δ(X^{1/2})$.
We study this problem in higher dimensions, addressing a question of Erdős and Sárközy. Extending Sárközy's construction, we show that for every $\varepsilon > 0$, $N_3(X, δ) = Ω_δ(X^{1-\varepsilon})$ for $δ$ sufficiently small in terms of $\varepsilon$. We also provide a lifting lemma from integer distance sets to sets avoiding near-integer distances via bilipschitz embeddings of snowflaked Euclidean spaces. This allows us to prove a linear lower bound $N_4(X,δ) = Ω_δ(X)$ for all sufficiently small $δ$. Finally, adapting Konyagin's approach, we prove the upper bound $N_d(X, δ) = O_{d, δ}(X^{d/2})$ for all $d \in \mathbb{N}$.
The maximum number of triangles in graphs without vertex disjoint friendship graphs
Given graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs. The friendship graph $F_k$ consists of $k$ triangles sharing a common vertex. In this paper, we determine the value of $\mathrm{ex}(n,K_3,(t+1)F_k)$, where $K_3$ is a triangle, $t\geq 1$ is an integer, and $(t+1)F_k$ denotes a union of $(t+1)$ pairwise vertex-disjoint copies of $F_k$. Moreover, we characterize the extremal structure. Our result can be viewed as a generalization of the result of Zhu, Chen, Gerbner, Győri, and Hama Karim, as well as of the remaining case left open by Wang, Ni, Liu, and Kang. In contrast to the extremal graphs of $F_k$, the extremal graphs of $(t+1)F_k$ undergo a fundamental change. This structure is also different from those of previous similar problems.
Geometry of multilinear varieties over infinite fields and its applications
Multilinear varieties, defined as the sets of rational points of varieties cut out by multilinear functions, were first introduced and studied by Gowers and Milićević[Proc. Edinb. Math. Soc., 2021] for finite $\mathbb{K}$. In this paper, we investigate multilinear varieties over infinite fields from a geometric perspective. We establish two fundamental results: a codimension formula for the Zariski closure of a multilinear variety, and the existence of a high-dimensional irreducible subvariety passing through any given $\mathbb{K}$-rational point. These results serve as a geometric foundation for analyzing various ranks of tensors and homogeneous polynomials, including partition rank, analytic rank, geometric rank, (collective) strength and (collective) Birch rank. As applications, we resolve the Adiprasito-Kazhdan-Ziegler conjecture [arXiv:2102.03659, 2021] on the stability of partition rank for perfect infinite fields. We thereby settle the stability conjecture for collective strength [Selecta Math., 2024], as well as the conjecture on the linear equivalence between strength and Birch rank [arXiv:2410.00248, 2024] for such fields. Moreover, our results immediately yield a strengthening of the theorems of Bik-Draisma-Snowden [arXiv:2401.02067, 2024] and Lampert-Snowden [arXiv:2406.18498, 2024], for multilinear varieties over infinite fields.
Local Homophily on Bicolored Graphs is $\mathbf{P}$-complete
We propose a local transformation on bicolored graphs, which we call local homophily, inspired by adaptive networks and based on majority dynamics and homophily. In this transformation, a vertex updates its color to match the majority of its neighbors, while neighbors of the same color become connected and neighbors of the opposite color become disconnected.
We show how to simulate Boolean circuits using local homophily and establish that determining whether a given pair of vertices becomes connected under iterative applications of local homophily is $\mathbf{P}$-complete under logspace reductions.
Induced Lorentzian and volume polynomials
Suppose one has a party of $m$ people, whose expertise collectively covers $n$ topics. Given a subset $T$ of the topics, one wishes to form a panel of $|T|$ people from the party such that $T$ can be covered by assigning a distinct topic to each panel member with the expertise. We show that the numbers of such panels, as $T$ varies, form a Lorentzian polynomial. We achieve this by showing that a certain linear operator on polynomials, which we call the ``inducing operator'' for its connection to induced (poly)matroids, preserves Lorentzian polynomials and realizable volume polynomials.
Balanced bipartite distance of $K_4$-free graphs
We show that every $K_4$-free graph on $n$ vertices can be made balanced bipartite by removing at most $\frac{n^2}{9}$ edges. This proves a conjecture of Balogh, Clemen, and Lidický, and generalizes both Sudakov's result on the bipartite distance of $K_4$-free graphs and Reiher's result on the sparse half of $K_4$-free graphs.
Thresholds for Tic-Tac-Toe on Finite Affine Spaces
We introduce an affine version of Tic-Tac-Toe played on the space $\mathbb{F}_q^m$. Two players alternately claim points, and the first player to occupy all points of an affine subspace of dimension $n$ wins. We refer to such game as an $(m,n)_q$-game. For fixed $n$ and $q$ we study, as a function of $m$, whether the first player has a winning strategy or whether the game is a draw.
Using strategy-stealing and a blocking-set interpretation, we show that for each choice of $(m,n,q)$ the game is either winning for the first player or drawing, and we prove that the property of being winning is monotone in the ambient dimension $m$. This leads to the definition of a threshold $T(n,q)$ for which, when it exists, $(m,n)_q$ is drawing for $m<T(n,q)$ and winning for $m\ge T(n,q)$.
We obtain general upper bounds on $T(n,q)$ from the multidimensional Ramsey theorem of Graham and Rothschild, and general lower bounds from the Erdős-Selfridge criterion for Maker-Breaker games. For $q=2$ we combine Fourier analysis on $\mathbb{F}_2^m$ with an inductive lifting argument to show that $T(n,2)\le 2^{n+1}$, and we determine several small values explicitly, including, including $T(1,q)=2$ for $q\in\{2,3,4\}$ and $T(2,2)=4$. We also obtain geometric lower bounds from explicit pairing strategies, including $T(n,q)\ge n+2$ for every $n\ge 2$, and we discuss a number of small cases and open problems.
Spectrum of the Unit-Graph on $\mathrm{Mat}_3(\mathbb{F}_q)$
In this paper, we investigate the spectrum of the unit-graph of the ring of $3 \times 3$ matrices over a finite field $\mathbb{F}_q$, which is equivalently the Cayley digraph $ \mathrm{Cay}\!\left((\mathrm{Mat}_3(\mathbb{F}_q),+), \mathrm{GL}_3(\mathbb{F}_q)\right)$. This unit-graph has a vertex set $\mathrm{Mat}_3(\mathbb{F}_q)$ with a directed edge from $A$ to $B$ whenever $B - A \in \mathrm{GL}_3(\mathbb{F}_q)$. Then, two vertices are adjacent precisely when their difference is invertible. With relevant character theory, we consequently demonstrate that the adjacency spectrum of $ \mathrm{Cay}\!\left((\mathrm{Mat}_3(\mathbb{F}_q),+), \mathrm{GL}_3(\mathbb{F}_q)\right) $ consists of four distinct eigenvalues together with their multiplicities.
Using the Spectral Gap Theorem for Cayley digraphs, we show that if two subsets of vertices in $\mathrm{Mat}_3(\mathbb{F}_q)$ are sufficiently large, then there are matrices in the two subsets whose difference lies in $\mathrm{GL}_3(\mathbb{F}_q)$. In particular, any sufficiently large subset of $\mathrm{Mat}_3(\mathbb{F}_q)$ contains two distinct matrices whose difference has nonzero determinant. This spectral gap implies that large vertex sets cannot avoid each other and must be connected by at least one edge.