title: Selection biases in empirical p(z) methods for weak lensing

abstract: To measure the mass of foreground objects with weak gravitational lensing, one needs to estimate the redshift distribution of lensed background sources. This is commonly done in an empirical fashion, i.e. with a reference sample of galaxies of known spectroscopic redshift, matched to the source population. In this work, we develop a simple decision tree framework that, under the ideal conditions of a large, purely magnitude-limited reference sample, allows an unbiased recovery of the source redshift probability density function p(z), as a function of magnitude and color. We use this framework to quantify biases in empirically estimated p(z) caused by selection effects present in realistic reference and weak lensing source catalogs, namely (1) complex selection of reference objects by the targeting strategy and success rate of existing spectroscopic surveys and (2) selection of background sources by the success of object detection and shape measurement at low signal-to-noise. For intermediate-to-high redshift clusters, and for depths and filter combinations appropriate for ongoing lensing surveys, we find that (1) spectroscopic selection can cause biases above the 10 per cent level, which can be reduced to 5 per cent by optimal lensing weighting, while (2) selection effects in the shape catalog bias mass estimates at or below the 2 per cent level. This illustrates the importance of completeness of the reference catalogs for empirical redshift estimation.


title: Nonlocal Symmetries, Spectral Parameter and Minimal Surfaces in AdS/CFT

abstract: We give a general account of nonlocal symmetries in symmetric space models and their relation to the AdS/CFT correspondence. In particular, we study a master symmetry which generates the spectral parameter and acts as a level-raising operator on the classical Yangian generators. The master symmetry extends to an infinite tower of symmetries with nonlocal Casimir elements as associated conserved charges. We discuss the algebraic properties of these symmetries and establish their role in explaining the recently observed one-parameter deformation of holographic Wilson loops. Finally, we provide a numerical framework, in which discretized minimal surfaces and their master symmetry deformation can be calculated.


title: On the rotation of nuclear star clusters formed by cluster-inspirals

abstract: Nuclear Star Clusters (NSCs) are commonly observed in the centres of most galactic nuclei, including our own Milky Way. While their study can reveal important information about the build-up of the innermost regions of galaxies, the physical processes that regulate their formation are still poorly understood. NSCs might have been formed through gas infall and subsequent in situ star formation, and/or through the infall and merging of multiple star clusters into the centre of the galaxy. Here, we investigate the viability of the latter, by studying direct N-body simulations of inspiralling clusters to the centre of a Milky-Way-like nuclear bulge that hosts a massive black hole. We find that the NSC that forms through this process can show both morphological and kinematical properties that make it comparable with observations of the Milky Way NSC, including significant rotation- a fact that has been so far attributed mainly to gas infall. We explore its kinematic evolution, to see if and how the merger history can imprint fossil records on its dynamical structure. Moreover, we study the effect of stellar foreground contamination in the line-of-sight kinematics of the NSC. Our study shows that no fine tuning of the orientation of the infalling globular clusters is necessary to result in a rotating NSC. We suggest that cluster-inspiral is a viable mechanism for the formation of rotating NSCs.


title: The Rest-Frame Optical Morphology of Emission Line Galaxies at 2 < z < 3: Evidence for Inside-Out Formation in Low-Mass Galaxies

abstract: We compare the rest-frame ultraviolet and rest-frame optical morphologies of 2 < z < 3 star-forming galaxies in the GOODS-S field using Hubble Space Telescope WFC3 and ACS images from the CANDELS, GOODS, and ERS programs. We show that the distribution of sizes and concentrations for 1.90 < z < 2.35 galaxies selected via their rest-frame optical emission-lines are statistically indistinguishable from those of Lyman-alpha emitting systems found at z ~ 2.1 and z ~ 3.1. We also show that the z > 2 star-forming systems of all sizes and masses become smaller and more compact as one shifts the observing window from the UV to the optical. We argue that this offset is due to inside-out galaxy formation over the first ~ 2 Gyr of cosmic time.


title: A Characteristic Scale for Cold Gas

abstract: We find that clouds of optically-thin, pressure-confined gas are prone to fragmentation as they cool below $\sim10^6$ K. This fragmentation follows the lengthscale $\sim{c}_{\text{s}}\,t_{\text{cool}}$, ultimately reaching very small scales ($\sim{0.1} \text{pc}/n$) as they reach the temperature $\sim10^4$ K at which hydrogen recombines. While this lengthscale depends on the ambient pressure confining the clouds, we find that the column density through an individual fragment $N_{\text{cloudlet}}\sim10^{17} \text{cm}^{-3}$ is essentially independent of environment; this column density represents a characteristic scale for atomic gas at $10^4$ K. We therefore suggest that "clouds" of cold, atomic gas may in fact have the structure of a mist or a fog, composed of tiny fragments dispersed throughout the ambient medium. We show that this scale emerges in hydrodynamic simulations, and that the corresponding increase in the surface area may imply rapid entrainment of cold gas. We also apply it to a number of observational puzzles, including the large covering fraction of diffuse gas in galaxy halos, the broad line widths seen in quasar and AGN spectra, and the entrainment of cold gas in galactic winds. While our simulations make a number of assumptions and thus have associated uncertainties, we show that this characteristic scale is consistent with a number of observations, across a wide range of astrophysical environments. We discuss future steps for testing, improving, and extending our model.


title: Statistical properties of damped Lyman-alpha systems from Sloan Digital Sky Survey DR12

abstract: We present new estimates for the statistical properties of damped Lyman-$\alpha$ absorbers (DLAs). We compute the column density distribution function at $z>2$, the line density, $\mathrm{d}N/\mathrm{d}X$, and the neutral hydrogen density, $\Omega_\mathrm{DLA}$. Our estimates are derived from the DLA catalogue of Garnett 2016, which uses the SDSS-III DR12 quasar spectroscopic survey. This catalogue provides a probability that a given spectrum contains a DLA, allowing us to use even the noisiest data without biasing our results and thus substantially increase our sample size. We measure a non-zero column density distribution function at $95\%$ confidence for all column densities $N_\mathrm{HI} < 5\times 10^{22}$ cm$^{-2}$. We make the first measurements from SDSS of $\mathrm{d}N/\mathrm{d}X$ and $\Omega_\mathrm{DLA}$ at $z>4$. We show that our results are insensitive to the signal-to-noise ratio of the spectra, but that there is a residual dependence on quasar redshift for $z<2.5$, which may be due to remaining systematics in our analysis.


title: Transverse Force on Transversely Polarized Quarks in Longitudinally Polarized Nucleons

abstract: We study the semi-classical interpretation of the $x^3$ and $x^4$ moments of twist-3 parton distribution functions (PDFs). While no semi-classical interpretation for the higher moments of $g_T(x)$ and $e(x)$ was find, the $x^3$ moment of the chirally odd spin-dependent twist-3 PDF $h_L^3(x)$ can be related to the longitudinal gradient of the transverse force on transversely polarized quarks in longitudinally polarized nucleons in a DIS experiment. We discuss how this result relates to the torque acting on a quark in the same experiment. This has further implications for comparisons between tha Jaffe-Manohar and the Ji decompositions of the nucleon spin.


title: Radio Properties of the BAT AGN: the FIR-Radio Relation, the Fundamental Plane, and the Main Sequence of Star Formation

abstract: We have conducted 22 GHz 1" JVLA imaging of 70 radio-quiet AGN from the Swift-BAT survey. We find radio cores in all but three objects. The radio morphologies of the sample fall into three groups: compact and core-dominated, extended, and jet-like. We spatially decompose each image into core flux and extended flux, and compare the extended radio emission to that predicted from previous Herschel observations using the canonical FIR-radio relation. After removing the AGN contribution to the FIR and radio flux densities, we find that the relation holds remarkably well despite the potentially different star formation physics in the circumnuclear environment. We also compare our core radio flux densities with predictions of coronal models and scale-invariant jet models for the origin of radio emission in radio-quiet AGN, and find general consistency with both models. However, we find that the $L_{\mathrm{R}} / L_{\mathrm{X}}$ relation does not distinguish between star formation and non-relativistic AGN-driven outflows as the origin of radio emission in radio-quiet AGN. Finally, we examine where objects with different radio morphologies fall in relation to the main sequence of star formation, and conclude that those AGN that fall below the main sequence, as X-ray selected AGN have been found to do, have core-dominated or jet-like 22 GHz morphologies.


title: Distortion estimates for barycentric coordinates on Riemannian simplices

abstract: We define barycentric coordinates on a Riemannian manifold using Karcher's center of mass technique applied to point masses for n+1 sufficiently close points, determining an n-dimensional Riemannian simplex defined as a "Karcher simplex." Specifically, a set of weights is mapped to the Riemannian center of mass for the corresponding point measures on the manifold with the given weights. If the points lie sufficiently close and in general position, this map is smooth and injective, giving a coordinate chart. We are then able to compute first and second derivative estimates of the coordinate chart. These estimates allow us to compare the Riemannian metric with the Euclidean metric induced on a simplex with edge lengths determined by the distances between the points. We show that these metrics differ by an error that shrinks quadratically with the maximum edge length. With such estimates, one can deduce convergence results for finite element approximations of problems on Riemannian manifolds.


title: Planck's Dusty GEMS. II. Extended [CII] emission and absorption in the Garnet at z=3.4 seen with ALMA

abstract: We present spatially resolved ALMA [CII] observations of the bright (flux density S=400 mJy at 350 microns), gravitationally lensed, starburst galaxy PLCK G045.1+61.1 at z=3.427, the "Garnet". This source is part of our set of "Planck's Dusty GEMS", discovered with the Planck's all-sky survey. Two emission-line clouds with a relative velocity offset of ~600 km/s extend towards north-east and south-west, respectively, of a small, intensely star-forming clump with a star-formation intensity of 220 Msun/yr/kpc^2, akin to maximal starbursts. [CII] is also seen in absorption, with a redshift of +350 km/s relative to the brightest CO component. [CII] absorption has previously only been found in the Milky Way along sightlines toward bright high-mass star-forming regions, and this is the first detection in another galaxy. Similar to Galactic environments, the [CII] absorption feature is associated with [CI] emission, implying that this is diffuse gas shielded from the UV radiation of the clump, and likely at large distances from the clump. Since absorption can only be seen in front of a continuum source, the gas in this structure can definitely be attributed to gas flowing towards the clump. The absorber could be part of a cosmic filament or merger debris being accreted onto the galaxy. We discuss our results also in light of the on-going debate of the origin of the [CII] deficit in dusty star-forming galaxies.


