title: Cavity-Modified Collective Rayleigh Scattering of Two Atoms

abstract: We report on the observation of cooperative radiation of exactly two neutral atoms strongly coupled to the single mode field of an optical cavity, which is close to the lossless-cavity limit. Monitoring the cavity output power, we observe constructive and destructive interference of collective Rayleigh scattering for certain relative distances between the two atoms. Because of cavity backaction onto the atoms, the cavity output power for the constructive two-atom case ($N=2$) is almost equal to the single-emitter case ($N=1$), which is in contrast to free-space where one would expect an $N^2$ scaling of the power. These effects are quantitatively explained by a classical model as well as by a quantum mechanical model based on Dicke states. We extract information on the relative phases of the light fields at the atom positions and employ advanced cooling to reduce the jump rate between the constructive and destructive atom configurations. Thereby we improve the control over the system to a level where the implementation of two-atom entanglement schemes involving optical cavities becomes realistic.


title: Contact equivalence problem for KDV-type equations

abstract: The Cartan's method of equivalence and moving coframe method has been applied to solve the local equivalence problem for KDV-type equations under the action of a pseudo-group of contact transformations. The structure equations, the sets of differential invariants for symmetry groups and equivalent conditions of these equations are found.


title: The Borel Complexity of Isomorphism for O-Minimal Theories

abstract: Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the isomorphism problem for linear orders into the isomorphism problem for models of T. This is done by constructing models with specific linear orders in the tail of the Archimedean ladder of a suitable nonsimple type. If the theory admits no nonsimple types, then we use Mayer's characterization of isomorphism for such theories to compute invariants for countable models. If the theory is small, then the invariant is real-valued, and therefore its isomorphism relation is smooth. If not, the invariant corresponds to a countable set of reals, and therefore the isomorphism relation is Borel equivalent to $F_2$. Combining these two results, we conclude that (Mod(T),$\cong$) is either maximally complicated or maximally uncomplicated (subject to completely general model-theoretic lower bounds based on the number of types and the number of countable models).


title: Baryons with two heavy quarks: Masses, production, decays, and detection

