title: Gas absorption and dust extinction towards the Orion Nebula Cluster

abstract: We characterise the relation between the gas and dust content of the interstellar medium towards young stellar objects in the Orion Nebula Cluster. X-ray observations provide estimates of the absorbing equivalent hydrogen column density N_H based on spectral fits. Near-infrared extinction values are calculated from intrinsic and observed colour magnitudes (J-H) and (H-K_s) as given by the VISTA Orion A survey. A linear fit of the correlation between column density and extinction values A_V yields an estimate of the N_H/A_V ratio. We investigate systematic uncertainties of the results by describing and (if possible) quantifying the influence of circumstellar material and the adopted extinction law, X-ray models, and elemental abundances on the N_H/A_V ratio. Assuming a Galactic extinction law with R_V=3.1 and solar abundances by Anders & Grevesse (1989), we deduce an N_H/A_V ratio of (1.39 +- 0.14) x 10^21 cm^-2 mag^-1 for Class III sources in the Orion Nebula Cluster where the given error does not include systematic uncertainties. This ratio is consistent with similar studies in other star-forming regions and approximately 31% lower than the Galactic value. We find no obvious trends in the spatial distribution of N_H/A_V ratios. Changes in the assumed extinction law and elemental abundances are demonstrated to have a relevant impact on deduced A_V and N_H values, respectively. Large systematic uncertainties associated with metal abundances in the Orion Nebula Cluster represent the primary limitation for the deduction of a definitive N_H/A_V ratio and the physical interpretation of these results.


title: Dark matter concentrations in galactic nuclei according to polytropic models

abstract: We calculate the radial profiles of galaxies where the nuclear region is self-gravitating, consisting of self-interacting dark matter (SIDM) with $F$ degrees of freedom. For sufficiently high density this dark matter becomes collisional, regardless of its behaviour on galaxy scales. Our calculations show a spike in the central density profile, with properties determined by the dark matter microphysics, and the densities can reach the `mean density' of a black hole (from dividing the black-hole mass by the volume enclosed by the Schwarzschild radius). For a galaxy halo of given compactness ($\chi=2GM/Rc^2$), certain values for the dark matter entropy yield a dense central object lacking an event horizon. For some soft equations of state of the SIDM (e.g. $F\ge6$), there are multiple horizonless solutions at given compactness. Although light propagates around and through a sphere composed of dark matter, it is gravitationally lensed and redshifted. While some calculations give non-singular solutions, others yield solutions with a central singularity. In all cases the density transitions smoothly from the central body to the dark-matter envelope around it, and to the galaxy's dark matter halo. We propose that pulsar timing observations will be able to distinguish between systems with a centrally dense dark matter sphere (for different equations of state) and conventional galactic nuclei that harbour a supermassive black hole.

categories: astro-ph.GA astro-ph.CO astro-ph.HE gr-qc


title: Stability of $SU(N_c)$ QCD3 from the $\epsilon$-Expansion

abstract: QCD with gauge group $SU(N_c)$ flows to an interacting conformal fixed point in three spacetime dimensions when the number of four-component Dirac fermions $N_f \gg N_c$. We study the stability of this fixed point via the $\epsilon$-expansion about four dimensions. We find that when the number of fermions is lowered to $N_f^{\rm crit} \approx {11 \over 2} N_c + (6 + {4 \over N_c}) \epsilon$, a certain four-fermion operator becomes relevant and the theory flows to a new infrared fixed point (massless or massive). F-theorem or entanglement monotonicity considerations complement our $\epsilon$-expansion calculation.


title: Debris Disks in the Scorpius-Centaurus OB Association Resolved by ALMA

abstract: We present a CO(2-1) and 1240 um continuum survey of 23 debris disks with spectral types B9-G1, observed at an angular resolution of 0.5-1 arcsec with the Atacama Large Millimeter/Submillimeter Array (ALMA). The sample was selected for large infrared excess and age ~10 Myr, to characterize the prevalence of molecular gas emission in young debris disks. We identify three CO-rich debris disks, plus two additional tentative (3-sigma) CO detections. Twenty disks were detected in the continuum at the >3-sigma level. For the 12 disks in the sample that are spatially resolved by our observations, we perform an independent analysis of the interferometric continuum visibilities to constrain the basic dust disk geometry, as well as a simultaneous analysis of the visibilities and broad-band spectral energy distribution to constrain the characteristic grain size and disk mass. The gas-rich debris disks exhibit preferentially larger outer radii in their dust disks, and a higher prevalence of characteristic grain sizes smaller than the blowout size. The gas-rich disks do not exhibit preferentially larger dust masses, contrary to expectations for a scenario in which a higher cometary destruction rate would be expected to result in a larger mass of both CO and dust. The three debris disks in our sample with strong CO detections are all around A stars: the conditions in disks around intermediate-mass stars appear to be the most conducive to the survival or formation of CO.


title: All one-loop scalar vertices in the effective potential approach

abstract: Using the one-loop Coleman-Weinberg effective potential, we derive a general analytic expression for all the derivatives of the effective potential with respect to any number of classical scalar fields. The result is valid for a renormalisable theory in four dimensions with any number of scalars, fermions or gauge bosons. This result corresponds to the zero-external momentum contribution to a general one-loop diagram with N scalar external legs. We illustrate the use of the general result in two simple scalar singlet extensions of the Standard Model, to obtain the dominant contributions to the triple couplings of light scalar particles under the zero external momentum approximation


title: Twisted sectors from plane partitions

abstract: Twisted sectors arise naturally in the bosonic higher spin CFTs at their free points, as well as in the associated symmetric orbifolds. We identify the coset representations of the twisted sector states using the description of W_\infty representations in terms of plane partitions. We confirm these proposals by a microscopic null-vector analysis, and by matching the excitation spectrum of these representations with the orbifold prediction.


title: Global Seismology of the Sun

abstract: The seismic study of the Sun and other stars offers a unique window into the interior of these stars. Thanks to helioseismology, we know the structure of the Sun to admirable precision. In fact, our knowledge is good enough to use the Sun as a laboratory. We have also been able to study the dynamics of the Sun in great detail. Helioseismic data also allow us to probe the changes that take place in the Sun as solar activity waxes and wanes. The seismic study of stars other than the Sun is a fairly new endeavour, but we are making great strides in this field. In this review I discuss some of the techniques used in helioseismic analyses and the results obtained using those techniques. In this review I focus on results obtained with global helioseismology, i.e., the study of the Sun using its normal modes of oscillation. I also briefly touch upon asteroseismology, the seismic study of stars other than the Sun, and discuss how seismic data of others stars are interpreted.


title: Edge pseudo-magnetoplasmons

abstract: We study the properties of edge plasmons in two-component electron liquids in the presence of pseudomagnetic fields, which have opposite signs for the two different electronic populations and therefore preserve the time-reversal symmetry. The physical realizations of such systems are many. We discuss the cases of strained graphene and of electrons in proximity to a Skyrmion lattice, solving the problem with the Wiener-Hopf technique. We show (i) that two charged counter-propagating acoustic edge modes exist at the boundary and (ii) that, in the limit of large pseudomagnetic fields, each of them involves oscillations of only one of the two electronic components. We suggest that the edge pseudo-magnetoplasmons of graphene can be used to selectively address the electrons of one specific valley, a feature relevant for the emerging field of valleytronics. Conversely, the spin-polarized plasmons at the boundary of Skyrmion lattices can be exploited for spintronics applications. Our solution highlights new features missing in previous (similar) results obtained with uncontrolled approximations, namely a logarithmic divergence of the plasmon velocity, and the absence of gapped edge modes inside the bulk-plasmon gap.


title: Lyman-Alpha Emitter Galaxies at z ~ 2.8 in the Extended Chandra Deep Field-South: I. Tracing the Large-Scale Structure via Lyman-Alpha Imaging

abstract: We present a narrowband survey with three adjacent filters for z=2.8--2.9 Lyman Alpha Emitter (LAE) galaxies in the Extended Chandra Deep Field South (ECDFS), along with spectroscopic followup. With a complete sample of 96 LAEs in the narrowband NB466, we confirm a large-scale structure at z~ 2.8. Compared to the blank field in NB470 and NB475, the LAE density excess in the NB466 field is ~6.0+/-0.8 times the standard deviation expected at z~2.8, assuming a linear bias of 2. The overdense large scale structure in NB466 can be decomposed into 4 protoclusters, whose overdensities are 4.6 - 6.6. These 4 protoclusters are expected to evolve into a Coma-like cluster at z~ 0. In the meanwhile, we investigate the average star-formation rates derived from Ly{\alpha}, rest-frame UV and X-ray, the Ly{\alpha} luminosity functions, the Ly{\alpha} photon densities and their dependence on the environment. We find that the Ly{\alpha} photon density in the overdense field (NB466) is ~50\% higher than that in the blank field (NB470+NB475). The 3 brightest LAEs, including a quasar at z=2.81, are all detected in X-ray and in NB466. These three LAE-AGNs contribute an extra 20--30\% Ly{\alpha} photon density. Furthermore, we find that LAEs in overdense regions are younger and less dusty. We conclude that the structure we found is a significant and rare density peak, and narrowband imaging is an efficient method to detect and study such structures in the high-z universe.


title: First-principles mode-by-mode analysis for electron-phonon scattering channels and mean free path spectra in GaAs

abstract: We present a first-principles framework to investigate the electron scattering channels and transport properties for polar material by combining the exact solution of linearized electron-phonon (e-ph) Boltzmann transport equation in its integral-differential form associated with the e-ph coupling matrices obtained from polar Wannier interpolation scheme. No ad hoc parameter is required throughout this calculation, and GaAs, a well-studied polar material, is used as an example to demonstrate this method. In this work, the long-range and short-range contributions as well as the intravalley and intervalley transitions in the e-ph interactions (EPIs) have been quantitatively addressed. Promoted by such mode-by-mode analysis, we find that in GaAs, the piezoelectric scattering is comparable to deformation-potential scattering for electron scatterings by acoustic phonons in EPI even at room temperature and makes a significant contribution to mobility. Furthermore, we achieved good agreements with experimental data for the mobility, and identified that electrons with mean free paths between 130 and 210 nm contribute dominantly to the electron transport at 300 K. Such information provides deeper understandings on the electron transport in GaAs, and the presented framework can be readily applied to other polar materials.


title: Strange Quark Magnetic Moment of the Nucleon at Physical Point

abstract: We report a lattice QCD calculation of the strange quark contribution to the nucleon's magnetic moment and charge radius. This analysis presents the first direct determination of strange electromagnetic form factors including at the physical pion mass. We perform a model-independent extraction of the strange magnetic moment and the strange charge radius from the electromagnetic form factors in the momentum transfer range of $0.051 \,\text{GeV}^2 \lesssim Q^2 \lesssim 1.31 \,\text{GeV}^2 $. The finite lattice spacing and finite volume corrections are included in a global fit with $24$ valence quark masses on four lattices with different lattice spacings, different volumes, and four sea quark masses including one at the physical pion mass. We obtain the strange magnetic moment $G^s_M(0) = - 0.064(14)(09)\, \mu_N$. The four-sigma precision in statistics is achieved partly due to low-mode averaging of the quark loop and low-mode substitution to improve the statistics of the nucleon propagator. We also obtain the strange charge radius $\langle r_s^2\rangle_E = -0.0043 (16)(14)\,$ $\text{fm}^2$.


title: Quantum Entanglement of Locally Excited States in Maxwell Theory

abstract: In 4 dimensional Maxwell gauge theory, we study the changes of (Renyi) entangle-ment entropy which are defined by subtracting the entropy for the ground state from the one for the locally excited states generated by acting with the gauge invariant local operators on the state. The changes for the operators which we consider in this paper reflect the electric-magnetic duality. The late-time value of changes can be interpreted in terms of electromagnetic quasi-particles. When the operator constructed of both electric and magnetic fields acts on the ground state, it shows that the operator acts on the late-time structure of quantum entanglement differently from free scalar fields.


title: A Portrait of Cold Gas in Galaxies at 60pc Resolution and a Simple Method to Test Hypotheses That Link Small-Scale ISM Structure to Galaxy-Scale Processes

abstract: The cloud-scale density, velocity dispersion, and gravitational boundedness of the interstellar medium (ISM) vary within and among galaxies. In turbulent models, these properties play key roles in the ability of gas to form stars. New high fidelity, high resolution surveys offer the prospect to measure these quantities across galaxies. We present a simple approach to make such measurements and to test hypotheses that link small-scale gas structure to star formation and galactic environment. Our calculations capture the key physics of the Larson scaling relations, and we show good correspondence between our approach and a traditional "cloud properties" treatment. However, we argue that our method is preferable in many cases because of its simple, reproducible characterization of all emission. Using, low-J 12CO data from recent surveys, we characterize the molecular ISM at 60pc resolution in the Antennae, the Large Magellanic Cloud, M31, M33, M51, and M74. We report the distributions of surface density, velocity dispersion, and gravitational boundedness at 60pc scales and show galaxy-to-galaxy and intra-galaxy variations in each. The distribution of flux as a function of surface density appears roughly lognormal with a 1sigma width of ~0.3 dex, though the center of this distribution varies from galaxy to galaxy. The 60pc resolution line width and molecular gas surface density correlate well, which is a fundamental behavior expected for virialized or free-falling gas. Varying the measurement scale for the LMC and M31, we show that the molecular ISM has higher surface densities, lower line widths, and more self-gravity at smaller scales.


title: Bagger-Witten line bundles on moduli spaces of elliptic curves

abstract: In this paper we discuss Bagger-Witten line bundles over moduli spaces of SCFTs. We review how in general they are `fractional' line bundles, not honest line bundles, twisted on triple overlaps. We discuss the special case of moduli spaces of elliptic curves in detail. There, the Bagger-Witten line bundle does not exist as an ordinary line bundle, but rather is necessarily fractional. As a fractional line bundle, it is nontrivial (though torsion) over the uncompactified moduli stack, and its restriction to the interior, excising corners with enhanced stabilizers, is also fractional. It becomes an honest line bundle on a moduli stack defined by a quotient of the upper half plane by a metaplectic group, rather than SL(2,Z). We review and compare to results of recent work arguing that well-definedness of the worldsheet metric implies that the Bagger-Witten line bundle admits a flat connection (which includes torsion bundles as special cases), and give general arguments on the existence of universal structures on moduli spaces of SCFTs, in which superconformal deformation parameters are promoted to nondynamical fields ranging over the SCFT moduli space.


