title: Higher rank stable pairs and virtual localization

abstract: We introduce a higher rank analog of the Pandharipande-Thomas theory of stable pairs on a Calabi-Yau threefold $X$. More precisely, we develop a moduli theory for frozen triples given by the data $O^r(-n)\rightarrow F$ where $F$ is a sheaf of pure dimension 1. The moduli space of such objects does not naturally determine an enumerative theory: that is, it does not naturally possess a perfect symmetric obstruction theory. Instead, we build a zero-dimensional virtual fundamental class by hand, by truncating a deformation-obstruction theory coming from the moduli of objects in the derived category of $X$. This yields the first deformation-theoretic construction of a higher-rank enumerative theory for Calabi-Yau threefolds. We calculate this enumerative theory for local $\mathbb{P}^1$ using the Graber-Pandharipande virtual localization technique.


title: Layered models for closed 3-manifolds

abstract: We define a combinatorial structure on 3-manifolds that combines the model manifolds constructed in Minsky's proof of the ending lamination conjecture with the layered triangulations defined by Jaco and Rubinstein.


title: Electrostatic models of electron-driven proton transfer across a lipid membrane

abstract: We present two models for electron-driven uphill proton transport across lipid membranes, with the electron energy converted to the proton gradient via the electrostatic interaction. In the first model, associated with the cytochrome c oxidase complex in the inner mitochondria membranes, the electrostatic coupling to the site occupied by an electron lowers the energy level of the proton-binding site, making the proton transfer possible. In the second model, roughly describing the redox loop in a nitrate respiration of E. coli bacteria, an electron displaces a proton from the negative side of the membrane to a shuttle, which subsequently diffuses across the membrane and unloads the proton to its positive side. We show that both models can be described by the same approach, which can be significantly simplified if the system is separated into several clusters, with strong Coulomb interaction inside each cluster and weak transfer couplings between them. We derive and solve the equations of motion for the electron and proton creation/annihilation operators, taking into account the appropriate Coulomb terms, tunnel couplings, and the interaction with the environment. For the second model, these equations of motion are solved jointly with a Langevin-type equation for the shuttle position. We obtain expressions for the electron and proton currents and determine their dependence on the electron and proton voltage build-ups, on-site charging energies, reorganization energies, temperature, and other system parameters. We show that the quantum yield in our models can be up to 100% and the power-conversion efficiency can reach 35%.


title: Non-Fickian Diffusion and the Accumulation of Methane Bubbles in Deep-Water Sediments

abstract: In the absence of fractures, methane bubbles in deep-water sediments can be immovably trapped within a porous matrix by surface tension. The dominant mechanism of transfer of gas mass therefore becomes the diffusion of gas molecules through porewater. The accurate description of this process requires non-Fickian diffusion to be accounted for, including both thermodiffusion and gravitational action. We evaluate the diffusive flux of aqueous methane considering non-Fickian diffusion and predict the existence of extensive bubble mass accumulation zones within deep-water sediments. The limitation on the hydrate deposit capacity is revealed; too weak deposits cannot reach the base of the hydrate stability zone and form any bubbly horizon.


title: Soft dipolar spin ice physics and the ordered phase of the frustrated Tb2Sn2O7 pyrochlore magnet

abstract: From a microscopic model for the pyrochlore antiferromagnet Tb2Sn2O7, including the crystal field Hamiltonian and interactions between the angular momenta, we compute an effective pseudospin-1/2 Hamiltonian Heff$ that incorporates perturbatively in the effective interactions the effect of excited crystal field levels. We obtain the semiclassical ground states of Heff and find a region of parameter space with a two-in/two-out spin ice configuration on each tetrahedron with ordering wavevector q=0 and with spins canted away from the local Ising axes as found in Tb2Sn2O7. This ground state can also be obtained from a dipolar spin ice model in which the Ising constraint is softened. Monte Carlo simulations on the latter model reveal a region of the phase diagram with spin ice-like freezing and another with a transition into Tb2Sn2O7-type long range order. We comment on the differences between Tb2Sn2O7 and the perplexing spin liquid Tb2Ti2O7.


title: Synchronous bursts on scale-free neuronal networks with attractive and repulsive coupling

abstract: This paper investigates the dependence of synchronization transitions of bursting oscillations on the information transmission delay over scale-free neuronal networks with attractive and repulsive coupling. It is shown that for both types of coupling, the delay always plays a subtle role in either promoting or impairing synchronization. In particular, depending on the inherent oscillation period of individual neurons, regions of irregular and regular propagating excitatory fronts appear intermittently as the delay increases. These delay-induced synchronization transitions are manifested as well-expressed minima in the measure for spatiotemporal synchrony. For attractive coupling, the minima appear at every integer multiple of the average oscillation period, while for the repulsive coupling, they appear at every odd multiple of the half of the average oscillation period. The obtained results are robust to the variations of the dynamics of individual neurons, the system size, and the neuronal firing type. Hence, they can be used to characterize attractively or repulsively coupled scale-free neuronal networks with delays.

categories: cond-mat.dis-nn nlin.PS physics.comp-ph q-bio.NC


title: Quantum Transport through Hierarchical Structures

abstract: The transport of quantum electrons through hierarchical lattices is of interest because such lattices have some properties of both regular lattices and random systems. We calculate the electron transmission as a function of energy in the tight binding approximation for two related Hanoi networks. HN3 is a Hanoi network with every site having three bonds. HN5 has additional bonds added to HN3 to make the average number of bonds per site equal to five. We present a renormalization group approach to solve the matrix equation involved in this quantum transport calculation. We observe band gaps in HN3, while no such band gaps are observed in linear networks or in HN5.


title: An improved Strichartz estimate for systems with divergence free data

abstract: Using the div-curl inequalities of Bourgain-Brezis [?MR2057026] and van Schaftingen [?MR2078071], we prove an improved Strichartz estimate for systems of inhomogeneous wave and Schrodinger equations, for which the inhomogeneity is a divergence-free vector field at each given time. The novelty of the result is that one can allow $L^1_x$ norms of the inhomogeneity in the right hand side of the estimate.


title: Three-Dimensional Simulations of MHD Turbulence Behind Relativistic Shock Waves and Their Implications for GRBs

abstract: Relativistic astrophysical phenomena such as gamma-ray bursts (GRBs) and active galactic nuclei often require long-lived strong magnetic field. Here, we report on three-dimensional special-relativistic magnetohydrodynamic (MHD) simulations to explore the amplification and decay of macroscopic turbulence dynamo excited by the so-called Richtmyer-Meshkov instability (RMI; a Rayleigh-Taylor type instability). This instability is an inevitable outcome of interactions between shock and ambient density fluctuations. We find that the magnetic energy grows exponentially in a few eddy turnover times, and then, following the decay of kinetic turbulence, decays with a temporal power-law exponent of -0.7. The magnetic-energy fraction can reach $epsilon_B \sim$ 0.1 but depends on the initial magnetic field strength. We find that the magnetic energy grows by at least two orders of magnitude compared to the magnetic energy immediately behind the shock. This minimum degree of the amplification does not depend on the amplitude of the initial density fluctuations, while the growth timescale and the maximum magnetic energy depend on the degree of inhomogeneity in the density. The transition from Kolmogorov cascade to MHD critical balance cascade occurs at $\sim$ 1/10th the initial inhomogeneity scale, which limits the maximum synchrotron polarization to less than 2%. New results include the avoidance of electron cooling with RMI turbulence, the turbulent photosphere model via RMI, and the shallow decay of the early afterglow from RMI. We also performed a simulation of freely decaying turbulence with relativistic velocity dispersion. We find that relativistic turbulence begins to decay much faster than one eddy-turnover time because of fast shock dissipation, which does not support the relativistic turbulence model by Narayan & Kumar.


title: Understanding RHIC Collisions: Modified QCD fragmentation vs quark coalescence from a thermalized flowing medium

abstract: The hydrodynamic (hydro) model applied to data from the relativistic heavy ion collider (RHIC) suggests that a dense QCD medium opaque to partons is formed in more-central Au-Au collisions. However, two-component spectrum analysis reveals a hard component, consistent with parton fragmentation described by pQCD, which can masquerade as "radial flow." Minimum-bias angular correlations reveal that most scattered partons survive as "minijets" even in central Au-Au collisions. Such alternative methods quantitatively describe spectrum and correlation structure via pQCD calculations. RHIC collisions appear to be dominated by parton scattering and fragmentation even in central Au-Au collisions.


title: The phase-shift of isospin-2 pi-pi scattering from lattice QCD

abstract: Finite-volume lattice QCD calculations offer the possibility of extracting resonance parameters from the energy-dependent elastic phase-shift computed using the Luescher technique. In this letter, as a trial of the method, we report on the extraction of the non-resonant phase-shift for S and D-wave pi-pi isospin-2 scattering from dynamical lattice QCD computations. We define a variational basis of operators resembling pairs of pions of definite relative momentum and extract a spectrum of excited states that maps to phase-shifts at a set of discrete scattering momenta. Computations are performed with pion masses between 400 and 520 MeV on multiple spatial volumes. We observe no significant quark mass dependence in the phase-shifts extracted which are in reasonable agreement with the available experimental data at low momentum.


title: On the definability of functionals in G\"odel's theory T

abstract: Godel's theory T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0, the successor function S, and the operator R_tau for primitive recursion on objects of type tau. It is known that the functions from non-negative integers to non-negative integers that can be defined in this theory are exactly the <epsilon_0-recursive functions of non-negative integers. As an extension of this result, we show that when the domain and codomain are restricted to pure closed normal forms, the functionals of arbitrary type that are definable in T can be encoded as <epsilon_0-recursive functions.


title: Non-perturbative String Theory from Water Waves

abstract: We use a combination of a 't Hooft limit and numerical methods to find non-perturbative solutions of exactly solvable string theories, showing that perturbative solutions in different asymptotic regimes are connected by smooth interpolating functions. Our earlier perturbative work showed that a large class of minimal string theories arise as special limits of a Painleve IV hierarchy of string equations that can be derived by a similarity reduction of the dispersive water wave hierarchy of differential equations. The hierarchy of string equations contains new perturbative solutions, some of which were conjectured to be the type IIA and IIB string theories coupled to (4,4k-2) superconformal minimal models of type (A,D). Our present paper shows that these new theories have smooth non-perturbative extensions. We also find evidence for putative new string theories that were not apparent in the perturbative analysis.