abstract: The large number of $B_c$ mesons observed by LHCb suggests a sizable cross section for producing doubly-heavy baryons in the same experiment. Motivated by this, we estimate masses of the doubly-heavy $J=1/2$ baryons $\Xi_{cc}$, $\Xi_{bb}$, and $\Xi_{bc}$, and their $J=3/2$ hyperfine partners, using a method which accurately predicts the masses of ground-state baryons with a single heavy quark. We obtain $M(\Xi_{cc}) = 3627 \pm 12$ MeV, $M(\Xi_{cc}^*)= 3690 \pm 12$ MeV, $M(\Xi_{bb}) = 10162 \pm 12$ MeV, $M(\Xi_{bb}^*)= 10184 \pm 12$ MeV, $M(\Xi_{bc}) = 6914 \pm 13$ MeV, $M(\Xi'_{bc}) = 6933 \pm 12$ MeV, and $M(\Xi_{bc}^*) = 6969 \pm 14$ MeV. As a byproduct, we estimate the hyperfine splitting between $B_c^*$ and $B_c$ mesons to be $68 \pm 8$ MeV. We discuss P-wave excitations, production mechanisms, decay modes, lifetimes, and prospects for detection of the doubly heavy baryons.


title: Inverse type II seesaw mechanism and its signature at the LHC and ILC

abstract: The advent of the LHC, and the proposal of building future colliders as the ILC, both programmed to explore new physics at the TeV scale, justifies the recent interest in studying all kind of seesaw mechanisms whose signature lies on such energy scale. The natural candidate for this kind of seesaw mechanism is the inverse one. The conventional inverse seesaw mechanism is implemented in an arrangement involving six new heavy neutrinos in addition to the three standard ones. In this paper we develop the inverse seesaw mechanism based on Higgs triplet model and probe its signature at the LHC and ILC. We argue that the conjoint analysis of the LHC together with the ILC may confirm the mechanism and, perhaps, infer the hierarchy of the neutrino masses.


title: Computing the determinant of a matrix with polynomial entries by approximation

abstract: Computing the determinant of a matrix with the univariate and multivariate polynomial entries arises frequently in the scientific computing and engineering fields. In this paper, an effective algorithm is presented for computing the determinant of a matrix with polynomial entries using hybrid symbolic and numerical computation. The algorithm relies on the Newton's interpolation method with error control for solving Vandermonde systems. It is also based on a novel approach for estimating the degree of variables, and the degree homomorphism method for dimension reduction. Furthermore, the parallelization of the method arises naturally.


title: Tests of Lorentz symmetry in single beta decay

abstract: Low-energy experiments studying single beta decay can serve as sensitive probes of Lorentz invariance that can complement interferometric searches for deviations from this spacetime symmetry. Experimental signatures of a dimension-three operator for Lorentz violation that are unobservable in neutrino oscillations are described for the decay the polarized and unpolarized neutrons as well as for measurements of the spectral endpoint in beta decay.


title: Perturbative gadgets without strong interactions

abstract: Perturbative gadgets are used to construct a quantum Hamiltonian whose low-energy subspace approximates a given quantum $k$-body Hamiltonian up to an absolute error $\epsilon$. Typically, gadget constructions involve terms with large interaction strengths of order $\text{poly}(\epsilon^{-1})$. Here we present a 2-body gadget construction and prove that it approximates a target many-body Hamiltonian of interaction strength $\gamma = O(1)$ up to absolute error $\epsilon\ll\gamma$ using interactions of strength $O(\epsilon)$ instead of the usual inverse polynomial in $\epsilon$. A key component in our proof is a new condition for the convergence of the perturbation series, allowing our gadget construction to be applied in parallel on multiple many-body terms. We also show how to apply this gadget construction for approximating 3- and $k$-body Hamiltonians. The price we pay for using much weaker interactions is a large overhead in the number of ancillary qubits, and the number of interaction terms per particle, both of which scale as $O(\text{poly}(\epsilon^{-1}))$. Our strong-from-weak gadgets have their primary application in complexity theory (QMA hardness of restricted Hamiltonians, a generalized area law counterexample, gap amplification), but could also motivate practical implementations with many weak interactions simulating a much stronger quantum many-body interaction.


title: Convolutional Neural Networks for Sentence Classification

abstract: We report on a series of experiments with convolutional neural networks (CNN) trained on top of pre-trained word vectors for sentence-level classification tasks. We show that a simple CNN with little hyperparameter tuning and static vectors achieves excellent results on multiple benchmarks. Learning task-specific vectors through fine-tuning offers further gains in performance. We additionally propose a simple modification to the architecture to allow for the use of both task-specific and static vectors. The CNN models discussed herein improve upon the state of the art on 4 out of 7 tasks, which include sentiment analysis and question classification.


title: Shape-controlled orientation and assembly of colloids with sharp edges in nematic liquid crystals

abstract: The assembly of colloids in nematic liquid crystals via topological defects has been extensively studied for spherical particles, and investigations of other colloid shapes have revealed a wide array of new assembly behaviors. We show, using Landau-de Gennes numerical modeling, that nematic defect configurations and colloidal assembly can be strongly influenced by fine details of colloid shape, in particular the presence of sharp edges. For cylinder, microbullet, and cube colloid geometries, we obtain the particles' equilibrium alignment directions and effective pair interaction potentials as a function of simple shape parameters. We find that defects pin at sharp edges, and that the colloid consequently orients at an oblique angle relative to the far-field nematic director that depends on the colloid's shape. This shape-dependent alignment, which we confirm in experimental measurements, raises the possibility of selecting self-assembly outcomes for colloids in liquid crystals by tuning particle geometry.


title: Effective three-band structure in Fe-based superconductors

abstract: We present self-consistent calculations of the multi-gap structure measured in some Fe-based superconductors. These materials are known to have structural disorder in real space and a multi-gap structure due to the $3d$ Fe-orbitals contributing to a complex Fermi surface topology with hole and electron pockets. Different experiments identify three s-wave like superconducting gaps with a single critical temperature ($T_c$). We investigate the temperature dependence of these gaps by a multi-band Bogoliubov-deGennes theory at different pockets in the presence of effective hybridizations between some bands and an attractive temperature dependent intra-band interaction. We show that this approach reproduces the three observed gaps and single $T_c$ in different compounds of Ba$_{1-x}$K$_{x}$Fe$_2$As$_2$, providing some insights on the inter-band interactions.


title: Higher Order Lagrangians inspired by the Pais-Uhlenbeck Oscillator and their cosmological applications

abstract: We study higher derivative terms associated with scalar field cosmology. We consider a coupling between the scalar field and the geometry inspired by the Pais-Uhlenbeck oscillator, given by $\alpha\partial_{\mu}\partial^{\mu}\phi\partial_{\nu}\partial^{\nu}\phi.$ We investigate the cosmological dynamics in a phase space. For $\alpha>0$, we provide conditions for the stability of de Sitter solutions. In this case the crossing of the phantom divide $w_{DE}=-1$ occurs once; thereafter, the equation of state parameter remains under this line, asymptotically reaching towards the de Sitter solution from below. For $\alpha<0,$ which is the portion of the parameter space where in addition to crossing the phantom divide, cyclic behavior is possible, we present regions in the parameter space where, according to Smilga's classification the ghost has benign or malicious behavior.


title: Experimental study of the microwave emission from electrons in air

abstract: We searched for the emission of microwave radiation in the Ku band generated by a 95 keV electron beam in air. We unequivocally detected the radiation, and measured its yield and angular dependence. Both the emitted power and its angular pattern are well described by a model, where microwave photons are generated via bremsstrahlung in the free-electron atomic-nucleus collisions, during the slowdown of the electrons. As a consequence, the radiation is not isotropic but peaked in the forward direction. The emission yield scales proportionally with the number of electrons. This contrasts a previous claim that the yield scales with the number squared, due to coherence. With a Monte Carlo simulation we extrapolate our results to the Ultra High Energy Cosmic Ray energy range.

categories: astro-ph.HE astro-ph.IM hep-ex physics.ins-det physics.plasm-ph


title: Exploring X-Ray Lines as Scotogenic Signals

abstract: We consider some implications of X-ray lines from certain astronomical objects as potential effects of dark matter decay in the context of the scotogenic model, where neutrinos acquire mass radiatively via one-loop interactions with dark matter. As an example, we focus on the 3.5 keV line recently detected in the X-ray spectra of galaxy clusters, assuming that it stands future scrutiny. We explore the scenario in which the line originates from the slow decay of fermionic dark matter in the model. After obtaining a number of benchmark points representing the parameter space consistent with the new data and various other constraints, we make predictions on several observables in leptonic processes. They include the effective Majorana mass in neutrinoless double-beta decay, the sum of neutrino masses, and the rate of flavor-changing decay mu -> e gamma, as well as the cross sections of e+e- collisions into final states containing nonstandard particles in the model. These are testable in ongoing or future experiments and thus offer means to probe the scotogenic scenario studied.


title: Starburst-AGN mixing: II. Optically-selected active galaxies

abstract: We use 4 galaxies from the Calar Alto Legacy Integral Field Area (CALIFA) survey with clear signs of accretion onto supermassive black holes to investigate the relative contribution of star-formation and active galactic nucleus (AGN) activity to the line-emission of each galaxy as a function of radius. The combination of star-formation and AGN activity produces curved "mixing sequences" on standard optical diagnostic diagrams, and the fraction of emission due to AGN activity decreases smoothly with distance from the centre of the galaxy. We use the AGN activity profiles to calculate the size of the AGN narrow line regions, which have radii of ~ 6.3 kpc. We calculate the fractional contribution of the star-formation and the AGN activity to the global Halpha, [O II] $\lambda \lambda$ 3727,3729 and [O III] $\lambda$ 5007 luminosities of each galaxy, and show that both ionization sources contribute significantly to the emission in all three lines. We use weighted combinations of stellar and AGN photoionization models to produce mixing models, which are consistent with observations for 85 percent of spaxels across the galaxies in our sample. We also present a new diagnostic for starburst-AGN mixing which requires only the [O II], [O III] and Hbeta emission lines, and can therefore be used to calculate AGN fractions up to z ~ 0.85 in the optical and z ~ 3.5 in the near-infrared. We anticipate that this diagnostic will facilitate studies of the properties of AGN ionizing radiation fields and the relative optical contribution of star-formation and AGN activity over cosmic time.


title: Herschel Far-Infrared Photometry of the Swift Burst Alert Telescope Active Galactic Nuclei Sample of the Local Universe. I. PACS Observations

abstract: Far-Infrared (FIR) photometry from the the Photodetector Array Camera and Spectrometer (PACS) on the Herschel Space Observatory is presented for 313 nearby, hard X-ray selected galaxies from the 58-month Swift Burst Alert Telescope (BAT) Active Galactic catalog. The present data do not distinguish between the FIR luminosity distributions at 70 and 160um for Seyfert 1 and Seyfert 2 galaxies. This result suggests that if the FIR emission is from the nuclear obscuring material surrounding the accretion disk, then it emits isotropically, independent of orientation. Alternatively, a significant fraction of the 70 and 160um could be from star formation, independent of AGN type. Using a non-parametric test for partial correlation with censored data, we find a statistically significant correlation between the AGN intrinsic power (in the 14-195 keV band ) and the FIR emission at 70 and 160um for Seyfert 1 galaxies. We find no correlation between the 14-195 keV and FIR luminosities in Seyfert 2 galaxies. The observed correlations suggest two possible scenarios: (i) if we assume that the FIR luminosity is a good tracer of star formation, then there is a connection between star formation and the AGN at sub-kiloparsec scales, or (ii) dust heated by the AGN has a statistically significant contribution to the FIR emission. Using a Spearman rank-order analysis, the 14-195 keV luminosities for the Seyfert 1 and 2 galaxies are weakly statistically correlated with the F70/F160 ratios.


title: Eccentricity evolution in hierarchical triple systems with eccentric outer binaries

abstract: We develop a technique for estimating the inner eccentricity in hierarchical triple systems, with the inner orbit being initially circular, while the outer one is eccentric. We consider coplanar systems with well separated components and comparable masses. The derivation of short period terms is based on an expansion of the rate of change of the Runge-Lenz vector. Then, the short period terms are combined with secular terms, obtained by means of canonical perturbation theory. The validity of the theoretical equations is tested by numerical integrations of the full equations of motion.


title: Integration of Heterogeneous Systems as Multi-Agent Systems

abstract: Systems integration is a difficult matter particularly when its components are varied. The problem becomes even more difficult when such components are heterogeneous such as humans, robots and software systems. Currently, the humans are regarded as users of artificial systems (robots and software systems). This has several disadvantages such as: (1) incoherence of artificial systems exploitation where humans' roles are not clear and (2) vain research of a user's universal model. In this paper, we adopted a cooperative approach where the system's components are regarded as being of the same level and they cooperate for the service of the global system. We concretized such approach by considering humans, robots and software systems as autonomous agents assuming roles in an organization. The latter will be implemented as a multi-agent system developed using a multi-agent development methodology.


title: Capacities and Hausdorff measures on metric spaces

abstract: In this article, we show that in a $Q$-doubling space $(X,d,\mu),$ $Q>1,$ that supports a $Q$-Poincar\'e inequality and satisfies a chain condition, sets of $Q$-capacity zero have generalized Hausdorff $h$-measure zero for $h(t)=\log^{1-Q-\epsilon}(1/t).$


title: On the causes of subject-specific citation rates in Web of Science

abstract: It is well known in bibliometrics that the average number of citations per paper differs greatly between the various disciplines. The differing citation culture (in particular the different average number of references per paper and thereby the different probability of being cited) is widely seen as the cause of this variation. Based on all Web of Science (WoS) records published in 1990, 1995, 2000, 2005, and 2010 we demonstrate that almost all disciplines show similar numbers of references in the appendices of their papers. Our results suggest that the average citation rate is far more influenced by the extent to which the papers (cited as references) are included in WoS as linked database records. For example, the comparatively low citation rates in the humanities are not at all the result of a lower average number of references per paper but are caused by the low fraction of linked references which refer to papers published in the core journals covered by WoS.


title: Location Estimation Using Crowdsourced Geospatial Narratives

abstract: The "crowd" has become a very important geospatial data provider. Subsumed under the term Volunteered Geographic Information (VGI), non-expert users have been providing a wealth of quantitative geospatial data online. With spatial reasoning being a basic form of human cognition, narratives expressing geospatial experiences, e.g., travel blogs, would provide an even bigger source of geospatial data. Textual narratives typically contain qualitative data in the form of objects and spatial relationships. The scope of this work is (i) to extract these relationships from user-generated texts, (ii) to quantify them and (iii) to reason about object locations based only on this qualitative data. We use information extraction methods to identify toponyms and spatial relationships and to formulate a quantitative approach based on distance and orientation features to represent the latter. Positional probability distributions for spatial relationships are determined by means of a greedy Expectation Maximization-based (EM) algorithm. These estimates are then used to "triangulate" the positions of unknown object locations. Experiments using a text corpus harvested from travel blog sites establish the considerable location estimation accuracy of the proposed approach.


title: Effect of OH depletion on measurements of the mass-to-flux ratio in molecular cloud cores

abstract: The ratio of mass and magnetic flux determines the relative importance of magnetic and gravitational forces in the evolution of molecular clouds and their cores. Its measurement is thus central in discriminating between different theories of core formation and evolution. Here we discuss the effect of chemical depletion on measurements of the mass-to-flux ratio using the same molecule (OH) both for Zeeman measurements of the magnetic field and the determination of the mass of the region. The uncertainties entering through the OH abundance in determining separately the magnetic field and the mass of a region have been recognized in the literature. It has been proposed however that, when comparing two regions of the same cloud, the abundance will in both cases be the same. We show that this assumption is invalid. We demonstrate that when comparing regions with different densities, the effect of OH depletion in measuring changes of the mass-to-flux ratio between different parts of the same cloud can even reverse the direction of the underlying trends (for example, the mass-to-flux ratio may appear to decrease as we move to higher density regions). The systematic errors enter primarily through the inadequate estimation of the mass of the region.


title: Oxygen abundances of zCOSMOS galaxies at z~1.4 based on five lines and implications for the fundamental metallicity relation

abstract: A relation between the stellar mass M and the gas-phase metallicity Z of galaxies, the MZR, is observed up to higher redshifts. It is a matter of debate, however, if the SFR is a second parameter in the MZR. To explore this issue at z > 1, we used VLT-SINFONI near-infrared (NIR) spectroscopy of eight zCOSMOS galaxies at 1.3 < z < 1.4 to measure the strengths of four emission lines: Hbeta, [OIII]lambda5007, Halpha, and [NII]lambda6584, additional to [OII]lambda3727 measured from VIMOS. We derive reliable O/H metallicities based on five lines, and also SFRs from extinction corrected Halpha measurements. We find that the MZR of these star-forming galaxies at z~1.4 is lower than the local SDSS MZR by a factor of three to five, a larger change than reported in the literature using [NII]/Halpha-based metallicities from individual and stacked spectra. Correcting N2-based O/Hs using recent results by Newman et al. (2014), also the larger FMOS sample at z~1.4 of Zahid et al. (2014) shows a similar evolution of the MZR like the zCOSMOS objects. These observations seem also in agreement with a non-evolving FMR using the physically motivated formulation of the FMR from Lilly et al. (2013).


title: Thoughts on the Vacuum Energy in the Quantum N-Portrait

abstract: An application of the quantum N-portrait to the Universe is discussed, wherein the space-time geometry is understood as a Bose-Einstein condensate of N soft gravitons. If near or at the critical point of a quantum phase transition, indications are found that the vacuum energy is partly suppressed by 1/N, as being due to quanta not in the condensate state. Time evolution decreases this suppression, which might have implications for cosmic expansion.


title: Strongly Lensed Jets, Time Delays, and the Value of H0

abstract: In principle, the most straightforward method of estimating the Hubble constant relies on time delays between mirage images of strongly-lensed sources. It is a puzzle, then, that the values of H0 obtained with this method span a range from 50 - 100 km/s/Mpc. Quasars monitored to measure these time delays, are multi-component objects. The variability may arise from different components of the quasar or may even originate from a jet. Misidentifying a variable emitting region in a jet with emission from the core region may introduce an error in the Hubble constant derived from a time delay. Here, we investigate the complex structure of sources as the underlying physical explanation of the widespread in values of the Hubble constant based on gravitational lensing. Our Monte Carlo simulations demonstrate that the derived value of the Hubble constant is very sensitive to the offset between the center of the emission and the center of the variable emitting region. Thus, we propose using the value of H0 known from other techniques to spatially resolve the origin of the variable emission once the time delay is measured. We advocate this method particularly for gamma-ray astronomy, where the angular resolution of detectors reaches approximately 0.1 degree; lensed blazars offer the only route for identify the origin of gamma-ray flares. Large future samples of gravitationally lensed sources identified with Euclid, SKA, and LSST will enable a statistical determination of H0.


title: X-Ray Polarimetry

abstract: We review the basic principles of X-ray polarimetry and current detector technologies based on the photoelectric effect, Bragg reflection, and Compton scattering. Recent technological advances in high-spatial-resolution gas-filled X-ray detectors have enabled efficient polarimeters exploiting the photoelectric effect that hold great scientific promise for X-ray polarimetry in the 2-10 keV band. Advances in the fabrication of multilayer optics have made feasible the construction of broad-band soft X-ray polarimeters based on Bragg reflection. Developments in scintillator and solid-state hard X-ray detectors facilitate construction of both modular, large area Compton scattering polarimeters and compact devices suitable for use with focusing X-ray telescopes.


title: HST-COS Observations of AGN. II. Extended Survey of Ultraviolet Composite Spectra from 159 Active Galactic Nuclei

abstract: The ionizing fluxes from quasars and other active galactic nuclei (AGN) are critical for interpreting their emission-line spectra and for photoionizing and heating the intergalactic medium (IGM). Using far-ultraviolet spectra from the Cosmic Origins Spectrograph (COS) on the Hubble Space Telescope (HST), we directly measure the rest-frame ionizing continua and emission lines for 159 AGN at redshifts 0.001 < z_AGN < 1.476 and construct a composite spectrum from 475-1875A. We identify the underlying AGN continuum and strong EUV emission lines from ions of oxygen, neon, and nitrogen after masking out absorption lines from the HI Lya forest, 7 Lyman-limit systems (N_HI > 10^17.2 cm^-2) and 214 partial Lyman-limit systems (15.0 < log N_HI < 17.2). The 159 AGN exhibit a wide range of FUV/EUV spectral shapes, F_nu \propto nu^(alpha_nu), typically with -2 < alpha_nu < 0 and no discernible continuum edges at 912A (H I) or 504A (He I). The composite rest-frame continuum shows a gradual break at 1000 A, with mean spectral index alpha_nu = -0.83 +/- 0.09 in the FUV (1200-2000A) steepening to alpha_nu = -1.41 +/- 0.15 in the EUV (500-1000A). We discuss the implications of the UV flux turnovers and lack of continuum edges for the structure of accretion disks, AGN mass inflow rates, and luminosities relative to Eddington values.


title: The role of cosmic rays on magnetic field diffusion and the formation of protostellar discs

abstract: The formation of protostellar discs is severely hampered by magnetic braking, as long as magnetic fields remain frozen in the gas. The latter condition depends on the levels of ionisation that characterise the innermost regions of a collapsing cloud. The chemistry of dense cloud cores and, in particular, the ionisation fraction is largely controlled by cosmic rays. The aim of this paper is to evaluate whether the attenuation of the flux of cosmic rays expected in the regions around a forming protostar is sufficient to decouple the field from the gas, thereby influencing the formation of centrifugally supported disc. We adopted the method developed in a former study to compute the attenuation of the cosmic-ray flux as a function of the column density and the field strength in clouds threaded by poloidal and toroidal magnetic fields. We applied this formalism to models of low- and high-mass star formation extracted from numerical simulations of gravitational collapse that include rotation and turbulence. For each model we determine the size of the magnetic decoupling zone, where collapse or rotation motion becomes unaffected by the local magnetic field. In general, we find that decoupling only occurs when the attenuation of cosmic rays is taken into account with respect to a calculation in which the cosmic-ray ionisation rate is kept constant. The extent of the decoupling zone also depends on the dust grain size distribution and is larger if large grains (of radius $\sim 10^{-5}$ cm) are formed by compression and coagulation during cloud collapse. We conclude that a realistic treatment of cosmic-ray propagation and attenuation during cloud collapse may lead to a value of the resistivity of the gas in the innermost few hundred AU around a forming protostar that is higher than generally assumed.


title: Structure Formation in Gas-Rich Galactic Discs with Finite Thickness: From Discs to Rings

abstract: Gravitational instabilities play an important role in structure formation of gas-rich high-redshift disc galaxies. In this paper, we revisit the axisymmetric perturbation theory and the resulting growth of structure by taking the realistic thickness of the disc into account. In the unstable regime, which corresponds for thick discs to a Toomre parameter below the critical value Q_0,crit = 0.696, we find a fastest growing perturbation wavelength that is always a factor 1.93 times larger than in the classical razor-thin disc approximation. This result is independent of the adopted disc scaleheight and by this independent of temperature and surface density. In order to test the analytical theory, we compare it with a high-resolution hydrodynamical simulation of an isothermal gravitationally unstable gas disc with the typical vertical sech^2 density profile and study its break up into rings that subsequently fragment into dense clumps. In the first phase, rings form, that organize themselves discretely, with distances corresponding to the local fastest growing perturbation wavelength. We find that the disc scaleheight has to be resolved initially with five or more grid cells in order to guarantee proper growth of the ring structures, which follow the analytical prediction. These rings later on contract to a thin and dense line, while at the same time accreting more gas from the inter-ring region. It is these dense, circular filaments, that subsequently fragment into a large number of clumps. Contrary to what is typically assumed, the clump sizes are therefore not directly determined by the fastest growing wavelength.


title: The decay of hot KK space

abstract: The non-perturbative instabilities of hot Kaluza-Klein spacetime are investigated. In addition to the known instability of hot space (the nucleation of 4D black holes) and the known instability of KK space (the nucleation of bubbles of nothing by quantum tunneling), we find two new instabilities: the nucleation of 5D black holes, and the nucleation of bubbles of nothing by thermal fluctuation. These four instabilities are controlled by two Euclidean instantons, with each instanton doing double duty via two inequivalent analytic continuations; thermodynamic instabilities of one are shown to be related to mechanical instabilities of the other. I also construct bubbles of nothing that are formed by a hybrid process involving both thermal fluctuation and quantum tunneling. There is an exact high-temperature/low-temperature duality that relates the nucleation of black holes to the nucleation of bubbles of nothing.


title: Power Spectrum of Inflationary Attractors

abstract: Inflationary attractors predict the spectral index and tensor-to-scalar ratio to take specific values that are consistent with Planck. An example is the universal attractor for models with a generalised non-minimal coupling, leading to Starobinsky inflation. In this paper we demonstrate that it also predicts a specific relation between the amplitude of the power spectrum and the number of e-folds. The length and height of the inflationary plateau are related via the non-minimal coupling: in a wide variety of examples, the observed power normalisation leads to at least 55 flat e-foldings. Prior to this phase, the inflationary predictions vary and can account for the observational indications of power loss at large angular scales.


title: The Interstellar Medium and Star Formation in Edge-On Galaxies. II. NGC 4157, 4565, and 5907

abstract: We present a study of the vertical structure of the gaseous and stellar disks in a sample of edge-on galaxies (NGC 4157, 4565, and 5907) using BIMA/CARMA 12CO (J = 1 --> 0), VLA H I, and Spitzer 3.6 micron data. In order to take into account projection effects when we measure the disk thickness as a function of radius, we first obtain the inclination by modeling the radio data. Using the measurement of the disk thicknesses and the derived radial profiles of gas and stars, we estimate the corresponding volume densities and vertical velocity dispersions. Both stellar and gas disks have smoothly varying scale heights and velocity dispersions, contrary to assumptions of previous studies. Using the velocity dispersions, we find that the gravitational instability parameter Q follows a fairly uniform profile with radius and is greater than or equal to 1 across the star forming disk. The star formation law has a slope that is significantly different from those found in more face-on galaxy studies, both in deprojected and pixel-by-pixel plots. Midplane gas pressure based on the varying scale heights and velocity dispersions appears to roughly hold a power-law correlation with the midplane volume density ratio.


title: Geons and the Instability of Anti-de Sitter Spacetime

abstract: We briefly review the evidence that anti-de Sitter spacetime is nonlinearly unstable, and the perturbative arguments that there should exist geons - nonsingular solutions to Einstein's equation with a helical symmetry. We then explicitly construct these geons numerically and discuss some of their properties. We conclude with some open questions.


title: Inference for High-dimensional Differential Correlation Matrices

abstract: Motivated by differential co-expression analysis in genomics, we consider in this paper estimation and testing of high-dimensional differential correlation matrices. An adaptive thresholding procedure is introduced and theoretical guarantees are given. Minimax rate of convergence is established and the proposed estimator is shown to be adaptively rate-optimal over collections of paired correlation matrices with approximately sparse differences. Simulation results show that the procedure significantly outperforms two other natural methods that are based on separate estimation of the individual correlation matrices. The procedure is also illustrated through an analysis of a breast cancer dataset, which provides evidence at the gene co-expression level that several genes, of which a subset has been previously verified, are associated with the breast cancer. Hypothesis testing on the differential correlation matrices is also considered. A test, which is particularly well suited for testing against sparse alternatives, is introduced. In addition, other related problems, including estimation of a single sparse correlation matrix, estimation of the differential covariance matrices, and estimation of the differential cross-correlation matrices, are also discussed.


title: Pseudogap, charge order, and pairing density wave at the hot spots in cuprate superconductors

abstract: We address the timely issue of the presence of charge ordering at the hot-spots in the pseudo-gap phase of cuprate superconductors in the context of an emergent SU(2)-symmetry which relates the charge and pairing sectors. Performing the Hubbard-Stratonovich decoupling such that the free energy stays always real and physically meaningful we exhibit three solutions of the spin-fermion model at the hot spots. A careful examination of their stability and free energy shows that, at low temperature, the system tends towards a co-existence of charge density wave (CDW) and the composite order parameter made of diagonal quadrupolar density wave and pairing fluctuations of Ref. [Nat. Phys. $\bf{9}$, 1745 (2013)].The CDW is sensitive to the shape of the Fermi surface in contrast to the diagonal quadrupolar order, which is immune to it. SU(2) symmetry within the pseudo-gap phase also applies to the CDW state, which therefore admits a pairing density pave counterpart breaking time reversal symmetry.


title: Infrared spectra and photometry of complete samples of PG and 2MASS quasars

abstract: As a step toward a comprehensive overview of the infrared diagnostics of the central engines and host galaxies of quasars at low redshift, we present Spitzer Space Telescope spectroscopic (5-40 {\mu}m) and photometric (24, 70 and 160 {\mu}m) measurements of all Palomar-Green (PG) quasars at z < 0.5 and 2MASS quasars at z < 0.3. We supplement these data with Herschel measurements at 160 {\mu}m. The sample is composed of 87 optically selected PG quasars and 52 near-IR selected 2MASS quasars. Here we present the data, measure the prominent spectral features, and separate emission due to star formation from that emitted by the dusty circumnuclear torus. We find that the mid-IR (5-30 {\mu}m) spectral shape for the torus is largely independent of quasar IR luminosity with scatter in the SED shape of ~ 0.2 dex. Except for the silicate features, no large difference is observed between PG (unobscured - silicate emission) and 2MASS (obscured - silicate absorption) quasars. Only mild silicate features are observed in both cases. When in emission, the peak wavelength of the silicate feature tends to be longer than 9.7 {\mu}m, possibly indicating effects on grain properties near the AGN. The IR color is shown to correlate with the equivalent width of the aromatic features, indicating that the slope of the quasar mid- to far-IR SED is to first order driven by the fraction of radiation from star formation in the IR bands.


title: The mechanics of anisotropic spring networks

abstract: We construct and analyze a model for a disordered linear spring network with anisotropy. The modeling is motivated by, for example, granular systems, nematic elastomers, and ultimately cytoskeletal networks exhibiting some underlying anisotropy. The model consists of a triangular lattice with two different bond occupation probabilities, $p_x$ and $p_y$, for the linear springs. We develop an effective medium theory (EMT) to describe the network elasticity as a function of $p_x$ and $p_y$. We find that the onset of rigidity in the EMT agrees with Maxwell constraint counting. We also find beyond linear behavior in the shear and bulk modulus as a function of occupation probability in the rigid phase for small strains, which differs from the isotropic case. We compare our EMT with numerical simulations to find rather good agreement. Finally, we discuss the implications of extending the reach of effective medium theory as well as draw connections with prior work on both anisotropic and isotropic spring networks.


title: Effective theory of two-dimensional chiral superfluids: gauge duality and Newton-Cartan formulation

abstract: We present a theory of Galilean-invariant conventional and chiral $p_x \pm ip_y$ fermionic superfluids at zero temperature in two spatial dimensions in terms of a dual gauge theory. Our formulation is general coordinate invariant. The parity-violating effects are encoded in the Wen-Zee term that gives rise to the Hall viscosity and edge current. We show that the relativistic superfluid with the Euler current reduces to the chiral superfluid in the limit $c\to\infty$. Using Newton-Cartan geometry we construct the covariant formulation of the effective theory and calculate the energy current.


title: Radiative Return for Heavy Higgs Boson at a Muon Collider

abstract: Higgs boson properties could be studied with a high accuracy at a muon collider via the s-channel resonant production. We consider the situation where the center-of-mass energy of the muon collider is off the resonance above the Higgs mass. We discuss the discovery potential for a generic heavy Higgs boson ($H$) and compare different production mechanisms, including the "radiative return" ($\gamma H$), $Z$-boson associated production ($ZH$) and heavy Higgs pair production ($HA$). These production mechanisms do not sensitively rely on a priori knowledge of the heavy Higgs boson mass. We include various types of Two Higgs Doublet Models for the comparison. We conclude that the radiative return process could provide an important option for both the heavy Higgs discovery and direct measurement of invisible decays at a high energy muon collider.


title: Sound-induced vortex interactions in a zero-temperature two-dimensional superfluid

abstract: We present a systematic derivation of the effective action for interacting vortices in a non-relativistic two-dimensional superfluid described by the Gross-Pitaevskii equation by integrating out longitudinal fluctuations of the order parameter. There are no logarithmically divergent coefficients in the equations of motion. Our analysis is valid in a dilute limit of vortices where the intervortex spacing is large compared to the core size, and where number fluctuations of atoms in vortex cores are suppressed. We analyze sound-induced corrections to the dynamics of a vortex-antivortex pair and show that there is no instability to annihilation, suggesting that sound-mediated interactions are not strong enough to ruin an inverse energy cascade in two-dimensional zero-temperature superfluid turbulence.


title: Protection layers on a superconducting microwave resonator toward a hybrid quantum system

abstract: We propose a protection scheme of a superconducting microwave resonator to realize a hybrid quantum system, where cold neutral atoms are coupled with a single microwave photon through magnetic dipole interaction at an interface inductor. The evanescent field atom trap such as a waveguide/nanofiber atom trap, brings both surface-scattered photons and absorption-induced broadband blackbody radiation which result in quasiparticles and a low quality factor at the resonator. A proposed multiband protection layer consists of pairs of two dielectric layers and a thin nanogrid conductive dielectric layer above the interface inductor. We show numerical simulations of quality factors and reflection/absorption spectra, indicating that the proposed multilayer structure can protect a lumped-element microwave resonator from optical photons and blackbody radiation while maintaining a reasonably high quality factor.


title: Generalizations of the Szemer\'edi-Trotter Theorem

abstract: We generalize the Szemer\'edi-Trotter incidence theorem, to bound the number of complete \emph{flags} in higher dimensions. Specifically, for each $i=0,1,\ldots,d-1$, we are given a finite set $S_i$ of $i$-flats in $\R^d$ or in $\C^d$, and a (complete) flag is a tuple $(f_0,f_1,\ldots,f_{d-1})$, where $f_i\in S_i$ for each $i$ and $f_i\subset f_{i+1}$ for each $i=0,1,\ldots,d-2$. Our main result is an upper bound on the number of flags which is tight in the worst case. We also study several other kinds of incidence problems, including (i) incidences between points and lines in $\R^3$ such that among the lines incident to a point, at most $O(1)$ of them can be coplanar, (ii) incidences with Legendrian lines in $\R^3$, a special class of lines that arise when considering flags that are defined in terms of other groups, and (iii) flags in $\R^3$ (involving points, lines, and planes), where no given line can contain too many points or lie on too many planes. The bound that we obtain in (iii) is nearly tight in the worst case. Finally, we explore a group theoretic interpretation of flags, a generalized version of which leads us to new incidence problems.


title: The Gemini Observatory Fast Turnaround Program

abstract: Gemini's Fast Turnaround program is intended to greatly decrease the time from having an idea to acquiring the supporting data. The scheme will offer monthly proposal submission opportunities, and proposals will be reviewed by the principal investigators or co-investigators of other proposals submitted during the same round. Here, we set out the design of the system and outline the plan for its implementation, leading to the launch of a pilot program at Gemini North in January 2015.


title: Vector screening masses in the quark-gluon plasma and their physical significance

abstract: Static and non-static thermal screening states that couple to the conserved vector current are investigated in the high-temperature phase of QCD. Their masses and couplings to the current are determined at weak coupling, as well as using two-flavor lattice QCD simulations. A consistent picture emerges from the comparison, providing evidence that non-static Matsubara modes can indeed be treated perturbatively. We elaborate on the physical significance of the screening masses.


title: Unbiased mm-wave Line Surveys of TW Hya and V4046 Sgr: The Enhanced C2H and CN Abundances of Evolved Protoplanetary Disks

abstract: We have conducted the first comprehensive mm-wave molecular emission line surveys of the evolved circumstellar disks orbiting the nearby T Tauri stars TW Hya and V4046 Sgr AB. Both disks are known to retain significant residual gaseous components, despite the advanced ages of their host stars. Our unbiased broad-band radio spectral surveys of the TW Hya and V4046 Sgr disks were performed with the Atacama Pathfinder Experiment (APEX) 12 meter telescope and are intended to yield a complete census of bright molecular emission lines in the range 275-357 GHz (1.1-0.85 mm). We find that lines of 12CO, 13CO, HCN, CN, and C2H, all of which lie in the higher-frequency range, constitute the strongest molecular emission from both disks in the spectral region surveyed. The molecule C2H is detected here for the first time in both disks, as is CS in the TW Hya disk. The survey results also include the first measurements of the full suite of hyperfine transitions of CN N=3-2 and C2H N=4-3 in both disks. Modeling of these CN and C2H hyperfine complexes in the spectrum of TW Hya indicates that the emission from both species is optically thick and may originate from very cold disk regions. It furthermore appears that the fractional abundances of CN and C2H are significantly enhanced in these evolved protoplanetary disks relative to the fractional abundances of the same molecules in the environments of deeply embedded protostars.


title: An independent analysis of the brown dwarf atmosphere monitoring (BAM) data: large-amplitude variability is rare outside the L/T transition

abstract: Observations of variability can provide valuable information about the processes of cloud formation and dissipation in brown dwarf atmospheres. Here we report the results of an independent analysis of archival data from the Brown dwarf Atmosphere Monitoring (BAM) program. Time series data for 14 L and T dwarfs reported to be significantly variable over timescales of hours were analyzed. We confirm large-amplitude variability (amplitudes $>$2\%) for 4/13 targets and place upper limits of 0.7\%-1.6\% on variability in the remaining sample. For two targets we find evidence of weak variability at amplitudes of 1.3\% and 1.6\%. Based on our revised classification of variable objects in the BAM study, we find strong variability outside the L/T transition to be rare at near infrared wavelengths. From a combined sample of 81 L0-T9 dwarfs from the revised BAM sample and the variability survey of Radigan et al. we infer an overall observed frequency for large-amplitude variability outside the L/T transition of 3.2$_{-1.8}^{+2.8}$\%, in contrast to 24$^{+11}_{-9}$\% for L9-T3.5 spectral types. We conclude that while strong variability is not limited to the L/T transition, it occurs more frequently in this spectral type range, indicative of larger or more highly contrasting cloud features at these spectral types.


title: Planar Octilinear Drawings with One Bend Per Edge

abstract: In octilinear drawings of planar graphs, every edge is drawn as an alternating sequence of horizontal, vertical and diagonal ($45^\circ$) line-segments. In this paper, we study octilinear drawings of low edge complexity, i.e., with few bends per edge. A $k$-planar graph is a planar graph in which each vertex has degree less or equal to $k$. In particular, we prove that every 4-planar graph admits a planar octilinear drawing with at most one bend per edge on an integer grid of size $O(n^2) \times O(n)$. For 5-planar graphs, we prove that one bend per edge still suffices in order to construct planar octilinear drawings, but in super-polynomial area. However, for 6-planar graphs we give a class of graphs whose planar octilinear drawings require at least two bends per edge.


title: Spin-Scattering Rates in Metallic Thin Films Measured by Ferromagnetic Resonance Damping Enhanced by Spin-Pumping

abstract: We determined the spin-transport properties of Pd and Pt thin films by measuring the increase in ferromagnetic resonance damping due to spin-pumping in ferromagnetic (FM)-nonferromagnetic metal (NM) multilayers with varying NM thicknesses. The increase in damping with NM thickness depends strongly on both the spin- and charge-transport properties of the NM, as modeled by diffusion equations that include both momentum- and spin-scattering parameters. We use the analytical solution to the spin-diffusion equations to obtain spin-diffusion lengths for Pt and Pd. By measuring the dependence of conductivity on NM thickness, we correlate the charge- and spin-transport parameters, and validate the applicability of various models for momentum-scattering and spin-scattering rates in these systems: constant, inverse-proportional (Dyakanov-Perel), and linear-proportional (Elliot-Yafet). We confirm previous reports that the spin-scattering time can be shorter than the momentum scattering time in Pt, and the Dyakanov-Perel-like model is the best fit to the data.


title: Spectral Calibration in the Mid-Infrared: Challenges and Solutions

abstract: We present spectra obtained with the Infrared Spectrograph (IRS) on the Spitzer Space Telescope of 33 K giants and 20 A dwarfs to assess their suitability as spectrophotometric standard stars. The K giants confirm previous findings that the strength of the SiO absorption band at 8 um increases for both later optical spectral classes and redder (B-V)_0 colors, but with considerable scatter. For K giants, the synthetic spectra underpredict the strengths of the molecular bands from SiO and OH. For these reasons, the assumed true spectra for K giants should be based on neither the assumption that molecular band strengths in the infrared can be predicted accurately from optical spectral class or color nor synthetric spectra. The OH bands in K giants grow stronger with cooler stellar temperatures, and they are stronger than predicted by synthetic spectra. As a group, A dwarfs are better behaved and more predictable than the K giants, but they are more likely to show red excesses from debris disks. No suitable A dwarfs were located in parts of the sky continuously observable from Spitzer, and with previous means of estimating the true spectra of K giants ruled out, it was necessary to use models of A dwarfs to calibrate spectra of K giants from observed spectral ratios of the two groups and then use the calibrated K giants as standards for the full database of infrared spectra from Spitzer. We also describe a lingering artifact that affects the spectra of faint blue sources at 24 um.


title: Symmetric Matrices: Theory and Applications

abstract: This text is a survey on symmetric matrices. It serves as a script for a module to be taught at university.


title: Comparing and Forecasting Performances in Different Events of Athletics Using a Probabilistic Model

abstract: Though athletics statistics are abundant, it is a difficult task to quantitatively compare performances from different events of track, field, and road running in a meaningful way. There are several commonly-used methods, but each has its limitations. Some methods, for example, are valid only for running events, or are unable to compare men's performances to women's, while others are based largely on world records and are thus unsuitable for comparing world records to one other. The most versatile and widely-used statistic is a set of scoring tables compiled by the IAAF, which are updated and published every few years. Unfortunately, these methods are not fully disclosed. In this paper, we propose a straight-forward, objective, model-based algorithm for assigning scores to athletic performances for the express purpose of comparing marks between different events. Specifically, the main score we propose is based on the expected number of athletes who perform better than a given mark within a calendar year. Computing this naturally interpretable statistic requires only a list of the top performances in each event and is not overly dependent on a small number of marks, such as the world records. We found that this statistic could predict the quality of future performances better than the IAAF scoring tables, and is thus better suited for comparing performances from different events. In addition, the probabilistic model used to generate the performance scores allows for multiple interpretations which can be adapted for various purposes, such as calculating the expected top mark in a given event or calculating the probability of a world record being broken within a certain time period. In this paper, we give the details of the model and the scores, a comparison with the IAAF scoring tables, and...


title: A Framework for Lattice QCD Calculations on GPUs

abstract: Computing platforms equipped with accelerators like GPUs have proven to provide great computational power. However, exploiting such platforms for existing scientific applications is not a trivial task. Current GPU programming frameworks such as CUDA C/C++ require low-level programming from the developer in order to achieve high performance code. As a result porting of applications to GPUs is typically limited to time-dominant algorithms and routines, leaving the remainder not accelerated which can open a serious Amdahl's law issue. The lattice QCD application Chroma allows to explore a different porting strategy. The layered structure of the software architecture logically separates the data-parallel from the application layer. The QCD Data-Parallel software layer provides data types and expressions with stencil-like operations suitable for lattice field theory and Chroma implements algorithms in terms of this high-level interface. Thus by porting the low-level layer one can effectively move the whole application in one swing to a different platform. The QDP-JIT/PTX library, the reimplementation of the low-level layer, provides a framework for lattice QCD calculations for the CUDA architecture. The complete software interface is supported and thus applications can be run unaltered on GPU-based parallel computers. This reimplementation was possible due to the availability of a JIT compiler (part of the NVIDIA Linux kernel driver) which translates an assembly-like language (PTX) to GPU code. The expression template technique is used to build PTX code generators and a software cache manages the GPU memory. This reimplementation allows us to deploy an efficient implementation of the full gauge-generation program with dynamical fermions on large-scale GPU-based machines such as Titan and Blue Waters which accelerates the algorithm by more than an order of magnitude.


title: Dynamo modeling of the Kepler F star KIC 12009504

abstract: The Kepler mission has collected light curves for almost 4 years. The excellent quality of these data has allowed us to probe the structure and the dynamics of the stars using asteroseismology. With the length of data available, we can start to look for magnetic activity cycles. The Kepler data obtained for the F star, KIC 12009504, shows a rotation period of 9.5 days and additional variability that could be due to the magnetic activity of the star. Here we present recent and preliminary 3D global-scale dynamo simulations of this star with the ASH and STELEM codes, capturing a substantial portion of the convection and the stable radiation zone below it. These simulations reveal a multi-year activity cycle whose length tentatively depends upon the width of the tachocline present in the simulation. Furthermore, the presence of a magnetic field and the dynamo action taking place in the convection zone appears to help confine the tachocline, but longer simulations will be required to confirm this.


title: Saturation numbers in tripartite graphs

abstract: Given graphs $H$ and $F$, a subgraph $G\subseteq H$ is an $F$-saturated subgraph of $H$ if $F\nsubseteq G$, but $F\subseteq G+e$ for all $e\in E(H)\setminus E(G)$. The saturation number of $F$ in $H$, denoted $\text{sat}(H,F)$, is the minimum number of edges in an $F$-saturated subgraph of $H$. In this paper we study saturation numbers of tripartite graphs in tripartite graphs. For $\ell\ge 1$ and $n_1$, $n_2$, and $n_3$ sufficiently large, we determine $\text{sat}(K_{n_1,n_2,n_3},K_{\ell,\ell,\ell})$ and $\text{sat}(K_{n_1,n_2,n_3},K_{\ell,\ell,\ell-1})$ exactly and $\text{sat}(K_{n_1,n_2,n_3},K_{\ell,\ell,\ell-2})$ within an additive constant. We also include general constructions of $K_{\ell,m,p}$-saturated subgraphs of $K_{n_1,n_2,n_3}$ with few edges for $\ell\ge m\ge p>0$.


title: Unicast Barrage Relay Networks: Outage Analysis and Optimization

abstract: Barrage relays networks (BRNs) are ad hoc networks built on a rapid cooperative flooding primitive as opposed to the traditional point-to-point link abstraction. Controlled barrage regions (CBRs) can be used to contain this flooding primitive for unicast and multicast, thereby enabling spatial reuse. In this paper, the behavior of individual CBRs is described as a Markov process that models the potential cooperative relay transmissions. The outage probability for a CBR is found in closed form for a given topology, and the probability takes into account fading and co-channel interference (CCI) between adjacent CBRs. Having adopted this accurate analytical framework, this paper proceeds to optimize a BRN by finding the optimal size of each CBR, the number of relays contained within each CBR, the optimal relay locations when they are constrained to lie on a straight line, and the code rate that maximizes the transport capacity.


title: Generalized Multiscale Finite Element Method for Elasticity Equations

abstract: In this paper, we discuss the application of Generalized Multiscale Finite Element Method (GMsFEM) to elasticity equation in heterogeneous media. Our applications are motivated by elastic wave propagation in subsurface where the subsurface properties can be highly heterogeneous and have high contrast. We present the construction of main ingredients for GMsFEM such as the snapshot space and offline spaces. The latter is constructed using local spectral decomposition in the snapshot space. The spectral decomposition is based on the analysis which is provided in the paper. We consider both continuous Galerkin and discontinuous Galerkin coupling of basis functions. Both approaches have their cons and pros. Continuous Galerkin methods allow avoiding penalty parameters though they involve partition of unity functions which can alter the properties of multiscale basis functions. On the other hand, discontinuous Galerkin techniques allow gluing multiscale basis functions without any modifications. Because basis functions are constructed independently from each other, this approach provides an advantage. We discuss the use of oversampling techniques that use snapshots in larger regions to construct the offline space. We provide numerical results to show that one can accurately approximate the solution using reduced number of degrees of freedom.


title: Performance of the online track reconstruction and impact on hadronic triggers at the CMS High Level Trigger

abstract: The trigger systems of the LHC detectors play a crucial role in determining the physics capabilities of the experiments. A reduction of several orders of magnitude of the event rate is needed to reach values compatible with the detector readout, offline storage and analysis capabilities. The CMS experiment has been designed with a two-level trigger system: the Level 1 (L1) Trigger, implemented on custom-designed electronics, and the High Level Trigger (HLT), a streamlined version of the CMS reconstruction and analysis software running on a computer farm. The software-base HLT requires a trade-off between the complexity of the algorithms, the sustainable output rate, and the selection efficiency. This is going to be even more challenging during Run II, with a higher centre-of-mass energy, a higher instantaneous luminosity and pileup, and the impact of out-of-time pileup due to the 25 ns bunch spacing. The online algorithms need to be optimised for such a complex environment in order to keep the output rate under control without impacting the physics efficiency of the online selection. Tracking, for instance, will play an even more important role in the event reconstruction. In this poster we will present the performance of the online track and vertex reconstruction algorithms, and their impact on the hadronic triggers that make use of b-tagging and of jets reconstructed with the Particle Flow technique. We will show the impact of these triggers on physics performance of the experiment, and the latest plans for improvements in view of the Run II data taking in 2015.


title: Wideband VLA Observations of Abell 2256 I: Continuum, Rotation Measure and Spectral Imaging

abstract: We report new observations of Abell 2256 with the Karl G. Jansky Very Large Array (VLA) at frequencies between 1 and 8 GHz. These observations take advantage of the 2:1 bandwidths available for a single observation to study the spectral index, polarization and Rotation Measure as well as using the associated higher sensitivity to image total intensity features down to ~0.5" resolution. We find the Large Relic, which dominates the cluster, is made up of a complex of filaments which show correlated distributions in intensity, spectral index, and fractional polarization. The Rotation Measure varies across the face of the Large Relic but is not well correlated with the other properties of the source. The shape of individual filaments suggests that the Large Relic is at least 25 kpc thick. We detect a low surface brightness arc connecting the Large Relic to the Halo and other radio structures suggesting a physical connection between these features. The center of the F-complex is dominated by a very steep-spectrum, polarized, ring-like structure, F2, without an obvious optical identification, but the entire F-complex has interesting morphological similarities to the radio structure of NGC1265. Source C, the Long Tail, is unresolved in width near the galaxy core and is </~100pc in diameter there. This morphology suggests either that C is a one-sided jet or that the bending of the tails takes place very near the core, consistent with the parent galaxy having undergone extreme stripping. Overall it seems that many of the unusual phenomena can be understood in the context of Abell 2256 being near the pericenter of a slightly off-axis merger between a cluster and a smaller group. Given the lack of evidence for a strong shock associated with the Large Relic, other models should be considered, such as reconnection between two large-scale magnetic domains.


title: Facets of the r-stable n,k-hypersimplex

abstract: Let $k, n$ and $r$ be positive integers with $k < n$ and $r\leq\lfloor\frac{n}{k}\rfloor$. We determine the facets of the $r$-stable $n,k$-hypersimplex. As a result, it turns out that the $r$-stable $n,k$-hypersimplex has exactly $2n$ facets for every $r<\lfloor\frac{n}{k}\rfloor$. We then utilize the equations of the facets to study when the $r$-stable hypersimplex is Gorenstein. For every $k>0$ we identify an infinite collection of Gorenstein $r$-stable hypersimplices, consequently expanding the collection of $r$-stable hypersimplices known to have unimodal Ehrhart $\delta$-vectors.


title: A relativistic, model-independent, three-particle quantization condition

abstract: We present a generalization of Luescher's relation between the finite-volume spectrum and scattering amplitudes to the case of three particles. We consider a relativistic scalar field theory in which the couplings are arbitrary aside from a Z2 symmetry that removes vertices with an odd number of particles. The theory is assumed to have two-particle phase shifts that are bounded by \pi/2 in the regime of elastic scattering. We determine the spectrum of the finite-volume theory from the poles in the odd-particle-number finite-volume correlator, which we analyze to all orders in perturbation theory. We show that it depends on the infinite-volume two-to-two K-matrix as well as a nonstandard infinite-volume three-to-three K-matrix. A key feature of our result is the need to subtract physical singularities in the three-to-three amplitude and thus deal with a divergence-free quantity. This allows our initial, formal result to be truncated to a finite dimensional determinant equation. At present, the relation of the three-to-three K-matrix to the corresponding scattering amplitude is not known, although previous results in the non-relativistic limit suggest that such a relation exists.


title: Lyman-alpha observations of astrospheres

abstract: Charge-exchange reactions between outflowing stellar wind protons and interstellar neutral hydrogen atoms entering a stellar astrosphere produce a region of piled-up-decelerated neutral hydrogen called the hydrogen wall. Absorption by this gas, which is observed in stellar Lyman-alpha emission lines, provides the only viable technique at this time for measuring the mass-loss rates of F-M dwarf stars. We describe this technique, present an alternative way for understanding the relation of mass-loss rate with X-ray emission, and identify several critical issues.


title: The first eigenvalue of the $p-$Laplacian on quantum graphs

abstract: We study the first eigenvalue of the $p-$Laplacian (with $1<p<\infty$) on a quantum graph with Dirichlet or Kirchoff boundary conditions on the nodes. We find lower and upper bounds for this eigenvalue when we prescribe the total sum of the lengths of the edges and the number of Dirichlet nodes of the graph. Also we find a formula for the shape derivative of the first eigenvalue (assuming that it is simple) when we perturb the graph by changing the length of an edge. Finally, we study in detail the limit cases $p\to \infty$ and $p\to 1$.


title: Helium enrichment and Carbon-star Production in Metal-rich Populations

abstract: We present new theoretical stellar evolutionary models of metal-rich asymptotic giant branch (AGB) stars. Stellar models are evolved with initial masses between 1Msun and 7Msun at Z=0.007, and 1Msun and 8Msun at Z=0.014 (solar) and at Z=0.03. We evolve models with a canonical helium abundance and with helium enriched compositions (Y=0.30, 0.35, 0.40) at Z=0.014 and Z=0.03. The efficiency of third dredge-up and the mass range of carbon stars decreases with an increase in metallicity. We predict carbon stars form from initial masses between 1.75-7Msun at Z=0.007 and between 2-4.5Msun at solar metallicity. At Z=0.03 the mass range for C-star production is narrowed to 3.25-4Msun. The third dredge-up is reduced when the helium content of the model increases owing to the reduced number of thermal pulses on the AGB. A small increase of Delta Y = 0.05 is enough to prevent the formation of C stars at Z=0.03, depending on the mass-loss rate, whereas at Z=0.014, an increase of Delta Y = 0.1 is required to prevent the formation of C stars. We speculate that the probability of finding C stars in a stellar population depends as much on the helium abundance as on the metallicity. To explain the paucity of C stars in the inner region of M31 we conclude that the observed stars have Y > 0.35 or that the stellar metallicity is higher than [Fe/H] ~ 0.1.


title: The Sierpinski Triangle and The Ulam-Warburton Automaton

abstract: This paper is about the beauty of fractals and the surprising connections between them. We will explain the pioneering role that the Sierpinski triangle plays in the Ulam-Warburton automata and show you a number of pictures along the way.


title: Ground state, collective mode, phase soliton and vortex in multiband superconductors

abstract: This article reviews theoretical and experimental work on the novel physics in multiband superconductors. Multiband superconductors are characterized by multiple superconducting energy gaps in different bands with interaction between Cooper pairs in these bands. The discovery of prominent multiband superconductors $\mathrm{MgB_2}$ and later iron-based superconductors has triggered enormous interests in multiband superconductors. Most recently discovered superconductors exhibit multiband features. The multiband superconductors possess novel properties that are not shared by their single-band counterpart. Examples include the time-reversal symmetry broken state in multiband superconductors with frustrated interband couplings, the collective oscillation of number of Cooper pairs between different bands, known as the Leggett mode, the phase soliton and fractional vortex, which are the main focus of this review. This review presents a survey of a wide range of theoretical exploration and experimental investigations of novel physics in multiband superconductors. Vast information derived from these studies is shown to highlight unusual and unique properties of multiband superconductors, and to reveal the challenges and opportunities in the research on the multiband superconductivity.


title: Planar Induced Subgraphs of Sparse Graphs

abstract: We show that every graph has an induced pseudoforest of at least $n-m/4.5$ vertices, an induced partial 2-tree of at least $n-m/5$ vertices, and an induced planar subgraph of at least $n-m/5.2174$ vertices. These results are constructive, implying linear-time algorithms to find the respective induced subgraphs. We also show that the size of the largest $K_h$-minor-free graph in a given graph can sometimes be at most $n-m/6+o(m)$.


title: The Launch Region of the SVS 13 Outflow and Jet

abstract: We present the results of Keck Telescope laser adaptive optics integral field spectroscopy with OSIRIS of the innermost regions of the NGC 1333 SVS 13 outflow that forms the system of Herbig-Haro objects 7-11. We find a bright 0.2 arc sec long microjet traced by the emission of shock-excited [FeII]. Beyond the extent of this jet, we find a series of bubbles and fragments of bubbles that are traced in the lower excitation H_2 1-0 S(1) line. While the most recent outflow activity is directed almost precisely (PA ~145 deg) to the south-east of SVS 13, there is clear indication that prior bubble ejections were pointed in different directions. Within these variations, a clear connection of the newly observed bubble ejection events to the well-known, poorly collimated HH 7-11 system of Herbig-Haro objects is established. Astrometry of the youngest of the expanding shock fronts at 3 epochs covering a time span of over two years gives kinematic ages for two of these. The kinematic age of the youngest bubble is slightly older than the historically observed last photometric outburst of SVS 13 in 1990, consistent with that event launching the bubble and some deceleration of its expansion. A re-evaluation of historic infrared photometry and new data show that SVS 13 has not yet returned to its brightness before that outburst and thus shows a behavior similar to FUor outbursts, albeit with a smaller amplitude. We postulate that the creation of a series of bubbles and the changes in outflow direction are indicative of a precessing disk and accretion events triggered by a repetitive phenomenon possibly linked to the orbit of a close binary companion. We have tried, but failed to detect, the kinematic signature of rotation of the microjet in the [FeII] emission line at 1.644 micrometers.


title: Transient fluctuation theorems for the currents and initial equilibrium ensembles

abstract: We prove a transient fluctuation theorem for the currents for continuous-time Markov jump processes with stationary rates, generalizing an asymptotic result by Andrieux and Gaspard [J. Stat. Phys. 127, 107 (2007)] to finite times. The result is based on a graph theoretical decomposition in cycle currents and an additional set of tidal currents that characterize the transient relaxation regime. The tidal term can then be removed by a preferred choice of a suitable initial equilibrium ensemble, a result that provides the general theory for the fluctuation theorem without ensemble quantities recently addressed in [Phys. Rev. E 89, 052119 (2014)]. As an example we study the reaction network of a simple stochastic chemical engine, and finally we digress on general properties of fluctuation relations for more complex chemical reaction networks.


title: Coherent generation of nonclassical light on chip via detuned photon blockade

abstract: The on-chip generation of non-classical states of light is a key-requirement for future optical quantum hardware. In solid-state cavity quantum electrodynamics, such non-classical light can be generated from self-assembled quantum dots strongly coupled to photonic crystal cavities. Their anharmonic strong light-matter interaction results in large optical nonlinearities at the single photon level, where the admission of a single photon into the cavity may enhance (photon-tunnelling) or diminish (photon-blockade) the probability for a second photon to enter the cavity. Here, we demonstrate that detuning the cavity and QD resonances enables the generation of high-purity non-classical light from strongly coupled systems. For specific detunings we show that not only the purity but also the efficiency of single-photon generation increases significantly, making high-quality single-photon generation by photon-blockade possible with current state-of-the-art samples.


title: A Comparison between the Metric Dimension and Zero Forcing Number of Trees and Unicyclic Graphs

abstract: The \emph{metric dimension} $\dim(G)$ of a graph $G$ is the minimum number of vertices such that every vertex of $G$ is uniquely determined by its vector of distances to the chosen vertices. The \emph{zero forcing number} $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G)\!\setminus\!S$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the color-change rule": a white vertex is converted black if it is the only white neighbor of a black vertex. We show that $\dim(T) \leq Z(T)$ for a tree $T$, and that $\dim(G) \le Z(G)+1$ if $G$ is a unicyclic graph, along the way, we characterize trees $T$ attaining $\dim(T)=Z(T)$. For a general graph $G$, we introduce the "cycle rank conjecture". We conclude with a proof of $\dim(T)-2 \leq \dim(T+e) \le \dim(T)+1$ for $e \in E(\overline{T})$.


