title: New Double Soft Emission Theorems

abstract: We study the behavior of the tree-level S-matrix of a variety of theories as two particles become soft. By analogy with the recently found subleading soft theorems for gravitons and gluons, we explore subleading terms in double soft emissions. We first consider double soft scalar emissions and find subleading terms that are controlled by the angular momentum operator acting on hard particles. The order of the subleading theorems depends on the presence or not of color structures. Next we obtain a compact formula for the leading term in a double soft photon emission. The theories studied are a special Galileon, DBI, Einstein-Maxwell-Scalar, NLSM and Yang-Mills-Scalar. We use the recently found CHY representation of these theories in order to give a simple proof of the leading order part of all these theorems


title: The Coulomb Branch of 3d $\mathcal{N}=4$ Theories

abstract: We propose a construction of the quantum-corrected Coulomb branch of a general 3d gauge theory with $\mathcal{N}=4$ supersymmetry, in terms of local coordinates associated with an abelianized theory. In a fixed complex structure, the holomorphic functions on the Coulomb branch are given by expectation values of chiral monopole operators. We construct the chiral ring of such operators, using equivariant integration over BPS moduli spaces. We also quantize the chiral ring, which corresponds to placing the 3d theory in a 2d Omega background. Then, by unifying all complex structures in a twistor space, we encode the full hyperk\"ahler metric on the Coulomb branch. We verify our proposals in a multitude of examples, including SQCD and linear quiver gauge theories, whose Coulomb branches have alternative descriptions as solutions to the Bogomolnyi and/or Nahm equations.


title: NIHAO project I: Reproducing the inefficiency of galaxy formation across cosmic time with a large sample of cosmological hydrodynamical simulations

abstract: We introduce project NIHAO (Numerical Investigation of a Hundred Astrophysical Objects), a set of 100 cosmological zoom-in hydrodynamical simulations performed using the gasoline code, with an improved implementation of the SPH algorithm. The haloes in our study range from dwarf to Milky Way masses, and represent an unbiased sampling of merger histories, concentrations and spin parameters. The particle masses and force softenings are chosen to resolve the mass profile to below 1% of the virial radius at all masses, ensuring that galaxy half-light radii are well resolved. Using the same treatment of star formation and stellar feedback for every object, the simulated galaxies reproduce the observed inefficiency of galaxy formation across cosmic time as expressed through the stellar mass vs halo mass relation, and the star formation rate vs stellar mass relation. We thus conclude that stellar feedback is the chief piece of physics required to limit the efficiency of star formation in galaxies less massive than the Milky Way.


title: Spatial Structures In the Globular Cluster Distribution of the Ten Brightest Virgo Galaxies

abstract: We report the discovery of significant localized structures in the projected two-dimensional (2D) spatial distributions of the Globular Cluster (GC) systems of the ten brightest galaxies in the Virgo Cluster. We use catalogs of GCs extracted from the HST ACS Virgo Cluster Survey (ACSVCS) imaging data, complemented, when available, by additional archival ACS data. These structures have projected sizes ranging from $\sim\!5$ arcsec to few arc-minutes ($\sim\!1$ to $\sim\!25$ kpc). Their morphologies range from localized, circular, to coherent, complex shapes resembling arcs and streams. The largest structures are preferentially aligned with the major axis of the host galaxy. A few relatively smaller structures follow the minor axis. Differences in the shape and significance of the GC structures can be noticed by investigating the spatial distribution of GCs grouped by color and luminosity. The largest coherent GC structures are located in low-density regions within the Virgo cluster. This trend is more evident in the red GC population, believed to form in mergers involving late-type galaxies. We suggest that GC over-densities may be driven by either accretion of satellite galaxies, major dissipationless mergers or wet dissipation mergers. We discuss caveats to these scenarios, and estimate the masses of the potential progenitors galaxies. These masses range in the interval $10^{8.5}\!-\!10^{9.5}$ solar masses, larger than those of the Local Group dwarf galaxies.


title: Baryon and chiral symmetry breaking in holographic QCD

abstract: We study the relationship between chiral symmetry breaking and baryons in holographic QCD. We construct a soliton with unit baryon charge in the presence of a nonzero mean value of the scalar bifundamental field, which is dual to the chiral condensate. We obtain a relation between the chiral condensate and the mass of the baryon and find in a clear-cut way that at large values of the condensate the holographic soliton is no longer located on the IR wall. Instead it is split into two halves, which are symmetrically located on the left and right flavor branes. On the other hand we find that the local value of the quark condensate is suppressed in the core of the soliton, which is evidence for a partial chiral symmetry restoration inside the baryon.


title: Gas inside the 97 au cavity around the transition disk Sz\,91

abstract: We present ALMA (Cycle 0) band-6 and band-3 observations of the transition disk Sz\,91. The disk inclination and position angle are determined to be $i=49.5\degr\pm3.5\degr$ and $\mathrm{PA}=18.2\degr\pm3.5\degr$ and the dusty and gaseous disk are detected up to $\sim220$ au and $\sim400$ au from the star, respectively. Most importantly, our continuum observations indicate that the cavity size in the mm-sized dust distribution must be $\sim97$ au in radius, the largest cavity observed around a T Tauri star. Our data clearly confirms the presence of \co(2-1) well inside the dust cavity. Based on these observational constrains we developed a disk model that simultaneously accounts for the \co and continuum observations (i.e., gaseous and dusty disk). According to our model, most of the millimeter emission comes from a ring located between 97 and 140 au. We also find that the dust cavity is divided into an innermost region largely depleted of dust particles ranging from the dust sublimation radius up to 85 au, and a second, moderately dust-depleted region, extending from 85 to 97 au. The extremely large size of the dust cavity, the presence of gas and small dust particles within the cavity and the accretion rate of Sz\,91 are consistent with the formation of multiple (giant) planets.


title: Renormalising entanglement distillation

abstract: Entanglement distillation refers to the task of transforming a collection of weakly entangled pairs into fewer highly entangled ones. It is a core ingredient in quantum repeater protocols, needed to transmit entanglement over arbitrary distances in order to realise quantum key distribution schemes. Usually, it is assumed that the initial entangled pairs are i.i.d. distributed and uncorrelated with each other, an assumption that might not be reasonable at all in any entanglement generation process involving memory channels. Here, we introduce a framework that captures entanglement distillation in the presence of natural correlations arising from memory channels. Conceptually, we bring together ideas from condensed-matter physics - that of renormalisation and of matrix-product states and operators - with those of local entanglement manipulation, Markov chain mixing, and quantum error correction. We identify meaningful parameter regions for which we prove convergence to maximally entangled states, arising as the fixed points of a matrix-product operator renormalisation flow.


title: Spallation Backgrounds in Super-Kamiokande Are Made in Muon-Induced Showers

abstract: Crucial questions about solar and supernova neutrinos remain unanswered. Super-Kamiokande has the exposure needed for progress, but detector backgrounds are a limiting factor. A leading component is the beta decays of isotopes produced by cosmic-ray muons and their secondaries, which initiate nuclear spallation reactions. Cuts of events after and surrounding muon tracks reduce this spallation decay background by $\simeq 90\%$ (at a cost of $\simeq 20\%$ deadtime), but its rate at 6--18 MeV is still dominant. A better way to cut this background was suggested in a Super-Kamiokande paper [Bays {\it et al.}, Phys.~Rev.~D {\bf 85}, 052007 (2012)] on a search for the diffuse supernova neutrino background. They found that spallation decays above 16 MeV were preceded near the same location by a peak in the apparent Cherenkov light profile from the muon; a more aggressive cut was applied to a limited section of the muon track, leading to decreased background without increased deadtime. We put their empirical discovery on a firm theoretical foundation. We show that almost all spallation decay isotopes are produced by muon-induced showers and that these showers are rare enough and energetic enough to be identifiable. This is the first such demonstration for any detector. We detail how the physics of showers explains the peak in the muon Cherenkov light profile and other Super-K observations. Our results provide a physical basis for practical improvements in background rejection that will benefit multiple studies. For solar neutrinos, in particular, it should be possible to dramatically reduce backgrounds at energies as low as 6 MeV.

categories: hep-ph astro-ph.HE hep-ex nucl-ex nucl-th


title: Coalescence Model for Crumpled Globules Formed in Polymer Collapse

abstract: The rapid collapse of a polymer, due to external forces or changes in solvent, yields a long-lived `crumpled globule.' The conjectured fractal structure shaped by hierarchical collapse dynamics has proved difficult to establish, even with large simulations. To unravel this puzzle, we study a coarse-grained model of in-falling spherical blobs that coalesce upon contact. Distances between pairs of monomers are assigned upon their initial coalescence, and do not `equilibrate' subsequently. Surprisingly, the model reproduces quantitatively the dependence of distance on segment length, suggesting that the slow approach to scaling is related to the wide distribution of blob sizes.


title: Falsifying High-Scale Baryogenesis with Neutrinoless Double Beta Decay and Lepton Flavor Violation

abstract: Interactions that manifest themselves as lepton number violating processes at low energies in combination with sphaleron transitions typically erase any preexisting baryon asymmetry of the Universe. In this article, we discuss the constraints obtained from an observation of neutrinoless double beta decay in this context. If a new physics mechanism of neutrinoless double beta decay other than the standard light neutrino exchange is observed, typical scenarios of high-scale baryogenesis will be excluded unless the baryon asymmetry is stabilized via some new mechanism. We also sketch how this conclusion can be extended beyond the first lepton generation by incorporating lepton flavor violating processes.


title: Convergence of regularized nonlocal interaction energies

abstract: Inspired by numerical studies of the aggregation equation, we study the effect of regularization on nonlocal interaction energies. We consider energies defined via a repulsive-attractive interaction kernel, regularized by convolution with a mollifier. We prove that, with respect to the 2-Wasserstein metric, the regularized energies $\Gamma$-converge to the unregularized energy and minimizers converge to minimizers. We then apply our results to prove $\Gamma$-convergence of the gradient flows, when restricted to the space of measures with bounded density.


