Rewriting Codes for Joint Information Storage in Flash Memories

Memories whose storage cells transit irreversibly between states have been common since the start of the data storage technology. In recent years, flash memories have become a very important family of such memories. A flash memory cell has q states—state 0.1.....q-1 - and can only transit from a lower state to a higher state before the expensive erasure operation takes place. We study rewriting codes that enable the data stored in a group of cells to be rewritten by only shifting the cells to higher states. Since the considered state transitions are irreversible, the number of rewrites is bounded. Our objective is to maximize the number of times the data can be rewritten. We focus on the joint storage of data in flash memories, and study two rewriting codes for two different scenarios. The first code, called floating code, is for the joint storage of multiple variables, where every rewrite changes one variable. The second code, called buffer code, is for remembering the most recent data in a data stream. Many of the codes presented here are either optimal or asymptotically optimal. We also present bounds to the performance of general codes. The results show that rewriting codes can integrate a flash memory’s rewriting capabilities for different variables to a high degree

Median eigenvalues of bipartite graphs

For a graph $G$ of order $n$ and with eigenvalues $\lambda_1\geqslant\cdots\geqslant\lambda_n$, the HL-index $R(G)$ is defined as $R(G) ={\max}\left\{|\lambda_{\lfloor(n+1)/2\rfloor}|, |\lambda_{\lceil(n+1)/2\rceil}|\right\}.$ We show that for every connected bipartite graph $G$ with maximum degree $\Delta\geqslant3$, $R(G)\leqslant\sqrt{\Delta-2}$ unless $G$ is the the incidence graph of a projective plane of order $\Delta-1$. We also present an approach through graph covering to construct infinite families of bipartite graphs with large HL-index

A Geometric Theory for Hypergraph Matching

We develop a theory for the existence of perfect matchings in hypergraphs under quite general conditions. Informally speaking, the obstructions to perfect matchings are geometric, and are of two distinct types: 'space barriers' from convex geometry, and 'divisibility barriers' from arithmetic lattice-based constructions. To formulate precise results, we introduce the setting of simplicial complexes with minimum degree sequences, which is a generalisation of the usual minimum degree condition. We determine the essentially best possible minimum degree sequence for finding an almost perfect matching. Furthermore, our main result establishes the stability property: under the same degree assumption, if there is no perfect matching then there must be a space or divisibility barrier. This allows the use of the stability method in proving exact results. Besides recovering previous results, we apply our theory to the solution of two open problems on hypergraph packings: the minimum degree threshold for packing tetrahedra in 3-graphs, and Fischer's conjecture on a multipartite form of the Hajnal-Szemer\'edi Theorem. Here we prove the exact result for tetrahedra and the asymptotic result for Fischer's conjecture; since the exact result for the latter is technical we defer it to a subsequent paper.Comment: Accepted for publication in Memoirs of the American Mathematical Society. 101 pages. v2: minor changes including some additional diagrams and passages of expository tex