title: Neutral 3-3-1 Higgs Boson Through $e^{+} e^{-} Collisions

abstract: In this work we present an analysis of production and signature of neutral Higgs bosons $H_2^0$ in the version of the 3-3-1 model containing heavy leptons at the ILC (International Linear Collider) and CLIC (Cern Linear Collider). The production rate is found to be significant for the direct production of $e^{+} e^{-} \rightarrow H_{2}^{0} Z$. We also studied the possibility to identify it using their respective branching ratios.


title: A Lightweight Identification Protocol for Embedded Devices

abstract: The task of this paper is to introduce a new lightweight identification protocol based on biometric data and elliptic curves. In fact, we combine biometric data and asymetric cryptography, namely elliptic curves and standard tools to design a multifactor identification protocol. Our scheme is light, very fast, secure and robust against all the known attacks on identification protocol. Therefore, one can use it in any constraint device such as embedded systems.


title: Algorithms that satisfy a stopping criterion, probably

abstract: Iterative numerical algorithms are typically equipped with a stopping criterion, where the iteration process is terminated when some error or misfit measure is deemed to be below a given tolerance. This is a useful setting for comparing algorithm performance, among other purposes. However, in practical applications a precise value for such a tolerance is rarely known; rather, only some possibly vague idea of the desired quality of the numerical approximation is at hand. We discuss four case studies from different areas of numerical computation, where uncertainty in the error tolerance value and in the stopping criterion is revealed in different ways. This leads us to think of approaches to relax the notion of exactly satisfying a tolerance value. We then concentrate on a {\em probabilistic} relaxation of the given tolerance. This allows, for instance, derivation of proven bounds on the sample size of certain Monte Carlo methods. We describe an algorithm that becomes more efficient in a controlled way as the uncertainty in the tolerance increases, and demonstrate this in the context of some particular applications of inverse problems.