title: Born Dry in the Photo-Evaporation Desert: Kepler's Ultra-Short-Period Planets Formed Water-Poor

abstract: Recent surveys have uncovered an exciting new population of ultra-short-period (USP) planets with orbital periods less than a day. These planets typically have radii <1.5 Earth radii, indicating that they likely have rocky compositions. This stands in contrast to the overall distribution of planets out to ~100 days, which is dominated by low-density sub-Neptunes above 2 Earth radii, which must have gaseous envelopes to explain their size. However, on ultra-short-period orbits, planets are bombarded by intense levels of photo-ionizing radiation and consequently gaseous sub-Neptunes are extremely vulnerable to losing their envelopes to atmospheric photo-evaporation. Using models of planet evolution, I show that the rocky USP planets can easily be produced as the evaporated remnants of sub-Neptunes with H/He envelopes and that we can therefore understand the observed dearth of USP sub-Neptunes as a natural consequence of photo-evaporation. Critically however, planets on USP orbits could often retain their envelopes if they formed with very high-metallicity water dominated envelopes. Such water-rich planets would commonly be >2 Earth radii today, which is inconsistent with the observed evaporation desert, indicating that most USP planets likely formed from water-poor material within the snow-line. Finally, I examine the special case of 55 Cancri e and its possible composition in the light of recent observations, and discuss the prospects for further characterizing this population with future observations.


title: Nematic fluctuations balancing the zoo of phases in half-filled quantum Hall systems

abstract: Half-filled Landau levels form a zoo of strongly correlated phases. These include non-Fermi liquids (NFL), fractional quantum Hall (FQH) states, nematic phases, and FQH nematic phases. This diversity poses the question: what keeps the balance between the seemingly unrelated phases? The answer is elusive because the Halperin-Lee-Read (HLR) description that offers a natural departure point is inherent strongly coupled. But the observed nematic phases suggest nematic fluctuations play an important role. To study this possibility, we apply a recently formulated controlled double expansion approach in large-$N$ composite fermion flavors and small $\epsilon$ non-analytic bosonic action to the case with both gauge and nematic boson fluctuations. In the vicinity of a nematic quantum critical line (NQCL), we find that depending on the amount of screening of the gauge- and nematic-mediated interactions controlled by $\epsilon$'s, the RG flow points to all four mentioned correlated phases. When pairing preempts the nematic phase, NFL behavior is possible at temperatures above the pairing transition. We conclude by discussing measurements at low tilt angles which could reveal the stabilization of the FQH phase by nematic fluctuations.


title: Irreversibility and correlations in coupled quantum oscillators

abstract: We investigate the link between the irreversibility generated by a stationary dissipative process and the correlations established within a composite quantum system. We provide two equivalent expressions for the entropy generated in the non-equilibrium steady state of coupled quantum harmonic oscillators that allow for a simple interpretation of the onset of irreversibility. We then unveil a quantitative relation between the entropy production rate and correlations, both total and quantum, built between the two oscillators. In the small-coupling limit, the entropy production rate is shown to be proportional to both the mutual information and the quantum correlations. We apply our results to the analysis of the optomechanical interaction between a nano-mechanical resonator and a cavity field, and show that the behavior of the entropy production captures the peculiar features of the model, such as sideband cooling and amplification.


title: Herschel Observations and Updated Spectral Energy Distributions of Five Sunlike Stars with Debris Disks

abstract: Observations from the Herschel Space Observatory have more than doubled the number of wide debris disks orbiting Sunlike stars to include over 30 systems with R > 100 AU. Here we present new Herschel PACS and re-analyzed Spitzer MIPS photometry of five Sunlike stars with wide debris disks, from Kuiper belt size to R > 150 AU. The disk surrounding HD 105211 is well resolved, with an angular extent of >14" along the major axis, and the disks of HD 33636, HD 50554, and HD 52265 are extended beyond the PACS PSF size (50% of energy enclosed within radius 4.23"). HD 105211 also has a 24-micron infrared excess that was previously overlooked because of a poorly constrained photospheric model. Archival Spitzer IRS observations indicate that the disks have small grains of minimum radius ~3 microns, though the minimum grain gradius is larger than the radiation pressure blowout size in all systems. If modeled as single-temperature blackbodies, the disk temperatures would all be <60 K. Our radiative transfer models predict actual disk radii approximately twice the radius of model blackbody disks. We find that the Herschel photometry traces dust near the source population of planetesimals. The disk luminosities are in the range 0.00002 <= L/L* <= 0.0002, consistent with collisions in icy planetesimal belts stirred by Pluto-size dwarf planets.


title: IFU spectroscopy of 10 early-type galactic nuclei - IV. Properties of the circumnuclear stellar kinematics

abstract: The study of stellar kinematic properties may provide hints on the formation and evolution of elliptical and lenticular galaxies. Although most previous studies have focused on the large scale of these galaxies, their central regions (scales of $\sim$ 100 pc) may contain important clues about their structure, such as kinematically decoupled cores. This is the fourth paper on a sample of 10 massive ($\sigma$ $>$ 200 km s$^{-1}$) and nearby ($d$ $<$ 31 Mpc) early-type galaxies, observed with the integral field unit of the Gemini South Multi Object Spectrograph. Here, we analyse the properties of the stellar kinematics in the circumnuclear region. We fitted the line-of-sight velocity distribution with a Gauss-Hermite function. In seven galaxies of the sample, we detected a rotation pattern in their radial velocity maps that are anti-correlated with $h_3$. We interpret this as stellar structures in rotation embedded in the bulges of the objects. Comparing the stellar kinematic results with the PCA Tomography results and also with the gas kinematic results of IC 5181, it seems that this object may have a non-axisymmetric potential at its centre. The velocity dispersion maps of four objects have a nuclear peak, which must correspond, in part, to unresolved stellar rotation. In NGC 1404, we detected a kinematic decoupled core with an extension of $\sim$ 200 pc. This galaxy also has a $\sigma$-drop in the centre, which may be related to both stellar components in counterrotation or with a kinematically cold star-forming region.


title: On the Algorithmic Significance and Analysis of the Method of DaYan Deriving One

abstract: Modulo inverse is an important arithmetic operation. Many famous algorithms in public key cryptography require to compute modulo inverse. It is argued that the method of DaYan deriving one of Jiushao Qin provides the most concise and transparent way of computing modulo inverse. Based on the rule of taking the least positive remainder in division, this paper presents a more precise algorithmic description of the method of DaYan deriving one to reflect Qin's original idea. Our form of the algorithm is straightforward and different from the ones in the literature. Some additional information can be revealed easily from the process of DaYan deriving one, e.g., the invariance property of the permanent of the state, natural connection to continued fractions. Comparison of Qin'a algorithm and the modern form of the Extended Euclidean algorithm is also given. Since DaYan deriving one is the key technical ingredient of Jiushao Qin's DaYan aggregation method (aka the Chinese Remainder Theorem), we include some explanation to the latter as well.


title: Supernova rates from the SUDARE VST-Omegacam search II. Rates in a galaxy sample

abstract: This is the second paper of a series in which we present measurements of the Supernova (SN) rates from the SUDARE survey. In this paper, we study the trend of the SN rates with the intrinsic colours, the star formation activity and the mass of the parent galaxies. We have considered a sample of about 130000 galaxies and a SN sample of about 50 events. We found that the SN Ia rate per unit mass is higher by a factor of six in the star-forming galaxies with respect to the passive galaxies. The SN Ia rate per unit mass is also higher in the less massive galaxies that are also younger. These results suggest a distribution of the delay times (DTD) less populated at long delay times than at short delays. The CC SN rate per unit mass is proportional to both the sSFR and the galaxy mass. The trends of the Type Ia and CC SN rates as a function of the sSFR and the galaxy mass that we observed from SUDARE data are in agreement with literature results at different redshifts. The expected number of SNe Ia is in agreement with the observed one for all four DTD models considered both in passive and star-forming galaxies so we can not discriminate between different progenitor scenarios. The expected number of CC SNe is higher than the observed one, suggesting a higher limit for the minimum progenitor mass. We also compare the expected and observed trends of the SN Ia rate with the intrinsic U - J colour of the parent galaxy, assumed as a tracer of the age distribution. While the slope of the relation between the SN Ia rate and the U - J color in star-forming galaxies can be reproduced well by all four DTD models considered, only the steepest of them is able to account for the rates and colour in star-forming and passive galaxies with the same value of the SN Ia production efficiency.


title: An optically detected magnetic resonance spectrometer with tunable laser excitation and wavelength resolved infrared detection

abstract: We present the development and performance of an optically detected magnetic resonance (ODMR) spectrometer. The spectrometer represents advances over similar instruments in three areas: i) the exciting light is a tunable laser source which covers much of the visible light range, ii) the optical signal is analyzed with a spectrograph, iii) the emitted light is detected in the near-infrared domain. The need to perform ODMR experiments on single-walled carbon nanotubes motivated the present development and we demonstrate the utility of the spectrometer on this material. The performance of the spectrometer is critically compared to similar instruments. The present development opens the way to perform ODMR studies on various new materials such as molecules and luminescent quantum dots where the emission is in the near-infrared range and requires a well-defined excitation wavelength and analysis of the scattered light.


title: A Tour of TensorFlow

