title: Detecting stellar-wind bubbles through infrared arcs in HII regions

abstract: Mid-infrared arcs of dust emission are often seen near ionizing stars within HII regions. A possible explanations for these arcs is that they could show the outer edges of asymmetric stellar wind bubbles. We use two-dimensional, radiation-hydrodynamics simulations of wind bubbles within HII regions around individual stars to predict the infrared emission properties of the dust within the HII region. We assume that dust and gas are dynamically well-coupled and that dust properties (composition, size distribution) are the same in the HII region as outside it, and that the wind bubble contains no dust. We post-process the simulations to make synthetic intensity maps at infrared wavebands using the TORUS code. We find that the outer edge of a wind bubble emits brightly at 24um through starlight absorbed by dust grains and re-radiated thermally in the infrared. This produces a bright arc of emission for slowly moving stars that have asymmetric wind bubbles, even for cases where there is no bow shock or any corresponding feature in tracers of gas emission. The 24um intensity decreases exponentially from the arc with increasing distance from the star because the dust temperature decreases with distance. The size distribution and composition of the dust grains has quantitative but not qualitative effects on our results. Despite the simplifications of our model, we find good qualitative agreement with observations of the HII region RCW120, and can provide physical explanations for any quantitative differences. Our model produces an infrared arc with the same shape and size as the arc around CD -38 11636 in RCW120, and with comparable brightness. This suggests that infrared arcs around O stars in HII regions may be revealing the extent of stellar wind bubbles, although we have not excluded other explanations.


title: Standard Model in multiscale theories and observational constraints

abstract: We construct and analyze the Standard Model of electroweak and strong interactions in multiscale spacetimes with (i) weighted derivatives and (ii) $q$-derivatives. Both theories can be formulated in two different frames, called fractional and integer picture. By definition, the fractional picture is where physical predictions should be made. (i) In the theory with weighted derivatives, it is shown that gauge invariance and the requirement of having constant masses in all reference frames make the Standard Model in the integer picture indistinguishable from the ordinary one. Experiments involving only weak and strong forces are insensitive to a change of spacetime dimensionality also in the fractional picture, and only the electromagnetic and gravitational sectors can break the degeneracy. For the simplest multiscale measures with only one characteristic time, length and energy scale $t_*$, $\ell_*$ and $E_*$, we compute the Lamb shift in the hydrogen atom and constrain the multiscale correction to the ordinary result, getting the absolute upper bound $t_*<10^{-23}\,{\rm s}$. For the natural choice $\alpha_0=1/2$ of the fractional exponent in the measure, this bound is strengthened to $t_*<10^{-29}\,{\rm s}$, corresponding to $\ell_*<10^{-20}\,{\rm m}$ and $E_*>28\,{\rm TeV}$. Stronger bounds are obtained from the measurement of the fine-structure constant. (ii) In the theory with $q$-derivatives, considering the muon decay rate and the Lamb shift in light atoms, we obtain the independent absolute upper bounds $t_* < 10^{-13}{\rm s}$ and $E_*>35\,\text{MeV}$. For $\alpha_0=1/2$, the Lamb shift alone yields $t_*<10^{-27}\,{\rm s}$, $\ell_*<10^{-19}\,{\rm m}$ and $E_*>450\,\text{GeV}$.


title: MApping the Most Massive Overdensities Through Hydrogen (MAMMOTH) I: Methodology

abstract: Modern cosmology predicts that a galaxy overdensity is associated to a large reservoir of the intergalactic gas, which can be traced by the Ly$\alpha$ forest absorption. We have undertaken a systematic study of the relation between Coherently Strong intergalactic Ly$\alpha$ Absorption systems (CoSLAs), which have highest optical depth ($\tau$) in $\tau$ distribution, and mass overdensities on the scales of $\sim$ 10 - 20 $h^{-1}$ comoving Mpc. On such large scales, our cosmological simulations show a strong correlation between the effective optical depth ($\tau_{\rm{eff}}$) of the CoSLAs and the 3-D mass overdensities. In moderate signal-to-noise spectra, however, the profiles of CoSLAs can be confused with high column density absorbers. For $z>2.6$, where the corresponding Ly$\beta$ is redshifted to the optical, we have developed the technique to differentiate between these two alternatives. We have applied this technique to SDSS-III quasar survey at $z = 2.6$ - 3.3, and we present a sample of five CoSLA candidates with $\tau_{\rm{eff}}$ on 15 $h^{-1}$ Mpc greater than $4.5\times$ the mean optical depth. At lower redshifts of $z < 2.6$, where the background quasar density is higher, the overdensity can be traced by intergalactic absorption groups using multiple sight lines. Our overdensity searches fully utilize the current and next generation of Ly$\alpha$ forest surveys which cover a survey volume of $> (1\ h^{-1}$ Gpc)$^3$. In addition, systems traced by CoSLAs will build a uniform sample of the most massive overdensities at $z > 2$ to constrain the models of structure formation, and offer a unique laboratory to study the interactions between galaxy overdensities and the intergalactic medium.


title: Scalable Quantum Simulation of Molecular Energies

abstract: We report the first electronic structure calculation performed on a quantum computer without exponentially costly precompilation. We use a programmable array of superconducting qubits to compute the energy surface of molecular hydrogen using two distinct quantum algorithms. First, we experimentally execute the unitary coupled cluster method using the variational quantum eigensolver. Our efficient implementation predicts the correct dissociation energy to within chemical accuracy of the numerically exact result. Second, we experimentally demonstrate the canonical quantum algorithm for chemistry, which consists of Trotterization and quantum phase estimation. We compare the experimental performance of these approaches to show clear evidence that the variational quantum eigensolver is robust to certain errors. This error tolerance inspires hope that variational quantum simulations of classically intractable molecules may be viable in the near future.


title: Minimally packed phases in holography

abstract: We numerically construct asymptotically AdS black brane solutions of $D=4$ Einstein-Maxwell theory coupled to a pseudoscalar. The solutions are holographically dual to $d=3$ CFTs at finite chemical potential and in a constant magnetic field, which spontaneously break translation invariance leading to the spontaneous formation of abelian and momentum magnetisation currents flowing around the plaquettes of a periodic Bravais lattice. We analyse the three-dimensional moduli space of lattice solutions, which are generically oblique, and show, for a specific value of the magnetic field, that the free energy is minimised by the triangular lattice, associated with minimal packing of circles in the plane. We show that the average stress tensor for the thermodynamically preferred phase is that of a perfect fluid and that this result applies more generally to spontaneously generated periodic phases. The triangular structure persists at low temperatures indicating the existence of novel crystalline ground states.


title: Gas rich and gas poor structures through the stream velocity effect

abstract: Using adiabatic high-resolution numerical simulations we quantify the effect of the streaming motion of baryons with respect to dark matter at the time of recombination on structure formation and evolution. Formally a second order effect, the baryonic stream velocity has proven to have significant impact on dark matter halo abundance, as well as on the gas content and morphology of small galaxy clusters. In this work, we study the impact of stream velocity on the formation and gas content of haloes with masses up to $10^9 M_{\odot}$, an order of magnitude larger than previous studies. We find that the non-zero stream velocity has a sizable impact on the number density of haloes with masses $\lesssim$ few $\times 10^7 M_{\odot}$ up to $z=10$, the final redshift of our simulations. Furthermore, the gas stream velocity induces a suppression of the gas fraction in haloes, which at z=10 is $\sim 10 \%$ for objects with $M\sim10^7M_{\odot}$, as well as a flattening of the gas density profiles in the inner regions of haloes. We further identify and study the formation, in the context of a non-zero stream velocity, of moderately long lived gas dominated structures at intermediate redshifts $10 < z < 20$, which Naoz and Narayan have recently proposed as potential progenitors of globular clusters.


title: Addressing Complex and Subjective Product-Related Queries with Customer Reviews

abstract: Online reviews are often our first port of call when considering products and purchases online. When evaluating a potential purchase, we may have a specific query in mind, e.g. `will this baby seat fit in the overhead compartment of a 747?' or `will I like this album if I liked Taylor Swift's 1989?'. To answer such questions we must either wade through huge volumes of consumer reviews hoping to find one that is relevant, or otherwise pose our question directly to the community via a Q/A system. In this paper we hope to fuse these two paradigms: given a large volume of previously answered queries about products, we hope to automatically learn whether a review of a product is relevant to a given query. We formulate this as a machine learning problem using a mixture-of-experts-type framework---here each review is an `expert' that gets to vote on the response to a particular query; simultaneously we learn a relevance function such that `relevant' reviews are those that vote correctly. At test time this learned relevance function allows us to surface reviews that are relevant to new queries on-demand. We evaluate our system, Moqa, on a novel corpus of 1.4 million questions (and answers) and 13 million reviews. We show quantitatively that it is effective at addressing both binary and open-ended queries, and qualitatively that it surfaces reviews that human evaluators consider to be relevant.


title: Instanton effects in lattice models of bosonic symmetry-protected topological states

abstract: Bosonic symmetry-protected topological (SPT) states are gapped disordered phases of matter possessing symmetry-preserving boundary excitations. It has been proposed that, at long wavelengths, the universal properties of an SPT system are captured by an effective non-linear sigma model field theory in the presence of a quantized topological theta-term. By studying lattice models of bosonic SPT states, we are able to identify, in their Euclidean path integral formulation, (discrete) Berry phases that hold relevant physical information on the nature of the SPT ground states. These discrete Berry phases are given intuitive physical interpretation in terms of instanton effects that capture the presence of a theta-term on the microscopic scale.


title: CO and N$_2$ desorption energies from water ice