title: SICS: Secure In-Cloud Service Function Chaining

abstract: There is an increasing trend that enterprises outsource their network functions to the cloud for lower cost and ease of management. However, network function outsourcing brings threats to the privacy of enterprises since the cloud is able to access the traffic and rules of in-cloud network functions. Current tools for secure network function outsourcing either incur large performance overhead or do not support real-time updates. In this paper, we present SICS, a secure service function chain outsourcing framework. SICS encrypts each packet header and use a label for in-cloud rule matching, which enables the cloud to perform its functionalities correctly with minimum header information leakage. Evaluation results show that SICS achieves higher throughput, faster construction and update speed, and lower resource overhead at both enterprise and cloud sides, compared to existing solutions.


title: Domain Name System Security and Privacy: Old Problems and New Challenges

abstract: The domain name system (DNS) is an important protocol in today's Internet operation, and is the standard naming convention between domain names, names that are easy to read, understand, and remember by humans, to IP address of Internet resources. The wealth of research activities on DNS in general and security and privacy in particular suggest that all problems in this domain are solved. Reality however is that despite the large body of literature on various aspects of DNS, there are still many challenges that need to be addressed. In this paper, we review the various activities in the research community on DNS operation, security, and privacy, and outline various challenges and open research directions that need to be tackled.


title: Finite Sample Prediction and Recovery Bounds for Ordinal Embedding

abstract: The goal of ordinal embedding is to represent items as points in a low-dimensional Euclidean space given a set of constraints in the form of distance comparisons like "item $i$ is closer to item $j$ than item $k$". Ordinal constraints like this often come from human judgments. To account for errors and variation in judgments, we consider the noisy situation in which the given constraints are independently corrupted by reversing the correct constraint with some probability. This paper makes several new contributions to this problem. First, we derive prediction error bounds for ordinal embedding with noise by exploiting the fact that the rank of a distance matrix of points in $\mathbb{R}^d$ is at most $d+2$. These bounds characterize how well a learned embedding predicts new comparative judgments. Second, we investigate the special case of a known noise model and study the Maximum Likelihood estimator. Third, knowledge of the noise model enables us to relate prediction errors to embedding accuracy. This relationship is highly non-trivial since we show that the linear map corresponding to distance comparisons is non-invertible, but there exists a nonlinear map that is invertible. Fourth, two new algorithms for ordinal embedding are proposed and evaluated in experiments.


title: The phenomenology of the di-photon excess and $h\to\tau\mu$ within 2HDM

abstract: The diphoton excess around $m_S=750$ GeV observed at ATLAS and CMS can be interpreted as coming from $S=H$ and $A$, the neutral components of a second Higgs doublet. If so, then the consistency of the light Higgs decays with the Standard Model predictions provides upper bounds on the rates of $S\to VV, hZ, hh$ decays. On the other hand, if $h\to\tau\mu$ decay is established, then a lower bound on the rate of $S\to\tau\mu$ decay arises. Requiring that $\Gamma_S\lesssim45$ GeV gives both an upper and a lower bound on the rotation angle from the Higgs basis $(\Phi_v,\Phi_A)$ to the mass basis $(\Phi_h,\Phi_H)$. The charged scalar, with $m_{H^\pm}\simeq750$ GeV, is produced in association with a top quark, and can decay to $\mu^\pm\nu$, $\tau^\pm\nu$, $tb$ and $W^\pm h$


title: Lovelock gravities from Born-Infeld gravity theory

abstract: We present a Born-Infeld gravity theory based on generalizations of Maxwell symmetries denoted as $\mathfrak{C}_{m}$. We analyze different configuration limits allowing to recover diverse Lovelock gravity actions in six dimensions. Further, the generalization to higher even dimensions is also considered.


title: Proving relations between modular graph functions

abstract: We consider modular graph functions that arise in the low energy expansion of the four graviton amplitude in type II string theory. The vertices of these graphs are the positions of insertions of vertex operators on the toroidal worldsheet, while the links are the scalar Green functions connecting the vertices. Graphs with four and five links satisfy several non--trivial relations, which have been proved recently. We prove these relations by using elementary properties of Green functions and the details of the graphs. We also prove a relation between modular graph functions with six links.


title: From NoSQL Accumulo to NewSQL Graphulo: Design and Utility of Graph Algorithms inside a BigTable Database

abstract: Google BigTable's scale-out design for distributed key-value storage inspired a generation of NoSQL databases. Recently the NewSQL paradigm emerged in response to analytic workloads that demand distributed computation local to data storage. Many such analytics take the form of graph algorithms, a trend that motivated the GraphBLAS initiative to standardize a set of matrix math kernels for building graph algorithms. In this article we show how it is possible to implement the GraphBLAS kernels in a BigTable database by presenting the design of Graphulo, a library for executing graph algorithms inside the Apache Accumulo database. We detail the Graphulo implementation of two graph algorithms and conduct experiments comparing their performance to two main-memory matrix math systems. Our results shed insight into the conditions that determine when executing a graph algorithm is faster inside a database versus an external system---in short, that memory requirements and relative I/O are critical factors.


title: Collider and Dark Matter Searches in the Inert Doublet Model from Peccei-Quinn Symmetry

abstract: Weakly Interacting Massive Particles (WIMPs) and axions are arguably the most compelling dark matter candidates in the literature. Could they coexist as dark matter particles? More importantly, can they be incorporated in a well motivated framework in agreement with experimental data? In this work, we show that this two component dark matter can be realized in the Inert Doublet Model in an elegant and natural manner by virtue of the spontaneous breaking of a Peccei-Quinn $U(1)_{PQ}$ symmetry into a residual $Z_2$ symmetry. The WIMP stability is guaranteed by the $Z_{2}$ symmetry and a new dark matter component, the axion, arises. There are two interesting outcomes: (i) vector-like quarks needed to implement the Peccei-Quinn symmetry in the model act as a portal between the dark sector and the SM fields with a supersymmetry-type phenomenology at colliders; (ii) two-component Inert Doublet Model re-opens the phenomenologically interesting 100-500 GeV mass region. We show that the model can plausibly have two component dark matter and at the same time avoid low and high energy physics constraints such as monojet and dijet plus missing energy, as well as indirect and direct dark matter detection bounds.


