Optimal Locally Repairable Codes and Connections to Matroid Theory

Petabyte-scale distributed storage systems are currently transitioning to erasure codes to achieve higher storage efficiency. Classical codes like Reed-Solomon are highly sub-optimal for distributed environments due to their high overhead in single-failure events. Locally Repairable Codes (LRCs) form a new family of codes that are repair efficient. In particular, LRCs minimize the number of nodes participating in single node repairs during which they generate small network traffic. Two large-scale distributed storage systems have already implemented different types of LRCs: Windows Azure Storage and the Hadoop Distributed File System RAID used by Facebook. The fundamental bounds for LRCs, namely the best possible distance for a given code locality, were recently discovered, but few explicit constructions exist. In this work, we present an explicit and optimal LRCs that are simple to construct. Our construction is based on grouping Reed-Solomon (RS) coded symbols to obtain RS coded symbols over a larger finite field. We then partition these RS symbols in small groups, and re-encode them using a simple local code that offers low repair locality. For the analysis of the optimality of the code, we derive a new result on the matroid represented by the code generator matrix.Comment: Submitted for publication, a shorter version was presented at ISIT 201

Gradient Coding from Cyclic MDS Codes and Expander Graphs

Gradient coding is a technique for straggler mitigation in distributed learning. In this paper we design novel gradient codes using tools from classical coding theory, namely, cyclic MDS codes, which compare favorably with existing solutions, both in the applicable range of parameters and in the complexity of the involved algorithms. Second, we introduce an approximate variant of the gradient coding problem, in which we settle for approximate gradient computation instead of the exact one. This approach enables graceful degradation, i.e., the $\ell_2$ error of the approximate gradient is a decreasing function of the number of stragglers. Our main result is that normalized adjacency matrices of expander graphs yield excellent approximate gradient codes, which enable significantly less computation compared to exact gradient coding, and guarantee faster convergence than trivial solutions under standard assumptions. We experimentally test our approach on Amazon EC2, and show that the generalization error of approximate gradient coding is very close to the full gradient while requiring significantly less computation from the workers

Conformal Field Theory as Microscopic Dynamics of Incompressible Euler and Navier-Stokes Equations

We consider the hydrodynamics of relativistic conformal field theories at finite temperature. We show that the limit of slow motions of the ideal hydrodynamics leads to the non-relativistic incompressible Euler equation. For viscous hydrodynamics we show that the limit of slow motions leads to the non-relativistic incompressible Navier-Stokes equation. We explain the physical reasons for the reduction and discuss the implications. We propose that conformal field theories provide a fundamental microscopic viewpoint of the equations and the dynamics governed by them.Comment: 4 page

Evolution to a singular measure and two sums of Lyapunov exponents

We consider dissipative dynamical systems represented by a smooth compressible flow in a finite domain. The density evolves according to the continuity (Liouville) equation. For a general, non-degenerate flow the result of the infinite time evolution of an initially smooth density is a singular measure. We give a condition for the non-degeneracy which allows to decide for a given flow whether the infinite time limit is singular. The condition uses a Green-Kubo type formula for the space-averaged sum of forward and backward-in-time Lyapunov exponents. We discuss how the sums determine the fluctuations of the entropy production rate in the SRB state and give examples of computation of the sums for certain velocity fields.Comment: 4 pages, published versio

Evolution of collision numbers for a chaotic gas dynamics

We put forward a conjecture of recurrence for a gas of hard spheres that collide elastically in a finite volume. The dynamics consists of a sequence of instantaneous binary collisions. We study how the numbers of collisions of different pairs of particles grow as functions of time. We observe that these numbers can be represented as a time-integral of a function on the phase space. Assuming the results of the ergodic theory apply, we describe the evolution of the numbers by an effective Langevin dynamics. We use the facts that hold for these dynamics with probability one, in order to establish properties of a single trajectory of the system. We find that for any triplet of particles there will be an infinite sequence of moments of time, when the numbers of collisions of all three different pairs of the triplet will be equal. Moreover, any value of difference of collision numbers of pairs in the triplet will repeat indefinitely. On the other hand, for larger number of pairs there is but a finite number of repetitions. Thus the ergodic theory produces a limitation on the dynamics.Comment: 4 pages, published versio

Complete characterization of single-cycle double ionization of argon from the nonsequential to the sequential ionization regime

Citation: Kubel, M., Burger, C., Kling, N. G., Pischke, T., Beaufore, L., Ben-Itzhak, I., . . . Bergues, B. (2016). Complete characterization of single-cycle double ionization of argon from the nonsequential to the sequential ionization regime. Physical Review A, 93(5), 9. doi:10.1103/PhysRevA.93.053422Selected features of nonsequential double ionization have been qualitatively reproduced by a multitude of different (quantum and classical) approaches. In general, however, the typical uncertainty of laser pulse parameters and the restricted number of observables measured in individual experiments leave room for adjusting theoretical results to match the experimental data. While this has been hampering the assessment of different theoretical approaches leading to conflicting interpretations, comprehensive experimental data that would allow such an ultimate and quantitative assessment have been missing so far. To remedy this situation we have performed a kinematically complete measurement of single-cycle multiple ionization of argon over a one order of magnitude range of intensity. The momenta of electrons and ions resulting from the ionization of the target gas are measured in coincidence, while each ionization event is tagged with the carrier-envelope phase and intensity of the 4-fs laser pulse driving the process. The acquired highly differential experimental data provide a benchmark for a rigorous test of the many competing theoretical models used to describe nonsequential double ionization