title: Effect of primordial magnetic fields on the ionization history

abstract: Primordial magnetic fields (PMF) damp at scales smaller than the photon diffusion and free-streaming scale. This leads to heating of ordinary matter (electrons and baryons), which affects both the thermal and ionization history of our Universe. Here, we study the effect of heating due to ambipolar diffusion and decaying magnetic turbulence. We find that changes to the ionization history computed with recfast are significantly overestimated when compared with CosmoRec. The main physical reason for the difference is that the photoionization coefficient has to be evaluated using the radiation temperature rather than the matter temperature. A good agreement with CosmoRec is found after changing this aspect. Using Planck 2013 data and considering only the effect of PMF-induced heating, we find an upper limit on the r.m.s. magnetic field amplitude of B0 < 1.1 nG (95% c.l.) for a stochastic background of PMF with a nearly scale-invariant power spectrum. We also discuss uncertainties related to the approximations for the heating rates and differences with respect to previous studies. Our results are important for the derivation of constraints on the PMF power spectrum obtained from measurements of the cosmic microwave background anisotropies with full-mission Planck data. They may also change some of the calculations of PMF-induced effects on the primordial chemistry and 21cm signals.


title: Strong regular embeddings of Deligne-Mumford stacks and hypertoric geometry

abstract: We introduce the notion of strong regular embeddings of Deligne-Mumford stacks. These morphisms naturally arise in the related contexts of generalized Euler sequences and hypertoric geometry.


title: Anomalous triple gauge couplings from $B$-meson and kaon observables

abstract: We consider the three CP-conserving dimension-6 operators that encode the leading new-physics effects in the triple gauge couplings. The contributions to the standard-model electromagnetic dipole and semi-leptonic vector and axial-vector interactions that arise from the insertions of these operators are calculated. We show that radiative and rare $B$-meson decays provide, under certain assumptions, constraints on two out of the three anomalous couplings that are competitive with the restrictions obtained from LEP II, Tevatron and LHC data. The constraints arising from the $Z \to b \bar b$ electroweak pseudo observables, $K \to \pi \nu \bar \nu$ and $\epsilon^\prime/\epsilon$ are also studied.


title: Experimental constraints on the coupling of the Higgs boson to electrons

abstract: In the standard model (SM), the coupling of the Higgs boson to electrons is real and very small, proportional to the electron mass. New physics could significantly modify both real and imaginary parts of this coupling. We discuss experiments which are sensitive to the Higgs-electron coupling and derive the current bounds on new physics contributing to this coupling. The strongest constraint follows from the ACME bound on the electron electric dipole moment (EDM). We calculate the full analytic two-loop result for the electron EDM and show that it bounds the imaginary part of the Higgs-electron coupling to be less than 1.7 x 10^-2 times the SM electron Yukawa coupling. Deviations of the real part are much less constrained. We discuss bounds from Higgs decays, resonant Higgs production at electron colliders, Higgs mediated B -> e^+ e^- decays, and the anomalous magnetic moment of the electron. Currently, the strongest constraint comes from h -> e^+ e^- at the LHC, bounding the coupling to be less than ~600 times the SM Yukawa coupling. Important improvements can be expected from future EDM measurements as well as from resonant Higgs production at a next-generation high-luminosity e^+ e^- collider.


title: A Context-Based Semantics for SPARQL Property Paths over the Web (Extended Version)

abstract: As of today, there exists no standard language for querying Linked Data on the Web, where navigation across distributed data sources is a key feature. A natural candidate seems to be SPARQL, which recently has been enhanced with navigational capabilities thanks to the introduction of property paths (PPs). However, the semantics of SPARQL restricts the scope of navigation via PPs to single RDF graphs. This restriction limits the applicability of PPs on the Web. To fill this gap, in this paper we provide formal foundations for evaluating PPs on the Web, thus contributing to the definition of a query language for Linked Data. In particular, we introduce a query semantics for PPs that couples navigation at the data level with navigation on the Web graph. Given this semantics we find that for some PP-based SPARQL queries a complete evaluation on the Web is not feasible. To enable systems to identify queries that can be evaluated completely, we establish a decidable syntactic property of such queries.


title: Quark matter in high-mass neutron stars?

abstract: The recent measurements of the masses of the pulsars PSR J1614-2230 and PSR J0348-0432 provide independent proof for the existence of neutron stars with masses in range of 2 $M_\odot$. This fact has significant implications for the physics of high density matter and it challenges the hypothesis that the cores of NS can be composed of deconfined quark matter. In this contribution we study a description of quark matter based on the Nambu--Jona-Lasinio effective model and construct the equation of state for matter in beta equilibrium. This equation of state together with the hadronic Dirac-Brueckner-Hartree-Fock equation of state is used here to describe neutron star and hybrid star configurations. We show that compact stars masses of 2 $M_\odot$ are compatible with the possible existence of deconfined quark matter in their core.


title: Gauge invariance of many-body Schr\"odinger equation with explicit Coulomb potential

abstract: A simple argument is presented which, based on the minimal coupling Lagrangian for a many-body system, keeps the gauge invariance of the many-body Schr\"odinger equation with explicit Coulomb potential. The elimination of longitudinal electric field does not necessarily lead to the breakdown of gauge invariance. The total time derivative term in the matter-EM field interaction in the Lagrangian is canceled out by the choice of Coulomb gauge. The remaining interaction is described by transverse vector potential and the longitudinal electric field which is the homogeneous solution of Gauss law. This leads directly to the gauge invariant forms of the linear and nonlinear constitutive equations. It is discussed how to reconcile this result with the cases of an isolated matter interacting with external charges.


title: Index pairings in presence of symmetries with applications to topological insulators

abstract: In a basic framework of a complex Hilbert space equipped with a complex conjugation and an involution, linear operators can be real, quaternionic, symmetric or anti-symmetric, and orthogonal projections can furthermore be symplectic. This paper investigates index pairings of projections and unitaries submitted to such symmetries. Various scenarios emerge: Noether indices can take either arbitrary integer values or only even integer values or they can vanish and then possibly have secondary $\mathbb{Z}_2$-invariants. These general results are applied to prove index theorems for the strong invariants of topological insulators. The symmetries come from the Fermi projection ($K$-theoretic part of the pairing) and the Dirac operator ($K$-homological part of the pairing depending on the dimension of physical space).


title: Habitability of waterworlds: runaway greenhouses, atmospheric expansion and multiple climate states of pure water atmospheres

abstract: There are four different stable climate states for pure water atmospheres, as might exist on so-called "waterworlds". I map these as a function of solar constant for planets ranging in size from Mars size to 10 Earth-mass. The states are: globally ice covered (Ts< 245K), cold and damp (270 < Ts< 290K), hot and moist (350< Ts< 550K) and very hot and dry (Ts< 900K). No stable climate exists for 290< Ts < 350K or 550 < Ts < 900K. The union of hot moist and cold damp climates describe the liquid water habitable zone, the width and location of which depends on planet mass. At each solar constant, two or three different climate states are stable. This is a consequence of strong non-linearities in both thermal emission and the net absorption of sunlight. Across the range of planet sizes, I account for the atmospheres expanding to high altitudes as they warm. The emitting and absorbing surfaces (optical depth of unity) move to high altitude, making their area larger than the planet surface, so more thermal radiation is emitted and more sunlight absorbed (the former dominates). The atmospheres of small planets expand more due to weaker gravity: the effective runaway greenhouse threshold is about 35Wm-2 higher for Mars, 10Wm-2 higher for Earth or Venus but only a few Wm-2 higher for a 10 Earth-mass planet. There is an underlying (expansion neglected) trend of increasing runaway greenhouse threshold with planetary size (40Wm-2 higher for a 10 Earth-mass planet than for Mars). Summing these opposing trends means that Venus-size (or slightly smaller) planets are most susceptible to a runaway greenhouse. The habitable zone for pure water atmospheres is very narrow, with an insolation range of 0.07 times the solar constant. A wider habitable zone requires background gas and greenhouse gas; N2 and CO2 on Earth, which are biologically controlled. Thus, habitability depends on inhabitance.


title: Time dependent changes in Schottky barrier mapping of the W/Si(001) interface utilizing Ballistic Electron Emission Microscopy

abstract: The W/Si(001) Schottky barrier height is mapped to nanoscale dimensions using BEEM over a period of 21 days to observe changes in the interface electrostatics. Initially the average spectrum is fit to a Schottky barrier height of 0.71 eV and the map is uniform with 98% of the spectra able to be fit. After 21 days, the average spectrum is fit to a Schottky barrier height of 0.62 eV and the spatial map changes dramatically with only 27% of the spectra able to be fit. Transmission electron microscopy shows the formation of an ultra-thin tungsten silicide at the interface which increases in thickness over the 21 days. This increase is attributed to an increase in electron scattering and the changes are observed in the BEEM measurements. Interestingly, little to no change is observed in the I-V measurements throughout the 21 day period.


title: Use of Effective Audio in E-learning Courseware

abstract: E-Learning uses electronic media, information & communication technologies to provide education to the masses. E-learning deliver hypertext, text, audio, images, animation and videos using desktop standalone computer, local area network based intranet and internet based contents. While producing an e-learning content or course-ware, a major decision making factor is whether to use audio for the benefit of the end users. Generally, three types of audio can be used in e-learning: narration, music and sound effect. This paper shows that the use of proper audio based on contents type and subject can make the content more interesting as well as help the end users to better understand the contents.


title: Fusion for the one-dimensional Hubbard model

abstract: We discuss a formulation of the fusion procedure for integrable models which is suitable for application to non-standard R-matrices. It allows for construction of bound state R-matrices for AdS/CFT worldsheet scattering or equivalently for the one-dimensional Hubbard model. We also discuss some peculiar cases that arise in these models.


title: Light-front representation of chiral dynamics in peripheral transverse densities