title: Exact asymptotics of supremum of a stationary Gaussian process over a random interval

abstract: Let $\{X(t) : t \in [0, \infty) \}$ be a centered stationary Gaussian process. We study the exact asymptotics of $\pr (\sup_{s \in [0,T]} X(t) > u)$, as $u \to \infty$, where $T$ is an independent of \{X(t)\} nonnegative random variable. It appears that the heaviness of $T$ impacts the form of the asymptotics, leading to three scenarios: the case of integrable $T$, the case of $T$ having regularly varying tail distribution with parameter $\lambda\in(0,1)$ and the case of $T$ having slowly varying tail distribution.


title: Interedge magnetic coupling in transition-metal terminated graphene nanoribbons

abstract: The magnetic structures and interedge magnetic couplings of Fe, Co and Ni transition-metal terminated graphene nanoribbons with zigzag (ZGNR) and armchair (AGNR) edges are studied by first-principles calculations. Fe-ZGNR is found to show antiferromagnetic (AF) coupling between two edges, while the interedge coupling of Co-ZGNR is ferromagnetic (FM). For Fe-AGNRs and Co-AGNRs, increasing the interedge distance we follow oscillatory transitions from FM to AF coupling with a period of about 3.7 {\AA}. The damped oscillatory behavior indicates a Ruderman-Kittel-Kasuya-Yosida type interedge magnetic coupling and the oscillation period is determined by the critical spanning vector which connects two inequivalent Dirac points in the graphene Brillouin zone. The two edges in Ni-ZGNR are decoupled independent of the ribbon width and Ni-AGNRs are found to be nonmangetic.


title: De Sitter brane-world, localization of gravity, and the cosmological constant

abstract: Cosmological models with a de Sitter 3-brane embedded in a five-dimensional de Sitter spacetime (dS5) give rise to a finite 4D Planck mass similar to that in Randall-Sundrum (RS) brane-world models in AdS5 spacetime. Yet there arise a few important differences as compared to the results with a flat 3-brane or 4D Minkowski spacetime. For example, the mass reduction formula (MRF) $M_{Pl}^2=M_{5}^3 \ell_{AdS}$ as well as the relationship $M_{Pl}^2= M_{Pl(4+n)}^{n+2} L^{n}$ (with $L$ being the average size or the radius of the $n$ extra dimensions) expected in models of product-space (or Kaluza-Klein) compactifications get modified in cosmological backgrounds. In an expanding universe, a physically relevant MRF encodes information upon the four-dimensional Hubble expansion parameter, in addition to the length and mass parameters $L$, $M_{Pl}$ and $M_{Pl (4+n)}$. If a bulk cosmological constant is present in the solution, then the reduction formula is further modified. With these new insights, we show that the localization of a massless 4D graviton as well as the mass hierarchy between $M_{Pl}$ and $M_{Pl (4+n)}$ can be explained in cosmological brane-world models. A notable advantage of having a 5D de Sitter bulk is that in this case the zero-mass wavefunction is normalizable, which is not necessarily the case if the bulk spacetime is anti de Sitter. In spacetime dimensions $D\ge 7$, however, the bulk cosmological constant $\Lambda_b$ can take either sign ($\Lambda_b <0$, $=0$, or $>0$). The D=6 case is rather inconclusive, in which case $\Lambda_b$ may be introduced together with 2-form gauge field (or flux).


title: Singular polarizations and symplectic embeddings

abstract: We prove in this paper that any 4-dimensional symplectic manifold is essentially made of finitely many symplectic ellipsoids. The key tool is a singular analogue of Donaldson's symplectic hypersurfaces in irrational symplectic manifolds.


title: Search for Squarks in R-parity Violating Supersymmetry in ep Collisions at HERA

abstract: A search for squarks in R-parity violating supersymmetry is performed in e^+- p collisions at HERA using the H1 detector. The full data sample taken at a centre-of-mass energy sqrt{s}=319 GeV is used for the analysis, corresponding to an integrated luminosity of 255 pb^-1 of e^+ p and 183 pb^-1 of e^- p collision data. The resonant production of squarks via a Yukawa coupling lambda' is considered, taking into account direct and indirect R-parity violating decay modes. Final states with jets and leptons are investigated. No evidence for squark production is found and mass dependent limits on lambda' are obtained in the framework of the Minimal Supersymmetric Standard Model and in the Minimal Supergravity Model. In the considered part of the parameter space, for a Yukawa coupling of electromagnetic strength lambda'= 0.3, squarks of all flavours are excluded up to masses of 275 GeV at 95% confidence level, with down-type squarks further excluded up to masses of 290 GeV.


title: Soft QCD Results from D0

abstract: This note presents some selected results on soft QCD studies done by the D0 collaboration at the Tevatron collider. Results on elastic proton-antiproton cross section, double parton scattering, underlying event and exclusive diffractive production are discussed, together with their implication for the LHC.


title: Directed flow at midrapidity in heavy-ion collisions

abstract: It was recently shown that fluctuations in the initial geometry of a heavy ion collision generally result in a dipole asymmetry of the distribution of outgoing particles. This asymmetry, unlike the usual directed flow, is expected to be present at a wide range of rapidity -- including midrapidity. First evidence of this phenomenon can be seen in recent two-particle correlation data by STAR, providing the last element necessary to quantitatively describe long-range dihadron correlations. We extract differential directed flow from these data and propose a new direct measurement.


title: Leptogenesis at the Electroweak Scale

abstract: In this note we propose a model of leptogenesis in which the scale for the mass of the necessary heavy neutral lepton is similar to the scale of electroweak symmetry breaking.


title: Modeling the frequency response of microwave radiometers with QUCS

abstract: Characterization of the frequency response of coherent radiometric receivers is a key element in estimating the flux of astrophysical emissions, since the measured signal depends on the convolution of the source spectral emission with the instrument band shape. Laboratory Radio Frequency (RF) measurements of the instrument bandpass often require complex test setups and are subject to a number of systematic effects driven by thermal issues and impedance matching, particularly if cryogenic operation is involved. In this paper we present an approach to modeling radiometers bandpasses by integrating simulations and RF measurements of individual components. This method is based on QUCS (Quasi Universal Circuit Simulator), an open-source circuit simulator, which gives the flexibility of choosing among the available devices, implementing new analytical software models or using measured S-parameters. Therefore an independent estimate of the instrument bandpass is achieved using standard individual component measurements and validated analytical simulations. In order to automate the process of preparing input data, running simulations and exporting results we developed the Python package python-qucs and released it under GNU Public License. We discuss, as working cases, bandpass response modeling of the COFE and Planck Low Frequency Instrument (LFI) radiometers and compare results obtained with QUCS and with a commercial circuit simulator software. The main purpose of bandpass modeling in COFE is to optimize component matching, while in LFI they represent the best estimation of frequency response, since end-to-end measurements were strongly affected by systematic effects.


title: Geometrical Origin of CP Violation and CKM and MNS Matrices in SU(5) x T'

abstract: We propose the complex group theoretical Clebsch-Gordon coefficients as a novel origin of CP violation. This is manifest in our model based on SUSY SU(5) combined with the double tetrahedral group, T', as a family symmetry. Due to the presence of the doublet representations in T', there exist complex CG coefficients, leading to explicit CP violation in the model, while the Yukawa couplings and the vacuum expectation values of the scalar fields remain real. The tri-bimaximal neutrino mixing matrix arises from the CG coefficients of T'. In addition to the prediction for theta_{13} ~ (1/ (3\sqrt{2}) theta_{c}, the model gives rise to a sum rule, tan^{2} theta_{sol} ~ tan^{2} theta_{sol, TBM}} + (1/2) theta_{c} cos(delta_{lep}), which is a consequence of the Georgi-Jarlskog relations in the charged fermion sector. The predicted leptonic Dirac CP phase, delta_{lep}, gives the correct value of the solar mixing angle, and the predicted CP violation measures in the quark sector are consistent with the current experimental data. Since the Dirac CP phase is the only non-vanishing phase predicted in the lepton sector, there is a connection between leptogenesis and low energy leptonic CP violating processes in our model.


title: Prototype of an angular-selective photoelectron calibration source for the KATRIN experiment

abstract: The method of direct neutrino mass determination based on the kinematics of tritium beta decay, which is adopted by the KATRIN experiment, makes use of a large, high-resolution electrostatic spectrometer with magnetic adiabatic collimation. In order to target a sensitivity on the neutrino mass of 0.2 eV/c^2, a detailed understanding of the electromagnetic properties of the electron spectrometer is essential, requiring comprehensive calibration measurements with dedicated electron sources. In this paper we report on a prototype of a photoelectron source providing a narrow energy spread and angular selectivity. Both are key properties for the characterisation of the spectrometer. The angular selectivity is achieved by applying non-parallel strong electric and magnetic fields: Directly after being created, photoelectrons are accelerated rapidly and non-adiabatically by a strong electric field before adiabatic magnetic guiding takes over.


title: Weak quenched limiting distributions for transient one-dimensional random walk in a random environment

abstract: We consider a one-dimensional, transient random walk in a random i.i.d. environment. The asymptotic behaviour of such random walk depends to a large extent on a crucial parameter $\kappa>0$ that determines the fluctuations of the process. When $0<\kappa<2$, the averaged distributions of the hitting times of the random walk converge to a $\kappa$-stable distribution. However, it was shown recently that in this case there does not exist a quenched limiting distribution of the hitting times. That is, it is not true that for almost every fixed environment, the distributions of the hitting times (centered and scaled in any manner) converge to a non-degenerate distribution. We show, however, that the quenched distributions do have a limit in the weak sense. That is, the quenched distributions of the hitting times -- viewed as a random probability measure -- converge in distribution to a random probability measure, which has interesting stability properties. Our results generalize both the averaged limiting distribution and the non-existence of quenched limiting distributions.


title: Entropic Upper Bound on Gravitational Binding Energy