title: A classification theorem of nondegenerate equiaffine symmetric hypersurfaces

abstract: Motivated by the ideas and methods used by Naitoh in the consideration of parallel totally real submanifolds in complex space forms, the author of the present paper successfully makes use of the so called Jordan triple and (restricted) structure Lie algebra associated with a given Jordan algebra to establish a one-to-one correspondence between the set of equivalence classes of connected, simply connected and nondegenerate equiaffine symmetric hypersurfaces with a given nonzero affine mean curvature and that of the equivalence classes of semi-simple real Jordan algebras. Then, via the existing classification theorem of the semi-simple real Jordan algebras with unity, a complete classification for the nondegenerate and locally equiaffine symmetric hypersurfaces with nonzero affine mean curvatures is established. As an direct application of the main theorems, we prove at the end of the paper a complete classification of nondegenerate hypersurfaces with parallel Fubini-Pick forms and nonzero affine mean curvatures.


title: Does the Jet Production Efficiency of Radio Galaxies Control Their Optical AGN Types?

abstract: The jet production efficiency of radio galaxies can be quantified by comparison of their kinetic jet powers P_jet and Bondi accretion powers P_B. These two parameters are known to be related linearly, with the jet power resulting from the Bondi power by multiplication with an efficiency factor of order 1%. Using a recently published (Nemmen + Tchekhovskoy 2014) high-quality sample of 27 radio galaxies, I construct a P_B-P_jet diagram that includes information on optical AGN types as far as available. This diagram indicates that the jet production efficiency is a function of AGN type: Seyfert 2 galaxies seem to be systematically (with a false alarm probability of 0.043%) less efficient, by about one order of magnitude, in powering jets than Seyfert 1 galaxies, LINERs, or the remaining radio galaxies. This suggests an evolutionary sequence from Sy2s to Sy1s and LINERs, controlled by an interplay of jets on the one hand and dust and gas in galactic nuclei on the other hand. When taking this effect into account, the P_B-P_jet relation is probably much tighter intrinsically than currently assumed.