abstract: Deep learning is a branch of artificial intelligence employing deep neural network architectures that has significantly advanced the state-of-the-art in computer vision, speech recognition, natural language processing and other domains. In November 2015, Google released $\textit{TensorFlow}$, an open source deep learning software library for defining, training and deploying machine learning models. In this paper, we review TensorFlow and put it in context of modern deep learning concepts and software. We discuss its basic computational paradigms and distributed execution model, its programming interface as well as accompanying visualization toolkits. We then compare TensorFlow to alternative libraries such as Theano, Torch or Caffe on a qualitative as well as quantitative basis and finally comment on observed use-cases of TensorFlow in academia and industry.


title: Electromagnetic Effects on Cracking of Anisotropic Polytropes

abstract: In this paper, we study the electromagnetic effects on stability of spherically symmetric anisotropic fluid distribution satisfying two polytropic equations of state and construct the corresponding generalized Tolman Oppenheimer Volkoff equations. We apply perturbations on matter variables via polytropic constant as well as polytropic index and formulate the force distribution function. It is found that the compact object is stable for feasible choice of perturbed polytropic index in the presence of charge.


title: Counterion-Induced Swelling of Ionic Microgels

abstract: Ionic microgel particles, when dispersed in a solvent, swell to equilibrium sizes that are governed by a balance between electrostatic and elastic forces. Tuning of particle size by varying external stimuli, such as $p$H, salt concentration, and temperature, has relevance for drug delivery, microfluidics, and filtration. To model swelling of ionic microgels, we derive a statistical mechanical theorem, which proves exact within the cell model, for the electrostatic contribution to the osmotic pressure inside a permeable colloidal macroion. Applying the theorem, we demonstrate how the distribution of counterions within an ionic microgel determines the internal osmotic pressure. By combining the electrostatic pressure, which we compute via both Poisson-Boltzmann theory and molecular dynamics simulation, with the elastic pressure, modeled via the Flory-Rehner theory of swollen polymer networks, we show how deswelling of ionic microgels with increasing concentration of particles can result from a redistribution of counterions that reduces electrostatic pressure. A linearized approximation for the electrostatic pressure, which proves remarkably accurate, provides physical insight and greatly eases numerical calculations for practical applications. Comparing with experiments, we explain why soft particles in deionized suspensions deswell upon increasing concentration and why this effect may be suppressed at higher ionic strength. The failure of the uniform ideal-gas approximation to adequately account for counterion-induced deswelling below close packing of microgels is attributed to neglect of spatial variation of the counterion density profile and the electrostatic pressure of incompletely neutralized macroions.


title: Hidden Fermi-liquid charge transport in the antiferromagnetic phase of the electron-doped cuprates

abstract: Systematic analysis of the planar resistivity, Hall effect and cotangent of the Hall angle for the electron-doped cuprates reveals underlying Fermi-liquid behavior even deep in the antiferromagnetic part of the phase diagram. The transport scattering rate exhibits a quadratic temperature dependence, and is nearly independent of doping, compound and carrier type (electrons vs. holes), and hence universal. Our analysis moreover indicates that the material-specific resistivity upturn at low temperatures and low doping has the same origin in both electron- and hole-doped cuprates.


title: 5G-ICN : Delivering ICN Services over 5G using Network Slicing

abstract: The challenging requirements of 5G--from both the applications and the architecture perspectives--motivate the need to explore the feasibility of delivering services over new network architectures. As 5G proposes application-centric network slicing, which enables the use of new data planes realizable over a programmable compute, storage, and transport infrastructure, we consider Information-centric Networking (ICN) as a candidate network architecture to realize 5G objectives. This can co-exist with end-to-end IP services that are offered today. To this effect, we first propose a 5G-ICN architecture and compare its benefits (i.e., innovative services offered by leveraging ICN features) to current 3GPP-based mobile architectures. We then introduce a general application-driven framework that emphasizes on the flexibility afforded by Network Function Virtualization (NFV) and Software Defined Networking (SDN) over which 5G-ICN can be realized. We specifically focus on the issue of how mobility-as-a-service (MaaS) can be realized as a 5G-ICN slice, and give an in-depth overview on resource provisioning and inter-dependencies and -coordinations among functional 5G-ICN slices to meet the MaaS objectives.


title: The Physics of antineutrinos in DUNE and resolution of octant degeneracy

abstract: We study the capability of the DUNE experiment, which will be the first beam based experiment with a wide band flux profile, to uncover the octant of the leptonic mixing angle $\theta_{23}$ (i.e., $\theta_{23}$ is $< 45^\circ$ or $>45^\circ$). In this work, we find that for the DUNE baseline of 1300 km, due to enhanced matter effect, the neutrino and antineutrino probabilities are different which creates a tension in the case of combined runs because of which octant sensitivity also can come from disappearance channel. In view of this, we study the physics of antineutrinos in DUNE and explore the role of antineutrinos run that is required to resolve the octant degeneracy at a certain confidence levels.


title: Nambu structures on Lie algebroids and their modular classes

abstract: We introduce the notion of the modular class of a Lie algebroid equipped with a Nambu structure. In particular, we recover the modular class of a Nambu-Poisson manifold $M$ with its Nambu tensor $\Lambda$ as the modular class of the tangent Lie algebroid $TM$ with Nambu structure $\Lambda.$ We show that many known properties of the modular class of a Nambu-Poisson manifold that of a Lie algebropid extend to the setting of a Lie algebroid with Nambu structure. Finally, we prove that for a large class of Nambu-Poisson manifolds considered as tangent Lie algebroids with Nambu structures, the associated modular classes are closely related to Evens-Lu-Weinstein modular classes of Lie algebroids.


title: Recursion-Theoretic Ranking and Compression

abstract: For which sets A does there exist a mapping, computed by a total or partial recursive function, such that the mapping, when its domain is restricted to A, is a 1-to-1, onto mapping to $\Sigma^*$? And for which sets A does there exist such a mapping that respects the lexicographical ordering within A? Both cases are types of perfect, minimal hash functions. The complexity-theoretic versions of these notions are known as compression functions and ranking functions. The present paper defines and studies the recursion-theoretic versions of compression and ranking functions, and in particular studies the question of which sets have, or lack, such functions. Thus, this is a case where, in contrast to the usual direction of notion transferal, notions from complexity theory are inspiring notions, and an investigation, in computability theory. We show that the rankable and compressible sets broadly populate the 1-truth-table degrees, and we prove that every nonempty coRE cylinder is recursively compressible.


title: VLT FORS2 comparative transmission spectroscopy: Detection of Na in the atmosphere of WASP-39b from the ground

abstract: We present transmission spectroscopy of the warm Saturn-mass exoplanet WASP-39b made with the Very Large Telescope (VLT) FOcal Reducer and Spectrograph (FORS2) across the wavelength range 411-810nm. The transit depth is measured with a typical precision of 240 parts per million (ppm) in wavelength bins of 10nm on a V = 12.1 magnitude star. We detect the sodium absorption feature (3.2-sigma) and find evidence for potassium. The ground-based transmission spectrum is consistent with Hubble Space Telescope (HST) optical spectroscopy, strengthening the interpretation of WASP-39b having a largely clear atmosphere. Our results demonstrate the great potential of the recently upgraded FORS2 spectrograph for optical transmission spectroscopy, obtaining HST-quality light curves from the ground.


title: Quantum-Secure Symmetric-Key Cryptography Based on Hidden Shifts

abstract: Recent results of Kaplan et al., building on previous work by Kuwakado and Morii, have shown that a wide variety of classically-secure symmetric-key cryptosystems can be completely broken by quantum chosen-plaintext attacks (qCPA). In such an attack, the quantum adversary has the ability to query the cryptographic functionality in superposition. The vulnerable cryptosystems include the Even-Mansour block cipher, the three-round Feistel network, the Encrypted-CBC-MAC, and many others. In this work, we study simple algebraic adaptations of such schemes that replace $(\mathbb Z/2)^n$ addition with operations over alternate finite groups--such as $\mathbb Z/{2^n}$--and provide evidence that these adaptations are qCPA-secure. These adaptations furthermore retain the classical security properties (and basic structural features) enjoyed by the original schemes. We establish security by treating the (quantum) hardness of the well-studied Hidden Shift problem as a basic cryptographic assumption. We observe that this problem has a number of attractive features in this cryptographic context, including random self-reducibility, hardness amplification, and--in many cases of interest--a reduction from the "search version" to the "decisional version." We then establish, under this assumption, the qCPA-security of several such Hidden Shift adaptations of symmetric-key constructions. We show that a Hidden Shift version of the Even-Mansour block cipher yields a quantum-secure pseudorandom function, and that a Hidden Shift version of the Encrypted CBC-MAC yields a collision-resistant hash function. Finally, we observe that such adaptations frustrate the direct Simon's algorithm-based attacks in more general circumstances, e.g., Feistel networks and slide attacks.


title: Data-centric Dynamic Partial Order Reduction

abstract: We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class. We introduce a new equivalence on traces under sequential consistency semantics, which we call the observation equivalence. Two traces are observationally equivalent if every read event observes the same write event in both traces. While the traditional Mazurkiewicz equivalence is control-centric, our new definition is data-centric. We show that our observation equivalence is coarser than the Mazurkiewicz equivalence, and in many cases even exponentially coarser. We devise a DPOR exploration of the trace space, called data-centric DPOR, based on the observation equivalence. For acyclic architectures, our algorithm is guaranteed to explore exactly one representative trace from each observation class, while spending polynomial time per class. Hence, our algorithm is optimal wrt the observation equivalence, and in several cases explores exponentially fewer traces than any enumerative method based on the Mazurkiewicz equivalence. For cyclic architectures, we consider an equivalence between traces which is finer than the observation equivalence; but coarser than the Mazurkiewicz equivalence, and in some cases is exponentially coarser. Our data-centric DPOR algorithm remains optimal under this trace equivalence.


title: Quantitative Determination of the Probability of Multiple-Motor Transport in Bead-Based Assays