abstract: We prove that the gravitational binding energy {\Omega} of a self gravitating system described by a mass density distribution {\rho}(x) admits an upper bound B[{\rho}(x)] given by a simple function of an appropriate, non-additive Tsallis' power-law entropic functional Sq evaluated on the density {\rho}. The density distributions that saturate the entropic bound have the form of isotropic q-Gaussian distributions. These maximizer distributions correspond to the Plummer density profile, well known in astrophysics. A heuristic scaling argument is advanced suggesting that the entropic bound B[{\rho}(x)] is unique, in the sense that it is unlikely that exhaustive entropic upper bounds not based on the alluded Sq entropic measure exit. The present findings provide a new link between the physics of self gravitating systems, on the one hand, and the statistical formalism associated with non-additive, power-law entropic measures, on the other hand.


title: Non-universal, Non-anomalous U(1)' in a Model with Anomaly Mediated SUSY Breaking

abstract: We construct a Minimum Supersymmetry Standard Model expanded by a non-anomalous family (NAF) U(1)'_{NAF} gauge symmetry. All gauge anomalies are cancelled with no additional exotics other than the three right-handed neutrinos. The FI D-terms associated with the U(1)'_{NAF} symmetry lead to additional positive contributions to slepton squared masses. In a RG invariant way, this thus solves the tachyonic slepton mass problem in Anomaly Mediated Supersymmetry Breaking. In addition, the U(1)'_{NAF} symmetry naturally gives rise to the fermion mass hierarchy and mixing angles, and determines the mass spectrum of the sparticles. Our model also provides a counter example to the previous claim that the only U(1)' that can give rise to realistic fermion mass hierarchy and mixing pattern must be anomalous.


title: Detection of sparse additive functions

abstract: We study the problem of detection of a high-dimensional signal function in the white Gaussian noise model. As well as a smoothness assumption on the signal function, we assume an additive sparse condition on the latter. The detection problem is expressed in terms of a nonparametric hypothesis testing problem and it is solved according to the asymptotical minimax approach. The minimax test procedures are adaptive in the sparsity parameter for high sparsity case. We extend to the functional case the known results in the detection of sparse high-dimensional vectors. In particular, our asymptotic detection boundaries are derived from the same asymptotic relations as in the vector case.


title: The star formation history of mass-selected galaxies in the COSMOS field

abstract: We explore the evolution of the specific star formation rate (SSFR) for 3.6um-selected galaxies of different M_* in the COSMOS field. The average SFR for sub-sets of these galaxies is estimated with stacked 1.4GHz radio continuum emission. We separately consider the total sample and a subset of galaxies (SF) that shows evidence for substantive recent star formation in the rest-frame optical SED. At 0.2<z<3 both populations show a strong and M_*-independent decrease in their SSFR towards z=0.2, best described by a power- law (1+z)^n, where n~4.3 for all galaxies and n~3.5 for SF sources. The decrease appears to have started at z>2, at least above 4x10^10M_Sun where our conclusions are most robust. We find a tight correlation with power-law dependence, SSFR (M_*)^beta, between SSFR and M_* at all z. It tends to flatten below ~10^10M_Sun if quiescent galaxies are included; if they are excluded a shallow index beta_SFG -0.4 fits the correlation. On average, higher M_* objects always have lower SSFRs, also among SF galaxies. At z>1.5 there is tentative evidence for an upper SSFR-limit that an average galaxy cannot exceed. It is suggested by a flattening of the SSFR-M_* relation (also for SF sources), but affects massive (>10^10M_Sun) galaxies only at the highest z. Below z=1.5 there thus is no direct evidence that galaxies of higher M_* experience a more rapid waning of their SSFR than lower M_* SF systems. In this sense, the data rule out any strong 'downsizing'. We combine our results with recent measurements of the galaxy (stellar) mass function in order to determine the characteristic mass of a SF galaxy (M_*=10^(10.6\pm0.4)M_Sun). In this sense, too, there is no 'downsizing'. Our analysis constitutes the most extensive SFR density determination with a single technique to z=3. Recent Herschel results are consistent with our results, but rely on far smaller samples.


title: Majorana End-States in Multi-band Microstructures with Rashba Spin-Orbit Coupling

abstract: A recent work [1] demonstrated, for an ideal spinless p+ip superconductor, that Majorana end-states can be realized outside the strict one-dimensional limit, so long as: 1) the sample width does not greatly exceed the superconducting coherence length and 2) an odd number of transverse sub-bands are occupied. Here we extend this analysis to the case of an effective p+ip superconductor engineered from Rashba spin-orbit coupled surface with induced magnetization and superconductivity, and find a number of new features. Specifically, we find that finite size quantization allows Majorana end-states even when the chemical potential is outside of the induced Zeeman gap where the bulk material would not be topological. This is relevant to proposals utilizing semiconducting quantum wires, however, we also find that the bulk energy gap is substantially reduced if the induced magnetization is too large. We next consider a slightly different geometry, and show that Majorana end-states can be created at the ends of ferromagnetic domains. Finally, we consider the case of meandering edges and find, surprisingly, that the existence of well-defined transverse sub-bands is not necessary for the formation of robust Majorana end-states.


title: The radiative X-ray and gamma-ray efficiencies of rotation powered pulsars

abstract: We present a statistical analysis of the X-ray luminosity of rotation powered pulsars and their surrounding nebulae using the sample of Kargaltsev & Pavlov (2008) and we complement this with an analysis of the gamma-ray-emission of Fermi detected pulsars. We report a strong trend in the efficiency with which spin-down power is converted to X-ray and gamma-ray emission with characteristic age: young pulsars and their surrounding nebulae are efficient X-ray emitters, whereas in contrast old pulsars are efficient gamma-ray emitters. We divided the X-ray sample in a young (Tau < 1.7x10^4 yr) and old sample and used linear regression to search for correlations between the logarithm of the X-ray and gamma-ray luminosities and the logarithms of the periods and period derivatives. The X-ray emission from young pulsars and their nebulae are both consistent with L_X ~ Pdot^3/P^6. For old pulsars and their nebulae the X-ray luminosity is consistent with a more or less constant efficiency eta = L_X/Edot = ~ 8x10^-5. For the gamma-ray luminosity we confirm that L_gamma ~ Edot^(1/2). We discuss these findings in the context of pair production inside pulsar magnetospheres and the striped wind model. We suggest that the striped wind model may explain the similarity between the X-ray properties of the pulsar wind nebulae and the pulsars themselves, which according to the striped wind model may both find their origin outside the light cylinder, in the pulsar wind zone.


title: Statistics of Satellite Galaxies Around Milky Way-Like Hosts

abstract: We calculate the probability that a Milky-Way-like halo in the standard cosmological model has the observed number of Magellanic Clouds (MCs). The statistics of the number of MCs in the LCDM model are in good agreement with observations of a large sample of SDSS galaxies. Under the sub-halo abundance matching assumption of a relationship with small scatter between galaxy r-band luminosities and halo internal velocities v_max, we make detailed comparisons to similar measurements using SDSS DR7 data by Liu et al. (2010). Models and observational data give very similar probabilities for having zero, one, and two MC-like satellites. In both cases, Milky Way-luminosity hosts have just a \sim 10% chance of hosting two satellites similar to the Magellanic Clouds. In addition, we present a prediction for the probability for a host galaxy to have Nsats satellite galaxies as a function of the magnitudes of both the host and satellite. This probability and its scaling with host properties is significantly different from that of mass-selected objects because of scatter in the mass- luminosity relation and because of variations in the star formation efficiency with halo mass.


title: Cores in Dwarf Galaxies from Dark Matter with a Yukawa Potential

abstract: We show that cold dark matter particles interacting through a Yukawa potential could naturally explain the recently observed cores in dwarf galaxies without affecting the dynamics of objects with a much larger velocity dispersion, such as clusters of galaxies. The velocity dependence of the associated cross-section as well as the possible exothermic nature of the interaction alleviates earlier concerns about strongly interacting dark matter. Dark matter evaporation in low-mass objects might explain the observed deficit of satellite galaxies in the Milky Way halo and have important implications for the first galaxies and reionization.


title: Five-Brane Superpotentials, Blow-Up Geometries and SU(3) Structure Manifolds

abstract: We investigate the dynamics of space-time filling five-branes wrapped on curves in heterotic and orientifold Calabi-Yau compactifications. We first study the leading N=1 scalar potential on the infinite deformation space of the brane-curve around a supersymmetric configuration. The higher order potential is also determined by a brane superpotential which we compute for a subset of light deformations. We argue that these deformations map to new complex structure deformations of a non-Calabi-Yau manifold which is obtained by blowing up the brane-curve into a four-cycle and by replacing the brane by background fluxes. This translates the original brane-bulk system into a unifying geometrical formulation. Using this blow-up geometry we compute the complete set of open-closed Picard-Fuchs differential equations and identify the brane superpotential at special points in the field space for five-branes in toric Calabi-Yau hypersurfaces. This has an interpretation in open mirror symmetry and enables us to list compact disk instanton invariants. As a first step towards promoting the blow-up geometry to a supersymmetric heterotic background we propose a non-Kaehler SU(3) structure and an identification of the three-form flux.


title: A Giant Planet Around a Metal-poor Star of Extragalactic Origin

abstract: Stars in their late stage of evolution, such as Horizontal Branch stars, are still largely unexplored for planets. We report the detection of a planetary companion around HIP 13044, a very metal-poor star on the red Horizontal Branch, based on radial velocity observations with a high-resolution spectrograph at the 2.2-m MPG/ESO telescope. The star's periodic radial velocity variation of P=16.2 days caused by the planet can be distinguished from the periods of the stellar activity indicators. The minimum mass of the planet is 1.25 Jupiter masses and its orbital semi-major axis 0.116 AU. Because HIP 13044 belongs to a group of stars that have been accreted from a disrupted satellite galaxy of the Milky Way, the planet most likely has an extragalactic origin.


title: Light neutralino dark matter in light Higgs scenario related with the CoGeNT and DAMA/LIBRA results

