Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Note on parity and the irreducible characters of the symmetric group
Published
• View Publication
• BIB
The object of this short note is to prove a theorem and present a conjecture for the number of even entries in the character table of the symmetric group.
Perfect quantum state transfer in weighted paths with potentials (loops) using orthogonal polynomials
Published in Linear and Multilinear Algebra (2018): 1-19
• View Publication
• BIB
A simple method for transmitting quantum states within a quantum computer is via a quantum spin chain---that is, a path on $n$ vertices. Unweighted paths are of limited use, and so a natural generalization is to consider weighted paths; this has been further generalized to allow for loops (\emph{potentials} in the physics literature). We study the particularly important situation of perfect state transfer with respect to the corresponding adjacency matrix or Laplacian through the use of orthogonal polynomials. Low-dimensional examples are given in detail. Our main result is that PST with respect to the Laplacian matrix cannot occur for weighted paths on $n\geq 3$ vertices nor can it occur for certain symmetric weighted trees. The methods used lead us to a conjecture directly linking the rationality of the weights of weighted paths on $n>3$ vertices, with or without loops, with the capacity for PST between the end vertices with respect to the adjacency matrix.
Noncommutative Catalan numbers
Published
• View Publication
• BIB
The goal of this paper is to introduce and study noncommutative Catalan numbers $C_n$ which belong to the free Laurent polynomial algebra in $n$ generators. Our noncommutative numbers admit interesting (commutative and noncommutative) specializations, one of them related to Garsia-Haiman $(q,t)$-versions, another -- to solving noncommutative quadratic equations. We also establish total positivity of the corresponding (noncommutative) Hankel matrices $H_m$ and introduce accompanying noncommutative binomial coefficients.
Zero forcing in iterated line digraphs
Published in Discrete Applied Mathematics 255 (2019), 198-208
• View Publication
• BIB
Zero forcing is a propagation process on a graph, or digraph, defined in linear algebra to provide a bound for the minimum rank problem. Independently, zero forcing was introduced in physics, computer science and network science, areas where line digraphs are frequently used as models. Zero forcing is also related to power domination, a propagation process that models the monitoring of electrical power networks.
In this paper we study zero forcing in iterated line digraphs and provide a relationship between zero forcing and power domination in line digraphs. In particular, for regular iterated line digraphs we determine the minimum rank/maximum nullity, zero forcing number and power domination number, and provide constructions to attain them. We conclude that regular iterated line digraphs present optimal minimum rank/maximum nullity, zero forcing number and power domination number, and apply our results to determine those parameters on some families of digraphs often used in applications.
On the number of proper paths between vertices in edge-colored hypercubes
Published
• View Publication
• BIB
Given an integer $1\leq j <n$, define the $(j)$-coloring of a $n$-dimensional hypercube $H_{n}$ to be the $2$-coloring of the edges of $H_{n}$ in which all edges in dimension $i$, $1\leq i \leq j$, have color $1$ and all other edges have color $2$. Cheng et al.
[Proper distance in edge-colored hypercubes, Applied Mathematics and Computation 313 (2017) 384-391.] determined the number of distinct shortest properly colored paths between a pair of vertices for the $(1)$-colored hypercubes. It is natural to consider the number for $(j)$-coloring, $j\geq 2$. In this note, we determine the number of different shortest proper paths in $(j)$-colored hypercubes for arbitrary $j$.
A kind of conditional connectivity of transposition networks generated by $k$-trees
Published
• View Publication
• BIB
For a graph $G = (V, E)$, a subset $F\subset V(G)$ is called an $R_k$-vertex-cut of $G$ if $G -F$ is disconnected and each vertex $u \in V(G)- F$ has at least $k$ neighbors in $G -F$. The $R_k$-vertex-connectivity of $G$, denoted by $κ^k(G)$, is the cardinality of the minimum $R_k$-vertex-cut of $G$, which is a refined measure for the fault tolerance of network $G$. In this paper, we study $κ^2$ for Cayley graphs generated by $k$-trees. Let $Sym(n)$ be the symmetric group on $\{1, 2, \cdots ,n\}$ and $\mathcal{T}$ be a set of transpositions of $Sym(n)$. Let $G(\mathcal{T})$ be the graph on $n$ vertices $\{1, 2, . . . ,n\}$ such that there is an edge $ij$ in $G(\mathcal{T})$ if and only if the transposition $ij\in \mathcal{T}$. The graph $G(\mathcal{T})$ is called the transposition generating graph of $\mathcal{T}$. We denote by $Cay(Sym(n),\mathcal{T})$ the Cayley graph generated by $G(\mathcal{T})$. The Cayley graph $Cay(Sym(n),\mathcal{T})$ is denoted by $T_kG_n$ if $G(\mathcal{T})$ is a $k$-tree. We determine $κ^2(T_kG_n)$ in this work. The trees are $1$-trees, and the complete graph on $n$ vertices is a $n-1$-tree. Thus, in this sense, this work is a generalization of the such results on Cayley graphs generated by transposition generating trees and the complete-transposition graphs.
Syntactic aspects of hypergraph polytopes
Published
• View Publication
• BIB
This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for describing such polytopes. We build on the particular approach developed by Dosen and Petric, who used the formalism of hypergraphs to describe the interval of polytopes from the simplex to the permutohedron. This interval was further stretched by Petric to allow truncations of faces that are themselves obtained by truncations, and iteratively so. Our notation applies to all these polytopes. We illustrate this by showing that it instantiates to a notation for the faces of the permutohedron-based associahedra, that consists of parenthesised words with holes. Dosen and Petric have exhibited some families of hypergraph polytopes (associahedra, permutohedra, and hemiassociahedra) describing the coherences, and the coherences between coherences etc., arising by weakening sequential and parallel associativity of operadic composition. We complement their work with a criterion allowing us to recover the information whether edges of these "operadic polytopes" come from sequential, or from parallel associativity. We also give alternative proofs for some of the original results of Dosen and Petric.
A New Upper Bound for Cancellative Pairs
Published in Electron. J. Comb. 25 (2018), P2.13
• View Publication
• BIB
A pair $(\mathcal{A},\mathcal{B})$ of families of subsets of an $n$-element set is called cancellative if whenever $A,A'\in\mathcal{A}$ and $B\in\mathcal{B}$ satisfy $A\cup B=A'\cup B$, then $A=A'$, and whenever $A\in\mathcal{A}$ and $B,B'\in\mathcal{B}$ satisfy $A\cup B=A\cup B'$, then $B=B'$. It is known that there exist cancellative pairs with $|\mathcal{A}||\mathcal{B}|$ about $2.25^n$, whereas the best known upper bound on this quantity is $2.3264^n$. In this paper we improve this upper bound to $2.2682^n$. Our result also improves the best known upper bound for Simonyi's sandglass conjecture for set systems.
Area difference bounds for dissections of a square into an odd number of triangles
Published in Experimental Mathematics, 29:3 (2020), 253-275
• View Publication
• BIB
Monsky's theorem from 1970 states that a square cannot be dissected into an odd number of triangles of the same area, but it does not give a lower bound for the area differences that must occur.
We extend Monsky's theorem to "constrained framed maps"; based on this we can apply a gap theorem from semi-algebraic geometry to a polynomial area difference measure and thus get a lower bound for the area differences that decreases doubly-exponentially with the number of triangles. On the other hand, we obtain the first superpolynomial upper bounds for this problem, derived from an explicit construction that uses the Thue-Morse sequence.
Dioid Partitions of Groups
Published in European Journal of Combinatorics 73 (2018), 211-230
• View Publication
• BIB
A partition of a group is a dioid partition if the following three conditions are met: The setwise product of any two parts is a union of parts, there is a part that multiplies as an identity element, and the inverse of a part is a part. This kind of a group partition was first introduced by Tamaschke in 1968. We show that a dioid partition defines a dioid structure over the group, analogously to the way a Schur ring over a group is defined. After proving fundamental properties of dioid partitions, we focus on three part dioid partitions of cyclic groups of prime order. We provide classification results for their isomorphism types as well as for the partitions themselves.
Loop-augmented forests and a variant of the Foulkes' conjecture
Published
• View Publication
• BIB
A loop-augmented forest is a labeled rooted forest with loops on some of its roots. By exploiting an interplay between nilpotent partial functions and labeled rooted forests, we investigate the permutation action of the symmetric group on loop-augmented forests. Furthermore, we describe an extension of the Foulkes' conjecture and prove a special case. Among other important outcomes of our analysis are a complete description of the stabilizer subgroup of an idempotent in the semigroup of partial transformations and a generalization of the (Knuth-Sagan) hook length formula.
Clustered Colouring in Minor-Closed Classes
Published in Combinatorica 39.6:1387-1412, 2019
• View Publication
• BIB
The "clustered chromatic number" of a class of graphs is the minimum integer $k$ such that for some integer $c$ every graph in the class is $k$-colourable with monochromatic components of size at most $c$. We prove that for every graph $H$, the clustered chromatic number of the class of $H$-minor-free graphs is tied to the tree-depth of $H$. In particular, if $H$ is connected with tree-depth $t$ then every $H$-minor-free graph is $(2^{t+1}-4)$-colourable with monochromatic components of size at most $c(H)$. This provides the first evidence for a conjecture of Ossona de Mendez, Oum and Wood (2016) about defective colouring of $H$-minor-free graphs. If $t=3$ then we prove that 4 colours suffice, which is best possible. We also determine those minor-closed graph classes with clustered chromatic number 2. Finally, we develop a conjecture for the clustered chromatic number of an arbitrary minor-closed class.
Harmonic Index of Total Graphs of Some Graphs
Let G = G(V,E) be a graph with | V | vertices and | E | edges and total graph, T(G) is obtained from G. In This paper we have study the Harmonic index of total graph for standards graphs, bipartite graph of particular type, regular graph, Grid graph Gm,n and Complete Binary tree.
The bidirectional ballot polytope
A bidirectional ballot sequence (BBS) is a finite binary sequence with the property that every prefix and suffix contains strictly more ones than zeros. BBS's were introduced by Zhao, and independently by Bosquet-M{é}lou and Ponty as $(1,1)$-culminating paths. Both sets of authors noted the difficulty in counting these objects, and to date research on bidirectional ballot sequences has been concerned with asymptotics. We introduce a continuous analogue of bidirectional ballot sequences which we call bidirectional gerrymanders, and show that the set of bidirectional gerrymanders form a convex polytope sitting inside the unit cube, which we refer to as the bidirectional ballot polytope. We prove that every $(2n-1)$-dimensional unit cube can be partitioned into $2n-1$ isometric copies of the $(2n-1)$-dimensional bidirectional ballot polytope. Furthermore, we show that the vertices of this polytope are all also vertices of the cube, and that the vertices are in bijection with BBS's. An immediate corollary is a geometric explanation of the result of Zhao and of Bosquet-M{é}lou and Ponty that the number of BBS's of length $n$ is $Θ(2^n/n)$.
Strong geodetic problem on Cartesian products of graphs
The strong geodetic problem is a recent variation of the geodetic problem. For a graph $G$, its strong geodetic number ${\rm sg}(G)$ is the cardinality of a smallest vertex subset $S$, such that each vertex of $G$ lies on a fixed shortest path between a pair of vertices from $S$. In this paper, the strong geodetic problem is studied on the Cartesian product of graphs. A general upper bound for ${\rm sg}(G \,\square\, H)$ is determined, as well as exact values for $K_m \,\square\, K_n$, $K_{1, k} \,\square\, P_l$, and certain prisms. Connections between the strong geodetic number of a graph and its subgraphs are also discussed.
Strong geodetic number of complete bipartite graphs and of graphs with specified diameter
The strong geodetic problem is a recent variation of the classical geodetic problem. For a graph $G$, its strong geodetic number ${\rm sg}(G)$ is the cardinality of a smallest vertex subset $S$, such that each vertex of $G$ lies on one fixed geodesic between a pair of vertices from $S$. In this paper, some general properties of the strong geodesic problem are studied, especially in connection with diameter of a graph. The problem is also solved for balanced complete bipartite graphs.
Large Cayley graphs of small diameter
Published
• View Publication
• BIB
The degree-diameter problem seeks to find the largest possible number of vertices in a graph having given diameter and given maximum degree. Very often the problem is studied for restricted families of graph such as vertex-transitive or Cayley graphs, with the goal being to find a family of graphs with good asymptotic properties. In this paper we restrict attention to Cayley graphs, and study the asymptotics by fixing a small diameter and constructing families of graphs of large order for all values of the maximum degree. Much of the literature in this direction is focused on the diameter two case. In this paper we consider larger diameters, and use a variety of techniques to derive new best asymptotic constructions for diameters 3, 4 and 5 as well as an improvement to the general bound for all odd diameters. Our diameter 3 construction is, as far as we know, the first to employ matrix groups over finite fields in the degree-diameter problem.
Subsets of posets minimising the number of chains
Published
• View Publication
• BIB
A well-known theorem of Sperner describes the largest collections of subsets of an $n$-element set none of which contains another set from the collection. Generalising this result, Erdős characterised the largest families of subsets of an $n$-element set that do not contain a chain of sets $A_1 \subset \dotsc \subset A_k$ of an arbitrary length $k$. The extremal families contain all subsets whose cardinalities belong to an interval of length $k-1$ centred at $n/2$. In a far-reaching extension of Sperner's theorem, Kleitman determined the smallest number of chains of length two that have to appear in a collection of a given number $a$ of subsets of an $n$-element set. For every $a$, this minimum is achieved by the collection comprising $a$ sets whose cardinalities are as close to $n/2+1/4$ as possible. We show that the same is true about chains of an arbitrary length $k$, for all $a$ and $n$, confirming the prediction Kleitman made fifty years ago. We also characterise all families of $a$ subsets with the smallest number of chains of length $k$ for all $a$ for which this smallest number is positive. Our argument is inspired by an elegant probabilistic lemma from a recent paper of Noel, Scott, and Sudakov, which in turn can be traced back to Lubell's proof of Sperner's theorem.
Ordered multiplicity inverse eigenvalue problem for graphs on six vertices
Published
• View Publication
• BIB
For a graph $G$, we associate a family of real symmetric matrices, $\mathcal{S}(G)$, where for any $M \in \mathcal{S}(G)$, the location of the nonzero off-diagonal entries of $M$ are governed by the adjacency structure of $G$. The ordered multiplicity Inverse Eigenvalue Problem of a Graph (IEPG) is concerned with finding all attainable ordered lists of eigenvalue multiplicities for matrices in $\mathcal{S}(G)$.
For connected graphs of order six, we offer significant progress on the IEPG, as well as a complete solution to the ordered multiplicity IEPG. We also show that while $K_{m,n}$ with $\min(m,n)\ge 3$ attains a particular ordered multiplicity list, it cannot do so with arbitrary spectrum.
Cycle reversions and dichromatic number in tournaments
Published
• View Publication
• BIB
We show that if $D$ is a tournament of arbitrary size then $D$ has finite strong components after reversing a locally finite sequence of cycles. In turn, we prove that any tournament can be covered by two acyclic sets after reversing a locally finite sequence of cycles. This provides a partial solution to a conjecture of S. Thomassé.