abstract: The relative desorption energies of CO and N$_2$ are key to interpretations of observed interstellar CO and N$_2$ abundance patterns, including the well-documented CO and N$_2$H$^+$ anti-correlations in disks, protostars and molecular cloud cores. Based on laboratory experiments on pure CO and N$_2$ ice desorption, the difference between CO and N$_2$ desorption energies is small; the N$_2$-to-CO desorption energy ratio is 0.93$\pm$0.03. Interstellar ices are not pure, however, and in this study we explore the effect of water ice on the desorption energy ratio of the two molecules. We present temperature programmed desorption experiments of different coverages of $^{13}$CO and $^{15}$N$_2$ on porous and compact amorphous water ices and, for reference, of pure ices. In all experiments, $^{15}$N$_2$ desorption begins a few degrees before the onset of $^{13}$CO desorption. The $^{15}$N$_2$ and $^{13}$CO energy barriers are 770 and 866 K for the pure ices, 1034-1143 K and 1155-1298 K for different sub-monolayer coverages on compact water ice, and 1435 and 1575 K for $\sim$1 ML of ice on top of porous water ice. For all equivalent experiments, the N$_2$-to-CO desorption energy ratio is consistently 0.9. Whenever CO and N$_2$ ice reside in similar ice environments (e.g. experience a similar degree of interaction with water ice) their desorption temperatures should thus be within a few degrees of one another. A smaller N$_2$-to-CO desorption energy ratio may be present in interstellar and circumstellar environments if the average CO ice molecules interacts more with water ice compared to the average N$_2$ molecules.


title: How long does it take to obtain a physical density matrix?

abstract: The statistical nature of measurements alone easily causes unphysical estimates in quantum state tomography. We show that multinomial or Poissonian noise results in eigenvalue distributions converging to the Wigner semicircle distribution for already a modest number of qubits. This enables to specify the number of measurements necessary to avoid unphysical solutions as well as a new approach to obtain physical estimates.


title: Monolayer MoS2/GaAs heterostructure self-driven photodetector with extremely high detectivity

abstract: Two dimensional material/semiconductor heterostructures offer alternative platforms for optoelectronic devices other than conventional Schottky and p-n junction devices. Herein, we use MoS2/GaAs heterojunction as a self-driven photodetector with wide response band width from ultraviolet to visible light, which exhibits high sensitivity to the incident light of 635 nm with responsivity as 446 mA/W and detectivity as 5.9*10^13 Jones (Jones = cm Hz1/2 W-1), respectively. Employing interface design by inserting h-BN and photo-induced doping by covering Si quantum dots on the device, the responsivity is increased to 419 mA/W for incident light of 635 nm. Distinctly, attributing to the low dark current of the MoS2/h-BN/GaAs sandwich structure based on the self-driven operation condition, the detectivity shows extremely high value of 1.9*10^14 Jones for incident light of 635 nm, which is higher than all the reported values of the MoS2 based photodetectors. Further investigations reveal that the MoS2/GaAs based photodetectors have response speed with the typical rise/fall time as 17/31 {\mu}s. The photodetectors are stable while sealed with polymethyl methacrylate after storage in air for one month. These results imply that monolayer MoS2/GaAs heterojunction may have great potential for practical applications as high performance self-driven photodetectors.


title: Minimum distance functions of graded ideals and Reed-Muller-type codes

abstract: We introduce and study the minimum distance function of a graded ideal in a polynomial ring with coefficients in a field, and show that it generalizes the minimum distance of projective Reed-Muller-type codes over finite fields. This gives an algebraic formulation of the minimum distance of a projective Reed-Muller-type code in terms of the algebraic invariants and structure of the underlying vanishing ideal. Then we give a method, based on Groebner bases and Hilbert functions, to find lower bounds for the minimum distance of certain Reed-Muller-type codes. Finally we show explicit upper bounds for the number of zeros of polynomials in a projective nested cartesian set and give some support to a conjecture of Carvalho, Lopez-Neumann and Lopez.

categories: math.AC cs.IT math.AG math.CO math.IT math.NT


title: Students' epistemologies about experimental physics: Validating the Colorado Learning Attitudes about Science Survey for Experimental Physics

abstract: Student learning in instructional physics labs represents a growing area of research that includes investigations of students' beliefs and expectations about the nature of experimental physics. To directly probe students' epistemologies about experimental physics and support broader lab transformation efforts at the University of Colorado Boulder (CU) and elsewhere, we developed the Colorado Learning Attitudes about Science Survey for Experimental Physics (E-CLASS). Previous work with this assessment has included establishing the accuracy and clarity of the instrument through student interviews and preliminary testing. Several years of data collection at multiple institutions has resulted in a growing national data set of student responses. Here, we report on results of the analysis of these data to investigate the statistical validity and reliability of the E-CLASS as a measure of students' epistemologies for a broad student population. We find that the E-CLASS demonstrates an acceptable level of both validity and reliability on measures of, item and test discrimination, test-retest reliability, partial-sample reliability, internal consistency, concurrent validity, and convergent validity. We also examine students' responses using Principal Component Analysis and find that, as expected, the E-CLASS does not exhibit strong factors.


title: Role of symmetries in the Kerr-Schild derivation of the Kerr black hole

abstract: In this work we explore the consequences of considering from the very beginning the stationary and axisymmetric properties of the Kerr black hole as one attempts to derive this solution through the Kerr-Schild ansatz. The first consequence is kinematical and is based on a new stationary and axisymmetric version of the Kerr theorem that yields to the precise shear-free and geodesic null congruence of flat spacetime characterizing the Kerr solution. A straightforward advantage of this strategy is that now the parameter $a$ appears naturally as associated to the conserved angular momentum of the geodesics due to axisymmetry. The second consequence is dynamical and takes into account the circularity theorem. In fact, a stationary-axisymmetric Kerr-Schild ansatz is in general incompatible with the circularity property warranted by vacuum Einstein equations unless the remaining angular dependence in the Kerr-Schild profile appears fixed in a precise way. Thanks to these two ingredients, the integration of the Einstein equations reduces to a simple ordinary differential equation on the radial dependence, whose integration constant is precisely the mass $m$. This derivation of the Kerr solution is simple but rigorous, and it may be suitable for any textbook.


title: Non-equilibrium dynamics and phase transitions

abstract: We study the poles of the retarded Green's functions of strongly coupled field theories exhibiting a variety of phase structures from a crossover up to a first order phase transition. These theories are modeled by a dual gravitational description. The poles of the holographic Green's functions appear at the frequencies of the quasinormal modes of the dual black hole background. We establish that near the transition, in all cases considered, the applicability of a hydrodynamic description breaks down already at lower momenta than in the conformal case. We establish the appearance of the spinodal region in the case of the first order phase transition at temperatures for which the speed of sound squared is negative. An estimate of the preferential scale attained by the unstable modes is also given. We additionally observe a novel diffusive regime for sound modes for a range of wavelengths.


title: How to coadd images? I. Optimal source detection and photometry using ensembles of images

abstract: Stacks of digital astronomical images are combined in order to increase image depth. The variable seeing conditions, sky background and transparency of ground-based observations make the coaddition process non-trivial. We present image coaddition methods optimized for source detection and flux measurement, that maximize the signal-to-noise ratio (S/N). We show that for these purposes the best way to combine images is to apply a matched filter to each image using its own point spread function (PSF) and only then to sum the images with the appropriate weights. Methods that either match filter after coaddition, or perform PSF homogenization prior to coaddition will result in loss of sensitivity. We argue that our method provides an increase of between a few and 25 percent in the survey speed of deep ground-based imaging surveys compared with weighted coaddition techniques. We demonstrate this claim using simulated data as well as data from the Palomar Transient Factory data release 2. We present a variant of this coaddition method which is optimal for PSF or aperture photometry. We also provide an analytic formula for calculating the S/N for PSF photometry on single or multiple observations. In the next paper in this series we present a method for image coaddition in the limit of background-dominated noise which is optimal for any statistical test or measurement on the constant-in-time image (e.g., source detection, shape or flux measurement or star-galaxy separation), making the original data redundant. We provide an implementation of this algorithm in MATLAB.


title: The origin and evolution of transition discs: successes, problems and open questions

abstract: Transition discs are protoplanetary discs that show evidence for large holes or wide gaps (with widths comparable to their radii) in their dust component. These discs could be giving us clues about the disc destruction mechanism or hints about the location and time-scales for the formation of planets. However, at the moment there remain key gaps in our theoretical understanding. The vast majority of transition discs are accreting onto their central stars, indicating that - at least close to the star - dust has been depleted from the gas by a very large amount. In this review, we discuss evidence for two distinct populations of transition discs: mm-faint - those with low mm-fluxes, small holes ($\lesssim$10AU) and low accretion rates (~1e-10-1e-9 Msun/yr) and mm-bright - discs with large mm-fluxes, large holes ($\gtrsim$20 AU) and high accretion rates ~1e-8 Msun/yr. MM-faint transition discs are consistent with what would naively be expected from a disc undergoing dispersal; however, mm-bright discs are not, and are likely to be rare and long-lived objects. We discuss the two commonly proposed mechanisms for creating transition discs: photoevaporation and planet-disc interactions, with a particular emphasis on how they would evolve in these models, comparing these predictions to the observed population. More theoretical work on explaining the lack of optically thick, non-accreting transition discs is required in both the photoevaporation and planetary hypothesis, before we can start to use transition discs to constrain models of planet formation. Finally, we suggest that the few discs with primordial looking SEDs, but serendipitously imaged, showing large cavities in the mm (e.g. MWC758 & WSB 60) may represent a hidden population of associated objects. Characterising and understanding how these objects fit into the overall paradigm may allow us to unravel the mystery of transition discs.


title: Localized-Interaction-Induced Quantum Reflection and Filtering of Bosonic Matter in a One-Dimensional Lattice Guide

abstract: We study the dynamics of quantum bosonic waves confined in a one-dimensional tilted optical lattice. The bosons are under the action of an effective spatially localized nonlinear two-body potential barrier set in the central part of the lattice. This version of the Bose-Hubbard model can be realized in atomic Bose-Einstein condensates, by means of localized Feshbach resonance, and in quantum optics, using an arrayed waveguide with selectively doped guiding cores. Our numerical analysis demonstrates that the central barrier induces anomalous quantum reflection of incident wave packets acting solely on bosonic components with multiple onsite occupancies. From the other side single-occupancy components can pass the barrier thus allowing one to distill them in the central interacting zone. As a consequence, in this region one finds a state in which the multiple occupancy is forbidden, i.e., a Tonks-Girardeau gas. Our results demonstrate that this regime can be obtained dynamically, using relatively weak interactions, irrespective of their sign.


title: Meta-$\mathcal{PT}$ Symmetry in Asymmetric Directional Couplers

