Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Representations of Aut(A(Gamma)) acting on homogeneous components of A(Gamma) and A(Gamma) dual
In this paper we will study the structure of algebras A(Gamma) associated to two directed, layered graphs Gamma. These are algebras associated with Hasse graphs of n-gons and the algebras Q_n related to pseudoroots of noncommutative polynomials. We will find the filtration preserving automorphism group of these algebras and then we will find the multiplicities of the irreducible representations of Aut(A(Gamma)) acting on the homogeneous components of A(Gamma) and A(Gamma) dual.
Generating functions for black hole entropy in Loop Quantum Gravity
Published in Phys.Rev.D77:121502,2008
• View Publication
• BIB
We introduce, in a systematic way, a set of generating functions that solve all the different combinatorial problems that crop up in the study of black hole entropy in Loop Quantum Gravity. Specifically we give generating functions for: The different sources of degeneracy related to the spectrum of the area operator, the solutions to the projection constraint, and the black hole degeneracy spectrum. Our methods are capable of handling the different countings proposed and discussed in the literature. The generating functions presented here provide the appropriate starting point to extend the results already obtained for microscopic black holes to the macroscopic regime --in particular those concerning the area law and the appearance of an effectively equidistant area spectrum.
On Combinatorial Formulas for Macdonald Polynomials
Published
• View Publication
• BIB
A recent breakthrough in the theory of (type A) Macdonald polynomials is due to Haglund, Haiman and Loehr, who exhibited a combinatorial formula for these polynomials in terms of a pair of statistics on fillings of Young diagrams. Ram and Yip gave a formula for the Macdonald polynomials of arbitrary type in terms of so-called alcove walks; these originate in the work of Gaussent-Littelmann and of the author with Postnikov on discrete counterparts to the Littelmann path model. In this paper, we relate the above developments, by explaining how the Ram-Yip formula compresses to a new formula, which is similar to the Haglund-Haiman-Loehr one but contains considerably fewer terms.
Families of prudent self-avoiding walks
Published
• View Publication
• BIB
A self-avoiding walk (SAW) on the square lattice is prudent if it never takes a step towards a vertex it has already visited. Prudent walks differ from most classes of SAW that have been counted so far in that they can wind around their starting point. Their enumeration was first addressed by Préa in 1997. He defined 4 classes of prudent walks, of increasing generality, and wrote a system of recurrence relations for each of them . However, these relations involve more and more parameters as the generality of the class increases. The first class actually consists of partially directed walks, and its generating function is well-known to be rational. The second class was proved to have an algebraic (quadratic) generating function by Duchi (2005). Here, we solve exactly the third class, which turns out to be much more complex: its generating function is not algebraic, nor even D-finite. The fourth class -- general prudent walks -- is the only isotropic one, and still defeats us. However, we design an isotropic family of prudent walks on the triangular lattice, which we count exactly. Again, the generating function is proved to be non-D-finite. We also study the asymptotic properties of these classes of walks, with the (somewhat disappointing) conclusion that their endpoint moves away from the origin at a positive speed. This is confirmed visually by the random generation procedures we have designed.
A combinatorial proof of the Removal Lemma for Groups
Green [Geometric and Functional Analysis 15 (2005), 340--376] established a version of the Szemerédi Regularity Lemma for abelian groups and derived the Removal Lemma for abelian groups as its corollary. We provide another proof of his Removal Lemma that allows us to extend its statement to all finite groups. We also discuss possible extensions of the Removal Lemma to systems of equations.
Square-Difference-Free Sets of Size Omega(n^{0.7334...})
A set A is square-difference free (henceforth SDF) if there do not exist x,y\in A, x\ne y, such that |x-y| is a square. Let sdf(n) be the size of the largest SDF subset of {1,...,n}. Ruzsa has shown that sdf(n) = Ω(n^{0.5(1+ \log_{65} 7)}) = Ω(n^{0.733077...}) We improve on the lower bound by showing sdf(n) = Ω(n^{0.5(1+ \log_{205} 12)})= Ω(n^{.7443...}) As a corollary we obtain a new lower bound on the quadratic van der Waerden numbers.
An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries
We prove that if the cardinality of a subset of the 2-dimensional vector space over a finite field with $q$ elements is $\ge ρq^2$, with $\frac{1}{\sqrt{q}}<<ρ\leq 1$, then it contains an isometric copy of $\ge cρq^3$ triangles.
3--symmetric and 3--decomposable drawings of $K_n$ (extended version)
Even the most superficial glance at the vast majority of crossing-minimal geometric drawings of $K_n$ reveals two hard-to-miss features. First, all such drawings appear to be 3-fold symmetric (or simply {\em 3-symmetric}) . And second, they all are {\em 3-decomposable}, that is, there is a triangle $T$ enclosing the drawing, and a balanced partition $A, B, C$ of the underlying set of points $P$, such that the orthogonal projections of $P$ onto the sides of $T$ show $A$ between $B$ and $C$ on one side, $B$ between $A$ and $C$ on another side, and $C$ between $A$ and $B$ on the third side. In fact, we conjecture that all optimal drawings are 3-decomposable, and that there are 3-symmetric optimal constructions for all $n$ multiple of 3. In this paper, we show that any 3-decomposable geometric drawing of $K_n$ has at least $0.380029\binom{n}{4}+Θ(n^3)$ crossings. On the other hand, we produce 3-symmetric and 3-decomposable drawings that improve the {\em general} upper bound for the rectilinear crossing number of $K_n$ to $0.380488\binom{n}{4}+Θ(n^3)$. We also give explicit 3-symmetric and 3-decomposable constructions for $n<100$ that are at least as good as those previously known.
Long heterochromatic paths in heterochromatic triangle free graphs
In this paper, graphs under consideration are always edge-colored. We consider long heterochromatic paths in heterochromatic triangle free graphs. Two kinds of such graphs are considered, one is complete graphs with Gallai colorings, i.e., heterochromatic triangle free complete graphs; the other is heterochromatic triangle free graphs with $k$-good colorings, i.e., minimum color degree at least $k$. For the heterochromatic triangle free graphs $K_n$, we obtain that for every vertex $v\in V(K_n)$, $K_n$ has a heterochromatic $v$-path of length at least $d^c(v)$; whereas for the heterochromatic triangle free graphs $G$ we show that if, for any vertex $v\in V(G)$, $d^c(v)\geq k\geq 6$, then $G$ a heterochromatic path of length at least $\frac{3k}{4}$.
Indestructible colourings and rainbow Ramsey theorems
Published
• View Publication
• BIB
We give a negative answer to a question of Erdos and Hajnal: it is consistent that GCH holds and there is a colouring $c:[{ω_2}]^2\to 2$ establishing $ω_2 \not\to [(ω_1;ω)]^2_2$ such that some colouring $g:[ω_1]^2\to 2$ can not be embedded into $c$. It is also consistent that $2^{ω_1}$ is arbitrarily large, and a function $g$ establishes $2^{ω_1} \not\to [(ω_1,ω_2)]^2_{ω_1}$ such that there is no uncountable $g$-rainbow subset of $2^{ω_1}$. We also show that for each $k\in ω$ it is consistent with Martin's Axiom that the negative partition relation $ω_1 \not\to^* [(ω_1;ω_1)]_{k-bdd}$ holds.
On Intersection Representations and Clique Partitions of Graphs
A multifamily set representation of a finite simple graph $G$ is a multifamily $\mathcal{F}$ of sets (not necessarily distinct) for which each set represents a vertex in $G$ and two sets in $\mathcal{F}$ intersects if and only if the two corresponding vertices are adjacent. For a graph $G$, an \textit{edge clique covering} (\textit{edge clique partition}, respectively) $\mathcal{Q}$ is a set of cliques for which every edge is contained in \textit{at least} (\textit{exactly}, respectively) one member of $\mathcal{Q}$. In 1966, P. Erdös, A. Goodman, and L. Pósa (The representation of a graph by set intersections, \textit{Canadian J. Math.}, \textbf{18}, pp.106-112) pointed out that for a graph there is a one-to-one correspondence between multifamily set representations $\mathcal{F}$ and clique coverings $\mathcal{Q}$ for the edge set. Furthermore, for a graph one may similarly have a one-to-one correspondence between particular multifamily set representations with intersection size at most one and clique partitions of the edge set. In 1990, S. McGuinness and R. Rees (On the number of distinct minimal clique partitions and clique covers of a line graph, \textit{Discrete Math.} \textbf{83} (1990) 49-62.) calculated the number of distinct clique partitions for line graphs. In this paper, we study the set representations of graphs corresponding to edge clique partitions in various senses, namely family representations of \textit{distinct} sets, antichain representations of \textit{mutually exclusive} sets, and uniform representations of sets with the \textit{same cardinality}. Among others, we completely determine the number of distinct family representations and the number of antichain representations of line graphs.
On Base Partitions And Cover Partitions Of Skew Characters
Published in Electron. J. Combin. 15(1) (2008), N30
• View Publication
• BIB
In this paper we give an easy combinatorial description for the base partition B of a skew character [A], which is the intersection of all partitions alpha whose corresponding character [alpha] appears in [A].
This we use to construct the cover partition C for the ordinary outer product as well as for the Schubert product of two characters and for some skew characters, here the cover partition is the union of all partitions whose corresponding character appears in the product or in the skew character.
This gives us also the Durfee size for arbitrary Schubert products.
Digraphs with a fixed number of edges and vertices, having a maximal number of walks of length 2
Inspired by the work of Backelin on non-commutative correspondences to Macaulay's theorem of the growth of the Hilbert series of affine algebras, we study embedding dimension dependant versions of his degree 2 to degree 3 result. In graph-theoretical terms, we study the following question: what is the maximal number of directed walks of length 2 in a digraph with (k) edges and (n) vertices? The problem can also be formulated as follows: maximize (< λ, λ^T >) when (λ) is a partition of (k), contained in an (n \times n) box. We show that for mild restrictions on (n), optimal digraphs are the ``stars of saturated stars''.
Transitive latin bitrades
In this note we give two results. First, if a latin bitrade $(T_1, T_2)$ is primary, thin, separated, and the autotopism group of $T_1$ acts regularly on $T_1$, then $(T_1, T_2)$ may be derived from a group-based construction. Second, if a latin bitrade $(T_1, T_2)$ has genus 0 then the disjoint mate $T_2$ is unique and the autotopism group of $T_1$ is equal to the autotopism group of $T_2$.
$d$-Regular graphs of acyclic chromatic index at least $d+2$
Published in J. Graph Theory 63 (2010), no. 3, 226-230
• View Publication
• BIB
An $acyclic$ edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycles. The \emph{acyclic chromatic index} of a graph is the minimum number k such that there is an acyclic edge coloring using k colors and is denoted by $a'(G)$. It was conjectured by Alon, Sudakov and Zaks
(and earlier by Fiamcik) that $a'(G)\le Δ+2$, where $Δ=Δ(G)$ denotes the maximum degree of the graph. Alon et.al also raised the question whether the complete graphs of even order are the only regular graphs which require $Δ+2$ colors to be acyclically edge colored. In this paper, using a simple counting argument we observe not only that this is not true, but infact all d-regular graphs with $2n$ vertices and $d > n$, requires at least $d+2$ colors. We also show that $a'(K_{n,n}) \ge n+2$, when $n$ is odd using a more non-trivial argument(Here $K_{n,n}$ denotes the complete bipartite graph with $n$ vertices on each side). This lower bound for $K_{n,n}$ can be shown to be tight for some families of complete bipartite graphs and for small values of $n$. We also infer that for every $d,n$ such that $d \ge 5$, $n \ge 2d + 3$ and $dn$ even, there exist $d$-regular graphs which require at least $d+2$-colors to be acyclically edge colored.
Hamiltonicity thresholds in Achlioptas processes
Published
• View Publication
• BIB
In this paper we analyze the appearance of a Hamilton cycle in the following random process. The process starts with an empty graph on n labeled vertices. At each round we are presented with K=K(n) edges, chosen uniformly at random from the missing ones, and are asked to add one of them to the current graph. The goal is to create a Hamilton cycle as soon as possible.
We show that this problem has three regimes, depending on the value of K. For K=o(\log n), the threshold for Hamiltonicity is (1+o(1))n\log n /(2K), i.e., typically we can construct a Hamilton cycle K times faster that in the usual random graph process. When K=ω(\log n) we can essentially waste almost no edges, and create a Hamilton cycle in n+o(n) rounds with high probability. Finally, in the intermediate regime where K=Θ(\log n), the threshold has order n and we obtain upper and lower bounds that differ by a multiplicative factor of 3.
An Equivalence Relation on A Set of Words of Finite Length
Published
• View Publication
• BIB
In this work, we study several equivalence relations induced from the partitions of the sets of words of finite length. We have results on words over finite fields extending the work of Bacher (2002, Europ. J. Combinatorics, {\bf 23}, 141-147). Cardinalities of its equivalence classes and explicit relationships between two words are determined. Moreover, we deal with words of finite length over the ring $\mathbb{Z}/N\mathbb{Z}$ where $N$ is a positive integer. We have arithmetic results parallel to Bacher's.
Volume Laws for Boxed Plane Partitions and Area Laws for Ferrers Diagrams
Published in Uwe Schwerdtfeger, Volume Laws for Boxed Plane Partitions and Area Laws for Ferrers Diagrams, DMTCS proc. AI, 2008, 531-540
• View Publication
• BIB
We asymptotically analyse the volume-random variables of general, symmetric and cyclically symmetric plane partitions fitting inside a box. We consider the respective symmetry class equipped with the uniform distribution. We also prove area limit laws for two ensembles of Ferrers diagrams. Most of the limit laws are Gaussian.
Stabbing simplices by points and flats
Published in Discrete and Computational Geometry, 43:321--338, 2010
• View Publication
• BIB
The following result was proved by Barany in 1982: For every d >= 1 there exists c_d > 0 such that for every n-point set S in R^d there is a point p in R^d contained in at least c_d n^{d+1} - O(n^d) of the simplices spanned by S.
We investigate the largest possible value of c_d. It was known that c_d <= 1/(2^d(d+1)!) (this estimate actually holds for every point set S). We construct sets showing that c_d <= (d+1)^{-(d+1)}, and we conjecture this estimate to be tight. The best known lower bound, due to Wagner, is c_d >= gamma_d := (d^2+1)/((d+1)!(d+1)^{d+1}); in his method, p can be chosen as any centerpoint of S. We construct n-point sets with a centerpoint that is contained in no more than gamma_d n^{d+1}+O(n^d) simplices spanned by S, thus showing that the approach using an arbitrary centerpoint cannot be further improved.
We also prove that for every n-point set S in R^d there exists a (d-2)-flat that stabs at least c_{d,d-2} n^3 - O(n^2) of the triangles spanned by S, with c_{d,d-2}>=(1/24)(1- 1/(2d-1)^2). To this end, we establish an equipartition result of independent interest (generalizing planar results of Buck and Buck and of Ceder): Every mass distribution in R^d can be divided into 4d-2 equal parts by 2d-1 hyperplanes intersecting in a common (d-2)-flat.
Yet another generalization of Postnikov's hook length formula for binary trees
Published
• View Publication
• BIB
We discover another one-parameter generalization of Postnikov's hook length formula for binary trees. The particularity of our formula is that the hook length $h_v$ appears as an exponent. As an application, we derive another simple hook length formula for binary trees when the underlying parameter takes the value 1/2.