abstract: The nucleon's electromagnetic form factors are expressed in terms of the transverse densities of charge and magnetization at fixed light-front time. At peripheral transverse distances $b = O(M_\pi^{-1})$ the densities are governed by chiral dynamics and can be calculated model-independently using chiral effective field theory (EFT). We represent the leading-order chiral EFT results for the peripheral transverse densities as overlap integrals of chiral light-front wave functions, describing the transition of the initial nucleon to soft pion-nucleon intermediate states and back. The new representation (a) explains the parametric order of the peripheral transverse densities; (b) establishes an inequality between the spin-independent and -dependent densities; (c) exposes the role of pion orbital angular momentum in chiral dynamics; (d) reveals a large left-right asymmetry of the current in a transversely polarized nucleon and suggests a simple interpretation. The light-front representation enables a first-quantized, quantum-mechanical view of chiral dynamics that is fully relativistic and exactly equivalent to the second-quantized, field-theoretical formulation. It relates the charge and magnetization densities measured in low-energy elastic scattering to the generalized parton distributions probed in peripheral high-energy scattering processes. The method can be applied to nucleon form factors of other operators, e.g. the energy-momentum tensor.


title: A looping-delooping adjunction for topological spaces

abstract: Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group. Moreover the morphisms of topological groups defined on the loop space of X generate all the bundles over X up to equivalence. In this paper, we show that the relationship between Milnor's loop space and the classifying space functor is, in a precise sense, an adjoint pair between based spaces and topological groups in a homotopical context. This proof leads to a classification of principal bundles with a fixed structure group. Such a resul clarifies the deep relation that exists between the theory of bundles, the classifying space construction and the loop space construction, which are very important in topological K-theory, group cohomology and homotopy theory.


title: Forest Fire Model as a Supercritical Dynamic Model in Financial Systems

abstract: Recently, large-scale cascading failures in complex systems have garnered substantial attention. Such extreme events have been treated as an integral part of the self-organized criticality (SOC). Recent empirical work has suggested that some extreme events systematically deviate from the SOC paradigm, requiring a different theoretical framework. We shed additional theoretical light on this possibility by studying financial crisis. We build our model of financial crisis on the well-known forest fire model in scale-free networks. Our analysis shows a non-trivial scaling feature indicating supercritical behavior, which is independent of system size. Extreme events in the supercritical state result from bursting of a fat bubble, seeds of which are sown by a protracted period of a benign financial environment with few shocks. Our findings suggest that policymakers can control the magnitude of financial meltdowns by keeping the economy operating within reasonable duration of a benign environment.


title: Dzyaloshinskii-Moriya interaction and Hall effects in the skyrmion phase of MnFeGe alloys

abstract: We carry out density functional theory calculations which demonstrate that the electron dynamics in the skyrmion phase of Fe-rich Mn$_{1-x}$Fe$_x$Ge alloys is governed by Berry phase physics. We observe that the magnitude of the Dzyaloshinskii-Moriya interaction, directly related to the mixed space-momentum Berry phases, changes sign and magnitude with concentration $x$ in direct correlation with the data of Shibata {\it et al.}, Nature Nanotech. {\bf 8}, 723 (2013). The computed anomalous and topological Hall effects in FeGe are also in good agreement with available experiments. We further develop a simple tight-binding model able to explain these findings. Finally, we show that the adiabatic Berry phase picture is violated in the Mn-rich limit of the alloys.


title: More General Queries and Less Generalization Error in Adaptive Data Analysis

abstract: Adaptivity is an important feature of data analysis---typically the choice of questions asked about a dataset depends on previous interactions with the same dataset. However, generalization error is typically bounded in a non-adaptive model, where all questions are specified before the dataset is drawn. Recent work by Dwork et al. (STOC '15) and Hardt and Ullman (FOCS '14) initiated the formal study of this problem, and gave the first upper and lower bounds on the achievable generalization error for adaptive data analysis. Specifically, suppose there is an unknown distribution $\mathcal{P}$ and a set of $n$ independent samples $x$ is drawn from $\mathcal{P}$. We seek an algorithm that, given $x$ as input, "accurately" answers a sequence of adaptively chosen "queries" about the unknown distribution $\mathcal{P}$. How many samples $n$ must we draw from the distribution, as a function of the type of queries, the number of queries, and the desired level of accuracy? In this work we make two new contributions towards resolving this question: *We give upper bounds on the number of samples $n$ that are needed to answer statistical queries that improve over the bounds of Dwork et al. *We prove the first upper bounds on the number of samples required to answer more general families of queries. These include arbitrary low-sensitivity queries and the important class of convex risk minimization queries. As in Dwork et al., our algorithms are based on a connection between differential privacy and generalization error, but we feel that our analysis is simpler and more modular, which may be useful for studying these questions in the future.


title: Galilean symmetry in generalized abelian Schr\"odinger-Higgs models with and without gauge field interaction

abstract: We consider a generalization of nonrelativistic Schr\"odinger-Higgs Lagrangian by introducing a nonstandard kinetic term. We show that this model is Galilean invariant, we construct the conserved charges associated to the symmetries and realize the algebra of the Galilean group. In addition, we study the model in the presence of a gauge field. We also show that the gauged model is Galilean invariant. Finally, we explore relations between twin models and their solutions.


title: Gapless Topological Superconductors - Model Hamiltonian and Realization

abstract: The existence of an excitation gap in the bulk spectrum is one of the most prominent fingerprints of topological phases of matter. In this paper, we propose a family of two dimensional Hamiltonians that yield an unusual class $D$ topological superconductor with a gapless bulk spectrum but well-localized Majorana edge states. We perform a numerical analysis for a representative model of this phase and suggest a concrete physical realization by analyzing the effect of magnetic impurities on the surface of strong topological insulators.


title: New kind of dodecagonal quasicrystal

abstract: We report a novel kind of dodecagonal quasicrystal that has so far never been observed, nor theoretically predicted. It is composed of axially stacked hexagonal particle layers, with 12-fold rotational symmetry induced by 30 degrees rotation of adjacent layers with respect to each other. The quasicrystal was produced in a molecular-dynamics simulation of a single-component system of particles interacting via a spherically-symmetric potential, as a result of a first-order phase transition from a liquid phase under constant-density cooling. This finding implies that a similarly structured quasicrystal can possibly be produced by the mesogens of the kind that produce smectic-B crystals and in a system of spherically-shaped colloidal particles with appropriately tuned potential.


title: Geometric phases in quantum information

abstract: The rise of quantum information science has opened up a new venue for applications of the geometric phase (GP), as well as triggered new insights into its physical, mathematical, and conceptual nature. Here, we review this development by focusing on three main themes: the use of GPs to perform robust quantum computation, the development of GP concepts for mixed quantum states, and the discovery of a new type of topological phases for entangled quantum systems. We delineate the theoretical development as well as describe recent experiments related to GPs in the context of quantum information.


title: NuSTAR and multifrequency study of the two high-redshift blazars S5 0836+710 and PKS 2149-306

abstract: The most powerful blazars are the flat spectrum radio quasars whose emission is dominated by a Compton component peaking between a few hundred keV and a few hundred MeV. We selected two bright blazars, PKS 2149-306 at redshift z=2.345 and S5 0836+710 at z=2.172, in order to observe them in the hard X-ray band with the NuSTAR satellite. In this band the Compton component is rapidly rising almost up to the peak of the emission. Simultaneous soft-X-rays and UV-optical observations were performed with the Swift satellite, while near-infrared (NIR) data were obtained with the REM telescope. To study their variability, we repeated these observations for both sources on a timescale of a few months. While no fast variability was detected during a single observation, both sources were found to be variable in the X-ray band, up to 50%, between the two observations, with larger variability at higher energies. No variability was detected in the optical/NIR band. These data together with Fermi-LAT, WISE and other literature data are then used to study the overall spectral energy distributions (SEDs) of these blazars. Although the jet non-thermal emission dominates the SED, it leaves the UV band unhidden, allowing us to detect the thermal emission of the disc and to estimate the mass of the black hole. The non-thermal emission is well reproduced by a one-zone leptonic model. The non-thermal radiative processes are synchrotron, self-Compton and external Compton using seed photons from both the broad-line region (BLR) and the torus. We find that our data are better reproduced if we assume that the location of the dissipation region of the jet, R_diss, is in-between the torus, (at R_torus), and the BLR (R_torus>R_diss>R_BLR). The observed variability is explained by changing a minimum number of model parameters by a very small amount.


title: Inclusive B -> X_s l^+ l^-: Complete angular analysis and a thorough study of collinear photons

abstract: We investigate logarithmically enhanced electromagnetic corrections of all angular observables in inclusive B -> X_s l^+ l^-. We present analytical results, which are supplemented by a dedicated Monte Carlo study on the treatment of collinear photons in order to determine the size of the electromagnetic logarithms. We then give the Standard Model predictions of all observables, considering all available NNLO QCD, NLO QED and power corrections, and investigate their sensitivity to New Physics. Since the structure of the double differential decay rate is modified in the presence of QED corrections, we also propose new observables which vanish if only QCD corrections are taken into account. Moreover, we study the experimental sensitivity to these new observables at Belle II.


title: Asymptotics of spectral quantities of Zakharov-Shabat operators

abstract: In this paper we provide new asymptotic estimates of various spectral quantities of Zakharov-Shabat operators on the circle. These estimates are uniform on bounded subsets of potentials in Sobolev spaces.


title: Reorganization of functionally connected brain subnetworks in high-functioning autism