abstract: With their longest dimension typically being less than 100 nm, molecular motors are significantly below the optical-resolution limit. Despite substantial advances in fluorescence-based imaging methodologies, labeling with beads remains critical for optical-trapping-based investigations of molecular motors. A key experimental challenge in bead-based assays is that the number of motors on a bead is not well defined. Particularly for single-molecule investigations, the probability of single versus multiple-motor events has not been experimentally investigated. Here, we used bead travel distance as an indicator of multiple-motor transport and determined the lower-bound probability of bead transport by two or more motors. We limited the ATP concentration to increase our detection sensitivity for multiple- versus single-kinesin transport. Surprisingly, for all but the lowest motor number examined, our measurements exceeded estimations of a previous model by R2-fold. To bridge this apparent gap between theory and experiment, we derived a closed-form expression for the probability of bead transport by multiple motors, and constrained the only free parameter in this model using our experimental measurements. Our data indicate that kinesin extends to ~57 nm during bead transport, suggesting that kinesin exploits its conformational flexibility to interact with microtubules at highly curved interfaces such as those present for vesicle transport in cells. To our knowledge, our findings provide the first experimentally constrained guide for estimating the probability of multiple-motor transport in optical trapping studies. The experimental approach utilized here (limiting ATP concentration) may be generally applicable to studies in which molecular motors are labeled with cargos that are artificial or are purified from cellular extracts.


title: The attosecond regime of impulsive stimulated electronic Raman excitation

abstract: We have calculated the resonant and nonresonant contributions to attosecond impulsive stimulated electronic Raman scattering (SERS) in regions of autoionizing transitions. Comparison with Multiconfiguration Time-Dependent Hartree-Fock (MCTDHF) calculations find that attosecond SERS is dominated by continuum transitions and not autoionizing resonances. These results agree quantitatively with a rate equation that includes second-order Raman and first-and second-order photoionization rates. Such rate models can be extended to larger molecular systems. Our results indicate that attosecond SERS transition probabilities may be understood in terms of two-photon generalized cross sections even in the high-intensity limit for extreme ultraviolet wavelengths.


title: Non-Intrusive Load Monitoring: A Review and Outlook

abstract: With the roll-out of smart meters the importance of effective non-intrusive load monitoring (NILM) techniques has risen rapidly. NILM estimates the power consumption of individual devices given their aggregate consumption. In this way, the combined consumption must only be monitored at a single, central point in the household, providing various advantages such as reduced cost for metering equipment. In this paper we discuss the fundamental building-blocks of NILM, first giving a taxonomy of appliance models and device signatures and then explaining common supervised and unsupervised learning methods. Furthermore, we outline a fundamental algorithm that tackles the task of NILM. Subsequently, this paper reviews recent research that has brought novel insight to the field and more effective techniques. Finally, we formulate future challenges in the domain of NILM and smart meters.


title: Microtubule Defects Influence Kinesin-Based Transport In Vitro

abstract: Microtubules are protein polymers that form "molecular highways" for long-range transport within living cells. Molecular motors actively step along microtubules to shuttle cellular materials between the nucleus and the cell periphery; this transport is critical for the survival and health of all eukaryotic cells. Structural defects in microtubules exist, but whether these defects impact molecular motor-based transport remains unknown. Here, we report a new, to our knowledge, approach that allowed us to directly investigate the impact of such defects. Using a modified optical-trapping method, we examined the group function of a major molecular motor, conventional kinesin, when transporting cargos along individual microtubules. We found that microtubule defects influence kinesin-based transport in vitro. The effects depend on motor number: cargos driven by a few motors tended to unbind prematurely from the microtubule, whereas cargos driven by more motors tended to pause. To our knowledge, our study provides the first direct link between microtubule defects and kinesin function. The effects uncovered in our study may have physiological relevance in vivo.


title: Interplay between velocity and travel distance of kinesin-based transport in the presence of tau

abstract: Although the disease-relevant microtubule-associated protein tau is known to severely inhibit kinesin-based transport in vitro, the potential mechanisms for reversing this detrimental effect to maintain healthy transport in cells remain unknown. Here we report the unambiguous upregulation of multiple-kinesin travel distance despite the presence of tau, via decreased single-kinesin velocity. Interestingly, the presence of tau also modestly reduced cargo velocity in multiple-kinesin transport, and our stochastic simulations indicate that the tau-mediated reduction in single-kinesin travel underlies this observation. Taken together, our observations highlight a nontrivial interplay between velocity and travel distance for kinesin transport, and suggest that single-kinesin velocity is a promising experimental handle for tuning the effect of tau on multiple-kinesin travel distance.


title: Chemical distribution of HII regions towards the Galactic anticentre

abstract: We study the physical and chemical properties of a sample of HII regions located at RG >11 kpc and present the radial distribution of abundances towards the Galaxy anticentre. We carried out optical spectroscopic observations of nine HII regions with the WHT. The sample was increased by searching the literature for optical observations of regions towards the Galactic anticentre, re-analysing them to obtain a single sample of 23 objects covering the Galactocentric radius from 11 kpc to 18 kpc to be processed in a homogeneous and consistent manner. Accurate electron densities and temperatures of several ionic species were derived in 13 HII regions. These physical parameters were applied to the spectra to determine direct total chemical abundances. For those regions without direct estimations of temperature, chemical abundances were derived by performing tailor-made photoionisation models and/or by using an empirical relation obtained from radio recombination and optical temperatures. We performed weighted least-squares fits to the distribution of the derived abundances along the Galactocentric distances to study the radial gradients of metallicity. The distributions O/H, N/H, S/H, and Ar/H towards the anticentre can be represented by decreasing linear radial gradients, while in the case of N/O abundances the radial distribution is better fitted with a two-zone model. The He/H radial gradient is presented here for the first time; we find a slope that is not significantly different from zero. The derived gradient for oxygen shows a clear decrease with distance with a slope of -0.053dex/kpc. Although a shallower slope at large Galactocentric distances is suggested by our data, the flattening of the distribution cannot be confirmed and more objects towards the anticentre need to be studied in order to establish the true form of the metallicity gradient.


title: 2-Selmer near-companion curves

abstract: Let $E$ and $A$ be elliptic curves over a number field $K$. Let $\chi$ be a quadratic character of $K$. We prove the conjecture posed by Mazur and Rubin on $n$-Selmer near-companion curves in the case $n=2$. Namely, we show if the difference of the $2$-Selmer ranks of $E^\chi$ and $A^\chi$ is bounded independent of $\chi$, there is a $G_K$-isomorphism $E[2] \cong A[2]$.


title: Tuning Multiple Motor Travel Via Single Motor Velocity

abstract: Microtubule-based molecular motors often work in small groups to transport cargos in cells. A key question in understanding transport (and its regulation in vivo) is to identify the sensitivity of multiple-motor-based motion to various single molecule properties. Whereas both single-motor travel distance and microtubule binding rate have been demonstrated to contribute to cargo travel, the role of single-motor velocity is yet to be explored. Here, we recast a previous theoretical study, and make explicit a potential contribution of velocity to cargo travel. We test this possibility experimentally, and demonstrate a strong negative correlation between single-motor velocity and cargo travel for transport driven by two motors. Our study thus discovers a previously unappreciated role of single-motor velocity in regulating multiple-motor transport.


title: Superconducting Vacuum-Gap Crossovers for High Performance Microwave Applications

abstract: The design and fabrication of low-loss wide-bandwidth superconducting vacuum-gap crossovers for high performance millimeter wave applications are described. In order to reduce ohmic and parasitic losses at millimeter wavelengths a vacuum gap is preferred relative to dielectric spacer. Here, vacuum-gap crossovers were realized by using a sacrificial polymer layer followed by niobium sputter deposition optimized for coating coverage over an underlying niobium signal layer. Both coplanar waveguide and microstrip crossover topologies have been explored in detail. The resulting fabrication process is compatible with a bulk micro-machining process for realizing waveguide coupled detectors, which includes sacrificial wax bonding, and wafer backside deep reactive ion etching for creation of leg isolated silicon membrane structures. Release of the vacuum gap structures along with the wax bonded wafer after DRIE is implemented in the same process step used to complete the detector fabrication


title: Using Missing Types to Improve Partial Identification with Application to a Study of HIV Prevalence in Malawi

abstract: Frequently, empirical studies are plagued with missing data. When the data are missing not at random, the parameter of interest is not identifiable in general. Without additional assumptions, we can derive bounds of the parameters of interest, which, unfortunately, are often too wide to be informative. Therefore, it is of great importance to sharpen these worst-case bounds by exploiting additional information. Traditional missing data analysis uses only the information of the binary missing data indicator, that is, a certain data point is either missing or not. Nevertheless, real data often provide more information than a binary missing data indicator, and they often record different types of missingness. In a motivating HIV status survey, missing data may be due to the units' unwillingness to respond to the survey items or their hospitalization during the visit, and may also be due to the units' temporarily absence or relocation. It is apparent that some missing types are more likely to be missing not at random, but other missing types are more likely to be missing at random. We show that making full use of the missing types results in narrower bounds of the parameters of interest. In a real-life example, we demonstrate substantial improvement of more than 50% reduction in bound widths for estimating the prevalence of HIV in rural Malawi. As we illustrate using the HIV study, our strategy is also useful for conducting sensitivity analysis by gradually increasing or decreasing the set of types that are missing at random. In addition, we propose an easy-to-implement method to construct confidence intervals for partially identified parameters with bounds expressed as the minimums and maximums of finite parameters, which is useful for not only our problem but also many other problems involving bounds.


title: Targeted Pseudorandom Generators, Simulation Advice Generators, and Derandomizing Logspace

abstract: Assume that for every derandomization result for logspace algorithms, there is a pseudorandom generator strong enough to nearly recover the derandomization by iterating over all seeds and taking a majority vote. We prove under a precise version of this assumption that $\mathbf{BPL} \subseteq \bigcap_{\alpha > 0} \mathbf{DSPACE}(\log^{1 + \alpha} n)$. We strengthen the theorem to an equivalence by considering two generalizations of the concept of a pseudorandom generator against logspace. A targeted pseudorandom generator against logspace takes as input a short uniform random seed and a finite automaton; it outputs a long bitstring that looks random to that particular automaton. A simulation advice generator for logspace stretches a small uniform random seed into a long advice string; the requirement is that there is some logspace algorithm that, given a finite automaton and this advice string, simulates the automaton reading a long uniform random input. We prove that $\bigcap_{\alpha > 0} \mathbf{promise\mbox{-}BPSPACE}(\log^{1 + \alpha} n) = \bigcap_{\alpha > 0} \mathbf{promise\mbox{-}DSPACE}(\log^{1 + \alpha} n)$ if and only if for every targeted pseudorandom generator against logspace, there is a simulation advice generator for logspace with similar parameters. Finally, we observe that in a certain uniform setting (namely, if we only worry about sequences of automata that can be generated in logspace), targeted pseudorandom generators against logspace can be transformed into simulation advice generators with similar parameters.


