Blame Trees

We consider the problem of merging individual text documents, motivated by the single-file merge algorithms of document-based version control systems. Abstracting away the merging of conflicting edits to an external conflict resolution function (possibly implemented by a human), we consider the efficient identification of conflicting regions. We show how to implement tree-based document representation to quickly answer a data structure inspired by the “blame” query of some version control systems. A “blame” query associates every line of a document with the revision in which it was last edited. Our tree uses this idea to quickly identify conflicting edits. We show how to perform a merge operation in time proportional to the sum of the logarithms of the shared regions of the documents, plus the cost of conflict resolution. Our data structure is functional and therefore confluently persistent, allowing arbitrary version DAGs as in real version-control systems. Our results rely on concurrent traversal of two trees with short circuiting when shared subtrees are encountered.United States. Defense Advanced Research Projects Agency (Clean-Slate Design of Resilient, Adaptive, Secure Hosts (CRASH) program, BAA10-70)United States. Defense Advanced Research Projects Agency (contract #N66001-10-2-4088 (Bridging the Security Gap with Decentralized Information Flow Control))Danish National Research Foundation (Center for Massive Data Algorithmics (MADALGO)

Cache-Oblivious Persistence

Partial persistence is a general transformation that takes a data structure and allows queries to be executed on any past state of the structure. The cache-oblivious model is the leading model of a modern multi-level memory hierarchy.We present the first general transformation for making cache-oblivious model data structures partially persistent

Isovector part of nuclear energy density functional from chiral two- and three-nucleon forces

A recent calculation of the nuclear energy density functional from chiral two- and three-nucleon forces is extended to the isovector terms pertaining to different proton and neutron densities. An improved density-matrix expansion is adapted to the situation of small isospin-asymmetries and used to calculate in the Hartree-Fock approximation the density-dependent strength functions associated with the isovector terms. The two-body interaction comprises of long-range multi-pion exchange contributions and a set of contact terms contributing up to fourth power in momenta. In addition, the leading order chiral three-nucleon interaction is employed with its parameters fixed in computations of nuclear few-body systems. With this input one finds for the asymmetry energy of nuclear matter the value $A(\rho_0) \simeq 26.5\,$MeV, compatible with existing semi-empirical determinations. The strength functions of the isovector surface and spin-orbit coupling terms come out much smaller than those of the analogous isoscalar coupling terms and in the relevant density range one finds agreement with phenomenological Skyrme forces. The specific isospin- and density-dependences arising from the chiral two- and three-nucleon interactions can be explored and tested in neutron-rich systems.Comment: 14 pages, 7 figures, to be published in European Physical Journal

The structure of typical clusters in large sparse random configurations

The initial purpose of this work is to provide a probabilistic explanation of a recent result on a version of Smoluchowski's coagulation equations in which the number of aggregations is limited. The latter models the deterministic evolution of concentrations of particles in a medium where particles coalesce pairwise as time passes and each particle can only perform a given number of aggregations. Under appropriate assumptions, the concentrations of particles converge as time tends to infinity to some measure which bears a striking resemblance with the distribution of the total population of a Galton-Watson process started from two ancestors. Roughly speaking, the configuration model is a stochastic construction which aims at producing a typical graph on a set of vertices with pre-described degrees. Specifically, one attaches to each vertex a certain number of stubs, and then join pairwise the stubs uniformly at random to create edges between vertices. In this work, we use the configuration model as the stochastic counterpart of Smoluchowski's coagulation equations with limited aggregations. We establish a hydrodynamical type limit theorem for the empirical measure of the shapes of clusters in the configuration model when the number of vertices tends to $\infty$. The limit is given in terms of the distribution of a Galton-Watson process started with two ancestors

Nuclear energy density functional from chiral pion-nucleon dynamics: Isovector terms

We extend a recent calculation of the nuclear energy density functional in the framework of chiral perturbation theory by computing the isovector surface and spin-orbit terms: (\vec \nabla \rho_p- \vec \nabla \rho_n)^2 G_d(\rho)+ (\vec \nabla \rho_p- \vec \nabla \rho_n)\cdot(\vec J_p-\vec J_n) G_{so(\rho)+(\vec J_p-\vec J_n)^2 G_J(\rho) pertaining to different proton and neutron densities. Our calculation treats systematically the effects from $1\pi$-exchange, iterated $1\pi$-exchange, and irreducible $2\pi$-exchange with intermediate $\Delta$-isobar excitations, including Pauli-blocking corrections up to three-loop order. Using an improved density-matrix expansion, we obtain results for the strength functions $G_d(\rho)$, $G_{so}(\rho)$ and $G_J(\rho)$ which are considerably larger than those of phenomenological Skyrme forces. These (parameter-free) predictions for the strength of the isovector surface and spin-orbit terms as provided by the long-range pion-exchange dynamics in the nuclear medium should be examined in nuclear structure calculations at large neutron excess.Comment: 12 pages, 5 figure

Metric versus observable operator representation, higher spin models

We elaborate further on the metric representation that is obtained by transferring the time-dependence from a Hermitian Hamiltonian to the metric operator in a related non-Hermitian system. We provide further insight into the procedure on how to employ the time-dependent Dyson relation and the quasi-Hermiticity relation to solve time-dependent Hermitian Hamiltonian systems. By solving both equations separately we argue here that it is in general easier to solve the former. We solve the mutually related time-dependent Schrödinger equation for a Hermitian and non-Hermitian spin 1/2, 1 and 3/2 model with time-independent and time-dependent metric, respectively. In all models the overdetermined coupled system of equations for the Dyson map can be decoupled algebraic manipulations and reduces to simple linear differential equations and an equation that can be converted into the non-linear Ermakov-Pinney equation

Rheological Chaos in a Scalar Shear-Thickening Model

We study a simple scalar constitutive equation for a shear-thickening material at zero Reynolds number, in which the shear stress \sigma is driven at a constant shear rate \dot\gamma and relaxes by two parallel decay processes: a nonlinear decay at a nonmonotonic rate R(\sigma_1) and a linear decay at rate \lambda\sigma_2. Here \sigma_{1,2}(t) = \tau_{1,2}^{-1}\int_0^t\sigma(t')\exp[-(t-t')/\tau_{1,2}] {\rm d}t' are two retarded stresses. For suitable parameters, the steady state flow curve is monotonic but unstable; this arises when \tau_2>\tau_1 and 0>R'(\sigma)>-\lambda so that monotonicity is restored only through the strongly retarded term (which might model a slow evolution of material structure under stress). Within the unstable region we find a period-doubling sequence leading to chaos. Instability, but not chaos, persists even for the case \tau_1\to 0. A similar generic mechanism might also arise in shear thinning systems and in some banded flows.Comment: Reference added; typos corrected. To appear in PRE Rap. Com

Nuclear energy density functional from chiral two- and three-nucleon interactions

An improved density-matrix expansion is used to calculate the nuclear energy density functional from chiral two- and three-nucleon interactions. The two-body interaction comprises long-range one- and two-pion exchange contributions and a set of contact terms contributing up to fourth power in momenta. In addition we employ the leading order chiral three-nucleon interaction with its parameters $c_E, c_D$ and $c_{1,3,4}$ fixed in calculations of nuclear few-body systems. With this input the nuclear energy density functional is derived to first order in the two- and three-nucleon interaction. We find that the strength functions $F_\nabla(\rho)$ and $F_{so}(\rho)$ of the surface and spin-orbit terms compare in the relevant density range reasonably with results of phenomenological Skyrme forces. However, an improved description requires (at least) the treatment of the two-body interaction to second order. This observation is in line with the deficiencies in the nuclear matter equation of state $\bar E(\rho)$ that remain in the Hartree-Fock approximation with low-momentum two- and three-nucleon interactions.Comment: 16 pages, 12 figures, submitted to Eur. Phys. J.

Coherent States and Modified de Broglie-Bohm Complex Quantum Trajectories

This paper examines the nature of classical correspondence in the case of coherent states at the level of quantum trajectories. We first show that for a harmonic oscillator, the coherent state complex quantum trajectories and the complex classical trajectories are identical to each other. This congruence in the complex plane, not restricted to high quantum numbers alone, illustrates that the harmonic oscillator in a coherent state executes classical motion. The quantum trajectories are those conceived in a modified de Broglie-Bohm scheme and we note that identical classical and quantum trajectories for coherent states are obtained only in the present approach. The study is extended to Gazeau-Klauder and SUSY quantum mechanics-based coherent states of a particle in an infinite potential well and that in a symmetric Poschl-Teller (PT) potential by solving for the trajectories numerically. For the coherent state of the infinite potential well, almost identical classical and quantum trajectories are obtained whereas for the PT potential, though classical trajectories are not regained, a periodic motion results as t --> \infty.Comment: More example

Properties of odd nuclei and the impact of time-odd mean fields: A systematic Skyrme-Hartree-Fock analysis

We present a systematic analysis of the description of odd nuclei by the Skyrme-Hartree-Fock approach augmented with pairing in BCS approximation and blocking of the odd nucleon. Current and spin densities in the Skyrme functional produce time-odd mean fields (TOMF) for odd nuclei. Their effect on basic properties (binding energies, odd-even staggering, separation energies and spectra) is investigated for the three Skyrme parameterizations SkI3, SLy6, and SV-bas. About 1300 spherical and axially-deformed odd nuclei with 16 < Z < 92 are considered. The calculations demonstrate that the TOMF effect is generally small, although not fully negligible. The influence of the Skyrme parameterization and the consistency of the calculations are much more important. With a proper choice of the parameterization, a good description of binding energies and their differences is obtained, comparable to that for even nuclei. The description of low-energy excitation spectra of odd nuclei is of varying quality depending on the nucleus