title: Constraining the mass of the planet(s) sculpting a disk cavity. The intriguing case of 2MASS J16042165-2130284

abstract: The large cavities observed in the dust and gas distributions of transition disks may be explained by planet-disk interactions. At ~145 pc, 2MASS J16042165-2130284 (J1604) is a 5-12 Myr old transitional disk with different gap sizes in the mm- and $\mu$m-sized dust distributions (outer edges at ~79 and at ~63 au, respectively). Its $^{12}$CO emission shows a ~30 au cavity. This radial structure suggests that giant planets are sculpting this disk. We aim to constrain the masses and locations of plausible giant planets around J1604. We observed J1604 with the Spectro-Polarimetric High-contrast Exoplanet REsearch (SPHERE) at the Very Large Telescope (VLT), in IRDIFS\_EXT, pupil-stabilized mode, obtaining YJH- band images with the integral field spectrograph (IFS) and K1K2-band images with the Infra-Red Dual-beam Imager and Spectrograph (IRDIS). The dataset was processed exploiting the angular differential imaging (ADI) technique with high-contrast algorithms. Our observations reach a contrast of $\Delta K, YH$ ~12 mag from 0.15" to 0.80" (~22 to 115 au), but no planet candidate is detected. The disk is directly imaged in scattered light at all bands from Y to K, and it shows a red color. This indicates that the dust particles in the disk surface are mainly $\gtrsim0.3\,\mu$m-sized grains. We confirm the sharp dip/decrement in scattered light in agreement with polarized light observations. Comparing our images with a radiative transfer model we argue that the southern side of the disk is most likely the nearest. This work represents the deepest search yet for companions around J1604. We reach a mass sensitivity of $\gtrsim 2-3M_{Jup}$ from ~22 to ~115 au according to a hot start scenario. We propose that a brown dwarf orbiting inside of ~15 au and additional Jovian planets at larger radii could account for the observed properties of J1604 while explaining our lack of detection.


title: Revealing Hidden Connections in Recommendation Networks

abstract: Companies have been increasingly seeking new mechanisms for making their electronic marketing campaigns to become viral, thus obtaining a cascading recommendation effect similar to word-of-mouth. We analysed a dataset of a magazine publisher that uses email as the main marketing strategy and found out that networks emerging from those campaigns form a very sparse graph. We show that online social networks can be effectively used as a means to expand recommendation networks. Starting from a set of users, called seeders, we crawled Google's Orkut and collected about 20 million users and 80 million relationships. Next, we extended the original recommendation network by adding new edges using Orkut relationships that built a much denser network. Therefore, we advocate that online social networks are much more effective than email-based marketing campaigns


title: A Direct Determination of the Temperature of Overheated Electrons in an Insulator

abstract: Highly disordered superconductors, in the magnetic-field-driven insulating state, can show discontinuous current-voltage characteristics. Electron overheating has been shown to give a consistent description of this behavior, but there are other, more exotic, explanations including a novel, superinsulating state and a many-body localized state. We present AC-DC crossed-measurements, in which the application of a DC voltage is applied along our sample, while a small AC voltage is applied in the transverse direction. We varied the DC voltage and observed a simultaneous discontinuity in both AC and DC currents. We show that the inferred electron-temperature in the transverse measurement matches that in the longitudinal one, strongly supporting electron overheating as the source of observed current-voltage characteristics. Our measurement technique may be applicable as a method of probing electron overheating in many other physical systems, which show discontinuous or non-linear current-voltage characteristics.


title: Dirac vs Majorana gauginos at a 100 TeV collider

abstract: We compare the prospects for observing theories with Majorana or Dirac gauginos at a future 100 TeV proton-proton collider. Calculating the expected discovery and exclusion regions, we find that for heavy gluino masses the squark discovery reach is significantly reduced in Dirac gluino models relative to the Majorana case. However, if the squark and gluino masses are close the reach is similar in both scenarios. We also consider the electroweak fine tuning of theories observable at such a collider, and the impact of existing constraints from flavour and CP violating observables. Models with Majorana gluinos that are fine tuned to less than one part in 10,000 can typically be discovered or excluded, and Dirac models with tuning of one part in 1,000 can be probed. The flavour structure of Majorana models is highly constrained if they have observable squarks, while O(1) violation is possible in accessible Dirac models. In both cases new sources of CP violation must be very suppressed. Future collider searches can also give important information on possible dark matter candidates. We study the relation of this to indirect and direct detection searches, and find that if dark matter is a neutralino, a 100 TeV collider could probe the viable dark matter candidates in large classes of both Dirac and Majorana models.


title: The formation and evolution of star clusters in interacting galaxies

abstract: Observations of globular clusters show that they have universal lognormal mass functions with a characteristic peak at $\sim 2\times 10^{5}\, {\rm{M_{\odot}}}$, but the origin of this peaked distribution is highly debated. Here we investigate the formation and evolution of star clusters in interacting galaxies using high-resolution hydrodynamical simulations performed with two different codes in order to mitigate numerical artifacts. We find that massive star clusters in the range of $\sim 10^{5.5} - 10^{7.5}\, {\rm{M_{\odot}}}$ form preferentially in the highly-shocked regions produced by galaxy interactions. The nascent cluster-forming clouds have high gas pressures in the range of $P/k \sim 10^8 - 10^{12}\, \rm{K}\,\rm{cm^{-3}}$, which is $\sim 10^4 - 10^8$ times higher than the typical pressure of the interstellar medium but consistent with recent observations of a pre-super star cluster cloud in the Antennae Galaxies. Furthermore, these massive star clusters have quasi-lognormal initial mass functions with a peak around $\sim 10^{6}\, {\rm{M_{\odot}}}$. The number of clusters declines with time due to destructive processes, but the shape and the peak of the mass functions do not change significantly during the course of galaxy collisions. Our results suggest that gas-rich galaxy mergers may provide a favorable environment for the formation of massive star clusters such as globular clusters, and that the lognormal mass functions and the unique peak may originate from the extreme high-pressure conditions of the birth clouds and may survive the dynamical evolution.


title: Artificial Fun: Mapping Minds to the Space of Fun

abstract: Yampolskiy and others have shown that the space of possible minds is vast, actually infinite (Yampolskiy, 2015). A question of interest is 'Which activities can minds perform during their lifetime?' This question is very broad, thus in this article restricted to 'Which non-boring activities can minds perform?' The space of potential non-boring activities has been called by Yudkowsky 'fun space' (Yudkowsky, 2009). This paper aims to discuss the relation between various types of minds and the part of the fun space, which is accessible for them.


title: On the Lebesgue Constant of Weighted Leja Points for Lagrange Interpolation on Unbounded Domains

abstract: This work focuses on weighted Lagrange interpolation on an unbounded domain, and analyzes the Lebesgue constant for a sequence of weighted Leja points. The standard Leja points are a nested sequence of points defined on a compact subset of the real line, and can be extended to unbounded domains with the introduction of a weight function $w:\mathbb{R}\rightarrow [0,1]$. Due to a simple recursive formulation in one dimension, such abscissas provide a foundation for high-dimensional approximation methods such as sparse grid collocation, deterministic least squares, and compressed sensing. Just as in the unweighted case of interpolation on a compact domain, we use results from potential theory to prove that the Lebesgue constant for the Leja points grows subexponentially with the number of interpolation nodes.


title: Sharp Adams-Moser-Trudinger type inequalities in the hyperbolic space

abstract: The purpose of this paper is to establish some Adams-Moser-Trudinger inequalities, which are the borderline cases of the Sobolev embedding, in the hyperbolic space $\mathbb H^n$. First, we prove a sharp Adams inequality of order two with the exact growth condition in $\mathbb H^n$. Then we use it to derive a sharp Adams-type inequality and an Adachi-Tanaka-type inequality. We also prove a sharp Adams-type inequality with Navier boundary condition on any bounded domain of $\mathbb H^n$, which generalizes the result of Tarsi to the setting of hyperbolic spaces. Finally, we establish a Lions-type lemma and an improved Adams-type inequality in the spirit of Lions in $\mathbb H^n$. Our proofs rely on the symmetrization method extended to hyperbolic spaces.


title: Finding Proofs in Tarskian Geometry