title: Finding geodesics in a triangulated 2-sphere

abstract: Let S be a triangulated 2-sphere with fixed triangulation T. We apply the methods of thin position from knot theory to obtain a simple version of the three geodesics theorem for the 2-sphere [5]. In general these three geodesics may be unstable, corresponding, for example, to the three equators of an ellipsoid. Using a piece-wise linear approach, we show that we can usually find at least three stable geodesics.


title: Inflation and Uplifting with Nilpotent Superfields

abstract: Recently it was found that a broad class of existing inflationary models based on supergravity can be significantly simplified if some of the standard, unconstrained chiral superfields are replaced by nilpotent superfields, associated with Volkov-Akulov supersymmetry. The same method allows to simplify the existing models of uplifting of AdS vacua in string theory. In this paper we will show that one can go well beyond simplifying the models that already exist. We will propose a broad class of new models of chaotic inflation based on supergravity with nilpotent superfields, which simultaneously incorporate both inflation and uplifting. They provide a simple unified description of inflation and the present acceleration of the universe in the supergravity context.


title: Fragility of the Commons under Prospect-Theoretic Risk Attitudes

abstract: We study a common-pool resource game where the resource experiences failure with a probability that grows with the aggregate investment in the resource. To capture decision making under such uncertainty, we model each player's risk preference according to the value function from prospect theory. We show the existence and uniqueness of a pure Nash equilibrium when the players have heterogeneous risk preferences and under certain assumptions on the rate of return and failure probability of the resource. Greater competition, vis-a-vis the number of players, increases the failure probability at the Nash equilibrium; we quantify this effect by obtaining bounds on the ratio of the failure probability at the Nash equilibrium to the failure probability under investment by a single user. We further show that heterogeneity in attitudes towards loss aversion leads to higher failure probability of the resource at the equilibrium.


