Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Number of partitions of n into parts not divisible by m
In this note, we obtain a formula which leads to a practical and efficient method to calculate the number of partitions of n into parts not divisible by m for given natural numbers n and m.
Repeated Averages on Graphs
Published
• View Publication
• BIB
Sourav Chatterjee, Persi Diaconis, Allan Sly and Lingfu Zhang, prompted by a question of Ramis Movassagh, renewed the study of a process proposed in the early 1980s by Jean Bourgain. A state vector $v \in \mathbb R^n$, labeled with the vertices of a connected graph, $G$, changes in discrete time steps following the simple rule that at each step a random edge $(i,j)$ is picked and $v_i$ and $v_j$ are both replaced by their average $(v_i+v_j)/2$. It is easy to see that the value associated with each vertex converges to $1/n$. The question was how quickly will $v$ be $ε$-close to uniform in the $L^{1}$ norm in the case of the complete graph, $K_{n}$, when $v$ is initialized as a standard basis vector that takes the value 1 on one coordinate, and zeros everywhere else. They have established a sharp cutoff of $\frac{1}{2\log 2}n\log n + O(n\sqrt{\log n})$. Our main result is to prove, that $\frac{(1-ε)}{2\log2}n\log n-O(n)$ is a general lower bound for all connected graphs on $n$ nodes. We also get sharp magnitude of $t_{ε,1}$ for several important families of graphs, including star, expander, dumbbell, and cycle. In order to establish our results we make several observations about the process, such as the worst case initialization is always a standard basis vector. Our results add to the body of work of Aldous, Aldous and Lanoue, Quattropani and Sau, Cao, Olshevsky and Tsitsiklis, and others. The renewed interest is due to an analogy to a question related to the Google's supremacy circuit. For the proof of our main theorem we employ a concept that we call 'augmented entropy function' which may find independent interest in the computer science and probability theory communities.
Cover time of graphs with bounded genus
The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all vertices of the graph. It is known that the cover time of any finite connected $n$-vertex graph is at least $(1 + o(1)) n \log n$ and at most $(1 + o(1)) \frac{4}{27} n^3$. By Jonasson and Schramm, the cover time of any bounded-degree finite connected $n$-vertex planar graph is at least $c n(\log n)^2$ and at most $6n^2$, where $c$ is a positive constant depending only on the maximal degree of the graph. In particular, the lower bound is established via the use of circle packing of planar graphs on the Riemann sphere. In this paper, we show that the cover time of any finite $n$-vertex graph $G$ with maximum degree $Δ$ on the compact Riemann surface $S$ of given genus $g$ is at least $c n(\log n)^2/ Δ(g + 1)$ and at most $(6 + o(1))n^2$, where $c$ is an absolute constant, if $n$ is sufficiently large and three sufficient conditions for $S$ and a circle packing of $G$ filling $S$.
Harmonic Centrality and Centralization of Some Graph Products
Published in Asian Research Journal of Mathematics, 18(5): 42-51, 2022; Article no.ARJOM.86514
• View Publication
• BIB
Harmonic centrality calculates the importance of a node in a network by adding the inverse of the geodesic distances of this node to all the other nodes. Harmonic centralization, on the other hand, is the graph-level centrality score based on the node-level harmonic centrality. In this paper, we present some results on both the harmonic centrality and harmonic centralization of graphs resulting from some graph products such as Cartesian and direct products of the path $P_2$ with any of the path $P_m$, cycle $C_m$, and fan $F_m$ graphs.
Chain enumeration, partition lattices and polynomials with only real roots
Published
• View Publication
• BIB
The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. The chain polynomials of the partition lattices and their standard type $B$ analogues are shown to have only real roots. The real-rootedness of the chain polynomial is conjectured for all geometric lattices and is shown to be preserved by the pyramid and the prism operations on Cohen--Macaulay posets. As a result, new families of convex polytopes whose face lattices have real-rooted chain polynomials are presented. An application to the face enumeration of the second barycentric subdivision of the boundary complex of the simplex is also included.
A System of Four simultaneous Recursions: Generalization of the Ledin-Shannon-Ollerton Identity
Published
• View Publication
• BIB
This paper further generalizes a recent result of Shannon and Ollerton who resurrected an old identity due to Ledin. This paper generalizes the Ledin-Shannon-Ollerton result to all the metallic sequences. The results give closed formulas for the sum of products of powers of the first $n$ integers with the first $n$ members of the metallic sequence. Three key innovations of this paper are i) reducing the proof of the generalization to the solution of a system of 4 simultaneous recursions; ii) use of the shift operation to prove equality of polynomials; and iii) new OEIS sequences arising from the coefficients of the four polynomial families satisfying the 4 simultaneous recursions.
Fixes of permutations acting on monotone Boolean functions
We present a few algorithms and methods to count fixes of permutations acting on monotone Boolean functions. Some of these methods was used by Pawelski \cite{P} to compute the number of inequivalent monotone Boolean functions with 8 variables.
Shellability of Polyhedral Joins of Simplicial Complexes and Its Application to Graph Theory
Published
• View Publication
• BIB
We investigate the shellability of the polyhedral join $\mathcal{Z}^*_M (K, L)$ of simplicial complexes $K, M$ and a subcomplex $L \subset K$. We give sufficient conditions and necessary conditions on $(K, L)$ for $\mathcal{Z}^*_M (K, L)$ being shellable. In particular, we show that for some pairs $(K, L)$, $\mathcal{Z}^*_M (K, L)$ becomes shellable regardless of whether $M$ is shellable or not. Polyhedral joins can be applied to graph theory as the independence complex of a certain generalized version of lexicographic products of graphs which we define in this paper. The graph obtained from two graphs $G, H$ by attaching one copy of $H$ to each vertex of $G$ is a special case of this generalized lexicographic product and we give a result on the shellability of the independence complex of this graph by applying the above results.
Newton polytope of good symmetric polynomials
Published in Comptes Rendus Mathématique, Volume 361 (2023), 767-775
• View Publication
• BIB
We introduce a general class of symmetric polynomials that have saturated Newton polytope and their Newton polytope has integer decomposition property. The class covers numerous previously studied symmetric polynomials.
Number of complete subgraphs of Peisert graphs and finite field hypergeometric functions
Published
• View Publication
• BIB
For a prime $p\equiv 3\pmod{4}$ and a positive integer $t$, let $q=p^{2t}$. Let $g$ be a primitive element of the finite field $\mathbb{F}_q$. The Peisert graph $P^\ast(q)$ is defined as the graph with vertex set $\mathbb{F}_q$ where $ab$ is an edge if and only if $a-b\in\langle g^4\rangle \cup g\langle g^4\rangle$. We provide a formula, in terms of finite field hypergeometric functions, for the number of complete subgraphs of order four contained in $P^\ast(q)$. We also give a new proof for the number of complete subgraphs of order three contained in $P^\ast(q)$ by evaluating certain character sums. The computations for the number of complete subgraphs of order four are quite tedious, so we further give an asymptotic result for the number of complete subgraphs of any order $m$ in Peisert graphs.
Turing machine interaction problem
The article introduces some ideas for solving special cases of the following problem, proposed in a somewhat generalized form by Marcus Hutter in 2000. Given two Turing machines $A$ and $C$, it is required to build a Turing machine $B$, such that after interacting of $A$ and $B$ on a shared tape for a fixed number of iterations, the machine $C$ outputs 1 on the communication protocol of $A$ and $B$. Details in the introduction.
Connected size Ramsey numbers of matchings versus a small path or cycle
Published
• View Publication
• BIB
Given two graphs $G_1, G_2$, the connected size Ramsey number ${\hat{r}}_c(G_1,G_2)$ is defined to be the minimum number of edges of a connected graph $G$, such that for any red-blue edge colouring of $G$, there is either a red copy of $G_1$ or a blue copy of $G_2$. Concentrating on ${\hat{r}}_c(nK_2,G_2)$ where $nK_2$ is a matching, we generalise and improve two previous results as follows. Vito, Nabila, Safitri, and Silaban obtained the exact values of ${\hat{r}}_c(nK_2,P_3)$ for $n=2,3,4$. We determine its exact values for all positive integers $n$. Rahadjeng, Baskoro, and Assiyatun proved that ${\hat{r}}_c(nK_2,C_4)\le 5n-1$ for $n\ge 4$. We improve the upper bound from $5n-1$ to $\lfloor (9n-1)/2 \rfloor$. In addition, we show a result which has the same flavour and has exact values: ${\hat{r}}_c(nK_2,C_3)=4n-1$ for all positive integers $n$.
Spectral radius and rainbow matchings of graphs
Published
• View Publication
• BIB
Let $n,m$ be integers such that $1\leq m\leq (n-2)/2$ and let $[n]=\{1,\ldots,n\}$. Let $\mathcal{G}=\{G_1,\ldots,G_{m+1}\}$ be a family of graphs on the same vertex set $[n]$. In this paper, we prove that if for any $i\in [m+1]$, the spectral radius of $G_i$ is not less than $\max\{2m,\frac{1}{2}(m-1+\sqrt{(m-1)^2+4m(n-m)})\}$, then $\mathcal{G}$ admits a rainbow matching, i.e. a choice of disjoint edges $e_i\in G_i$, unless $G_1=G_2=\ldots=G_{m+1}$ and $G_1\in \{K_{2m+1}\cup (n-2m-1)K_1, K_m\vee (n-m)K_1\}$.
The general position avoidance game and hardness of general position games
Given a graph $G$, a set $S$ of vertices in $G$ is a general position set if no triple of vertices from $S$ lie on a common shortest path in $G$. The general position achievement/avoidance game is played on a graph $G$ by players A and B who alternately select vertices of $G$. A selection of a vertex by a player is a legal move if it has not been selected before and the set of selected vertices so far forms a general position set of $G$. The player who picks the last vertex is the winner in the general position achievement game and is the loser in the avoidance game. In this paper, we prove that the general position achievement/avoidance games are PSPACE-complete even on graphs with diameter at most 4. For this, we prove that the \textit{misère} play of the classical Node Kayles game is also PSPACE-complete. As positive results, we obtain linear time algorithms to decide the winning player of the general position avoidance game in rook's graphs, grids, cylinders, and lexicographic products with complete second factors.
Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle
In this paper, we investigate the total coefficient size of Nullstellensatz proofs. We show that Nullstellensatz proofs of the pigeonhole principle on $n$ pigeons require total coefficient size $2^{Ω(n)}$ and that there exist Nullstellensatz proofs of the ordering principle on $n$ elements with total coefficient size $2^n - n$.
On Zagreb index, signless Laplacian eigenvalues and signless Laplacian energy of a graph
Published
• View Publication
• BIB
Let $G$ be a simple graph with order $n$ and size $m$. The quantity $M_1(G)=\displaystyle\sum_{i=1}^{n}d^2_{v_i}$ is called the first Zagreb index of $G$, where $d_{v_i}$ is the degree of vertex $v_i$, for all $i=1,2,\dots,n$. The signless Laplacian matrix of a graph $G$ is $Q(G)=D(G)+A(G)$, where $A(G)$ and $D(G)$ denote, respectively, the adjacency and the diagonal matrix of the vertex degrees of $G$. Let $q_1\geq q_2\geq \dots\geq q_n\geq 0$ be the signless Laplacian eigenvalues of $G$. The largest signless Laplacian eigenvalue $q_1$ is called the signless Laplacian spectral radius or $Q$-index of $G$ and is denoted by $q(G)$. Let $S^+_k(G)=\displaystyle\sum_{i=1}^{k}q_i$ and $L_k(G)=\displaystyle\sum_{i=0}^{k-1}q_{n-i}$, where $1\leq k\leq n$, respectively denote the sum of $k$ largest and smallest signless Laplacian eigenvalues of $G$. The signless Laplacian energy of $G$ is defined as $QE(G)=\displaystyle\sum_{i=1}^{n}|q_i-\overline{d}|$, where $\overline{d}=\frac{2m}{n}$ is the average vertex degree of $G$. In this article, we obtain upper bounds for the first Zagreb index $M_1(G)$ and show that each bound is best possible. Using these bounds, we obtain several upper bounds for the graph invariant $S^+_k(G)$ and characterize the extremal cases. As a consequence, we find upper bounds for the $Q$-index and lower bounds for the graph invariant $L_k(G)$ in terms of various graph parameters and determine the extremal cases. As an application, we obtain upper bounds for the signless Laplacian energy of a graph and characterize the extremal cases.
Bounds for the diameters of orbital graphs of affine groups
General bounds are presented for the diameters of orbital graphs of finite affine primitive permutation groups. For example, it is proved that the orbital diameter of a finite affine primitive permutation group with a nontrivial point stabilizer $ H \leq \mathrm{GL}(V) $, where the vector space $ V $ has dimension $ d $ over the prime field, can be bounded in terms of $ d $ and $ \log |V| / \log |H| $ only. Several infinite families of affine primitive permutation groups with large orbital diameter are constructed. The results are independent from the classification of finite simple groups.
Decompositions of Unit Hypercubes and the Reversion of a Generalized Möbius Series
Published
• View Publication
• BIB
Let $s_d(n)$ be the number of distinct decompositions of the $d$-dimensional hypercube with $n$ rectangular regions that can be obtained via a sequence of splitting operations. We prove that the generating series $y = \sum_{n \geq 1} s_d(n)x^n$ satisfies the functional equation $x = \sum_{n\geq 1} μ_d(n)y^n$, where $μ_d(n)$ is the $d$-fold Dirichlet convolution of the Möbius function. This generalizes a recent result by Goulden et al., and shows that $s_1(n)$ also gives the number of natural exact covering systems of $\mZ$ with $n$ residual classes. We also prove an asymptotic formula for $s_d(n)$ and describe a bijection between $1$-dimensional decompositions and natural exact covering systems.
Extensions and variations of Andrews-Merca identities
Published
• View Publication
• BIB
Recently, Andrews and Merca have given a new combinatorial interpretation of the total number of even parts in all partitions of n into distinct parts. We generalise this result and consider many more variations of their work. We also highlight some connections with the work of Fu and Tang.
Extremal trees of given degree sequence or segment sequence with respect to Steiner 3-eccentricity
Published
• View Publication
• BIB
The Steiner $k$-eccentricity of a vertex in graph $G$ is the maximum Steiner distance over all $k$-subsets containing the vertex. %Some general properties of the Steiner 3-eccentricity of trees are given. Let $\mathbb{T}_n$ be the set of all $n$-vertex trees, $\mathbb{T}_{n,Δ}$ be the set of $n$-vertex trees with given maximum degree equal to $Δ$, $\mathbb{T}_n^k$ be the set of $n$-vertex trees with exactly $k$ vertices of maximum degree, and let $\mathbb{T}_{n,Δ}^k$ be the set of $n$-vertex trees with exactly $k$ vertices of given maximum degree equal to $Δ.$ In this paper, we first determine the sharp upper bound on the average Steiner 3-eccentricity of $n$-vertex trees with given degree sequence. The corresponding extremal graph is characterized. Consequently, together with majorization theory, the unique graph among $\mathbb{T}_n$ (resp. $\mathbb{T}_{n,Δ}$, $\mathbb{T}_n^k, \mathbb{T}_{n,Δ}^k$) having the maximum average Steiner 3-eccentricity is identified. Then we characterize the unique $n$-vertex tree with given segment sequence having the largest average Steiner 3-eccentricity. Similarly, the $n$-vertex tree with given number of segments having the largest average Steiner 3-eccentricity is determined.