Identification of a Previously Unobserved Dissociative Ionization Pathway in Time-Resolved Photospectroscopy of the Deuterium Molecule

Citation: Cao, W., Laurent, G., Ben-Itzhak, I., & Cocke, C. L. (2015). Identification of a Previously Unobserved Dissociative Ionization Pathway in Time-Resolved Photospectroscopy of the Deuterium Molecule. Physical Review Letters, 114(11), 5. doi:10.1103/PhysRevLett.114.113001A femtosecond vacuum ultraviolet (VUV) pulse with high spectral resolution (< 200 meV) is selected from the laser-driven high order harmonics. This ultrafast VUV pulse is synchronized with an infrared (IR) laser pulse to study dissociative ionization in deuterium molecules. At a VUV photon energy of 16.95 eV, a previously unobserved bond-breaking pathway is found in which the dissociation direction does not follow the IR polarization. We interpret it as corresponding to molecules predissociating into two separated atoms, one of which is photoionized by the following IR pulse. A time resolved study allows us to determine the lifetime of the intermediate predissociation process to be about 1 ps. Additionally, the dissociative ionization pathways show high sensitivity to the VUV photon energy. As the VUV photon energy is blueshifted to 17.45 eV, the more familiar bond-softening channel is opened to compete with the newly discovered pathway. The interpretation of different pathways is supported by the energy sharing between the electron and nuclei

Clustering of matter in waves and currents

The growth rate of small-scale density inhomogeneities (the entropy production rate) is given by the sum of the Lyapunov exponents in a random flow. We derive an analytic formula for the rate in a flow of weakly interacting waves and show that in most cases it is zero up to the fourth order in the wave amplitude. We then derive an analytic formula for the rate in a flow of potential waves and solenoidal currents. Estimates of the rate and the fractal dimension of the density distribution show that the interplay between waves and currents is a realistic mechanism for providing patchiness of pollutant distribution on the ocean surface.Comment: 4 pages, 1 figur

Ensemble v-representable ab-initio density functional calculation of energy and spin in atoms: atest of exchange-correlation approximations

The total energies and the spin states for atoms and their first ions with Z = 1-86 are calculated within the the local spin-density approximation (LSDA) and the generalized-gradient approximation (GGA) to the exchange-correlation (xc) energy in density-functional theory. Atoms and ions for which the ground-state density is not pure-state v-representable, are treated as ensemble v- representable with fractional occupations of the Kohn-Sham system. A newly developed algorithm which searches over ensemble v-representable densities [E. Kraisler et al., Phys. Rev. A 80, 032115 (2009)] is employed in calculations. It is found that for many atoms the ionization energies obtained with the GGA are only modestly improved with respect to experimental data, as compared to the LSDA. However, even in those groups of atoms where the improvement is systematic, there remains a non-negligible difference with respect to the experiment. The ab-initio electronic configuration in the Kohn-Sham reference system does not always equal the configuration obtained from the spectroscopic term within the independent-electron approximation. It was shown that use of the latter configuration can prevent the energy-minimization process from converging to the global minimum, e.g. in lanthanides. The spin values calculated ab-initio fit the experiment for most atoms and are almost unaffected by the choice of the xc-functional. Among the systems with incorrectly obtained spin there exist some cases (e.g. V, Pt) for which the result is found to be stable with respect to small variations in the xc-approximation. These findings suggest a necessity for a significant modification of the exchange-correlation functional, probably of a non-local nature, to accurately describe such systems. PACS numbers: 31.15.

A nonlinear theory of non-stationary low Mach number channel flows of freely cooling nearly elastic granular gases

We use hydrodynamics to investigate non-stationary channel flows of freely cooling dilute granular gases. We focus on the regime where the sound travel time through the channel is much shorter than the characteristic cooling time of the gas. As a result, the gas pressure rapidly becomes almost homogeneous, while the typical Mach number of the flow drops well below unity. Eliminating the acoustic modes, we reduce the hydrodynamic equations to a single nonlinear and nonlocal equation of a reaction-diffusion type in Lagrangian coordinates. This equation describes a broad class of channel flows and, in particular, can follow the development of the clustering instability from a weakly perturbed homogeneous cooling state to strongly nonlinear states. If the heat diffusion is neglected, the reduced equation is exactly soluble, and the solution develops a finite-time density blowup. The heat diffusion, however, becomes important near the attempted singularity. It arrests the density blowup and brings about novel inhomogeneous cooling states (ICSs) of the gas, where the pressure continues to decay with time, while the density profile becomes time-independent. Both the density profile of an ICS, and the characteristic relaxation time towards it are determined by a single dimensionless parameter that describes the relative role of the inelastic energy loss and heat diffusion. At large values of this parameter, the intermediate cooling dynamics proceeds as a competition between low-density regions of the gas. This competition resembles Ostwald ripening: only one hole survives at the end.Comment: 20 pages, 15 figures, final versio