Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Improved bounds on the maximum diversity of intersecting families
Published
• View Publication
• BIB
A family $\mathcal{F}\subset \binom{[n]}{k}$ is called an intersecting family if $F\cap F'\neq \emptyset$ for all $F,F'\in \mathcal{F}$. If $\cap \mathcal{F}\neq \emptyset$ then $\mathcal{F}$ is called a star. The diversity of an intersecting family $\mathcal{F}$ is defined as the minimum number of $k$-sets in $\mathcal{F}$, whose deletion results in a star. In the present paper, we prove that for $n>36k$ any intersecting family $\mathcal{F}\subset \binom{[n]}{k}$ has diversity at most $\binom{n-3}{k-2}$, which improves the previous best bound $n>72k$ due to the first author. This result is derived from some strong bounds concerning the maximum degree of large intersecting families. Some related results are established as well.
Convex bodies of constant width with exponential illumination number
Published
• View Publication
• BIB
We show that there exist convex bodies of constant width in $\mathbb{E}^n$ with illumination number at least $(\cos(π/14)+o(1))^{-n}$, answering a question by G. Kalai. Furthermore, we prove the existence of finite sets of diameter $1$ in $\mathbb{E}^n$ which cannot be covered by $(2/\sqrt{3}+o(1))^{n}$ balls of diameter $1$, improving a result by J. Bourgain and J. Lindenstrauss.
Binomial convolutions for rational power series
Published in Journal of Integer Sequences, Vol. 27 (2024), Article 24.1.3
• Search Publication
The binomial convolution of two sequences $\{a_n\}$ and $\{b_n\}$ is the sequence whose $n$th term is $\sum_{k=0}^{n} \binom{n}{k} a_k b_{n-k}$. If $\{a_n\}$ and $\{b_n\}$ have rational generating functions then so does their binomial convolution. We discuss an efficient method, using resultants, for computing this rational generating function and give several examples involving Fibonacci and tribonacci numbers and related sequences. We then describe a similar method for computing Hadamard products of rational generating functions. Finally we describe two additional methods for computing binomial convolutions and Hadamard products of rational power series, one using symmetric functions and one using partial fractions.
Faces in Crystals of Affine Type A and the Shape of Canonical Basis Elements
Published
• View Publication
• BIB
For a dominant integral weight $Λ$ in a Lie algebra of affine type A and rank $e$, and an interval $I_0$ in the residue set $I$, we define the face for the interval $I_0$ to be the subgraph of the block-reduced crystal $\widehat P(Λ)$ that is generated by $f_i$ for $i \in I_0$. We show that such a face has an automorphism that preserves defects. For an interval of length $2$, we also give a non-recursive construction of the $e$-regular multipartitions with weights in the face, as well as a formula for the number of $e$-regular multipartitions at each vertex of the face.
For an affine Lie algebra of type $A$ we define and investigate the shape of canonical basis elements, a sequence counting the number of multipartitions with a given coefficient. For finite faces generated by $Λ$ with $|I_0|=1,2$, we give a non-recursive closed formula for the canonical basis elements.
Using mixed dihedral groups to construct normal Cayley graphs, and a new bipartite $2$-arc-transitive graph which is not a Cayley graph
Published
• View Publication
• BIB
A \emph{mixed dihedral group} is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper we give a sufficient condition such that the automorphism group of the Cayley graph $\Cay(H,(X\cup Y)\setminus\{1\})$ is equal to $H: A(H,X,Y)$, where $A(H,X,Y)$ is the setwise stabiliser in $\Aut(H)$ of $X\cup Y$. We use this criterion to resolve a questions of Li, Ma and Pan from 2009, by constructing a $2$-arc transitive normal cover of order $2^{53}$ of the complete bipartite graph $\K_{16,16}$ and prove that it is \emph{not} a Cayley graph.
Splitting the cohomology of Hessenberg varieties and e-positivity of chromatic symmetric functions
For each indifference graph, there is an associated regular semisimple Hessenberg variety, whose cohomology recovers the chromatic symmetric function of the graph. The decomposition theorem applied to the forgetful map from the regular semisimple Hessenberg variety to the projective space describes the cohomology of the Hessenberg variety as a sum of smaller pieces. We give a combinatorial description of the Frobenius character of each piece. This provides a generalization of the symmetric functions attached to Stanley's local h-polynomials of the permutahedral variety to any Hessenberg variety.
As a consequence, we can prove that the coefficient of $e_λ$, where $λ$ is any partition of length 2, in the e-expansion of the chromatic symmetric function of any indifference graph is non-negative.
Isolation of regular graphs and $k$-chromatic graphs
Published in Mediterranean Journal of Mathematics 21 (2024), article number 148
• View Publication
• BIB
Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. For any integer $k \geq 1$, let $\mathcal{F}_{1,k}$ be the set of regular graphs of degree at least $k-1$, let $\mathcal{F}_{2,k}$ be the set of graphs whose chromatic number is at least $k$, and let $\mathcal{F}_{3,k}$ be the union of $\mathcal{F}_{1,k}$ and $\mathcal{F}_{2,k}$. Thus, $k$-cliques are members of both $\mathcal{F}_{1,k}$ and $\mathcal{F}_{2,k}$. We prove that for each $i \in \{1, 2, 3\}$, $\frac{m+1}{{k \choose 2} + 2}$ is a best possible upper bound on $ι(G, \mathcal{F}_{i,k})$ for connected $m$-edge graphs $G$ that are not $k$-cliques. The bound is attained by infinitely many (non-isomorphic) graphs. The proof of the bound depends on determining the graphs attaining the bound. This appears to be a new feature in the literature on isolation. Among the result's consequences are a sharp bound of Fenech, Kaemawichanurat and the present author on the $k$-clique isolation number and a sharp bound on the cycle isolation number.
Parallelograms and the VC-dimension of the distance sets
Published
• View Publication
• BIB
In this paper, we study the distribution of parallelograms and rhombi in a given set in the plane over arbitrary finite fields $\mathbb{F}_q^2$. As an application, we improve a recent result due to Fitzpatrick, Iosevich, McDonald, and Wyman (2021) on the Vapnik-Chervonenkis dimension of the induced distance graph. Our proofs are based on the discrete Fourier analysis.
Random Reed-Solomon Codes Achieve List-Decoding Capacity With Linear-Sized Alphabets
Published in Advances in Combinatorics 2025:8, 39pp
• View Publication
• BIB
Reed-Solomon codes are a classic family of error-correcting codes consisting of evaluations of low-degree polynomials over a finite field on some sequence of distinct field elements. They are widely known for their optimal unique-decoding capabilities, but their list-decoding capabilities are not fully understood. Given the prevalence of Reed-Solomon codes, a fundamental question in coding theory is determining if Reed-Solomon codes can optimally achieve list-decoding capacity. A recent breakthrough by Brakensiek, Gopi, and Makam established that Reed-Solomon codes are combinatorially list-decodable all the way to capacity. However, their results hold for randomly-punctured Reed-Solomon codes over an exponentially large field size $2^{O(n)}$, where $n$ is the block length of the code. A natural question is whether Reed-Solomon codes can still achieve capacity over smaller fields. We show that Reed-Solomon codes are list-decodable to capacity with linear field size $O(n)$, which is evidently optimal up to a constant factor.
Our techniques also show that random linear codes are list-decodable up to capacity with optimal list-size $O(1/\varepsilon)$ and near-optimal alphabet size $2^{O(1/\varepsilon^2)}$, where $\varepsilon$ is the gap to capacity. As far as we are aware, list-decoding up to capacity with optimal list-size $O(1/\varepsilon)$ was not known to be achievable with any linear code over a constant alphabet size (even non-constructively), and it was also not known to be achievable for random linear codes over any alphabet size. With our proof, which maintains a hypergraph perspective of the list-decoding problem, we include an alternate presentation of ideas from Brakensiek, Gopi, and Makam that more directly connects the list-decoding problem to the GM-MDS theorem via a hypergraph orientation theorem.
A discretized point-hyperplane incidence bound in $\mathbb{R}^d$
Published
• View Publication
• BIB
Let $P$ be a $δ$-separated $(δ, s, C_P)$-set of points in $B(0, 1)\subset \mathbb{R}^d$ and $Π$ be a $δ$-separated $(δ, t, C_Π)$-set of hyperplanes intersecting $B(0, 1)$ in $\mathbb{R}^d$. Define
\[I_{Cδ}(P, Π)=\#\{(p, π)\in P\times Π\colon p\in π(Cδ)\}.\] Suppose that $s, t\ge \frac{d+1}{2}$, then we have $I_{Cδ}(P, Π)\lesssim δ|P||Π|$. The main ingredient in our argument is a measure theoretic result due to Eswarathansan, Iosevich, and Taylor (2011) which was proved by using Sobolev bounds for generalized Radon transforms. Our result is essentially sharp, a construction will be provided and discussed in the last section.
An algorithm for constructing and classifying the space of small integer weighing matrices
In this paper we describe an algorithm for generating all the possible $PIW(m,n,k)$ - integer $m\times n$ Weighing matrices of weight $k$ up to Hadamard equivalence. Our method is efficient on a personal computer for small size matrices, up to $m\le n=12$, and $k\le 50$. As a by product we also improved the \textit{\textbf{nsoks}} \cite{riel2006nsoks} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares.
We have implemented our algorithm in \texttt{Sagemath} and as an example we provide a complete classification for \ $n=m=7$ and $k=25$. Our list of $IW(7,25)$ can serve as a step towards finding the open classical weighing matrix $W(35,25)$.
Combinatorial Approach to ABV-packets for $\mathbf{GL_n}$
There exists a significant conjecture in the local Langlands correspondence that A-packets are ABV-packets. For the case $G=GL_n$, the conjecture reduces to ABV-packets for orbits of Arthur type in $GL_n$ being singletons, which is a specialisation of the wider conjecture known as the Open-Orbit conjecture. In this paper, we will prove the reduced conjecture since there exists a nice combinatorial description. The result first appeared in the associated Master's thesis, however we aim to use a slightly more simplified and succinct approach in this paper using results of Knight and Zelevinskii. We will also prove the partial ordering relation associated to the conjecture for multisegments of ladder type.
On the strong connectivity of the 2-Engel graphs of almost simple groups
Published
• View Publication
• BIB
The Engel graph of a finite group $G$ is a directed graph encoding the pairs of elements in $G$ satisfying some Engel word. Recent work of Lucchini and the third author shows that, except for a few well-understood cases, the Engel graphs of almost simple groups are strongly connected. In this paper, we give a refinement to this analysis.
Measure doubling of small sets in $\mathrm{SO}(3,\mathbb{R})$
Let $\mathrm{SO}(3,\mathbb{R})$ be the 3D-rotation group equipped with the real-manifold topology and the normalized Haar measure $μ$. Resolving a problem by Breuillard and Green, we show that if $A \subseteq \mathrm{SO}(3,\mathbb{R})$ is an open subset with sufficiently small measure, then $$ μ(A^2) > 3.99 μ(A).$$ We also show a more general result for the product of two sets, which can be seen as a Brunn-Minkowski-type inequality for sets with small measure in $\mathrm{SO}(3,\mathbb{R})$.
Face-simple minimal quadrangulations of surfaces
Published
• View Publication
• BIB
For each surface besides the sphere, projective plane, and Klein bottle, we construct a face-simple minimal quadrangulation, i.e., a simple quadrangulation on the fewest number of vertices possible, whose dual is also a simple graph. Our result answers a question of Liu, Ellingham, and Ye while providing a simpler proof of their main result. The inductive construction is based on an earlier idea for finding near-quadrangular embeddings of the complete graphs using the diamond sum operation.
Uniform Generation of Temporal Graphs with Given Degrees
Published
• View Publication
• BIB
Uniform sampling from the set $\mathcal{G}(\mathbf{d})$ of graphs with a given degree-sequence $\mathbf{d} = (d_1, \dots, d_n) \in \mathbb N^n$ is a classical problem in the study of random graphs. We consider an analogue for temporal graphs in which the edges are labeled with integer timestamps. The input to this generation problem is a tuple $\mathbf{D} = (\mathbf{d}, T) \in \mathbb N^n \times \mathbb N_{>0}$ and the task is to output a uniform random sample from the set $\mathcal{G}(\mathbf{D})$ of temporal graphs with degree-sequence $\mathbf{d}$ and timestamps in the interval $[1, T]$. By allowing repeated edges with distinct timestamps, $\mathcal{G}(\mathbf{D})$ can be non-empty even if $\mathcal{G}(\mathbf{d})$ is, and as a consequence, existing algorithms are difficult to apply.
We describe an algorithm for this generation problem which runs in expected time $O(M)$ if $Δ^{2+ε} = O(M)$ for some constant $ε> 0$ and $T - Δ= Ω(T)$ where $M = \sum_i d_i$ and $Δ= \max_i d_i$. Our algorithm applies the switching method of McKay and Wormald $[1]$ to temporal graphs: we first generate a random temporal multigraph and then remove self-loops and duplicated edges with switching operations which rewire the edges in a degree-preserving manner.
Sparse graphs without long induced paths
Published
• View Publication
• BIB
Graphs of bounded degeneracy are known to contain induced paths of order $Ω(\log \log n)$ when they contain a path of order $n$, as proved by Nešetřil and Ossona de Mendez (2012). In 2016 Esperet, Lemoine, and Maffray conjectured that this bound could be improved to $Ω((\log n)^c)$ for some constant $c>0$ depending on the degeneracy. We disprove this conjecture by constructing, for arbitrarily large values of $n$, a graph that is 2-degenerate, has a path of order $n$, and where all induced paths have order $O((\log \log n)^2)$. We also show that the graphs we construct have linearly bounded coloring numbers.
On the complexity of Dominating Set for graphs with fixed diameter
Published
• View Publication
• BIB
A set $S\subseteq V$ of a graph $G=(V,E)$ is a dominating set if each vertex has a neighbor in $S$ or belongs to $S$. Dominating Set is the problem of deciding, given a graph $G$ and an integer $k\geq 1$, if $G$ has a dominating set of size at most $k$. It is well known that this problem is $\mathsf{NP}$-complete even for claw-free graphs. We give a complexity dichotomy for Dominating Set for the class of claw-free graphs with diameter $d$. We show that the problem is $\mathsf{NP}$-complete for every fixed $d\ge 3$ and polynomial time solvable for $d\le 2$. To prove the case $d=2$, we show that Minimum Maximal Matching can be solved in polynomial time for $2K_2$-free graphs.
On the Löwner-John Ellipsoids of the Metric Polytope
Published
• View Publication
• BIB
The collection of all $n$-point metric spaces of diameter $\le 1$ constitutes a polytope $\mathcal{M}_n \subset \mathbb{R}^{\binom{n}{2}}$, called the \emph{Metric Polytope}. In this paper, we consider the best approximations of $\mathcal{M}_n$ by ellipsoids. We give an exact explicit description of the largest volume ellipsoid contained in $\mathcal{M}_n$. When inflated by a factor of $Θ(n)$, this ellipsoid contains $\mathcal{M}_n$. It also turns out that the least volume ellipsoid containing $\mathcal{M}_n$ is a ball. When shrunk by a factor of $Θ(n)$, the resulting ball is contained in $\mathcal{M}_n$. We note that the general theorems on such ellipsoid posit only that the pertinent inflation/shrinkage factors can be made as small as $O(n^2)$.
On an identity of Chaundy and Bullard. III. Basic and elliptic extensions
Published in AMS Contemp. Math. 819 (2025), 233-254
• View Publication
• BIB
The identity by Chaundy and Bullard expresses $1$ as a sum of two truncated binomial series in one variable where the truncations depend on two different non-negative integers. We present basic and elliptic extensions of the Chaundy--Bullard identity. The most general result, the elliptic extension, involves, in addition to the nome $p$ and the base $q$, four independent complex variables. Our proof uses a suitable weighted lattice path model. We also show how three of the basic extensions can be viewed as Bézout identities. Inspired by the lattice path model, we give a new elliptic extension of the binomial theorem, taking the form of an identity for elliptic commuting variables. We further present variants of the homogeneous form of the identity for $q$-commuting and for elliptic commuting variables.