title: Three Ways to Count Walks in a Digraph

abstract: We approach the problem of counting the number of walks in a digraph from three different perspectives: enumerative combinatorics, linear algebra, and symbolic dynamics.


title: Dark energy stars: Stable configurations

abstract: In present paper a spherically symmetric stellar configuration has been analyzed by assuming the matter distribution of the stellar configuration is anisotropic in nature and compared with the realistic objects, namely, the low mass X-ray binaries (LMXBs) and X-ray pulsars. The analytic solution has been obtained by utilizing the dark energy equation of state for the interior solution corresponding to the Schwarzschild exterior vacuum solution at the junction interface. Several physical properties like energy conditions, stability, mass-radius ratio, and surface redshift are described through mathematical calculations as well as graphical plots. It is found that obtained mass-radius ration of the compact stars candidates like 4U 1820-30, PSR J 1614-2230, Vela X-1 and Cen X-3 are very much consistent with the observed data by Gangopadhyay et al. (Mon. Not. R. Astron. Soc. 431, 3216 (2013)). So our proposed model would be useful in the investigation of the possible clustering of dark energy.


title: Model-independent determination on $H_0$ using the latest $H(z)$ data

abstract: We perform the improved constraints on the Hubble constant $H_0$ by using the model-independent method, Gaussian Processes. Utilizing the latest 36 $H(z)$ measurements, we obtain $H_0=69.21\pm3.72$ km s$^{-1}$ Mpc$^{-1}$, which is consistent with the Planck 2015 and Riess et al. 2016 analysis at $1\sigma$ confidence level, and reduces the uncertainty from $6.5\%$ (Busti et al. 2014) to $5.4\%$. Different from the results of Busti et al. 2014 by only using 19 $H(z)$ measurements, our reconstruction results of $H(z)$ and the derived values of $H_0$ are independent of the choice of covariance functions.


title: Bounce and Collapse in the Slotheonic Universe

abstract: In this paper, we examine the cosmological dynamics of a slotheon field in a linear potential. The slotheon correction term $\frac{G^{\mu\nu}}{2M^2}\pi_{;\mu}\pi_{;\nu}$ respects the galileon symmetry in curved space time. We demonstrate the future evolution of universe in this model. We show that in this scenario, the universe ends with the Big Crunch singularity like the standard case. The difference being that the time at which the singularity occurs is delayed in the slotheon gravity. The delay crucially depends upon the strength of slotheon correction.


title: Influence of Turbulent Fluctuations on Detonation Propagation

abstract: The present study addresses the reaction zone structure and burning mechanism of unstable detonations. Experiments investigated mainly two-dimensional methane-oxygen cellular detonations in a thin channel geometry. The sufficiently high temporal resolution permitted to determine the PDF of the shock distribution, a power-law with an exponent of -3, and the burning rate of unreacted pockets from their edges - through surface turbulent flames with a speed approximately 3-7 times larger than the laminar one at the local conditions. Numerical simulations were performed using a novel Large Eddy Simulation method where the reactions due to both auto-ignition and turbulent transport and treated exactly at the sub-grid scale in a reaction-diffusion formulation. The model is an extension of Kerstein & Menon's Linear Eddy Model for Large Eddy Simulation to treat flows with shock waves and rapid gasdynamic transients. The two-dimensional simulations recovered well the amplification of the laminar flame speed owing to the turbulence generated mainly by the shear layers originating from the triple points and subsequent Richtmyer-Meshkov instability associated with the internal pressure waves. The simulations clarified how the level of turbulence generated controlled the burning rate of the pockets, the hydrodynamic thickness of the wave, the cellular structure and its distribution. Three-dimensional simulations were found in general good agreement with the two-dimensional ones, in that the sub-grid scale model captured the ensuing turbulent burning once the scales associated with the cellular dynamics, where turbulent kinetic energy is injected, are well resolved.


title: Random fields and the enumerative geometry of lines on real and complex hypersurfaces

abstract: We derive a formula expressing the average number $E_n$ of real lines on a random hypersurface of degree $2n-3$ in $\mathbb{R}\textrm{P}^n$ in terms of the expected modulus of the determinant of a special random matrix. In the case $n=3$ we prove that the average number of real lines on a random cubic surface in $\mathbb{R}\textrm{P}^3$ equals: $$E_3=6\sqrt{2}-3.$$ Our technique can also be used to express the number $C_n$ of complex lines on a generic hypersurface of degree $2n-3$ in $\mathbb{C}\textrm{P}^n$ in terms of the determinant of a random Hermitian matrix. As a special case we obtain a new proof of the classical statement $C_3=27.$ We determine, at the logarithmic scale, the asymptotic of the quantity $E_n$, by relating it to $C_n$ (whose asymptotic has been recently computed D. Zagier). Specifically we prove that: $$\lim_{n\to \infty}\frac{\log E_n}{\log C_n}=\frac{1}{2}.$$ Finally we show that this approach can be used to compute the number $R_n=(2n-3)!!$ of real lines, counted with their intrinsic signs, on a generic real hypersurface of degree $2n-3$ in $\mathbb{R}\textrm{P}^n$.


title: A Survey of Multi-View Representation Learning

abstract: Recently, multi-view representation learning has become a rapidly growing direction in machine learning and data mining areas. This paper introduces two categories for multi-view representation learning: multi-view representation alignment and multi-view representation fusion. Consequently, we first review the representative methods and theories of multi-view representation learning based on the perspective of alignment, such as correlation-based alignment. Representative examples are canonical correlation analysis (CCA) and its several extensions. Then from the perspective of representation fusion we investigate the advancement of multi-view representation learning that ranges from generative methods including multi-modal topic learning, multi-view sparse coding, and multi-view latent space Markov networks, to neural network-based methods including multi-modal autoencoders, multi-view convolutional neural networks, and multi-modal recurrent neural networks. Further, we also investigate several important applications of multi-view representation learning. Overall, this survey aims to provide an insightful overview of theoretical foundation and state-of-the-art developments in the field of multi-view representation learning and to help researchers find the most appropriate tools for particular applications.


title: Manifestation of the $P$-wave diproton resonance in single-pion production in $pp$ collisions

abstract: It is demonstrated that many important features of single-pion production in $pp$ collisions at intermediate energies ($T_p \simeq 400$-$800$ MeV) can naturally be explained by supposing excitation of intermediate diproton resonances in $pp$ channels ${}^1D_2$, ${}^3F_3$ and ${}^3P_2$, in addition to conventional mechanisms involving an intermediate $\Delta$-isobar. We predict for the first time the crucial role of the ${}^3P_2$ diproton resonance, found in recent experiments on the single-pion production reaction $pp \to pp({}^1S_0) \pi^0$, in reproducing the proper behavior of spin-correlation parameters in the reaction $pp \to d \pi^+$ which were poorly described by conventional meson-exchange models to date. The possible quark structure of the $P$-wave diproton resonances is also discussed.


title: Solution theory to Semilinear Hyperbolic Stochastic Partial Differential Equations with polynomially bounded coefficients

abstract: We study mild solutions of a class of stochastic partial differential equations, involving operators with polynomially bounded coefficients. We consider semilinear equations under suitable hyperbolicity hypotheses on the linear part. We provide conditions on the initial data and on the stochastic terms, namely, on the associated spectral measure, so that mild solutions exist and are unique in suitably chosen functional classes. More precisely, function-valued solutions are obtained, as well as a regularity result.


title: Towards Air Quality Estimation Using Collected Multimodal Environmental Data

abstract: This paper presents an open platform, which collects multimodal environmental data related to air quality from several sources including official open sources, social media and citizens. Collecting and fusing different sources of air quality data into a unified air quality indicator is a highly challenging problem, leveraging recent advances in image analysis, open hardware, machine learning and data fusion and is expected to result in increased geographical coverage and temporal granularity of air quality data.


title: Initial Results from the MAJORANA DEMONSTRATOR

abstract: Neutrinoless double-beta decay searches seek to determine the nature of neutrinos, the existence of a lepton violating process, and the effective Majorana neutrino mass. The {\sc Majorana} Collaboration is assembling an array of high purity Ge detectors to search for neutrinoless double-beta decay in $^{76}$Ge. The {\sc Majorana Demonstrator} is composed of 44.8~kg (29.7 kg enriched in $^{76}$Ge) of Ge detectors in total, split between two modules contained in a low background shield at the Sanford Underground Research Facility in Lead, South Dakota. The initial goals of the {\sc Demonstrator} are to establish the required background and scalability of a Ge-based, next-generation, tonne-scale experiment. Following a commissioning run that began in 2015, the first detector module started physics data production in early 2016. We will discuss initial results of the Module 1 commissioning and first physics run, as well as the status and potential physics reach of the full {\sc Majorana Demonstrator} experiment. The collaboration plans to complete the assembly of the second detector module by mid-2016 to begin full data production with the entire array.


title: ODE Maximum Principle at Infinity and Non-Compact Solutions of IMCF in Hyperbolic Space

abstract: In this work we extend the ODE Maximum principle of Hamilton to non-compact hypersurfaces using the Omari-Yau maximum principle at infinity. As an application of this result, we investigate Inverse Mean Curvature Flow (IMCF) of non-compact hypersurfaces in hyperbolic space. Specifically, we look at bounded graphs over horospheres in $\mathbb{H}^{n+1}$ and show long time existence of the flow as well as asymptotic convergence to horospheres.