abstract: Background: Previous functional connectivity studies have found both hypo- and hyper-connectivity in brains of individuals having autism spectrum disorder (ASD). Here we studied abnormalities in functional brain subnetworks in high-functioning individuals with ASD during free viewing of a movie containing social cues and interactions. Methods: Thirteen subjects with ASD and 13 matched-pair controls watched a 68 minutes movie during functional magnetic resonance imaging. For each subject, we computed Pearson`s correlation between haemodynamic time-courses of each pair of 6-mm isotropic voxels. From the whole-brain functional networks, we derived individual and group-level subnetworks using graph theory. Scaled inclusivity was then calculated between all subject pairs to estimate intersubject similarity of connectivity structure of each subnetwork. Additional 27 individuals with ASD from the ABIDE resting-state database were included to test the reproducibility of the results. Results: Between-group differences were observed in the composition of default-mode and a ventro-temporal-limbic (VTL) subnetwork. The VTL subnetwork included amygdala, striatum, thalamus, parahippocampal, fusiform, and inferior temporal gyri. Further, VTL subnetwork similarity between subject pairs correlated significantly with similarity of symptom gravity measured with autism quotient. This correlation was observed also within the controls, and in the reproducibility dataset with ADI-R and ADOS scores. Conclusions: Reorganization of functional subnetworks in individuals with ASD clarifies the mixture of hypo- and hyper-connectivity findings. Importantly, only the functional organization of the VTL subnetwork emerges as a marker of inter-individual similarities that co-vary with behavioral measures across all participants. These findings suggest a pivotal role of ventro-temporal and limbic systems in autism.


title: Non-universal BBN bounds on electromagnetically decaying particles

abstract: In Poulin and Serpico [Phys. Rev. Lett. 114, 091101 (2015)] we have recently argued that when the energy of a photon injected in the primordial plasma falls below the pair-production threshold, the universality of the non-thermal photon spectrum from the standard theory of electromagnetic cascades onto a photon background breaks down. We showed that this could reopen or widen the parameter space for an exotic solution to the 'lithium problem'. Here we discuss another application, namely the impact that this has on non-thermal big bang nucleosynthesis constraints from 4He, 3He and 2H, using the parametric example of monochromatic photon injection of different energies. Typically, we find tighter bounds than those existing in the literature, up to more than one order of magnitude. As a consequence of the non-universality of the spectrum, the energy-dependence of the photodissociation cross-sections is important. We also compare the constraints obtained with current level and future reach of cosmic microwave background spectral distortion bounds.


title: Paper-based spintronics: magneto-resistivity of permalloy deposited onto paper substrates

abstract: Driven by low-cost, resource abundance and distinct material properties, the use of paper in electronics, optics and fluidics is under investigation. Considering sensor systems based on magneto-resistance principles (anisotropic, giant, tunnel) that are conventionally manufactured onto inorganic semiconductor materials, we propose the use of paper substrates for cost reduction purposes primarily. In particular, we studied the magneto-resistance sensitivity of permalloy (Py:Ni81Fe19) onto paper substrates. In this work, we report on our findings with clean room paper (80 g/m2, Rrms = 2.877 {\mu}m, 23% surface porosity, latex impregnation, no embossed macro-structure). Here, the Py:Ni81Fe19 coating was manufactured by means of a dry process, sputter deposition, and spans an area of 10x10 mm2 and a thickness of 70 nm. Employing a four-point-probe DC resistivity measurement setup, we investigated the change of electrical resistance of Py:Ni81Fe19 under the presence of an oriented external magnetic field. In particular, we investigate the magneto-resistive change at two configurations: (1) the direction of the magnetic field is parallel to the nominal induced electric current and (2) the direction of the magnetic field is perpendicular to the electric current. Due to the stochastic orientation of the fibers interplaying with the Py:Ni81Fe19 coating, the change in magneto-resistance of the overall system at both measurement configurations closely corresponds to the classical response of Py:Ni81Fe19 at a +/-45{\deg} angle between the direction of electrical current and magnetic field. Using the magneto-optic kerr effect, we observed the formation of domain walls at the fiber bending locations. Future work will focus on the impact of layer thickness, fiber dimensions and structure of magnetic coating on the performance of the paper-based Py:Ni81Fe19 magneto-resistors.


title: State Following (StaF) Kernel Functions for Function Approximation

abstract: A function approximation method is developed that aims to approximate a function in a small neighborhood of a state that travels within a compact set. The development is based on the theory of universal reproducing kernel Hilbert spaces over the $n$-dimensional Euclidean space. Several theorems are introduced that support the development of this State Following (StaF) method. In particular, it is shown that there is a bound on the number of kernel functions required for the maintenance of an accurate function approximation as a state moves through a compact set. Additionally, a weight update law, based on gradient descent, is introduced where arbitrarily close accuracy can be achieved provided the weight update law is iterated at a sufficient frequency, as detailed in Theorem 6.1. To illustrate the advantage, the impact of the StaF method is that for some applications the number of basis functions can be reduced. The StaF method is applied to an adaptive dynamic programming (ADP) application to demonstrate that stability is maintained with a reduced number of basis functions. Simulation results demonstrate the utility of the StaF methodology for the maintenance of accurate function approximation as well as solving an infinite horizon optimal regulation problem through ADP. The results of the simulation indicate that fewer basis functions are required to guarantee stability and approximate optimality than are required when a global approximation approach is used.


title: Interaction of neutrons with alpha particles: A tribute to Heinz Barschall

abstract: As a tribute to our teacher and mentor on the occasion of his centennial celebration, we provide a brief historical overview and a summary of sustained interest in the topic of interaction of neutrons with alpha particles.


title: Fourier Series for Singular Measures

abstract: Using the Kaczmarz algorithm, we prove that for any singular Borel probability measure $\mu$ on $[0,1)$, every $f\in L^2(\mu)$ possesses a Fourier series of the form $f(x)=\sum_{n=0}^{\infty}c_ne^{2\pi inx}$. We show that the coefficients $c_{n}$ can be computed in terms of the quantities $\hat{f}(n) = \int_{0}^{1} f(x) e^{-2\pi i n x} d \mu(x)$. We also demonstrate a Shannon-type sampling theorem for functions that are in a sense $\mu$-bandlimited.


title: Entanglement entropy converges to classical entropy around periodic orbits

abstract: We consider oscillators evolving subject to a periodic driving force that dynamically entangles them, and argue that this gives the linearized evolution around periodic orbits in a general chaotic Hamiltonian dynamical system. We show that the entanglement entropy, after tracing over half of the oscillators, generically asymptotes to linear growth at a rate given by the sum of the positive Lyapunov exponents of the system. These exponents give a classical entropy growth rate, in the sense of Kolmogorov, Sinai and Pesin. We also calculate the dependence of this entropy on linear mixtures of the oscillator Hilbert space factors, to investigate the dependence of the entanglement entropy on the choice of coarse-graining. We find that for almost all choices the asymptotic growth rate is the same.


title: Search for neutrinos from annihilation of captured low-mass dark matter particles in the Sun by Super-Kamiokande

abstract: Super-Kamiokande (SK) can search for weakly interacting massive particles (WIMPs) by detecting neutrinos produced from WIMP annihilations occurring inside the Sun. In this analysis, we include neutrino events with interaction vertices in the detector in addition to upward-going muons produced in the surrounding rock. Compared to the previous result, which used the upward-going muons only, the signal acceptances for light (few-GeV/$c^2$ $\sim$ 200-GeV/$c^2$) WIMPs are significantly increased. We fit 3903 days of SK data to search for the contribution of neutrinos from WIMP annihilation in the Sun. We found no significant excess over expected atmospheric-neutrino background and the result is interpreted in terms of upper limits on WIMP-nucleon elastic scattering cross sections under different assumptions about the annihilation channel. We set the current best limits on the spin-dependent (SD) WIMP-proton cross section for WIMP masses below 200 GeV/$c^2$ (at 10 GeV/$c^2$, 1.49$\times 10^{-39}$ cm$^2$ for $\chi\chi\rightarrow b \bar{b}$ and 1.31$\times 10^{-40}$ cm$^2$ for $\chi\chi\rightarrow\tau^+\tau^-$ annihilation channels), also ruling out some fraction of WIMP candidates with spin-independent (SI) coupling in the few-GeV/$c^2$ mass range.


title: Dynamics of a two-state system through a real level crossing

abstract: The dynamics of a two-state system whose energies undergo a real crossing at some instant of time is studied. At this instant, both the coupling and the detuning vanish simultaneously, which leads to an exact degeneracy of the eigenenergies of the system. It is found that the dynamics of the system is primarily determined by the manner in which the degeneracy occurs. This interesting behavior is reminiscent of a symmetry breaking process, since the totally symmetric situation occurring at the crossing is significantly altered by infinitesimal quantities, which remove the degeneracy, with very important dynamical implications from there on. A very simple analytical formula is derived, which is found to describe the population changes very accurately.


title: On conservative models of "the pair-production anomaly" in blazar spectra at Very High Energies

abstract: For some blazars, the gamma-ray absorption features due to pair-production on the Extragalactic Background Light (EBL) are fainter than expected. The present work reviews the main models that could explain this paradox, with emphasis on conservative ones, that do not include any new physics. The models that are intrinsic to the source, do allow a very hard primary spectrum, but fail to explain a regular redshift dependence of the anomaly starting energy. The model that includes a contribution from secondary photons produced by cosmic rays (CR) near the Earth seems to require a well collimated CR beam, what is hard to achieve. Finally, the model with secondary photons produced in electromagnetic (EM) cascades initiated by primary gamma-rays is considered. In principle, it allows to decrease the statistical significance of the anomaly and, while requiring quite low EGMF strength B, does not contradict to most contemporary constraints on the B value. Additionally, it is shown that the recently observed correlation between directions to hard gamma-ray sources and voids in the Large Scale Structure is a natural feature of the EM cascade model.


title: High pressure investigation of superconducting signatures in CeCu$_{2}$Si$_{2}$ : ac- magnetic susceptibility and heat capacity, resistivity and thermopower

abstract: Taking advantage of a novel multiprobe setup we have measured, on a unique sample, the ac-magnetic susceptibility, the resistivity, the ac-specific heat and the thermopower of the superconductor heavy fermion CeCu$_{2}$Si$_{2}$ under pressure up to 5.1 GPa. At the superconducting transition temperature $T_c$, the Meissner signal corresponds to that expected for the sample volume and coincides with the specific heat jump and the resistive transition completion temperatures. Differing from previous observations, here the susceptibility measurements did not reveal any anomaly in the vicinity of the resistive transition onset.


title: The influence of a surface in the non-retarded interaction between two atoms

abstract: In this work we obtain analytical expressions for the non-additivity effects in the dispersive interaction between two atoms and perfectly conducting surface of arbitrary shape in the non-retarded regime. We show that this three bodies quantum-mechanical problem can be solved by mapping it into a two-bodies electrostatic one. We apply the general formulas developed in this paper in several examples. Firstly we re-derive the London interaction as a particular case of our formalism. Then we treat two atoms in the presence of a plane, re-obtained the result displayed in the literature. After we add some new examples. A particularly interesting one is two atoms inside a plate capacitor, a situation where non-additivity is very manifest since the plates lead to the exponentially suppression of the interaction of the atoms, provided the atoms are separated by a distance of the order of the distance between the plates or greater. Our results holds even in the presence of other atoms inside the plate capacitor. As a last example we deal with two atoms in the presence of a sphere, both grounded and isolated. We show that for realistic experimental parameters the non-additivity may be relevant for the force in each atom.


title: Multi-frequency, multi-messenger astrophysics with Swift. The case of blazars

abstract: During its first 10 years of orbital operations Swift dedicated approximately 11% of its observing time to blazars, carrying out more than 12,000 observations of ~1,600 different objects, for a total exposure time of over 25 million seconds. In this paper I briefly discuss the impact that Swift is having on blazar multi-frequency and time-domain astrophysics, as well as how it is contributing to the opening of the era of multi-messenger astronomy. Finally, I present some preliminary results from a systematic analysis of a very large number of Swift XRT observations of blazars. All the "science ready" data products that are being generated by this project will be publicly released. Specifically, deconvolved X-ray spectra and best fit spectral parameters will be available through the ASDC "SED builder" tool (https://tools.asdc.asi.it/SED) and by means of interactive tables (http://www.asdc.asi.it/xrtspectra). Innovative data visualisation methods (see e.g. http://youtu.be/nAZYcXcUGW8) are also being developed at ASDC to better exploit this remarkable and rapidly growing data set.


title: GeomRDF: A Geodata Converter with a Fine-Grained Structured Representation of Geometry in the Web

abstract: In recent years, with the advent of the web of data, a growing number of national mapping agencies tend to publish their geospatial data as Linked Data. However, differences between traditional GIS data models and Linked Data model can make the publication process more complicated. Besides, it may require, to be done, the setting of several parameters and some expertise in the semantic web technologies. In addition, the use of standards like GeoSPARQL (or ad hoc predicates) is mandatory to perform spatial queries on published geospatial data. In this paper, we present GeomRDF, a tool that helps users to convert spatial data from traditional GIS formats to RDF model easily. It generates geometries represented as GeoSPARQL WKT literal but also as structured geometries that can be exploited by using only the RDF query language, SPARQL. GeomRDF was implemented as a module in the RDF publication platform Datalift. A validation of GeomRDF has been realized against the French administrative units dataset (provided by IGN France).


title: Coherence-enhanced efficiency of feedback-driven quantum engines

abstract: A genuine feature of projective quantum measurements is that they inevitably alter the mean energy of the observed system if the measured quantity does not commute with the Hamiltonian. Compared to the classical case, Jacobs proved that this additional energetic cost leads to a stronger bound on the work extractable after a single measurement from a system initially in thermal equilibrium [Phys. Rev. A 80, 012322 (2009)]. Here, we extend this bound to a large class of feedback-driven quantum engines operating periodically and in finite time. The bound thus implies a natural definition for the efficiency of information to work conversion in such devices. For a simple model consisting of a laser-driven two-level system, we maximize the efficiency with respect to the observable whose measurement is used to control the feedback operations. We find that the optimal observable typically does not commute with the Hamiltonian and hence would not be available in a classical two level system. This result reveals that periodic feedback engines operating in the quantum realm can exploit quantum coherences to enhance efficiency.


title: Gravitational Waves in G4v

abstract: Gravitational coupling of the propagation four-vectors of matter wave functions is formulated in flat space-time. Coupling at the momentum level rather than at the "force-law" level greatly simplifies many calculations. This locally Lorentz-invariant approach (G4v) treats electromagnetic and gravitational coupling on an equal footing. Classical mechanics emerges from the incoherent aggregation of matter wave functions. The theory reproduces, to first order beyond Newton, the standard GR results for Gravity-Probe B, deflection of light by massive bodies, precession of orbits, gravitational red shift, and total gravitational-wave energy radiated by a circular binary system. Its predictions of total radiated energy from highly eccentric Kepler systems are slightly larger than those of similar GR treatments. G4v predictions differ markedly from those of GR for the gravitational-wave radiation patterns from rotating massive systems, and for the LIGO antenna pattern. The predicted antenna patterns have been shown to be highly distinguishable in the case of continuous gravitational-wave sources, and should therefore be testable as data from Advanced LIGO becomes available over the next few years.


title: Varilets: Additive Decomposition, Topological Total Variation, and Filtering of Scalar Fields

abstract: Continuous interpolation of real-valued data is characterized by piecewise monotone functions on a compact metric space. Topological total variation of piecewise monotone function f:X->R is a homeomorphism-invariant generalization of 1D total variation. A varilet basis is a collection of piecewise monotone functions { $g_i$ |i = 1...n}, called varilets, such that every linear combination $\sum a_ig_i$ has topological total variation $\sum |a_i|$. A varilet transform for $f$ is a varilet basis for which $f =\sum \alpha_ig_i$. Filtered versions of $f$ result from altering the coefficients $\alpha_i$.


title: Stochastic Quantum Trajectories without a Wave Function

abstract: After summarizing three versions of trajectory-based quantum mechanics, it is argued that only the original formulation due to Bohm, which uses the Schr\"odinger wave function to guide the particles, can be readily extended to particles with spin. To extend the two wave function-free formulations, it is argued that necessarily particle trajectories not only determine location, but also spin. Since spin values are discrete, it is natural to revert to a variation of Bohm's pilot wave formulation due originally to Bell. It is shown that within this formulation with stochastic quantum trajectories, a wave function free formulation can be obtained.


title: Schottky barrier formation and band bending revealed by first principles calculations

abstract: An atomistic insight into potential barrier formation and band bending at the interface between a metal and an n-type semiconductor is achieved by ab initio simulations and model analysis of a prototype Schottky diode, i.e., niobium doped rutile titania in contact with gold (Au/Nb:TiO$_2$). The local Schottky barrier height is found to vary between 0 and 1.26 eV depending on the position of the dopant. The band bending is caused by a dopant induced dipole field between the interface and the dopant site, whereas the pristine Au/TiO$_2$ interface does not show any band bending. These findings open the possibility for atomic scale optimization of the Schottky barrier and light harvesting in metal-semiconductor nanostructures.


title: A tidal disruption flare in a massive galaxy? Implications for the fuelling mechanisms of nuclear black holes

abstract: We argue that the `changing look' AGN recently reported by LaMassa et al. could be a luminous flare produced by the tidal disruption of a super-solar mass star passing just a few gravitational radii outside the event horizon of a $\sim 10^8 M_{\odot}$ nuclear black hole. This flare occurred in a massive, star forming galaxy at redshift $z=0.312$, robustly characterized thanks to repeated late-time photometric and spectroscopic observations. By taking difference-photometry of the well sampled multi-year SDSS Stripe-82 light-curve, we are able to probe the evolution of the nuclear spectrum over the course of the outburst. The tidal disruption event (TDE) interpretation is consistent with the very rapid rise and the decay time of the flare, which displays an evolution consistent with the well-known $t^{-5/3}$ behaviour (with a clear superimposed re-brightening flare). Our analysis places constraints on the physical properties of the TDE, such as the putative disrupted star's mass and orbital parameters, as well as the size and temperature of the emitting material. The properties of the broad and narrow emission lines observed in two epochs of SDSS spectra provide further constraints on the circum-nuclear structure, and could be indicative that the system hosted a moderate-luminosity AGN as recently as a few $10^4$ years ago, and is likely undergoing residual accretion as late as ten years after peak, as seen from the broad H$\alpha$ emission line. We discuss the complex interplay between tidal disruption events and gas accretion episodes in galactic nuclei, highlighting the implications for future TDE searches and for estimates of their intrinsic rates.


