The Gremlin Graph Traversal Machine and Language

Gremlin is a graph traversal machine and language designed, developed, and distributed by the Apache TinkerPop project. Gremlin, as a graph traversal machine, is composed of three interacting components: a graph $G$, a traversal $\Psi$, and a set of traversers $T$. The traversers move about the graph according to the instructions specified in the traversal, where the result of the computation is the ultimate locations of all halted traversers. A Gremlin machine can be executed over any supporting graph computing system such as an OLTP graph database and/or an OLAP graph processor. Gremlin, as a graph traversal language, is a functional language implemented in the user's native programming language and is used to define the $\Psi$ of a Gremlin machine. This article provides a mathematical description of Gremlin and details its automaton and functional properties. These properties enable Gremlin to naturally support imperative and declarative querying, host language agnosticism, user-defined domain specific languages, an extensible compiler/optimizer, single- and multi-machine execution models, hybrid depth- and breadth-first evaluation, as well as the existence of a Universal Gremlin Machine and its respective entailments.Comment: To appear in the Proceedings of the 2015 ACM Database Programming Languages Conferenc

Wide-Field Multi-Parameter FLIM: Long-Term Minimal Invasive Observation of Proteins in Living Cells.

Time-domain Fluorescence Lifetime Imaging Microscopy (FLIM) is a remarkable tool to monitor the dynamics of fluorophore-tagged protein domains inside living cells. We propose a Wide-Field Multi-Parameter FLIM method (WFMP-FLIM) aimed to monitor continuously living cells under minimum light intensity at a given illumination energy dose. A powerful data analysis technique applied to the WFMP-FLIM data sets allows to optimize the estimation accuracy of physical parameters at very low fluorescence signal levels approaching the lower bound theoretical limit. We demonstrate the efficiency of WFMP-FLIM by presenting two independent and relevant long-term experiments in cell biology: 1) FRET analysis of simultaneously recorded donor and acceptor fluorescence in living HeLa cells and 2) tracking of mitochondrial transport combined with fluorescence lifetime analysis in neuronal processes

HST/ACS weak lensing analysis of the galaxy cluster RDCS 1252.9-2927 at z=1.24

We present a weak lensing analysis of one of the most distant massive galaxy cluster known, RDCS 1252.9-2927 at z=1.24, using deep images from the Advanced Camera for Survey (ACS) on board the Hubble Space Telescope (HST). By taking advantage of the depth and of the angular resolution of the ACS images, we detect for the first time at z>1 a clear weak lensing signal in both the i (F775W) and z (F850LP) filters. We measure a 5-\sigma signal in the i band and a 3-\sigma signal in the shallower z band image. The two radial mass profiles are found to be in very good agreement with each other, and provide a measurement of the total mass of the cluster inside a 1Mpc radius of M(<1Mpc) = (8.0 +/- 1.3) x 10^14 M_\odot in the current cosmological concordance model h =0.70, \Omega_m=0.3, \Omega_\Lambda=0.7, assuming a redshift distribution of background galaxies as inferred from the Hubble Deep Fields surveys. A weak lensing signal is detected out to the boundary of our field (3' radius, corresponding to 1.5Mpc at the cluster redshift). We detect a small offset between the centroid of the weak lensing mass map and the brightest cluster galaxy, and we discuss the possible origin of this discrepancy. The cumulative weak lensing radial mass profile is found to be in good agreement with the X-ray mass estimate based on Chandr and XMM-Newton observations, at least out to R_500=0.5Mpc.Comment: 38 pages, ApJ in press. Full resolution images available at http://www.eso.org/~prosati/RDCS1252/Lombardi_etal_accepted.pd

Production of Polarized Vector Mesons off Nuclei

Using the light-cone QCD dipole formalism we investigate manifestations of color transparency (CT) and coherence length (CL) effects in electroproduction of longitudinally (L) and transversally (T) polarized vector mesons. Motivated by forthcoming data from the HERMES experiment we predict both the A and Q^2 dependence of the L/T- ratios, for rho^0 mesons produced coherently and incoherently off nuclei. For an incoherent reaction the CT and CL effects add up and result in a monotonic A dependence of the L/T-ratio at different values of Q^2. On the contrary, for a coherent process the contraction of the CL with Q^2 causes an effect opposite to that of CT and we expect quite a nontrivial A dependence, especially at Q^2 >> m_V^2.Comment: Revtex 24 pages and 14 figure

HST/ACS Images of the GG Tauri Circumbinary Disk

Hubble Space Telescope Advanced Camera for Surveys images of the young binary GG Tauri and its circumbinary disk in V and I bandpasses were obtained in 2002 and are the most detailed of this system to date. The confirm features previously seen in the disk including: a "gap" apparently caused by shadowing from circumstellar material; an asymmetrical distribution of light about the line of sight on the near edge of the disk; enhanced brightness along the near edge of the disk due to forward scattering; and a compact reflection nebula near the secondary star. New features are seen in the ACS images: two short filaments along the disk; localized but strong variations in disk intensity ("gaplets"); and a "spur" or filament extending from the reflection nebulosity near the secondary. The back side of the disk is detected in the V band for the first time. The disk appears redder than the combined light from the stars, which may be explained by a varied distribution of grain sizes. The brightness asymmetries along the disk suggest that it is asymmetrically illuminated by the stars due to extinction by nonuniform circumstellar material or the illuminated surface of the disk is warped by tidal effects (or perhaps both). Localized, time-dependent brightness variations in the disk are also seen.Comment: 28 pages, 7 figures, accepted for publication in the Astronomical Journa

Infrared generation in low-dimensional semiconductor heterostructures via quantum coherence

A new scheme for infrared generation without population inversion between subbands in quantum-well and quantum-dot lasers is presented and documented by detailed calculations. The scheme is based on the simultaneous generation at three frequencies: optical lasing at the two interband transitions which take place simultaneously, in the same active region, and serve as the coherent drive for the IR field. This mechanism for frequency down-conversion does not rely upon any ad hoc assumptions of long-lived coherences in the semiconductor active medium. And it should work efficiently at room temperature with injection current pumping. For optimized waveguide and cavity parameters, the intrinsic efficiency of the down-conversion process can reach the limiting quantum value corresponding to one infrared photon per one optical photon. Due to the parametric nature of IR generation, the proposed inversionless scheme is especially promising for long-wavelength (far- infrared) operation.Comment: 4 pages, 1 Postscript figure, Revtex style. Replacement corrects a printing error in the authors fiel

A lattice calculation of vector meson couplings to the vector and tensor currents using chirally improved fermions

We present a quenched lattice calculation of $f_V^\perp/f_V$, the coupling of vector mesons to the tensor current normalized by the vector meson decay constant. The chirally improved lattice Dirac operator, which allows us to reach small quark masses, is used. We put emphasis on analyzing the quark mass dependence of $f_V^\perp/f_V$ and find only a rather weak dependence. Our results at the $\rho$ and $\phi$ masses agree well with QCD sum rule calculations and those from previous lattice studies.Comment: 6 pages, 3 figures, one sentence remove