Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Loose Laplacian spectra of random hypergraphs
Published
• View Publication
• BIB
Let $H=(V,E)$ be an $r$-uniform hypergraph with the vertex set $V$ and the edge set $E$. For $1\leq s \leq r/2$, we define a weighted graph $G^{(s)}$ on the vertex set ${V\choose s}$ as follows. Every pair of $s$-sets $I$ and $J$ is associated with a weight $w(I,J)$, which is the number of edges in $H$ passing through $I$ and $J$ if $I\cap J=\emptyset$, and 0 if $I\cap J\not=\emptyset$. The $s$-th Laplacian $Ł^{(s)}$ of $H$ is defined to be the normalized Laplacian of $G^{(s)}$. The eigenvalues of $\mathcal L^{(s)}$ are listed as $λ^{(s)}_0, λ^{(s)}_1,..., λ^{(s)}_{{n\choose s}-1}$ in non-decreasing order. Let $\barλ^{(s)}(H)=\max_{i\not=0}\{|1-λ^{(s)}_i|\}$. The parameters $\barλ^{(s)}(H)$ and $λ^{(s)}_1(H)$, which were introduced in our previous paper, have a number of connections to the mixing rate of high-ordered random walks, the generalized distances/diameters, and the edge expansions.
For $0< p<1$, let $H^r(n,p)$ be a random $r$-uniform hypergraph over $[n]:={1,2,..., n}$, where each $r$-set of $[n]$ has probability $p$ to be an edge independently. For $1 \leq s \leq r/2$, $p(1-p)\gg \frac{\log^4 n}{n^{r-s}}$, and $1-p\gg \frac{\log n}{n^2}$, we prove that almost surely $$\barλ^{(s)}(H^r(n,p))\leq \frac{s}{n-s}+ (3+o(1))\sqrt{\frac{1-p}{{n-s\choose r-s}p}}.$$ We also prove that the empirical distribution of the eigenvalues of $Ł^{(s)}$ for $H^r(n,p)$ follows the Semicircle Law if $p(1-p)\gg \frac{\log^{1/3} n}{n^{r-s}}$ and $1-p\gg \frac{\log n}{n^{2+2r-2s}}$.
Diameter Perfect Lee Codes
Published in IEEE Transactions on Information Theory, Vol 58, No 8, pp. 5490--5499, August 2012
• View Publication
• BIB
Lee codes have been intensively studied for more than 40 years. Interest in these codes has been triggered by the Golomb-Welch conjecture on the existence of the perfect error-correcting Lee codes. In this paper we deal with the existence and enumeration of diameter perfect Lee codes. As main results we determine all $q$ for which there exists a linear diameter-4 perfect Lee code of word length $n$ over $Z_{q},$ and prove that for each $n\geq 3$ there are uncountable many diameter-4 perfect Lee codes of word length $n$ over $Z.$ This is in a strict contrast with perfect error-correcting Lee codes of word length $n$ over $Z\,$\ as there is a unique such code for $n=3,$ and its is conjectured that this is always the case when $2n+1$ is a prime. We produce diameter perfect Lee codes by an algebraic construction that is based on a group homomorphism. This will allow us to design an efficient algorithm for their decoding. We hope that this construction will turn out to be useful far beyond the scope of this paper.
Constructions of bipartite and bipartite-regular hypermaps
Published in The Electronic Journal of Combinatorics, Volume 19, Issue 4 (2012), Paper #P2
• View Publication
• BIB
A hypermap is bipartite if its set of flags can be divided into two parts A and B so that both A and B are the union of vertices, and consecutive vertices around an edge or a face are contained in alternate parts. A bipartite hypermap is bipartite-regular if its set of automorphisms is transitive on A and on B.
In this paper we see some properties of the constructions of bipartite hypermaps described algebraically by Breda and Duarte which generalize the construction induced by the Walsh representation of hypermaps. As an application we show that all surfaces have bipartite-regular hypermaps.
Decompositions of Complete Multipartite Graphs into Complete Graphs
Let $k\geq\ell\geq1$ and $n\geq 1$ be integers. Let $G(k,n)$ be the complete $k$-partite graph with $n$ vertices in each colour class. An $\ell$-decomposition of $G(k,n)$ is a set $X$ of copies of $K_k$ in $G(k,n)$ such that each copy of $K_\ell$ in $G(k,n)$ is a subgraph of exactly one copy of $K_k$ in $X$. This paper asks: when does $G(k,n)$ have an $\ell$-decomposition? The answer is well known for the $\ell=2$ case. In particular, $G(k,n)$ has a 2-decomposition if and only if there exists $k-2$ mutually orthogonal Latin squares of order $n$. For general $\ell$, we prove that $G(k,n)$ has an $\ell$-decomposition if and only if there are $k-\ell$ Latin cubes of dimension $\ell$ and order $n$, with an additional property that we call mutually invertible. This property is stronger than being mutually orthogonal. An $\ell$-decomposition of $G(k,n)$ is then constructed whenever no prime less than $k$ divides $n$.
Choosability with separation of complete multipartite graphs and hypergraphs
For a hypergraph G and a positive integer s, let χ_{\ell} (G,s) be the minimum value of l such that G is L-colorable from every list L with |L(v)|=l for each v\in V(G) and |L(u)\cap L(v)|\leq s for all u, v\in e\in E(G). This parameter was studied by Kratochvíl, Tuza and Voigt for various kinds of graphs. Using randomized constructions we find the asymptotics of χ_{\ell} (G,s) for balanced complete multipartite graphs and for complete k-partite k-uniform hypergraphs.
Stein's method, heat kernel, and linear functions on the orthogonal groups
Published
• View Publication
• BIB
Combining Stein's method with heat kernel techniques, we study the function Tr(AO), where A is a fixed n by n real matrix over such that Tr(AA^t)=n, and O is from the Haar measure of the orthogonal group O(n,R). It is shown that the total variation distance of the random variable Tr(AO) to a standard normal random variable is bounded by 2 * squareroot(2) /(n-1), slightly improving the constant in a bound of Meckes, which was obtained by completely different methods.
Choosability of planar graphs of girth 5
Thomassen proved that any plane graph of girth 5 is list-colorable from any list assignment such that all vertices have lists of size two or three and the vertices with list of size two are all incident with the outer face and form an independent set. We present a strengthening of this result, relaxing the constraint on the vertices with list of size two. This result is used to bound the size of the 3-list-coloring critical plane graphs with one precolored face.
Isomorphism for even cycle matroids - I
A seminal result by Whitney describes when two graphs have the same cycles. We consider the analogous problem for even cycle matroids. A representation of an even cycle matroid is a pair formed by a graph together with a special set of edges of the graph. Such a pair is called a signed graph. We consider the problem of determining the relation between two signed graphs representing the same even cycle matroid. We refer to this problem as the Isomorphism Problem for even cycle matroids. We present two classes of signed graphs and we solve the Isomorphism Problem for these two classes. We conjecture that, up to simple operations, any two signed graphs representing the same even cycle matroid are either in one of these classes, or related by a modification of an operation for graphic matroids, or belonging to a small set of examples.
A note on hitting maximum and maximal cliques with a stable set
Published
• View Publication
• BIB
It was recently proved that any graph satisfying $ω> \frac 23(Δ+1)$ contains a stable set hitting every maximum clique. In this note we prove that the same is true for graphs satisfying $ω\geq \frac 23(Δ+1)$ unless the graph is the strong product of $K_{ω/2}$ and an odd hole. We also provide a counterexample to a recent conjecture on the existence of a stable set hitting every sufficiently large maximal clique.
Bisections of graphs
Published
• View Publication
• BIB
A bisection of a graph is a bipartition of its vertex set in which the number of vertices in the two parts differ by at most 1, and its size is the number of edges which go across the two parts. In this paper, motivated by several questions and conjectures of Bollobás and Scott, we study maximum bisections of graphs. First, we extend the classical Edwards bound on maximum cuts to bisections. A simple corollary of our result implies that every graph on $n$ vertices and $m$ edges with no isolated vertices, and maximum degree at most $n/3 + 1$, admits a bisection of size at least $m/2 + n/6$. Then using the tools that we developed to extend Edwards's bound, we prove a judicious bisection result which states that graphs with large minimum degree have a bisection in which both parts span relatively few edges. A special case of this general theorem answers a conjecture of Bollobás and Scott, and shows that every graph on $n$ vertices and $m$ edges of minimum degree at least 2 admits a bisection in which the number of edges in each part is at most $(1/3+o(1))m$. We also present several other results on bisections of graphs.
Colouring the Triangles Determined by a Point Set
Published in J. Computational Geometry 3:86-101, 2012
• Search Publication
Let P be a set of n points in general position in the plane. We study the chromatic number of the intersection graph of the open triangles determined by P. It is known that this chromatic number is at least n^3/27+O(n^2), and if P is in convex position, the answer is n^3/24+O(n^2). We prove that for arbitrary P, the chromatic number is at most n^3/19.259+O(n^2).
Counting Humps in Motzkin paths
Published
• View Publication
• BIB
In this paper we study the number of humps (peaks) in Dyck, Motzkin and Schröder paths. Recently A. Regev noticed that the number of peaks in all Dyck paths of order $n$ is one half of the number of super Dyck paths of order $n$. He also computed the number of humps in Motzkin paths and found a similar relation, and asked for bijective proofs. We give a bijection and prove these results. Using this bijection we also give a new proof that the number of Dyck paths of order $n$ with $k$ peaks is the Narayana number. By double counting super Schröder paths, we also get an identity involving products of binomial coefficients.
Algorithms for Combinatorial Systems: Well-Founded Systems and Newton Iterations
Published in Journal of Combinatorial Theory. Series A. vol. 119, issue 8, pp. 1711-1773, 2012
• View Publication
• BIB
We consider systems of recursively defined combinatorial structures. We give algorithms checking that these systems are well founded, computing generating series and providing numerical values. Our framework is an articulation of the constructible classes of Flajolet and Sedgewick with Joyal's species theory. We extend the implicit species theorem to structures of size zero. A quadratic iterative Newton method is shown to solve well-founded systems combinatorially. From there, truncations of the corresponding generating series are obtained in quasi-optimal complexity. This iteration transfers to a numerical scheme that converges unconditionally to the values of the generating series inside their disk of convergence. These results provide important subroutines in random generation. Finally, the approach is extended to combinatorial differential systems.
Shuffle algebras, homology, and consecutive pattern avoidance
Published in Algebra & Number theory, Vol. 7 (2013), No. 3, 673-700
• View Publication
• BIB
Shuffle algebras are monoids for an unconvential monoidal category structure on graded vector spaces. We present two homological results on shuffle algebras with monomial relations, and use them to prove exact and asymptotic results on consecutive pattern avoidance in permutations.
No O(N) queries for checking if N intervals cover everything or for piercing N pairs of intervals. An O(N log N)-steps algorithm for piercing
The complexity of two related geometrical (indeed, combinatorial) problems is considered, measured by the number of queries needed to determine the solution. It is proved that one cannot check in a linear in N number of queries whether N intervals cover a whole interval, or whether for N pairs of intervals on two lines there is a pair of points intersecting each of these pairs of intervals ("piercing all pairs of intervals"). The proofs are related to examples which show that there is no "Helly property" here - the whole set of N may cover the whole interval (resp. may have no pair of points piercing all pairs of intervals) while any proper subset does not. Also, for the piercing problem we outline an algorithm, taking O(N log N) steps, to check whether there is a pair of points piercing all pairs of intervals and if there is, to find it.
Upper bound for the rainbow connection number of bridgeless graphs with diameter 3
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may have the same color, is called rainbow if no two edges of the path are colored the same. The rainbow connection number $rc(G)$ of $G$ is the smallest integer $k$ for which there exists a $k$-edge-coloring of $G$ such that every pair of distinct vertices of $G$ is connected by a rainbow path. It is known that for every integer $k\geq 2$ deciding if a graph $G$ has $rc(G)\leq k$ is NP-Hard, and a graph $G$ with $rc(G)\leq k$ has diameter $diam(G)\leq k$. In foregoing papers, we showed that a bridgeless graph with diameter 2 has rainbow connection number at most 5. In this paper, we prove that a bridgeless graph with diameter 3 has rainbow connection number at most 9. We also prove that for any bridgeless graph $G$ with radius $r$, if every edge of $G$ is contained in a triangle, then $rc(G)\leq 3r$. As an application, we get that for any graph $G$ with minimum degree at least 3, $rc(L(G))\leq 3 rad(L(G))\leq 3 (rad(G)+1)$.
Moduli spaces of punctured Poincaré disks
Published
• View Publication
• BIB
The Tamari lattice and the associahedron provide methods of measuring associativity on a line. The real moduli space of marked curves captures the space of such associativity. We consider a natural generalization by considering the moduli space of marked particles on the Poincaré disk, extending Tamari's notion of associativity based on nesting. A geometric and combinatorial construction of this space is provided, which appears in Kontsevich's deformation quantization, Voronov's swiss-cheese operad, and Kajiura and Stasheff's open-closed string theory.
Jack superpolynomials with negative fractional parameter: clustering properties and super-Virasoro ideals
Published in Communications in Mathematical Physics, Volume 316 Number 2 (December 2012), pages 395-440
• View Publication
• BIB
The Jack polynomials P_λ^{(α)} at α=-(k+1)/(r-1) indexed by certain (k,r,N)-admissible partitions are known to span an ideal I^{(k,r)}_N of the space of symmetric functions in N variables. The ideal I^{(k,r)}_N is invariant under the action of certain differential operators which include half the Virasoro algebra. Moreover, the Jack polynomials in I^{(k,r)}_N admit clusters of size at most k: they vanish when k+1 of their variables are identified, and they do not vanish when only k of them are identified. We generalize most of these properties to superspace using orthogonal eigenfunctions of the supersymmetric extension of the trigonometric Calogero-Moser-Sutherland model known as Jack superpolynomials. In particular, we show that the Jack superpolynomials P_Λ^{(α)} at α=-(k+1)/(r-1) indexed by certain (k,r,N)-admissible superpartitions span an ideal {\mathcal I}^{(k,r)}_N of the space of symmetric polynomials in N commuting variables and N anticommuting variables. We prove that the ideal {\mathcal I}^{(k,r)}_N is stable with respect to the action of the negative-half of the super-Virasoro algebra. In addition, we show that the Jack superpolynomials in {\mathcal I}^{(k,r)}_N vanish when k+1 of their commuting variables are equal, and conjecture that they do not vanish when only k of them are identified. This allows us to conclude that the standard Jack polynomials with prescribed symmetry should satisfy similar clustering properties. Finally, we conjecture that the elements of {\mathcal I}^{(k,2)}_N provide a basis for the subspace of symmetric superpolynomials in N variables that vanish when k+1 commuting variables are set equal to each other.
The Fibonacci partition triangles
Published
• View Publication
• BIB
In two previous papers we have presented partition formulae for the Fibonacci numbers motivated by the appearance of the Fibonacci numbers in the representation theory of the 3-Kronecker quiver and its universal cover, the 3-regular tree. Here we show that the basic information can be rearranged in two triangles. They are quite similar to the Pascal triangle of the binomial coefficients, but in contrast to the additivity rule for the Pascal triangle, we now deal with additivity along hooks, or, equivalently, with additive functions for valued translation quivers. As for the Pascal triangle, we see that the numbers in these Fibonacci partition triangles are given by evaluating polynomials. We show that the two triangles can be obtained from each other by looking at differences of numbers, it is sufficient to take differences along arrows and knight's moves.
Calculation of norms of some secial elements of cyclotomic fields
In this article we prove that (1-zeta+zeta^2) is a unit in the ring of integers of the cyclotomic field where zeta is a primitive n-th root of unity and n is coprime to 2 and 3. We also prove that for prime n, N_{Q(zeta)/Q}(1-zeta-zeta^2)=L(p) the p-th Lucas number thus completing the study of norms of quadratic polynomials in zeta that only have coefficients equal to 1 or -1 and both numbers appear.