Showing 20 papers (Total: 82851 papers, 47869 authors in database)
$R(5,5) \le 48$
We improve the upper bound on the Ramsey number $R(5,5)$ from $R(5,5) \le 49$ to $R(5,5) \le 48$. We also complete the catalogue of extremal graphs for $R(4,5)$.
Steiner Point Removal --- Distant Terminals Don't (Really) Bother
Published
• View Publication
• BIB
Given a weighted graph $G=(V,E,w)$ with a set of $k$ terminals $T\subset V$, the Steiner Point Removal problem seeks for a minor of the graph with vertex set $T$, such that the distance between every pair of terminals is preserved within a small multiplicative distortion. Kamma, Krauthgamer and Nguyen (SODA 2014, SICOMP 2015) used a ball-growing algorithm to show that the distortion is at most $\mathcal{O}(\log^5 k)$ for general graphs.
In this paper, we improve the distortion bound to $\mathcal{O}(\log^2 k)$. The improvement is achieved based on a known algorithm that constructs terminal-distance exact-preservation minor with $\mathcal{O}(k^4)$ (which is independent of $|V|$) vertices, and also two tail bounds on the sum of independent exponential random variables, which allow us to show that it is unlikely for a non-terminal being contracted to a distant terminal.
Counting faces of nestohedra
A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set $B$ is described as a morphism from the certain combinatorial Hopf algebra of building sets to quasisymmetric functions. We define the $q$-analog $F_q(P_B)$ and derive its determining recurrence relations. The $f$-polynomial of the nestohedron $P_B$ appears as the principal specialization of the quasisymmetric function $F_q(P_B)$.
On connectedness of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the components of proper power graphs of $p$-groups are studied. In particular, the number of components of that of abelian $p$-groups are determined.
On the number of geodesics of Petersen graph $GP(n,2)$
In any network, the interconnection of nodes by means of geodesics and the number of geodesics existing between nodes are important. There exists a class of centrality measures based on the number of geodesics passing through a vertex. Betweenness centrality indicates the betweenness of a vertex or how often a vertex appears on geodesics between other vertices. It has wide applications in the analysis of networks. Consider $GP(n,k)$. For each $n$ and $k \,(n > 2k)$, the generalized Petersen graph $GP ( n , k )$ is a trivalent graph with vertex set $\{ u_ i ,\, v_ i \,|\, 0 \leq i \leq n - 1 \}$ and edge set $\{ u_ i u_ {i + 1} , u_ i v _i , v_ i v_{ i + k}\, |\, 0\leq i \leq n - 1, \hbox{ subscripts reduced modulo } n \}$. There are three kinds of edges namely outer edges, spokes and inner edges. The outer vertices generate an $n$-cycle called outer cycle and inner vertices generate one or more inner cycles. In this paper, we consider $GP(n,2)$ and find expressions for the number of geodesics and betweenness centrality.
An explicit determination of the $K$-theoretic structure constants of the affine Grassmannian associated to $SL_2$
Let $G:=\widehat{SL_2}$ denote the affine Kac-Moody group associated to $SL_2$ and $\bar{\mathcal{X}}$ the associated affine Grassmannian. We determine an inductive formula for the Schubert basis structure constants in the torus-equivariant Grothendieck group of $\bar{\mathcal{X}}$. In the case of ordinary (non-equivariant) $K$-theory we find an explicit closed form for the structure constants. We also determine an inductive formula for the structure constants in the torus-equivariant cohomology ring, and use this formula to find closed forms for some of the structure constants.
Perfect codes in circulant graphs
Published in Discrete Mathematics 340 (2017) 1522-1527
• View Publication
• BIB
A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ that is an independent set such that every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A total perfect code in $Γ$ is a subset $C$ of $V$ such that every vertex of $V$ is adjacent to exactly one vertex in $C$. A perfect code in the Hamming graph $H(n, q)$ agrees with a $q$-ary perfect 1-code of length $n$ in the classical setting. In this paper we give a necessary and sufficient condition for a circulant graph of degree $p-1$ to admit a perfect code, where $p$ is an odd prime. We also obtain a necessary and sufficient condition for a circulant graph of order $n$ and degree $p^l-1$ to have a perfect code, where $p$ is a prime and $p^l$ the largest power of $p$ dividing $n$. Similar results for total perfect codes are also obtained in the paper.
Peterson Isomorphism in $K$-theory and Relativistic Toda Lattice
Published
• View Publication
• BIB
The $K$-homology ring of the affine Grassmannian of $SL_n(C)$ was studied by Lam, Schilling, and Shimozono. It is realized as a certain concrete Hopf subring of the ring of symmetric functions. On the other hand, for the quantum $K$-theory of the flag variety $Fl_n$, Kirillov and Maeno provided a conjectural presentation based on the results obtained by Givental and Lee. We construct an explicit birational morphism between the spectrums of these two rings. Our method relies on Ruijsenaars's relativistic Toda lattice with unipotent initial condition. From this result, we obtain a $K$-theory analogue of the so-called Peterson isomorphism for (co)homology. We provide a conjecture on the detailed relationship between the Schubert bases, and, in particular, we determine the image of Lenart--Maeno's quantum Grothendieck polynomial associated with a Grassmannian permutation.
On the $h$-vector of ($S_r$) simplicial complexes
Published
• View Publication
• BIB
We give a negative answer to a question proposed in [3], regarding the $h$-vector of ($S_r$) simplicial complexes.
The (theta, wheel)-free graphs Part II: structure theorem
Published in Journal of Combinatorial Theory, Series B, Volume 143, 2020, Pages 148-184
• View Publication
• BIB
A theta is a graph formed by three paths between the same pair of distinct vertices so that the union of any two of the paths induces a hole. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this paper we obtain a decomposition theorem for the class of graphs that do not contain an induced subgraph isomorphic to a theta or a wheel, i.e. the class of (theta, wheel)-free graphs. The decomposition theorem uses clique cutsets and 2-joins. Clique cutsets are vertex cutsets that work really well in decomposition based algorithms, but are unfortunately not general enough to decompose more complex hereditary graph classes. A 2-join is an edge cutset that appeared in decomposition theorems of several complex classes, such as perfect graphs, even-hole-free graphs and others. In these decomposition theorems 2-joins are used together with vertex cutsets that are more general than clique cutsets, such as star cutsets and their generalizations (which are much harder to use in algorithms). This is a first example of a decomposition theorem that uses just the combination of clique cutsets and 2-joins. This has several consequences. First, we can easily transform our decomposition theorem into a complete structure theorem for (theta, wheel)-free graphs, i.e. we show how every (theta, wheel)-free graph can be built starting from basic graphs that can be explicitly constructed, and gluing them together by prescribed composition operations; and all graphs built this way are (theta, wheel)-free. Such structure theorems are very rare for hereditary graph classes, only a few examples are known. Secondly, we obtain an $\mathcal O (n^4m)$-time decomposition based recognition algorithm for (theta, wheel)-free graphs. Finally, in Parts III and IV of this series, we give further applications of our decomposition theorem.
On Completely Regular Codes
Published
• View Publication
• BIB
This work is a survey on completely regular codes. Known properties, relations with other combinatorial structures and constructions are stated. The existence problem is also discussed and known results for some particular cases are established. In particular, we present a few new results on completely regular codes with covering radius 2 and on extended completely regular codes.
A new upper bound for subspace codes
It is shown that the maximum size $A_2(8,6;4)$ of a binary subspace code of packet length $v=8$, minimum subspace distance $d=4$, and constant dimension $k=4$ is at most $272$. In Finite Geometry terms, the maximum number of solids in $\operatorname{PG}(7,2)$, mutually intersecting in at most a point, is at most $272$. Previously, the best known upper bound $A_2(8,6;4)\le 289$ was implied by the Johnson bound and the maximum size $A_2(7,6;3)=17$ of partial plane spreads in $\operatorname{PG}(6,2)$. The result was obtained by combining the classification of subspace codes with parameters $(7,17,6;3)_2$ and $(7,34,5;\{3,4\})_2$ with integer linear programming techniques. The classification of $(7,33,5;\{3,4\})_2$ subspace codes is obtained as a byproduct.
On well-covered Cartesian products
Published
• View Publication
• BIB
In 1970, Plummer defined a well-covered graph to be a graph $G$ in which all maximal independent sets are in fact maximum. Later Hartnell and Rall showed that if the Cartesian product $G \Box H$ is well-covered, then at least one of $G$ or $H$ is well-covered. In this paper, we consider the problem of classifying all well-covered Cartesian products. In particular, we show that if the Cartesian product of two nontrivial, connected graphs of girth at least $4$ is well-covered, then at least one of the graphs is $K_2$. Moreover, we show that $K_2 \Box K_2$ and $C_5 \Box K_2$ are the only well-covered Cartesian products of nontrivial, connected graphs of girth at least $5$.
The spectral determinations of the multicone graphs Kw+mCn
The main goal of the paper is to characterize new classes of multicone graphs which are determined by both adjacency and Laplacian spectra. A multicone graph is defined to be the join of a clique and a regular graph. A wheel graph obtained from the join of a complete graph on a vertex with a cycle. A question about when wheel graphs are determined by their adjacency spectra is still unsolved. So, any indication about the determinations of these graphs with respect to their adjacency spectra can be an interesting and important problem. In [Y. Zhang, X. Liu, and X. Yong: Which wheel graphs are determined by their Laplacian spectra?. Comput. Math. Appl., 58 (2009) 1887{1890] and [M.-H. Liu: Some graphs determined by their (signless) Laplacian spectra. Czech. Math. J., 62, (2012) 1117{1134] it have been shown that except for, the wheel graph of order seven, all wheel graphs are determined by their Laplacian spectra and wheel graphs are determined by their signless Laplacian spectra, respectively. In this study, we present new classes of connected multicone graphs which are a natural generalization of wheel graphs and we show that these graphs are determined by their adjacency spectra as well as their Laplacian spectra. Also, we show that complement of some of these graphs are determined by their adjacency spectra. In addition, we give a necessary and sufficient condition for perfecting graphs cospectral with presented graphs in the paper. Finally, we pose two problems for further work.
Roller Coaster Permutations and Partition Numbers
This paper explores the partition properties of roller coaster permutations, a class of permutations characterized by maximizing the number of alternating runs in all subsequences. We establish a connection between the structure of these permutations and their partition numbers, defined as the minimum number of monotonic subsequences required to cover the permutation. Our main result provides a theoretical upper bound for the partition number of a roller coaster permutation of length $n$, given by $P_{max}(n) \le \lfloor\frac{\lceil\frac{n-2}{2}\rceil}{2}\rfloor + 2$. We further present experimental data for $n < 15$ that suggests this bound is nearly sharp.
Digraphs with degree two and excess two are diregular
Published
• View Publication
• BIB
A $k$-geodetic digraph with minimum out-degree $d$ has excess $ε$ if it has order $M(d,k) + ε$, where $M(d,k)$ represents the Moore bound for out-degree $d$ and diameter $k$. For given $ε$, it is simple to show that any such digraph must be out-regular with degree $d$ for sufficiently large $d$ and $k$. However, proving in-regularity is in general non-trivial. It has recently been shown that any digraph with excess $ε= 1$ must be diregular. In this paper we prove that digraphs with minimum out-degree $d = 2$ and excess $ε= 2$ are diregular for $k \geq 2$.
Continued fractions for permutation statistics
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (June 25, 2018) dmtcs:3225
• View Publication
• BIB
We explore a bijection between permutations and colored Motzkin paths that has been used in different forms by Foata and Zeilberger, Biane, and Corteel. By giving a visual representation of this bijection in terms of so-called cycle diagrams, we find simple translations of some statistics on permutations (and subsets of permutations) into statistics on colored Motzkin paths, which are amenable to the use of continued fractions. We obtain new enumeration formulas for subsets of permutations with respect to fixed points, excedances, double excedances, cycles, and inversions. In particular, we prove that cyclic permutations whose excedances are increasing are counted by the Bell numbers.
Projective divisible binary codes
For which positive integers $n,k,r$ does there exist a linear $[n,k]$ code $C$ over $\mathbb{F}_q$ with all codeword weights divisible by $q^r$ and such that the columns of a generating matrix of $C$ are projectively distinct? The motivation for studying this problem comes from the theory of partial spreads, or subspace codes with the highest possible minimum distance, since the set of holes of a partial spread of $r$-flats in $\operatorname{PG}(v-1,\mathbb{F}_q)$ corresponds to a $q^r$-divisible code with $k\leq v$. In this paper we provide an introduction to this problem and report on new results for $q=2$.
Arc-transitive cyclic and dihedral covers of pentavalent symmetric graphs of order twice a prime
Published
• View Publication
• BIB
A regular cover of a connected graph is called {\em cyclic} or {\em dihedral} if its transformation group is cyclic or dihedral respectively, and {\em arc-transitive} (or {\em symmetric}) if the fibre-preserving automorphism subgroup acts arc-transitively on the regular cover. In this paper, we give a classification of arc-transitive cyclic and dihedral covers of a connected pentavalent symmetric graph of order twice a prime. All those covers are explicitly constructed as Cayley graphs on some groups, and their full automorphism groups are determined.
Hyper Zagreb Index of Bridge and Chain Grpahs
Published
• View Publication
• BIB
Let G be a simple connected molecular graph with vertex set $V(G)$ and edge set $E(G)$. One important modification of classical Zagreb index, called hyper Zagreb index $HM(G)$ is defined as the sum of squares of the degree sum of the adjacent vertices, that is, sum of the terms $[{d_G}(u)+{d_G}(v)]^2$ over all the edges of $G$, where ${d_G}(u)$ denote the degree of the vertex $u$ of $G$. In this paper, the hyper Zagreb index of certain bridge and chain graphs are computed and hence using the derived results we compute the hyper Zagreb index of several classes of chemical graphs and nanostructures.