title: Field induced Lifshitz transition in UPt$_2$Si$_2$: Fermi surface under extreme conditions

abstract: We have measured Hall effect, magnetotransport and magnetostriction on the field induced phases of single crystalline UPt$_2$Si$_2$ in magnetic fields up to 60\,T at temperatures down to 50\,mK. For the magnetic field applied along the $c$ axis we observe strong changes in the Hall effect at the phase boundaries. From a comparison to band structure calculations utilizing the concept of a dual nature of the uranium 5$f$ electrons, we find evidence for field induced topological changes of the Fermi surface due to at least one Lifshitz transition. Furthermore, we find a unique history dependence of the magnetotransport and magnetostriction data, indicating that the Lifshitz type transition is of a discontinuous nature, as predicted for interacting electron systems.


title: Deciding equivalence with sums and the empty type

abstract: The logical technique of focusing can be applied to the $\lambda$-calculus; in a simple type system with atomic types and negative type formers (functions, products, the unit type), its normal forms coincide with $\beta\eta$-normal forms. Introducing a saturation phase gives a notion of quasi-normal forms in presence of positive types (sum types and the empty type). This rich structure let us prove the decidability of $\beta\eta$-equivalence in presence of the empty type, the fact that it coincides with contextual equivalence, and a finite model property.


title: Anomaly-driven inverse cascade and inhomogeneities in a magnetized chiral plasma in the early Universe

abstract: By making use of a simple model that captures the key features of the anomalous Maxwell equations, we study the role of inhomogeneities on the evolution of magnetic fields in a chiral plasma. We find that inhomogeneities of the chiral asymmetry by themselves do not prevent the anomaly-driven inverse cascade and, as in the homogeneous case, the magnetic helicity is transferred from shorter to longer wavelength helical modes of the magnetic field. However, we also find that the evolution appears to be sensitive to the effects of diffusion. In the case when diffusion is negligible, the inverse cascade slows down considerably compared to the homogeneous scenario. In the case of the primordial plasma, though, we find that the diffusion is substantial and efficiently suppresses chiral asymmetry inhomogeneities. As a result, the inverse cascade proceeds practically in the same way as in the chirally homogeneous model.


title: A Bayesian Approach to Modelling Fine-Scale Spatial Dynamics of Non-State Terrorism: World Study, 2002-2013

abstract: To this day, terrorism persists as a worldwide threat, as exemplified by the ongoing lethal attacks perpetrated by ISIS in Iraq, Syria, Al Qaeda in Yemen, and Boko Haram in Nigeria. In response, states deploy various counterterrorism policies, the costs of which could be reduced through efficient preventive measures. Statistical models able to account for complex spatio-temporal dependencies have not yet been applied, despite their potential for providing guidance to explain and prevent terrorism. In an effort to address this shortcoming, we employ hierarchical models in a Bayesian context, where the spatial random field is represented by a stochastic partial differential equation. Our results confirm the contagious nature of the lethality of terrorism and the number of lethal terrorist attacks in both space and time. Moreover, the frequency of lethal attacks tends to be higher in richer areas, close to large cities, and within democratic countries. In contrast, attacks are more likely to be lethal far away from large cities, at higher altitudes, in poorer areas, and in locations with higher ethnic diversity. We argue that, on a local scale, the lethality of terrorism and the frequency of lethal attacks are driven by antagonistic mechanisms.


title: Small data global regularity for half-wave maps

abstract: We formulate the half-wave maps problem with target $S^2$ and prove global regularity in sufficiently high spatial dimensions for a class of small critical data in Besov spaces.


title: New hallmarks of criticality in recurrent neural networks

abstract: A rigorous understanding of brain dynamics and function requires a conceptual bridge between multiple levels of organization, including neural spiking and network-level population activity. Mounting evidence suggests that neural networks of cerebral cortex operate at criticality. How operating near this network state impacts the variability of neuronal spiking is largely unknown. Here we show in a computational model that two prevalent features of cortical single-neuron activity, irregular spiking and the decline of response variability at stimulus onset, are both emergent properties of a recurrent network operating near criticality. Importantly, our work reveals that the relation between the irregularity of spiking and the number of input connections to a neuron, i.e., the in-degree, is maximized at criticality. Our findings establish criticality as a unifying principle for the variability of single-neuron spiking and the collective behavior of recurrent circuits in cerebral cortex.


title: Reconstruction phases in the planar three- and four-vortex problems

abstract: Pure reconstruction phases, geometric and dynamic, are computed in the $N$-point-vortex model in the plane, for the cases $N=3$ and $N=4$. The phases are computed relative to a metric-orthogonal connection on appropriately defined principal fiber bundles. The metric is similar to the kinetic energy metric for point masses but with the masses replaced by vortex strengths. The geometric phases are shown to be proportional to areas enclosed by the closed orbit on the symmetry reduced spaces. More interestingly, simple formulae are obtained for the dynamic phases, analogous to Montgomery's result for the free rigid body, which show them to be proportional to the time period of the symmetry reduced closed orbits. For the case $ N = 3 $ a non-zero total vortex strength is assumed. For the case $ N = 4 $ the vortex strengths are assumed equal.


title: Actions of finite groups and smooth functions on surfaces

abstract: Let $f:M\to \mathbb{R}$ be a Morse function on a smooth closed surface, $V$ be a connected component of some critical level of $f$, and $\mathcal{E}_V$ be its atom. Let also $\mathcal{S}(f)$ be a stabilizer of the function $f$ under the right action of the group of diffeomorphisms $\mathrm{Diff}(M)$ on the space of smooth functions on $M,$ and $\mathcal{S}_V(f) = \{h\in\mathcal{S}(f)\,| h(V) = V\}.$ The group $\mathcal{S}_V(f)$ acts on the set $\pi_0\partial \mathcal{E}_V$ of connected components of the boundary of $\mathcal{E}_V.$ Therefore we have a homomorphism $\phi:\mathcal{S}(f)\to \mathrm{Aut}(\pi_0\partial \mathcal{E}_V)$. Let also $G = \phi(\mathcal{S}(f))$ be the image of $\mathcal{S}(f)$ in $\mathrm{Aut}(\pi_0\partial \mathcal{E}_V).$ Suppose that the inclusion $\partial \mathcal{E}_V\subset M\setminus V$ induces a bijection $\pi_0 \partial \mathcal{E}_V\to\pi_0(M\setminus V).$ Let $H$ be a subgroup of $G.$ We present a sufficient condition for existence of a section $s:H\to \mathcal{S}_V(f)$ of the homomorphism $\phi,$ so, the action of $H$ on $\partial \mathcal{E}_V$ lifts to the $H$-action on $M$ by $f$-preserving diffeomorphisms of $M$. This result holds for a larger class of smooth functions $f:M\to \mathbb{R}$ having the following property: for each critical point $z$ of $f$ the germ of $f$ at $z$ is smoothly equivalent to a homogeneous polynomial $\mathbb{R}^2\to \mathbb{R}$ without multiple linear factors.


title: McKay Correspondence for semisimple Hopf actions on regular graded algebras, II

abstract: We continue our study of the McKay Correspondence for grading preserving actions of semisimple Hopf algebras H on (noncommutative) Artin-Schelter regular algebras A. Here, we establish correspondences between module categories over A^H, over A\#H, and over \End_{A^H} A. We also study homological properties of (endomorphism rings of) maximal Cohen-Macaulay modules over A^H.


title: Seer: Empowering Software Defined Networking with Data Analytics

abstract: Network complexity is increasing, making network control and orchestration a challenging task. The proliferation of network information and tools for data analytics can provide an important insight into resource provisioning and optimisation. The network knowledge incorporated in software defined networking can facilitate the knowledge driven control, leveraging the network programmability. We present Seer: a flexible, highly configurable data analytics platform for network intelligence based on software defined networking and big data principles. Seer combines a computational engine with a distributed messaging system to provide a scalable, fault tolerant and real-time platform for knowledge extraction. Our first prototype uses Apache Spark for streaming analytics and open network operating system (ONOS) controller to program a network in real-time. The first application we developed aims to predict the mobility pattern of mobile devices inside a smart city environment.


title: Where Does the Density Localize? Convergent Behavior for Global Hybrids, Range Separation, and DFT+U

abstract: Approximate density functional theory (DFT) suffers from many-electron self- interaction error, otherwise known as delocalization error, that may be diagnosed and then corrected through elimination of the deviation from exact piecewise linear behavior between integer electron numbers. Although paths to correction of energetic delocalization error are well- established, the impact of these corrections on the electron density is less well-studied. Here, we compare the effect on density delocalization of DFT+U, global hybrid tuning, and range- separated hybrid tuning on a diverse test set of 32 transition metal complexes and observe the three methods to have qualitatively equivalent effects on the ground state density. Regardless of valence orbital diffuseness (i.e., from 2p to 5p), ligand electronegativity (i.e., from Al to O), basis set (i.e., plane wave versus localized basis set), metal (i.e., Ti, Fe, Ni) and spin state, or tuning method, we consistently observe substantial charge loss at the metal and gain at ligand atoms (ca. 0.3-0.5 e or more). This charge loss at the metal is preferentially from the minority spin, leading to increasing magnetic moment as well. Using accurate wavefunction theory references, we observe that a minimum error in partial charges and magnetic moments occur at higher tuning parameters than typically employed to eliminate energetic delocalization error. These observations motivate the need to develop multi-faceted approximate-DFT error correction approaches that separately treat density delocalization and energetic errors in order to recover both correct density and magnetization properties.


title: Feature Learning from Spectrograms for Assessment of Personality Traits

