Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Primary Cyclic Matrices in Irreducible Matrix Subalgebras
Published
• View Publication
• BIB
Primary Cyclic matrices were used (but not named) by Holt and Rees in their version of Parker's MEAT-AXE algorithm to test irreducibility of finite matrix groups and algebras. They are matrices $X$ with at least one cyclic component in the primary decomposition of the underlying vector space as an $X$-module. Let $\operatorname{M}(c,q^b)$ be an irreducible subalgebra of $\operatorname{M}(n,q)$, where $n=bc >c$. We prove a generalisation of the Kung-Stong Cycle Index, and use it to obtain a lower bound for the proportion of primary cyclic matrices in $\operatorname{M}(c,q^b)$. This extends work of Glasby and the second author on the case $b=1$.
An explicit formula for computing Bell numbers in terms of Lah and Stirling numbers
Published in Mediterranean Journal of Mathematics 13 (2016), no. 5, 2795--2800
• View Publication
• BIB
In the paper, the author finds an explicit formula for computing Bell numbers in terms of Lah numbers and Stirling numbers of the second kind.
Bounds on the radius and status of graphs
Published
• View Publication
• BIB
Two classical concepts of centrality in a graph are the median and the center. The connected notions of the status and the radius of a graph seem to be in no relation. In this paper, however, we show a clear connection of both concepts, as they obtain their minimum and maximum values at the same type of tree graphs. Trees with fixed maximum degree and extremum radius and status, resp., are characterized. The bounds on radius and status can be transferred to general connected graphs via spanning trees.
A new method of proof allows not only to regain results of Lin et al. on graphs with extremum status, but it allows also to prove analogous results on graphs with extremum radius.
A Corollary of Hamada and Ohmori's on Group Law over BIBD
In this note, we present an interesting corollary of a theorem of Hamada and Ohmori. We prove that the complementary of PG(n,2) is the only design, up to an isomorphism, whose blocks form a group for the symmetric difference.
The puzzle conjecture for the cohomology of two-step flag manifolds
Published
• View Publication
• BIB
We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of type A. The proof of the conjecture proceeds by showing that the puzzle formula defines an associative product on the cohomology ring of the two-step flag variety. It is based on an explicit bijection of gashed puzzles that is analogous to the jeu de taquin algorithm but more complicated.
Perfect state transfer on distance-regular graphs and association schemes
Published
• View Publication
• BIB
We consider the representation of a continuous-time quantum walk in a graph $X$ by the matrix $\exp(itA(X))$. We provide necessary and sufficient criteria for distance-regular graphs and, more generally, for graphs in association schemes to have perfect state transfer. Using these conditions, we provide several new examples of perfect state transfer in simple graphs.
On the Domination Polynomials of Friendship Graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $n$. The {\em domination polynomial} of $G$ is the polynomial ${D(G, x)=\sum_{i=0}^{n} d(G,i) x^{i}}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$.
Let $n$ be any positive integer and $F_n$ be the Friendship graph with $2n + 1$ vertices and $3n$ edges, formed by the join of $K_{1}$ with $nK_{2}$. We study the domination polynomials of this family of graphs, and in particular examine the domination roots of the family, and find the limiting curve for the roots. We also show that for every $n\geq 2$, $F_n$ is not $\mathcal{D}$-unique, that is, there is another non-isomorphic graph with the same domination polynomial. Also we construct some families of graphs whose real domination roots are only $-2$ and $0$. Finally, we conclude by discussing the domination polynomials of a related family of graphs, the $n$-book graphs $B_n$, formed by joining $n$ copies of the cycle graph $C_4$ with a common edge.
No finite $5$-regular matchstick graph exists
A graph $G=(V,E)$ is called a unit-distance graph in the plane if there is an injective embedding of $V$ in the plane such that every pair of adjacent vertices are at unit distance apart. If additionally the corresponding edges are non-crossing and all vertices have the same degree $r$ we talk of a regular matchstick graph. Due to Euler's polyhedron formula we have $r\le 5$. The smallest known $4$-regular matchstick graph is the so called Harborth graph consisting of $52$ vertices. In this article we prove that no finite $5$-regular matchstick graph exists.
Regular finite planar maps with equal edges
There doesn't exists a finite planar map with all edges having the same length, and each vertex on exactly 5 edges.
More on the normalized Laplacian Estrada index
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $N$. The normalized Laplacian Estrada index of $G$ is defined as $NEE(G)=\sum_{i=1}^Ne^{λ_i}$, where $λ_1,λ_2,\cdots,λ_N$ are the normalized Laplacian eigenvalues of $G$. In this paper, we give a tight lower bound for $NEE$ of general graphs. We also calculate $NEE$ for a class of treelike fractals, which contain some classical chemical trees as special cases. It is shown that $NEE$ scales linearly with the order of the fractal, in line with a best possible lower bound for connected bipartite graphs.
More eigenvalue problems of Nordhaus-Gaddum type
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ and let $μ_{1}\left(G\right) \geq \cdots\geqμ_{n}\left(G\right) $ be the eigenvalues of its adjacency matrix. This note studies eigenvalue problems of Nordhaus-Gaddum type. Let $\overline{G}$ be the complement of a graph $G.$ It is shown that if $s\geq2$ and $n\geq15\left(s-1\right) ,$ then \[ \left\vert μ_{s}\left(G\right) \right\vert +|μ_{s}(\overline{G})|\,\leq n/\sqrt{2\left(s-1\right)}-1. \]
Also if $s\geq1$ and $n\geq4^{s},$ then \[ \left\vert μ_{n-s+1}\left(G\right) \right\vert +|μ_{n-s+1}(\overline {G})|\,\leq n/\sqrt{2s}+1. \] If $s=2^{k}+1$ for some integer $k$, these bounds are asymptotically tight. These results settle infinitely many cases of a general open problem.
Maxima Q-index of graphs with forbidden odd cycles
Published
• View Publication
• BIB
Let $q\left( G\right) $ be the $Q$-index (the largest eigenvalue of the signless Laplacian) of $G$. Let $S_{n,k}$ be the graph obtained by joining each vertex of a complete graph of order $k$ to each vertex of an independent set of order $n-k.$ The main result of this paper is the following theorem:
Let $k\geq3,$ $n\geq110k^{2},$ and $G$ be a graph of order $n$. If $G$ has no $C_{2k+1},$ then $q\left( G\right) <q\left( S_{n,k}\right) ,$ unless $G=S_{n,k}.$
This result proves the odd case of the conjecture in [M.A.A. de Freitas, V. Nikiforov, and L. Patuzzi, Maxima of the $Q$-index: forbidden $4$-cycle and $5$-cycle, \emph{Electron. J. Linear Algebra }26 (2013), 905-916.]
Classes of Complete Simple Games that are All Weighted
Published
• View Publication
• BIB
Important decisions are likely made by groups of agents. Thus group decision making is very common in practice. Very transparent group aggregating rules are given by weighted voting, where each agent is assigned a weight. Here a proposal is accepted if the sum of the weights of the supporting agents meets or exceeds a given quota. We study a more general class of binary voting systems -- complete simple games -- and propose an algorithm to determine which sub classes, parameterized by the agent's type composition, are weighted.
Finite and infinitesimal rigidity with polyhedral norms
Published
• View Publication
• BIB
We characterise finite and infinitesimal rigidity for bar-joint frameworks in R^d with respect to polyhedral norms (i.e. norms with closed unit ball P a convex d-dimensional polytope). Infinitesimal and continuous rigidity are shown to be equivalent for finite frameworks in R^d which are well-positioned with respect to P. An edge-labelling determined by the facets of the unit ball and placement of the framework is used to characterise infinitesimal rigidity in R^d in terms of monochrome spanning trees. An analogue of Laman's theorem is obtained for all polyhedral norms on R^2.
Partition regularity without the columns property
Published in Proc. Amer. Math. Soc. 143 (2015), no. 8, 3387-3399
• View Publication
• BIB
A finite or infinite matrix A with rational entries is called partition regular if whenever the natural numbers are finitely coloured there is a monochromatic vector x with Ax=0. Many of the classical theorems of Ramsey Theory may naturally be interpreted as assertions that particular matrices are partition regular. In the finite case, Rado proved that a matrix is partition regular if and only it satisfies a computable condition known as the columns property. The first requirement of the columns property is that some set of columns sums to zero.
In the infinite case, much less is known. There are many examples of matrices with the columns property that are not partition regular, but until now all known examples of partition regular matrices did have the columns property. Our main aim in this paper is to show that, perhaps surprisingly, there are infinite partition regular matrices without the columns property --- in fact, having no set of columns summing to zero.
We also make a conjecture that if a partition regular matrix (say with integer coefficients) has bounded row sums then it must have the columns property, and prove a first step towards this.
List-coloring apex-minor-free graphs
A graph H is t-apex if H-X is planar for some subset X of V(H) of size t. For any integer t>=0 and a fixed t-apex graph H, we give a polynomial-time algorithm to decide whether a (t+3)-connected H-minor-free graph is colorable from a given assignment of lists of size t+4. The connectivity requirement is the best possible in the sense that for every t>=1, there exists a t-apex graph H such that testing (t+4)-colorability of (t+2)-connected H-minor-free graphs is NP-complete. Similarly, the size of the lists cannot be decreased (unless P=NP), since for every t>=1, testing (t+3)-list-colorability of (t+3)-connected K_{t+4}-minor-free graphs is NP-complete.
Random partitions in statistical mechanics
Published in Electron. J. Probab. 19, no. 82, 1-37 (2014)
• View Publication
• BIB
We consider a family of distributions on spatial random partitions that provide a coupling between different models of interest: the ideal Bose gas; the zero-range process; particle clustering; and spatial permutations. These distributions are invariant for a "chain of Chinese restaurants" stochastic process. We obtain results for the distribution of the size of the largest component.
Generalised Apéry numbers modulo $9$
Published in J. Number Theory 147 (2015), 708-720
• View Publication
• BIB
We characterise the modular behaviour of (generalised) Apéry number modulo $9$, thereby in particular establishing two conjectures in "A method for determining the mod-$3^k$ behaviour of recursive sequences" [arXiv:1308.2856].
A three-factor product construction for mutually orthogonal latin squares
Published
• View Publication
• BIB
It is well known that mutually orthogonal latin squares, or MOLS, admit a (Kronecker) product construction. We show that, under mild conditions, `triple products' of MOLS can result in a gain of one square. In terms of transversal designs, the technique is to use a construction of Rolf Rees twice: once to obtain a coarse resolution of the blocks after one product, and next to reorganize classes and resolve the blocks of the second product. As consequences, we report a few improvements to the MOLS table and obtain a slight strengthening of the famous theorem of MacNeish.
Pairwise balanced designs with prescribed minimum dimension
Published
• View Publication
• BIB
The dimension of a linear space is the maximum positive integer $d$ such that any $d$ of its points generate a proper subspace. For a set $K$ of integers at least two, recall that a pairwise balanced design PBD$(v,K)$ is a linear space on $v$ points whose lines (or blocks) have sizes belonging to $K$. We show that, for any prescribed set of sizes $K$ and lower bound $d$ on the dimension, there exists a PBD$(v,K)$ of dimension at least $d$ for all sufficiently large and numerically admissible $v$.