abstract: We report on a project to use a theorem prover to find proofs of the theorems in Tarskian geometry. These theorems start with fundamental properties of betweenness, proceed through the derivations of several famous theorems due to Gupta and end with the derivation from Tarski's axioms of Hilbert's 1899 axioms for geometry. They include the four challenge problems left unsolved by Quaife, who two decades ago found some \Otter proofs in Tarskian geometry (solving challenges issued in Wos's 1998 book). There are 212 theorems in this collection. We were able to find \Otter proofs of all these theorems. We developed a methodology for the automated preparation and checking of the input files for those theorems, to ensure that no human error has corrupted the formal development of an entire theory as embodied in two hundred input files and proofs. We distinguish between proofs that were found completely mechanically (without reference to the steps of a book proof) and proofs that were constructed by some technique that involved a human knowing the steps of a book proof. Proofs of length 40--100, roughly speaking, are difficult exercises for a human, and proofs of 100-250 steps belong in a Ph.D. thesis or publication. 29 of the proofs in our collection are longer than 40 steps, and ten are longer than 90 steps. We were able to derive completely mechanically all but 26 of the 183 theorems that have "short" proofs (40 or fewer deduction steps). We found proofs of the rest, as well as the 29 "hard" theorems, using a method that requires consulting the book proof at the outset. Our "subformula strategy" enabled us to prove four of the 29 hard theorems completely mechanically. These are Ph.D. level proofs, of length up to 108.


title: The X-ray Pulsar M82 X-2 on its Propeller Line

abstract: {\it NuSTAR} has detected pulsations from the ultraluminous X-ray source X-2 in M82 and archival {\it Chandra} observations have given us a good idea of its duty cycle. The newly discovered pulsar exhibited at least 4 super-Eddington outbursts in the past 15 years but, in its lowest-power state, it radiates just below the Eddington limit and its properties appear to be typical of high-mass X-ray binaries. M82 X-2 has been described as a common neutron star with a 1~TG magnetic field that occasionally accretes above the Eddington rate and as a magnetar-like pulsar with a 10-100~TG magnetic field that reaches above the quantum limit. We argue in favor of the former interpretation. Using standard accretion theory and the available observations, we calculate the stellar magnetic field of this pulsar in two independent ways and we show that it cannot exceed 3~TG in either case. We discuss the implications of our results for other ultraluminous X-ray sources that occasionally exhibit similar powerful outbursts.


title: $N-$body dynamics of Intermediate mass-ratio inspirals in globular clusters

abstract: The intermediate mass-ratio inspiral of a stellar compact remnant into an intermediate mass black hole (IMBH) can produce a gravitational wave (GW) signal that is potentially detectable by current ground-based GW detectors (e.g., Advanced LIGO) as well as by planned space-based interferometers (e.g., eLISA). Here, we present results from a direct integration of the post-Newtonian $N$-body equations of motion describing stellar clusters containing an IMBH and a population of stellar-mass black holes (BHs) and solar mass stars. We take particular care to simulate the dynamics closest to the IMBH, including post-Newtonian effects up to order $2.5$. Our simulations show that the IMBH readily forms a binary with a BH companion. This binary is gradually hardened by transient 3-body or 4-body encounters, leading to frequent substitutions of the BH companion, while the binary's eccentricity experiences large amplitude oscillations due to the Lidov-Kozai resonance. We also demonstrate suppression of these resonances by the relativistic precession of the binary orbit. We find an intermediate mass-ratio inspiral in one of the 12 cluster models we evolved for $\sim 100$ Myr. This cluster hosts a $100 M_\odot$ IMBH embedded in a population of 32 $10M_\odot$ BH and 32,000 $1M_\odot$ stars. At the end of the simulation, after $\sim 100$ Myr of evolution, the IMBH merges with a BH companion. The IMBH--BH binary inspiral starts in the eLISA frequency window ($\gtrsim 1\rm mHz$) when the binary reaches an eccentricity $1-e\simeq 10^{-3}$. After $\simeq 10^5$ years the binary moves into the LIGO frequency band with a negligible eccentricity. We comment on the implications for GW searches, with a possible detection within the next decade.


title: Decoherence and the Branching of Chaos-less Classical Trajectory

abstract: This study was started to know mysterious classicality of nuclei. This time, I found a new rule for decoherence. I used a model without chaos. As a result, it was shown that not only the intersection of classical trajectories but also branching of classical trajectories are needed for decoherence. In other words, it was shown that interactions between a main system and environments have to make enough branchings of classical trajectories of the main system for decoherence.


title: Traffic dynamics on dynamical networks: The connection between network lifetime and traffic congestion

abstract: For many power-limited networks, such as wireless sensor networks and mobile ad hoc networks, maximizing the network lifetime is the first concern in the related designing and maintaining activities. We study the network lifetime from the perspective of network science. In our dynamic network, nodes are assigned a fixed amount of energy initially and consume the energy in the delivery of packets. We divided the network traffic flow into four states: no, slow, fast, and absolute congestion states. We derive the network lifetime by considering the state of the traffic flow. We find that the network lifetime is generally opposite to traffic congestion in that the more congested traffic, the less network lifetime. We also find the impacts of factors such as packet generation rate, communication radius, node moving speed, etc., on network lifetime and traffic congestion.


title: Fate of topological states in incommensurate generalized Aubry-Andr\'e models

abstract: We study one-dimensional optical lattices described by generalized Aubry-Andr\'e models that include both commensurate and incommensurate modulations of the hopping amplitude. This brings together two interesting features of this class of systems: Anderson localization and the existence of topological edge states. We follow changes of the single-particle energy spectrum induced by variations of the system parameters, with focus on the survival of topological states in the localized regime.


title: Probing Many-Body Interactions in Monolayer Transition-Metal Dichalcogenides

abstract: Many-body interactions in monolayer transition-metal dichalcogenides are strongly affected by their unique band structure. We study these interactions by measuring the energy shift of neutral excitons (bound electron-hole pairs) in gated WSe$_2$ and MoSe$_2$. Surprisingly, while the blueshift of the neutral exciton, $X^0$, in electron-doped samples can be more than 10~meV, the blueshift in hole-doped samples is nearly absent. Taking into account dynamical screening and local-field effects, we present a transparent and analytical model that elucidates the crucial role played by intervalley plasmons in electron-doped conditions. The energy shift of $X^0$ as a function of charge density is computed showing agreement with experiment, where the renormalization of $X^0$ by intervalley plasmons yields a stronger blueshift in MoSe$_2$ than in WSe$_2$ due to differences in their band ordering.


title: Friends of Hot Jupiters. IV. Stellar companions beyond 50 AU might facilitate giant planet formation, but most are unlikely to cause Kozai-Lidov migration

abstract: Stellar companions can influence the formation and evolution of planetary systems, but there are currently few observational constraints on the properties of planet-hosting binary star systems. We search for stellar companions around 77 transiting hot Jupiter systems to explore the statistical properties of this population of companions as compared to field stars of similar spectral type. After correcting for survey incompleteness, we find that $47\%\pm7\%$ of hot Jupiter systems have stellar companions with semi-major axes between 50-2000 AU. This is 2.9 times larger than the field star companion fraction in this separation range, with a significance of $4.4\sigma$. In the 1-50AU range, only $3.9^{+4.5}_{-2.0}\%$ of hot Jupiters host stellar companions compared to the field star value of $16.4\%\pm0.7\%$, which is a $2.7\sigma$ difference. We find that the distribution of mass ratios for stellar companions to hot Jupiter systems peaks at small values and therefore differs from that of field star binaries which tend to be uniformly distributed across all mass ratios. We conclude that either wide separation stellar binaries are more favorable sites for gas giant planet formation at all separations, or that the presence of stellar companions preferentially causes the inward migration of gas giant planets that formed farther out in the disk via dynamical processes such as Kozai-Lidov oscillations. We determine that less than 20% of hot Jupiters have stellar companions capable of inducing Kozai-Lidov oscillations assuming initial semi-major axes between 1-5 AU, implying that the enhanced companion occurrence is likely correlated with environments where gas giants can form efficiently.


title: Deep Feature Fusion Network for Answer Quality Prediction in Community Question Answering

abstract: Community Question Answering (cQA) forums have become a popular medium for soliciting direct answers to specific questions of users from experts or other experienced users on a given topic. However, for a given question, users sometimes have to sift through a large number of low-quality or irrelevant answers to find out the answer which satisfies their information need. To alleviate this, the problem of Answer Quality Prediction (AQP) aims to predict the quality of an answer posted in response to a forum question. Current AQP systems either learn models using - a) various hand-crafted features (HCF) or b) use deep learning (DL) techniques which automatically learn the required feature representations. In this paper, we propose a novel approach for AQP known as - "Deep Feature Fusion Network (DFFN)" which leverages the advantages of both hand-crafted features and deep learning based systems. Given a question-answer pair along with its metadata, DFFN independently - a) learns deep features using a Convolutional Neural Network (CNN) and b) computes hand-crafted features using various external resources and then combines them using a deep neural network trained to predict the final answer quality. DFFN achieves state-of-the-art performance on the standard SemEval-2015 and SemEval-2016 benchmark datasets and outperforms baseline approaches which individually employ either HCF or DL based techniques alone.


title: Manifold Approximation by Moving Least-Squares Projection (MMLS)

abstract: In order to avoid the curse of dimensionality, frequently encountered in Big Data analysis, there was a vast development in the field of linear and nonlinear dimension reduction techniques in recent years. These techniques (sometimes referred to as manifold learning) assume that the scattered input data is lying on a lower dimensional manifold, thus the high dimensionality problem can be overcome by learning the lower dimensionality behavior. However, in real life applications, data is often very noisy. In this work, we propose a method to approximate $\mathcal{M}$ a $d$-dimensional $C^{m+1}$ smooth submanifold of $\mathbb{R}^n$ ($d \ll n$) based upon noisy scattered data points (i.e., a data cloud). We assume that the data points are located "near" the lower dimensional manifold and suggest a non-linear moving least-squares projection on an approximating $d$-dimensional manifold. Under some mild assumptions, the resulting approximant is shown to be infinitely smooth and of high approximation order (i.e., $O(h^{m+1})$, where $h$ is the fill distance and $m$ is the degree of the local polynomial approximation). The method presented here assumes no analytic knowledge of the approximated manifold and the approximation algorithm is linear in the large dimension $n$. Furthermore, the approximating manifold can serve as a framework to perform operations directly on the high dimensional data in a computationally efficient manner. This way, the preparatory step of dimension reduction, which induces distortions to the data, can be avoided altogether.


title: Magnetic hyperfine structure of the ground-state doublet in highly charged ions $^{229}$Th$^{89+,87+}$ and the Bohr-Weisskopf effect

abstract: The magnetic hyperfine (MHF) structure of the $5/2^+$(0.0 eV) ground state and the low-lying $3/2^+$(7.8 eV) isomeric state of the $^{229}$Th nucleus in highly charged ions Th$^{89+}$ and Th$^{87+}$ is calculated. The distribution of the nuclear magnetization (the Bohr-Weisskopf effect) is accounted for in the framework of the collective nuclear model with the wave functions of the Nilsson model for the unpaired neutron. The deviations of the MHF structure for the ground and isomeric states from their values in the model of point-like nuclear magnetic dipole are calculated. The influence of the mixing of the states with the same quantum number $F$ on the energy of sublevels is studied. Taking into account the mixing of states, the probabilities of the transitions between the components of MHF structure are found.


title: A Sufficient Condition for Absolute Continuity of Infinitely Divisible Distributions

abstract: We consider infinitely divisible distributions with symmetric L\'evy measure and study the absolute continuity of them with respect to the Lebesgue measure. We prove that if $\eta(r)=\int_{|x|\le r} x^2 \nu(dx)$ where $\nu$ is the L\'evy measure, then $\int_0^1 \frac{r}{\eta(r)}dr <\infty$ is a sufficient condition for absolute continuity. As far as we know, our result is not implied by existing results about absolute continuity of infinitely divisible distributions.


