Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Spectral radius, fractional $[a,b]$-factor and ID-factor-critical graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $h: E(G)\rightarrow [0,1]$ be a function. For any two positive integers $a$ and $b$ with $a\leq b$, a fractional $[a,b]$-factor of $G$ with the indicator function $h$ is a spanning subgraph with vertex set $V(G)$ and edge set $E_h$ such that $a\leq\sum_{e\in E_{G}(v)}h(e)\leq b$ for any vertex $v\in V(G)$, where $E_h = \{e\in E(G)|h(e)>0\}$ and $E_{G}(v)=\{e\in E(G)| e~\mbox{is incident with}~v~\mbox{in}~G\}$. A graph $G$ is ID-factor-critical if for every independent set $I$ of $G$ whose size has the same parity as $|V(G)|$, $G-I$ has a perfect matching. In this paper, we present a tight sufficient condition based on the spectral radius for a graph to contain a fractional $[a,b]$-factor, which extends the result of Wei and Zhang [Discrete Math. 346 (2023) 113269]. Furthermore, we also prove a tight sufficient condition in terms of the spectral radius for a graph with minimum degree $δ$ to be ID-factor-critical.
Some results on the rainbow vertex-disconnection colorings of graphs
Published
• View Publication
• BIB
Let $G$ be a nontrivial connected and vertex-colored graph. A vertex subset $X$ is called rainbow if any two vertices in $X$ have distinct colors. The graph $G$ is called \emph{rainbow vertex-disconnected} if for any two vertices $x$ and $y$ of $G$, there exists a vertex subset $S$ such that when $x$ and $y$ are nonadjacent, $S$ is rainbow and $x$ and $y$ belong to different components of $G-S$; whereas when $x$ and $y$ are adjacent, $S+x$ or $S+y$ is rainbow and $x$ and $y$ belong to different components of $(G-xy)-S$. For a connected graph $G$, the \emph{rainbow vertex-disconnection number} of $G$, $rvd(G)$, is the minimum number of colors that are needed to make $G$ rainbow vertex-disconnected.
In this paper, we prove for any $K_4$-minor free graph, $rvd(G)\leq Δ(G)$ and the bound is sharp. We show it is $NP$-complete to determine the rainbow vertex-disconnection number for bipartite graphs and split graphs. Moreover, we show for every $ε>0$, it is impossible to efficiently approximate the rainbow vertex-disconnection number of any bipartite graph and split graph within a factor of $n^{\frac{1}{3}-ε}$ unless $ZPP=NP$.
Sumsets with a minimum number of distinct terms
For a set $A$ of $k$ elements from an additive abelian group $G$ and a positive integer $r \leq k$, we consider the set of elements of $G$ that can be written as a sum of $h$ elements of $A$ with at least $r$ distinct elements. We denote this set by $h^{(\geq r)}A$. The set $h^{(\geq r)}A$ generalizes the classical sumsets $hA$ and $h\hat{}A$ for $r=1$ and $r=h$, respectively. As the main result of this article, we give an upper bound for the minimum size of $h^{(\geq r)}A$ over $\mathbb{Z}_m$ for $m \geq 2$. Further, by an observation relating the sumsets $hA$, $h\hat{}A$, and $h^{(\geq r)}A$ we obtain the sharp lower bound on the size of $h^{(\geq r)}A$ and also characterize the set $A$ for which the lower bound on the size of $h^{(\geq r)}A$ is tight over the groups $\mathbb{Z}$ and $\mathbb{Z}_p$, where $p$ is a prime number.
Chip-firing on graphs of groups
Published
• View Publication
• BIB
We define the Laplacian matrix and the Jacobian group of a finite graph of groups. We prove analogues of the matrix tree theorem and the class number formula for the order of the Jacobian of a graph of groups. Given a group $G$ acting on a graph $X$, we define natural pushforward and pullback maps between the Jacobian groups of $X$ and the quotient graph of groups $X/\!/G$. For the case $G=\mathbb{Z}/2\mathbb{Z}$, we also prove a combinatorial formula for the order of the kernel of the pushforward map.
Rank deviations for overpartitions
Published in Research in Number Theory 10 (2024), no. 3. Paper No. 67, 14 pp
• View Publication
• BIB
We prove general fomulas for the deviations of two overpartition ranks from the average. These formulas are in terms of Appell--Lerch series and sums of quotients of theta functions and can be used, among other things, to recover any of the numerous overpartition rank difference identities in the literature. We give two illustrations.
Realizing the $s$-permutahedron via flow polytopes
Ceballos and Pons introduced the $s$-weak order on $s$-decreasing trees, for any weak composition $s$. They proved that it has a lattice structure and further conjectured that it can be realized as the $1$-skeleton of a polyhedral subdivision of a polytope. We answer their conjecture in the case where $s$ is a strict composition by providing three geometric realizations of the $s$-permutahedron. The first one is the dual graph of a triangulation of a flow polytope of high dimension. The second one, obtained using the Cayley trick, is the dual graph of a fine mixed subdivision of a sum of hypercubes that has the conjectured dimension. The third one, obtained using tropical geometry, is the $1$-skeleton of a polyhedral complex for which we can provide explicit coordinates of the vertices and whose support is a permutahedron as conjectured.
On the uniqueness of collections of pennies and marbles
Published in Examples and Counterexamples 7, 2025
• View Publication
• BIB
In this note we study the uniqueness problem for collections of pennies and marbles. More generally, consider a collection of unit $d$-spheres that may touch but not overlap. Given the existence of such a collection, one may analyse the contact graph of the collection. In particular we consider the uniqueness of the collection arising from the contact graph. Using the language of graph rigidity theory, we prove a precise characterisation of uniqueness (global rigidity) in dimensions 2 and 3 when the contact graph is additionally chordal. We then illustrate a wide range of examples in these cases. That is, we illustrate collections of marbles and pennies that can be perturbed continuously (flexible), are locally unique (rigid) and are unique (globally rigid). We also contrast these examples with the usual generic setting of graph rigidity.
A Note On The Cross-Sperner Families
Let $(\mathcal{F},\mathcal{G})$ be a pair of families of $[n]$, where $[n]=\{1,2,...,n\}$. If $A\not\subset B$ and $B\not\subset A$ hold for all $A\in\mathcal{F}$ and $B\in\mathcal{G}$, then $(\mathcal{F},\mathcal{G})$ is called a Cross-Sperner pair. P. Frankl and Jian Wang introduced the extremal problem that $m(n)={\rm{max}}\{|\mathcal{I}(\mathcal{F},\mathcal{G})|:\mathcal{F},\mathcal{G}\subset2^{[n]}~{\rm{are~cross}}$-${\rm{sperner}}\}$, where $\mathcal{I}(\mathcal{F},\mathcal{G})=\{A\cap B:A\in\mathcal{F},B\in\mathcal{G}\}$. In this note, we prove that $m(n)=2^n-2^{\lfloor\frac{n}{2}\rfloor}-2^{\lceil\frac{n}{2}\rceil}+1$ for all $n>1$. This solves an open problem proposed by P. Frankl and Jian Wang.
On $m$-ovoids of $Q^+(7,q)$ with $q$ odd
Published in Finite Fields and Their Applications Volume 95, 102387 (2024)
• View Publication
• BIB
In this paper, we provide a construction of $(q+1)$-ovoids of the hyperbolic quadric $Q^+(7,q)$, $q$ an odd prime power, by glueing $(q+1)/2$-ovoids of the elliptic quadric $Q^-(5,q)$. This is possible by controlling some intersection properties of (putative) $m$-ovoids of elliptic quadrics. It yields eventually $(q+1)$-ovoids of $Q^+(7,q)$ not coming from a $1$-system. Secondly, we also construct $m$-ovoids for $m \in \{ 2,4,6,8,10\}$ in $Q^+(7,3)$. Therefore we first investigate how to construct spreads of $\pg(3,q)$ that have as many secants to an elliptic quadric as possible.
Subsets of free groups with distinct differences
Published
• View Publication
• BIB
Let $F_n$ be a free group of rank $n$, with free generating set $X$. A subset $D$ of $F_n$ is a \emph{Distinct Difference Configuration} if the differences $g^{-1}h$ are distinct, where $g$ and $h$ range over all (ordered) pairs of distinct elements of $D$. The subset $D$ has diameter at most $d$ if these differences all have length at most $d$. When $n$ is fixed and $d$ is large, the paper shows that the largest distinct difference configuration in $F_n$ of diameter at most $d$ has size approximately $(2n-1)^{d/3}$.
Off-Diagonal Commonality of Graphs via Entropy
Published
• View Publication
• BIB
A graph $H$ is common if the limit as $n\to\infty$ of the minimum density of monochromatic labelled copies of $H$ in an edge colouring of $K_n$ with red and blue is attained by a sequence of quasirandom colourings. We apply an information-theoretic approach to show that certain graphs obtained from odd cycles and paths via gluing operations are common. In fact, for every pair $(H_1,H_2)$ of such graphs, there exists $p\in(0,1)$ such that an appropriate linear combination of red copies of $H_1$ and blue copies of $H_2$ is minimized by a quasirandom colouring in which $p\binom{n}{2}$ edges are red; such a pair $(H_1,H_2)$ is said to be $(p,1-p)$-common. Our approach exploits a strengthening of the common graph property for odd cycles that was recently proved using Schur convexity. We also exhibit a $(p,1-p)$-common pair $(H_1,H_2)$ such that $H_2$ is uncommon.
Non-diagonal critical central sections of the cube
Published
• View Publication
• BIB
We study the $(n-1)$-dimensional volume of central hyperplane sections of the $n$-dimensional cube $Q_n$. Our main goal is two-fold: first, we provide an alternative, simpler argument for proving that the volume of the section perpendicular to the main diagonal of the cube is strictly locally maximal for every $n \geq 4$, which was shown before by L. Pournin. Then, we prove that non-diagonal critical central sections of $Q_n$ exist in all dimensions at least $4$. The crux of both proofs is an estimate on the rate of decay of the Laplace-Pólya integral $J_n(r) = \int_{-\infty}^\infty \mathrm{sinc}^n t \cdot \cos (rt) \mathrm{d} t$ that is achieved by combinatorial means. This also yields improved bounds for Eulerian numbers of the first kind.
Shallow Hitting Edge Sets in Uniform Hypergraphs
A subset $M$ of the edges of a graph or hypergraph is hitting if $M$ covers each vertex of $H$ at least once, and $M$ is $t$-shallow if it covers each vertex of $H$ at most $t$ times. We consider the existence of shallow hitting edge sets and the maximum size of shallow edge sets in $r$-uniform hypergraph $H$ that are regular or have a large minimum degree. Specifically, we show the following. Every $r$-uniform regular hypergraph has a $t$-shallow hitting edge set with $t = O(r)$. Every $r$-uniform regular hypergraph with $n$ vertices has a $t$-shallow edge set of size $Ω(nt/r^{1+1/t})$. Every $r$-uniform hypergraph with $n$ vertices and minimum degree $δ_{r-1}(H) \geq n/((r-1)t+1)$ has a $t$-shallow hitting edge set. Every $r$-uniform $r$-partite hypergraph with $n$ vertices in each part and minimum degree $δ'_{r-1}(H) \geq n/((r-1)t+1) +1$ has a $t$-shallow hitting edge set. We complement our results with constructions of $r$-uniform hypergraphs that show that most of our obtained bounds are best-possible.
On the eccentric graph of trees
Published
• View Publication
• BIB
We consider the eccentric graph of a graph $G$, denoted by $ecc(G)$, which has the same vertex set as $G$, and two vertices in the eccentric graph are adjacent iff their distance in $G$ is equal to the eccentricity of one of them. In this paper, we present a fundamental requirement for the isomorphism between $ecc(G)$ and the complement of $G$, and show that the previous necessary condition given in the literature is inadequate. Also we obtain that diameter of $ecc(T)$ is at most $3$ for any tree and get some characterizations of the eccentric graph of trees.
On the $\operatorname{rix}$ statistic and valley-hopping
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Combinatorics (March 5, 2024) dmtcs:11553
• View Publication
• BIB
This paper studies the relationship between the modified Foata$\unicode{x2013}$Strehl action (a.k.a. valley-hopping)$\unicode{x2014}$a group action on permutations used to demonstrate the $γ$-positivity of the Eulerian polynomials$\unicode{x2014}$and the number of rixed points $\operatorname{rix}$$\unicode{x2014}$a recursively-defined permutation statistic introduced by Lin in the context of an equidistribution problem. We give a linear-time iterative algorithm for computing the set of rixed points, and prove that the $\operatorname{rix}$ statistic is homomesic under valley-hopping. We also demonstrate that a bijection $Φ$ introduced by Lin and Zeng in the study of the $\operatorname{rix}$ statistic sends orbits of the valley-hopping action to orbits of a cyclic version of valley-hopping, which implies that the number of fixed points $\operatorname{fix}$ is homomesic under cyclic valley-hopping.
A composition law and refined notions of convergence for periodic continued fractions
Published
• View Publication
• BIB
We define an equivalence relation on periodic continued fractions with partial quotients in a ring $\mathcal{O} \subseteq \mathbf{C}$, a group law on these equivalence classes, and a map from these equivalence classes to matrices in $\mathrm{GL}_2(\mathcal{O})$ with determinant $\pm1$. We prove this group of equivalence classes is isomorphic to $\mathbf{Z}/2\mathbf{Z}\ast\mathcal{O}$ and study certain of its one- and two-dimensional representations.
For a periodic continued fraction with period $k$, we give a refined description of the limits of the $k$ different $k$-decimations of its sequence of convergents. We show that for a periodic continued fraction associated to a matrix with eigenvalues of different magnitudes, all $k$ of these limits exist in $\mathbb{P}^1(\mathbf{C})$ and a strict majority of them are equal.
A short proof of Seymour's 6-flow theorem
Published
• View Publication
• BIB
We give a compact variation of Seymour's proof that every $2$-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_3$-flow.
The grid-minor theorem revisited
We prove that for every planar graph $X$ of treedepth $h$, there exists a positive integer $c$ such that for every $X$-minor-free graph $G$, there exists a graph $H$ of treewidth at most $f(h)$ such that $G$ is isomorphic to a subgraph of $H\boxtimes K_c$. This is a qualitative strengthening of the Grid-Minor Theorem of Robertson and Seymour (JCTB 1986), and treedepth is the optimal parameter in such a result. As an example application, we use this result to improve the upper bound for weak coloring numbers of graphs excluding a fixed graph as a minor.
Restricting Dyck Paths and 312-avoiding Permutations
Dyck paths having height at most $h$ and without valleys at height $h-1$ are combinatorially interpreted by means of 312-avoding permutations with some restrictions on their \emph{left-to-right maxima}. The results are obtained by analyzing a restriction of a well-known bijection between the sets of Dyck paths and 312-avoding permutations. We also provide a recursive formula enumerating these two structures using ECO method and the theory of production matrices. As a further result we obtain a family of combinatorial identities involving Catalan numbers.
On cocliques in commutative Schurian association schemes of the symmetric group
Given the symmetric group $G = \operatorname{Sym}(n)$ and a multiplicity-free subgroup $H\leq G$, the orbitals of the action of $G$ on $G/H$ by left multiplication induce a commutative association scheme. The irreducible constituents of the permutation character of $G$ acting on $G/H$ are indexed by partitions of $n$ and if $λ\vdash n$ is the second largest partition in dominance ordering among these, then the Young subgroup $\operatorname{Sym}(λ)$ admits two orbits in its action on $G/H$, which are $\mathcal{S}_λ$ and its complement.
In their monograph [Erdős-Ko-Rado theorems: Algebraic Approaches. {\it Cambridge University Press}, 2016] (Problem~16.13.1), Godsil and Meagher asked whether $\mathcal{S}_λ$ is a coclique of a graph in the commutative association scheme arising from the action of $G$ on $G/H$. If such a graph exists, then they also asked whether its smallest eigenvalue is afforded by the $λ$-module.
In this paper, we initiate the study of this question by taking $λ= [n-1,1]$.
We show that the answer to this question is affirmative for the pair of groups $\left(G,H\right)$, where $G = \operatorname{Sym}(2k+1)$ and $H = \operatorname{Sym}(2) \wr \operatorname{Sym}(k)$, or $G = \operatorname{Sym}(n)$ and $H$ is one of $\operatorname{Alt}(k) \times \operatorname{Sym}(n-k),\ \operatorname{Alt}(k) \times \operatorname{Alt}(n-k)$, or $\left(\operatorname{Alt}(k)\times \operatorname{Alt}(n-k)\right) \cap \operatorname{Alt}(n)$. For the pair $(G,H) = \left(\operatorname{Sym}(2k),\operatorname{Sym}(k)\wr \operatorname{Sym}(2)\right)$, we also prove that the answer to this question of Godsil and Meagher is negative.