abstract: Despite the benefits that directional coupler based parity-time symmetric systems may offer to the field of integrated optics, the realization of such couplers relies on rather strict design constraints on the waveguide parameters. Here, we investigate directional couplers built of asymmetric waveguides that do not fulfill parity-time symmetry. Nevertheless, we demonstrate that for properly designed parameters, at least one mode of such couplers shows a behavior similar to the one observed in parity-symmetric systems. We find an analytical condition relating gain and loss that enables such a behavior. Moreover, if the individual waveguides composing the asymmetric coupler are designed such that the propagation constants of their modes are identical, the behavior of both super-modes supported by the coupler resembles that of the parity-time symmetric systems.


title: Towards practical device-independent quantum key distribution with spontaneous parametric downconversion sources, on-off photodetectors and entanglement swapping

abstract: Device-independent quantum key distribution (DIQKD) guarantees unconditional security of secret key without making assumptions about the internal workings of the devices used. It does so using the loophole-free violation of a Bell's inequality. The primary challenge in realizing DIQKD in practice is the detection loophole problem that is inherent to photonic tests of Bell's inequalities over lossy channels. We revisit the proposal of Curty and Moroder [Phys. Rev. A 84, 010304(R) (2011)] to use a linear optics-based entanglement-swapping relay (ESR) to counter this problem. We consider realistic models for the entanglement sources and photodetectors; more precisely, (a) polarization-entangled states based on pulsed spontaneous parametric downconversion (SPDC) sources with infinitely higher order multi-photon components and multimode spectral structure, and (b) on-off photodetectors with non-unit efficiencies and non-zero dark count probabilities. We show that the ESR-based scheme is robust against the above imperfections and enables positive key rates at distances much larger than what is possible otherwise.


title: Beyond Higgs Couplings: Probing the Higgs with Angular Observables at Future $e^+ e^-$ Colliders

abstract: We study angular observables in the $e^+e^-\to Z H\to \ell^+ \ell^-\,b\bar{b}$ channel at future circular $e^+ e^-$ colliders such as CEPC and FCC-ee. Taking into account the impact of realistic cut acceptance and detector effects, we forecast the precision of six angular asymmetries at CEPC (FCC-ee) with center-of-mass energy $\sqrt{s} =$ 240 GeV and 5 (30) ${\rm ab}^{-1}$ integrated luminosity. We then determine the projected sensitivity to a range of operators relevant for the Higgs-strahlung process in the dimension-6 Higgs EFT. Our results show that angular observables provide complementary sensitivity to rate measurements when constraining various tensor structures arising from new physics. We further find that angular asymmetries provide a novel means of both probing BSM corrections to the $H Z \gamma$ coupling and constraining the "blind spot" in indirect limits on supersymmetric scalar top partners.


title: The LHC diphoton resonance from gauge symmetry

abstract: Motivated by what is possibly the first sign of new physics seen at the LHC, the diphoton excess at $750$ GeV in ATLAS and CMS, we present a model that provides naturally the necessary ingredients to explain the resonance. The simplest phenomenological explanation for the diphoton excess requires a new scalar state, $X(750)$, as well as additional vector-like (VL) fermions introduced in an ad-hoc way in order to enhance its decays into a pair of photons and/or increase its production cross-section. We show that the requiered VL quarks and their couplings can emerge naturally from a complete framework based on the $SU(3)_L \otimes U(1)_\mathcal{X}$ gauge symmetry.


title: How to coadd images? II. A coaddition image that is optimal for any purpose in the background dominated noise limit

abstract: Image coaddition is one of the most basic operations that astronomers perform. In Paper~I, we presented the optimal ways to coadd images in order to detect faint sources and to perfrom flux measurements under the assumption that the noise is approximately Gaussian. Here, we build on these results and derive from first principles a coaddition technique which is optimal for any hypothesis testing and measurement (e.g., source detection, flux or shape measurements and star/galaxy separation), in the background-noise-dominated case. This method has several important properties. The pixels of the resulting coadd image are uncorrelated. This image preserves all the information (from the original individual images) on all spatial frequencies. Any hypothesis testing or measurement that can be done on all the individual images simultaneously, can be done on the coadded image without any loss of information. The PSF of this image is typically as narrow, or narrower than the PSF of the best image in the ensemble. Moreover, this image is practically indistinguishable from a regular single image, meaning that any code that measures any property on a regular astronomical image can be applied to it unchanged. In particular, the optimal source detection statistic derived in paper~I is reproduced by matched filtering this image with its own PSF. This coaddition process, which we call proper coaddition, can be understood as a the maximum signal-to-noise ratio measurement of the Fourier transform of the image, weighted in such a way that the noise in the entire Fourier domain is of equal variance. This method has important implications for multi-epoch seeing-limited deep surveys, weak lensing galaxy shape measurements, and diffraction-limited imaging via speckle observations. The last topic will be covered in depth in future papers. We provide an implementation of this algorithm in MATLAB.


title: Where Chicagoans tweet the most: Semantic analysis of preferential return locations of Twitter users

abstract: Recent studies on human mobility show that human movements are not random and tend to be clustered. In this connection, the movements of Twitter users captured by geo-located tweets were found to follow similar patterns, where a few geographic locations dominate the tweeting activity of individual users. However, little is known about the semantics (landuse types) and temporal tweeting behavior at those frequently-visited locations. Furthermore, it is generally assumed that the top two visited locations for most of the users are home and work locales (Hypothesis A) and people tend to tweet at their top locations during a particular time of the day (Hypothesis B). In this paper, we tested these two frequently cited hypotheses by examining the tweeting patterns of more than 164,000 unique Twitter users whom were residents of the city of Chicago during 2014. We extracted landuse attributes for each geo-located tweet from the detailed inventory of the Chicago Metropolitan Agency for Planning. Top-visited locations were identified by clustering semantic enriched tweets using a DBSCAN algorithm. Our results showed that although the top two locations are likely to be residential and occupational/educational, a portion of the users deviated from this case, suggesting that the first hypothesis oversimplify real-world situations. However, our observations indicated that people tweet at specific times and these temporal signatures are dependent on landuse types. We further discuss the implication of confounding variables, such as clustering algorithm parameters and relative accuracy of tweet coordinates, which are critical factors in any experimental design involving Twitter data.


title: A dynamic Bayesian Markov model for health economic evaluations of interventions in infectious disease

abstract: Background. Health economic evaluations of interventions against infectious diseases are commonly based on the predictions of ordinary differential equation (ODE) systems or Markov models (MMs). Standard MMs are static, whereas ODE systems are usually dynamic and account for herd immunity which is crucial to prevent overestimation of infection prevalence. Complex ODE systems including probabilistic model parameters are computationally intensive. Thus, mainly ODE-based models including deterministic parameters are presented in the literature. These do not account for parameter uncertainty. As a consequence, probabilistic sensitivity analysis (PSA), a crucial component of health economic evaluations, cannot be conducted straightforwardly. Methods. We present a dynamic MM under a Bayesian framework. We extend a static MM by incorporating the force of infection into the state allocation algorithm. The corresponding output is based on dynamic changes in prevalence and thus accounts for herd immunity. In contrast to deterministic ODE-based models, PSA can be conducted straightforwardly. We introduce a case study of a fictional sexually transmitted infection and compare our dynamic Bayesian MM to a deterministic and a Bayesian ODE system. The models are calibrated to time series data. Results. By means of the case study, we show that our methodology produces outcome which is comparable to the "gold standard" of the Bayesian ODE system. Conclusions. In contrast to ODE systems in the literature, the setting of the dynamic MM is probabilistic at manageable computational effort (including calibration). The run time of the Bayesian ODE system is 44 times longer.


title: GENIE Production Release 2.10.0

abstract: GENIE is a neutrino Monte Carlo event generator that simulates the primary interaction of a neutrino with a nuclear target, along with the subsequent propagation of the reaction products through the nuclear medium. It additionally contains libraries for fully-featured detector geometries and for managing various types of neutrino flux. This note details recent updates to GENIE, in particular changes introduced into the newest production release, version 2.10.0.


title: On Convolution Dominated Operators

abstract: For a locally compact group $G$ we consider the algebra $CD(G)$ of convolution dominated operators on $L^{2}(G)$: An operator $A:L^2(G)\to L^2(G)$ is called convolution dominated if there exists $a\in L^1(G)$ such that for all $f \in L^2(G)$ $ |Af(x)| \leq a * |f| (x)$, for almost all $x \in G$. In the case of discrete groups those operators can be dealt with quite sufficiently if the group in question is rigidly symmetric. For non-discrete groups we investigate the subalgebra of regular convolution dominated operators $CD_{reg}(G)$. For amenable $G$ which is rigidly symmetric as a discrete group, we show that any element of $CD_{reg}(G)$ is invertible in $CD_{reg}(G)$ if it is invertible as a bounded operator on $L^2(G)$. We give an example of a symmetric group $E$ for which the convolution dominated operators are not inverse-closed in the bounded operators on $L^2(E)$.


title: The blow-up rate for strongly perturbed semilinear wave equations in the conformal regime without a radial assumption

abstract: We consider in this paper a large class of perturbed semilinear wave equations with critical (in the conformal transform sense) power nonlinearity. We will show that the blow-up rate of any singular solution is given by the solution of the non-perturbed associated ODE. The result in the radial case has been proved in [13]. The same approach will be followed here, but the main difference is to construct a Lyapunov functional in similarity variables valid in the non-radial case, which is far from being trivial. That functional is obtained by combining some classical estimates and a new identity of the Pohozaev type.


title: SS 433: O I lines and the circumbinary disk

abstract: Atomic oxygen emission at 8446 Angstroms traces the stable circumbinary disk undisturbed through an optical outburst and accompanying radio flare


title: Finite-size effects and switching times for Moran dynamics with mutation

abstract: We consider the Moran process with two populations competing under an iterated Prisoners' Dilemma in the presence of mutation, and concentrate on the case where there are multiple Evolutionarily Stable Strategies. We perform a complete bifurcation analysis of the deterministic system which arises in the infinite population size. We also study the Master equation and obtain asymptotics for the invariant distribution and metastable switching times for the stochastic process in the case of large but finite population. We also show that the stochastic system has asymmetries in the form of a skew for parameter values where the deterministic limit is symmetric.