title: Vortices and vortex lattices in quantum ferrofluids

abstract: The experimental realization of quantum-degenerate Bose gases made of atoms with sizeable magnetic dipole moments has created a new type of fluid, known as a quantum ferrofluid, which combines the extraordinary properties of superfluidity and ferrofluidity. A hallmark of superfluids is that they are constrained to rotate through vortices with quantized circulation. In quantum ferrofluids the long-range dipolar interactions add new ingredients by inducing magnetostriction and instabilities, and also affect the structural properties of vortices and vortex lattices. Here we give a review of the theory of vortices in dipolar Bose-Einstein condensates, exploring the interplay of magnetism with vorticity and contrasting this with the established behaviour in non-dipolar condensates. We cover single vortex solutions, including structure, energy and stability, vortex pairs, including interactions and dynamics, and also vortex lattices. Our discussion is founded on the mean-field theory provided by the dipolar Gross-Pitaevskii equation, ranging from analytic treatments based on the Thomas-Fermi (hydrodynamic) and variational approaches to full numerical simulations. Routes for generating vortices in dipolar condensates are discussed, with particular attention paid to rotating condensates, where surface instabilities drive the nucleation of vortices, and lead to the emergence of rich and varied vortex lattice structures. We also present an outlook, including potential extensions to degenerate Fermi gases, quantum Hall physics, toroidal systems and the Berezinskii-Kosterlitz-Thouless transition.

categories: cond-mat.quant-gas physics.atom-ph physics.flu-dyn quant-ph


title: How Often Do Diquarks Form? A Very Simple Model

abstract: Starting from a textbook result, the nearest-neighbor distribution of particles in an ideal gas, we develop estimates for the probability with which quarks $q$ in a mixed $q$, $\bar q$ gas are more strongly attracted to the nearest $q$, potentially forming a diquark, than to the nearest $\bar q$. Generic probabilities lie in the range of tens of percent, with values in the several percent range even under extreme assumptions favoring $q\bar q$ over $qq$ attraction.


title: Computation of the difference-differential Galois group and differential relations among solutions for a second-order linear difference equation

abstract: We apply the difference-differential Galois theory developed by Hardouin and Singer to compute the differential-algebraic relations among the solutions to a second-order homogeneous linear difference equation of the form $ y(x+2)+a(x)y(x+1)+b(x)y(x)=0,$ where the coefficients $a(x),b(x)\in \bar{\mathbb{Q}}(x)$ are rational functions in $x$ with coefficients in $\bar{\mathbb{Q}}$. We develop algorithms to compute the difference-differential Galois group associated to such an equation, and show how to deduce the differential-algebraic relations among the solutions from the defining equations of the Galois group.


title: Longitudinal uniformity, time performance and irradiation test of pure CsI crystals

abstract: To study an alternative to BaF2, as the crystal choice for the Mu2e calorimeter, thirteen pure CsI crystals from Opto Materials and ISMA producers have been characterized by determining their light yield (LY) and longitudinal response uniformity (LRU), when read with a UV extended PMT. The crystals show a LY of ~ 100 p.e./MeV (~ 150 p.e./MeV) when wrapped with Tyvek and coupled to the PMT without (with) optical grease. The LRU is well represented by a linear slope that is on average around -0.6 %/cm. The timing performances of the Opto Materials crystal, read with a UV extended MPPC, have been evaluated with minimum ionizing particles. A timing resolution of ~ 330 ps (~ 440 ps) is achieved when connecting the photosensor to the MPPC with (without) optical grease. The crystal radiation hardness to a ionization dose has also been studied for one pure CsI crystal from SICCAS. After exposing it to a dose of 900 Gy, a decrease of 33% in the LY is observed while the LRU remains unchanged.


title: Detecting service provider alliances on the choreography enactment pricing game

abstract: We present the choreography enactment pricing game, a cooperative game-theoretic model for the study of scheduling of jobs using competitor service providers. A choreography (a peer-to-peer service composition model) needs a set of services to fulfill its jobs requirements. Users must choose, for each requirement, which service providers will be used to enact the choreography at lowest cost. Due to the lack of centralization, vendors can form alliances to control the market. We show a novel algorithm capable of detecting alliances among service providers, based on our study of the bargaining set of this game.


title: Visualizing Dynamics: from t-SNE to SEMI-MDPs

abstract: Deep Reinforcement Learning (DRL) is a trending field of research, showing great promise in many challenging problems such as playing Atari, solving Go and controlling robots. While DRL agents perform well in practice we are still missing the tools to analayze their performance and visualize the temporal abstractions that they learn. In this paper, we present a novel method that automatically discovers an internal Semi Markov Decision Process (SMDP) model in the Deep Q Network's (DQN) learned representation. We suggest a novel visualization method that represents the SMDP model by a directed graph and visualize it above a t-SNE map. We show how can we interpret the agent's policy and give evidence for the hierarchical state aggregation that DQNs are learning automatically. Our algorithm is fully automatic, does not require any domain specific knowledge and is evaluated by a novel likelihood based evaluation criteria.


title: How the electromagnetic field evolves in the presence of a mobile membrane

abstract: We consider a one-dimensional cavity composed of two perfect, fixed mirrors and a mobile membrane in between. Assuming that the membrane starts to move from rest and that the membrane moves appreciably in a time-scale much larger than the time-scale in which the cavity electromagnetic field evolves appreciably, we derive simple analytic formulas that describe to good approximation the evolution of the field and that provide an intuitive physical picture. These formulas take into account the position, velocity, and acceleration of the membrane and are valid for arbitrarily large displacements of the membrane along the cavity axis. Also, we deduce the conditions under which the field can be described to good approximation by a single instantaneous mode.


title: Non-Gaussianity in multiple three-form field inflation

abstract: In this work, we present a method for implementing the $\delta N$ formalism to study the primordial non-Gaussianity produced in multiple three-form field inflation. Using a dual description relating three-form fields to noncanonical scalar fields, and employing existing results, we produce expressions for the bispectrum of the curvature perturbation in terms of three-form quantities. We study the bispectrum generated in a two three-form field inflationary scenario for a particular potential that for suitable values of the parameters was found in earlier work to give values of the spectral index and ratio of tensor to scalar perturbations compatible with current bounds. We calculate the reduced bispectrum for this model, finding an amplitude in equilateral and orthogonal configurations of ${\cal O}(1)$ and in the squeezed limit of ${\cal O}(10^{-3})$. We confirm, therefore, that this three-form inflationary scenario is compatible with present observational constraints.


title: A model of random center vortex lines in continuous 2+1-dimensional space-time

abstract: A picture of confinement in QCD based on a condensate of thick vortices with fluxes in the center of the gauge group (center vortices) is studied. Previous concrete model realizations of this picture utilized a hypercubic space-time scaffolding, which, together with many advantages, also has some disadvantages, e.g., in the treatment of vortex topological charge. In the present work, we explore a center vortex model which does not rely on such a scaffolding. Vortices are represented by closed random lines in continuous 2+1-dimensional space-time. These random lines are modeled as being piece-wise linear, and an ensemble is generated by Monte Carlo methods. The physical space in which the vortex lines are defined is a torus with periodic boundary conditions. Besides moving, growing and shrinking of the vortex configurations, also reconnections are allowed. Our ensemble therefore contains not a fixed, but a variable number of closed vortex lines. This is expected to be important for realizing the deconfining phase transition. We study both vortex percolation and the potential V (R) between quark and anti-quark as a function of distance R at different vortex densities, vortex segment lengths, reconnection conditions and at different temperatures. We find three deconfinement phase transitions, as a function of density, as a function of vortex segment length, and as a function of temperature.


title: Generalized surface codes and packing of logical qubits

abstract: We consider a notion of relative homology (and cohomology) for surfaces with two types of boundaries. Using this tool, we study a generalization of Kitaev's code based on surfaces with mixed boundaries. This construction includes both Bravyi and Kitaev's and Freedman and Meyer's extension of Kitaev's toric code. We argue that our generalization offers a denser storage of quantum information. In a planar architecture, we obtain a three-fold overhead reduction over the standard architecture consisting of a punctured square lattice.


title: Boron Abundances Across the "Li-Be Dip" in the Hyades

abstract: Dramatic deficiencies of Li in the mid-F dwarf stars of the Hyades cluster were discovered by Boesgaard & Tripicco. Boesgaard & King discovered corresponding, but smaller, deficiencies in Be in the same narrow temperature region in the Hyades. With the Space Telescope Imaging Spectrograph on the Hubble Space Telescope we investigate B abundances in the Hyades F stars to look for a potential B dip using the B I resonance line at 2496.8 A. The light elements, Li, Be, and B, are destroyed inside stars at increasingly hotter temperatures: 2.5, 3.5, and 5x10^6 K respectively. Consequently, these elements survive to increasingly greater depths in a star and their surface abundances indicate the depth and thoroughness of mixing in the star. We have (re)determined Li abundances/upper limits for 79 Hyades dwarfs, Be for 43 stars, and B in five stars. We find evidence for a small drop in the B abundance across the Li-Be dip. The B abundances for the four stars in the temperature range 6100-6730 K fit the B-Be correlation found previously by Boesgaard et al. Models of rotational mixing produce good agreement with the relative depletions of Be and B in the dip region. We have compared our nLTE B abundances for the three high B stars on either side of the Li-Be dip with those found by Duncan et al. for the two Hyades giants. This confirms the factor of ~10 decline in the B abundance in the Hyades giants as predicted by dilution due to the deepening of the surface convection zone.


title: Exercices sur les temps locaux de semi-martingales continues et les excursions browniennes

