Showing 20 papers (Total: 84253 papers, 48533 authors in database)
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.
Combinatorial Ricci curvature on cell-complex and Gauss-Bonnnet Theorem
Published
• View Publication
• BIB
In this paper we present the Ricci curvature on cell-complexes and show the Gauss-Bonnnet type theorem on graphs and 2-complex that decomposes closed surface. The defferential forms on a cell complex is defined as linear maps on chain complex, and Laplacian operates this defferential forms. Then we construct the Bochner-Weitzenböck formula and define the Ricci curvature. This curvature is determined by the combinatorial calculation. We show also the properties of combinatorial vector fields on a cell complex
A bijective proof of the hook-length formula for skew shapes
Published
• View Publication
• BIB
Recently, Naruse presented a beautiful cancellation-free hook-length formula for skew shapes. The formula involves a sum over objects called excited diagrams, and the term corresponding to each excited diagram has hook lengths in the denominator, like the classical hook-length formula due to Frame, Robinson and Thrall. In this paper, we present a simple bijection that proves an equivalent recursive version of Naruse's result, in the same way that the celebrated hook-walk proof due to Green, Nijenhuis and Wilf gives a bijective (or probabilistic) proof of the hook-length formula for ordinary shapes. In particular, we also give a new bijective proof of the classical hook-length formula, quite different from the known proofs.
Moments of the Hermitian Matrix Jacobi process
Published
• View Publication
• BIB
In this paper, we compute the expectation of traces of powers of the hermitian matrix Jacobi process for a large enough but fixed size. To proceed, we first derive the semi-group density of its eigenvalues process as a bilinear series of symmetric Jacobi polynomials. Next, we use the expansion of power sums in the Schur polynomial basis and the integral Cauchy-Binet formula in order to determine the partitions having non zero contributions after integration. It turns out that these are hooks of bounded weight and the sought expectation results from the integral of a product of two Schur functions with respect to a generalized Beta distribution. For special values of the parameters on which the matrix Jacobi process depends, the last integral reduces to the Cauchy determinant and we close the paper with the investigation of the asymptotic behavior of the resulting formula as the matrix size tends to infinity.
Constant Threshold Intersection Graphs of Orthodox Paths in Trees
Published
• View Publication
• BIB
A graph $G$ belongs to the class ${\rm ORTH}[h,s,t]$ for integers $h$, $s$, and $t$ if there is a pair $(T,{\cal S})$, where $T$ is a tree of maximum degree at most $h$, and ${\cal S}$ is a collection $(S_u)_{u\in V(G)}$ of subtrees $S_u$ of maximum degree at most $s$ of $T$, one for each vertex $u$ of $G$, such that, for every vertex $u$ of $G$, all leaves of $S_u$ are also leaves of $T$, and, for every two distinct vertices $u$ and $v$ of $G$, the following three properties are equivalent:
(i) $u$ and $v$ are adjacent.
(ii) $S_u$ and $S_v$ have at least $t$ vertices in common.
(iii) $S_u$ and $S_v$ share a leaf of $T$.
The class ${\rm ORTH}[h,s,t]$ was introduced by Jamison and Mulder.
Here we focus on the case $s=2$, which is closely related to the well-known VPT and EPT graphs. We collect general properties of the graphs in ${\rm ORTH}[h,2,t]$, and provide a characterization in terms of tree layouts. Answering a question posed by Golumbic, Lipshteyn, and Stern, we show that ${\rm ORTH}[h+1,2,t]\setminus {\rm ORTH}[h,2,t]$ is non-empty for every $h\geq 3$ and $t\geq 3$. We derive decomposition properties, which lead to efficient recognition algorithms for the graphs in ${\rm ORTH}[h,2,2]$ for every $h\geq 3$. Finally, we give a complete description of the graphs in ${\rm ORTH}[3,2,2]$, and show that the graphs in ${\rm ORTH}[3,2,3]$ are line graphs of planar graphs.
Partitions of multigraphs under degree constraints
Published
• View Publication
• BIB
In 1996, Michael Stiebitz proved that if $G$ is a simple graph with $δ(G)\geq s+t+1$ and $s,t\in \mathbb{Z}_{\geq 0}$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. In 2016, Amir Ban proved a similar result for weighted graphs. Let $G$ be a simple graph with at least two vertices, let $w:E(G) \to \mathbb{r}_{>0}$ be a weight function, let $s,t \in \mathbb{R}_{\geq 0}$, and let $W=\max_{e\in E(G)} w(e)$. If $δ(G)\geq s+t+2W$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. This motivated us to consider this partition problem for multigraphs, or equivalently for weighted graphs $(G,w)$ with $w:E(G) \to \mathbb{Z}_{\geq 1}$. We prove that if $s,t\in \mathbb{z}_{\geq 0}$ and $δ(G)\geq s+t+2W-1\geq 1$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. We also prove a variable version of this result and show that for $K_4^-$-free graphs, the bound on the minimum degree can be decreased.
Digraphs with at most one trivial critical ideal
Published
• View Publication
• BIB
Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.
A finite simple group is CCA if and only if it has no element of order four
Published
• View Publication
• BIB
A Cayley graph for a group $G$ is CCA if every automorphism of the graph that preserves the edge-orbits under the regular representation of $G$ is an element of the normaliser of $G$. A group $G$ is then said to be CCA if every connected Cayley graph on $G$ is CCA. We show that a finite simple group is CCA if and only if it has no element of order 4. We also show that "many" 2-groups are non-CCA.
Polynomial expressions of $p$-ary auction functions
Published
• View Publication
• BIB
Let $\mathbb{F}_p$ be the finite field of prime order $p$. For any function $f \colon \mathbb{F}_p{}^n \to \mathbb{F}_p$, there exists a unique polynomial over $\mathbb{F}_p$ having degree at most $p-1$ with respect to each variable which coincides with $f$. We call it the minimal polynomial of $f$. It is in general a non-trivial task to find a concrete expression of the minimal polynomial of a given function, which has only been worked out for limited classes of functions in the literature. In this paper, we study minimal polynomial expressions of several functions that are closely related to some practically important procedures such as auction and voting.
Synchronizing non-deterministic finite automata
In this paper, we show that every D3-directing CNFA can be mapped uniquely to a DFA with the same synchronizing word length. This implies that Černý's conjecture generalizes to CNFAs and that the general upper bound for the length of a shortest D3-directing word is equal to the Pin-Frankl bound for DFAs. As a second consequence, for several classes of CNFAs sharper bounds are established. Finally, our results allow us to detect all critical CNFAs on at most 6 states. It turns out that only very few critical CNFAs exist.
A proof of the Erdős-Sands-Sauer-Woodrow conjecture
Published
• View Publication
• BIB
A very nice result of Bárány and Lehel asserts that every finite subset $X$ or $\mathbb R^d$ can be covered by $f(d)$ $X$-boxes (i.e. each box has two antipodal points in $X$). As shown by Gyárfás and Pálvőlgyi this result would follow from the following conjecture : If a tournament admits a partition of its arc set into $k$ quasi orders, then its domination number is bounded in terms of $k$. This question is in turn implied by the Erdős-Sands-Sauer-Woodrow conjecture : If the arcs of a tournament $T$ are colored with $k$ colors, there is a set $X$ of at most $g(k)$ vertices such that for every vertex $v$ of $T$, there is a monochromatic path from $X$ to $v$. We give a short proof of this statement. We moreover show that the general Sands-Sauer-Woodrow conjecture (which as a special case implies the stable marriage theorem) is valid for directed graphs with bounded stability number. This conjecture remains however open.
Forcing clique immersions through chromatic number
Published
• View Publication
• BIB
Building on recent work of Dvořák and Yepremyan, we show that every simple graph of minimum degree $7t+7$ contains $K_t$ as an immersion and that every graph with chromatic number at least $3.54t + 4$ contains $K_t$ as an immersion. We also show that every graph on $n$ vertices with no stable set of size three contains $K_{2\lfloor n/5 \rfloor}$ as an immersion.
GUE corners limit of q-distributed lozenge tilings
Published
• View Publication
• BIB
We study asymptotics of $q$-distributed random lozenge tilings of sawtooth domains (equivalently, of random interlacing integer arrays with fixed top row). Under the distribution we consider each tiling is weighted proportionally to $q^{\mathsf{vol}}$, where $\mathsf{vol}$ is the volume under the corresponding 3D stepped surface. We prove the following Interlacing Central Limit Theorem: as $q\rightarrow1$, the domain gets large, and the fixed top row approximates a given nonrandom profile, the vertical lozenges are distributed as the eigenvalues of a GUE random matrix and of its successive principal corners. Our results extend the GUE corners asymptotics for tilings of bounded polygonal domains previously known in the uniform (i.e., $q=1$) case. Even though $q$ goes to $1$, the presence of the $q$-weighting affects non-universal constants in our Central Limit Theorem.
Enumeration of artitions with prescribed successive rank parity blocks
Published
• View Publication
• BIB
Successive ranks of a partition, which were introduced by Atkin, are the difference of the $i$th row and the $i$th column in the Ferrers graph. Recently, in the study of singular overpartitions, Andrews revisited successive ranks and parity blocks. Motivated by his work, we investigate partitions with prescribed successive rank parity blocks. The main result of this paper is the generating function of partitions with exactly $d$ successive ranks and $m$ parity blocks.