title: Strong Matching of Points with Geometric Shapes

abstract: Let $P$ be a set of $n$ points in general position in the plane. Given a convex geometric shape $S$, a geometric graph $G_S(P)$ on $P$ is defined to have an edge between two points if and only if there exists an empty homothet of $S$ having the two points on its boundary. A matching in $G_S(P)$ is said to be $strong$, if the homothests of $S$ representing the edges of the matching, are pairwise disjoint, i.e., do not share any point in the plane. We consider the problem of computing a strong matching in $G_S(P)$, where $S$ is a diametral-disk, an equilateral-triangle, or a square. We present an algorithm which computes a strong matching in $G_S(P)$; if $S$ is a diametral-disk, then it computes a strong matching of size at least $\lceil \frac{n-1}{17} \rceil$, and if $S$ is an equilateral-triangle, then it computes a strong matching of size at least $\lceil \frac{n-1}{9} \rceil$. If $S$ can be a downward or an upward equilateral-triangle, we compute a strong matching of size at least $\lceil \frac{n-1}{4} \rceil$ in $G_S(P)$. When $S$ is an axis-aligned square we compute a strong matching of size $\lceil \frac{n-1}{4} \rceil$ in $G_S(P)$, which improves the previous lower bound of $\lceil \frac{n}{5} \rceil$.


title: Transients in finite inflation

abstract: We test a model of inflation with a fast-rolling kinetic-dominated initial condition against data from Planck using Markov chain Monte Carlo parameter estimation. We test both an $m^2 \phi^2$ potential and the $R+R^2$ gravity model and perform a full numerical calculation of both the scalar and tensor primordial power spectra. We find a slight (though not significant) improvement in fit for this model over the standard eternal slow-roll case.