abstract: Recently, the CoGeNT collaboration reported the WIMP candidate signal events exceeding the known backgrounds where the light WIMP with large cross section is supported. Motivated by this issue, we analyze a light neutralino dark matter scenario with a very light CP-even Higgs mediation in the elastic scattering process, which provides the mass and direct detection cross section to explain the CoGeNT result. To be compatible with the result of other experiments such as LEP and B-factories, the light CP-even Higgs is favored to be in 9 to 10 GeV. Such a scenario can be realized in the "Beyond the MSSM" context. The relic abundance consistent with the WMAP result can be obtained when twice of neutralino mass is close to the light Higgs mass via the resonance enhancement of the annihilation cross section. As a result, the neutralino mass is predicted to be at around 5 to 6 GeV.


title: Partially Cooled Shocks: Detectable Precursors in the Warm/Hot Intergalactic Medium

abstract: I present computations of the integrated column densities produced in the post-shock cooling layers and in the radiative precursors of partially-cooled fast shocks as a function of the shock age. The results are applicable to the shock-heated warm/hot intergalactic medium (WHIM) which is expected to be a major baryonic reservoir, and contain a large fraction of the so-called "missing baryons". My computations indicate that readily observable amounts of intermediate and high ions, such as CIV, NV, and OVI are created in the precursors of young shocks, for which the shocked gas remains hot and difficult to observe. I suggest that such precursors may provide a way to identify and estimate the "missing" baryonic mass associated with the shocks. The absorption-line signatures predicted here may be used to construct ion-ratio diagrams, which will serve as diagnostics for the photoionized gas in the precursors. In my numerical models, the time-evolution of the shock structure, self-radiation, and associated metal-ion column densities are computed by a series of quasi-static models, each appropriate for a different shock age. The shock code used in this work calculates the nonequilibrium ionization and cooling, follows the radiative transfer of the shock self-radiation through the post-shock cooling layers, takes into account the resulting photoionization and heating rates, follows the dynamics of the cooling gas, and self-consistently computes the photoionization states in the precursor gas. I present a complete set of the age-dependent post-shock and precursor columns for all ionization states of the elements H, He, C, N, O, Ne, Mg, Si, S, and Fe, as functions of the shock velocity, gas metallicity, and magnetic field. I present my numerical results in convenient online tables.


title: Tribimaximal Neutrino Mixing from A_4 Replication

abstract: Motivated by dimensional deconstruction, we propose a model of tribimaximal neutrino mixing based on A_4 x A_4 symmetry. In this model, the two triplet symmetry-breaking fields of conventional A_4 models are taken to transform under different A_4 group factors, but are not distinguished by any other quantum numbers. An additional bi-triplet flavon field breaks A_4 x A_4 to its diagonal subgroup. If the bi-triplet transforms under an additional Z_3 symmetry, we show that one can construct a general, renormalizable superpotential that yields the desired pattern of symmetry breaking. We identify the features that this model has in common with a deconstructed 5D theory in which A_4 is a subgroup of a continuous gauged flavor symmetry in the bulk.


title: New Strongly Coupled Sector at the Tevatron and the LHC

abstract: We examine the possibility that a new strong interaction is accessible to the Tevatron and the LHC. In an effective theory approach, we consider a scenario with a new color-octet interaction with strong couplings to the top quark, as well as the presence of a strongly coupled fourth-generation which could be responsible for electroweak symmetry breaking. We apply several constraints, including the ones from flavor physics. We study the phenomenology of the resulting parameter space at the Tevatron, focusing on the the forward-backward asymmetry in top pair production, as well as in the production of the fourth-generation quarks. We show that if the excess in the top production asymmetry is indeed the result of this new interaction, the Tevatron could see the first hints of the strongly coupled fourth-generation quarks. Finally, we show that the LHC with $\sqrt{s}=7~$TeV and $1~{\rm fb}^{-1}$ integrated luminosity should observe the production of fourth-generation quarks at a level at least one order of magnitude above the QCD prediction for the production of these states.


Comment on "Biases in the Quasar Mass-Luminosity Plane"


title: A GALEX/Spitzer survey of the Cl0016+16 supercluster at z=0.55: acceleration of the onset of star-formation in satellite groups

abstract: We present the results of a panoramic (15 Mpc-scale) survey of the Cl0016+16 supercluster (z=0.55) using Spitzer Space Telescope MIPS 24um and Galaxy Evolution Explorer near-UV (2500A; NUV) imaging. The supercluster regions probed are characterised by several dense nodes connected by a pronounced intermediate-density filamentary structure. We have studied the mid-IR and NUV properties of potential cluster members within a Dz=0.1 photometric redshift slice, compared to an identical blank field selection. We have two main findings: (a) the star-formation rates of individual star-forming galaxies throughout the cluster are not significantly different to identically selected field galaxies, and (b) the cluster harbours pockets of 'accelerated' activity where galaxies have an enhanced probability of undergoing star formation. This observation could be explained in a simple model of 'pre-processing' of galaxies during cluster infall: galaxies in satellite groups have an increased chance of having star-formation triggered via gravitational tidal interactions compared to their counterparts in the field, but there is no environmental mechanism boosting the individual star-formation rates of galaxies. We estimate a lower-limit for the total star-formation rate of galaxies in the supercluster as ~850 Msun/yr (field corrected). If this rate is maintained over the typical infall time of a few Gyr, then the infall population could contribute ~1-2x10^12 Msun of stellar mass to the structure.


title: HI Observations of the Asymptotic Giant Branch Star X Herculis: Discovery of an Extended Circumstellar Wake Superposed on a Compact High-Velocity Cloud

abstract: We report HI 21-cm line observations of the AGB star X Her obtained with the Green Bank Telescope (GBT) and the Very Large Array (VLA). We have detected HI emission totaling M_HI=2.1e-03 M_sun associated with the circumstellar envelope of the star. The HI distribution exhibits a head-tail morphology, similar to those previously observed around Mira and RS Cnc. The tail extends ~6.0' (0.24 pc) in the plane of the sky, along the direction of the star's space motion. We also detect a velocity gradient of ~6.5 km/s across the envelope, consistent with the HI tracing a turbulent wake that arises from the motion of a mass-losing star through the ISM. GBT mapping of a 2x2deg region around X Her reveals that the star lies (in projection) near the periphery of a much larger HI cloud that also exhibits signatures of ISM interaction. The properties of the cloud are consistent with those of compact high-velocity clouds. Using CO observations, we have placed an upper limit on its molecular gas content of N_H2<1.3e20 cm^-2. Although the distance to the cloud is poorly constrained, the probability of a chance coincidence in position, velocity, and apparent position angle of space motion between X Her and the cloud is extremely small, suggesting a possible physical association. However, the large HI mass of the cloud (~>2.4~M_sun) and the blueshift of its mean velocity relative to X Her are inconsistent with an origin tied directly to stellar ejection. (abridged)


title: Hidden Structures of Black Holes

abstract: This thesis investigates two main topics concerning black holes in extensions of general relativity inspired by string theory. First, the structure of the equations of motion underlying black hole solutions is considered, in theories of D-dimensional gravity coupled to scalars and vectors. For solutions preserving supersymmetry, the equations of motion have a dramatic simplification: they become first-order instead of the second-order equations one would expect. Recently, it was found that this is a feature some non-supersymmetric black hole solutions exhibit as well. We investigate if this holds more generally, by examining what the conditions are to have first-order equations for the scalar fields of non-supersymmetric black holes, that mimic the form of their supersymmetric counterparts. This is illustrated in examples. Second, the structure of black holes themselves is investigated. String theory has been successful in explaining the Bekenstein-Hawking entropy for (mainly supersymmetric) black holes from a microscopic perspective. However, it is not fully established what the interpretation of the corresponding 'microstates' should be in the gravitational description where the black hole picture is valid. There have been recent advances to understand the nature of black hole microstates in the gravity regime, such as the fuzzball proposal. A related idea says that black hole configurations with multiple centers are related to microstates of single-centered black holes. We report on work relating both pictures. As an aside, a relation between violations of causality for certain spacetimes (presence of closed timelike curves in the geometry) and a breakdown of unitarity in the dual conformal field theory is given.


title: The need for hypercritical accretion in massive black-hole binaries with large Kerr parameters

abstract: Recent measurements of the Kerr parameters of the black holes in M33 X-7 and LMC X-1 yield a*=0.84\pm0.05 and a*=0.90^{+.04}_{-.09} respectively. We study massive binary evolution scenarios that can reproduce such high values for the Kerr parameters. We first discuss a model with Case C mass transfer leading to a common envelope and tidal synchronization of the primary before it collapses into a black hole. We also study a Case M evolution model (which involves tidally-locked, rotationally-mixed, chemically-homogeneous stars in a close binary). Our analysis suggests that, regardless of the specific scenario, the observed Kerr parameters for the black holes in M33 X-7 and LMC X-1 had to be obtained through hypercritical mass accretion.


title: Ground-state properties of a supersymmetric fermion chain

abstract: We analyze the ground state of a strongly interacting fermion chain with a supersymmetry. We conjecture a number of exact results, such as a hidden duality between weak and strong couplings. By exploiting a scale free property of the perturbative expansions, we find exact expressions for the order parameters, yielding the critical exponents. We show that the ground state of this fermion chain and another model in the same universality class, the XYZ chain along a line of couplings, are both written in terms of the same polynomials. We demonstrate this explicitly for up to N = 24 sites, and provide consistency checks for large N. These polynomials satisfy a recursion relation related to the Painlev\'e VI differential equation, and using a scale-free property of these polynomials, we derive a simple and exact formula for their limit as N goes to infinity.

categories: cond-mat.stat-mech cond-mat.str-el hep-th math-ph math.MP


title: Gravitational Wave Emission from the Single-Degenerate Channel of Type Ia Supernovae

abstract: The thermonuclear explosion of a C/O white dwarf as a Type Ia supernova (SN Ia) generates a kinetic energy comparable to that released by a massive star during a SN II event. Current observations and theoretical models have established that SNe Ia are asymmetric, and therefore--like SNe II--potential sources of gravitational wave (GW) radiation. We perform the first detailed calculations of the GW emission for a SN Ia of any type within the single-degenerate channel. The gravitationally-confined detonation (GCD) mechanism predicts a strongly-polarized GW burst in the frequency band around 1 Hz. Third-generation spaceborne GW observatories currently in planning may be able to detect this predicted signal from SNe Ia at distances up to 1 Mpc. If observable, GWs may offer a direct probe into the first few seconds of the SNe Ia detonation.