abstract: Several methods have recently been proposed to analyze speech and automatically infer the personality of the speaker. These methods often rely on prosodic and other hand crafted speech processing features extracted with off-the-shelf toolboxes. To achieve high accuracy, numerous features are typically extracted using complex and highly parameterized algorithms. In this paper, a new method based on feature learning and spectrogram analysis is proposed to simplify the feature extraction process while maintaining a high level of accuracy. The proposed method learns a dictionary of discriminant features from patches extracted in the spectrogram representations of training speech segments. Each speech segment is then encoded using the dictionary, and the resulting feature set is used to perform classification of personality traits. Experiments indicate that the proposed method achieves state-of-the-art results with a significant reduction in complexity when compared to the most recent reference methods. The number of features, and difficulties linked to the feature extraction process are greatly reduced as only one type of descriptors is used, for which the 6 parameters can be tuned automatically. In contrast, the simplest reference method uses 4 types of descriptors to which 6 functionals are applied, resulting in over 20 parameters to be tuned.


title: Identification of the low-energy excitations in a quantum critical system

abstract: We have identified low-energy magnetic excitations in a doped quantum critical system by means of polarized neutron scattering experiments. The presence of these excitations could explain why Ce(Fe$_{0.76}$Ru$_{0.24}$)$_2$Ge$_2$ displays dynamical scaling in the absence of local critical behavior or long-range spin-density wave criticality. The low-energy excitations are associated with the reorientations of the superspins of fully ordered, isolated magnetic clusters that form spontaneously upon lowering the temperature. The system houses both frozen clusters and dynamic clusters, as predicted by Hoyos and Vojta [Phys. Rev. B 74, 140401 (R) (2006)].


title: Superposition of fundamental solutions of second order quasilinear equations

abstract: We prove a superposition principle in the spirit of Crandall-Zhang and Lindqvist-Manfredi for a class of second order quasilinear equations. Riesz potentials of nonnegative and compactly supported continuous functions are either subsolutions or supersolutions for the operators associated to the stationary form of the doubly nonlinear diffusion equation. This class of operators includes both the p-Laplacian as well as the stationary porous medium equation.


title: Model error moment estimation via data assimilation

abstract: Using a dynamical model to make predictions about a system has many sources of error. These can include errors in how the model was initialised but also errors in the dynamics of the model itself. For many applications in data assimilation, probabilistic forecasting, or model improvement, these model errors need to be known over the timestep of the model, not over a time-averaged period. Using a forecast from a state that combines observational information as well as prior information we can gain an approximation to the statistics of the model errors on the timescale of the model that is required. Here we give bounds on the errors in the estimation of the mean and covariance of the errors in the model equations in terms of the errors made in the state estimation. This is the first time that such a result has been derived. The result shows to what extent the state estimation must constrain the analysis in order to obtain a specified error on the mean or covariance of the model errors. This is particularly useful for experimental design as it indicates the necessary information content required in observations of the dynamical system.


title: A Duality Result for Robust Optimization with Expectation Constraints

abstract: This paper demonstrates a practical method for computing the solution of an expectation-constrained robust maximization problem with immediate applications to model-free no-arbitrage bounds and super-replication values for many financial derivatives. While the previous literature has connected super-replication values to a convex minimization problem whose objective function is related to a sequence of iterated concave envelopes, we show how this whole process can be encoded in a single convex minimization problem. The natural finite-dimensional approximation of this minimization problem results in an easily-implementable sparse linear program. We highlight this technique by obtaining no-arbitrage bounds on the prices of forward-starting options, continuously-monitored variance swaps, and discretely-monitored gamma swaps, each subject to observed bid-ask spreads of finitely-many vanilla options.


title: Artin L-functions of small conductor

abstract: We study the problem of finding the Artin L-functions with the smallest conductor for a given Galois type. We adapt standard analytic techniques to our novel situation of fixed Galois type and get much improved lower bounds on the smallest conductor. For small Galois types we use complete tables of number fields to determine the actual smallest conductor.


title: When Ext is a Batalin-Vilkovisky algebra

abstract: We show under what conditions the complex computing general Ext-groups carries the structure of a cyclic operad such that Ext becomes a Batalin-Vilkovisky algebra. This is achieved by transferring cyclic cohomology theories for the dual of a (left) Hopf algebroid to the complex in question, which asks for the notion of contramodules introduced along with comodules by Eilenberg-Moore half a century ago. Another crucial ingredient is an explicit formula for the inverse of the Hopf-Galois map on the dual, by which we illustrate recent categorical results and answer a long-standing open question. As an application, we prove that the Hochschild cohomology of an associative algebra A is Batalin-Vilkovisky if A itself is a contramodule over its enveloping algebra A \otimes A^op. This is, for example, the case for symmetric algebras and Frobenius algebras with semisimple Nakayama automorphism. We also recover the construction for Hopf algebras.


title: A Local Inverse Formula and a Factorization

abstract: When a matrix has a banded inverse there is a remarkable formula that quickly computes that inverse, using only local information in the original matrix. This local inverse formula holds more generally, for matrices with sparsity patterns that are examples of chordal graphs or perfect eliminators. The formula has a long history going back at least as far as the completion problem for covariance matrices with missing data. Maximum entropy estimates, log-determinants, rank conditions, the Nullity Theorem and wavelets are all closely related, and the formula has found wide applications in machine learning and graphical models. We describe that local inverse and explain how it can be understood as a matrix factorization.


title: The spectrum of light isovector mesons with $C=+1$ from the COMPASS experiment

abstract: Based on the largest event sample of diffractively produced $\pi^-\pi^-\pi^+$, obtained by a pion beam of $190~\rm{GeV/c}$ momentum, the COMPASS collaboration has performed the most advanced partial wave analysis on multi-body final states, using the isobar model. The large number of waves included in the analysis reduces truncation effects. We have used fourteen out of a total of eighty-eight waves, to extract resonance parameters for eleven light meson candidates, most of them observed previously. The coherence of the analysis and the large variety of systematic studies has allowed to determine mass and width of most $a_{J}$ and $\pi_{J}$ states with six different values of $J^{PC}$ below a mass of $2.1~\rm{GeV/c^2}$, with high confidence. We exploited that the production rates of resonant and non-resonant contributions in these fourteen waves vary differently with the four-momentum transfer squared in the reaction. In addition, we have performed the first isobar-freed analysis in diffraction, from which we have determined the shape of the $[\pi\pi]_{S-wave}$ isobar for different $J^{PC}$ of the $3\pi$ system.


title: Giant planet formation at the pressure maxima of protoplanetary disks

abstract: In the classical core-accretion planet formation scenario, rapid inward migration and accretion timescales of kilometer size planetesimals may not favor the formation of massive cores of giant planets before the dissipation of protoplanetary disks. On the other hand, the existence of pressure maxima in the disk could act as migration traps and locations for solid material accumulation, favoring the formation of massive cores. We aim to study the radial drift of pebbles and planetesimals and planet migration at pressure maxima in a protoplanetary disk and their implications for the formation of massive cores as triggering a gaseous runaway accretion phase. The time evolution of a viscosity driven accretion disk is solved numerically introducing a a dead zone as a low-viscosity region in the protoplanetary disk. A population of pebbles and planetesimals evolving by radial drift and accretion by the planets is also considered. Finally, the embryos embedded in the disk grow by the simultaneous accretion of pebbles, planetesimals and the surrounding gas. Our simulations show that the pressure maxima generated at the edges of the low-viscosity region of the disk act as planet migration traps, and that the pebble and planetesimal surface densities are significantly increased due to the radial drift towards pressure maxima locations. However, our simulations also show that migration trap locations and solid material accumulation locations are not exactly at the same positions. Thus, a planet's semi-major axis oscillations around zero torque locations, predicted by MHD and HD simulations, are needed for the planet to accrete all the available material accumulated at the pressure maxima. Pressure maxima generated at the edges of a low-viscosity region of a protoplanetary disk seem to be preferential locations for the formation and trap of massive cores.


title: Infall/Expansion Velocities in the Low-Mass Dense Cores L492, L694-2, and L1521F: Dependence on Position and Molecular Tracer

abstract: Although surveys of infall motions in dense cores have been carried out for years, few surveys have focused on mapping infall across cores using multiple spectral line observations. To fill this gap, we present IRAM 30-m Telescope maps of N2H+(1-0), DCO+(2-1), DCO+(3-2), and HCO+(3-2) emission towards two prestellar cores (L492 and L694-2) and one protostellar core (L1521F). We find that the measured infall velocity varies with position across each core and choice of molecular line, likely as a result of radial variations in core chemistry and dynamics. Line-of-sight infall speeds estimated from DCO+(2-1) line profiles can decrease by 40-50 m/s when observing at a radial offset >= 0.04 pc from the core's dust continuum emission peak. Median infall speeds calculated from all observed positions across a core can also vary by as much as 65 m/s depending on the transition. These results show that while single-pointing, single-transition surveys of core infall velocities may be good indicators of whether a core is either contracting or expanding, the magnitude of the velocities they measure are significantly impacted by the choice of molecular line, proximity to the core center, and core evolutionary state.


title: Ensemble Validation: Selectivity has a Price, but Variety is Free

abstract: Suppose some classifiers are selected from a set of hypothesis classifiers to form an equally-weighted ensemble that selects a member classifier at random for each input example. Then the ensemble has an error bound consisting of the average error bound for the member classifiers, a term for selectivity that varies from zero (if all hypothesis classifiers are selected) to a standard uniform error bound (if only a single classifier is selected), and small constants. There is no penalty for using a richer hypothesis set if the same fraction of the hypothesis classifiers are selected for the ensemble.


title: Some exact solutions in K-essence theory isotropic cosmology

abstract: We use a simple form of the K-essence theory and apply it to the classic isotropic cosmological model and seek exact solutions. The particular form of the kinetic term that we choose is $K \left(\phi, X \right)= K_0(\phi)X^m +K_1$. The resulting field equations in the homogeneous and isotropic cosmology (FRW)is considered. Several exact solutions are obtained.


title: Fingerprints of bosonic symmetry protected topological state in a quantum point contact

abstract: In this work, we study the transport through a quantum point contact for bosonic helical liquid that exists at the edge of a bilayer graphene under a strong magnetic field. We identify "smoking gun" transport signatures to distinguish bosonic symmetry protected topological (BSPT) state from fermionic two-channel quantum spin Hall (QSH) state in this system. In particular, a novel charge insulator/spin conductor phase is found for BSPT state, while either charge insulator/spin insulator or charge conductor/spin conductor phase is expected for the two-channel QSH state. Consequently, a simple transport measurement will reveal the fingerprint of bosonic topological physics in bilayer graphene systems.


