Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Descents of $λ$-unimodal cycles in a character formula
Published
• View Publication
• BIB
We prove an identity conjectured by Adin and Roichman involving the descent set of $λ$-unimodal cyclic permutations. These permutations appear in formulas for characters of certain representations of the symmetric group. Such formulas have previously been proven algebraically. In this paper, we present a combinatorial proof for one such formula and discuss the consequences for the distribution of the descent set on cyclic permutations.
Median eigenvalues and the HOMO-LUMO index of graphs
Published
• View Publication
• BIB
Motivated by the problem about HOMO-LUMO separation that arises in mathematical chemistry, Fowler and Pisanski introduced the notion of the HL-index which measures how large in absolute value may be the median eigenvalues of a graph. In this note we provide rather tight lower and upper bounds on the maximum value of the HL-index among all graphs with given average degree. In particular, we determine the exact value of this parameter when restricted to chemically relevant graphs, i.e.\ graphs of maximum degree $3$, and thus answer a question of Fowler and Pisanski. The proof provides additional insight about eigenvalue distribution of large subcubic graphs.
Homological face-width condition forcing $K_6$-minors in graphs on surfaces
Published
• View Publication
• BIB
It is proved that every graph embedded on a (non-spherical) surface with non-separating face-width at least $7$ contains a minor isomorphic to $K_6$. It is also shown that face-width four yields the same conclusion for graphs on the projective plane.
Incidence theory and restriction estimates
We investigate the interplay between the discrete restriction phenomenon and incidence theory. Two angles are explored. One is a refinement of the machinery developed by Thomas Wolff, which when combined with a recent subcritical estimate of Bourgain leads to new Strichartz estimates for irrational tori. The other one connects various additive energies with the Szemerédi-Trotter Theorem. The combination of the two approaches recovers the best known Strichartz estimates for the classical torus in dimensions $n\ge 3$, without any appeal to number theory.
Normal Edge-Transitive Cayley Graphs of Frobenius Groups
Published
• View Publication
• BIB
A Cayley Graph for a group $G$ is called normal edge-transitive if it admits an edge-transitive action of some subgroup of the Holomorph of $G$ (the normaliser of a regular copy of $G$ in $\operatorname{Sym}(G)$). We complete the classification of normal edge-transitive Cayley graphs of order a product of two primes by dealing with Cayley graphs for Frobenius groups of such orders. We determine the automorphism groups of these graphs, proving in particular that there is a unique vertex-primitive example, namely the flag graph of the Fano plane.
A Polynomial Variation on Meinardus' Theorem
Published
• View Publication
• BIB
We develop a polynomial analogue of Meinardus' Thoerem for bivariate Euler products and apply it to the study of complex multiplicatively weighted partitions.
Constrained colouring and $σ$-hypergraphs
Published
• View Publication
• BIB
A constrained colouring or, more specifically, an $(α,β)$-colouring of a hypergraph $H$, is an assignment of colours to its vertices such that no edge of $H$ contains less than $α$ or more than $β$ vertices with different colours. This notion, introduced by B{ú}jtas and Tuza, generalises both classical hypergraph colourings and the more general Voloshin colourings of hypergraphs. In fact, for $r$-uniform hypergraphs, classical colourings correspond to $(2,r)$-colourings while an important instance of Voloshin colourings of $r$-uniform hypergraphs gives $(2, r-1)$-colourings. One intriguing aspect of all these colourings, not present in classical colourings, is that $H$ can have gaps in its $(α,β)$-spectrum, that is, for $k_1 < k_2 < k_3$, $H$ would be $(α,β)$-colourable using $k_1$ and using $k_3$ colours, but not using $k_2$ colours.
In an earlier paper, the first two authors introduced, for $σ$ a partition of $r$, a very versatile type of $r$-uniform hypergraph which they called $σ$-hypergraphs. They showed that, by simple manipulation of the parameters of a $σ$-hypergraph $H$, one can obtain families of hypergraphs which have $(2,r-1)$-colourings exhibiting various interesting chromatic properties. They also showed that, if the smallest part of $σ$ is at least 2, then $H$ will never have a gap in its $(2,r-1)$-spectrum but, quite surprisingly, they found examples where gaps re-appear when $α=β=2$.
In this paper we extend many of the results of the first two authors to more general $(α,β)$-colourings, and we study the phenomenon of the disappearanace and re-appearance of gaps and show that it is not just the behaviour of a particular example but we place it within the context of a more general study of constrained colourings of $σ$-hypergraphs.
Graphs that allow all the eigenvalue multiplicities to be even
Published
• View Publication
• BIB
Let $G$ be an undirected graph on $n$ vertices and let $S(G)$ be the set of all $n \times n$ real symmetric matrices whose nonzero off-diagonal entries occur in exactly the positions corresponding to the edges of $G$. The inverse eigenvalue problem for a graph $G$ is a problem of determining all possible lists that can occur as the lists of eigenvalues of matrices in $S(G).$ This question is, in general, hard to answer and several variations were studied, most notably the minimum rank problem. In this paper we introduce the problem of determining for which graphs $G$ there exists a matrix in $S(G)$ whose characteristic polynomial is a square, i.e. the multiplicities of all its eigenvalues are even. We solve this question for several families of graphs.
What is a horocyclic product, and how is it related to lamplighters?
Published in Internationale Mathematische Nachrichten (Austrian Math. Society) 224 (2013), 1-27
• Search Publication
This is a rather personal introductory outline of an interesting class of geometric, resp. graph- and group-theoretical structures. After an introductive section about their genesis, the general construction of horocyclic products is presented. Three closely related basic structures of this type are explained in more detail: Diestel-Leader graphs, treebolic spaces, and Sol-groups, resp. -manifolds. Emphasis is on their geometry, isometry groups, quasi-isometry classification and boundary at infinity. Subsequently, it is clarified under which parametrisation they admit discrete groups of isometries acting with compact quotient. Finally, further develpoments are reviewed briefly.
Remark: the posted version contains a correction of a misprint that appeared on the bottom of page 22 in the version which appeared in IMN.
On The Equality Of The Grundy Numbers Of A Graph
Published in International Journal of Next-Generation Networks (IJNGN) Vol.5, No.4, December 2013
• View Publication
• BIB
Our work becomes integrated into the general problem of the stability of the network ad hoc. Some, works attacked this problem. Among these works, we find the modelling of the network ad hoc in the form of a graph. Thus the problem of stability of the network ad hoc which corresponds to a problem of allocation of frequency amounts to a problem of allocation of colors in the vertex of graph. we present use a parameter of coloring the number of Grundy. The Grundy number of a graph G, denoted by (G), is the largest k such that G has a greedy k-coloring, that is a coloring with colours obtained by applying the greedy algorithm according to some ordering of the vertices of G. In this paper, we study the Grundy number of the lexicographic, Cartesian and direct products of two graphs in terms of the Grundy numbers of these graphs.
Operads, quasiorders, and regular languages
Published in Advances in Applied Mathematics, 75, 56--93, 2016
• View Publication
• BIB
We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that mimics the composition of the functions. The involved operads are described in terms of combinatorial objects. These operads are obtained from more primitive objects, namely precompositions, whose algebraic counter-parts are investigated. One of these operads acts faithfully on languages in the sense that two different operators act in two different ways.
The completion of optimal $(3,4)$-packings
Published
• View Publication
• BIB
A 3-$(n,4,1)$ packing design consists of an $n$-element set $X$ and a collection of $4$-element subsets of $X$, called {\it blocks}, such that every $3$-element subset of $X$ is contained in at most one block. The packing number of quadruples $d(3,4,n)$ denotes the number of blocks in a maximum $3$-$(n,4,1)$ packing design, which is also the maximum number $A(n,4,4)$ of codewords in a code of length $n$, constant weight $4$, and minimum Hamming distance 4. In this paper the undecided 21 packing numbers $A(n,4,4)$ are shown to be equal to Johnson bound $J(n,4,4)$ $( =\lfloor\frac{n}{4}\lfloor\frac{n-1}{3}\lfloor\frac{n-2}{2}\rfloor\rfloor\rfloor)$ where $n=6k+5$,
$k\in \{m:\ m$ is odd, $3\leq m\leq 35,\ m\neq 17,21\}\cup \{45,47,75,77,79,159\}$.
On the Nearest Neighbor Rule for the Metric Traveling Salesman Problem
Published
• View Publication
• BIB
We present a very simple family of traveling salesman instances with $n$ cities where the nearest neighbor rule may produce a tour that is $Θ(\log n)$ times longer than an optimum solution. Our family works for the graphic, the euclidean, and the rectilinear traveling salesman problem at the same time. It improves the so far best known lower bound in the euclidean case and proves for the first time a lower bound in the rectilinear case.
On Forbidden Submatrices
Given a $k\times l$ $(0,1)$-matrix $F$, we denote by $\mathrm{fs}(m,F)$ the largest number for which there is an $m \times \mathrm{fs}(m,F)$ $(0,1)$-matrix with no repeated columns and no induced submatrix equal to $F$. A conjecture of Anstee, Frankl, Füredi and Pach states that $\mathrm{fs}(m,F) = O(m^k)$ for a fixed matrix $F$. The main results of this paper are that $\mathrm{fs}(m,F) = m^{2+ o(1)}$ if $k=2$ and that $\mathrm{fs}(m,F) = m^{5k/3 -1 + o(1)}$ if $k\geq 3$.
The Merrifield-Simmons conjecture also holds for parity graphs
The Merrifield-Simmons conjectures states a relation between the distance of vertices in a simple graph $G$ and the number of independent sets, denoted as $σ(G)$, in vertex-deleted subgraphs. Namely, that the sign of the term $σ(G_{-u}) \cdot σ(G_{-v}) - σ(G) \cdot σ(G_{-u-v})$ only depends on the parity of the distance of $u$ and $v$ in $G$. We prove this statement in the case of parity graphs and give some evidence that this result may not be further generalized to other classes of graphs.
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.