abstract: Depuis le tout d\'ebut du XX${}^\text{e}$ si\`ecle, l'\'etude des processus stochastiques est un domaine tr\`es actif de la recherche en math\'ematiques. Parmi ces processus, le mouvement brownien --- dont l'\'etude math\'ematique a \'et\'e initi\'ee d\`es 1900, avec la th\`ese de Bachelier, entre autres travaux --- a jou\'e, et joue encore, un r\^ole primordial. Ceci peut s'expliquer par le fait que le mouvement brownien est l'objet limite quasi-universel qui appara\^it dans le th\'eor\`eme central limite, lorsqu'on fait agir le temps. Depuis la fin de la seconde guerre mondiale et les travaux d'It\^o, Meyer, Tanaka et bien d'autres, les temps locaux et les excursions sont devenus des outils essentiels pour \'etudier ce processus. Les exercices de ce volume ont \'et\'e \'elabor\'es, ann\'ee apr\`es ann\'ee, par le second auteur, soit \`a la suite de lectures d'articles pr\'esentant, parfois avec des m\'ethodes tr\`es diff\'erentes, telle ou telle propri\'et\'e brownienne, soit simplement pour illustrer le contenu de son cours de DEA (anciennement), de M2 aujourd'hui. Le premier auteur en a organis\'e la synth\`ese, de fa\c{c}on \'economique et n\'eanmoins --- esp\'erons-le --- tr\`es lisible. Les chapitres ont \'et\'e con\c{c}us pour cr\'eer un aller-retour permanent entre les principaux r\'esultats du cours et les exercices corrig\'es, afin que la compr\'ehension des uns renforce celle des autres. C'est ainsi que de nombreuses solutions d'exercices donn\'ees ici offrent un aper\c{c}u de la fa\c{c}on de prouver certains des th\'eor\`emes rappel\'es plus haut.


title: Characteristic classes of fiberwise branched surface bundles via arithmetic

abstract: This paper is about cohomology of mapping class groups from the perspective of arithmetic groups. For a closed surface $S$ of genus $g$, the mapping class group $Mod(S)$ admits a well-known arithmetic quotient $Mod(S)\rightarrow Sp(2g, Z)$, under which the stable cohomology of $Sp(2g,Z)$ pulls back to algebra generated by the odd MMM classes of $Mod(S)$. We extend this example to other arithmetic groups associated to mapping class groups and explore some of the consequences for surface bundles. For $G=Z/mZ$ and for a regular $G$-cover $S\rightarrow S'$ (possibly branched), a finite index subgroup $\Gamma< Mod( S')$ admits a homomorphism to an arithmetic group $Sp^G<Sp(2g,Z)$. The induced map on cohomology can be understood using index theory. To this end, we describe a families version of the $G$-index theorem for the signature operator and apply this to (i) compute $H^2(Sp^G;Q)\rightarrow H^2(\Gamma;Q)$, (ii) re-derive Hirzebruch's formula for signature of a branched cover (in the case of a surface bundle), (iii) compute Toledo invariants of surface group representations to $SU(p,q)$ arising from Atiyah--Kodaira constructions, and (iv) describe how classes in $H^*(Sp^G;Q)$ give equivariant cobordism invariants for surface bundles with a fiberwise $G$ action, following Church--Farb--Thibault.


title: Non-spurious solutions to second order BVP by monotonicity methods

abstract: We consider the following BVP $\ddot{x}\left( t\right) =f\left( t,\dot{x}\left( t\right) ,x\left( t\right) \right) -h\left( t\right) $, $% x\left( 0\right) =x\left( 1\right) =0$, where $f$ is continuous and satisfies some other conditions, $h\in H_{0}^{1}\left( 0,1\right) $ together with its discretization $$-\Delta^{2}x(k-1)+\frac{1}{n^{2}}f\left(\frac{k}{n}, n\Delta x\left(k-1\right), x\left(k\right)\right)=\frac{1}{n^{2}}h\left(\frac{k}{n}\right), k\in \left\{1, 2, \ldots,n \right\}.$$ Using monotonicity methods we obtain the convergence of a solutions to a family of discrete problems to the solution of a continuous one, i.e. the existence of non-spurious solutions to the above problems is considered. Continuous dependence on parameters for the continuous problem is also investigated.


title: Tunable negative Poisson's ratio in hydrogenated graphene

abstract: We perform molecular dynamics simulations to investigate the effect of hydrogenation on the Poisson's ratio of graphene. It is found that the value for Poisson's ratio in graphene can be effectively tuned from positive to negative by varying the percentage of hydrogenation. Specifically, the Poisson's ratio decreases with the increase of the percentage of hydrogenation, and reaches a minimum value of -0.04 at the percentage of hydrogenation about 50%. The Poisson's ratio starts to increase with a further increase of the percentage of hydrogenation. The appearance of minimum negative Poisson's ratio in the hydrogenated graphene is attributed to the suppression of the hydrogenation-induced ripples during stretching of graphene. Our results demonstrate that hydrogenation is a valuable approach for the tuning of the Poisson's ratio from positive to negative in graphene.


title: Predicting fuel research octane number using Fourier-transform infrared absorption spectra of neat hydrocarbons

abstract: Liquid transportation fuels require costly and time-consuming tests to characterize metrics, such as Research Octane Number (RON) for gasoline. If fuel sale restrictions requiring use of standard Cooperative Fuel Research testing procedures do not apply, these tests may be avoided by using multivariate statistical models to predict RON and other quantities. Here we show that an accurate statistical model for the RON of gasoline and gasoline-like fuels can be constructed by ensuring the representation of key functional groups in the spectroscopic data set are used to train the model. We found that a principal component regression model for RON based on IR absorbance and informed using neat and 134 mixtures of n-heptane, isooctane, toluene, ethanol, methylcyclohexane, and 1-hexene could predict RON for the 10 Coordinating Research Council Fuels for Advanced Combustion Engine (FACE) gasolines and 12 FACE gasoline blends with ethanol within 34.8+/-36.1 on average and 51.2 in the worst case. We next studied the effect of adding 28 additional minor components found in the FACE gasolines to the statistical model, and determined that it was necessary to add additional representatives of the branched alkane and aromatics classes to reduce model error. For example, adding 2,3-dimethylpentane and xylene to the previous model allowed it to predict RON for the 22 target fuels within 0.3+/-4.4 on average and 7.9 in the worst case. However, we determined that the specific choice of fuel in those classes mattered less than ensuring the representation of the relevant functional group. This work builds upon previous efforts by creating models informed by neat and surrogate fuels---rather than complex real fuels---that could predict the performance of complex unknown fuels.


title: A MoS2-based capacitive displacement sensor for DNA sequencing

abstract: We propose an aqueous functionalized molybdenum disulfide nanoribbon suspended over a solid electrode as the first capacitive displacement sensor aimed at determining the DNA sequence. The detectable sequencing events arise from the combination of Watson-Crick base-pairing, one of nature's most basic lock-and-key-binding mechanisms, with the ability of appropriately sized atomically thin membranes to flex substantially in response to sub-nanonewton forces. We employ carefully designed numerical simulations and theoretical estimates to demonstrate excellent (79 % to 86 %) raw target detection accuracy at ~70 million bases per second and electrical measurability of the detected events. In addition, we demonstrate reliable detection of repeated DNA motifs. Finally, we argue that the use of a nanoscale opening (nanopore) is not requisite for the operation of the proposed sensor and present a simplified sensor geometry without the nanopore as part of the sensing element. Our results therefore potentially suggest a realistic, inherently base-specific, high-throughput electronic DNA sequencing device as a cost-effective de-novo alternative to the existing methods.


title: Real-Time Synthesis is Hard!

