Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Fourier analytic properties of Kakeya sets in finite fields
We prove that a Kakeya set in a vector space over a finite field of size $q$ always supports a probability measure whose Fourier transform is bounded by $q^{-1}$ for all non-zero frequencies. We show that this bound is sharp in all dimensions at least 2. In particular, this provides a new and self-contained proof that a Kakeya set in dimension 2 has size at least $q^2/2$ (which is asymptotically sharp). We also establish analogous results for sets containing $k$-planes in a given set of orientations.
A note on the Steinitz Lemma
We prove that the Euclidean Steinitz problem may be reduced to its restriction to ``nearly unit'' vectors at the cost of an additive $O\Big(\sqrt{\frac{d}{\log d}}\Big)$ error.
Regular 3-polytopes of type $\{n,n\}$
For each integer \( n \geq 3 \), we construct a self-dual regular 3-polytope \( \mathcal{P} \) of type \( \{n, n\} \) with \( 2^n n \) flags, resolving two foundamental open questions on the existence of regular polytopes with certain Schläfli types. The automorphism group \( \operatorname{Aut}(\mathcal{P}) \) is explicitly realized as the semidirect product \( \mathbb{F}_2^{n-1} \rtimes D_{2n} \), where \( D_{2n} \) is the dihedral group of order \( 2n \), with a complete presentation for \( \operatorname{Aut}(\mathcal{P}) \) is provided. This advances the systematic construction of regular polytopes with prescribed symmetries.
Planarity of Mycielski-like graph expansions
For a graph $G$, we define its great shadow $S(G)$ as a construction that duplicates each vertex $v$ in $G$ and sets this duplicated vertex adjacent to $v$ and all neighbors of $v$. Great graph shadows arise naturally in the routing of diode-and-switch circuits for computer keyboards, and are closely related to the Mycielski operation. These diode-and-switch circuits can be routed on a single-sided printed-circuit board if and only if the corresponding great shadow is planar. In this paper, we characterize all graphs with planar great shadows. Such graphs are always bipartite cactus graphs.
Computing the Volume of Polytropes
We apply an algorithm for measuring the volume of polytopes described by Jim Lawrence to polytropes. By using a tropical form of Cramer's rule, we found an efficient way to find all pseudovertices which are necessary for computing the volume. Due to the limited possibilities for hyperplanes of polytropes, this led to a simplification of the algorithm, decreasing the time complexity significantly.
Tropical Fermat-Weber Points over Spaces of $M$-Ultrametrics
We extend reconstruction methods for phylogenetic trees to ultrametrics of arbitrary matroids and study the stability of these data analysis methods in the combinatorial spirit of Andreas Dress. In particular, we generalize Atteson's work on the safety radius of phylogenetic reconstruction methods, as well as Gascuel and Steel's work on the stochastic safety radius, to arbitrary matroids. We also show that although the tropical Fermat-Weber points of an $M$-ultrametric sample are generally not contained in the space of $M$-ultrametrics, the intersection between the Fermat-Weber set and the space of $M$-ultrametrics is non-empty.
Valuative independence and cluster theta reciprocity
We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties.
Generalized break divisors and triangulations of Lawrence polytopes
Let $G$ be a connected graph of genus $g$. The Picard group of degree $g$, $\text{Pic}^g(G)$, is the set of equivalence classes of divisors on $G$ of degree $g$, where two divisors are equivalent if one can be reached from the other through a sequence of chip-firing moves. We construct sets of representatives of the equivalence classes in $\text{Pic}^g(G)$ by defining a function $I_G$ on the spanning trees of $G$ from a triangulation of the Lawrence polytope of the cographic matroid $\mathcal{M}^\ast(G)$. Additionally, such sets of representatives correspond to stability conditions on the nodal curve dual to the graph $G$. We show that $I_G$ that are constructed from regular triangulations of Lawrence polytope correspond to classical stability conditions, which are induced by generic real-valued divisors on $G$.
Taut fillings of the 2-sphere
Let $σ$ be a simplicial triangulation of the 2-sphere, $X$ the associated integral 2-cycle. A filling of $X$ is an integral 3-chain $Y$ with $\partial Y = X$; a taut filling is one with minimal $L_1$-norm. We show that any taut filling arises from an extension of $σ$ to a shellable simplicial triangulation of the 3-ball. The key to the proof is the general fact that any taut filling of an $n$-cycle splits under disjoint union, connected sum, and more generally what we call almost disjoint union, where summands are supported on sets that overlap in at most $n+1$ vertices. Despite the generality of this result, we have nothing to say about optimal fillings of spheres of dimension 3 or higher.
Arbitrary orientations of Hamilton cycles in directed graphs of large minimum degree
In 1960, Ghouila-Houri proved that every strongly connected directed graph $G$ on $n$ vertices with minimum degree at least $n$ contains a directed Hamilton cycle. We asymptotically generalize this result by proving the following: every directed graph $G$ on $n$ vertices and with minimum degree at least $(1+o(1))n$ contains every orientation of a Hamilton cycle, except for the directed Hamilton cycle in the case when $G$ is not strongly connected. In fact, this minimum degree condition forces every orientation of a cycle in $G$ of every possible length, other than perhaps the directed cycles.
On Alternating 6-Cycles in Edge-Coloured Graphs
In this short note, we use flag algebras to prove that the number of colour alternating 6-cycles in a red/blue colouring of a large clique is asymptotically maximized by a uniformly random colouring. This settles the first open case of a problem of Basit, Granet, Horsley, Kündgen and Staden.
$q$-Super Catalan Numbers: Combinatorial identities, Generating Functions, and Narayana Refinements
Published in Advances in Applied Mathematics, Volume 169, September 2025, 102911
• View Publication
• BIB
We begin by deriving a number of combinatorial identities satisfied by the $q$-super Catalan numbers. In particular, we extend some of the known combinatorial identities (Touchard, Koshy, Reed Dawson) to the $q$-super Catalan numbers. Next, we introduce some $q$-convolution identities involving q-central binomial and q-Catalan numbers and derive a generating function for $q$-Catalan numbers. Then we introduce Narayana-type refinements of the super Catalan numbers. We prove algebraically the $γ$-positivity of those refinements and give a combinatorial proof in a special case through the type B analog of noncrossing partitions. Then we introduce their natural $q$-analogs, prove their $q$-$γ$-positivity and prove some identities they satisfy, generalizing identities of Kreweras and Le Jen-Shoo. Using yet another identity, we prove that these refinements are positive integer polynomials in $q$.
An improved quasi-isometry between graphs of bounded cliquewidth and graphs of bounded treewidth
Cliquewidth is a dense analogue of treewidth. It can be deduced from recent results by Hickingbotham [arXiv:2501.10840] and Nguyen, Scott, and Seymour [arXiv:2501.09839] that graphs of bounded cliquewidth are quasi-isometric to graphs of bounded treewidth. We improve on this by showing that graphs of cliquewidth $k$ admit a partition with `local, but dense' parts whose quotient has treewidth $k-1$. Specifically, each part is contained within the closed neighbourhood of some vertex. We use this to construct a $3$-quasi-isometry between graphs of cliquewidth $k$ and graphs of treewidth $k-1$. This is an improvement in both the quasi-isometry parameter and the treewidth. We also show that the bound on the treewidth is tight up to an additive constant.
On the existence of minimally tough graphs having large minimum degrees
Kriesel conjectured that every minimally $1$-tough graph has a vertex with degree precisely $2$. Katona and Varga (2018) proposed a generalized version of this conjecture which says that every minimally $t$-tough graph has a vertex with degree precisely $\lceil 2t\rceil$, where $t$ is a positive real number. This conjecture has been recently verified for several families of graphs. For example, Ma, Hu, and Yang (2023) confirmed it for claw-free minimally $3/2$-tough graphs. Recently, Zheng and Sun (2024) disproved this conjecture by constructing a family of $4$-regular graphs with toughness approaching to $1$.
In this paper, we disprove this conjecture for planar graphs and their line graphs. In particular, we construct an infinite family of minimally $t$-tough non-regular claw-free graphs with minimum degree close to thrice their toughness. This construction not only disproves a renewed version of Generalized Kriesel's Conjecture on non-regular graphs proposed by Zheng and Sun (2024), it also gives a supplement to a result due to Ma, Hu, and Yang (2023) who proved that every minimally $t$-tough claw-free graph with $t\ge 2$ has a vertex of degree at most $3t+ \lceil (t-5)/3\rceil$. Moreover, we conjecture that there is not a fixed constant $c$ such that every minimally $t$-tough graph has minimum degree at most $\lceil c t \rceil$.
Local Distance Antimagic Labeling of Neighborhood Balanced Graphs
Let G = (V, E) be a graph of order n without isolated vertices. A bijection f from vertex set of G to the set of integers from 1 to n is called a local distance antimagic labeling, if w(u) is not equal to w(v) for every edge uv of G, where w(u) is sum of labels of vertices adjacent to u. The local distance antimagic chromatic number xld(G) is defined to be the minimum number of colors taken over all colorings of G induced by local distance antimagic labelings of G. In this article, we study the local distance antimagic labeling of neighborhood balanced colored graphs.
Majorization and Inequalities among Complete Homogeneous Symmetric Functions
Inequalities among symmetric functions are fundamental in various branches of mathematics, thus motivating a systematic study of their structure. Majorization has been shown to characterize inequalities among commonly used symmetric functions, except for complete homogeneous symmetric functions (shortened as CHs). In 2011, Cuttler, Greene, and Skandera posed a natural question: Can majorization also characterize inequalities among CHs? Their work demonstrated that majorization characterizes inequalities among CHs up to degree 7 and suggested exploring its validity for higher degrees. In this paper, we show that, for every degree greater than 7, majorization does not characterize inequalities among CHs.
Contractible Non-Edges in 3-Connected Graphs
We call a pair of non-adjacent vertices in G a non-edge. Contraction of a non-edge {u, v} in G is the replacement of u and v with a single vertex z and then making all the vertices that are adjacent to u or v adjacent to z. A non-edge {u, v} is said to be contractible in a k-connected graph G, if the resulting graph after its contraction remains k-connected. Tsz Lung Chan characterized all 3-connected graphs (finite or infinite) that does not contain any contractible non-edges in 2019, and posed the problem of characterizing all 3-connected graphs that contain exactly one contractible non-edge. In this paper, we solve this problem.
Splicing braid varieties
For a positive braid $β\in \mathrm{Br}^{+}_{k}$, we consider the braid variety $X(β)$. We define a family of open sets $\mathcal{U}_{r, w}$ in $X(β)$, where $w \in S_k$ is a permutation and $r$ is a positive integer no greater than the length of $β$. For fixed $r$, the sets $\mathcal{U}_{r, w}$ form an open cover of $X(β)$. We conjecture that $\mathcal{U}_{r,w}$ is given by the nonvanishing of some cluster variables in a single cluster for the cluster structure on $\mathbb{C}[X(β)]$ and that $\mathcal{U}_{r,w}$ admits a cluster structure given by freezing these variables. Moreover, we show that $\mathcal{U}_{r, w}$ is always isomorphic to the product of two braid varieties, and we conjecture that this isomorphism is quasi-cluster. In some important special cases, we are able to prove our conjectures.
The Erdős--Ko--Rado Theorem in $\ell_2$-Norm
The codegree squared sum ${\rm co}_2(\cal F)$ of a family (hypergraph) $\cal F \subseteq \binom{[n]} k$ is defined to be the sum of codegrees squared $d(E)^2$ over all $E\in \binom{[n]}{k-1}$, where $d(E)=|\{F\in \cal F: E\subseteq F\}|$. Given a family of $k$-uniform families $\mathscr H$, Balogh, Clemen and Lidický recently introduced the problem to determine the maximum codegree squared sum ${\rm co}_2(\cal F)$ over all $\mathscr H$-free $\cal F$. In the present paper, we consider the families which has as forbidden configurations all pairs of sets with intersection sizes less than $t$,
that is, the well-known $t$-intersecting families. We prove the following Erdős--Ko--Rado Theorem in $\ell_2$-norm, which confirms a conjecture of Brooks and Linz.
Let $t,k,n$ be positive integers such that $t\leq k\leq n$. If a family $\mathcal F\subseteq \binom{[n]}{k}$ is $t$-intersecting, then for $n\ge (t+1)(k-t+1)$, we have \[{\rm co}_2(\cal F)\le {\binom{n-t}{k-t}}(t+(n-k+1)(k-t)),\] equality holds if and only if $\mathcal{F}=\{F\in {\binom{[n]}{k}}: T\subset F\}$ for some $t$-subset $T$ of $[n]$.
In addition, we prove a Frankl--Hilton--Milner Theorem in $\ell_2$-norm for $t\ge 2$, and a generalized Turán result, i.e., we determine the maximum number of copies of tight path of length 2 in $t$-intersecting families.
Probability measures on families of partitions related to harmonic analysis on big wreath products
We construct generalized regular representations of the wreath product of a compact group with the infinite symmetric group. The characters of these representations are determined by probability measures on families of partitions called the $z$-measures for the wreath product of a compact group with the symmetric group in the present paper. Our main result is an explicit formula for these $z$-measures which holds true for an arbitrary compact group. The result enables us to describe the spectral measures of the generalized regular representations of big wreath products.