Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Geometric WOM codes and coding strategies for multilevel flash memories
Published
• View Publication
• BIB
This paper investigates the design and application of write-once memory (WOM) codes for flash memory storage. Using ideas from Merkx ('84), we present a construction of WOM codes based on finite Euclidean geometries over $\mathbb{F}_2$. This construction yields WOM codes with new parameters and provides insight into the criterion that incidence structures should satisfy to give rise to good codes. We also analyze methods of adapting binary WOM codes for use on multilevel flash cells. In particular, we give two strategies based on different rewrite objectives. A brief discussion of the average-write performance of these strategies, as well as concatenation methods for WOM codes is also provided.
Random Hyperbolic Graphs: Degree Sequence and Clustering
Published
• View Publication
• BIB
In the last decades, the study of models for large real-world networks has been a very popular and active area of research. A reasonable model should not only replicate all the structural properties that are observed in real world networks (for example, heavy tailed degree distributions, high clustering and small diameter), but it should also be amenable to mathematical analysis. There are plenty of models that succeed in the first task but are hard to analyze rigorously. On the other hand, a multitude of proposed models, like classical random graphs, can be studied mathematically, but fail in creating certain aspects that are observed in real-world networks.
Recently, Papadopoulos, Krioukov, Boguna and Vahdat [INFOCOM'10] introduced a random geometric graph model that is based on hyperbolic geometry. The authors argued empirically and by some preliminary mathematical analysis that the resulting graphs have many of the desired properties. Moreover, by computing explicitly a maximum likelihood fit of the Internet graph, they demonstrated impressively that this model is adequate for reproducing the structure of real graphs with high accuracy.
In this work we initiate the rigorous study of random hyperbolic graphs. We compute exact asymptotic expressions for the expected number of vertices of degree k for all k up to the maximum degree and provide small probabilities for large deviations. We also prove a constant lower bound for the clustering coefficient. In particular, our findings confirm rigorously that the degree sequence follows a power-law distribution with controllable exponent and that the clustering is nonvanishing.
Index Coding - An Interference Alignment Perspective
Published
• View Publication
• BIB
The index coding problem is studied from an interference alignment perspective, providing new results as well as new insights into, and generalizations of, previously known results. An equivalence is established between multiple unicast index coding where each message is desired by exactly one receiver, and multiple groupcast index coding where a message can be desired by multiple receivers, which settles the heretofore open question of insufficiency of linear codes for the multiple unicast index coding problem by equivalence with multiple groupcast settings where this question has previously been answered. Necessary and sufficient conditions for the achievability of rate half per message are shown to be a natural consequence of interference alignment constraints, and generalizations to feasibility of rate $\frac{1}{L+1}$ per message when each destination desires at least $L$ messages, are similarly obtained. Finally, capacity optimal solutions are presented to a series of symmetric index coding problems inspired by the local connectivity and local interference characteristics of wireless networks. The solutions are based on vector linear coding.
On diamond-free subposets of the Boolean lattice
Published
• View Publication
• BIB
The Boolean lattice of dimension two, also known as the diamond, consists of four distinct elements with the following property: $A\subset B,C\subset D$. A diamond-free family in the $n$-dimensional Boolean lattice is a subposet such that no four elements form a diamond. Note that elements $B$ and $C$ may or may not be related.
There is a diamond-free family in the $n$-dimensional Boolean lattice of size $(2-o(1)){n\choose\lfloor n/2\rfloor}$. In this paper, we prove that any diamond-free family in the $n$-dimensional Boolean lattice has size at most $(2.25+o(1)){n\choose\lfloor n/2\rfloor}$. Furthermore, we show that the so-called Lubell function of a diamond-free family in the $n$-dimensional Boolean lattice is at most $2.25+o(1)$, which is asymptotically best possible.
Completions of epsilon-dense partial Latin squares
Published
• View Publication
• BIB
A classical question in combinatorics is the following: given a partial latin square P, when can we complete P to a latin square L? In this paper, we will investigate the class of \leqε-dense partial latin squares: partial latin squares in which each symbol, row, and column contains \leqεn-many nonblank cells. A conjecture of Nash-Williams on triangulations of graphs led Daykin and Häggkvist to conjecture that all \leq(1/4)-dense partial latin squares are completable. In this paper, we will discuss the proof methods and results used in previous attempts to resolve this conjecture, introduce a novel technique derived from a paper by Jacobson and Matthews on generating random latin squares, and use this technique to study \leqε-dense partial latin squares that contain \leqdn^2 cells.
In particular, we establish that all \leq(1/5300)-dense n by n partial latin squares are completable, as well as all \leq(1/13)-dense n by n partial latin squares that contain \leq(8.8*10^(-5)*n^2)-many filled cells. This improves prior results of Gustavsson, which required ε= d \leq 10^(-7), as well as Chetwynd and Haggkvist, which required ε= d \leq 10^(-5) and n even, \leq 10^7.
Classification of topological symmetry groups of $K_n$
Published in Topology Proceedings, vol. 43, 2014, pp. 209-233
• Search Publication
In this paper we complete the classification of topological symmetry groups for complete graphs $K_n$ by characterizing which $K_n$ can have a cyclic group, a dihedral group, or a subgroup of $D_m \times D_m$ where $m$ is odd, as its topological symmetry group.
A De Bruijn-Erdos theorem for 1-2 metric spaces
Published in Czechoslovak Mathematical Journal 64 (2014), 45--51
• Search Publication
A special case of a combinatorial theorem of De Bruijn and Erdos asserts that every noncollinear set of n points in the plane determines at least n distinct lines. Chen and Chvatal suggested a possible generalization of this assertion in metric spaces with appropriately defined lines. We prove this generalization in all metric spaces where each nonzero distance equals 1 or 2.
Bounds For The Distance Estrada Index Of Graphs
Published
• View Publication
• BIB
The D-eigenvalues μ_1,μ_2,...,μ_{n} of a connected graph G are the eigenvalues of its distance matrix. The distance Estrada index of G is defined in [15] as DEE=DEE(G)=Σ_{i=1}^n e^{μ_{i}}
In this paper, we give better lower bounds for the distance Estrada index of any connected graph as well as some relations between DEE(G) and the distance energy.
Note on a partition limit theorem for rank and crank
Published
• View Publication
• BIB
If L is a partition of n, the rank of L is the size of the largest part minus the number of parts. Under the uniform distribution on partitions, Bringmann, Mahlburg, and Rhoades showed that the rank statistic has a limiting distribution. We identify the limit as the difference between two independent extreme value distributions and as the distribution of B(T) where B(t) is standard Brownian motion and T is the first time that an independent three-dimensional Brownian motion hits the unit sphere. The same limit holds for the crank.
Combinatorial coloring of 3-colorable graphs
Published
• View Publication
• BIB
We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. We present a combinatorial algorithm getting down to $\tO(n^{4/11})$ colors. This is the first combinatorial improvement of Blum's $\tO(n^{3/8})$ bound from FOCS'90. Like Blum's algorithm, our new algorithm composes nicely with recent semi-definite approaches. The current best bound is $O(n^{0.2072})$ colors by Chlamtac from FOCS'07. We now bring it down to $O(n^{0.2038})$ colors.
Symmetric graphs with 2-arc transitive quotients
Published
• View Publication
• BIB
A graph $\Ga$ is $G$-symmetric if $\Ga$ admits $G$ as a group of automorphisms acting transitively on the set of vertices and the set of arcs of $\Ga$, where an arc is an ordered pair of adjacent vertices. In the case when $G$ is imprimitive on $V(\Ga)$, namely when $V(\Ga)$ admits a nontrivial $G$-invariant partition $\BB$, the quotient graph $\Ga_{\BB}$ of $\Ga$ with respect to $\BB$ is always $G$-symmetric and sometimes even $(G, 2)$-arc transitive. (A $G$-symmetric graph is $(G, 2)$-arc transitive if $G$ is transitive on the set of oriented paths of length two.) In this paper we obtain necessary conditions for $\Ga_{\BB}$ to be $(G, 2)$-arc transitive (regardless of whether $\Ga$ is $(G, 2)$-arc transitive) in the case when $v-k$ is an odd prime $p$, where $v$ is the block size of $\BB$ and $k$ is the number of vertices in a block having neighbours in a fixed adjacent block. These conditions are given in terms of $v, k$ and two other parameters with respect to $(\Ga, \BB)$ together with a certain 2-point transitive block design induced by $(\Ga, \BB)$. We prove further that if $p=3$ or $5$ then these necessary conditions are essentially sufficient for $\Ga_{\BB}$ to be $(G, 2)$-arc transitive.
MacWilliams-type equivalence relations
Let $\mathcal{P}$ be a poset on $[n]$, $\mathcal{I}(\mathcal{P})$ the set of order ideals of $\mathcal{P}$ and $E$ an equivalence relation on $\mathcal{I}(\mathcal{P})$. The concepts of the dual relation $E^*$ of an equivalence relation $E$, the $E$-weight (resp. $E^*$-weight) distribution of a linear poset code (resp. its dual poset code) and a MacWilliams-type equivalence relation are introduced. We give a characterization for a MacWilliams-type equivalence relation in terms of MacWilliams-type identities for a linear poset code. Three kinds of equivalence relations on $\mathcal{I}(\mathcal{P})$ which are of MacWilliams-type are found, i.e., $(i)$ we show that every equivalence relation defined by the automorphism of $\mathcal{P}$ is a MacWilliams-type; $(ii)$ we provide a new characterization for poset structures when the equivalence relation defined by the same cardinality on $\mathcal{I}(\mathcal{P})$ becomes a MacWilliams-type; $(iii)$ we also give necessary and sufficient conditions for poset structures in which the equivalence relation defined by the order-isomorphism on $\mathcal{I}(\mathcal{P})$ is a MacWilliams-type.
Combinatorics of KP solitons from the real Grassmannian
Published
• View Publication
• BIB
Given a point A in the real Grassmannian, it is well-known that one can construct a soliton solution u_A(x,y,t) to the KP equation. The contour plot of such a solution provides a tropical approximation to the solution when the variables x, y, and t are considered on a large scale and the time t is fixed. In this paper we give an overview of our work on the combinatorics of such contour plots. Using the positroid stratification and the Deodhar decomposition of the Grassmannian (and in particular the combinatorics of Go-diagrams), we completely describe the asymptotics of these contour plots when |y| or |t| go to infinity. Other highlights include: a surprising connection with total positivity and cluster algebras; results on the inverse problem; and the characterization of regular soliton solutions -- that is, a soliton solution u_A(x,y,t) is regular for all times t if and only if A comes from the totally non-negative part of the Grassmannian.
Operators of rank 1, discrete path integration and graph Laplacians
We prove a formula for a characteristic polynomial of an operator expressed as a polynomial of rank 1 operators. The formula uses a discrete analog of path integration and implies a generalization of the Forman-Kenyon's formula [4,6] for a determinant of the graph Laplacian (which, in its turn, implies the famous matrix-tree theorem by Kirchhoff) as well as its level 2 analog, where the summation is performed over triangulated nodal surfaces with boundary.
Combinatorial Topology and the Global Dimension of Algebras Arising in Combinatorics
Published
• View Publication
• BIB
In a highly influential paper, Bidigare, Hanlon and Rockmore showed that a number of popular Markov chains are random walks on the faces of a hyperplane arrangement. Their analysis of these Markov chains took advantage of the monoid structure on the set of faces. This theory was later extended by Brown to a larger class of monoids called left regular bands. In both cases, the representation theory of these monoids played a prominent role. In particular, it was used to compute the spectrum of the transition operators of the Markov chains and to prove diagonalizability of the transition operators.
In this paper, we establish a close connection between algebraic and combinatorial invariants of a left regular band: we show that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band. For instance, we show that the global dimension of these algebras is bounded above by the Leray number of the associated order complex. Conversely, we associate to every flag complex a left regular band whose algebra has global dimension precisely the Leray number of the flag complex.
Random doubly stochastic matrices: The circular law
Published in Annals of Probability 2014, Vol. 42, No. 3, 1161-1196
• View Publication
• BIB
Let $X$ be a matrix sampled uniformly from the set of doubly stochastic matrices of size $n\times n$. We show that the empirical spectral distribution of the normalized matrix $\sqrt{n}(X-{\mathbf {E}}X)$ converges almost surely to the circular law. This confirms a conjecture of Chatterjee, Diaconis and Sly.
Binary Matroids with Graphic Cocircuits
An excluded minor characterization for the class of binary signed-graphic matroids with graphic cocircuits is provided. In this report we present the necessary computations for the case analysis in the proof.
A tighter Erdös-Pósa function for long cycles
Published
• View Publication
• BIB
We prove that there exists a bivariate function f with f(k,l) = O(l k log k) such that for every naturals k and l, every graph G has at least k vertex-disjoint cycles of length at least l or a set of at most f(k,l) vertices that meets all cycles of length at least l. This improves a result by Birmelé, Bondy and Reed (Combinatorica, 2007), who proved the same result with f(k,l) = Θ(l k^2).
On the expansion of some exponential periods in an integer base
Published in Math. Ann. 346 (2010), 107-116
• View Publication
• BIB
We derive a lower bound for the subword complexity of the base-$b$ expansion ($b\geq 2$) of all real numbers whose irrationality exponent is equal to 2. This provides a generalization of a theorem due to Ferenczi and Mauduit. As a consequence, we obtain the first lower bound for the subword complexity of the number $e$ and of some other transcendental exponential periods.
Descent polynomials for k bubble-sortable permutations of type B
Published
• View Publication
• BIB
Motivated by the work of Chung, Claesson, Dukes, and Graham, we define a natural type B analog of the classic bubble sort, and use it to define a type B analog of the maximum drop statistic. We enumerate (by explicit, recursive, and generating function formulas) signed permutations with r type B descents and type B maximum drop at most k. We also find a connection between these signed permutations and certain 2-colored juggling sequences.