title: On Flux Quantization in F-Theory

abstract: We study the problem of four-form flux quantization in F-theory compactifications. We prove that for smooth, elliptically fibered Calabi-Yau fourfolds with a Weierstrass representation, the flux is always integrally quantized. This implies that any possible half-integral quantization effects must come from 7-branes, i.e. from singularities of the fourfold. We subsequently analyze the quantization rule on explicit fourfolds with Sp(N) singularities, and connect our findings via Sen's limit to IIB string theory. Via direct computations we find that the four-form is half-integrally quantized whenever the corresponding 7-brane stacks wrap non-spin complex surfaces, in accordance with the perturbative Freed-Witten anomaly. Our calculations on the fourfolds are done via toric techniques, whereas in IIB we rely on Sen's tachyon condensation picture to treat bound states of branes. Finally, we give general formulae for the curvature- and flux-induced D3 tadpoles for general fourfolds with Sp(N) singularities.


title: Interplay between Lattice Distortion and Spin-Orbit Coupling in Double Perovskites

abstract: We develop anisotropic pseudo-spin antiferromagnetic Heisenberg models for monoclinically distorted double perovskites. We focus on these A$_2$BB'O$_6$ materials that have magnetic moments on the 4d or 5d transition metal B' ions, which form a face-centered cubic lattice. In these models, we consider local z-axis distortion of B'-O octahedra, affecting relative occupancy of $t_{2g}$ orbitals, along with geometric effects of the monoclinic distortion, and spin-orbit coupling. The resulting pseudo-spin-1/2 models are solved in the saddle-point limit of the Sp(N) generalization of the Heisenberg model. The spin S in the SU(2) case generalizes as a parameter $\kappa$ controlling quantum fluctuation in the Sp(N) case. We consider two different models that may be appropriate for these systems. In particular, using Heisenberg exchange parameters for La$_2$LiMoO$_6$ from a spin-dimer calculation, we conclude that this pseudo-spin-1/2 system may order, but must be very close to a disordered spin liquid state.


title: Star Formation from DLA Gas in the Outskirts of Lyman Break Galaxies at z~3

abstract: We present evidence for spatially extended low surface brightness emission around Lyman break galaxies (LBGs) in the V band image of the Hubble Ultra Deep Field, corresponding to the z~3 rest-frame FUV light, which is a sensitive measure of star formation rates (SFRs). We find that the covering fraction of molecular gas at z~3 is not adequate to explain the emission in the outskirts of LBGs, while the covering fraction of neutral atomic-dominated hydrogen gas at high redshift is sufficient. We develop a theoretical framework to connect this emission around LBGs to the expected emission from neutral H I gas i.e., damped Lyman alpha systems (DLAs), using the Kennicutt-Schmidt (KS) relation. Working under the hypothesis that the observed FUV emission in the outskirts of LBGs is from in situ star formation in atomic-dominated hydrogen gas, the results suggest that the SFR efficiency in such gas at z~3 is between factors of 10 and 50 lower than predictions based on the local KS relation. The total SFR density in atomic-dominated gas at z~3 is constrained to be ~10% of that observed from the inner regions of LBGs. In addition, the metals produced by in situ star formation in the outskirts of LBGs yield metallicities comparable to those of DLAs, which is a possible solution to the "Missing Metals" problem for DLAs. Finally, the atomic-dominated gas in the outskirts of galaxies at both high and low redshifts has similar reduced SFR efficiencies and is consistent with the same power law.


title: A critical look at V_us determinations from hadronic tau decay data

abstract: A critical review of hadronic tau decay data based determinations of |V_{us}| is given, focussing on the impact of the slow convergence of the integrated D=2 OPE series for the conventional flavor-breaking sum rule determination and the potential role of as-yet-unmeasured multiparticle contributions to the strange spectral distribution. Additional information obtainable from analyses of inclusive strange decay data alone, and from mixed electroproduction-tau sum rules with much reduced OPE uncertainties, is also discussed. Self-consistency tests are shown to favor determinations which reduce somewhat discrepancies with 3-family unitarity expectations.


title: Think Outside the Color Box: Probabilistic Target Selection and the SDSS-XDQSO Quasar Targeting Catalog

abstract: We present the SDSS-XDQSO quasar targeting catalog for efficient flux-based quasar target selection down to the faint limit of the Sloan Digital Sky Survey (SDSS) catalog, even at medium redshifts (2.5 <~ z <~ 3) where the stellar contamination is significant. We build models of the distributions of stars and quasars in flux space down to the flux limit by applying the extreme-deconvolution method to estimate the underlying density. We convolve this density with the flux uncertainties when evaluating the probability that an object is a quasar. This approach results in a targeting algorithm that is more principled, more efficient, and faster than other similar methods. We apply the algorithm to derive low-redshift (z < 2.2), medium-redshift (2.2 <= z <= 3.5), and high-redshift (z > 3.5) quasar probabilities for all 160,904,060 point sources with dereddened i-band magnitude between 17.75 and 22.45 mag in the 14,555 deg^2 of imaging from SDSS Data Release 8. The catalog can be used to define a uniformly selected and efficient low- or medium-redshift quasar survey, such as that needed for the SDSS-III's Baryon Oscillation Spectroscopic Survey project. We show that the XDQSO technique performs as well as the current best photometric quasar-selection technique at low redshift, and outperforms all other flux-based methods for selecting the medium-redshift quasars of our primary interest. We make code to reproduce the XDQSO quasar target selection publicly available.


title: Ramification in Iwasawa modules

abstract: We study properties of ramification in Iwasawa modules.


title: The LCOGT Network

abstract: Motivated by the increasing need for observational resources for the study of time varying astronomy, the Las Cumbres Observatory Global Telescope (LCOGT) is a private foundation, whose goal is to build a global network of robotic telescopes for scientific research and education. Once completed, the network will become a unique tool, capable of continuous monitoring from both the Northern and Southern Hemispheres. The network currently includes 2 x 2.0 m telescopes, already making an impact in the field of exoplanet research. In the next few years they will be joined by at least 12 x 1.0 m and 20 x 0.4 m telescopes. The increasing amount of LCOGT observational resources in the coming years will be of great service to the astronomical community in general, and the exoplanet community in particular.


title: TASTE: The Asiago Search for Transit timing variations of Exoplanets. I. Overview and improved parameters for HAT-P-3b and HAT-P-14b

abstract: A promising method for detecting earth-sized exoplanets is the timing analysis of a known transit. The technique allows a search for variations in either the transit duration or the center induced by the perturbation of a third body, e.g. a second planet or an exomoon. By applying this method, the TASTE (The Asiago Search for Transit Timing variations of Exoplanets) project will collect high-precision, short-cadence light curves for a selected sample of transits by using imaging differential photometry at the Asiago 1.82m telescope. The first light curves show that our project can achieve a competitive timing accuracy, as well as a significant improvement of the orbital parameters. We derived refined ephemerides for HAT-P-3b and HAT-P-14b with a timing accuracy of 11 and 25 s, respectively.


title: The quantum mechanics of perfect fluids

abstract: We consider the canonical quantization of an ordinary fluid. The resulting long-distance effective field theory is derivatively coupled, and therefore strongly coupled in the UV. The system however exhibits a number of peculiarities, associated with the vortex degrees of freedom. On the one hand, these have formally a vanishing strong-coupling energy scale, thus suggesting that the effective theory's regime of validity is vanishingly narrow. On the other hand, we prove an analog of Coleman's theorem, whereby the semiclassical vacuum has no quantum counterpart, thus suggesting that the vortex premature strong-coupling phenomenon stems from a bad identification of the ground state and of the perturbative degrees of freedom. Finally, vortices break the usual connection between short distances and high energies, thus potentially impairing the unitarity of the effective theory.


title: Almost Optimal Explicit Johnson-Lindenstrauss Transformations

abstract: The Johnson-Lindenstrauss lemma is a fundamental result in probability with several applications in the design and analysis of algorithms in high dimensional geometry. Most known constructions of linear embeddings that satisfy the Johnson-Lindenstrauss property involve randomness. We address the question of explicitly constructing such embedding families and provide a construction with an almost optimal use of randomness: we use O(log(n/delta)log(log(n/delta)/epsilon)) random bits for embedding n dimensions to O(log(1/delta)/epsilon^2) dimensions with error probability at most delta, and distortion at most epsilon. In particular, for delta = 1/poly(n) and fixed epsilon, we use O(log n loglog n) random bits. Previous constructions required at least O(log^2 n) random bits to get polynomially small error.


title: Equivalent dynamical complexity in a many-body quantum and collective human system

abstract: Proponents of Complexity Science believe that the huge variety of emergent phenomena observed throughout nature, are generated by relatively few microscopic mechanisms. Skeptics however point to the lack of concrete examples in which a single mechanistic model manages to capture relevant macroscopic and microscopic properties for two or more distinct systems operating across radically different length and time scales. Here we show how a single complexity model built around cluster coalescence and fragmentation, can cross the fundamental divide between many-body quantum physics and social science. It simultaneously (i) explains a mysterious recent finding of Fratini et al. concerning quantum many-body effects in cuprate superconductors (i.e. scale of 10^{-9} - 10^{-4} meters and 10^{-12} - 10^{-6} seconds), (ii) explains the apparent universality of the casualty distributions in distinct human insurgencies and terrorism (i.e. scale of 10^3 - 10^6 meters and 10^4 - 10^8 seconds), (iii) shows consistency with various established empirical facts for financial markets, neurons and human gangs and (iv) makes microscopic sense for each application. Our findings also suggest that a potentially productive shift can be made in Complexity research toward the identification of equivalent many-body dynamics in both classical and quantum regimes.

categories: nlin.AO cond-mat.stat-mech cond-mat.supr-con physics.soc-ph


title: Tunable energy transfer between dipolar-coupled magnetic disks by stimulated vortex gyration