title: Single-electron transport in InAs nanowire quantum dots formed by crystal phase engineering

abstract: We report electrical characterization of quantum dots formed by introducing pairs of thin wurtzite (WZ) segments in zinc blende (ZB) InAs nanowires. Regular Coulomb oscillations are observed over a wide gate voltage span, indicating that WZ segments create significant barriers for electron transport. We find a direct correlation of transport properties with quantum dot length and corresponding growth time of the enclosed ZB segment. The correlation is made possible by using a method to extract lengths of nanowire crystal phase segments directly from scanning electron microscopy images, and with support from transmission electron microscope images of typical nanowires. From experiments on controlled filling of nearly empty dots with electrons, up to the point where Coulomb oscillations can no longer be resolved, we estimate a lower bound for the ZB-WZ conduction-band offset of 95 meV.


title: On Distributed Cooperative Decision-Making in Multiarmed Bandits

abstract: We study the explore-exploit tradeoff in distributed cooperative decision-making using the context of the multiarmed bandit (MAB) problem. For the distributed cooperative MAB problem, we design the cooperative UCB algorithm that comprises two interleaved distributed processes: (i) running consensus algorithms for estimation of rewards, and (ii) upper-confidence-bound-based heuristics for selection of arms. We rigorously analyze the performance of the cooperative UCB algorithm and characterize the influence of communication graph structure on the decision-making performance of the group.


title: From thermal rectifiers to thermoelectric devices

abstract: We discuss thermal rectification and thermoelectric energy conversion from the perspective of nonequilibrium statistical mechanics and dynamical systems theory. After preliminary considerations on the dynamical foundations of the phenomenological Fourier law in classical and quantum mechanics, we illustrate ways to control the phononic heat flow and design thermal diodes. Finally, we consider the coupled transport of heat and charge and discuss several general mechanisms for optimizing the figure of merit of thermoelectric efficiency.


title: Stochastic Dual Ascent for Solving Linear Systems

abstract: We develop a new randomized iterative algorithm---stochastic dual ascent (SDA)---for finding the projection of a given vector onto the solution space of a linear system. The method is dual in nature: with the dual being a non-strongly concave quadratic maximization problem without constraints. In each iteration of SDA, a dual variable is updated by a carefully chosen point in a subspace spanned by the columns of a random matrix drawn independently from a fixed distribution. The distribution plays the role of a parameter of the method. Our complexity results hold for a wide family of distributions of random matrices, which opens the possibility to fine-tune the stochasticity of the method to particular applications. We prove that primal iterates associated with the dual process converge to the projection exponentially fast in expectation, and give a formula and an insightful lower bound for the convergence rate. We also prove that the same rate applies to dual function values, primal function values and the duality gap. Unlike traditional iterative methods, SDA converges under no additional assumptions on the system (e.g., rank, diagonal dominance) beyond consistency. In fact, our lower bound improves as the rank of the system matrix drops. Many existing randomized methods for linear systems arise as special cases of SDA, including randomized Kaczmarz, randomized Newton, randomized coordinate descent, Gaussian descent, and their variants. In special cases where our method specializes to a known algorithm, we either recover the best known rates, or improve upon them. Finally, we show that the framework can be applied to the distributed average consensus problem to obtain an array of new algorithms. The randomized gossip algorithm arises as a special case.


title: Embedded eigenvalues of the Neumann problem in a strip with a box-shaped perturbation

abstract: We consider the spectral Neumann problem for the Laplace operator in an acoustic waveguide $\Pi_{l}^{\varepsilon}$ obtained from a straight unit strip by a low box-shaped perturbation of size $2l\times\varepsilon,$ where $\varepsilon>0$ is a small parameter. We prove the existence of the length parameter $l_{k}^{\varepsilon}=\pi k+O\left( \varepsilon\right) $ with any $k=1,2,3,...$ such that the waveguide $\Pi_{l_{k}^{\varepsilon}}^{\varepsilon }$ supports a trapped mode with an eigenvalue $\lambda_{k}^{\varepsilon}% =\pi^{2}-4\pi^{4}l^{2}\varepsilon^{2}+O\left( \varepsilon^{3}\right) $ embedded into the continuous spectrum. This eigenvalue is unique in the segment $\left[ 0,\pi^{2}\right] $ and is absent in the case $l\neq l_{k}^{\varepsilon}.$ The detection of this embedded eigenvalue is based on a criterion for trapped modes involving an artificial object, the augmented scattering matrix. The main technical difficulty is caused by corner points of the perturbed wall $\partial\Pi_{l}^{\varepsilon}$ and we discuss available generalizations for other piecewise smooth boundaries.


title: Non-Perturbative Localization with Quasiperiodic Potential in Continuous Time

abstract: We consider continuous one-dimensional multifrequency Schr\"odinger operators, with analytic potential, and prove Anderson localization in the regime of positive Lyapunov exponent for almost all phases and almost all Diophantine frequencies.


title: The Maximum Cardinality Cut Problem is Polynomial in Proper Interval Graphs

abstract: It is known that the maximum cardinality cut problem is NP-hard even in chordal graphs. In this paper, we consider the time complexity of the problem in proper interval graphs, a subclass of chordal graphs, and propose a dynamic programming algorithm which runs in polynomial-time.


title: The Birch and Swinnerton-Dyer Formula for Elliptic Curves of Analytic Rank One