title: Towards generalized cohomology Schubert calculus via formal root polynomials

abstract: An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this paper we define formal root polynomials associated with an arbitrary formal group law (and thus a generalized cohomology theory). We focus on the case of the hyperbolic formal group law (corresponding to elliptic cohomology). We study some of the properties of formal root polynomials. We give applications to the efficient computation of the transition matrix between two natural bases of the formal Demazure algebra in the hyperbolic case. As a corollary, we rederive in a transparent and uniform manner the formulas of Billey and Graham-Willems. We also prove the corresponding formula in connective $K$-theory, which seems new, and a duality result in this case. Other applications, including some related to the computation of Bott-Samelson classes in elliptic cohomology, are also discussed.


title: Ultrafast laser inscription of mid-IR directional couplers for stellar interferometry

abstract: We report the ultrafast laser fabrication and mid-IR characterization (3.39 microns) of four-port evanescent field directional couplers. The couplers were fabricated in a commercial gallium lanthanum sulphide glass substrate using sub-picosecond laser pulses of 1030 nm light. Straight waveguides inscribed using optimal fabrication parameters were found to exhibit propagation losses of 0.8 dB/cm. A series of couplers were inscribed with different interaction lengths, and we demonstrate power splitting ratios of between 8% and 99% for mid-IR light with a wavelength of 3.39 microns. These results clearly demonstrate that ultrafast laser inscription can be used to fabricate high quality evanescent field couplers for future applications in astronomical interferometry.