abstract: A wide variety of coupled harmonic oscillators exist in nature1. Coupling between different oscillators allows for the possibility of mutual energy transfer between them2-4 and the information-signal propagation5,6. Low-energy input signals and their transport with low-energy dissipation are the key technical factors in the design of information processing devices7. Here, utilizing the concept of coupled oscillators, we experimentally demonstrated a robust new mechanism for energy transfer between spatially separated dipolar-coupled magnetic disks - stimulated vortex gyration. Direct experimental evidence was obtained by time-resolved soft X-ray microscopy. The rate of energy transfer from one disk to the other was deduced from the two normal modes' frequency splitting caused by dipolar interaction. This mechanism provides the advantages of tunable energy transfer rate, low-power input signal, and low-energy dissipation for magnetic elements with negligible damping. Coupled vortex-state disks are promising candidates for information-signal processing devices that operate above room temperature.


title: Optomechanical coupling in a two-dimensional photonic crystal defect cavity

abstract: Periodically structured materials can sustain both optical and mechanical modes. Here we investigate and observe experimentally the optomechanical properties of a conventional two-dimensional suspended photonic crystal defect cavity with a mode volume of $\sim$$3(\lambda/n)^{3}$. Two families of mechanical modes are observed: flexural modes, associated to the motion of the whole suspended membrane, and localized modes with frequencies in the GHz regime corresponding to localized phonons in the optical defect cavity of diffraction-limited size. We demonstrate direct measurements of the optomechanical vacuum coupling rate using a frequency calibration technique. The highest measured values exceed 250 kHz, demonstrating strong coupling of optical and mechanical modes in such structures.


title: Killing tensors in pp-wave spacetimes

abstract: The formal solution of the second order Killing tensor equations for the general pp-wave spacetime is given. The Killing tensor equations are integrated fully for some specific pp-wave spacetimes. In particular, the complete solution is given for the conformally flat plane wave spacetimes and we find that irreducible Killing tensors arise for specific classes. The maximum number of independent irreducible Killing tensors admitted by a conformally flat plane wave spacetime is shown to be six. It is shown that every pp-wave spacetime that admits an homothety will admit a Killing tensor of Koutras type and, with the exception of the singular scale-invariant plane wave spacetimes, this Killing tensor is irreducible.


title: The Price Impact of Order Book Events

abstract: We study the price impact of order book events - limit orders, market orders and cancelations - using the NYSE TAQ data for 50 U.S. stocks. We show that, over short time intervals, price changes are mainly driven by the order flow imbalance, defined as the imbalance between supply and demand at the best bid and ask prices. Our study reveals a linear relation between order flow imbalance and price changes, with a slope inversely proportional to the market depth. These results are shown to be robust to seasonality effects, and stable across time scales and across stocks. We argue that this linear price impact model, together with a scaling argument, implies the empirically observed "square-root" relation between price changes and trading volume. However, the relation between price changes and trade volume is found to be noisy and less robust than the one based on order flow imbalance.


title: Pion radiative weak decays in nonlocal chiral quark models

abstract: We analyze the radiative pion decay pi+ -> e+ nu_e gamma within nonlocal chiral quark models that include wave function renormalization. In this framework we calculate the vector and axial-vector form factors FV and FA at q^2=0 --where q^2 is the (e+ \nu_e) squared invariant mass-- and the slope a of FV(q^2) at q^2 -> 0. The calculations are carried out considering different nonlocal form factors, in particular those taken from lattice QCD evaluations, showing a reasonable agreement with the corresponding experimental data. The comparison of our results with those obtained in the (local) NJL model and the relation of FV and a with the form factor in pi^0 -> gamma* gamma decays are discussed.


title: The shifted harmonic approximation and asymptotic SU(2) and SU(1,1) Clebsch--Gordan coefficients

abstract: Clebsch-Gordan coefficients of SU(2) and SU(1,1) are defined as eigenfunctions of a linear operator acting on the tensor product of the Hilbert spaces for two irreps of these groups. The shifted harmonic approximation is then used to solve these equations in asymptotic limits in which these eigenfunctions approach harmonic oscillator wave functions and thereby derive asymptotic expressions for these Clebsch--Gordan coefficients.


title: A large-scale shock surrounding a powerful radio galaxy

abstract: We report the Chandra detection of a large-scale shock, on scales of 200 kpc, in the cluster surrounding the powerful radio galaxy 3C 444 (PKS 2211-17). Our 20-ks Chandra observation allows us to identify a clear surface brightness drop around the outer edge of the radio galaxy, which is likely to correspond to a spheroidal shock propagating into the intracluster medium. We measure a temperature jump across the surface brightness drop of a factor ~1.7, which corresponds to a Mach number of ~1.7. This is likely to be an underestimate due to the need to average over a fairly large region when measuring the temperature of the post-shock gas. We also detect clear cavities corresponding to the positions of the radio lobes, which is only the second such detection associated with an FRII radio galaxy. We estimate that the total energy transferred to the environment is at least 8.2 x 10^60 ergs, corresponding to a jet power of >2.2 x 10^45 ergs s^-1 (assuming a timescale based on the measured shock speed). We also compare the external pressure acting on the lobes with the internal pressure under various assumptions, and conclude that a significant contribution from protons is required.


title: Deconfined SU(2) phase with a massive vector boson triplet

abstract: We introduce a model of SU(2) and U(1) vector fields with a local U(2) symmetry. Its action can be obtained in the London limit of a gauge invariant regularization involving two scalar fields. Evidence from lattice simulations of the model supports a (zero temperature) SU(2) deconfining phase transition through breaking of the SU(2) center symmetry, and a massive vector boson triplet is found in the deconfined phase.


title: Contact effects on transport in magnetite, an archetypal correlated transition metal oxide

abstract: Multiterminal measurements have typically been employed to examine electronic properties of strongly correlated electronic materials such as transition metal oxides without the influence of contact effects. In contrast, in this work we investigate the interface properties of Fe$_3$O$_4$ with different metals, with the contact effects providing a window on the physics at work in the correlated oxide. Contact resistances are determined by means of four-terminal electrical measurements as a function of source voltage and temperature. Contact resistances vary systematically with the work function of the electrode metal, $\phi(M)$, $M=$Cu, Au and Pt, with higher work function yielding lower contact resistance. This trend and the observation that contact resistances are directly proportional to the Fe$_3$O$_4$ resistivity are consistent with modeling the oxide as an effective $p$-type semiconductor with hopping transport. The jumps in contact resistance values at the bias-driven insulator-metal transition have a similar trend with $\phi$($M$), consistent with the transition mechanism of charge gap closure by electric field.


title: Merging Galaxy Cluster Abell 2255 in Mid-Infrared

abstract: We present the mid-infrared (MIR) observation of a nearby galaxy cluster, Abell 2255 by the AKARI space telescope. Using the AKARI's continuous wavelength coverage between 3-24 micron and the wide field of view, we investigate the properties of cluster member galaxies to see how the infall of the galaxies, the cluster substructures, and the cluster-cluster merger influence their evolution. We show that the excess of MIR (11 micron) flux is a good indicator to discriminate galaxies at different evolutionary stages, and divide galaxies into three classes accordingly : strong MIR-excess (N3-S11>0.2) galaxies that include both unobscured and obscured star-forming galaxies, weak MIR-excess (-2.0<N3-S11<-1.2) galaxies that are quiescent, old (>5 Gyr) galaxies where the MIR emission arises mainly from the circumstellar dust around AGB stars, and intermediate MIR-excess (-1.2<N3-S11<0.2) galaxies in between the two classes that are less than a few Gyrs old past the prime star formation activity. With the MIR-excess diagnostics, we investigate how local and cluster-scale environments affect the individual galaxies. We derive the total star formation rate of ~130 Msun/yr for A2255 using the strong MIR-excess galaxies, which is consistent with other clusters of galaxies at similar redshifts and with similar masses. We find no strong evidence that supports enhanced star formation neither inside the cluster nor in the substructure region. The intermediate MIR-excess galaxies, representing galaxies in transition from star-forming galaxies to quiescent galaxies, are located preferentially at the medium density region or cluster substructures. Our findings suggest that galaxies are being transformed from star-forming galaxies into red, quiescent galaxies from the infall region through near the core, which can be well-explained by the ram-pressure stripping as previous simulation suggests.


title: A coordinate-wise optimization algorithm for the Fused Lasso

abstract: L1 -penalized regression methods such as the Lasso (Tibshirani 1996) that achieve both variable selection and shrinkage have been very popular. An extension of this method is the Fused Lasso (Tibshirani and Wang 2007), which allows for the incorporation of external information into the model. In this article, we develop new and fast algorithms for solving the Fused Lasso which are based on coordinate-wise optimization. This class of algorithms has recently been applied very successfully to solve L1 -penalized problems very quickly (Friedman et al. 2007). As a straightforward coordinate-wise procedure does not converge to the global optimum in general, we adapt it in two ways, using maximum-flow algorithms and a Huber penalty based approximation to the loss function. In a simulation study, we evaluate the speed of these algorithms and compare them to other standard methods. As the Huber-penalty based method is only approximate, we also evaluate its accuracy. Apart from this, we also extend the Fused Lasso to logistic as well as proportional hazards models and allow for a more flexible penalty structure.


title: On Algebraically Integrable Differential Operators on an Elliptic Curve

abstract: We study differential operators on an elliptic curve of order higher than 2 which are algebraically integrable (i.e., finite gap). We discuss classification of such operators of order 3 with one pole, discovering exotic operators on special elliptic curves defined over ${\mathbb Q}$ which do not deform to generic elliptic curves. We also study algebraically integrable operators of higher order with several poles and with symmetries, and (conjecturally) relate them to crystallographic elliptic Calogero-Moser systems (which is a generalization of the results of Airault, McKean, and Moser).


title: String Theory and The Velo-Zwanziger Problem