abstract: We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infinite words only; and only the very restrictive BRRS subcase is known to be decidable (see D'Souza et al. and Bouyer et al.). In this paper, we precise the decidability border of MITL synthesis. We show RS is undecidable on finite words too, and present a landscape of restrictions (both on the logic and on the possible controllers) that are still undecidable. On the positive side, we revisit BRRS and introduce an efficient on-the-fly algorithm to solve it.


title: On the zeros of polynomials generated by rational functions with a hyperbolic polynomial type denominator

abstract: This paper investigates the location of the zeros of a sequence of polynomials generated by a rational function with a denominator of the form $G(z,t)=P(t)+zt^{r}$, where the zeros of $P$ are positive and real. We show that every member of a family of such generating functions - parametrized by the degree of $P$ and $r$ - gives rise to a sequence of polynomials $\{H_{m}(z)\}_{m=0}^{\infty}$ that is eventually hyperbolic. Moreover, when $P(0)>0$ the real zeros of the polynomials $H_{m}(z)$ form a dense subset of an interval $I\subset\mathbb{R}^{+}$, whose length depends on the particular values of the parameters in the generating function.


title: Assessing the interactivity and prescriptiveness of faculty professional development workshops: The Real-Time Professional Development Observation Tool (R-PDOT)

abstract: Professional development workshops are one of the primary mechanisms used to help faculty improve their teaching, and draw in many STEM instructors every year. Although workshops serve a critical role in changing instructional practices within our community, we rarely assess workshops through careful consideration of how they engage faculty. Initial evidence suggests that workshop leaders often overlook central tenets of education research that are well-established in classroom contexts, such as the role of interactivity in enabling student learning. As such, there is a need to develop more robust, evidence-based models of how best to support faculty learning in professional development contexts, and to activity support workshop leaders in relating their design decisions to familiar ideas form other educational contexts. In response to these needs, we have developed an observation tool, the Real-Time Professional Development Observation Tool (R-PDOT), to document the form and focus of faculty's engagement during workshops. In this paper, we describe the motivation and methodological considerations behind the development of the R-PDOT, justify our decisions to highlight particular aspects of workshop sessions, and demonstrate how the R-PDOT can be used to analyze three sessions from the Physics and Astronomy New Faculty Workshop. We also justify the accessibility and potential utility of the R-PDOT output as a reflective tool using preliminary data from interviews with workshop leaders, and consider the roles the R-PDOT could play in supporting future research on faculty professional development.


title: Cross sections for neutrino and antineutrino induced pion production on hydrocarbon in the few-GeV region using MINERvA

abstract: Separate samples of charged-current pion production events representing two semi-inclusive channels $\nu_\mu$-CC($\pi^{+}$) and $\bar{\nu}_{\mu}$-CC($\pi^{0}$) have been obtained using neutrino and antineutrino exposures of the MINERvA detector. Distributions in kinematic variables based upon $\mu^{\pm}$-track reconstructions are analyzed and compared for the two samples. The differential cross sections for muon production angle, muon momentum, and four-momentum transfer $Q^2$, are reported, and cross sections versus neutrino energy are obtained. Comparisons with predictions of current neutrino event generators are used to clarify the role of the $\Delta(1232)$ and higher-mass baryon resonances in CC pion production and to show the importance of pion final-state interactions. For the $\nu_\mu$-CC($\pi^{+}$) ($\bar{\nu}_{\mu}$-CC($\pi^{0}$)) sample, the absolute data rate is observed to lie below (above) the predictions of some of the event generators by amounts that are typically 1-to-2 $\sigma$. However the generators are able to reproduce the shapes of the differential cross sections for all kinematic variables of either data set.


title: Manganese in the West Atlantic Ocean in context of the first global ocean circulation model of manganese

abstract: Dissolved manganese (Mn) is a biologically essential element, and its oxidised form is involved in the removal of trace elements from ocean waters. Recently, a large number of highly accurate Mn measurements have been obtained in the Atlantic, Indian and Arctic Oceans as part of the GEOTRACES programme. The goal of this study is to combine these new observations with state-of-the-art modelling to give new insights into the main sources and redistribution of Mn throughout the ocean. To this end, we simulate the distribution of dissolved Mn using a global-scale circulation model. This first model includes simple parameterisations to account, realistically, for the sources, processes and sinks of Mn in the ocean. Whereas oxidation and (photo)reduction, as well as aggregation and settling are parameterised in the model, biological uptake is not yet taken into account by the model. Our model reproduces observations accurately and provides the following insights: - The high surface concentrations of manganese are caused by the combination of photoreduction and sources to the upper ocean. The most important sources are dust, then sediments, and, more locally, rivers. - Results show that surface Mn in the Atlantic Ocean moves downwards into the North Atlantic Deep Water, but because of strong removal rates the Mn does not propagate southwards. - There is a mostly homogeneous background concentration of dissolved Mn of about 0.10 to 0.15 nM throughout most of the deep ocean. The model reproduces this by means of a threshold on manganese oxides of 25 pM, suggesting that a minimal concentration of Mn is needed before aggregation and removal become efficient. - The observed sharp hydrothermal signals are produced by assuming both a high source and a strong removal of Mn near hydrothermal vents.


title: Explainable Restricted Boltzmann Machines for Collaborative Filtering

abstract: Most accurate recommender systems are black-box models, hiding the reasoning behind their recommendations. Yet explanations have been shown to increase the user's trust in the system in addition to providing other benefits such as scrutability, meaning the ability to verify the validity of recommendations. This gap between accuracy and transparency or explainability has generated an interest in automated explanation generation methods. Restricted Boltzmann Machines (RBM) are accurate models for CF that also lack interpretability. In this paper, we focus on RBM based collaborative filtering recommendations, and further assume the absence of any additional data source, such as item content or user attributes. We thus propose a new Explainable RBM technique that computes the top-n recommendation list from items that are explainable. Experimental results show that our method is effective in generating accurate and explainable recommendations.


title: Combining NNPDF3.0 and NNPDF2.3QED through the APFEL evolution code

abstract: We present sets of parton distribution functions (PDFs), based on the NNPDF3.0 family, which include the photon PDF from the NNPDF2.3QED sets, and leading-order QED contributions to the DGLAP evolution as implemented in the public code APFEL. The aim is to combine our state-of-the-art determination of quark and gluon PDFs with the so far only direct determination of the photon PDF from LHC data. In addition, the use of APFEL allowed us to employ a solution of the DGLAP equation that, differently from that used for the NNPDF2.3QED sets, includes QED corrections in a more accurate way. We briefly discuss how these sets are constructed and investigate the effect of the inclusion of the QED corrections on PDFs and parton luminosities. Finally, we compare the resulting sets, which we dubbed NNPDF3.0QED, to the older NNPDF2.3QED sets and to all presently available PDF sets that include QED corrections, namely CT14QED and MRST2004QED.


title: Induced magnetization and power loss for a periodically driven system of ferromagnetic nanoparticles with randomly oriented easy axes

abstract: We study the effect of an elliptically polarized magnetic field on a system of non-interacting, single-domain ferromagnetic nanoparticles characterized by a uniform distribution of easy axis directions. Our main goal is to determine the average magnetization of this system and the power loss in it. In order to calculate these quantities analytically, we develop a general perturbation theory for the Landau-Lifshitz-Gilbert (LLG) equation and find its steady-state solution for small magnetic field amplitudes. On this basis, we derive the second-order expressions for the average magnetization and power loss, investigate their dependence on the magnetic field frequency, and analyze the role of subharmonic resonances resulting from the nonlinear nature of the LLG equation. For arbitrary amplitudes, the frequency dependence of these quantities is obtained from the numerical solution of this equation. The impact of transitions between different regimes of regular and chaotic dynamics of magnetization, which can be induced in nanoparticles by changing the magnetic field frequency, is examined in detail.


title: Conditions for quantum and classical tomogram-like functions to describe system states and to retain normalization during evolution

abstract: It is shown that dynamical equations for quantum tomograms retain the normalization conditions of their solutions during evolution only if the solutions satisfy a set of special conditions. These conditions are found explicitly. On the contrary, it is also shown that the classical Liouville equation, Moyal equation for Wigner function, and evolution equation for Husimi function retain normalization of any initially normalized and quickly decaying at infinity functions on the phase space. Other necessary and sufficient conditions for optical and symplectic tomogram-like functions to be tomograms of physical states are discussed.


title: On the Dirichlet Problem for hypoelliptic evolution equations: Perron-Wiener solution and a cone-type criterion

abstract: We show how to apply harmonic spaces potential theory in the study of the Dirichlet problem for a general class of evolution hypoelliptic partial differential equations of second order. We construct Perron-Wiener solution and we provide a sufficient condition for the regularity of the boundary points. Our criterion extends and generalizes the classical parabolic-cone criterion for the Heat equation due to Effros and Kazdan.


title: Stellar Double Coronagraph: a multistage coronagraphic platform at Palomar observatory

abstract: We present a new instrument, the "Stellar Double Coronagraph" (SDC), a flexible coronagraphic platform. Designed for Palomar Observatory's 200" Hale telescope, its two focal and pupil planes allow for a number of different observing configurations, including multiple vortex coronagraphs in series for improved contrast at small angles. We describe the motivation, design, observing modes, wavefront control approaches, data reduction pipeline, and early science results. We also discuss future directions for the instrument.


title: Deforming group actions on Koszul algebras

abstract: We give Braverman-Gaitsgory style conditions for general PBW deformations of skew group algebras formed from finite groups acting on Koszul algebras. When the characteristic divides the order of the group, this includes deformations of the group action as well as of the Koszul relations.


title: A Speaker Diarization System for Studying Peer-Led Team Learning Groups

abstract: Peer-led team learning (PLTL) is a model for teaching STEM courses where small student groups meet periodically to collaboratively discuss coursework. Automatic analysis of PLTL sessions would help education researchers to get insight into how learning outcomes are impacted by individual participation, group behavior, team dynamics, etc.. Towards this, speech and language technology can help, and speaker diarization technology will lay the foundation for analysis. In this study, a new corpus is established called CRSS-PLTL, that contains speech data from 5 PLTL teams over a semester (10 sessions per team with 5-to-8 participants in each team). In CRSS-PLTL, every participant wears a LENA device (portable audio recorder) that provides multiple audio recordings of the event. Our proposed solution is unsupervised and contains a new online speaker change detection algorithm, termed G 3 algorithm in conjunction with Hausdorff-distance based clustering to provide improved detection accuracy. Additionally, we also exploit cross channel information to refine our diarization hypothesis. The proposed system provides good improvements in diarization error rate (DER) over the baseline LIUM system. We also present higher level analysis such as the number of conversational turns taken in a session, and speaking-time duration (participation) for each speaker.


title: Automated Extraction of Number of Subjects in Randomised Controlled Trials

abstract: We present a simple approach for automatically extracting the number of subjects involved in randomised controlled trials (RCT). Our approach first applies a set of rule-based techniques to extract candidate study sizes from the abstracts of the articles. Supervised classification is then performed over the candidates with support vector machines, using a small set of lexical, structural, and contextual features. With only a small annotated training set of 201 RCTs, we obtained an accuracy of 88\%. We believe that this system will aid complex medical text processing tasks such as summarisation and question answering.


title: Airbnb in tourist cities: comparing spatial patterns of hotels and peer-to-peer accommodation

abstract: In recent years, what has become known as collaborative consumption has undergone rapid expansion through peer-to-peer (P2P) platforms. In the field of tourism, a particularly notable example is that of Airbnb. This article analyses the spatial patterns of Airbnb in Barcelona and compares them with hotels and sightseeing spots. New sources of data, such as Airbnb listings and geolocated photographs are used. Analysis of bivariate spatial autocorrelation reveals a close spatial relationship between Airbnb and hotels, with a marked centre-periphery pattern, although Airbnb predominates around the main hotel axis and hotels predominate in some peripheral areas of the city. Another interesting finding is that Airbnb capitalises more on the advantages of proximity to the main tourist attractions of the city than does the hotel sector. Finally, it was possible to detect those parts of the city that have seen the greatest increase in pressure from tourism related to Airbnb's recent expansion.


title: A microlens-array based pupil slicer and double scrambler for MAROON-X

abstract: We report on the design and construction of a microlens-array (MLA)-based pupil slicer and double scrambler for MAROON-X, a new fiber-fed, red-optical, high-precision radial-velocity spectrograph for one of the twin 6.5m Magellan Telescopes in Chile. We have constructed a 3X slicer based on a single cylindrical MLA and show that geometric efficiencies of >85% can be achieved, limited by the fill factor and optical surface quality of the MLA. We present here the final design of the 3x pupil slicer and double scrambler for MAROON-X, based on a dual MLA design with (a)spherical lenslets. We also discuss the techniques used to create a pseudo-slit of rectangular core fibers with low FRD levels.


title: Development and construction of MAROON-X

abstract: We report on the development and construction of a new fiber-fed, red-optical, high-precision radial-velocity spectrograph for one of the twin 6.5m Magellan Telescopes in Chile. MAROON-X will be optimized to find and characterize rocky planets around nearby M dwarfs with an intrinsic per measurement noise floor below 1 m/s. The instrument is based on a commercial echelle spectrograph customized for high stability and throughput. A microlens array based pupil slicer and double scrambler, as well as a rubidium-referenced etalon comb calibrator will turn this spectrograph into a high-precision radial-velocity machine. MAROON-X will undergo extensive lab tests in the second half of 2016.


title: Large deviations of convex hulls of planar random walks and Brownian motions

abstract: We prove large deviations principles (LDPs) for the perimeter and the area of the convex hull of a planar random walk with finite Laplace transform of its increments. We give explicit upper and lower bounds for the rate function of the perimeter in terms of the rate function of the increments. These bounds coincide and thus give the rate function for a wide class of distributions which includes the Gaussians and the rotationally invariant ones. For random walks with such increments, large deviations of the perimeter are attained by the trajectories that asymptotically align into line segments. However, line segments may not be optimal in general. Furthermore, we find explicitly the rate function of the area of the convex hull for random walks with rotationally invariant distribution of increments. For such walks, which necessarily have zero mean, large deviations of the area are attained by the trajectories that asymptotically align into half-circles. For random walks with non-zero mean increments, we find the rate function of the area for Gaussian walks with drift. Here the optimal limit shapes are elliptic arcs if the covariance matrix of increments is non-degenerate and parabolic arcs if otherwise. The above results on convex hulls of Gaussian random walks remain valid for convex hulls of planar Brownian motions of all possible parameters. Moreover, we extend the LDPs for the perimeter and the area of convex hulls to general Levy processes with finite Laplace transform.


title: Energy Efficiency in Multiuser Transmission Over Parallel Frequency Channels

abstract: Energy efficiency is an important design criterion for wireless communications. When parallel frequency channels are used for multiuser transmission, the channel bandwidths and user power are adjusted to maximize the sum information rate with the bandwidth budget, the transmit power budget, and the user-specific rate requirements. The maximum sum rate is used in measuring the energy efficiency. With fixed or flexible bandwidths of the frequency channels, practical methods are developed to find the total transmit power with the unique optimal resource (bandwidth and power) allocation for maximum energy efficiency. This resource allocation ensures that, while each user's minimum rate requirement is satisfied, all the excess resource of the spectrum and transmit power is dedicated to the one user with the best channel quality. Simulation results validate the optimal solutions of total transmit power and resource allocation that support the energy-efficient multiuser transmission.


title: Advanced Probabilistic Couplings for Differential Privacy

abstract: Differential privacy is a promising formal approach to data privacy, which provides a quantitative bound on the privacy cost of an algorithm that operates on sensitive information. Several tools have been developed for the formal verification of differentially private algorithms, including program logics and type systems. However, these tools do not capture fundamental techniques that have emerged in recent years, and cannot be used for reasoning about cutting-edge differentially private algorithms. Existing techniques fail to handle three broad classes of algorithms: 1) algorithms where privacy depends accuracy guarantees, 2) algorithms that are analyzed with the advanced composition theorem, which shows slower growth in the privacy cost, 3) algorithms that interactively accept adaptive inputs. We address these limitations with a new formalism extending apRHL, a relational program logic that has been used for proving differential privacy of non-interactive algorithms, and incorporating aHL, a (non-relational) program logic for accuracy properties. We illustrate our approach through a single running example, which exemplifies the three classes of algorithms and explores new variants of the Sparse Vector technique, a well-studied algorithm from the privacy literature. We implement our logic in EasyCrypt, and formally verify privacy. We also introduce a novel coupling technique called \emph{optimal subset coupling} that may be of independent interest.