title: First law and Smarr formula of black hole mechanics in nonlinear gauge theories

abstract: Motivated by the fact that Bardeen black holes do not satisfy the usual first law and Smarr formula, we derive a generalized first law from the Lagrangian of nonlinear gauge field coupled to gravity. In our treatment, the Lagrangian is a function of the electromagnetic invariant as well as some additional parameters. Consequently, we obtain new terms in the first law. With our formula, we find the correct forms of the first law for Bardeen black holes and Born-Infeld black holes. By scaling arguments, we also derive a general Smarr formula from the first law. Our results apply to a wide class of black holes with nonlinear gauge fields.


title: Find Your Own Way: Weakly-Supervised Segmentation of Path Proposals for Urban Autonomy

abstract: We present a weakly-supervised approach to segmenting proposed drivable paths in images with the goal of autonomous driving in complex urban environments. Using recorded routes from a data collection vehicle, our proposed method generates vast quantities of labelled images containing proposed paths and obstacles without requiring manual annotation, which we then use to train a deep semantic segmentation network. With the trained network we can segment proposed paths and obstacles at run-time using a vehicle equipped with only a monocular camera without relying on explicit modelling of road or lane markings. We evaluate our method on the large-scale KITTI and Oxford RobotCar datasets and demonstrate reliable path proposal and obstacle segmentation in a wide variety of environments under a range of lighting, weather and traffic conditions. We illustrate how the method can generalise to multiple path proposals at intersections and outline plans to incorporate the system into a framework for autonomous urban driving.


title: Adversary Resistant Deep Neural Networks with an Application to Malware Detection

abstract: Beyond its highly publicized victories in Go, there have been numerous successful applications of deep learning in information retrieval, computer vision and speech recognition. In cybersecurity, an increasing number of companies have become excited about the potential of deep learning, and have started to use it for various security incidents, the most popular being malware detection. These companies assert that deep learning (DL) could help turn the tide in the battle against malware infections. However, deep neural networks (DNNs) are vulnerable to adversarial samples, a flaw that plagues most if not all statistical learning models. Recent research has demonstrated that those with malicious intent can easily circumvent deep learning-powered malware detection by exploiting this flaw. In order to address this problem, previous work has developed various defense mechanisms that either augmenting training data or enhance model's complexity. However, after a thorough analysis of the fundamental flaw in DNNs, we discover that the effectiveness of current defenses is limited and, more importantly, cannot provide theoretical guarantees as to their robustness against adversarial sampled-based attacks. As such, we propose a new adversary resistant technique that obstructs attackers from constructing impactful adversarial samples by randomly nullifying features within samples. In this work, we evaluate our proposed technique against a real world dataset with 14,679 malware variants and 17,399 benign programs. We theoretically validate the robustness of our technique, and empirically show that our technique significantly boosts DNN robustness to adversarial samples while maintaining high accuracy in classification. To demonstrate the general applicability of our proposed method, we also conduct experiments using the MNIST and CIFAR-10 datasets, generally used in image recognition research.


title: Spontaneous Emission and Light Extraction Enhancement of Light Emitting Diode Using Partially-Reflecting Metasurface Cavity (PRMC)

abstract: The enhancement of the power conversion efficiency (PCE), and subsequent reduction of cost, of light emitting diodes (LEDs) is of crucial importance in the current lightening market. For this reason, we propose here a PCE-enhanced LED architecture, based on a partially reflecting metasurface cavity (PRMC) structure. This structure simultaneously enhances the light extraction efficiency (LEE) and the spontaneous emission rate (SER) of the LED by enforcing the emitted light to radiate perpendicularly to the device, so as to suppress wave trapping and enhance field confinement near the emitter, while ensuring cavity resonance matching and maximal constructive field interference. The PRMC structure is designed using a recent surface susceptibility metasurface synthesis technique. A PRMC blue LED design is presented and demonstrated by full-wave simulation to provide LEE and SER enhancements by factors 4.0 and 1.9, respectively, which correspond to PCE enhancement factors of 6.2, 5.2 and 4.5 for IQEs of 0.25, 0.5 and 0.75, respectively, suggesting that the PRMC concept has a promising potential in LED technology.


title: Observable acceleration of jets by a Kerr black hole

abstract: In the framework of a model based on the gravitational field of the Kerr black hole, we turn to investigate the kinematic behavior of extragalactic jets. We analytically calculate the observable velocities and accelerations along any geodesic. Then, by numerical calculations, we apply our results to a geodesic, typical of the M87 jet, and probe our results by confrontation to recent observations. A transition from non-relativistic to ultrarelativistic speeds at subparsec scale is highlighted. This transition comes sooner and more abruptly than in models based on magnetic paradigm, which indicates that we need a weaker magnetic field to explain observed synchrotron radiation. We attribute the ejection phenomenon to the repulsive effect of the gravitomagnetic Kerr field.


title: Sources of Emittance in RF Photocathode Injectors: Intrinsic emittance, space charge forces due to non-uniformities, RF and solenoid effects

abstract: Advances in electron beam technology have been central to creating the current generation of x-ray free electron lasers and ultra-fast electron microscopes. These once exotic devices have become essential tools for basic research and applied science. One important beam technology for both is the electron source which, for many of these instruments, is the photocathode gun. The invention of the photocathode gun and the concepts of emittance compensation and beam matching in the presence of space charge and RF forces have made these high-quality beams possible. Achieving even brighter beams requires taking a finer resolution view of the electron dynamics near the cathode during photoemission and the initial acceleration of the beam. In addition, the high-brightness beam is more sensitive to degradation by the optical aberrations of the gun's field and the magnetic lenses. This paper discusses these topics including the beam properties due to photoemission physics, space charge effects close to the cathode, and optical distortions introduced by the RF and solenoid fields. Analytic relations for these phenomena are derived and compared with numerical simulations.


title: On the Construction of Safe Controllable Regions for Affine Systems with Applications to Robotics

abstract: This paper studies the problem of constructing in-block controllable (IBC) regions for affine systems. That is, we are concerned with constructing regions in the state space of affine systems such that all the states in the interior of the region are mutually accessible through the region's interior by applying uniformly bounded inputs. We first show that existing results for checking in-block controllability on given polytopic regions cannot be easily extended to address the question of constructing IBC regions. We then explore the geometry of the problem to provide a computationally efficient algorithm for constructing IBC regions. We also prove the soundness of the algorithm. We then use the proposed algorithm to construct safe speed profiles for different robotic systems, including fully-actuated robots, ground robots modeled as unicycles with acceleration limits, and unmanned aerial vehicles (UAVs). Finally, we present several experimental results on UAVs to verify the effectiveness of the proposed algorithm. For instance, we use the proposed algorithm for real-time collision avoidance for UAVs.


title: Many-body localization in Ising models with random long-range interactions

abstract: We theoretically investigate the many-body localization phase transition in a one-dimensional Ising spin chain with random long-range spin-spin interactions, $V_{ij}\propto\left|i-j\right|^{-\alpha}$, where the exponent of the interaction range $\alpha$ can be tuned from zero to infinitely large. By using exact diagonalization, we calculate the half-chain entanglement entropy and the energy spectral statistics and use them to characterize the phase transition towards the many-body localization phase at infinite temperature and at sufficiently large disorder strength. We perform finite-size scaling to extract the critical disorder strength and the critical exponent of the divergent localization length. With increasing $\alpha$, the critical exponent experiences a sharp increase at about $\alpha=1$ and then gradually decreases to a value found earlier in a disordered short-ranged interacting spin chain. For $\alpha<1$, we find that the system is mostly localized and the increase in the disorder strength may drive a transition between two many-body localized phases. In contrast, for $\alpha>1$, the transition is from a thermalized phase to the many-body localization phase. Our predictions could be experimentally tested with ion-trap quantum emulator with programmable random long-range interactions, or with randomly distributed Rydberg atoms or polar molecules in lattices.


title: A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage

abstract: The test suite is essential for fault detection during software development. First-order mutation coverage is an accurate metric to quantify the quality of the test suite. However, it is computationally expensive. Hence, the adoption of this metric is limited. In this study, we address this issue by proposing a realistic model able to estimate first-order mutation coverage using only higher-order mutation coverage. Our study shows how the estimation evolves along with the order of mutation. We validate the model with an empirical study based on 17 open-source projects.


title: SU(2) Flat Connection on Riemann Surface and Twisted Geometry with Cosmological Constant

abstract: SU(2) flat connection on 2D Riemann surface is shown to relate to the generalized twisted geometry in 3D space with cosmological constant. Various flat connection quantities on Riemann surface are mapped to the geometrical quantities in discrete 3D space. We propose that the moduli space of SU(2) flat connections on Riemann surface generalizes the phase space of twisted geometry or Loop Quantum Gravity to include the cosmological constant.


title: ECAT: Event Capture Annotation Tool

abstract: This paper introduces the Event Capture Annotation Tool (ECAT), a user-friendly, open-source interface tool for annotating events and their participants in video, capable of extracting the 3D positions and orientations of objects in video captured by Microsoft's Kinect(R) hardware. The modeling language VoxML (Pustejovsky and Krishnaswamy, 2016) underlies ECAT's object, program, and attribute representations, although ECAT uses its own spec for explicit labeling of motion instances. The demonstration will show the tool's workflow and the options available for capturing event-participant relations and browsing visual data. Mapping ECAT's output to VoxML will also be addressed.


title: How Particles can Emerge in a Relativistic Version of Bohmian Quantum Field Theory: Part 2 - Fermions

abstract: It is shown how Fermionic material particles can emerge from a covariant formulation of the de Broglie-Bohm theory. Material particles are continuous fields, formed as the eigenvalue of the Schrodinger field operator, evaluated along a Bohmian trajectory. The motivation for this work is due to a theorem proved by Malament that states there cannot be a relativistic quantum mechanics of localizable particles.