title: Data-inspired advances in geometric measure theory: generalized surface and shape metrics

abstract: Modern geometric measure theory, developed largely to solve the Plateau problem, has generated a great deal of technical machinery which is unfortunately regarded as inaccessible by outsiders. Some of its tools (e.g., flat norm distance and decomposition in generalized surface space) hold interest from a theoretical perspective but computational infeasibility prevented practical use. Others, like nonasymptotic densities as shape signatures, have been developed independently for data analysis (e.g., the integral area invariant). The flat norm measures distance between currents (generalized surfaces) by decomposing them in a way that is robust to noise. The simplicial deformation theorem shows currents can be approximated on a simplicial complex, generalizing the classical cubical deformation theorem and proving sharper bounds than Sullivan's convex cellular deformation theorem. Computationally, the discretized flat norm can be expressed as a linear programming problem and solved in polynomial time. Furthermore, the solution is guaranteed to be integral for integral input if the complex satisfies a simple topological condition (absence of relative torsion). This discretized integrality result yields a similar statement for the continuous case: the flat norm decomposition of an integral 1-current in the plane can be taken to be integral, something previously unknown for 1-currents which are not boundaries of 2-currents. Nonasymptotic densities (integral area invariants) taken along the boundary of a shape are often enough to reconstruct the shape. This result is easy when the densities are known for arbitrarily small radii but that is not generally possible in practice. When only a single radius is used, variations on reconstruction results (modulo translation and rotation) of polygons and (a dense set of) smooth curves are presented.