title: Phase transitions on the Toeplitz algebras of Baumslag-Solitar semigroups

abstract: Spielberg has recently shown that Baumslag-Solitar groups associated to pairs of positive integers are quasi-lattice ordered in the sense of Nica. Thus they have tractable Toeplitz algebras. Each of these algebras carries a natural dynamics. Here we construct the equilibrium states (the KMS states) for these dynamics. For inverse temperatures larger than a critical value, there is a large simplex of KMS states parametrised by probability measures on the unit circle. At the critical value, and under a mild hypothesis, there is a phase transition in which this simplex collapses to a singleton. There is a further phase transition at infinity, in the sense that there are many ground states which cannot be realised as limits of KMS states with finite inverse temperatures.


title: Constructing an orthonormal wavelet from an MRA

abstract: In this article, we follow closely the approach in Hernandez and Weiss's seminal text in describing the construction of an orthonormal wavelet from a multi-resolution analysis. We assume the reader has a modest background in analysis and measure theory.


title: Optimization of eigenstates and spectra for quasi-linear nonlinear optical systems

abstract: Quasi-one-dimensional quantum structures with spectra scaling faster than the square of the eigenmode number (superscaling) can generate intrinsic, off-resonant optical nonlinearities near the fundamental physical limits, independent of the details of the potential energy along the structure. The scaling of spectra is determined by the topology of the structure, while the magnitudes of the transition moments are set by the geometry of the structure. This paper presents a comprehensive study of the geometrical optimization of superscaling quasi-one-dimensional structures and provides heuristics for designing molecules to maximize intrinsic response. A main result is that designers of conjugated structures should attach short side groups at least a third of the way along the bridge, not near its end as is conventionally done. A second result is that once a side group is properly placed, additional side groups do not further enhance the response.


title: Simultaneous measurements of electrophoretic and dielectrophoretic forces using optical tweezers

abstract: Herein, charged microbeads handled with optical tweezers are used as a sensitive probe for simultaneous measurements of electrophoretic and dielectrophoretic forces. We first determine the electric charge carried by a single bead by keeping it in a predictable uniform electric field produced by two parallel planar electrodes, then, we examine same bead's response in proximity to a tip electrode. In this case, besides electric forces, the bead simultaneously experiences non-negligible dielectrophoretic forces produced by the strong electric field gradient. The stochastic and deterministic motions of the trapped bead are theoretically and experimentally analysed in terms of the autocorrelation function. By fitting the experimental data, we are able to extract simultaneously the spatial distribution of electrophoretic and dielectrophoretic forces around the tip. Our approach can be used for determining actual, total force components in the presence of high-curvature electrodes or metal scanning probe tips.


title: An Automated System for Discovering Neighborhood Patterns in Ego Networks

abstract: Generally, social network analysis has often focused on the topology of the network without considering the characteristics of individuals involved in them. Less attention is given to study the behavior of individuals, considering they are the basic entity of a graph. Given a mobile social network graph, what are good features to extract key information from the nodes? How many distinct neighborhood patterns exist for ego nodes? What clues does such information provide to study nodes over a long period of time? In this report, we develop an automated system in order to discover the occurrences of prototypical ego-centric patterns from data. We aim to provide a data-driven instrument to be used in behavioral sciences for graph interpretations. We analyze social networks derived from real-world data collected with smart-phones. We select 13 well-known network measures, especially those concerned with ego graphs. We form eight feature subsets and then assess their performance using unsupervised clustering techniques to discover distinguishing ego-centric patterns. From clustering analysis, we discover that eight distinct neighborhood patterns have emerged. This categorization allows concise analysis of users' data as they change over time. The results provide a fine-grained analysis for the contribution of different feature sets to detect unique clustering patterns. Last, as a case study, two datasets are studied over long periods to demonstrate the utility of this method. The study shows the effectiveness of the proposed approach in discovering important trends from data.


title: Pair extended coupled cluster doubles

abstract: The accurate and efficient description of strongly correlated systems remains an important challenge for computational methods. Doubly occupied configuration interaction (DOCI), in which all electrons are paired and no correlations which break these pairs are permitted, can in many cases provide an accurate account of strong correlations, albeit at combinatorial computational cost. Recently, there has been significant interest in a method we refer to as pair coupled cluster doubles (pCCD), a variant of coupled cluster doubles in which the electrons are paired. This is simply because pCCD provides energies nearly identical to those of DOCI, but at mean-field computational cost (disregarding the cost of the two-electron integral transformation). Here, we introduce the more complete pair extended coupled cluster doubles (pECCD) approach which, like pCCD, has mean-field cost and reproduces DOCI energetically. We show that unlike pCCD, pECCD also reproduces the DOCI wave function with high accuracy. Moreoever, pECCD yields sensible albeit inexact results even for attractive interactions where pCCD breaks down.


title: On the viscosity solutions to some nonlinear elliptic equations

abstract: We consider viscosity solutions of a class of nonlinear degenerate elliptic equations on bounded domains. We prove comparison principles and a priori supremum bounds for the solutions. We also address the eigenvalue problem and, in many instances, show the existence of a first eigenvalue and a first positive eigenfunction.


title: Low-energy Supersymmetry Breaking Without the Gravitino Problem

abstract: In models of low-energy gauge mediation, the observed Higgs mass is in tension with the cosmological limit on the gravitino mass $m_{3/2} \lesssim 16$ eV. We present an alternative mediation mechanism of supersymmetry breaking via a $U(1)$ $D$-term with an $E_6$-inspired particle content, which we call "vector mediation". The gravitino mass can be in the eV range. The sfermion masses are at the 10 TeV scale, while gauginos around a TeV. This mechanism also greatly ameliorates the $\mu$-problem.


title: Long Short-Term Memory Over Tree Structures

abstract: The chain-structured long short-term memory (LSTM) has showed to be effective in a wide range of problems such as speech recognition and machine translation. In this paper, we propose to extend it to tree structures, in which a memory cell can reflect the history memories of multiple child cells or multiple descendant cells in a recursive process. We call the model S-LSTM, which provides a principled way of considering long-distance interaction over hierarchies, e.g., language or image parse structures. We leverage the models for semantic composition to understand the meaning of text, a fundamental problem in natural language understanding, and show that it outperforms a state-of-the-art recursive model by replacing its composition layers with the S-LSTM memory blocks. We also show that utilizing the given structures is helpful in achieving a performance better than that without considering the structures.


title: A Rastall Scalar-Tensor theory

abstract: We formulate a theory combining the principles of a scalar-tensor gravity and the Rastall proposal of a violation of the usual conservation laws. In the resulting Brans-Dicke-Rastall (BDR) theory the only exact, static, spherically symmetric solution is a Robinson-Bertotti type solution besides the trivial Schwarzschild one. The PPN constraints can be completely satisfied for some values of the free parameters.The cosmological solutions display, among others, a decelerate-accelerate transition in the matter dominated phase.


title: Determination of Correction Factors for Small Field Based on Measurement and Numerical Calculation using Cylindrical Ionization Chambers

abstract: We studied the investigation of volume averaging effect for air-filled cylindrical ionization chambers to determine correction factors in small photon field for the given chamber. As a method, we measured output factors using several cylindrical ionization chambers and calculated with mathematical method similar to deconvolution in which we modeled non-constant and inhomogeneous exposure function in the cavity of chamber. The parameters in exposure function and correction factors were determined by solving a system of equations we developed with measurement data and geometry of the given chamber. Correction factors (CFs) we had found are very similar to that from Monte Carlo (MC) simulation. For example, CFs in this study were computed as 1.116 for PTW31010, and 1.0225 for PTW31016, while CFs from MC were reported as approximately between 1.17 and 1.20 for PTW31010, and between 1.02 and 1.06 for PTW31016 in of 6MV photon beam . Furthermore, the result from the method of deconvolution combined with MC for chamber response function, also showed similar CF for PTW 30013, which was reported as 2.29 and 1.54 in and filed size respectively. The CFs from our method provided similarly as 2.42 and 1.54. In addition, we reported CFs for PTW30013, PTW31010, PTW31016, IBA FC23-C, and IBA CC13. As a consequence, we suggested a newly developed method to measure correct output factor using the fact that inhomogeneous exposure, force a volume averaging effect in a cavity of air filled cylindrical ionization chamber. The result from this method is very similar to that from MC simulation. The method we developed can easily be applied to clinic.


title: Continuous higher randomness

abstract: We investigate the role of continuous reductions and continuous relativisation in the context of higher randomness. We define a higher analogue of Turing reducibility and show that it interacts well with higher randomness, for example with respect to van-Lambalgen's theorem and the Miller-Yu / Levin theorem. We study lowness for continuous relativization of randomness, and show the equivalence of the higher analogues of the different characterisations of lowness for Martin-L\"of randomness. We also characterise computing higher $K$-trivial sets by higher random sequences. We give a separation between higher notions of randomness, in particular between higher weak-2-randomness and $\Pi^1_1$-randomness. To do so we investigate classes of functions computable from Kleene's~$O$ based on strong forms of the higher limit lemma.


title: Optimal control of the state statistics for a linear stochastic system

abstract: We consider a variant of the classical linear quadratic Gaussian regulator (LQG) in which penalties on the endpoint state are replaced by the specification of the terminal state distribution. The resulting theory considerably differs from LQG as well as from formulations that bound the probability of violating state constraints. We develop results for optimal state-feedback control in the two cases where i) steering of the state distribution is to take place over a finite window of time with minimum energy, and ii) the goal is to maintain the state at a stationary distribution over an infinite horizon with minimum power. For both problems the distribution of noise and state are Gaussian. In the first case, we show that provided the system is controllable, the state can be steered to any terminal Gaussian distribution over any specified finite time-interval. In the second case, we characterize explicitly the covariance of admissible stationary state distributions that can be maintained with constant state-feedback control. The conditions for optimality are expressed in terms of a system of dynamically coupled Riccati equations in the finite horizon case and in terms of algebraic conditions for the stationary case. In the case where the noise and control share identical input channels, the Riccati equations for finite-horizon steering become homogeneous and can be solved in closed form. The present paper is largely based on our recent work in arxiv.org/abs/1408.2222, arxiv.org/abs/1410.3447 and presents an overview of certain key results.