abstract: Let $E/\mathbb{Q}$ be a semistable elliptic curve such that $\mathrm{ord}_{s=1}L(E,s) = 1$. We prove the $p$-part of the Birch and Swinnerton-Dyer formula for $E/\mathbb{Q}$ for each prime $p \geq 5$ of good reduction such that $E[p]$ is irreducible: $$ \mathrm{ord}_p \left (\frac{L'(E,1)}{\Omega_E\cdot\mathrm{Reg}(E/\mathbb{Q})} \right ) = \mathrm{ord}_p \left (\#\mathrm{Sha}(E/\mathbb{Q})\prod_{\ell\leq \infty} c_\ell(E/\mathbb{Q}) \right ). $$ This formula also holds for $p=3$ provided $a_p(E)=0$ if $E$ has supersingular reduction at $p$.


title: First Observation of the Decay B0->psi(2S)pi0

abstract: We report a measurement of the $B^0\rightarrow\psi(2S)\pi^0$ branching fraction based on the full $\Upsilon(4S)$ data set of $772\times10^{6}$ $B\bar{B}$ pairs collected by the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider. We obtain $B(B^0\rightarrow\psi(2S)\pi^0) = (1.17\pm0.17\text{(stat)}\pm0.08\text{(syst)})\times10^{-5}$. The result has a significance of 7.2 standard deviations and is the first observation of the decay $B^0\rightarrow\psi(2S)\pi^0$.


title: A mathematical model of granulopoiesis incorporating the negative feedback dynamics and kinetics of G-CSF/neutrophil binding and internalisation

abstract: We develop a physiological model of granulopoiesis which includes explicit modelling of the kinetics of the cytokine granulocyte colony-stimulating factor (G-CSF) incorporating both the freely circulating concentration and the concentration of the cytokine bound to mature neutrophils. G-CSF concentrations are used to directly regulate neutrophil production, with the rate of differentiation of stem cells to neutrophil precursors, the effective proliferation rate in mitosis, the maturation time, and the release rate from the mature marrow reservoir into circulation all dependent on the level of G-CSF in the system. The dependence of the maturation time on the cytokine concentration introduces a state-dependent delay into our differential equation model, and we show how this is derived from an age-structured partial differential equation model of the mitosis and maturation, and also detail the derivation of the rest of our model. The model and its estimated parameters are shown to successfully predict the neutrophil and G-CSF responses to a variety of treatment scenarios, including the combined administration of chemotherapy and exogenous G-CSF. This concomitant treatment was reproduced without any additional fitting to characterise drug-drug interactions.


title: Grope metrics on the knot concordance set

abstract: To a special type of grope embedded in 4-space, that we call an admissible grope, we associate a length function for each real number q at least 1. This gives rise to a family of pseudo-metrics d^q, refining the slice genus metric, on the set of concordance classes of knots, as the infimum of the length function taken over all possible grope concordances between two knots. We investigate the properties of these metrics. The main theorem is that the topology induced by this metric on the knot concordance set is not discrete for all q>1. The analogous statement for links also holds for q=1. In addition we translate much previous work on knot concordance into distance statements. In particular, we show that winding number zero satellite operators are contractions in many cases, and we give lower bounds on our metrics arising from knot signatures and higher order order signatures. This gives further evidence in favor of the conjecture that the knot concordance group has a fractal structure.


title: Precise measurement of alpha_K and alpha_T for the 150.8-keV E3 transition in 111Cd: Test of internal-conversion theory

abstract: We have measured the K-shell and total internal conversion coefficients, alpha_K and alpha_T, for the 150.8-keV E3 transition in 111Cd to be 1.449(18) and 2.217(26) respectively. The alpha_K result agrees well with Dirac-Fock calculations in which the effect of the K-shell atomic vacancy is accounted for; it extends our precision tests of alpha_K calculations to Z = 48, the lowest Z yet measured. However, the result for alpha_T disagrees by about two standard deviations from the calculated alpha_T value, whether or not the atomic vacancy is included.


title: Existence, uniqueness, and regularity for stochastic evolution equations with irregular initial values

abstract: In this article we develop a framework for studying parabolic semilinear stochastic evolution equations (SEEs) with singularities in the initial condition and singularities at the initial time of the time-dependent coefficients of the considered SEE. We use this framework to establish existence, uniqueness, and regularity results for mild solutions of parabolic semilinear SEEs with singularities at the initial time. We also provide several counterexample SEEs that illustrate the optimality of our results.


title: Predicting the Co-Evolution of Event and Knowledge Graphs

abstract: Embedding learning, a.k.a. representation learning, has been shown to be able to model large-scale semantic knowledge graphs. A key concept is a mapping of the knowledge graph to a tensor representation whose entries are predicted by models using latent representations of generalized entities. Knowledge graphs are typically treated as static: A knowledge graph grows more links when more facts become available but the ground truth values associated with links is considered time invariant. In this paper we address the issue of knowledge graphs where triple states depend on time. We assume that changes in the knowledge graph always arrive in form of events, in the sense that the events are the gateway to the knowledge graph. We train an event prediction model which uses both knowledge graph background information and information on recent events. By predicting future events, we also predict likely changes in the knowledge graph and thus obtain a model for the evolution of the knowledge graph as well. Our experiments demonstrate that our approach performs well in a clinical application, a recommendation engine and a sensor network application.


title: Truncated Hilbert space approach to the 2d $\phi^{4}$ theory

abstract: We apply the massive analogue of the truncated conformal space approach to study the two dimensional $\phi^{4}$ theory in finite volume. We focus on the broken phase and determine the finite size spectrum of the model numerically. We interpret the results in terms of the Bethe-Yang spectrum, from which we extract the infinite volume masses and scattering matrices for various couplings. We compare these results against semiclassical analysis and perturbation theory. We also analyze the critical point of the model and confirm that it is in the Ising universality class.


title: The C-finite Ansatz Meets the Holonomic Ansatz

abstract: We show how the continuous Almkvist-Zeilberger algorithm can be used to efficiently discover and prove differential equations satisfied by generating functions of sequences defined as integrals of powers of C-finite polynomial sequences (like the Chebyshev polynomials) from which one can automatically derive linear recurrences with polynomial coefficients for the sequences themselves. We fully implement this with a Maple package, CfiniteIntergal.txt .


title: Linear Approximations to AC Power Flow in Rectangular Coordinates

abstract: This paper explores solutions to linearized powerflow equations with bus-voltage phasors represented in rectangular coordinates. The key idea is to solve for complex-valued perturbations around a nominal voltage profile from a set of linear equations that are obtained by neglecting quadratic terms in the original nonlinear power-flow equations. We prove that for lossless networks, the voltage profile where the real part of the perturbation is suppressed satisfies active-power balance in the original nonlinear system of equations. This result motivates the development of approximate solutions that improve over conventional DC power-flow approximations, since the model includes ZIP loads. For distribution networks that only contain ZIP loads in addition to a slack bus, we recover a linear relationship between the approximate voltage profile and the constant-current component of the loads and the nodal active and reactive-power injections.


title: TBA-like integral equations from quantized mirror curves

abstract: Quantizing the mirror curve of certain toric Calabi-Yau (CY) three-folds leads to a family of trace class operators. The resolvent function of these operators is known to encode topological data of the CY. In this paper, we show that in certain cases, this resolvent function satisfies a system of non-linear integral equations whose structure is very similar to the Thermodynamic Bethe Ansatz (TBA) systems. This can be used to compute spectral traces, both exactly and as a semiclassical expansion. As a main example, we consider the system related to the quantized mirror curve of local $\mathbb P^2$. According to a recent proposal, the traces of this operator are determined by the refined BPS indices of the underlying CY. We use our non-linear integral equations to test that proposal.


title: Stochastic C-stability and B-consistency of explicit and implicit Milstein-type schemes

abstract: This paper focuses on two variants of the Milstein scheme, namely the split-step backward Milstein method and a newly proposed projected Milstein scheme, applied to stochastic differential equations which satisfy a global monotonicity condition. In particular, our assumptions include equations with super-linearly growing drift and diffusion coefficient functions and we show that both schemes are mean-square convergent of order 1. Our analysis of the error of convergence with respect to the mean-square norm relies on the notion of stochastic C-stability and B-consistency, which was set up and applied to Euler-type schemes in [Beyn, Isaak, Kruse, J. Sci. Comp., 2015]. As a direct consequence we also obtain strong order 1 convergence results for the split-step backward Euler method and the projected Euler-Maruyama scheme in the case of stochastic differential equations with additive noise. Our theoretical results are illustrated in a series of numerical experiments.


title: What Happens to a Manifold Under a Bi-Lipschitz Map?

abstract: We study geometric and topological properties of the image of a smooth submanifold of $\mathbb{R}^{n}$ under a bi-Lipschitz map to $\mathbb{R}^{m}$. In particular, we characterize how the dimension, diameter, volume, and reach of the embedded manifold relate to the original. Our main result establishes a lower bound on the reach of the embedded manifold in the case where $m \le n$ and the bi-Lipschitz map is linear. We discuss implications of this work in signal processing and machine learning, where bi-Lipschitz maps on low-dimensional manifolds have been constructed using randomized linear operators.


title: Weyl gravity and Cartan geometry

abstract: We point out that the Cartan geometry known as the second-order conformal structure provides a natural differential geometric framework underlying gauge theories of conformal gravity. We are concerned by two theories: the first one will be the associated Yang-Mills-like Lagrangian, while the second, inspired by~\cite{Wheeler2014}, will be a slightly more general one which will relax the conformal Cartan geometry. The corresponding gauge symmetry is treated within the BRST language. We show that the Weyl gauge potential is a spurious degree of freedom, analogous to a Stueckelberg field, that can be eliminated through the dressing field method. We derive sets of field equations for both the studied Lagrangians. For the second one, they constrain the gauge field to be the `normal conformal Cartan connection'. Finally, we provide in a Lagrangian framework a justification of the identification, in dimension $4$, of the Bach tensor with the Yang-Mills current of the normal conformal Cartan connection, as proved in \cite{Korz-Lewand-2003}.


title: Research on Scalability of Operating Systems on Multicore Processors

abstract: Large number of cores and hardware resource sharing are two characteristics on multicore processors, which bring new challenges for the design of operating systems. How to locate and analyze the speedup restrictive factors in operating systems, how to simulate and avoid the phenomenon that speedup decreases with the number of cores because of lock contention (i.e., lock thrashing) and how to avoid the contention of shared resources such as the last level cache are key challenges for the operating system scalability research on multicore systems.


title: The quark susceptibility in a generalized dynamical quasiparticle model

abstract: The quark susceptibility $\chi_q$ at zero and finite quark chemical potential provides a critical benchmark to determine the quark-gluon-plasma (QGP) degrees of freedom in relation to the results from lattice QCD (lQCD) in addition to the equation of state and transport coefficients. Here we extend the familiar dynamical-quasiparticle model (DQPM) to partonic propagators that explicitly depend on the three-momentum with respect to the partonic medium at rest in order to match perturbative QCD (pQCD) at high momenta. Within the extended dynamical-quasi-particle model (DQPM$^*$) we reproduce simultaneously the lQCD results for the quark number density and susceptibility and the QGP pressure at zero and finite (but small) chemical potential $\mu_q$. The shear viscosity $\eta$ and the electric conductivity $\sigma_e$ from the extended quasiparticle model (DQPM$^*$) also turn out in close agreement with lattice results for $\mu_q$ =0. The DQPM$^*$, furthermore, allows to evaluate the momentum $p$, temperature $T$ and chemical potential $\mu_q$ dependencies of the partonic degrees of freedom also for larger $\mu_q$ which are mandatory for transport studies of heavy-ion collisions in the regime 5 GeV $< \sqrt{s_{NN}} <$ 10 GeV.


title: Edge and surface plasmons in graphene nanoribbons

abstract: We report on nano-infrared (IR) imaging studies of confined plasmon modes inside patterned graphene nanoribbons (GNRs) fabricated with high-quality chemical-vapor-deposited (CVD) graphene on Al2O3 substrates. The confined geometry of these ribbons leads to distinct mode patterns and strong field enhancement, both of which evolve systematically with the ribbon width. In addition, spectroscopic nano-imaging in mid-infrared 850-1450 cm-1 allowed us to evaluate the effect of the substrate phonons on the plasmon damping. Furthermore, we observed edge plasmons: peculiar one-dimensional modes propagating strictly along the edges of our patterned graphene nanostructures.


title: A note on the characterization of finite Blaschke products

abstract: We give a slight generalization of the characterization of finite Blaschke products given in a previous paper. The characterization uses the boundary behaviour of a weighted local hyperbolic distortion of an analytic self-map of the unit disk.


title: Query Stability in Monotonic Data-Aware Business Processes [Extended Version]

abstract: Organizations continuously accumulate data, often according to some business processes. If one poses a query over such data for decision support, it is important to know whether the query is stable, that is, whether the answers will stay the same or may change in the future because business processes may add further data. We investigate query stability for conjunctive queries. To this end, we define a formalism that combines an explicit representation of the control flow of a process with a specification of how data is read and inserted into the database. We consider different restrictions of the process model and the state of the system, such as negation in conditions, cyclic executions, read access to written data, presence of pending process instances, and the possibility to start fresh process instances. We identify for which facet combinations stability of conjunctive queries is decidable and provide encodings into variants of Datalog that are optimal with respect to the worst-case complexity of the problem.


title: Flavor-Universal Form of Neutrino Oscillation Probabilities in Matter

abstract: We construct a new perturbative framework to describe neutrino oscillation in matter with the unique expansion parameter \epsilon, which is defined as \Delta m^2_{21} / \Delta m^2_{ren} with the renormalized atmospheric \Delta m^2_{ren} \equiv \Delta m^2_{31} - s^2_{12} \Delta m^2_{21}. It allows us to derive the maximally compact expressions of the oscillation probabilities in matter to order \epsilon in the form akin to those in vacuum. This feature allows immediate physical interpretation of the formulas, and facilitates understanding of physics of neutrino oscillations in matter. Moreover, quite recently, we have shown that our three-flavor oscillation probabilities P(\nu_\alpha \rightarrow \nu_\beta) in all channels can be expressed in the form of universal functions of L/E. The \nu_e disappearance oscillation probability P(\nu_e \rightarrow \nu_e) has a special property that it can be written as the two-flavor form which depends on the single frequency. This talk is based on the collaborating work with Stephen Parke [1].


title: Kibble-Zurek Mechanism in a Spin-1 Bose-Einstein Condensate

abstract: We observe power-law scaling of the temporal onset of excitations with quench speed in the neighborhood of the quantum phase transition between the polar and broken-axisymmetry phases in a small spin-1 ferromagnetic Bose-Einstein condensate. As the system is driven through the quantum critical point by tuning the Hamiltonian, the vanishing energy gap between the ground state and first excited state causes the reaction time scale of the system to diverge, preventing it from adiabatically following the ground state. We measure the temporal evolution of the spin populations for different quench speeds and determine the exponents characterizing the scaling of the onset of excitations, which are in good agreement with the predictions of the Kibble-Zurek mechanism.


title: An Evaluation of Yelp Dataset

abstract: Yelp is one of the largest online searching and reviewing systems for kinds of businesses, including restaurants, shopping, home services et al. Analyzing the real world data from Yelp is valuable in acquiring the interests of users, which helps to improve the design of the next generation system. This paper targets the evaluation of Yelp dataset, which is provided in the Yelp data challenge. A bunch of interesting results are found. For instance, to reach any one in the Yelp social network, one only needs 4.5 hops on average, which verifies the classical six degree separation theory; Elite user mechanism is especially effective in maintaining the healthy of the whole network; Users who write less than 100 business reviews dominate. Those insights are expected to be considered by Yelp to make intelligent business decisions in the future.


title: Characterization of the ETEL D784UKFLB 11 inch Photomultiplier Tube

abstract: Water Cherenkov and scintillator detectors are a critical tool for neutrino physics.Their large size, low threshold, and low operational cost make them excellent detectors for long baseline neutrino oscillations, proton decay, supernova and solar neutrinos, double beta decay, and ultra-high energy astrophysical neutrinos. Proposals for a new generation of large detectors rely on the availability of large format, fast, cost-effective photomultiplier tubes. The Electron Tubes Enterprises, Ltd (ETEL) D784KFLB 11 inch Photomultiplier Tube has been developed for large neutrino detectors. We have measured the timing characteristics, relative efficiency, and magnetic field sensitivity of the first fifteen prototypes.


title: Effect of Mn doping on ultrafast carrier dynamics in thin films of the topological insulator Bi2Se3

abstract: Transient reflectivity (TR) measured at laser photon energy 1.51 eV from the indirectly intersurface coupled topological insulator Bi2-xMnxSe3 films (12 nm thick) revealed a strong dependence of the rise-time and initial decay-time constants on photoexcited carrier density and Mn content. In undoped samples (x = 0), these time constants are exclusively governed by electron-electron and electron-phonon scattering, respectively, whereas in films with x = 0.013 - 0.27 ultrafast carrier dynamics are completely controlled by photoexcited electron trapping by ionized Mn2+ acceptors and their dimers. The shortest decay-time (~0.75 ps) measured for the film with x = 0.27 suggests a great potential of Mn-doped Bi2Se3 films for applications in high-speed optoelectronic devices. Using Raman spectroscopy exploiting similar laser photon energy (1.58 eV), we demonstrate that due to indirect intersurface coupling in the films, the photoexcited electron trapping in the bulk enhances the electron-phonon interaction strength in Dirac surface states.


title: A Discrete Quadratic Carleson Theorem on $ \ell ^2 $ with a Restricted Supremum

abstract: Consider the discrete maximal function acting on $\ell^2(\mathbb Z)$ functions \[ \mathcal{C}_{\Lambda} f( n ) := \sup_{ \lambda \in \Lambda} \left| \sum_{m \neq 0} f(n-m) \frac{e^{2 \pi i\lambda m^2}} {m} \right| \] where $\Lambda \subset [0,1]$. We give sufficient conditions on $\Lambda$, met by certain kinds of Cantor sets, for this to be a bounded sublinear operator. This result is a discrete analogue of E. M. Stein's integral result, that the maximal operator below is bounded on $L^2(\mathbb R)$. \[ \mathcal{C}_2 f(x):= \sup_{\lambda \in \mathbb R} \left| \int f(x-y) \frac{e^{2\pi i \lambda y^2}}{y} \ dy \right|.\] The proof of our result relies heavily on Bourgain's work on arithmetic ergodic theorems, with novel complexity arising from the oscillatory nature of the question at hand, and difficulties arising from the the parameter $\lambda$ above.


title: Cavity-assisted Dynamical Quantum Phase Transition at Bifurcation Points

abstract: Coupling a quantum many-body system to a cavity can create bifurcation points in its phase diagram, where the ground state makes sudden switchings between different phases. Here we study the dynamical quantum phase transition of a transverse field Ising model coupled to a cavity. We show that an infinitesimal quench of the cavity driving at the bifurcation points induces gradual evolution of the Ising model to pass across the quantum critical point and excites quasiparticles. Meanwhile, when the driving is slowly ramped through the bifurcation points, the adiabaticity of the evolution and the number of quasiparticle excitations are strongly affected by cavity-induced nonlinearity. Introducing and manipulating cavity-induced nonlinearity hence provide an effective approach to control the dynamics and the adiabaticity of adiabatic quantum processes. Our model can be implemented with superconducting quantum circuits.


title: The Cost of Randomness for Converting a Tripartite Quantum State to be Approximately Recoverable

abstract: We introduce and analyze a task in which a tripartite quantum state is transformed to an approximately recoverable state by a randomizing operation on one of the three subsystems. We consider cases where the initial state is a tensor product of $n$ copies of a tripartite state $\rho^{ABC}$, and is transformed by a random unitary operation on $A^n$ to another state which is approximately recoverable from its reduced state on $A^nB^n$ (Case 1) or $B^nC^n$ (Case 2). We analyze the minimum cost of randomness per copy required for the task in an asymptotic limit of infinite copies and vanishingly small error of recovery, mainly focusing on the case of pure states. We prove that the minimum cost in Case 1 is equal to the Markovianizing cost of the state, for which a single-letter formula is known. With an additional requirement on the convergence speed of the recovery error, we prove that the minimum cost in Case 2 is also equal to the Markovianizing cost. Our results have an application for distributed quantum computation.


title: Hermitian u-invariants over function fields of p-adic curves

abstract: Let $p$ be an odd prime. Let $F$ be the function field of a $p$-adic curve. Let $A$ be a central simple algebra of period 2 over $F$ with an involution $\sigma$. There are known upper bounds for the $u$-invariant of hermitian forms over $(A, \sigma)$. In this article we compute the exact values of the $u$-invariant of hermitian forms over $(A, \sigma)$.


title: Folding Deformable Objects using Predictive Simulation and Trajectory Optimization

abstract: Robotic manipulation of deformable objects remains a challenging task. One such task is folding a garment autonomously. Given start and end folding positions, what is an optimal trajectory to move the robotic arm to fold a garment? Certain trajectories will cause the garment to move, creating wrinkles, and gaps, other trajectories will fail altogether. We present a novel solution to find an optimal trajectory that avoids such problematic scenarios. The trajectory is optimized by minimizing a quadratic objective function in an off-line simulator, which includes material properties of the garment and frictional force on the table. The function measures the dissimilarity between a user folded shape and the folded garment in simulation, which is then used as an error measurement to create an optimal trajectory. We demonstrate that our two-arm robot can follow the optimized trajectories, achieving accurate and efficient manipulations of deformable objects.


title: On Enriques surfaces in characteristic 2 with a finite group of automorphisms

abstract: Complex Enriques surfaces with a finite group of automorphisms are classified into seven types. In this paper, we determine which types of such Enriques surfaces exist in characteristic 2. In particular we give a one dimensional family of classical and supersingular Enriques surfaces with the automorphism group isomorphic to the symmetric group of degree five.


title: Localizing gauge theories on $S^d$

abstract: We conjecture the form of the one-loop determinants for localized gauge theories with eight supersymmetries on $d$-dimensional spheres. Combining this with results for the localized action, we investigate the strong coupling behavior in the large $N$ limit for a continuous range of $d$. In particular, we find the $N$ dependence of the free energy for supersymmetric Yang-Mills with only a vector multiplet in $3<d<4$ and for maximally supersymmetric Yang-Mills in $3< d<6$. We also argue that this gives an effective way to regularize divergences after localization in $d=4$ for ${\mathcal N}=2$ gauge theories and $d=6$ for the maximally supersymmetric case.


title: Transformed Residual Quantization for Approximate Nearest Neighbor Search

abstract: The success of product quantization (PQ) for fast nearest neighbor search depends on the exponentially reduced complexities of both storage and computation with respect to the codebook size. Recent efforts have been focused on employing sophisticated optimization strategies, or seeking more effective models. Residual quantization (RQ) is such an alternative that holds the same property as PQ in terms of the aforementioned complexities. In addition to being a direct replacement of PQ, hybrids of PQ and RQ can yield more gains for approximate nearest neighbor search. This motivated us to propose a novel approach to optimizing RQ and the related hybrid models. With an observation of the general randomness increase in a residual space, we propose a new strategy that jointly learns a local transformation per residual cluster with an ultimate goal to reduce overall quantization errors. We have shown that our approach can achieve significantly better accuracy on nearest neighbor search than both the original and the optimized PQ on several very large scale benchmarks.


title: Global String Embeddings for the Nilpotent Goldstino

abstract: We discuss techniques for embedding a nilpotent Goldstino sector both in weakly coupled type IIB compactifications and F-theory models at arbitrary coupling, providing examples of both scenarios in semi-realistic compactifications. We start by showing how to construct a local embedding for the nilpotent Goldstino in terms of an anti D3-brane in a local conifold throat, and then discuss how to engineer the required local structure in globally consistent compact models. We present two explicit examples, the last one supporting also chiral matter and K\"ahler moduli stabilisation.


title: A C++ library for Multimodal Deep Learning

abstract: MDL, Multimodal Deep Learning Library, is a deep learning framework that supports multiple models, and this document explains its philosophy and functionality. MDL runs on Linux, Mac, and Unix platforms. It depends on OpenCV.


title: Light flavor results in p-Pb collisions with ALICE

abstract: Particle ratios provide insight into the hadrochemistry of the event and the mechanisms for particle production. In Pb-Pb collisions the relative multi-strange baryon yields exhibit an enhancement with respect to pp collisions, whereas the short-lived K$^{*0}$ resonance is suppressed in the most central events due to re-scattering of its decay daughter particles. Measurements in p-Pb allow us to investigate the development of these effects as a function of the system size. We report comprehensive results on light-flavor hadron production measured with the ALICE detector in p-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV, covering a wide range of particle species which includes long-lived hadrons, resonances and multi-strange baryons. The measurements include the transverse momentum spectra and the ratios of spectra among different species, and extend over a very large transverse momentum region, from $\approx$100 MeV/$c$ to $\approx$20 GeV/$c$, depending on the particle species.


title: Facility Deployment Decisions through Warp Optimizaton of Regressed Gaussian Processes

abstract: A method for quickly determining deployment schedules that meet a given fuel cycle demand is presented here. This algorithm is fast enough to perform in situ within low-fidelity fuel cycle simulators. It uses Gaussian process regression models to predict the production curve as a function of time and the number of deployed facilities. Each of these predictions is measured against the demand curve using the dynamic time warping distance. The minimum distance deployment schedule is evaluated in a full fuel cycle simulation, whose generated production curve then informs the model on the next optimization iteration. The method converges within five to ten iterations to a distance that is less than one percent of the total deployable production. A representative once-through fuel cycle is used to demonstrate the methodology for reactor deployment.


title: Accurate energy bands calculated by the hybrid quasiparticle self-consistent GW method implemented in the ecalj package

abstract: We have recently implemented a new version of the quasiparticle self-consistent GW (QSGW) method in the ecalj package released at http://github.com/tkotani/ecalj. Since the new version of the ecalj is numerically stable and accurate compared to the previous versions, we can perform calculations easily without being bothered with setting input parameters. Here we examine its ability to describe energy band properties, e.g., band-gap energy, eigenvalues at special points and effective mass, for variety of semiconductors and insulators. We treat C, Si, Ge, Sn, SiC (in 2H, 3C, and 4H structures), (Al, Ga, N)x(N, P, As, Pb), (Zn, Cd, Mg)x(O, S, Se, Te), SiO2, HfO2, ZrO2, SrTiO3, PbS, PbTe, MnO, NiO, and HgO. We propose that a hybrid QSGW method, where we mix 80 percent of QSGW and 20 percent of LDA, gives universally good agreement with experiments for these materials.


title: Spin torque study of the spin Hall conductivity and spin diffusion length in platinum thin films with varying resistivity

abstract: We report measurements of the spin torque efficiencies in perpendicularly-magnetized Pt/Co bilayers where the Pt resistivity $\rho_{Pt}$ is strongly dependent on thickness $t_{Pt}$ . The damping-like spin Hall torque efficiency per unit current density, $\xi^j_{DL}$ , varies significantly with $t_{Pt}$, exhibiting a peak value $\xi^j_{DL}=0.12$ at $t_{Pt} = 2.8 - 3.9$ nm. In contrast, $\xi^j_{DL}/\rho_{Pt}$ increases monotonically with $t_{Pt}$ and saturates for $t_{Pt} > 5$ nm, consistent with an intrinsic spin Hall effect mechanism, in which $\xi^j_{DL}$ is enhanced by an increase in $\rho_{Pt}$ . Assuming the Elliott-Yafet spin scattering mechanism dominates we estimate that the spin diffusion length $\lambda_s = (0.77 \pm 0.08) \times 10^{-15} \Omega m^2 /\rho_{Pt}$.


title: The Duality principle for Osserman algebraic curvature tensors

abstract: We prove that for an algebraic curvature tensor on a pseudo-Euclidean space, the Jordan-Osserman condition implies the Raki\'c duality principle, and that the Osserman condition and the duality principle are equivalent in the diagonalisable case.


title: Short-time dynamics of monomers and dimers in quasi-two-dimensional colloidal mixtures

abstract: We report on the short-time dynamics in colloidal mixtures made up of monomers and dimers highly confined between two glass-plates. At low concentrations, the experimental measurements of colloidal motion agree well with the solution of the Navier-Stokes equation at low Reynolds numbers, which takes into account the increase of the drag force on each particle due to wall-particle hydrodynamic forces. We find that the ratio of the short-time diffusion coefficients of the monomer and that of the center of mass of the dimer remains independent of both the total packing fraction and the dimer molar fraction up to concentrations near to the crystallization transition. The same physical scenario is observed for the ratio between the parallel and perpendicular components of the short-time diffusion coefficients of the dimer. This dynamical behavior is corroborated by means of Molecular Dynamics computer simulations that explicitly include the particle-particle hydrodynamic forces induced by the solvent. Thus, our results point out toward that the effects of the particle-particle hydrodynamic interactions on the diffusion coefficients are identical and, thus, factorable in both species.


title: Random walks on dyadic-valued solvable matrix groups

abstract: This paper is concerned with random walks on a family of dyadic-valued solvable matrix groups. A description of the Poisson boundary of these groups for probability measures of finite first moment and non-zero displacements (or drifts) is given. When non-trivial, the boundary may be identified with a space of matrices with real and 2-adic entries, depending on the values in a displacement matrix associated with the random walk. Conditions for boundary triviality are also discussed.


title: On the expansions of real numbers in two integer bases

abstract: Let $r$ and $s$ be multiplicatively independent positive integers. We establish that the $r$-ary expansion and the $s$-ary expansion of an irrational real number, viewed as infinite words on $\{0, 1, \ldots , r-1\}$ and $\{0, 1, \ldots , s-1\}$, respectively, cannot have simultaneously a low block complexity. In particular, they cannot be both Sturmian words.


title: Regularization of a massless Dirac model to describe anomalous electromagnetic response of Weyl semimetals

abstract: An unbounded massless Dirac model with two nondegenerate Dirac cones is the simplest model for Weyl semimetals, which show the anomalous electromagnetic response of chiral magnetic effect (CME) and anomalous Hall effect (AHE). However, if this model is naively used to analyze the electromagnetic response within a linear response theory, it gives the result apparently inconsistent with the persuasive prediction based on a lattice model. We show that this serious difficulty is related to the breaking of current conservation in the Dirac model due to quantum anomaly and can be removed if current and charge operators are redefined to include the contribution from the anomaly. We demonstrate that the CME as well as the AHE can be properly described using newly defined operators, and clarify that the CME is determined by the competition between the contribution from the anomaly and that from low-energy electrons.


title: On the Bandwidth of the Kneser Graph

abstract: Let $G = (V,E)$ be a graph on $n$ vertices and $f: V\rightarrow [1,n]$ a one to one map of $V$ onto the integers $1$ through $n$. Let $dilation(f) =$ max$\{ |f(v) - f(w)|: vw\in E \}$. Define the {\it bandwidth} $B(G)$ of $G$ to be the minimum possible value of $dilation(f)$ over all such one to one maps $f$. Next define the {\it Kneser Graph} $K(n,r)$ to be the graph with vertex set $\binom{[n]}{r}$, the collection of $r$-subsets of an $n$ element set, and edge set $E = \{ vw: v,w\in \binom{[n]}{r}, v\cap w = \emptyset \}$. For fixed $r\geq 4$ and $n\rightarrow \infty$ we show that $$B(K(n,r)) = \binom{n}{r} - \frac{1}{2}\binom{n-1}{r-1} - 2\frac{n^{r-2}}{(r-2)!} + (r + 2)\frac{n^{r-3}}{(r-3)!} + O(n^{r-4}).$$


title: Content-Centric Sparse Multicast Beamforming for Cache-Enabled Cloud RAN

abstract: This paper presents a content-centric transmission design in a cloud radio access network (cloud RAN) by incorporating multicasting and caching. Users requesting a same content form a multicast group and are served by a same cluster of base stations (BSs) cooperatively. Each BS has a local cache and it acquires the requested contents either from its local cache or from the central processor (CP) via backhaul links. We investigate the dynamic content-centric BS clustering and multicast beamforming with respect to both channel condition and caching status. We first formulate a mixed-integer nonlinear programming problem of minimizing the weighted sum of backhaul cost and transmit power under the quality-of-service constraint for each multicast group. Theoretical analysis reveals that all the BSs caching a requested content can be included in the BS cluster of this content, regardless of the channel conditions. Then we reformulate an equivalent sparse multicast beamforming (SBF) problem. By adopting smoothed $\ell_0$-norm approximation and other techniques, the SBF problem is transformed into the difference of convex (DC) programs and effectively solved using the convex-concave procedure algorithms. Simulation results demonstrate significant advantage of the proposed content-centric transmission. The effects of three heuristic caching strategies are also evaluated.


title: Quantum efficiency of a microwave photon detector based on a double quantum dot

abstract: Motivated by recent interest in implementing circuit quantum electrodynamics with semiconducting quantum dots, we consider a double quantum dot (DQD) capacitively coupled to a superconducting resonator that is driven by the microwave field of a superconducting transmission line. We analyze the DQD current response using input-output theory and show that the resonator-coupled DQD is a sensitive microwave single photon detector. Using currently available experimental parameters of DQD-resonator coupling and dissipation, including the effects of $1/f$ charge noise and phonon noise, we determine the parameter regime for which incident photons are completely absorbed and near unit $\gtrsim$ 98\% efficiency can be achieved. We show that this regime can be reached by using very high quality resonators with quality factor $Q\simeq 10^5$.


title: Induced Dynamics on the Hyperspaces

abstract: In this paper, we study the dynamics induced by finite commutative relation. We prove that the dynamics generated by such a non-trivial collection cannot be transitive/super-transitive and hence cannot exhibit higher degrees of mixing. As a consequence we establish that the dynamics induced by such a collection on the hyperspace endowed with any admissible hit and miss topology cannot be transitive and hence cannot exhibit any form of mixing. We also prove that if the system is generated by such a commutative collection, under suitable conditions the induced system cannot have dense set of periodic points. In the end we give example to show that the induced dynamics in this case may or may not be sensitive.


title: Automatic Inference of Specifications in the K Framework

abstract: Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this paper we propose a technique for automatically discovering specifications from real code. The proposed methodology relies on the symbolic execution capabilities recently provided by the K framework that we exploit to automatically infer formal specifications from programs that are written in a non-trivial fragment of C, called KernelC. Roughly speaking, our symbolic analysis of KernelC programs explains the execution of a (modifier) function by using other (observer) routines in the program. We implemented our technique in the automated tool Kindspec 2.0, which generates axioms that describe the precise input/output behavior of C routines that handle pointer-based structures (i.e., result values and state change). We describe the implementation of our system and discuss the differences w.r.t. our previous work on inferring specifications from C code.


title: Termination of canonical context-sensitive rewriting and productivity of rewrite systems

abstract: Termination of programs, i.e., the absence of infinite computations, ensures the existence of normal forms for all initial expressions, thus providing an essential ingredient for the definition of a normalization semantics for functional programs. In lazy functional languages, though, infinite data structures are often delivered as the outcome of computations. For instance, the list of all prime numbers can be returned as a neverending stream of numerical expressions or data structures. If such streams are allowed, requiring termination is hopeless. In this setting, the notion of productivity can be used to provide an account of computations with infinite data structures, as it "captures the idea of computability, of progress of infinite-list programs" (B.A. Sijtsma, On the Productivity of Recursive List Definitions, ACM Transactions on Programming Languages and Systems 11(4):633-649, 1989). However, in the realm of Term Rewriting Systems, which can be seen as (first-order, untyped, unconditional) functional programs, termination of Context-Sensitive Rewriting (CSR) has been showed equivalent to productivity of rewrite systems through appropriate transformations. In this way, tools for proving termination of CSR can be used to prove productivity. In term rewriting, CSR is the restriction of rewriting that arises when reductions are allowed on selected arguments of function symbols only. In this paper we show that well-known results about the computational power of CSR are useful to better understand the existing connections between productivity of rewrite systems and termination of CSR, and also to obtain more powerful techniques to prove productivity of rewrite systems.


title: Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving

abstract: Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In this setting, Order-Sorted First-Order Logic provides a powerful framework to represent declarative programs. It also provides a target logic to obtain models for other logics via transformations. We investigate the automatic generation of numerical models for order-sorted first-order logics and its use in program analysis, in particular in termination analysis of declarative programs. We use convex domains to give domains to the different sorts of an order-sorted signature; we interpret the ranked symbols of sorted signatures by means of appropriately adapted convex matrix interpretations. Such numerical interpretations permit the use of existing algorithms and tools from linear algebra and arithmetic constraint solving to synthesize the models.


title: Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story

abstract: We have developed a notion of global bisimulation distance between processes which goes somehow beyond the notions of bisimulation distance already existing in the literature, mainly based on bisimulation games. Our proposal is based on the cost of transformations: how much we need to modify one of the compared processes to obtain the other. Our original definition only covered finite processes, but a coinductive approach allows us to extend it to cover infinite but finitary trees. After having shown many interesting properties of our distance, it was our intention to prove continuity with respect to projections, but unfortunately the issue remains open. Nonetheless, we have obtained several partial results that are presented in this paper.


title: Restricted Predicates for Hypothetical Datalog

abstract: Hypothetical Datalog is based on an intuitionistic semantics rather than on a classical logic semantics, and embedded implications are allowed in rule bodies. While the usual implication (i.e., the neck of a Horn clause) stands for inferring facts, an embedded implication plays the role of assuming its premise for deriving its consequence. A former work introduced both a formal framework and a goal-oriented tabled implementation, allowing negation in rule bodies. While in that work positive assumptions for both facts and rules can occur in the premise, negative assumptions are not allowed. In this work, we cover this subject by introducing a new concept: a restricted predicate, which allows negative assumptions by pruning the usual semantics of a predicate. This new setting has been implemented in the deductive system DES.


title: Counting Extensions of $\mathfrak{p}$-Adic Fields with Given Invariants

abstract: We give two specializations of Krasner's mass formula. The first formula yields the number of extensions of a $\mathfrak{p}$-adic field with given, inertia degree, ramification index, discriminant, and ramification polygon. We then refine this formula further to the case where an additional invariant related to the residual polynomials of the segments of the ramification polygon is given.


title: Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems

abstract: This volume contains the proceedings of FOCLASA 2015, the 14th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems. FOCLASA 2015 was held in Madrid, Spain, on September 5, 2015 as a satellite event of CONCUR 2015, the 26th International Conference on Concurrency Theory. Modern software systems are distributed, concurrent, mobile, and often involve composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Coordination languages and formal approaches to modelling and reasoning about self-adaptive behaviour help to simplify the development of complex distributed service-based systems, enable functional correctness proofs, automated synthesis of correct-by-construction systems, and improve reusability and maintainability of such systems. The goal of the FOCLASA workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems.


title: Scaling theory for anomalous semiclassical quantum transport

abstract: Quantum transport through devices coupled to electron reservoirs can be described in terms of the full counting statistics (FCS) of charge transfer. Transport observables, such as conductance and shot-noise power are just cumulants of FCS and can be obtained from the sample's average density of transmission eigenvalues, which in turn can be obtained from a finite element representation of the saddle-point equation of the Keldysh (or supersymmetric) non-linear sigma-model, known as quantum circuit theory. Normal universal metallic behavior in the semiclassical regime is controlled by the presence of a Fabry-Perot singularity in the average density of transmission eigenvalues. We present general conditions for the suppression of Fabry-Perot modes in the semiclassical regime in a sample of arbitrary shape, a disordered conductor or a network of ballistic quantum dots, which leads to an anomalous metallic phase. Through a double-scaling limit, we derive a scaling equation for anomalous metallic transport, in the form of a nonlinear differential equation, which generalizes the ballistic-diffusive scaling equation of a normal metal. The two-parameter stationary solution of our scaling equation generalizes Dorokhov's universal single-parameter distribution of transmission eigenvalues. We provide a simple interpretation of the stationary solution using a thermodynamic analogy with a spin-glass system. As an application, we consider a system formed by a diffusive wire coupled via a barrier to normal-superconductor (NS) reservoirs. We observe anomalous reflectionless tunneling, when all perfectly transmitting channels are suppressed, which cannot be explained by the usual mechanism of disorder-induced opening of tunneling channels.


title: Exploring the Beam Energy Dependence of Flow-Like Signatures in Small System $d+$Au Collisions

abstract: Recent analyses of small collision systems, namely $p+p$ and $p+$Pb at the LHC and $p+$Au, $d+$Au and $^{3}$He+Au at RHIC, have revealed azimuthal momentum anisotropies commonly associated with collective flow in larger systems. Viscous hydrodynamics and parton cascade calculations have proved successful at describing some flow-like observables in these systems. These two classes of calculations also confirm these observables to be directly related to the initial geometry of the created medium. However, the question of whether equilibrium dynamics is the dominant driver of the signal remains open, given the short lifetime of small systems. In this regime, pre-equilibrium dynamics and late stage hadronic interactions are expected to play a significant role. Hence, a beam energy scan of small systems---that amounts to varying the initial temperature and the lifetime of the medium---can provide valuable information to shed light on these issues. In this paper, we present predictions from viscous hydrodynamics (SONIC), partonic (AMPT) and hadronic (UrQMD) cascade calculations for elliptic $v_2$ and triangular $v_3$ anisotropy coefficients in $d$+Au at $\sqrt{s_{NN}}$ = 7.7, 20, 39, 62.4 and 200 GeV, corresponding to the expected running at RHIC in 2016. We also present predictions for $d$+Pb at $\sqrt{s_{NN}}$ = 5.02 TeV, an interesting system to compare to existing $p+$Pb data taken at the LHC.


title: Bose-Einstein condensation in a hyperbolic model for the Kompaneets equation

abstract: In low-density or high-temperature plasmas, Compton scattering is the dominant process responsible for energy transport. Kompaneets in 1957 derived a non-linear degenerate parabolic equation for the photon energy distribution. In this paper we consider a simplified model obtained by neglecting diffusion of the photon number density in a particular way. We obtain a non-linear hyperbolic PDE with a position-dependent flux, which permits a one-parameter family of stationary entropy solutions to exist. We completely describe the long-time dynamics of each non-zero solution, showing that it approaches some non-zero stationary solution. While the total number of photons is formally conserved, if initially large enough it necessarily decreases after finite time through an out-flux of photons with zero energy. This corresponds to formation of a Bose-Einstein condensate, whose mass we show can only increase with time.


title: Dome-shaped magnetic order competing with high-temperature superconductivity at high pressures in FeSe

abstract: The coexistence and competition between superconductivity and electronic orders, such as spin or charge density waves, have been a central issue in high transition-temperature (${T_{\rm c}}$) superconductors. Unlike other iron-based superconductors, FeSe exhibits nematic ordering without magnetism whose relationship with its superconductivity remains unclear. More importantly, a pressure-induced fourfold increase of ${T_{\rm c}}$ has been reported, which poses a profound mystery. Here we report high-pressure magnetotransport measurements in FeSe up to $\sim9$ GPa, which uncover a hidden magnetic dome superseding the nematic order. Above ${\sim6}$ GPa the sudden enhancement of superconductivity (${T_{\rm c}\le38.3}$ K) accompanies a suppression of magnetic order, demonstrating their competing nature with very similar energy scales. Above the magnetic dome we find anomalous transport properties suggesting a possible pseudogap formation, whereas linear-in-temperature resistivity is observed above the high-${T_{\rm c}}$ phase. The obtained phase diagram highlights unique features among iron-based superconductors, but bears some resemblance to that of high-${T_{\rm c}}$ cuprates.


title: Spherical explosion with central energy source

abstract: We present a novel semi-analytic solution describing the propagation of a spherical blast wave driven by a central energy source. The initial density profile has a power-law function of the distance from the center and the energy is injected only into the central region at a rate given by a power-law function of time. This solution is composed of three regions separated by the contact surface and the shock front. The innermost region is assumed to be uniform and the outside of the contact surface includes the shocked matter described by self-similar solutions. We analytically derive the applicable range of parameters of this solution from requirements to satisfy boundary conditions. We perform numerical simulations for flows with various values of parameters, some of which reside out of the thus derived applicable range, and compare with the semi-analytic solutions.


title: Evaluating efficiency and robustness in cilia design

abstract: Motile cilia are used by many eukaryotic cells to transport flow. Cilia-driven flows are important to many physiological functions, yet a deep understanding of the interplay between the mechanical structure of cilia and their physiological functions in healthy and diseased conditions remains elusive. For developing such understanding, one needs a quantitative framework for assessing cilia performance and robustness when subject to perturbations in the cilia apparatus. Here, we link cilia design (beating patterns) to function (flow transport) in the context of experimentally- and theoretically-derived cilia models. We particularly examine the optimality and robustness of cilia design. Optimality refers to efficiency of flow transport, while robustness is defined as low sensitivity to variations in the design parameters. We find that suboptimal designs can be more robust than optimal ones. That is, designing for the most efficient cilium does not guarantee robustness. These findings have significant implications on the understanding of cilia design in artificial and biological systems.