title: The Hardness of Finding Linear Ranking Functions for Lasso Programs

abstract: Finding whether a linear-constraint loop has a linear ranking function is an important key to understanding the loop behavior, proving its termination and establishing iteration bounds. If no preconditions are provided, the decision problem is known to be in coNP when variables range over the integers and in PTIME for the rational numbers, or real numbers. Here we show that deciding whether a linear-constraint loop with a precondition, specifically with partially-specified input, has a linear ranking function is EXPSPACE-hard over the integers, and PSPACE-hard over the rationals. The precise complexity of these decision problems is yet unknown. The EXPSPACE lower bound is derived from the reachability problem for Petri nets (equivalently, Vector Addition Systems), and possibly indicates an even stronger lower bound (subject to open problems in VAS theory). The lower bound for the rationals follows from a novel simulation of Boolean programs. Lower bounds are also given for the problem of deciding if a linear ranking-function supported by a particular form of inductive invariant exists. For loops over integers, the problem is PSPACE-hard for convex polyhedral invariants and EXPSPACE-hard for downward-closed sets of natural numbers as invariants.


title: Kleene Algebras, Regular Languages and Substructural Logics

abstract: We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a variant thereof. We also prove strong completeness for language models, where each logic comes with a different interpretation. We show that for both logics the cut rule is admissible and both have a decidable consequence relation.


title: Parametric Linear Dynamic Logic

abstract: We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL) that is able to express all $\omega$-regular specifications while still maintaining many of LTL's desirable properties like an intuitive syntax and a translation into non-deterministic B\"uchi automata of exponential size. But LDL lacks capabilities to express timing constraints. By adding parameterized operators to LDL, we obtain a logic that is able to express all $\omega$-regular properties and that subsumes parameterized extensions of LTL like Parametric LTL and PROMPT-LTL. Our main technical contribution is a translation of PLDL formulas into non-deterministic B\"uchi word automata of exponential size via alternating automata. This yields a PSPACE model checking algorithm and a realizability algorithm with doubly-exponential running time. Furthermore, we give tight upper and lower bounds on optimal parameter values for both problems. These results show that PLDL model checking and realizability are not harder than LTL model checking and realizability.


title: On the Path-Width of Integer Linear Programming

abstract: We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it. However, one of these graphs is of path-width at most 2n, where n is the number of variables in the instance. Since FO is decidable on graphs of bounded path- width, we obtain an alternative decidability result for ILP. The technique we use underlines a common principle to prove decidability which has previously been employed for automata with auxiliary storage. We also show how this new result links to automata theory and program verification.


title: Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations

abstract: We consider the synthesis of deterministic tree transducers from automaton definable specifications, given as binary relations, over finite trees. We consider the case of specifications that are deterministic top-down tree automatic, meaning the specification is recognizable by a deterministic top-down tree automaton that reads the two given trees synchronously in parallel. In this setting we study tree transducers that are allowed to have either bounded delay or arbitrary delay. Delay is caused whenever the transducer reads a symbol from the input tree but does not produce output. We provide decision procedures for both bounded and arbitrary delay that yield deterministic top-down tree transducers which realize the specification for valid input trees. Similar to the case of relations over words, we use two-player games to obtain our results.


title: Interval-based Synthesis

abstract: We introduce the synthesis problem for Halpern and Shoham's modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq. In analogy to the case of monadic second-order logic of one successor, the considered synthesis problem receives as input an HSeq formula phi and a finite set Sigma of propositional variables and temporal requests, and it establishes whether or not, for all possible evaluations of elements in Sigma in every interval structure, there exists an evaluation of the remaining propositional variables and temporal requests such that the resulting structure is a model for phi. We focus our attention on decidability of the synthesis problem for some meaningful fragments of HSeq, whose modalities are drawn from the set A (meets), Abar (met by), B (begins), Bbar (begun by), interpreted over finite linear orders and natural numbers. We prove that the fragment ABBbareq is decidable (non-primitive recursive hard), while the fragment AAbarBBbar turns out to be undecidable. In addition, we show that even the synthesis problem for ABBbar becomes undecidable if we replace finite linear orders by natural numbers.


title: The Fixpoint-Iteration Algorithm for Parity Games

abstract: It is known that the model checking problem for the modal mu-calculus reduces to the problem of solving a parity game and vice-versa. The latter is realised by the Walukiewicz formulas which are satisfied by a node in a parity game iff player 0 wins the game from this node. Thus, they define her winning region, and any model checking algorithm for the modal mu-calculus, suitably specialised to the Walukiewicz formulas, yields an algorithm for solving parity games. In this paper we study the effect of employing the most straight-forward mu-calculus model checking algorithm: fixpoint iteration. This is also one of the few algorithms, if not the only one, that were not originally devised for parity game solving already. While an empirical study quickly shows that this does not yield an algorithm that works well in practice, it is interesting from a theoretical point for two reasons: first, it is exponential on virtually all families of games that were designed as lower bounds for very particular algorithms suggesting that fixpoint iteration is connected to all those. Second, fixpoint iteration does not compute positional winning strategies. Note that the Walukiewicz formulas only define winning regions; some additional work is needed in order to make this algorithm compute winning strategies. We show that these are particular exponential-space strategies which we call eventually-positional, and we show how positional ones can be extracted from them.


title: Model Checking Paxos in Spin

abstract: We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed to implement transitions that depend on majority voting. Our formalization exploits abstractions that follow from reduction theorems applied to the specific case-study. We apply the model checker Spin to automatically validate finite instances of the model and to extract preconditions on the size of quorums used in the election phases of the protocol.


title: Infinite Networks, Halting and Local Algorithms

abstract: The immediate past has witnessed an increased amount of interest in local algorithms, i.e., constant time distributed algorithms. In a recent survey of the topic (Suomela, ACM Computing Surveys, 2013), it is argued that local algorithms provide a natural framework that could be used in order to theoretically control infinite networks in finite time. We study a comprehensive collection of distributed computing models and prove that if infinite networks are included in the class of structures investigated, then every universally halting distributed algorithm is in fact a local algorithm. To contrast this result, we show that if only finite networks are allowed, then even very weak distributed computing models can define nonlocal algorithms that halt everywhere. The investigations in this article continue the studies in the intersection of logic and distributed computing initiated in (Hella et al., PODC 2012) and (Kuusisto, CSL 2013).


title: A Formulation of the Potential for Communication Condition using C2KA

abstract: An integral part of safeguarding systems of communicating agents from covert channel communication is having the ability to identify when a covert channel may exist in a given system and which agents are more prone to covert channels than others. In this paper, we propose a formulation of one of the necessary conditions for the existence of covert channels: the potential for communication condition. Then, we discuss when the potential for communication is preserved after the modification of system agents in a potential communication path. Our approach is based on the mathematical framework of Communicating Concurrent Kleene Algebra (C2KA). While existing approaches only consider the potential for communication via shared environments, the approach proposed in this paper also considers the potential for communication via external stimuli.


title: Hourglass Automata

abstract: In this paper, we define the class of hourglass automata, which are timed automata with bounded clocks that can be made to progress backwards as well as forwards at a constant rate. We then introduce a new clock update for timed automata that allows hourglass automata to be expressed. This allows us to show that language emptiness remains decidable with this update when the number of clocks is two or less. This is done by showing that we can construct a finite untimed graph using clock regions from any timed automaton that use this new update.


title: Deterministic Automata for Unordered Trees

abstract: Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in Json or Xml format. While the existing notions are well-investigated concerning expressiveness, they all lack a proper notion of determinism, which makes it difficult to distinguish subclasses of automata for which problems such as inclusion, equivalence, and minimization can be solved efficiently. In this paper, we propose and investigate different notions of "horizontal determinism", starting from automata for unranked trees in which the horizontal evaluation is performed by finite state automata. We show that a restriction to confluent horizontal evaluation leads to polynomial-time emptiness and universality, but still suffers from coNP-completeness of the emptiness of binary intersections. Finally, efficient algorithms can be obtained by imposing an order of horizontal evaluation globally for all automata in the class. Depending on the choice of the order, we obtain different classes of automata, each of which has the same expressiveness as CMso.