Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On the structure of the h-vector of a paving matroid
We give two proofs that the $h$-vector of any paving matroid is a pure O-sequence, thus answering in the affirmative a conjecture made by R. Stanley, for this particular class of matroids. We also investigate the problem of obtaining good lower bounds for the number of bases of a paving matroid given its rank and number of elements.
Small orders of Hadamard matrices and base sequences
Published in International Mathematical Forum, Vol. 6, 2011, no. 62, 3061-3067
• Search Publication
We update the list of odd integers n<10000 for which an Hadamard matrix of order 4n is known to exist. We also exhibit the first example of base sequences BS(40,39). Consequently, there exist T-sequences TS(n) of length n=79. The first undecided case has the length n=97.
Random Information Spread in Networks
Let G=(V,E) be an undirected loopless graph with possible parallel edges and s and t be two vertices of G. Assume that vertex s is labelled at the initial time step and that every labelled vertex copies its labelling to neighbouring vertices along edges with one labelled endpoint independently with probability p in one time step. In this paper, we establish the equivalence between the expected s-t first arrival time of the above spread process and the notion of the stochastic shortest s-t path. Moreover, we give a short discussion of analytical results on special graphs including the complete graph and s-t series-parallel graphs. Finally, we propose some lower bounds for the expected s-t first arrival time.
The spectrum of an asymmetric annihilation process
Published
• View Publication
• BIB
In recent work on nonequilibrium statistical physics, a certain Markovian exclusion model called an asymmetric annihilation process was studied by Ayyer and Mallick. In it they gave a precise conjecture for the eigenvalues (along with the multiplicities) of the transition matrix. They further conjectured that to each eigenvalue, there corresponds only one eigenvector. We prove the first of these conjectures by generalizing the original Markov matrix by introducing extra parameters, explicitly calculating its eigenvalues, and showing that the new matrix reduces to the original one by a suitable specialization. In addition, we outline a derivation of the partition function in the generalized model, which also reduces to the one obtained by Ayyer and Mallick in the original model.
Small covers and the equivariant bordism classification of 2-torus manifolds
Published in International Mathematics Research Notices, Vol. 2014, No. 24, pp. 6756--6797
• View Publication
• BIB
Associated with the Davis-Januszkiewicz theory of small covers, this paper deals with the theory of 2-torus manifolds from the viewpoint of equivariant bordism. We define a differential operator on the "dual" algebra of the unoriented $G_n$-representation algebra introduced by Conner and Floyd, where $G_n=(\Z_2)^n$. With the help of $G_n$-colored graphs (or mod 2 GKM graphs), we may use this differential operator to give a very simple description of tom Dieck-Kosniowski-Stong localization theorem in the setting of 2-torus manifolds. We then apply this to study the $G_n$-equivariant unoriented bordism classification of $n$-dimensional 2-torus manifolds. We show that the $G_n$-equivariant unoriented bordism class of each $n$-dimensional 2-torus manifold contains an $n$-dimensional small cover as its representative, solving the conjecture posed in [19]. In addition, we also obtain that the graded noncommutative ring formed by the equivariant unoriented bordism classes of 2-torus manifolds of all possible dimensions is generated by the classes of all generalized real Bott manifolds (as special small covers over the products of simplices). This gives a strong connection between the computation of $G_n$-equivariant bordism groups or ring and the Davis-Januszkiewicz theory of small covers. As a computational application, with the help of computer, we completely determine the structure of the group formed by equivariant bordism classes of all 4-dimensional 2-torus manifolds. Finally, we give some essential relationships among 2-torus manifolds, coloring polynomials, colored simple convex polytopes, colored graphs.
Hamilton cycles in dense vertex-transitive graphs
Published in J. Combin. Theory Ser. B 109 (2014), 34-72
• View Publication
• BIB
A famous conjecture of Lovász states that every connected vertex-transitive graph contains a Hamilton path. In this article we confirm the conjecture in the case that the graph is dense and sufficiently large. In fact, we show that such graphs contain a Hamilton cycle and moreover we provide a polynomial time algorithm for finding such a cycle.
Strong sign-coherency of certain symmetric polynomials, with application to cluster algebras
For each positive integer n, we define a polynomial in the variables z_1,...,z_n with coefficients in the ring $\mathbb{Q}[q,t,r]$ of polynomial functions of three parameters q, t, r. These polynomials naturally arise in the context of cluster algebras. We conjecture that they are symmetric polynomials in z_1,...,z_n, and that their expansions in terms of monomial, Schur, complete homogeneous, elementary and power sum symmetric polynomials are sign-coherent.
Haggkvist-Hell Graphs: A class of Kneser-colorable graphs
Published
• View Publication
• BIB
For positive integers n and r we define the Haggkvist-Hell graph, H_{n:r}, to be the graph whose vertices are the ordered pairs (h,T) where T is an r-subset of [n], and h is an element of [n] not in T. Vertices (h_x,T_x) and (h_y,T_y) are adjacent iff h_x \in T_y, h_y \in T_x, and T_x and T_y are disjoint. These triangle-free arc transitive graphs are an extension of the idea of Kneser graphs, and there is a natural homomorphism from the Haggkvist-Hell graph, H_{n:r}, to the corresponding Kneser graph, K_{n:r}. Haggkvist and Hell introduced the r=3 case of these graphs, showing that a cubic graph admits a homomorphism to H_{22:3} if and only if it is triangle-free. Gallucio, Hell, and Nesetril also considered the r=3 case, proving that H_{n:3} can have arbitrarily large chromatic number. In this paper we give the exact values for diameter, girth, and odd girth of all Haggkvist-Hell graphs, and we give bounds for independence, chromatic, and fractional chromatic number. Furthermore, we extend the result of Gallucio et al. to any fixed r \ge 2, and we determine the full automorphism group of H_{n:r}, which is isomorphic to the symmetric group on n elements.
On Wreath Products of One-Class Association Schemes
We give a full description of the algebraic structures of the Bose-Mesner algebra and Terwilliger algebra of the wreath product of one-class association schemes.
On cluster variables of rank two acyclic cluster algebras
Published
• View Publication
• BIB
In this note, we find an explicit formula for the Laurent expression of cluster variables of coefficient-free rank two cluster algebras associated with the matrix $\left(\begin{array}{cc} 0 & c -c & 0 \end{array}\right)$, and show that a large number of coefficients are non-negative. As a corollary, we obtain an explicit expression for the Euler-Poincaré characteristics of the corresponding quiver Grassmannians.
Generic combinatorial rigidity of periodic frameworks
Published
• View Publication
• BIB
We give a combinatorial characterization of generic minimal rigidity for planar periodic frameworks. The characterization is a true analogue of the Maxwell-Laman Theorem from rigidity theory: it is stated in terms of a finite combinatorial object and the conditions are checkable by polynomial time combinatorial algorithms.
To prove our rigidity theorem we introduce and develop periodic direction networks and Z2-graded-sparse colored graphs.
Abelian ideals of a Borel subalgebra and subsets of the Dynkin diagram
Published in J. Algebra, 344 (2011), 197-204
• View Publication
• BIB
Let $g$ be a simple Lie algebra and $Ab(g)$ the set of Abelian ideals of a Borel subalgebra of $g$. In this note, an interesting connection between $Ab(g)$ and the subsets of the Dynkin diagram of $g$ is discussed. We notice that the number of abelian ideals with $k$ generators equals the number of subsets of the Dynkin diagram with $k$ connected components. For $g$ of type $A_n$ or $C_n$, we provide a combinatorial explanation of this coincidence by constructing a suitable bijection. We also construct another general bijection between $Ab(g)$ and the subsets of the Dynkin diagram, which is based on the theory developed by Peterson and Kostant.
Hitting time results for Maker-Breaker games
Published in Proceedings of the 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA'11), 900--912, 2011 and Random Structures and Algorithms, 41(1):23--46, 2012
• View Publication
• BIB
We study Maker-Breaker games played on the edge set of a random graph. Specifically, we consider the random graph process and analyze the first time in a typical random graph process that Maker starts having a winning strategy for his final graph to admit some property $\mP$. We focus on three natural properties for Maker's graph, namely being $k$-vertex-connected, admitting a perfect matching, and being Hamiltonian. We prove the following optimal hitting time results: with high probability Maker wins the $k$-vertex connectivity game exactly at the time the random graph process first reaches minimum degree $2k$; with high probability Maker wins the perfect matching game exactly at the time the random graph process first reaches minimum degree $2$; with high probability Maker wins the Hamiltonicity game exactly at the time the random graph process first reaches minimum degree $4$. The latter two statements settle conjectures of Stojaković and Szabó.
A counterexample to Wegner's conjecture on good covers
Published
• View Publication
• BIB
In 1975 Wegner conjectured that the nerve of every finite good cover in R^d is d-collapsible. We disprove this conjecture. A good cover is a collection of open sets in R^d such that the intersection of every subcollection is either empty or homeomorphic to an open d-ball. A simplicial complex is d-collapsible if it can be reduced to an empty complex by repeatedly removing a face of dimension at most d-1 which is contained in a unique maximal face.
A new class of codes over Z_2 x Z_2
We study a new class of codes over Z_2 x Z_2 which we call L-codes. They arise as a natural fifth step in a series of analogies between Kleinian codes, binary codes, lattices and vertex operator algebras. This analogy will be explained in detail. We classify self-dual L-codes up to length 10 and provide tables for these codes and their weight enumerators up to length 4. We also discuss extremal codes for which a nearly complete classification is obtained.
The large deviation principle for the Erdős-Rényi random graph
Published
• View Publication
• BIB
What does an Erdos-Renyi graph look like when a rare event happens? This paper answers this question when p is fixed and n tends to infinity by establishing a large deviation principle under an appropriate topology. The formulation and proof of the main result uses the recent development of the theory of graph limits by Lovasz and coauthors and Szemeredi's regularity lemma from graph theory. As a basic application of the general principle, we work out large deviations for the number of triangles in G(n,p). Surprisingly, even this simple example yields an interesting double phase transition.
Crystals and total positivity on orientable surfaces
Published
• View Publication
• BIB
We develop a combinatorial model of networks on orientable surfaces, and study weight and homology generating functions of paths and cycles in these networks. Network transformations preserving these generating functions are investigated.
We describe in terms of our model the crystal structure and R-matrix of the affine geometric crystal of products of symmetric and dual symmetric powers of type A. Local realizations of the R-matrix and crystal actions are used to construct a double affine geometric crystal on a torus, generalizing the commutation result of Kajiwara-Noumi-Yamada and an observation of Berenstein-Kazhdan.
We show that our model on a cylinder gives a decomposition and parametrization of the totally nonnegative part of the rational unipotent loop group of GL_n.
Universal Cycles for Minimum Coverings of Pairs by Triples, with Application to 2-Radius Sequences
Published
• View Publication
• BIB
A new ordering, extending the notion of universal cycles of Chung {\em et al.} (1992), is proposed for the blocks of $k$-uniform set systems. Existence of minimum coverings of pairs by triples that possess such an ordering is established for all orders. Application to the construction of short 2-radius sequences is given, with some new 2-radius sequences found through computer search.
Linear Size Optimal q-ary Constant-Weight Codes and Constant-Composition Codes
Published in IEEE Transactions on Information Theory, vol. 56, no. 1, pp. 140-151, 2010
• View Publication
• BIB
An optimal constant-composition or constant-weight code of weight $w$ has linear size if and only if its distance $d$ is at least $2w-1$. When $d\geq 2w$, the determination of the exact size of such a constant-composition or constant-weight code is trivial, but the case of $d=2w-1$ has been solved previously only for binary and ternary constant-composition and constant-weight codes, and for some sporadic instances.
This paper provides a construction for quasicyclic optimal constant-composition and constant-weight codes of weight $w$ and distance $2w-1$ based on a new generalization of difference triangle sets. As a result, the sizes of optimal constant-composition codes and optimal constant-weight codes of weight $w$ and distance $2w-1$ are determined for all such codes of sufficiently large lengths. This solves an open problem of Etzion.
The sizes of optimal constant-composition codes of weight $w$ and distance $2w-1$ are also determined for all $w\leq 6$, except in two cases.
Optimal Partitioned Cyclic Difference Packings for Frequency Hopping and Code Synchronization
Published
• View Publication
• BIB
Optimal partitioned cyclic difference packings (PCDPs) are shown to give rise to optimal frequency-hopping sequences and optimal comma-free codes. New constructions for PCDPs, based on almost difference sets and cyclic difference matrices, are given. These produce new infinite families of optimal PCDPs (and hence optimal frequency-hopping sequences and optimal comma-free codes). The existence problem for optimal PCDPs in ${\mathbb Z}_{3m}$, with $m$ base blocks of size three, is also solved for all $m\not\equiv 8,16\pmod{24}$.