Showing 20 papers (Total: 83133 papers, 48023 authors in database)
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.
Lattices of Paths: Representation Theory and Valuations
Published
• View Publication
• BIB
We study some distributive lattices arising in the combinatorics of lattice paths. In particular, for the Dyck, Motzkin and Schroder lattices we describe the spectrum and we determine explicitly the Euler characteristic in terms of natural parameters of lattice paths.
Algebraic proof of Brooks' theorem
Published in Discrete Math. 310, no. 23, 3426-3428 (2010)
• View Publication
• BIB
We give a proof of Brooks' theorem and its list coloring extension using the algebraic method of Alon and Tarsi; this also shows that the Brooks' theorem remains valid in a more general game coloring setting.
A Simple Proof of an Inequality Connecting the Alternating Number of Independent Sets and the Decycling Number
Published
• View Publication
• BIB
If alpha=alpha(G) is the maximum size of an independent set and s_{k} equals the number of stable sets of cardinality k in graph G, then I(G;x)=s_{0}+s_{1}x+...+s_{alpha}x^{alpha} is the independence polynomial of G. In this paper we provide an elementary proof of the inequality claiming that the absolute value of I(G;-1) is not greater than 2^phi(G), for every graph G, where phi(G) is its decycling number.