title: Inexact Shift-and-Invert Arnoldi for Toeplitz Matrix Exponential

abstract: We revisit the shift-and-invert Arnoldi method proposed in [S. Lee, H. Pang, and H. Sun. {\it Shift-invert Arnoldi approximation to the Toeplitz matrix exponential}, SIAM J. Sci. Comput., 32: 774--792, 2010] for numerical approximation to the product of Toeplitz matrix exponential with a vector. In this approach, one has to solve two large scale Toeplitz linear systems in advance. However, if the desired accuracy is high, the cost will be prohibitive. Therefore, it is interesting to investigate how to solve the Toeplitz systems inexactly in this method. The contribution of this paper is in three regards. First, we give a new stability analysis on the Gohberg-Semencul formula (GSF) and define the GSF condition number of a Toeplitz matrix. It is shown that, when the size of the Toeplitz matrix is large, our result is sharper than the one given in [M. Gutknecht and M. Hochbruck. {\it The stability of inversion formulas for Toeplitz matrices}, Linear Algebra Appl., 223/224: 307--324, 1995]. Second, we establish a relation between the error of Toeplitz systems and the residual of Toeplitz matrix exponential. We show that if the GSF condition number of the Toeplitz matrix is medium sized, then the Toeplitz systems can be solved in a low accuracy. Third, based on this relationship, we present a practical stopping criterion for relaxing the accuracy of the Toeplitz systems, and propose an inexact shift-and-invert Arnoldi algorithm for the Toeplitz matrix exponential problem. Numerical experiments illustrate the numerical behavior of the new algorithm, and show the effectiveness of our theoretical results.


title: Quantum filtering for multiple diffusive and Poissonian measurements

abstract: We provide a rigorous derivation of a quantum filter for the case of multiple measurements being made on a quantum system. We consider a class of measurement processes which are functions of bosonic field operators, including combinations of diffusive and Poissonian processes. This covers the standard cases from quantum optics, where homodyne detection may be described as a diffusive process and photon counting may be described as a Poissonian process. We obtain a necessary and sufficient condition for any pair of such measurements taken at different output channels to satisfy a commutation relationship. Then, we derive a general, multiple measurement quantum filter as an extension of a single-measurement quantum filter. As an application we explicitly obtain the quantum filter corresponding to homodyne detection and photon counting at the output ports of a beam splitter, correcting an earlier result.


title: Equivalences of Families of Stacky Toric Calabi-Yau Hypersurfaces

abstract: Given the same anti-canonical linear system on two distinct toric varieties, we provide a derived equivalence between partial crepant resolutions of the corresponding stacky hypersurfaces. The applications include: a derived unification of toric mirror constructions, calculations of Picard lattices for linear systems of quartic surfaces, and a birational reduction of Reid's list to 81 families.


title: Enhancing quantum entanglement and quantum teleportation for two-mode squeezed vacuum state by local quantum-optical catalysis

abstract: I theoretically investigate how the entanglement properties of a two-mode squeezed vacuum state (TMSVS) can be enhanced by operating quantum-optical catalysis on each mode of the TMSVS. The quantum-optical catalysis is simply mixing one photon at the beam splitter and post-select the beam-splitter (BS) output based on detection of one photon, first proposed by Lvovsky and Mlynek [Phys. Rev. Lett. 88, 250401 (2002)]. I find that there exists some enhancement in the entanglement properties (namely, entanglement entropy, second-order Einstein-Podolsky-Rosen correlation, and the fidelity of quantum teleportation) in certain parameter ranges spanned by the low transmissivities of the BSs and the small squeezing parameter of the input TMSVS.


title: On the total cosmological information in galaxy clustering: an analytical approach

abstract: Beyond the linear regime of structure formation, part of cosmological information encoded in galaxy clustering becomes inaccessible to the usual power spectrum. "Sufficient statistics", A*, were introduced recently to recapture the lost, and ultimately extract all, cosmological information. We present analytical approximations for the A* and traditional power spectra as well as for their covariance matrices in order to calculate analytically their cosmological information content in the context of Fisher information theory. Our approach allows the precise quantitative comparison of the techniques with each other and to the total information in the data, and provides insights into sufficient statistics. In particular, we find that while the A* power spectrum has a similar shape to the usual galaxy power spectrum, its amplitude is strongly modulated by small scale statistics. This effect is mostly responsible for the ability of the A* power spectrum to recapture the information lost for the usual power spectrum. We use our framework to forecast the best achievable cosmological constraints for projected surveys as a function of their galaxy density, and compare the information content of the two power spectra. We find that sufficient statistics extract all cosmological information, resulting in an approximately factor of ~2 gain for dense projected surveys at low redshift. This increase in the effective volume of projected surveys is consistent with previous numerical calculations.


title: Transverse electron momentum distribution in tunneling and over the barrier ionization by laser pulses with varying ellipticity

abstract: We study transverse electron momentum distribution (TEMD) in strong field atomic ionization driven by laser pulses with varying ellipticity. We show, both experimentally and theoretically, that the TEMD in the tunneling and over the barrier ionization regimes evolves in a qualitatively different way when the ellipticity parameter describing polarization state of the driving laser pulse increases.


title: Line-tension effects on heterogeneous nucleation on a spherical substrate and in a spherical cavity

abstract: The line-tension effects on heterogeneous nucleation are considered when a spherical lens-shaped nucleus is nucleated on top of a spherical substrate and on the bottom of the wall of a spherical cavity. The effect of line tension on the nucleation barrier can be separated from the usual volume term. As the radius of the substrate increases, the nucleation barrier decreases and approaches that of a flat substrate. However, as the radius of the cavity increases, the nucleation barrier increases and approaches that of a flat substrate. A small spherical substrate is a less active nucleation site than a flat substrate, and a small spherical cavity is a more active nucleation site than a flat substrate. In contrast, the line-tension effect on the nucleation barrier is maximum when the radii of the nucleus and the substrate or cavity become comparable. Therefore, by tuning the size of the spherical substrate or spherical cavity, the effect of the line tension can be optimized. These results will be useful in broad range of applications from material processing to understanding of global climate, where the heterogeneous nucleation plays a vital role.


title: Some identities of q-Bernoulli polynomials under symmetry group S3

abstract: In this paper, we give some new identities of Carlitz q-Bernoulli polynomials under symmetry group S 3 . The derivatives of identities are based on the q-Volkenborn integral expression of the generating function for the Carlitz q-Bernoulli polynomials and the q-Volkenborn integral equations that can be expressed as the exponential generating functions for the q-power sums.


title: Biomimetic Algorithms for Coordinated Motion: Theory and Implementation

abstract: Drawing inspiration from flight behavior in biological settings (e.g. territorial battles in dragonflies, and flocking in starlings), this paper demonstrates two strategies for coverage and flocking. Using earlier theoretical studies on mutual motion camouflage, an appropriate steering control law for area coverage has been implemented in a laboratory test-bed equipped with wheeled mobile robots and a Vicon high speed motion capture system. The same test-bed is also used to demonstrate another strategy (based on local information), termed topological velocity alignment, which serves to make agents move in the same direction. The present work illustrates the applicability of biological inspiration in the design of multi-agent robotic collectives.


title: A Metastability Result for the Contact Process on a Random Regular Graph

abstract: In this paper we study the metastability of the contact process on a random regular graph. We show that the extinction time of the contact process, when initialized so that all vertices are infected at time 0, grows exponentially with the vertex number. Moreover, we show that the extinction time divided by its mean converges to a unit exponential distribution in law.


title: Identifying a Criminal's Network of Trust

abstract: Tracing criminal ties and mining evidence from a large network to begin a crime case analysis has been difficult for criminal investigators due to large numbers of nodes and their complex relationships. In this paper, trust networks using blind carbon copy (BCC) emails were formed. We show that our new shortest paths network search algorithm combining shortest paths and network centrality measures can isolate and identify criminals' connections within a trust network. A group of BCC emails out of 1,887,305 Enron email transactions were isolated for this purpose. The algorithm uses two central nodes, most influential and middle man, to extract a shortest paths trust network.


title: L-packets of quasisplit $GSp(2n)$ and $GO(2n)$

abstract: In his monograph (2013) Arthur characterizes the L-packets of quasisplit symplectic groups and orthogonal groups. By extending his work, we characterize the L-packets for the corresponding similitude groups with desired properties. In particular, we show these packets satisfy the conjectural endoscopic character identities.


title: On the global regularity of 2-D density patch for inhomogeneous incompressible viscous flow

abstract: Toward P.-L. Lions' open question in \cite{Lions96} concerning the propagation of regularity for density patch, we establish the global existence of solutions to the 2-D inhomogeneous incompressible Navier-Stokes system with initial density given by $(1-\eta){\bf 1}_{\Om_0}+{\bf 1}_{\Om_0^c}$ for some small enough constant $\eta$ and some $W^{k+2,p}$ domain $\Om_0,$ and with initial vorticity belonging to $L^1\cap L^p$ and with appropriate tangential regularities. Furthermore, we prove that the regularity of the domain $\Om_0$ is preserved by time evolution.


title: A Multi-Tier Wireless Spectrum Sharing System Leveraging Secure Spectrum Auctions

