Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Efficient Weighted Counting of Multiset Derangements
We use the Almkvist-Zeilberger algorithm, combined with a weighted version of the Even-Gillis Laguerre integral due to Foata and Zeilberger, in order to efficiently compute weight enumerators of multiset derangements according to the number of cycles. The present paper is inspired by important previous work by Mourad Ismail and his collaborators, done in the late 1970s, but still useful after all these years.
IDP for 2-Partition Maximal Symmetric Polytopes
We provide a framework for which one can approach showing the integer decomposition property for symmetric polytopes. We utilize this framework to prove a special case which we refer to as $2$-partition maximal polytopes in the case where it lies in a hyperplane of $\mathbb{R}^3$. Our method involves proving a special collection of polynomials have saturated Newton polytope.
Sharp Bounds for Sets with Distinct Subset Products
Let $A\subseteq [N]$ be such that for any pair of distinct subsets $B,C\subset A$, the products $\prod_{b\in B}b$ and $\prod_{c\in C}c$ are distinct. We prove that $|A|\leq π(N)+π(N^{1/2})+o(π(N^{1/2}))$, where $π$ is the prime counting function, answering a question of Erdős.
Connectivity and matching extendability of optimal $1$-embedded graphs on the torus
In this paper, we discuss optimal $1$-toroidal graphs (abbreviated as O1TG), which are drawn on the torus so that every edge crosses another edge at most once, and has $n$ vertices and exactly $4n$ edges. We first consider connectivity of O1TGs, and give the characterization of O1TGs having connectivity exactly $k$ for each $k\in \{4, 5, 6, 8\}$. In our argument, we also show that there exists no O1TG having connectivity exactly $7$. Furthermore, using the result above, we discuss extendability of matchings, and give the characterization of $1$-, $2$- and $3$-extendable O1TGs in turn.
Partial domination of middle graphs
For any graph $G=(V,E)$, a subset $S\subseteq V$ is called {\it an isolating set} of $G$ if $V\setminus N_G[S]$ is an independent set of $G$, where $N_G[S]=S\cup N_G(S)$, and {\it the isolation number} of $G$, denoted by $ι(G)$, is the size of a smallest isolating set of $G$. In this article, we show that the isolation number of the middle graph of $G$ is equal to the size of a smallest maximal matching of $G$.
On H-Intersecting Graph Families and Counting of Homomorphisms
Published in AIMS Mathematics, vol. 10, no. 3, pp. 6355-6378, March 2025
• View Publication
• BIB
This work derives an upper bound on the maximum cardinality of a family of graphs on a fixed number of vertices, in which the intersection of every two graphs in that family contains a subgraph that is isomorphic to a specified graph H. Such families are referred to as H-intersecting graph families. The bound is derived using the combinatorial version of Shearer's lemma, and it forms a nontrivial extension of the bound derived by Chung, Graham, Frankl, and Shearer (1986), where H is specialized to a triangle. The derived bound is expressed in terms of the chromatic number of H, while a relaxed version, formulated using the Lovász $\vartheta$-function of the complement of H, offers reduced computational complexity. Additionally, a probabilistic version of Shearer's lemma, combined with properties of the Shannon entropy, are employed to establish bounds related to the enumeration of graph homomorphisms, providing further insights into the interplay between combinatorial structures and information-theoretic principles.
New upper bounds for the size of set systems with restricted intersections modulo prime powers
Let $q=p^α$ be a fixed prime power, $k\geq 2$ be an integer. We give a new upper bound for the size of $k$-wise $q$-modular $L$-avoiding $L$-intersecting set systems, where $L$ is any proper subset of $\{0, \ldots , q-1\}$.
Our proof is based on the linear algebra bound method and basic number theory.
$2$-Restricted Optimal Pebbling Number of Some Graphs
Let $G=(V,E)$ be a simple graph. A pebbling configuration on $G$ is a function $f:V\rightarrow \mathbb{N}\cup \{0\}$ that assigns a non-negative integer number of pebbles to each vertex. The weight of a configuration $f$ is $w(f)=\sum_{u\in V}f(u)$, the total number of pebbles. A pebbling move consists of removing two pebbles from a vertex $u$ and placing one pebble on an adjacent vertex $v$. A configuration $f$ is a $t$-restricted pebbling configuration ($t$RPC) if no vertex has more than $t$ pebbles. The $t$-restricted optimal pebbling number $π_t^*(G)$ is the minimum weight of a $t$RPC on $G$ that allows any vertex to be reached by a sequence of pebbling moves. The distinguishing number $D(G)$ is the minimum number of colors needed to label the vertices of $G$ such that the only automorphism preserving the coloring is the trivial one (i.e., the identity map). In this paper, we investigate the $2$-restricted optimal pebbling number of trees $T$ with $D(T)=2$ and radius at most $2$ and enumerate their $2$-restricted optimal pebbling configurations. Also we study the $2$-restricted optimal pebbling number of some graphs that are of importance in chemistry such as some alkanes.
The Lehmer complex of a Bruhat interval
We introduce Lehmer codes, with immersions in the Bruhat order, for several finite Coxeter groups, including all the classical Weyl groups. This allows to associate to each lower Bruhat interval of these groups a multicomplex whose f-polynomial is the Poincaré polynomial of the interval. Via a general construction, we prove that these polynomials are h-polynomials of vertex-decomposable simplicial complexes. Moreover we provide a classification, in terms of unimodal permutations, of Poincaré polynomials of smooth Schubert varieties in flag manifolds.
A class of inequalities for intersection-closed set systems
Let $N$ be a finite set and $\mathcal{F}$, an intersection-closed family of subsets. Frankl conjectured that there always exists an element in $N$ which is contained in at most half the number of sets in $\mathcal{F}$ unless $\mathcal{F} =\{E\}$. We prove the validity of a class of inequalities which imply Frankl's conjecture.
A probabilistic proof of Euler's pentagonal number theorem
Published in Seminaire Lotharingien de Combinatoire 92 (2025), Article B92c
• Search Publication
We present a probabilistic proof of Euler's pentagonal number theorem based on a shuffling model.
Finding systems of functional equations for Andrews-Gordon type series
We develop a search algorithm for systems of $q$-difference equations satisfied by Andrews-Gordon type double series. We then couple the search algorithm with Euler's algorithm for finding infinite products to narrow the search space. We exemplify some findings of the algorithm, along with their proofs. We also explain some of the double series in a base partition and moves framework.
Parking on the Random Recursive Tree
We study the parking process on the random recursive tree. We first prove that although the random recursive tree has a non-degenerate Benjamini--Schramm limit, the phase transition for the parking process appears at density $0$. We then identify the critical window for appearance of a positive flux of cars with high probability. In the case of binary car arrivals, this happens at density $ \log (n)^{-2+o(1)}$ where $n$ is the size of the tree. This is the first work that studies the parking process on trees with possibly large degree vertices.
Helly-type theorems for separated $d$-intervals
A separated $d$-interval is defined as a disjoint union of $d$ convex sets from the real line $\mathbb R$. In this paper, we establish a series of Helly-type theorems for convexity spaces derived from separated $d$-intervals. Our results encompass the Radon number, Helly number, colorful Helly number, fractional Helly number, colorful fractional Helly theorem, $(p,q)$ theorem, and two kinds of colorful $(p,q)$ theorems for these convexity spaces. The primary tools employed in our proofs involve simplicial complexes and collapsibility.
A note on improved bounds for hypergraph rainbow matching problems
A natural question, inspired by the famous Ryser-Brualdi-Stein Conjecture, is to determine the largest positive integer $g(r,n)$ such that every collection of $n$ matchings, each of size $n$, in an $r$-partite $r$-uniform hypergraph contains a rainbow matching of size $g(r,n)$. The parameter $g'(r,n)$ is defined identically with the exception that the host hypergraph is not required to be $r$-partite.
In this note, we improve the best known lower bounds on $g'(r,n)$ for all $r \geq 4$ and the upper bounds on $g(r,n)$ for all $r \geq 3$, provided $n$ is sufficiently large. More precisely, we show that if $r\ge3$ then $$\frac{2n}{r+1}-Θ_r(1)\le g'(r,n)\le g(r,n)\le n-Θ_r(n^{1-\frac{1}{r}}).$$ Interestingly, while it has been conjectured that $g(2,n)=g'(2,n)=n-1$, our results show that if $r\ge3$ then $g(r,n)$ and $g'(r,n)$ are bounded away from $n$ by a function which grows in $n$.
We also prove analogous bounds for the related problem where we are interested in the smallest size $s$ for which any collection of $n$ matchings of size $s$ in an ($r$-partite) $r$-uniform hypergraph contains a rainbow matching of size $n$.
Some zero-sum problems over $\langle x,y \mid x^2 = y^{n/2}, y^n = 1, yx = xy^s \rangle$
Let $n \ge 8$ be even, and let $G = \langle x, y \mid x^2 = y^{n/2}, y^n = 1, yx = xy^s \rangle$, where $s^2 \equiv 1 \pmod n$ and $s \not\equiv \pm1 \pmod n$. In this paper, we provide the precise values of some zero-sum constants over $G$, namely the small Davenport constant, $η$-constant, Gao constant, and Erd\H os-Ginzburg-Ziv constant. In particular, the Gao's and Zhuang-Gao's Conjectures hold for $G$. We also solve the associated inverse problems when $n \equiv 0 \pmod 4$.
Crystals and Double Quiver Algebras from Jeffrey-Kirwan Residues
Published in SciPost Phys. 18, 143 (2025)
• View Publication
• BIB
We construct statistical mechanical models of crystal melting describing the flavoured Witten indices of $\mathcal{N}\ge 2$ supersymmetric quiver gauge theories. Our results can be derived from the Jeffrey-Kirwan (JK) residue formulas, and generalize the previous results for quivers corresponding to toric Calabi-Yau threefolds and fourfolds to a large class of quivers satisfying the no-overlap condition, including those corresponding to some non-toric Calabi-Yau manifolds. We construct new quiver algebras which we call the double quiver Yangians/algebras, as well as their representations in terms of the aforementioned crystals. For theories with four supercharges, we compare the double quiver algebras with the existing quiver Yangians/BPS algebras, which we show can also be constructed from the JK residues. For theories with two supercharges, the double quiver algebras provide an algebraic description of the BPS states, including the information of the fixed points and their relative coefficients in the full partition functions.
The hard-core model in graph theory
An independent set may not contain both a vertex and one of its neighbours. This basic fact makes the uniform distribution over independent sets rather special. We consider the hard-core model, an essential generalization of the uniform distribution over independent sets. We show how its local analysis yields remarkable insights into the global structure of independent sets in the host graph, in connection with, for instance, Ramsey numbers, graph colourings, and sphere packings.
On the upper tail of star counts in random graphs
Let $X$ count the number of $r$-stars in the random binomial graph $\mathbb{G}(n,p)$. We determine, for fixed $r$ and $\varepsilon > 0$, the asymptotics of $\log \mathbb{P}(X \ge (1 + \varepsilon)\mathbb{E} X)$ assuming only $\mathbb{E} X \to \infty$ and $p \to 0$ thus giving a first class of irregular graphs for which the upper tail problem for subgraph counts (stated by Janson and Ruciński in 2004) is solved in the sparse setting.
On the anti-Ramsey threshold
We say that a graph $G$ is anti-Ramsey for a graph $H$ if any proper edge-colouring of $G$ yields a rainbow copy of $H$, i.e. a copy of $H$ whose edges all receive different colours. In this work we determine the threshold at which the binomial random graph becomes anti-Ramsey for any fixed graph $H$, given that $H$ is sufficiently dense. Our proof employs a graph decomposition lemma in the style of the Nine Dragon Tree theorem that may be of independent interest.