Showing 20 papers (Total: 81756 papers, 47371 authors in database)
A combinatorial approach to exponential patterns in multiplicative $IP^{\star}$ sets in $\mathbb{N}$
In [On $IP^{\star}$sets and central sets, Combinatorica, 14 (1994) 269-277], N. Hindman and V.Bergelson proved additive $IP^{\star}$-sets contain finite sums and finite products of a single sequence. An analogous study was made by A. Sisto in [Exponential triples, Electronics Journal of Combinatorics, 18 (2011), no. 147], where he proved that multiplicative $IP^{\star}$-sets contain exponential $IP$ of type $I$ and finite sums of a single sequence as well as exponential $IP$ of type $II$ and finite products of another single sequence,
using the algebra in the Stone-Čech Compactification of discrete semigroups. In this article, we will provide a combinatorial proof of the result of A. Sisto.
Tiny non-Leighton complexes
Published in Geometriae Dedicata, 219:3 (2025), 48
• View Publication
• BIB
How complex must two finite 2-complexes be to admit a common, but not finite common, covering? We obtain an almost answer: the minimum possible number of triangles in a pseudo-simplicial triangulation of each complex is 3, 4, or 5.
Cokernels of random matrix products and flag Cohen--Lenstra heuristic
Published
• View Publication
• BIB
In [NVP22], Nguyen and Van Peski raised the question of whether the surjective flag of $\mathbb Z_p$-modules modeled by $\mathrm{cok}(M_1\cdots M_k)\twoheadrightarrow \dots\twoheadrightarrow \mathrm{cok}(M_1)$ for independent random matrices $M_1,\dots,M_k\in \mathrm{Mat}_n(\mathbb Z_p)$ satisfies the Cohen--Lenstra heuristic. We answer the question affirmatively when $M_1,\dots,M_k$ follow the Haar measure, and our proof demonstrates how classical ideas in Cohen--Lenstra heuristic adapt naturally to the flag setting. We also prove an analogue for non-square matrices.
Stability of transversal Hamilton cycles and paths
Published
• View Publication
• BIB
Given graphs $G_1,\ldots,G_s$ all on a common vertex set and a graph $H$ with $e(H) = s$, a copy of $H$ is \emph{transversal} or \emph{rainbow} if it contains one edge from each $G_i$. We establish a stability result for transversal Hamilton cycles: the minimum degree required to guarantee a transversal Hamilton cycle can be lowered as long as the graph collection $G_1,\ldots,G_n$ is far in edit distance from several extremal cases. We obtain an analogous result for Hamilton paths. The proof is a combination of our newly developed regularity-blow-up method for transversals, along with the absorption method.
Exact upper bounds for the minimum sizes of strong and weak separating path systems of cliques
We prove an upper bound of $n+9$ for the strong separation number of the complete graph $K_n$, and an upper bound of $n+1$ for its weak separation number. This improves on the previous best known bound of $(1+o(1))n$ for both cases.
Equivalence between Erdős-Hajnal and polynomial Rödl and Nikiforov conjectures
It is well-known that polynomial versions of theorems of Rödl and Nikiforov, as conjectured by Fox and Sudakov and Nguyen, Scott and Seymour imply the classical Erdős-Hajnal conjecture. In this note, we prove that these three conjectures are in fact equivalent, extending several previous particular results in this direction by Fox, Nguyen, Scott and Seymour; Nguyen, Scott and Seymour and Gishboliner and Shapira. We deduce that the family of string graphs satisfies the polynomial Rödl conjecture. We also derive analogous results for hypergraphs, tournaments, ordered graphs, and colored graphs.
Freeness of hyperplane arrangements associated with gain graphs
Athanasiadis studied arrangements obtained by adding shifted hyperplanes to the braid arrangement. Similarly, Bailey studied arrangements obtained by adding tilted hyperplanes to the braid arrangement. These two kinds of arrangements are associated with directed graphs and their freeness was characterized in terms of the associated graphs. In addition, there is coincidence of freeness. Namely, if Athanasiadis' arrangement is free, then the corresponding Bailey's arrangement is free, and vice versa.
In this paper, we generalize this phenomenon by using gain graphs.
Non-Jordaness of the automorphism group of the zero-divisor graph of a matrix ring over number rings
Published
• View Publication
• BIB
We provide a construction of the induced subgraphs of the zero-divisor graph of $M_2(R)$ for the ring $R$ of algebraic integers of some number fields that are neither complete nor connected, and study the structure of the induced subgraphs explicitly. As an application, we prove that the automorphism group of the zero-divisor graph of $M_2(R)$ is not a Jordan group.
Solution on strong partition of $2$-balanced regular multipartite tournaments
We call a partition of a $c$-partite tournament into tournaments of order $c$ is strong if each tournament is strongly connected. The strong partition number denoted as $ST(r)$, represents the minimum integer $c'$ such that every regular $r$-balanced $c$-partite tournament has a strong partition with $c\geq c'$. Figueroa, Montellano-Ballesteros and Olsen showed the existence of $ST(r)$ for all $r\geq 2$ and proved that $5\leq ST(2)\leq 7$. In this note, we establish that $ST(2)=6$ and we also show the unique $2$-balanced $5$-partite tournament which has no strong partition.
Centrality of star and monotone factorisations
Published in Bull. London Math. Soc. 57(11), 2025. pp. 3567--3585
• View Publication
• BIB
A factorisation problem in the symmetric group is central if conjugate permutations always have the same number of factorisations. We give the first fully combinatorial proof of the centrality of transitive star factorisations that is valid in all genera, which answers a natural question of Goulden and Jackson from 2009. We begin by showing that the set of star factorisations is equinumerous with a certain set of monotone factorisations, a new result. We give more than one proof of this, and, crucially, one of our proofs is bijective. As a corollary we obtain new formulae for some monotone double Hurwitz factorisations, and a new relation between Hurwitz and monotone Hurwitz factorisations. We also generalise a theorem of Goulden and Jackson from 2009 that states that the transitive power of Jucys-Murphy elements are central. Our theorem states that the transitive image of any symmetric function evaluated at Jucys-Murphy elements is central, which gives a transitive version of Jucys' original result from 1974.
Asymptotic behaviour of integer programming and the $\text{v}$-function of a graded filtration
Published
• View Publication
• BIB
The $\text{v}$-function of a graded filtration $\mathcal{I}=\{I_{[k]}\}_{k\ge0}$ is introduced. Under the assumption that $\mathcal{I}$ is Noetherian, we prove that the $\text{v}$-function $\text{v}(I_{[k]})$ is an eventually quasi-linear function. This result applies to several situations, including ordinary powers, and integral closures of ordinary powers, among others. As another application, we investigate the asymptotic behaviour of certain integer programming problems. Finally, we present the \textit{Macaulay2} package $\texttt{VNumber}$.
Arithmetic on $q$-deformed rational numbers
Published
• View Publication
• BIB
Recently, Morier-Genoud and Ovsienko introduced a $q$-deformation of rational numbers. More precisely, for an irreducible fraction $\frac{r}s>0$, they constructed coprime polynomials $\mathcal{R}_{\frac{r}s}(q),~ \mathcal{S}_{\frac{r}s}(q) \in {\mathbb Z}[q]$ with $\mathcal{R}_{\frac{r}s}(1)=r,~\mathcal{S}_{\frac{r}s}(1)=s$. Their theory has a rich background and many applications. By definition, if $r \equiv r' \pmod{s}$, then $\mathcal{S}_{\frac{r}s}(q)=\mathcal{S}_{\frac{r'}s}(q)$. We show that $rr'{\equiv} -1 \pmod{s}$ implies $\mathcal{S}_{\frac{r}s}(q)=\mathcal{S}_{\frac{r'}s}(q)$, and it is conjectured that the converse holds if $s$ is prime (and $r \not \equiv r' \pmod{s}$). We also show that $s$ is a multiple of 3 (resp. 4) if and only if $\mathcal{S}_{\frac{r}s}(ζ)=0$ for $ζ=(-1+\sqrt{-3})/2$ (resp. $ζ=i$). We give applications to the representation theory of quivers of type $A$ and the Jones polynomials of rational links.
New Invariants for Partitioning a Graph into 2-connected Subgraphs
Published
• View Publication
• BIB
A vertex partition in which every part induces a 2-connected subgraph is called a 2-proper partition. This concept was introduced by Ferrara et al. in 2013, and Borozan et al. gave the best possible minimum degree condition for the existence of a 2-proper partition in 2016. Later, in 2022, Chen et al. extended the result by showing a minimum degree sum condition for the existence of 2-proper partition. In this paper, we introduce two new invariants of graph, denoted by $σ^*(G)$ and $α^*(G)$. These two invariants are defined from degree sum on all independent sets with some property. We prove that if a graph $G$ satisfies $σ^*(G)\geq |V(G)|$, then with some exceptions, $G$ has a 2-proper partition with at most $α^*(G)$ parts. This result is best possible, and implies both of the results by Borozan et al. and by Chen et al.. Moreover, as a corollary of our result, we give a minimum degree product condition for the existence of a 2-proper partition.
On Terwilliger $\mathbb{F}$-algebras of factorial association schemes
The Terwilliger algebras of association schemes over an arbitrary field $\mathbb{F}$ were called the Terwilliger $\mathbb{F}$-algebras of association schemes in [8]. In this paper, we study the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. We determine the $\mathbb{F}$-dimensions, the centers, the semisimplicity, the Jacobson radicals, and the algebraic structures of the Terwilliger $\mathbb{F}$-algebras of factorial association schemes.
The q-ary Gilbert-Varshamov bound can be improved for all but finitely many positive integers q
For any positive integer $q\geq 2$ and any real number $δ\in(0,1)$, let $α_q(n,δn)$ denote the maximum size of a subset of $\mathbb{Z}_q^n$ with minimum Hamming distance at least $δn$, where $\mathbb{Z}_q=\{0,1,\dotsc,q-1\}$ and $n\in\mathbb{N}$. The asymptotic rate function is defined by $ R_q(δ) = \limsup_{n\rightarrow\infty}\frac{1}{n}\log_qα_q(n,δn).$ The famous $q$-ary asymptotic Gilbert-Varshamov bound, obtained in the 1950s, states that \[ R_q(δ) \geq 1 - δ\log_q(q-1)-δ\log_q\frac{1}δ-(1-δ)\log_q\frac{1}{1-δ} \stackrel{\mathrm{def}}{=}R_\mathrm{GV}(δ,q) \] for all positive integers $q\geq 2$ and $0<δ<1-q^{-1}$. In the case that $q$ is an even power of a prime with $q\geq 49$, the $q$-ary Gilbert-Varshamov bound was firstly improved by using algebraic geometry codes in the works of Tsfasman, Vladut, and Zink and of Ihara in the 1980s. These algebraic geometry codes have been modified to improve the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ at a specific tangent point $δ=δ_0\in (0,1)$ of the curve $R_\mathrm{GV}(δ,q)$ for each given integer $q\geq 46$. However, the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ at $δ=1/2$, i.e., $R_\mathrm{GV}(1/2,q)$, remains the largest known lower bound of $R_q(1/2)$ for infinitely many positive integers $q$ which is a generic prime and which is a generic non-prime-power integer. In this paper, by using codes from geometry of numbers introduced by Lenstra in the 1980s, we prove that the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ with $δ\in(0,1)$ can be improved for all but finitely many positive integers $q$. It is shown that the growth defined by $η(δ)= \liminf_{q\rightarrow\infty}\frac{1}{\log q}\log[1-δ-R_q(δ)]^{-1}$ for every $δ\in(0,1)$ has actually a nontrivial lower bound.
Point-variety incidences, unit distances and Zarankiewicz's problem for algebraic graphs
In this paper we study the number of incidences between $m$ points and $n$ varieties in $\mathbb{F}^d$, where $\mathbb{F}$ is an arbitrary field, assuming the incidence graph contains no copy of $K_{s,s}$. We also consider the analogous problem for algebraically defined graphs and unit distance graphs.
First, we prove that if $\mathcal{P}$ is a set of $m$ points and $\mathcal{V}$ is a set of $n$ varieties in $\mathbb{F}^{D}$, each of dimension $d$ and degree at most $Δ$, and in addition the incidence graph is $K_{s,s}$-free, then the number of incidences satisfies $I(\mathcal{P}, \mathcal{V})\leq O_{d,Δ, s}(m^{\frac{d}{d+1}} n+m)$. This bound is tight when $s,Δ$ are sufficiently large with respect to $d$, with an appropriate choice of $\mathbb{F}=\mathbb{F}(m,n)$. We give two proofs of this upper bound, one based on the framework of the induced Turán problems and the other based on VC-dimension theory. In the second proof, we extend the celebrated result of Rónyai, Babai and Ganapathy on the number of zero-patterns of polynomials to the context of varieties, which might be of independent interest.
We also resolve the problem of finding the maximum number of unit distances which can be spanned by a set of $n$ points $\mathcal{P}$ in $\mathbb{F^d}$ whose unit-distance graph is $K_{s, s}$-free, showing that it is $Θ_{d,s}(n^{2-\frac{1}{\lceil d/2\rceil +1}})$.
Finally, we obtain tight bounds on the maximum number of edges of a $K_{s, s}$-free algebraic graph defined over a finite field, thus resolving the Zarankiewicz problem for this class of graphs.
Efficient Combinatorial Optimization via Heat Diffusion
Published
• View Publication
• BIB
Combinatorial optimization problems are widespread but inherently challenging due to their discrete nature. The primary limitation of existing methods is that they can only access a small fraction of the solution space at each iteration, resulting in limited efficiency for searching the global optimal. To overcome this challenge, diverging from conventional efforts of expanding the solver's search scope, we focus on enabling information to actively propagate to the solver through heat diffusion. By transforming the target function while preserving its optima, heat diffusion facilitates information flow from distant regions to the solver, providing more efficient navigation. Utilizing heat diffusion, we propose a framework for solving general combinatorial optimization problems. The proposed methodology demonstrates superior performance across a range of the most challenging and widely encountered combinatorial optimizations. Echoing recent advancements in harnessing thermodynamics for generative artificial intelligence, our study further reveals its significant potential in advancing combinatorial optimization.
Arrow Relations in Lattices of Integer Partitions
Published in International Journal of Approximate Reasoning 172 (September 2024) 109244:1-24
• View Publication
• BIB
We give a complete characterisation of the single and double arrow relations of the standard context $K(L_n)$ of the lattice $L_n$ of partitions of any positive integer $n$ under the dominance order, thereby addressing an open question of Ganter, 2022.
Integrable systems and cluster algebras
Published
• View Publication
• BIB
We review several constructions of integrable systems with an underlying cluster algebra structure, in particular the Gekhtman-Shapiro-Tabachnikov-Vainshtein construction based on perfect networks and the Goncharov-Kenyon approach based on the dimer model. We also discuss results of Galashin and Pylyavskyy on integrability of T-systems.
Simplicial complexes with many facets are vertex decomposable
Published in Electron. J. Combin. 31 (2024), no. 4, P4.34
• View Publication
• BIB
Suppose $Δ$ is a pure simplicial complex on $n$ vertices having dimension $d$ and let $c = n-d-1$ be its codimension in the simplex. Terai and Yoshida proved that if the number of facets of $Δ$ is at least $\binom{n}{c}-2c+1$, then $Δ$ is Cohen-Macaulay. We improve this result by showing that these hypotheses imply the stronger condition that $Δ$ is vertex decomposable. We give examples to show that this bound is optimal, and that the conclusion cannot be strengthened to the class of matroids or shifted complexes. We explore an application to Simon's Conjecture and discuss connections to other results from the literature.