Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Radon Partitions of Random Gaussian Polytopes
In this paper we study a probabilistic framework for Radon partitions, where our points are chosen independently from the $d$-dimensional normal distribution. For every point set we define a corresponding Radon polytope, which encodes all information about Radon partitions of our set - with Radon partitions corresponding to faces of the polytope. This allows us to derive expressions for the probability that a given partition of $N$ randomly chosen points in $\mathbb{R}^d$ forms a Radon partition. These expressions involve conic kinematic formulas and intrinsic volumes, and in general require repeated integration, though we obtain closed formulas in some cases. This framework can provide new perspectives on open problems that can be formulated in terms of Radon partitions, such as Reay's relaxed Tverberg conjecture.
Counting with two-level polynomials
Published
• View Publication
• BIB
We examine combinatorial counting functions with two parameters, $n$ and $q$. For fixed $q$, these functions are (quasi-)polynomial in $n$. As $q$ varies, the degree of this polynomial is itself polynomial in $q$, as are the leading coefficients. We carefully define these two-level polynomials, lay out their basic algebraic properties, and provide a schema for showing a function is a two-level polynomial. Using the schema, we prove that a variety of counting functions arising in different areas of combinatorics are two-level polynomials. These include chromatic polynomials for many infinite families of graphs, partitions of an integer into a given number of parts, placing non-attacking chess pieces on a board, Sidon sets, and Sheffer sequences (including binomial type and Appell sequences).
On Modular Edge Colourings of Graphs
Published
• View Publication
• BIB
Given a graph $G$ and an integer $k\geq 2$, let $χ'_k(G)$ denote the minimum number of colours required to colour the edges of $G$ such that, in each colour class, the subgraph induced by the edges of that colour has all non-zero degrees congruent to $1$ modulo $k$. In 1992, Pyber proved that $χ'_2(G) \leq 4$ for every graph $G$, and posed the question of whether $χ'_k(G)$ can be bounded solely in terms of $k$ for every $k\geq 3$. This question was answered in 1997 by Scott, who showed that $χ'_k(G)\leq5k^2\log k$, and further asked whether $χ'_k(G) = O(k)$. Recently, Botler, Colucci, and Kohayakawa (2023) answered Scott's question affirmatively proving that $χ'_k(G) \leq 198k - 101$, and conjectured that the multiplicative constant could be reduced to $1$. A step towards this latter conjecture was made in 2024 by Nweit and Yang, who improved the bound to $χ'_k(G) \leq 177k - 93$. In this paper, we further improve the multiplicative constant to $9$. More specifically, we prove that there is a function $f\in o(k)$ for which $χ'_k(G) \leq 7k + f(k)$ if $k$ is odd, and $χ'_k(G) \leq 9k + f(k)$ if $k$ is even. In doing so, we prove that $χ'_k(G) \leq k + O(d)$ for every $d$-degenerate graph $G$, which plays a central role in our proof.
Subdivision-free graphs with the maximum spectral radius
Given a graph family $\mathbb{H}$, let ${\rm SPEX}(n,\mathbb{H}_{\rm sub})$ denote the set of $n$-vertex $\mathbb{H}$-subdivision-free graphs with the maximum spectral radius. In this paper, we investigate the problem of graph subdivision from a spectral extremal perspective, with a focus on the structural characterization of graphs in ${\rm SPEX}(n,\mathbb{H}_{\rm sub})$. For any graph $H \in \mathbb{H}$, let $α(H)$ denote its independence number. Define $γ_\mathbb{H}:=\min_{H\in \mathbb{H}}\{|H| - α(H) - 1\}$. We prove that every graph in ${\rm SPEX}(n,\mathbb{H}_{\rm sub})$ contains a spanning subgraph isomorphic to $K_{γ_\mathbb{H}}\vee (n-γ_\mathbb{H})K_1$, which is obtained by joining a $γ_\mathbb{H}$-clique with an independent set of $n-γ_\mathbb{H}$ vertices. This extends a recent result by Zhai, Fang, and Lin concerning spectral extremal problems for $\mathbb{H}$-minor-free graphs.
An exact Ore-degree condition for Hamilton cycles in oriented graphs
An oriented graph is a digraph that contains no 2-cycles, i.e., there is at most one arc between any two vertices. We show that every oriented graph $G$ of sufficiently large order $n$ with $\mathrm{deg}^+(x) +\mathrm{deg}^{-}(y)\geq (3n-3)/4$ whenever $G$ does not have an edge from $x$ to $y$ contains a Hamilton cycle. This is best possible and solves a problem of Kühn and Osthus from 2012. Our result generalizes the result of Keevash, Kühn, and Osthus and improves the asymptotic bound obtained by Kelly, Kühn, and Osthus.
Continuous Classification Aggregation
We prove that any optimal, independent, and zero unanimous fuzzy classification aggregation function of a continuum of individual classifications of $m\ge 3$ objects into $2\le p\le m$ types must be a weighted arithmetic mean. We also provide a characterization for the case when $m=p=2$.
Factorization of Basic Hypergeometric Series
Published in SIGMA 21 (2025), 051, 20 pages
• View Publication
• BIB
The general problem of the factorization of a basic hypergeometric series is presented and discussed. The case of the general $_2ψ_2$ series is examined in detail. Connections are found with the theory of basic hypergeometric series on root systems. Alternative proofs of several well-known summation and transformation formulae, including Gustafson's generalization of Ramanujan's $_1ψ_1$ summation, are obtained incidentally.
Orbits and equivariant local systems combinatorics in graded Lie algebras
In this paper, we will describe a combinatorial object to list the orbits in the ${\mathbb Z}$-graded Lie algebra, their Jordan bloc decomposition, their dimension, their dimension, the partial order and the equivariant local system (up to isomorphism) for four infinite families: two are for the symplectic groups and two are for the special orthogonal groups. These orbits and equivariant local systems appear in the study of perverse sheaves arising from graded Lie algebras.
Witnessing and guiding sets of tangles
Tangles o er a way to indirectly but precisely capture cluster-like though possibly fuzzy substructures in discrete data. In this paper, we analyze witnessing and guiding sets of tangles that can help to find proper cluster candidates for given tangles. We show that every k-tangle has a witnessing set whose size is bounded in an exponential function in k which improves a result of Grohe and Schweizer. Further, we generalize a result of Diestel, Elbracht and Jacobs by providing a characterization of tangles that have a guiding function of some given reliability.
Persistence probabilities for MA(1) sequences with uniform innovations
We study the persistence probabilities of a moving average process of order one with uniform innovations. We identify a number of regions, characterized by the location of the uniform distribution and the coupling parameter of the process, where the persistence probabilities have qualitatively different behaviour. We obtain the generating functions of the persistence probabilities explicitly in all possible regions. In some of the regions, the persistence probabilities can be expressed explicitly in terms of various combinatorial quantities.
The Hamilton cycle space of random regular graphs and randomly perturbed graphs
The cycle space of a graph $G$, denoted $C(G)$, is a vector space over ${\mathbb F}_2$, spanned by all incidence vectors of edge-sets of cycles of $G$. If $G$ has $n$ vertices, then $C_n(G)$ is the subspace of $C(G)$, spanned by the incidence vectors of Hamilton cycles of $G$. We prove that asymptotically almost surely $C_n(G_{n,d}) = C(G_{n,d})$ holds whenever $n$ is odd and $d$ is a sufficiently large (even) integer. This extends (though with a weaker bound on $d$) the well-known result asserting that $G_{n,d}$ is asymptotically almost surely Hamiltonian for every $d \geq 3$ (but not for $d < 3$). Since $n$ being odd mandates that $d$ be even, somewhat limiting the generality of our result, we also prove that if $n$ is even and $d$ is any sufficiently large integer, then asymptotically almost surely $C_{n-1}(G_{n,d}) = C(G_{n,d})$.
An influential result of Bohman, Frieze, and Martin asserts that if $H$ is an $n$-vertex graph with minimum degree at least $δn$ for some constant $δ> 0$, and $G \sim \mathbb{G}(n, C/n)$, where $C := C(δ)$ is a sufficiently large constant, then $H \cup G$ is asymptotically almost surely Hamiltonian. We strengthen this result by proving that the same assumptions on $H$ and $G$ ensure that $C_n(H \cup G) = C(H \cup G)$ holds asymptotically almost surely.
Hyper-Catalan and Geode Recurrences and Three Conjectures of Wildberger
The hyper-Catalan number $C[m_2,m_3,m_4,\ldots]$ counts the number of subdivisions of a roofed polygon into $m_2$ triangles, $m_3$ quadrilaterals, $m_4$ pentagons, etc. Its closed form has been known since Erdélyi and Etherington, 1940. In 2025, Wildberger and Rubine showed its generating sum $\mathbf{S}[t_2,t_3,t_4,\ldots]$ is a zero of the general geometric univariate polynomial. We use that to derive a recurrence for hyper-Catalans, which expresses each in terms of other hyper-Catalans with smaller indices, generalizing the well-known Catalan convolution sum.
Wildberger notes the factorization $\mathbf{S}-1=(t_2 + t_3 + t_4 + \ldots)\mathbf{G}$, where the factor $\mathbf{G}$ is called the Geode. We derive a recurrence that let us express the Geode coefficients in terms of other hyper-Catalan and Geode coefficients, and ultimately in terms of hyper-Catalans alone. We use it to prove three conjectures of Wildberger, all closed forms for special cases of elements of $\mathbf{G}$. While the recurrence allows us to expand each Geode coefficient as an integer combination of hyper-Catalans, enabling calculation, a closed-form for the general Geode coefficient remains unknown, as does what it counts.
Hypergraph Turán problem of the generalized triangle with bounded matching number
Let $\mathcal{H}$ be a 3-graph on $n$ vertices. The matching number $ν(\mathcal{H})$ is defined as the maximum number of disjoint edges in $\mathcal{H}$. The generalized triangle $F_5$ is a 3-graph on the vertex set $\{a,b,c,d,e\}$ with the edge set $\{abc, abd,cde\}$. In this paper, we showed that an $F_5$-free 3-graph $\mathcal{H}$ with matching number at most $s$ has at most $s\lfloor (n-s)^2/4\rfloor$ edges for $n\geq 30(s+1)$ and $s\geq 3$. For the proof, we establish a 2-colored version of Mantel's theorem, which may be of independent interests.
Short rainbow cycles for families of small edge sets
Published
• View Publication
• BIB
In 2019, Aharoni proposed a conjecture generalizing the Caceetta-Häggkvist conjecture: if an $n$-vertex graph $G$ admits an edge coloring (not necessarily proper) with $n$ colors such that each color class has size at least $r$, then $G$ contains a rainbow cycle of length at most $\lceil n/r\rceil$. Recent works \cite{AG2023,ABCGZ2023,G2025} have shown that if a constant fraction of the color classes are non-star, then the rainbow girth is $O(\log n)$. In this note, we extend these results, and we show that even a small fraction of non-star color classes suffices to ensure logarithmic rainbow girth. We also prove that the logarithmic bound is of the right order of magnitude. Moreover, we determine the threshold fraction between the types of color classes at which the rainbow girth transitions from linear to logarithmic.
Automated Counting of Spanning Trees for Several Infinite Families of Graphs
Published
• View Publication
• BIB
Using the theoretical basis developed by Yao and Zeilberger, we consider certain graph families whose structure results in a rational generating function for sequences related to spanning tree enumeration. Said families are Powers of Cycles and Powers of Path; later, we briefly discuss Torus graphs and Grid graphs. In each case we know, a priori, that the set of spanning trees of the family of graphs can be described in terms of a finite-state-machine, and hence there is a finite transfer-matrix that guarantees the generating function is rational. Finding this ``grammar'', and hence the transfer-matrix is very tedious, so a much more efficient approach is to use experimental mathematics. Since computing numerical determinants is so fast, one can use the matrix tree theorem to generate sufficiently many terms, then fit the data to a rational function. The whole procedure can be done rigorously a posteriori.
A q-Supercongruence Motivated by Higher-Order Generalized Lehmer-Euler Numbers
Certain generalization of Euler numbers was defined in 1935 by Lehmer using cubic roots of unity, as a natural generalization of Bernoulli and Euler numbers. In this paper, we define a new polynomial related to the higher-order generalized Lehmer-Euler numbers and determine its a q-supercongruence.
Binomial edge ideals of crown graphs
Published
• View Publication
• BIB
In this article, we explore the class of graphs for which the projective dimension of the quotient of the binomial edge ideals matches the big height of that ideal. Additionally, we investigate the Vasconcelos number of binomial edge ideals for cycles and crown graphs. We also provide proof for [Conjecture 4.13, 3], which is related to the Vasconcelos number of binomial edge ideals for cycles.
A quotient-lifting approach to the Hamiltonicity of the cylindrical 5-puzzle graph
Published
• View Publication
• BIB
We construct an explicit Hamiltonian cycle in the state graph of the 5-puzzle on a toroidal 2x 3 grid, a graph with 720 vertices. The cycle is described by a short symbolic sequence of 48 moves over the alphabet {L,R,V}, repeated $15$ times, which can be verified directly. We also find a shorter 24-move sequence whose repetition yields a 2-cycle cover, which can be spliced into a Hamiltonian path. These constructions arise naturally from a general method: lifting Hamiltonian cycles from a quotient graph under the action of the puzzle's symmetry group.
The method produces compact, human-readable cycle encodings and appears effective in broader settings, suggesting a combinatorial grammar underlying Hamiltonian paths in symmetric configuration spaces.
Bruhat operads II. Multiplicative structures
The Bruhat operads from \cite{KS} are equipped with a structure of operads with multiplication.
Independent Set Enumeration and Estimation of Related Constants of Grid Graphs and Their Variants
We applied tensor network contraction algorithms to compute the hard-core lattice gas model, i.e., the enumeration of independent sets on grid graphs. We observed the influence of surface effect and parity effect on the enumeration (and entropy), and derived upper and lower bounds for both the combinatorics entropy and the coefficients of surface effect by numerical analysis.
Additionally, we conducted corresponding calculations and analyses for triangular grid graphs, king graph, and cylindrical grid graph. We computed and analyzed their associated constants and compared how different adjacency and boundary conditions affect these constants.
Our computational results have contributed substantial new terms to the OEIS sequence A089980, A027740, A219741, A226444, A245013 and A286513. In addition, we have provided fairly accurate estimates of the relevant constants through numerical analysis of the obtained results. Among them, our valuation of the hard square entropy constant is more accurate than existing results. And we conject that the surface effect of the periodic boundary of the cylindrical grid graph is $0$--its estimated value of coefficients is very close to $0$.