Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Hypoenergetic and strongly hypoenergetic trees
The energy $E(G)$ of a graph $G$ is defined as the sum of the absolute values of the eigenvalues of $G$. An $n$-vertex graph is said to be hypoenergetic if $E(G)<n$ and strongly hypoenergetic if $E(G)<n-1$. In this paper, we consider hypoenergetic and strongly hypoenergetic trees. For any given $n$ and $Δ$, the existence of both hypoenergetic and strongly hypoenergetic trees of order $n$ and maximum degree $Δ$ is completely characterized.
Cycles and p-competition graphs
Published in Congressus Numerantium 196 (2009) 23-30
• Search Publication
The notion of p-competition graphs of digraphs was introduced by S-R. Kim, T. A. McKee, F. R. McMorris, and F. S. Roberts [p-competition graphs, Linear Algebra Appl., 217 (1995) 167--178] as a generalization of the competition graphs of digraphs. Let p be a positive integer. The p-competition graph C_p(D) of a digraph D=(V,A) is a (simple undirected) graph which has the same vertex set V and has an edge between distinct vertices x and y if and only if there exist p distinct vertices v_1, ..., v_p in V such that (x,v_i), (y,v_i) are arcs of the digraph D for each i=1, ..., p.
In this paper, given a cycle of length n, we compute exact values of p in terms of n such that it is a p-competition graph, which generalizes the results obtained by Kim et al. We also find values of p in terms of n so that its complement is a p-competition graph.
t-Pebbling and Extensions
Published
• View Publication
• BIB
Graph pebbling is the study of moving discrete pebbles from certain initial distributions on the vertices of a graph to various target distributions via pebbling moves. A pebbling move removes two pebbles from a vertex and places one pebble on one of its neighbors (losing the other as a toll). For t >= 1 the t-pebbling number of a graph is the minimum number of pebbles necessary so that from any initial distribution of them it is possible to move t pebbles to any vertex. We provide the best possible upper bound on the t-pebbling number of a diameter two graph, proving a conjecture of Curtis, et al., in the process. We also give a linear time (in the number of edges) algorithm to t-pebble such graphs, as well as a quartic time (in the number of vertices) algorithm to compute the pebbling number of such graphs, improving the best known result of Bekmetjev and Cusack. Furthermore, we show that, for complete graphs, cycles, trees, and cubes, we can allow the target to be any distribution of t pebbles without increasing the corresponding t-pebbling numbers; we conjecture that this behavior holds for all graphs. Finally, we explore fractional and optimal fractional versions of pebbling, proving the fractional pebbling number conjecture of Hurlbert and using linear optimization to reveal results on the optimal fractional pebbling number of vertex-transitive graphs.
The niche graphs of doubly partial orders
Published in Congressus Numerantium 195 (2009) 19-32
• Search Publication
The competition graph of a doubly partial order is known to be an interval graph. The competition-common enemy graph of a doubly partial order is also known to be an interval graph unless it contains a cycle of length 4 as an induced subgraph. In this paper, we show that the niche graph of a doubly partial order is not necessarily an interval graph. In fact, we prove that, for each integer n at least 4, there exists a doubly partial order whose niche graph contains an induced subgraph isomorphic to a cycle of length n. We also show that if the niche graph of a doubly partial order is triangle-free, then it is an interval graph.
A new asymptotic enumeration technique: the Lovasz Local Lemma
Our previous paper applied a lopsided version of the Lovász Local Lemma that allows negative dependency graphs to the space of random injections from an $m$-element set to an $n$-element set. Equivalently, the same story can be told about the space of random matchings in $K_{n,m}$. Now we show how the cited version of the Lovász Local Lemma applies to the space of random matchings in $K_{2n}$. We also prove tight upper bounds that asymptotically match the lower bound given by the Lovász Local Lemma. As a consequence, we give new proofs to results on the enumeration of $d$-regular graphs. The tight upper bounds can be modified to the space of matchings in $K_{n,m}$, where they yield as application asymptotic formulas for permutation and Latin rectangle enumeration problems. The strength of the method is shown by a new result: enumeration of graphs by degree sequence or bipartite degree sequence and girth. As another application, we provide a new proof to the classical probabilistic result of Erd\H os that showed the existence of graphs with arbitrary large girth and chromatic number. If the degree sequence satisfies some mild conditions, almost all graphs with this degree sequence and prescribed girth have high chromatic number.
Theta Functions, Elliptic Hypergeometric Series, and Kawanaka's Macdonald Polynomial Conjecture
Published in SIGMA 5 (2009), 055, 20 pages
• View Publication
• BIB
We give a new theta-function identity, a special case of which is utilised to prove Kawanaka's Macdonald polynomial conjecture. The theta-function identity further yields a transformation formula for multivariable elliptic hypergeometric series which appears to be new even in the one-variable, basic case.
Perfect colourings of cyclotomic integers
Published
• View Publication
• BIB
Perfect colourings of the rings of cyclotomic integers with class number one are studied. It is shown that all colourings induced by ideals (q) are chirally perfect, and vice versa. A necessary and sufficient condition for a colouring to be perfect is obtained, depending on the factorisation of q. This result yields the colour symmetry group H in general. Furthermore, the colour preserving group K is determined in all but finitely many cases. An application to colourings of quasicrystals is given.
On distribution of three-term arithmetic progressions in sparse subsets of F_p^n
Published
• View Publication
• BIB
We prove a version of Szemeredi's regularity lemma for subsets of a typical random set in F_p^n. As an application, a result on the distribution of three-term arithmetic progressions in sparse sets is discussed.
A Proof of the Strengthened Hanna Neumann Conjecture
We prove the Strengthened Hanna Neumann Conjecture. We give a more direct cohomological interpretation of the conjecture in terms of "typical" covering maps, and use graph Galois theory to "symmetrize" the conjecture. The conjecture is then related to certain kernel of a morphism of sheaves, and is implied provided these kernels are co-acyclic in the covering cohomology theory. This allows us to prove a slightly generalized Strengthened Hanna Neumann Conjecture; this conjecture is false if generalized to all sheaves. The kernels we use do not exist in the theory of graphs, so our use of sheaf theory seems essential to this approach.
Limits of randomly grown graph sequences
Published
• View Publication
• BIB
Motivated in part by various sequences of graphs growing under random rules (like internet models), convergent sequences of dense graphs and their limits were introduced by Borgs, Chayes, Lovász, Sós and Vesztergombi and by Lovász and Szegedy. In this paper we use this framework to study one of the motivating class of examples, namely randomly growing graphs. We prove the (almost sure) convergence of several such randomly growing graph sequences, and determine their limit. The analysis is not always straightforward: in some cases the cut distance from a limit object can be directly estimated, in other case densities of subgraphs can be shown to converge.
The maximum independent sets of de Bruijn graphs of diameter 3
Published
• View Publication
• BIB
The nodes of the de Bruijn graph B(d,3) consist of all strings of length 3, taken from an alphabet of size d, with edges between words which are distinct substrings of a word of length 4. We give an inductive characterization of the maximum independent sets of the de Bruijn graphs B(d,3) and for the de Bruijn graph of diameter three with loops removed, for arbitrary alphabet size. We derive a recurrence relation and an exponential generating function for their number. This recurrence allows us to construct exponentially many comma-free codes of length 3 with maximal cardinality.
Rigid and super rigid quasigroups
Published in Quasigroups and Related Systems 17 (2009), 17-28
• Search Publication
The paper deals with quasigroups having a trivial group of automorphisms and a trivial group of autotopisms. Examples of such quasigroups and methods of their verification are given.
q-Analogs of some congruences involving Catalan numbers
Published
• View Publication
• BIB
We provide some variations on the Greene-Krammer's identity which involve q-Catalan numbers. Our method reveals a curious analogy between these new identities and some congruences modulo a prime.
Infinite families of regular expanders of arbitrary constant degree obtained via the modified zig-zag product
We generalize the zig-zag product construction to produce infinite families of regular graphs of any constant degree. We analyze the second largest eigenvalue of this new zig-zag product to show that the modified zig-zag product of good expanders is again a good expander (yet not Ramanujan).
Quivers of finite mutation type and skew-symmetric matrices
Published
• View Publication
• BIB
In this paper, we study structural properties of finite mutation type quivers. In particular, we obtain a characterization of finite mutation type quivers that are associated with triangulations of surfaces and give a new numerical invariant for their mutation classes.
Totally nonnegative cells and matrix Poisson varieties
Published
• View Publication
• BIB
We describe explicitly the admissible families of minors for the totally nonnegative cells of real matrices, that is, the families of minors that produce nonempty cells in the cell decompositions of spaces of totally nonnegative matrices introduced by A. Postnikov. In order to do this, we relate the totally nonnegative cells to torus orbits of symplectic leaves of the Poisson varieties of complex matrices. In particular, we describe the minors that vanish on a torus orbit of symplectic leaves, we prove that such families of minors are exactly the admissible families, and we show that the nonempty totally nonnegative cells are the intersections of the torus orbits of symplectic leaves with the spaces of totally nonnegative matrices.
Involutory reflection groups and their models
Published
• View Publication
• BIB
A finite subgroup of $GL(n,\mathbb C)$ is involutory if the sum of the dimensions of its irreducible complex representations is given by the number of absolute involutions in the group. A uniform combinatorial model is constructed for all non-exceptional irreducible complex reflection groups which are involutory including, in particular, all infinite families of finite irreducible Coxeter groups.
Statistics of Random Permutations and the Cryptanalysis Of Periodic Block Ciphers
Published in Gregory V. Bard, Shaun V. Ault, and Nicholas T. Courtois. Statistics of random permutations and the cryptanalysis of periodic block ciphers. Cryptologia 36 (2012) 240-262
• View Publication
• BIB
A block cipher is intended to be computationally indistinguishable from a random permutation of appropriate domain and range. But what are the properties of a random permutation? By the aid of exponential and ordinary generating functions, we derive a series of collolaries of interest to the cryptographic community. These follow from the Strong Cycle Structure Theorem of permutations, and are useful in rendering rigorous two attacks on Keeloq, a block cipher in wide-spread use. These attacks formerly had heuristic approximations of their probability of success. Moreover, we delineate an attack against the (roughly) millionth-fold iteration of a random permutation. In particular, we create a distinguishing attack, whereby the iteration of a cipher a number of times equal to a particularly chosen highly-composite number is breakable, but merely one fewer round is considerably more secure. We then extend this to a key-recovery attack in a "Triple-DES" style construction, but using AES-256 and iterating the middle cipher (roughly) a million-fold. It is hoped that these results will showcase the utility of exponential and ordinary generating functions and will encourage their use in cryptanalytic research.
d-Complete Posets Generalize Young Diagrams for the Jeu de Taquin Property
The jeu de taquin process produced a standard Young tableau from a skew standard Young tableau by shifting its entries to the northwest. We generalize this process to posets: certain partial numberings of any poset are shifted upward. A poset is said to have the jeu de taquin property if the numberings resulting from this process do not depend upon certain choices made during the process. Young diagrams are the posets which underlie standard Young tableaux. These posets have the jeu de taquin property. d-Complete posets are posets which satisfy certain local structual conditions. They are mutual generalizations of Young diagrams, shifted Young diagrams, and rooted trees. We prove that all d-complete posets have the jeu de taquin property. The proof shows that each d-complete poset actually has the stronger "simultaneous" property; this may lead to an algebraic understanding of the main result. A partial converse is stated: "Non-overlapping" simultaneous posets are d-complete.
Distribution of the full rank in residue classes for odd moduli
Published
• View Publication
• BIB
The distribution of values of the full ranks of marked Durfee symbols is examined in prime and nonprime arithmetic progressions. The relative populations of different residues for the same modulus are determined: the primary result is that k-marked Durfee symbols of n equally populate the residue classes a and b mod 2k+1 if gcd(a,2k+1)=gcd(b,2k+1). These are used to construct a few congruences. The general procedure is illustrated with a particular theorem on 4-marked symbols for multiples of 3.