Searcharxiv⌕ Search

arXiv · 2610.11446

On the local average order of dominating sets

Abstract

The (global) average order of dominating sets of a graph is the average number of vertices of its dominating sets. Analogously, the local average order of dominating sets is the average number of vertices of its dominating sets containing a fixed vertex. In this paper, we show that the local average order of dominating sets of a graph with $n$ vertices is at least $\frac{n+1}{2}$, with equality if and only if the degree of the fixed vertex is $n-1$. Furthermore, for a graph on $n$ vertices without isolated vertices, we show that $\frac{5n-1}{6}$ is an upper bound for the local average order of dominating sets. Additionally, we give a proof of an exact formula for the local average order of dominating sets when the degree of the fixed vertex is $n-2$, and determine an upper bound for the local average order of dominating sets when the fixed vertex is an $l$-stem ($l \geq 2$).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tingyun Chen, Weihua He, Hong-Jian Lai, Jianping Li. 2026-10-08. On the local average order of dominating sets. https://arxiv.org/abs/2610.11446

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Partitioning perfect graphs into comparability graphs

We study how many comparability subgraphs are needed to partition the edge set of a perfect graph. We show that many classes of perfect graphs can be partitioned into (at most) two comparability subgraphs and this holds for almost all perfect graphs. On the other hand, we prove that for interval graphs an arbitrarily large number of comparability subgraphs might be necessary.

math.CO↗

On the homogeneity problem of the Kazhdan-Lusztig ideals

In this paper, our purpose is to find some techniques to identify inhomogeneous Kazhdan-Lusztig ideals. A set of generators of a Kazhdan-Lusztig ideal corresponds to some minors in some southwest submatrices inside some ambient matrix. We have defined a notion called a path inside a square matrix as a tool to work with determinants of the above mentioned minors. Using paths, we derive necessary and sufficient conditions for when such minors are inhomogeneous, singular, non-singular, and when there is divisibility between two terms of two such distinct minors. As a conclusion, we first provide an algorithm through which we can identify some sufficient conditions for a Kazhdan-Lusztig ideal to be inhomogeneous (by utilizing all the above mentioned results). Secondly, we provide certain sufficient conditions for a Kazhdan-Lusztig ideal to be standard homogeneous, and then we also prove that under certain assumptions, these conditions are also necessary for a Kazhdan-Lusztig ideal to be standard homogeneous.

math.CO↗

Random Permutation Matrices Form a Basis with High Probability

Let $d=(n-1)^2+1$, the dimension of the real linear span of the $n\times n$ permutation matrices. We prove that $d$ independent uniformly random permutation matrices fail to form a basis with probability $(1+o(1))n^2(1-1/n)^d=(e^{3/2}+o(1))n^2e^{-n}$. The same asymptotic holds for a uniformly random $d$-element subset, confirming a conjecture of Kushwaha and Tripathi and identifying the leading obstruction: a matrix position avoided by every sample. More generally, for any fixed number of additional samples, we determine the first three exponential orders of the failure probability. To prove these results, we develop support estimates valid over arbitrary fields, derive Fourier bounds from permanental minors, and introduce a counting argument for concentrated assignment functionals over large prime fields. We also give a sparse lifting argument showing that real rank deficiency without an annihilating functional of small support has probability $o(e^{-Cn})$ for every fixed $C>0$.

math.CO↗