abstract: We examine the behavior of the leading Regge trajectory of the open bosonic string in a uniform electromagnetic background and present a consistent set of Fierz-Pauli conditions for these symmetric tensors that generalizes the Argyres-Nappi spin-2 result. These equations indicate that String Theory does bypass the Velo-Zwanziger problem, i.e. the loss of causality experienced by a massive high-spin field minimally coupled to electromagnetism. Moreover, we provide some evidence that only the first Regge trajectory can be described in isolation and show that the open-string spectrum is free of ghosts in weak constant backgrounds. Finally, we comment on the roles of the critical dimension and of the gyromagnetic ratio.


title: A new simple form of quark mixing matrix

abstract: Although different parametrizations of quark mixing matrix are mathematically equivalent, the consequences of experimental analysis may be distinct. Based on the triminimal expansion of Kobayashi-Maskawa matrix around the unit matrix, we propose a new simple parametrization. Compared with the Wolfenstein parametrization, we find that the new form is not only consistent with the original one in the hierarchical structure, but also more convenient for numerical analysis and measurement of the CP-violating phase. By discussing the relation between our new form and the unitarity boomerang, we point out that along with the unitarity boomerang, this new parametrization is useful in hunting for new physics.


title: The Emission Line Properties of Gravitationally-lensed 1.5 < z < 5 Galaxies

abstract: We present and analyse near-infrared spectroscopy for a sample of 28 gravitationally- lensed star-forming galaxies in the redshift range 1.5 < z < 5, observed mostly with the Keck II telescope. With typical magnifications of ~1.5-4 magnitudes, our survey provides a valuable census of star formation rates, gas-phase metallicities and dynamical masses for a representative sample of low luminosity galaxies seen at a formative period in cosmic history. We find less evolution in the mass-metallicity relation compared to earlier work that focused on more luminous systems with z - 2-3, especially in the low mass (- 10^9 Msol) where our sample is - 0.25 dex more metal-rich. We interpret this offset as a result of the lower star formation rates (typically a factor of -10 lower) for a given stellar mass in our sub-luminous systems. Taking this effect into account, we conclude our objects are consistent with a fundamental metallicity relation recently proposed from unlensed observations.


title: Recurrence and higher ergodic properties for quenched random Lorentz tubes in dimension bigger than two