abstract: Secure spectrum auctions can revolutionize the spectrum utilization of cellular networks and satisfy the ever increasing demand for resources. In this paper, a multi-tier dynamic spectrum sharing system is studied for efficient sharing of spectrum with commercial wireless system providers (WSPs), with an emphasis on federal spectrum sharing. The proposed spectrum sharing system optimizes usage of spectrum resources, manages intra-WSP and inter-WSP interference and provides essential level of security, privacy, and obfuscation to enable the most efficient and reliable usage of the shared spectrum. It features an intermediate spectrum auctioneer responsible for allocating resources to commercial WSPs by running secure spectrum auctions. The proposed secure spectrum auction, MTSSA, leverages Paillier cryptosystem to avoid possible fraud and bid-rigging. Numerical simulations are provided to compare the performance of MTSSA, in the considered spectrum sharing system, with other spectrum auction mechanisms for realistic cellular systems.


title: Origin of Hierarchical Structures of Quark and Lepton Mass Matrices

abstract: It is shown that the so-called "Yukawaon" model can give a unified description of masses, mixing and $CP$ violation parameters of quarks and leptons without using any hierarchical (family number-dependent) parameters besides the charged lepton masses. Here, we have introduced a phase matrix $P={\rm daig}(e^{i \phi_1}, e^{i \phi_2}, e^{i \phi_3})$ with the phase parameters $(\phi_1, \phi_2, \phi_3)$ which are described in terms of family number-independent parameters, together with using only the charged lepton mass parameters as the family number-dependent parameters. In this paper, the $CP$ violating phase parameters $\delta_{CP}^q$ and $\delta_{CP}^\ell$ in the standard expression of $V_{CKM}$ and $U_{PMNS}$ are predicted as $\delta_{CP}^q \simeq 72^\circ$ and $\delta_{CP}^\ell \simeq -76^\circ$, respectively, i.e. $\delta_{CP}^\ell \sim - \delta_{CP}^q$.


title: Effects of Ohmic and ambipolar diffusion on the formation and evolution of the first cores, protostars and circumstellar discs

abstract: We investigate the formation and evolution of a first core, protostar, and circumstellar disc with a three-dimensional non-ideal (including both Ohmic and ambipolar diffusion) radiation magnetohydrodynamics simulation. We found that the magnetic flux is largely removed by magnetic diffusion in the first core phase and that the plasma $\beta$ of the centre of the first core becomes large, $\beta>10^4$. Thus, proper treatment of first core phase is crucial in investigating the formation of protostar and disc. On the other hand, in an ideal simulation, $\beta\sim 10$ at the centre of the first core. The simulations with magnetic diffusion show that the circumstellar disc forms at almost the same time of protostar formation even with a relatively strong initial magnetic field (the value for the initial mass-to-flux ratio of the cloud core relative to the critical value is $\mu=4$). The disc has a radius of $r \sim 1$ AU at the protostar formation epoch. We confirm that the disc is rotationally supported. We also show that the disc is massive ($Q\sim 1$) and that gravitational instability may play an important role in the subsequent disc evolution.


title: Successive magnetic transitions relating to itinerant spins and localized Cu spins in La2-xSrxCu1-yFeyO4: Possible existence of stripe correlations in the overdoped regime

abstract: In order to investigate the relationship between the so-called stripe correlations and the high-Tc superconductivity, we have carried out magnetic susceptibility and zero-field muon-spin-relaxation measurements in partially Fe-substituted La2-xSrxCu1-yFeyO4 (LSCFO). It has been found that the Fe substitution induces successive magnetic transitions in the overdoped regime, namely, a spin-glass transition of Fe3+ spins due to the RKKY interaction based on itinerant spins at higher temperatures and a stripe-order transition of localized Cu2+ spins at lower temperatures. The stripe-order transition disappears at the hole concentration of ~0.28 per Cu which coincides with the endpoint of the superconductivity in pristine La2-xSrxCuO4, suggesting that the stripe correlations are closely related to the high-Tc superconductivity in the overdoped regime as well as in the underdoped regime. As for the spin-glass state, it has been found that the contribution of polarized itinerant spins to the muon-spin depolarization is not negligible. Taking into account neutron-scattering results by R.-H. He et al. [Phys. Rev. Lett. 107, 127002 (2011)] that a spin-density-wave (SDW) order has been observed in overdoped LSCFO, the present results demonstrate the presence of a novel coexistent state of a SDW order and a spin-glass state.


title: Decision-theoretic rough sets based on time-dependent loss function

abstract: A fundamental notion of decision-theoretic rough sets is the concept of loss functions, which provides a powerful tool of calculating a pair of thresholds for making a decision with a minimum cost. In this paper, time-dependent loss functions which are variations of the time are of interest because such functions are frequently encountered in practical situations, we present the relationship between the pair of thresholds and loss functions satisfying time-dependent uniform distributions and normal processes in light of bayesian decision procedure. Subsequently, with the aid of bayesian decision procedure, we provide the relationship between the pair of thresholds and loss functions which are time-dependent interval sets and fuzzy numbers. Finally, we employ several examples to illustrate that how to calculate the thresholds for making a decision by using time-dependent loss functions-based decision-theoretic rough sets.


title: Distributed Continuous-time Approximate Projection Protocols for Shortest Distance Optimization Problems

abstract: In this paper, we investigate the distributed shortest distance optimization problem for a multi-agent network to cooperatively minimize the sum of the quadratic distances from some convex sets, where each set is only associated with one agent. To deal with the optimization problem with projection uncertainties, we propose a distributed continuous-time dynamical protocol based on a new concept of approximate projection. Here each agent can only obtain an approximate projection point on the boundary of its convex set, and communicate with its neighbors over a time-varying communication graph. First, we show that no matter how large the approximate angle is, the system states are always bounded for any initial condition, and uniformly bounded with respect to all initial conditions if the inferior limit of the stepsize is greater than zero. Then, in the two cases, nonempty intersection and empty intersection of convex sets, we provide stepsize and approximate angle conditions to ensure the optimal convergence, respectively. Moreover, we give some characterizations about the optimal solutions for the empty intersection case and also present the convergence error between agents' estimates and the optimal point in the case of constant stepsizes and approximate angles.


title: Finite BRST-BFV transformations for dynamical systems with second-class constraints

abstract: We study finite field dependent BRST-BFV transformations for dynamical systems with first- and second-class constraints within the generalized Hamiltonian formalism. We find explicitly their Jacobians and the form of a solution to the compensation equation necessary for generating an arbitrary finite change of gauge-fixing functionals in the path integral.


title: A Finite Model Property for Intersection Types

abstract: We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techniques which have as an immediate by-product the polynomial time decidability of the preorder <= (although this also follows from the so called beta soundness of BCD).


title: Uniform Proofs of Normalisation and Approximation for Intersection Types

abstract: We present intersection type systems in the style of sequent calculus, modifying the systems that Valentini introduced to prove normalisation properties without using the reducibility method. Our systems are more natural than Valentini's ones and equivalent to the usual natural deduction style systems. We prove the characterisation theorems of strong and weak normalisation through the proposed systems, and, moreover, the approximation theorem by means of direct inductive arguments. This provides in a uniform way proofs of the normalisation and approximation theorems via type systems in sequent calculus style.


title: Liquid Intersection Types

abstract: We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise types than in the original refinement system. We have been able to prove several interesting properties for our system (including subject reduction) and developed an inference algorithm, which we proved to be sound.


title: Indexed linear logic and higher-order model checking

abstract: In recent work, Kobayashi observed that the acceptance by an alternating tree automaton A of an infinite tree T generated by a higher-order recursion scheme G may be formulated as the typability of the recursion scheme G in an appropriate intersection type system associated to the automaton A. The purpose of this article is to establish a clean connection between this line of work and Bucciarelli and Ehrhard's indexed linear logic. This is achieved in two steps. First, we recast Kobayashi's result in an equivalent infinitary intersection type system where intersection is not idempotent anymore. Then, we show that the resulting type system is a fragment of an infinitary version of Bucciarelli and Ehrhard's indexed linear logic. While this work is very preliminary and does not integrate key ingredients of higher-order model-checking like priorities, it reveals an interesting and promising connection between higher-order model-checking and linear logic.


title: On Isomorphism of "Functional" Intersection and Union Types

abstract: Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user. Moreover type isomorphism gives for free the coercion required to include the function in the user program with the right type. The present paper faces the problem of type isomorphism in a system with intersection and union types. In the presence of intersection and union, isomorphism is not a congruence and cannot be characterised in an equational way. A characterisation can still be given, quite complicated by the interference between functional and non functional types. This drawback is faced in the paper by interpreting each atomic type as the set of functions mapping any argument into the interpretation of the type itself. This choice has been suggested by the initial projection of Scott's inverse limit lambda-model. The main result of this paper is a condition assuring type isomorphism, based on an isomorphism preserving reduction.


title: Typing Classes and Mixins with Intersection Types

abstract: We study an assignment system of intersection types for a lambda-calculus with records and a record-merge operator, where types are preserved both under subject reduction and expansion. The calculus is expressive enough to naturally represent mixins as functions over recursively defined classes, whose fixed points, the objects, are recursive records. In spite of the double recursion that is involved in their definition, classes and mixins can be meaningfully typed without resorting to neither recursive nor F-bounded polymorphic types. We then adapt mixin construct and composition to Java and C#, relying solely on existing features in such a way that the resulting code remains typable in the respective type systems. We exhibit some example code, and study its typings in the intersection type system via interpretation into the lambda-calculus with records we have proposed.


title: Improving Runtime Overheads for detectEr

abstract: We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement these optimisations as part of the existing tool and show that they yield considerably lower runtime overheads when compared to the unoptimised monitor synthesis.


title: A Denotational Semantics for Communicating Unstructured Code

abstract: An important property of programming language semantics is that they should be compositional. However, unstructured low-level code contains goto-like commands making it hard to define a semantics that is compositional. In this paper, we follow the ideas of Saabas and Uustalu to structure low-level code. This gives us the possibility to define a compositional denotational semantics based on least fixed points to allow for the use of inductive verification methods. We capture the semantics of communication using finite traces similar to the denotations of CSP. In addition, we examine properties of this semantics and give an example that demonstrates reasoning about communication and jumps. With this semantics, we lay the foundations for a proof calculus that captures both, the semantics of unstructured low-level code and communication.