title: Hamiltonian models for topological phases of matter in three spatial dimensions

abstract: We present commuting projector Hamiltonian realizations of a large class of (3+1)D topological models based on mathematical objects called unitary G-crossed braided fusion categories. This construction comes with a wealth of examples from the literature of symmetry-enriched topological phases. The spacetime counterparts to our Hamiltonians are unitary state sum topological quantum fields theories (TQFTs) that appear to capture all known constructions in the literature, including the Crane-Yetter-Walker-Wang and 2-Group gauge theory models. We also present Hamiltonian realizations of a state sum TQFT recently constructed by Kashaev whose relation to existing models was previously unknown. We argue that this TQFT is captured as a special case of the Crane-Yetter-Walker-Wang model, with a premodular input category in some instances.


title: No local $L^{1}$ solutions for semilinear fractional heat equations

abstract: We study the Cauchy problem for the semilinear fractional heat equation $u_{t}=\triangle^{\alpha/2}u+f(u)$ with non-negative initial value $u_{0}\in L^{q}(\mathbb{R}^{n})$ and locally Lipschitz, non-negative source term $f$. For $f$ satisfying the Osgood-type condition $\int_{1}^{\infty}\frac{ds}{f(s)}=\infty$, we show that there exist initial conditions such that the equation has no local solution in $L^{1}_{loc}(\mathbb{R}^{n})$.


title: Exponentially-Biased Ground-State Sampling of Quantum Annealing Machines with Transverse-Field Driving Hamiltonians

abstract: We study the performance of the D-Wave 2X quantum annealing machine on systems with well-controlled ground-state degeneracy. While obtaining the ground state of a spin-glass benchmark instance represents a difficult task, the gold standard for any optimization algorithm or machine is to sample all solutions that minimize the Hamiltonian with more or less equal probability. Our results show that while naive transverse-field quantum annealing on the D-Wave 2X device can find the ground-state energy of the problems, it is not well suited in identifying all degenerate ground-state configurations associated to a particular instance. Even worse, some states are exponentially suppressed, in agreement with previous studies on toy model problems [New J. Phys. 11, 073021 (2009)]. These results suggest that more complex driving Hamiltonians are needed in future quantum annealing machines to ensure a fair sampling of the ground-state manifold.


title: Gravitational waves from supermassive stars collapsing to a supermassive black hole

abstract: We derive the gravitational waveform from the collapse of a rapidly rotating supermassive star (SMS) core leading directly to a seed of a supermassive black hole (SMBH) in axisymmetric numerical-relativity simulations. We find that the peak strain amplitude of gravitational waves emitted during the black-hole formation is $\approx 5 \times 10^{-21}$ at the frequency $f \approx 5$\,mHz for an event at the cosmological redshift $z=3$, if the collapsing SMS core is in the hydrogen-burning phase. Such gravitational waves will be detectable by space laser interferometric detectors like eLISA with signal-to-noise ratio $\approx 10$, if the sensitivity is as high as LISA for $f=1$--10\,mHz. The detection of the gravitational-wave signal will provide a potential opportunity for testing the direct-collapse scenario for the formation of a seed of SMBHs.


title: Gauge theories on compact toric surfaces, conformal field theories and equivariant Donaldson invariants

abstract: We show that equivariant Donaldson polynomials of compact toric surfaces can be calculated as residues of suitable combinations of Virasoro conformal blocks, by building on AGT correspondence between N = 2 supersymmetric gauge theories and two-dimensional conformal field theory.


title: An Approach to Stable Gradient Descent Adaptation of Higher-Order Neural Units

abstract: Stability evaluation of a weight-update system of higher-order neural units (HONUs) with polynomial aggregation of neural inputs (also known as classes of polynomial neural networks) for adaptation of both feedforward and recurrent HONUs by a gradient descent method is introduced. An essential core of the approach is based on spectral radius of a weight-update system, and it allows stability monitoring and its maintenance at every adaptation step individually. Assuring stability of the weight-update system (at every single adaptation step) naturally results in adaptation stability of the whole neural architecture that adapts to target data. As an aside, the used approach highlights the fact that the weight optimization of HONU is a linear problem, so the proposed approach can be generally extended to any neural architecture that is linear in its adaptable parameters.


title: Adaptive and Scalable Android Malware Detection through Online Learning

abstract: It is well-known that malware constantly evolves so as to evade detection and this causes the entire malware population to be non-stationary. Contrary to this fact, prior works on machine learning based Android malware detection have assumed that the distribution of the observed malware characteristics (i.e., features) do not change over time. In this work, we address the problem of malware population drift and propose a novel online machine learning based framework, named DroidOL to handle it and effectively detect malware. In order to perform accurate detection, security-sensitive behaviors are captured from apps in the form of inter-procedural control-flow sub-graph features using a state-of-the-art graph kernel. In order to perform scalable detection and to adapt to the drift and evolution in malware population, an online passive-aggressive classifier is used. In a large-scale comparative analysis with more than 87,000 apps, DroidOL achieves 84.29% accuracy outperforming two state-of-the-art malware techniques by more than 20% in their typical batch learning setting and more than 3% when they are continuously re-trained. Our experimental findings strongly indicate that online learning based approaches are highly suitable for real-world malware detection.


title: Experimental violation of the Leggett-Garg inequality in a 3-level system

abstract: The Leggett-Garg (LG) test of macroscopic realism involves a series of dichotomic non-invasive measurements that are used to calculate a function which has a fixed upper bound for a macrorealistic system and a larger upper bound for a quantum system. The quantum upper bound depends on both the details of the measurement and the dimension of the system. Here we present an LG experiment on a three-level quantum system, which produces a larger theoretical quantum upper bound than that of a two-level quantum system. The experiment is carried out in nuclear magnetic resonance (NMR) and consists of the LG test as well as a test of the ideal assumptions associated with the experiment, such as measurement non-invasiveness. The non-invasive measurements are performed via the modified ideal negative result measurement scheme on a three-level system. Once these assumptions are tested, the violation becomes small, despite the fact that the LG value itself is large. Our results showcase the advantages of using the modified measurement scheme that can reach the higher LG values, as they give more room for hypothetical malicious errors in a real experiment


title: A New Fluid Dynamical Model Coupling Heat with Application to Interior Separations

abstract: Based on the Boussinesq equations and the equation of state, a new fluid dynamical model coupling heat is established. Furthermore, the conditions for interior separation, which are determined by the initial conditions, are obtained. This result is derived from the new model by using the interior separation theorem which was established by T. Ma and S. Wang in \cite{TM-SW1,TM-SW3}. The most important application of this result is to predict when and where tornado and hurricane will occur.


title: Fast robustness quantification with variational Bayes

abstract: Bayesian hierarchical models are increasing popular in economics. When using hierarchical models, it is useful not only to calculate posterior expectations, but also to measure the robustness of these expectations to reasonable alternative prior choices. We use variational Bayes and linear response methods to provide fast, accurate posterior means and robustness measures with an application to measuring the effectiveness of microcredit in the developing world.