Showing 20 papers (Total: 84253 papers, 48533 authors in database)
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.
A combinatorial description of shape theory
Published
• View Publication
• BIB
We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse sequences of finite spaces and prove some properties.
On the characterization of Eulerian $es$-splitting $p$-matroids
Published
• View Publication
• BIB
The $es$-splitting operation on binary bridge-less matroids never produces an Eulerian matroid. But for matroids representable over $GF(p),(p>2),$ called $p$-matroids, the $es$-splitting operation may yield Eulerian matroids. In this work, we introduce the $es$-splitting operation for $p$-matroids and characterize a class of $p$-matroids yielding Eulerian matroids after the $es$-splitting operation. Characterization of circuits, and bases of the resulting matroid, after the $es$-splitting operation, in terms of circuits, and bases of the original matroid, respectively, are discussed. We also proved that the $es$-splitting operation on $p$-matroids preserves connectivity and 3-connectedness. Sufficient condition to obtain Hamiltonian $p$-matroid from Hamiltonian $p$-matroid under $es$-splitting operation is also provided.
A Cyclic Analogue of Stanley's Shuffle Theorem
Published
• View Publication
• BIB
We introduce the cyclic major index of a cycle permutation and give a bivariate analogue of enumerative formula for the cyclic shuffles with a given cyclic descent numbers due to Adin, Gessel, Reiner and Roichman, which can be viewed as a cyclic analogue of Stanley's Shuffle Theorem. This gives an answer to a question of Adin, Gessel, Reiner and Roichman, which has been posed by Domagalski, Liang, Minnich, Sagan, Schmidt and Sietsema again.
K-color region select game
Published
• View Publication
• BIB
The region select game, introduced by Ayaka Shimizu, Akio Kawauchi and Kengo Kishimoto, is a game that is played on knot diagrams whose crossings are endowed with two colors. The game is based on the region crossing change moves that induce an unknotting operation on knot diagrams. We generalize the region select game to be played on a knot diagram endowed with $k$-colors at its vertices for $2 \leq k \leq \infty$.
On certain classes of rectangular designs
Published
• View Publication
• BIB
Rectangular designs are classified as regular, Latin regular, semiregular, Latin semiregular and singular designs. Some series of selfdual as well as alpharesolvable designs are obtained using matrix approaches which belong to the above classes. In every construction we obtain a matrix N whose blocks are square (0,1) matrices such that N becomes the incidence matrix of a rectangular design. The method is the reverse of the well known tactical decomposition of the incidence matrix of a known design. Authors have already obtained some series of Group Divisible and Latin square designs using this method. Tactical decomposable designs are of great interest because of their connections with automorphisms of designs, see Bekar et al. (1982). The rectangular designs constructed here are of statistical as well as combinatorial interest.