abstract: We consider the billiard dynamics in a non-compact set of R^d that is constructed as a bi-infinite chain of translated copies of the same d-dimensional polytope. A random configuration of semi-dispersing scatterers is placed in each copy. The ensemble of dynamical systems thus defined, one for each global realization of the scatterers, is called `quenched random Lorentz tube'. Under some fairly general conditions, we prove that every system in the ensemble is hyperbolic and almost every system is recurrent, ergodic, and enjoys some higher chaotic properties.


title: Endoscopy and the Transfer from GSp(4) to GL(4)

abstract: We show the existence of an L-functions of a cuspidal representation of GSp(4,A)*GSp(4,A) which has a pole of order 2 at s = 1, even for globally generic representations. However if \pi comes from GSO(4,A), then \pi? is the Weil transfer of \Pi_?1 \otimes \Pi_2 realized as a representation of GSO(4,A). This agrees with Langlands Functoriality principle as GSO(4) is an endoscopic group for GSp(4) and shows that data ?\Pi_?1 \otimes \Pi_2 on GSO(4) transfers to \Pi_?1 \boxplus \Pi_2 through the composite of the endoscopic transfer from GSO(4) to GSp(4) and the twisted endoscopic transfer from GSp(4) to GL(4).


title: High-precision metrology of highly charged ions via relativistic resonance fluorescence

abstract: Resonance fluorescence of laser-driven highly charged ions is studied in the relativistic regime by solving the time-dependent master equation in a multi-level model. Our ab initio approach based on the Dirac equation allows for investigating highly relativistic ions, and, consequently, provides a sensitive means to test correlated relativistic dynamics, bound-state quantum electrodynamic phenomena and nuclear effects by applying coherent light with x-ray frequencies. Atomic dipole or multipole moments may be determined to unprecedented accuracy by measuring the interference-narrowed fluorescence spectrum.


title: Effect of pulse error accumulation on dynamical decoupling of the electron spins of phosphorus donors in silicon

abstract: Dynamical decoupling (DD) is an efficient tool for preserving quantum coherence in solid-state spin systems. However, the imperfections of real pulses can ruin the performance of long DD sequences. We investigate the accumulation and compensation of different pulse errors in DD using the electron spins of phosphorus donors in silicon as a test system. We study periodic DD sequences (PDD) based on spin rotations about two perpendicular axes, and their concatenated and symmetrized versions. We show that pulse errors may quickly destroy some spin states, but maintain other states with high fidelity over long times. Pulse sequences based on spin rotations about $x$ and $y$ axes outperform those based on $x$ and $z$ axes due to the accumulation of pulse errors. Concatenation provides an efficient way to suppress the impact of pulse errors, and can maintain high fidelity for all spin components: pulse errors do not accumulate (to first order) as the concatenation level increases, despite the exponential increase in the number of pulses. Our theoretical model gives a clear qualitative picture of the error accumulation, and produces results in quantitative agreement with the experiments.


title: Analysis of Multipoint Correlations in Direct Numerical Simulation

abstract: We examine the Markov properties of the three velocity components of a turbulent flow generated by a DNS simulation of the flow around an airfoil section. The spectral element code Nektar has been used to generate a well resolved flow field around an fx79w-151a airfoil profile at a Reynolds number of Re=5000 and an angle of attack of {\alpha} = 12{\deg}. Due to a homogeneous geometry in the spanwise direction, a Fourier expansion has been used for the third dimension of the simulation. In the wake of the profile the flow field shows a von Karman street like behavior with the vortices decaying in the wake which trigger a turbulent field. Time series of the 3D flow field were extracted from the flow at different locations to analyze the stochastic features. In particular the existence of Markov properties in the flow have been shown for different cases in the surrounding of the airfoil. This is of basic interest as it indicates that fine structures of turbulence can be replaced by stochastic processes. Turbulent and Markovian scales are being determined in the turbulent field and limits of standard Gaussian Langevin processes are being determined by the reconstruction of a flow field in time and space.


title: Optical Spectra of SNR Candidates in NGC 300

abstract: We present moderate-resolution (<5A) long-slit optical spectra of 51 nebular objects in the nearby Sculptor Group galaxy NGC 300 obtained with the 2.3 meter Advanced Technology Telescope at Siding Spring Observatory, Australia. Adopting the criterion of [SII]/Ha>=0.4 to confirm supernova remnants (SNRs) from optical spectra, we find that of 28 objects previously proposed as SNRs from optical observations, 22 meet this criterion with six showing [SII]/Ha of less than 0.4. Of 27 objects suggested as SNRs from radio data, four are associated with the 28 previously proposed SNRs. Of these four, three (included in the 22 above) meet the criterion. In all, 22 of the 51 nebular objects meet the [SII]/Ha criterion as SNRs while the nature of the remaining 29 objects remains undetermined by these observations.


title: Erratum: Degenerate diffusion with a drift potential: A viscosity solution approach

abstract: The earlier paper [LK] (arXiv:0910.3432) contains a lower bound of the solution in terms of its $L^1$ norm, which is incorrect. In this note we explain the mistake and present a correction to it under the restriction that the permeability constant $m$ satisfies $1< m <2$. As a consequence, the quantitative estimates on the convergence rate (Main Theorem (c) and Theorem 3.6 in [LK] only hold for $1<m<2$. For $m\geq 2$ a partial convergence rate is obtained.


title: Cyclic Higgs bundles and the affine Toda equations

abstract: We introduce a class of Higgs bundles called cyclic which lie in the Hitchin component of representations of a compact Riemann surface into the split real form of a simple Lie group. We then prove that such a Higgs bundle is equivalent to a certain class of solutions to the affine Toda equations. We further explain this relationships in terms of lifts of harmonic maps.


title: Topological superconductivity and Majorana fermions in half-metal / superconductor heterostructure

abstract: As a half-metal is spin-polarized at its Fermi level by definition, it was conventionally thought to have little proximity effect to an s-wave superconductor. Here we show that, with interface spin-orbit coupling, $p_x +ip_y$ superconductivity without spin degeneracy is induced on the half-metal, and we give an estimate of its bulk energy gap. Therefore a single-band half-metal can give us a topological superconductor with a single chiral Majorana edge state. Our band calculation shows that two atomic layers of VTe or CrO$_2$ is a single-band half-metal for a wide range ($\sim$0.1eV) of Fermi energy and thus is a suitable candidate material.


title: Heat capacity of the site-diluted spin dimer system Ba3(Mn1-xVx)2O8

abstract: Heat capacity and susceptibility measurements have been performed on the diluted spin dimer compound Ba3(Mn1-xVx)2O8. The parent compound Ba3Mn2O8 is a spin dimer system based on pairs of antiferromagnetically coupled S = 1, 3d2 Mn5+ ions such that the zero field groundstate is a product of singlets. Substitution of non-magnetic S = 0, 3d0 V5+ ions leads to an interacting network of unpaired Mn moments, the low temperature properties of which are explored in the limit of small concentrations, 0<x<0.05. The zero-field heat capacity of this diluted system reveals a progressive removal of magnetic entropy over an extended range of temperatures, with no evidence for a phase transition. The concentration dependence does not conform to expectations for a spin glass state. Rather, the data suggest a low temperature random singlet phase, reflecting the hierarchy of exchange energies found in this system.


title: Yangian Superalgebras in Conformal Field Theory

abstract: Quantum Yangian symmetry in several sigma models with supergroup or supercoset as target is established. Starting with a two-dimensional conformal field theory that has current symmetry of a Lie superalgebra with vanishing Killing form we construct non-local charges and compute their properties. Yangian axioms are satisfied, except that the Serre relations only hold for a subsector of the space of fields. Yangian symmetry implies that correlation functions of fields in this sector satisfy Ward identities. We then show that this symmetry is preserved by certain perturbations of the conformal field theory. The main example are sigma models of the supergroups PSL(N|N), OSP(2N+2|2N) and D(2,1;\alpha) away from the WZW point. Further there are the OSP(2N+2|2N) Gross-Neveu models and current-current perturbations of ghost systems, both for the disc as world-sheet. The latter we show to be equivalent to CP^{N-1|N} sigma models, while the former are conjecturally dual to supersphere sigma models.


title: A Sino-German 6 cm polarization survey of the Galactic plane III. The region from 10 degree to 60 degree longitude

abstract: (Abridged) We have conducted a total intensity and polarization survey of the Galactic plane at 6 cm using the Urumqi 25 m telescope for the Galactic longitude range of 10 deg<l<60 deg and the Galactic latitude range of |b|<5 deg. Missing absolute zero levels of Stokes U and Q maps were restored by extrapolating the WMAP five-year K-band polarization data. For total intensities we recovered missing large-scale components by referring to the Effelsberg 11 cm survey. Total intensity and polarization maps are presented with an angular resolution of 9.5 arcmin and a sensitivity of 1 mK and 0.5 mK in total and polarized intensity, respectively. The 6 cm polarized emission in the Galactic plane originates within about 4 kpc distance, which increases for polarized emission out of the plane. The polarization map shows "patches", "canals" and "voids" with no correspondence in total intensity. We attribute the patches to turbulent magnetic field cells. Canals are caused by abrupt variation of polarization angles at the boundaries of patches rather than by foreground Faraday Screens. The superposition of foreground and Faraday Screen rotated background emission almost cancels polarized emission locally, so that polarization voids appear. By modelling the voids, we estimate the Faraday Screen's regular magnetic field along the line-of-sight to be larger than about 8 microG. We separated thermal (free-free) and non-thermal (synchrotron) emission according to their different spectral indices. The spectral index for the synchrotron emission was based on WMAP polarization data. The fraction of thermal emission at 6 cm is about 60% in the plane.


title: Fermionic partition functions for a periodic soliton cellular automaton

abstract: Fermionic formulas in combinatorial Bethe ansatz consist of sums of products of q-binomial coefficients. There exist refinements without a sum that are known to yield partition functions of box-ball systems with a prescribed soliton content. In this paper, such a refined fermionic formula is extended to the periodic box-ball system and a q-analogue of the Bethe root counting formula for XXZ chain at $\Delta=\infty$.


title: Breakup reaction models for two- and three-cluster projectiles

abstract: Breakup reactions are one of the main tools for the study of exotic nuclei, and in particular of their continuum. In order to get valuable information from measurements, a precise reaction model coupled to a fair description of the projectile is needed. We assume that the projectile initially possesses a cluster structure, which is revealed by the dissociation process. This structure is described by a few-body Hamiltonian involving effective forces between the clusters. Within this assumption, we review various reaction models. In semiclassical models, the projectile-target relative motion is described by a classical trajectory and the reaction properties are deduced by solving a time-dependent Schroedinger equation. We then describe the principle and variants of the eikonal approximation: the dynamical eikonal approximation, the standard eikonal approximation, and a corrected version avoiding Coulomb divergence. Finally, we present the continuum-discretized coupled-channel method (CDCC), in which the Schroedinger equation is solved with the projectile continuum approximated by square-integrable states. These models are first illustrated by applications to two-cluster projectiles for studies of nuclei far from stability and of reactions useful in astrophysics. Recent extensions to three-cluster projectiles, like two-neutron halo nuclei, are then presented and discussed. We end this review with some views of the future in breakup-reaction theory.


title: Effects of Near-side Two-jet Recombination on Away-side Correlation at LHC

abstract: The creation of partons with transverse momenta around 10 GeV/c in Pb-Pb collisions at LHC is expected to be so copious that the parton density may be high enough for neighboring jet cones to overlap. If the shower partons in adjacent jets can recombine to form trigger particles, the distribution of hadrons on the away side should be distinguishable from that due to the recoil of a single harder parton that can produce a similar trigger particle by fragmentation. The two-particle azimuthal correlation on the away side is generated by simulation of the two trigger types. Moments of the correlation distributions are calculated to exhibit their differences. A measure that can be determined by suitable analysis of the LHC data is suggested. It may reveal the footprint of two-jet recombination.


title: Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

abstract: The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.


title: A criterion for separating process calculi

abstract: We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible action by an arbitrary process never inhibits the capability of the resulting process to perform a visible action. We prove that there exists no compositional and interaction sensitive encoding of a not strongly replacement free calculus into any strongly replacement free one. We then define a weaker version of replacement freeness, by only considering replacement of closed processes, and prove that, if we additionally require the encoding to preserve name independence, it is not even possible to encode a non replacement free calculus into a weakly replacement free one. As a consequence of our encodability results, we get that many calculi equipped with priority are not replacement free and hence are not encodable into mainstream calculi like CCS and pi-calculus, that instead are strongly replacement free. We also prove that variants of pi-calculus with match among names, pattern matching or polyadic synchronization are only weakly replacement free, hence they are separated both from process calculi with priority and from mainstream calculi.


title: Light Logics and Higher-Order Processes

abstract: We show that the techniques for resource control that have been developed in the so-called "light logics" can be fruitfully applied also to process algebras. In particular, we present a restriction of Higher-Order pi-calculus inspired by Soft Linear Logic. We prove that any soft process terminates in polynomial time. We argue that the class of soft processes may be naturally enlarged so that interesting processes are expressible, still maintaining the polynomial bound on executions.


title: Relating timed and register automata

abstract: Timed automata and register automata are well-known models of computation over timed and data words respectively. The former has clocks that allow to test the lapse of time between two events, whilst the latter includes registers that can store data values for later comparison. Although these two models behave in appearance differently, several decision problems have the same (un)decidability and complexity results for both models. As a prominent example, emptiness is decidable for alternating automata with one clock or register, both with non-primitive recursive complexity. This is not by chance. This work confirms that there is indeed a tight relationship between the two models. We show that a run of a timed automaton can be simulated by a register automaton, and conversely that a run of a register automaton can be simulated by a timed automaton. Our results allow to transfer complexity and decidability results back and forth between these two kinds of models. We justify the usefulness of these reductions by obtaining new results on register automata.


title: A Process Calculus for Expressing Finite Place/Transition Petri Nets

abstract: We introduce the process calculus Multi-CCS, which extends conservatively CCS with an operator of strong prefixing able to model atomic sequences of actions as well as multiparty synchronization. Multi-CCS is equipped with a labeled transition system semantics, which makes use of a minimal structural congruence. Multi-CCS is also equipped with an unsafe P/T Petri net semantics by means of a novel technique. This is the first rich process calculus, including CCS as a subcalculus, which receives a semantics in terms of unsafe, labeled P/T nets. The main result of the paper is that a class of Multi-CCS processes, called finite-net processes, is able to represent all finite (reduced) P/T nets.


title: Models for CSP with availability information

abstract: We consider models of CSP based on recording what events are available as possible alternatives to the events that are actually performed. We present many different varieties of such models. For each, we give a compositional semantics, congruent to the operational semantics, and prove full abstraction and no-junk results. We compare the expressiveness of the different models.


title: Robustness of Equations Under Operational Extensions

abstract: Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are preserved is extremely useful; in particular, it can avoid the need to repeat proofs when extending the specified language. This paper investigates preservation of sound equations for several notions of bisimilarity on open terms: closed-instance (ci-)bisimilarity and formal-hypothesis (fh-)bisimilarity, both due to Robert de Simone, and hypothesis-preserving (hp-)bisimilarity, due to Arend Rensink. For both fh-bisimilarity and hp-bisimilarity, we prove that arbitrary sound equations on open terms are preserved by all disjoint extensions which do not add labels. We also define slight variations of fh- and hp-bisimilarity such that all sound equations are preserved by arbitrary disjoint extensions. Finally, we give two sets of syntactic criteria (on equations, resp. operational extensions) and prove each of them to be sufficient for preserving ci-bisimilarity.


title: Multiparty Symmetric Sum Types

abstract: This paper introduces a new theory of multiparty session types based on symmetric sum types, by which we can type non-deterministic orchestration choice behaviours. While the original branching type in session types can represent a choice made by a single participant and accepted by others determining how the session proceeds, the symmetric sum type represents a choice made by agreement among all the participants of a session. Such behaviour can be found in many practical systems, including collaborative workflow in healthcare systems for clinical practice guidelines (CPGs). Processes using the symmetric sums can be embedded into the original branching types using conductor processes. We show that this type-driven embedding preserves typability, satisfies semantic soundness and completeness, and meets the encodability criteria adapted to the typed setting. The theory leads to an efficient implementation of a prototypical tool for CPGs which automatically translates the original CPG specifications from a representation called the Process Matrix to symmetric sum types, type checks programs and executes them.


title: Breaking Symmetries

abstract: A well-known result by Palamidessi tells us that \pimix (the \pi-calculus with mixed choice) is more expressive than \pisep (its subset with only separate choice). The proof of this result argues with their different expressive power concerning leader election in symmetric networks. Later on, Gorla offered an arguably simpler proof that, instead of leader election in symmetric networks, employed the reducibility of incestual processes (mixed choices that include both enabled senders and receivers for the same channel) when running two copies in parallel. In both proofs, the role of breaking (initial) symmetries is more or less apparent. In this paper, we shed more light on this role by re-proving the above result - based on a proper formalization of what it means to break symmetries without referring to another layer of the distinguishing problem domain of leader election. Both Palamidessi and Gorla rephrased their results by stating that there is no uniform and reasonable encoding from \pimix into \pisep. We indicate how the respective proofs can be adapted and exhibit the consequences of varying notions of uniformity and reasonableness. In each case, the ability to break initial symmetries turns out to be essential.


title: Process Behaviour: Formulae vs. Tests (Extended Abstract)

abstract: Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensional testing in the style of DeNicola, Hennessy, and a recursive version of the property logic HML. We first characterise subsets of this property logic which can be captured by tests. Then we show that those subsets of the property logic capture precisely the power of tests.


title: Lowering the low-energy threshold of xenon detectors

abstract: We show that the energy threshold for nuclear recoils in the XENON10 dark matter search data can be lowered to ~1 keV, by using only the ionization signal. In other words, we make no requirement that a valid event contain a primary scintillation signal. We therefore relinquish incident particle type discrimination, which is based on the ratio of ionization to scintillation in liquid xenon. This method compromises the detector's ability to precisely determine the z coordinate of a particle interaction. However, we show for the first time that it is possible to discriminate bulk events from surface events based solely on the ionization signal.