Showing 20 papers (Total: 81378 papers, 47165 authors in database)
IP Models for Minimum Zero Forcing Sets, Forts, and Related Graph Parameters
Zero forcing is a binary coloring game on a graph where a set of filled vertices can force non-filled vertices to become filled following a color change rule. In 2008, the zero forcing number of a graph was shown to be an upper bound on its maximum nullity. In addition, the combinatorial optimization problem for the zero forcing number was shown to be NP-hard. Since then, the study of zero forcing and its related parameters has received considerable attention. In 2018, the forts of a graph were defined as non-empty subsets of vertices where no vertex outside the set has exactly one neighbor in the set. Forts have been used to model zero forcing as an integer program and provide lower bounds on the zero forcing number. To date, three integer programming models have been developed for the zero forcing number of a graph: the Infection Model, Time Step Model, and Fort Cover Model. In this article, we present variations of these models for computing the zero forcing number and related graph parameters, such as the minimum and maximum propagation times, throttling number, and fractional zero forcing number. In addition, we present several new models for computing the realized propagation time interval, all minimal forts of a graph, and the fort number of a graph. We conclude with several numerical experiments that demonstrate the effectiveness of our models when applied to small and medium order graphs. Moreover, we provide experimental evidence for several open conjectures regarding the propagation time interval, the number of minimal forts, the fort number, and the fractional zero forcing number of a graph.
An equivalent conjecture to Feige's Conjecture
Let X1, ..., Xn be arbitrary non-negative independent random variables with respective expected values $μ_{i}$ at most one. We sketch but do not prove an equivalent conjecture to Feige's Conjecture $\mathbb{P} \left( \sum_{i=1}^{n} X_{i} < μ+ 1 \right) \geq \exp \left(-1 \right)$, where $μ$ is the expected value of the sum of the random variables. We show by a simple example how this inequality finds use in mathematical finance.
Improved Bounds on Rainbow $k$-partite Matchings
Let $n$, $s$, and $k$ be positive integers. We say that a sequence $f_1,\dots,f_s$ of nonnegative integers is satisfying if for any collection of $s$ families $\mathcal F_1,\dots,\mathcal F_s\subseteq [n]^k$ such that $|\mathcal F_i|=f_i$ for all $i$, there exists a rainbow matching, i.e., a list of pairwise disjoint tuples $F_1\in\mathcal F_1$, $\dots$, $F_s\in\mathcal F_s$. We investigate the question, posed by Kupavskii and Popova, of determining the smallest $c=c(n,s,k)$ such that the arithmetic progression $c$, $n^{k-1}+c$, $2n^{k-1}+c$, $\dots$, $(s-1)n^{k-1}+c$ is satisfying. We prove that the sequence is satisfying for $c=Ω_k(\max(s^2n^{k-2}, sn^{k-3/2}\sqrt{\log s}))$, improving the previous result by Kupavskii and Popova. We also study satisfying sequences for $k=2$ using the polynomial method, extending the previous result by Kupavskii and Popova to when $n$ is not prime.
CR tournaments
The determinant of a tournament $T$ is defined as the determinant of the skew-adjacency matrix of $T$. For a positive odd integer $k$, let $\mathcal{D}_k$ be the set of tournaments whose all subtournaments have determinant at most $k^2$. Some existing results show that, for $k \in \{1,3,5\}$, a tournament $T \in \mathcal{D}_k \backslash \mathcal{D}_{k-2}$ ($T \in \mathcal{D}_1$ when $k=1$) if and only if $T$ is switching equivalent to a transitive blowup of $L_{k+1}$, where $L_{k+1}$ is a tournament of order $k+1$ with a specific structure.
There exist some tournaments with the special property that adding any vertex that does not conform to their structure increases the maximum value of determinants among their subtournaments. We define these tournaments as CR tournaments. In this paper, we introduce CR tournaments, strong CR tournaments and basic tournaments, and show some properties and conclusions on these tournaments. For a basic strong CR tournament $H \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$, we show that if $T$ contains a subtournament which is switching isomorphic to $H$, then $T \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$ if and only if $T$ is switching equivalent to a transitive blowup of $H$. Moreover, we demonstrate that all $L_n$ are strong CR tournaments, and based on this conclusion, we answer a question posed in [J. Zeng, L. You, On determinants of tournaments and $\mathcal{D}_k$, arXiv:2408.06992, 2024.], and propose some questions for further research.
Magical Property of Fullerenes
Fullerenes are an allotrope of carbon having hollow, cage-like structure. Atoms in the molecule are arranged in pentagonal and hexagonal rings, such that each atom is connected to three other atoms. Simple polyhedra having only pentagonal and hexagonal faces are a mathematical model for fullerenes. We say that a fullerene with $n$ vertices has magical property if the numbers $1, 2, \dots, n$ may be assigned to its vertices so that the sums of the numbers in each pentagonal faces are equal and the sums of the numbers in each hexagonal faces are equal. We show that $C_{8n+4}$ does not admit such an arrangement for all $n$, while there are fullerenes, like $C_{24}$ and $C_{26}$ that have many nonisomorphic such arrangements.
Number of orbits of $k$-subsets of permutations
Let $S_n$ denote the symmetric group of order $n$. Say that two subsets $x, y\subseteq S_n$ are \emph{equivalent} if there exist permutations $g_1, g_2\in S_n$ such that $g_1xg_2=y$, where multiplication is understood elementwise. Recently, [Tripathi, 2024] and [Kushwaha and Triathi, 2025] asked for the asymptotics of $T(n,k)$, the number of subsets of $S_n$ of size $k$ up to this equivalence. It is easy to see that $T(n,0)=T(n, 1)=1$ and $T(n, 2)=p(n)-1$, where $p(n)$ is the number of integer partitions of $n$. In this work, we show that $T(n,k) = Λ_n(k)(1+o_n(1))$ for $3\leq k\leq n!-3$, where $Λ_n(k)=\frac{1}{n!^2}\binom{n!}{k}$. Furthermore, we prove that $$\frac{1}{Λ_n(n!/2)}T\!\left(n,\left[\sqrt{\tfrac{n!}{4}}x+\tfrac{n!}{2}\right]\right) ~\xrightarrow{n\to\infty}~ \exp\!\left(-\tfrac{x^2}{2}\right),$$ uniformly over $\mathbb{R}$.
Hurwitz--Lerch Type Families of Poly-Bernoulli and Poly-Cauchy Numbers and Polynomials with Parameters $(α,a)$
This study introduces $(α,a)$-parameterized Hurwitz-Lerch type poly-Bernoulli and poly-Cauchy numbers and polynomials, extending classical sequences through the Hurwitz-Lerch zeta function. We derive generating functions, recurrences, and explicit formulas, revealing deeper structures and connections with zeta functions and polylogarithms. The results enrich existing theory and open new directions in analytic number theory and combinatorics.
Bounds on skew dimensions and characters of symmetric groups via thick hook decompositions
We bound the number of standard tableaux of skew shapes via thick hook decompositions in the Naruse hook length formula. Combining this with elementary counting arguments in the Murnaghan--Nakayama rule, we establish a uniform bound on characters of symmetric groups $\mathfrak{S}_n$. In the case of balanced representations, this improves on the character bounds of Féray and Śniady for permutations with support size at least $n^{2/3}$, and is sharp for permutations with support size of order $n$.
Unbounded degree spanning hypertrees in Dirac hypergraphs
In 2001, Komlós, Sárközy, and Szemerédi proved that every sufficiently large $n$-vertex graph with minimum degree at least $\left(1/2+γ\right)n$ contains all spanning trees with maximum degree at most $cn/\log n$. We extend this result to hypergraphs by considering loose hypertrees, which are linear hypergraphs obtained by successively adding edges that share exactly one vertex with a previous edge.
For all $k > \ell \geq 2$, we determine asymptotically optimal $\ell$-degree conditions that ensure the existence of all rooted spanning loose hypertrees, without any degree condition, in terms of the $(\ell-1)$-degree threshold for the existence of a perfect matching in $(k-1)$-graphs.
As a corollary, we also asymptotically determine the $\ell$-degree threshold for the existence of bounded degree spanning loose hypertrees in $k$-graphs for $k/2 < \ell < k$, confirming a conjecture of Pehova and Petrova in this range. In our proof, we avoid the use of Szemerédi's regularity lemma.
A decomposition of graph a-numbers
We study the $a$-sequence $(a_0(G), a_1(G), \cdots)$ of a finite simple graph $G$, defined recursively through a combinatorial rule and known to coincide with the sequence of rational Betti numbers of the real toric variety associated with $G$.
In this paper, we establish a combinatorial and topological decomposition formula for the $a$-sequence. As an application, we show that the $a$-sequence is monotone under graph inclusion; that is, $a_i(G) \geq a_i(H)$ for all $i \geq 0$ whenever $H$ is a subgraph of $G$, and obtain the lower and upper bounds of $a_i$-numbers. We also prove that the $a$-sequence is unimodal in $i$ for a broad class of graphs $G$, including those with a Hamiltonian circuit or a universal vertex. These results provide a new class of topological spaces whose Betti number sequences are unimodal but not necessarily log concave, contributing to the study of real loci in algebraic geometry.
On $P$-crucial square-free permutations
A permutation is square-free if it does not contain two consecutive factors of length two or more that are order-isomorphic. A square-free permutation of length $n$ is $P$-crucial, where $P$ is a subset of $\{0,1,\ldots,n\}$, if any of its extensions in any position from the set $P$ contains a square. In 2015, Gent, Kitaev, Konovalov, Linton and Nightingale initiated the study of $P$-crucial square-free permutations. In particular, they showed that $\{0,1,n-1,n\}$-crucial square-free permutations of length $n$, where $n\leq 22$, exist if and only if $n=17$ or $n=21$. In this work, we prove that for any $m\geq 2$ there exists a $\{0,1,8m+4,8m+5\}$-crucial square-free permutation of length $8m+5$.
Counting Graph Homomorphisms in Bipartite Settings
This paper studies the problem of counting homomorphisms from a bipartite source graph to a bipartite target graph. An exact formula is first derived for the number of homomorphisms from a complete bipartite graph into a general bipartite graph. While exact, this formula is typically computationally intensive to evaluate. To address this, computable combinatorial lower bounds are established. When the target graph contains no 4-cycles, the lower bound simplifies and becomes exact. Two additional lower bounds on the number of homomorphisms from a complete bipartite graph to an arbitrary bipartite graph are derived using properties of Shannon entropy. The first depends only on the sizes of the partite sets in the source and target graphs, along with the edge density of the target graph. The second further incorporates the degree profiles within the target's partite sets, yielding a strengthening of the first. Both entropy-based bounds improve upon the inequality implied by the validity of Sidorenko's conjecture for complete bipartite graphs. Lower bounds for complete bipartite sources are combined with new auxiliary results to derive general lower bounds on homomorphism counts between arbitrary bipartite graphs, while a known reverse Sidorenko inequality is employed to establish corresponding upper bounds. The upper bound is attained when the source is a disjoint union of complete bipartite graphs, and it admits a simple closed-form expression when the target contains no 4-cycles. Numerical results compare the proposed easy-to-compute bounds with exact counts in computationally tractable cases.
On the spectrum and energy of digraphs with self-loops
A digraph with self-loops $D_S$ with vertex set $\mathcal{V}$ is a simple digraph with a self-loop attached at every vertex in $S \subset \mathcal{V}.$ In this paper, we study the energy $E(D_S)$ of $D_S$ and its properties, which extend several classical results on simple directed graphs. If $D_1,...,D_k$ are the strong components of $D_S,$ we establish a necessary and sufficient conditions for $E(D_S) \leq \sum^k_{i=1} E(D_i),$ for which the strict inequality exists for $S\neq \emptyset.$ We also provide several bounds and characterizations for the energy and spectral radius of $D_S,$ including the McClelland type bound. Lastly, we propose a notion of the complement of $D_S$ and establish some formulae describing the relationship between the energy and spectrum of regular digraphs with their complement.
Optimal $χ$-boundness of $\ell$-holed graphs
A graph is {\em{$\ell$-holed}} if all of its induced cycles of length at least four have length exactly $\ell$. In the paper, we prove that if $G$ is an $\ell$-holed graph with odd $\ell\geq 7$, then $χ(G)\leq {\lceil {\ell \over {\ell-1}}ω(G) \rceil}$. This result is sharp.
Level-Rank Dualities for Finite Reductive Groups
This is an extended abstract of our work "Level-Rank Dualities from $Φ$-Cuspidal Pairs..." We present evidence for a family of surprising coincidences within the representation theory of a finite reductive group $G$: more precisely, dualities between blocks of cyclotomic Hecke algebras attached by Broué-Malle to $Φ$-cuspidal pairs of $G$, where the Hecke parameters are specialized not to the order of the underlying finite field, but to roots of unity. For the groups $G = \mathrm{GL}_n(\mathbf{F}_q)$, these coincidences can be expressed very concretely in terms of the combinatorics of partitions, and the whole story recovers an avatar of the level-rank duality studied by Frenkel, Uglov, Chuang-Miyachi, and others.
On the proportion of derangements in affine classical groups
We derive explicit formulas for the proportion of derangements and of derangements of $p$-power order in the affine unitary group $AU_m(q)$ over the finite field $\mathbb{F}_{q^2}$ of characteristic $p$. Both formulas rely on a result of independent interest concerning integer partitions: we obtain a generating function for partitions $λ=(λ_1, \dots, λ_m)$ into $m$ parts, for which $λ_1=1$ or there exists $k \in \{2, \dots,m\}$ such that $λ_{k-1}>λ_k=k$. Moreover, when $p$ is odd, we conjecture remarkably simple formulas for the proportions of derangements in the finite affine symplectic group $ASp_{2m}(q)$, and in the affine orthogonal groups $AO_{2m+1}(q)$ and $AO^{\pm}_{2m}(q)$, and we also propose conjectures for the proportions of derangements of $p$-power order. We further reduce the proofs of these conjectures to establishing three $q$-polynomial identities.
Spectral extrema of graphs forbidding a fan
For a graph $G$, its spectral radius is the largest eigenvalue of its adjacency matrix. A fan $H_{\ell}$ is a graph obtained by connecting a single vertex to all vertices of a path of order $\ell\geq4$. Let ${\rm SPEX(n,H_{\ell})}$ be the set of all extremal graphs $G$ of order $n$ with the maximum spectral radius, where $G$ contains no $H_{\ell}$ as a subgraph. In this paper, we completely characterized the graphs in ${\rm SPEX(n,H_{\ell})}$ for any $\ell\geq4$ and sufficiently large $n$. An interesting phenomenon was revealed: ${\rm SPEX(n,H_{2k+2})}\subseteq {\rm SPEX(n,H_{2k+3})}$ for any $k\geq1$ and sufficiently large $n$.
A generalization of an ear decomposition and k-trees in highly connected star-free graphs
In this paper, we introduce a generalized version of an ear decomposition, called a $j$-spider decomposition, for $j$-connected star-free graphs with $j \geq 2$. Its application enables us to improve a previousely known sufficient condition for the existence of a $k$-tree in highly connected star-free graphs, where a $k$-tree is a spanning tree in which every vertex is of degree at most $k$. More precisely, we show that every $j$-connected $K_{1,j(k-2)+2}$-free graph has a $k$-tree for $k\ge j$, thereby improving a classical result of Jackson and Wormald for $k\ge j$. Our approach differs from previous studies based on toughness-type arguments and instead relies on both a~$j$-spider decomposition and a factor theorem related to Hall's marriage theorem.
Finite 2-groups having a cyclic or dihedral maximal subgroup and arc-transitive maps
We classify all finite 2-groups that have a cyclic or dihedral maximal subgroup and determine their automorphism groups. Based on this result, we classify all pairs $ (G,\mathcal{M}) $, such that $ G $ is a finite 2-group and $ \mathcal{M} $ is a $ G $-arc-transitive map with Euler characteristic not being divisible by 4.
Generalized Turán results for disjoint copies of degenerate graphs
The generalized Turán number $\mathrm{ex}(n, H, F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. For an integer $t \geq 1$, let $tF$ be the vertex-disjoint union of $t$ copies of $F$. Gerbner, Methuku, and Vizer (2019) established an asymptotically sharp bound for $\mathrm{ex}(n,K_r,(t+1)K_{2,b})$. We extend their results in two directions by considering forbidden graphs $(t+1)K_{a,b}$ and $(t+1)C_{2k}$ and establish more precise matching upper and lower bounds of the same order of magnitude.