title: Citrate stabilized gold nanoparticles interfere with amyloid fibril formation: D76N and {\Delta}N6 \b{eta}2-microglobulin variants

abstract: Protein aggregation including the formation of dimers and multimers in solution, underlies an array of human diseases such as systemic amyloidosis which is a fatal disease caused by misfolding of native globular proteins damaging the structure and function of affected organs. Different kind of interactors can interfere with the formation of protein dimers and multimers in solution. A very special class of interactors are nanoparticles thanks to the extremely efficient extension of their interaction surface. In particular citrate-coated gold nanoparticles (cit-AuNPs) were recently investigated with amyloidogenic protein $\beta$2-microglobulin ($\beta$2m). Here we present the computational studies on two challenging models known for their enhanced amyloidogenic propensity, namely $\Delta$N6 and D76N $\beta$2m naturally occurring variants, and disclose the role of cit-AuNPs on their fibrillogenesis. The proposed interaction mechanism lies in the interference of the cit-AuNPs with the protein dimers at the early stages of aggregation, that induces dimer disassembling. As a consequence, natural fibril formation can be inhibited. Relying on the comparison between atomistic simulations at multiple levels (enhanced sampling molecular dynamics and Brownian dynamics) and protein structural characterisation by NMR, we demonstrate that the cit-AuNPs interactors are able to inhibit protein dimer assembling. As a consequence, the natural fibril formation is also inhibited, as found in experiment.


title: On Topological Approaches to the Jacobian Conjecture in $\mathbb{C}^n$

abstract: We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture, then $S_f$ is a hypersurface such that $S_f\cap Z \neq \emptyset$, for any $Z\subset \mathbb{C}^n$ biregular to $\mathbb{C}^{n-1}$ and $Z = h^{-1}(0)$ for a polynomial submersion $h: \mathbb{C}^n \to \mathbb{C}$. Also, we present topological approaches to the Jacobian conjecture in $\mathbb{C}^n$.


title: The asymptotic behaviors of self excitation information diffusion processes for a large number of individuals

abstract: The dynamics of opinion is a complex and interesting process, especially for the systems with large number individuals. It is usually hard to describe the evolutionary features of these systems. In this paper, we study the self excitation opinion model, which has been shown the superior performance in learning and predicting opinions. We study the asymptotic behaviors of this model for large number of individuals, and prove that the asymptotic behaviors of the model in which the interaction is a multivariate self excitation process with exponential function weight, can be described by a Mckean-Vlasov type integro differential equation. The coupling between this equation and the initial distribution captures the influence of self excitation process, which decribes the mutually- exicting and recurrent nature of individuals. Finally we show that the steady state distribution is a "contraction" of the initial distribution in the linear interaction cases.


title: Observations and perspectives on the diversification of genomes

abstract: Rich information on the prebiotic evolution is still stored in contemporary genomic data. The statistical mechanism at the sequence level may play a significant role in the prebiotic evolution. Based on statistical analysis of genome sequences, it has been observed that there is a close relationship between the evolution of the genetic code and the organisation of genomes. A biodiversity space for species is constructed based on comparing the distributions of codons in genomes for different species according to recruitment order of codons in the prebiotic evolution, by which a closely relationship between the evolution of the genetic code and the tree of life has been confirmed. On one hand, the three domain tree of life can be reconstructed according to the distance matrix of species in this biodiversity space, which supports the three-domain tree rather than the eocyte tree. On the other hand, an evolutionary tree of codons can be obtained by comparing the distributions of the 64 codons in genomes, which agrees with the recruitment order of codons on the roadmap. This is a simple phylogenomic method to study the origins of metazoan, the evolution of primates, etc. This study should be regarded as an exploratory attempt to explain the diversification of the three domains of life by statistical mechanism in prebiotic sequence evolution. It is indicated that the number of bases in the triplet codons might be explained statistically by the number of strands in the triplex DNAs. The adaptation of life to the changing environment might be due to assembly of redundant genomes at the sequence level.


title: ZFOURGE: Using Composite Spectral Energy Distributions to Characterize Galaxy Populations at 1<z<4

abstract: We investigate the properties of galaxies as they shut off star formation over the 4 billion years surrounding peak cosmic star formation. To do this we categorize $\sim7000$ galaxies from $1<z<4$ into $90$ groups based on the shape of their spectral energy distributions (SEDs) and build composite SEDs with $R\sim 50$ resolution. These composite SEDs show a variety of spectral shapes and also show trends in parameters such as color, mass, star formation rate, and emission line equivalent width. Using emission line equivalent widths and strength of the 4000\AA\ break, $D(4000)$, we categorize the composite SEDs into five classes: extreme emission line, star-forming, transitioning, post-starburst, and quiescent galaxies. The transitioning population of galaxies show modest H$\alpha$ emission ($EW_{\rm REST}\sim40$\AA) compared to more typical star-forming composite SEDs at $\log_{10}(M/M_\odot)\sim10.5$ ($EW_{\rm REST}\sim80$\AA). Together with their smaller sizes (3 kpc vs. 4 kpc) and higher S\'ersic indices (2.7 vs. 1.5), this indicates that morphological changes initiate before the cessation of star formation. The transitional group shows a strong increase of over one dex in number density from $z\sim3$ to $z\sim1$, similar to the growth in the quiescent population, while post-starburst galaxies become rarer at $z\lesssim1.5$. We calculate average quenching timescales of 1.6 Gyr at $z\sim1.5$ and 0.9 Gyr at $z\sim2.5$ and conclude that a fast quenching mechanism producing post-starbursts dominated the quenching of galaxies at early times, while a slower process has become more common since $z\sim2$.


title: Carbon Detonation Initiation in Turbulent Electron-Degenerate Matter

abstract: Type Ia supernovae (SNe Ia) play a critical role in astrophysics, yet their origin remains mysterious. A crucial physical mechanism in any SN Ia model is the initiation of the detonation front which ultimately unbinds the white dwarf progenitor and leads to the SN Ia. We demonstrate, for the first time, how a carbon detonation may arise in a realistic three-dimensional turbulent electron-degenerate flow, in a new mechanism we refer to as turbulently-driven detonation. Using both analytic estimates and three-dimensional numerical simulations, we show that strong turbulence in the distributed burning regime gives rise to intermittent turbulent dissipation which locally enhances the nuclear burning rate by orders of magnitude above the mean. This turbulent enhancement to the nuclear burning rate leads in turn to supersonic burning and a detonation front. As a result, turbulence plays a key role in preconditioning the carbon-oxygen fuel for a detonation. The turbulently-driven detonation initiation mechanism leads to a wider range of conditions for the onset of carbon detonation than previously thought possible, with important ramifications for SNe Ia models.


title: A phylogenetic approach to chemical tagging. Reassembling open cluster stars

abstract: Context. The chemical tagging technique is a promising approach to reconstruct the history of the Galaxy by only using stellar chemical abundances. Different studies have undertaken this analysis and they raised several challenges. Aims. Using a sample of open clusters stars, we wish to address two issues: minimize chemical abundance differences which origin is linked to the evolutionary stage of the stars and not their original composition; evaluate a phylogenetic approach to group stars based on their chemical composition. Methods. We derived differential chemical abundances for 207 stars (belonging to 34 open clusters) using the Sun as reference star (classical approach) and a dwarf plus a giant star from the open cluster M67 as reference (new approach). These abundances were then used to perform two phylogenetic analyses, cladistics (Maximum Parsimony) and Neighbour-Joining, together with a partitioning unsupervised classification analysis with k-means. The resulting groupings were finally confronted to the true open cluster memberships of the stars. Results. We successfully reconstruct most of the original open clusters when carefully selecting a subset of the abundances derived differentially with respect to M67. We find a set of eight chemical elements that yields the best result, and discuss the possible reasons for them to be good tracers of the history of the Galaxy. Conclusions. Our study shows that unraveling the history of the Galaxy by only using stellar chemical abundances is greatly improved provided that i) we perform a differential spectroscopic analysis with respect to an open cluster instead of the Sun, ii) select the chemical elements that are good tracers of the history of the Galaxy, and iii) use tools that are adapted to detect evolutionary tracks such as phylogenetic approaches.


title: Detecting Dark Blobs

abstract: Current dark matter detection strategies are based on the assumption that the dark matter is a gas of non-interacting particles with a reasonably large number density. This picture is dramatically altered if there are significant self interactions within the dark sector, potentially resulting in the coalescence of dark matter particles into large composite blobs. The low number density of these blobs necessitates new detector strategies. We study cosmological, astrophysical and direct detection bounds on this scenario and identify experimentally accessible parameter space. The enhanced interaction between large composite states and the standard model allows searches for such composite blobs using existing experimental techniques. This includes the detection of scintillation in MACRO, XENON and LUX, heat in calorimeters such as CDMS, acceleration and strain in gravitational wave detectors such as LIGO and AGIS, and spin precession in CASPEr. These searches leverage the fact that the transit of the dark matter occurs at a speed ~220 km/s, well separated from relativistic and terrestrial sources of noise. They can be searched for either through modifications to the data analysis protocol or relatively straightforward adjustments to the operating conditions of these experiments.


title: Star Cluster Ages in the Gaia Era

abstract: We use the framework developed as part of the MESA Isochrones and Stellar Tracks (MIST) project to assess the utility of several types of observables in jointly measuring the age and 1D stellar model parameters in star clusters. We begin with a pedagogical overview summarizing the effects of stellar model parameters, such as the helium abundance, mass-loss efficiency, and the mixing length parameter, on observational diagnostics including the color-magnitude diagram, mass-radius relation, and surface abundances, amongst others. We find that these parameters and the stellar age influence observables in qualitatively distinctive, degeneracy-breaking ways. To assess the current state of affairs, we use the recent Gaia Data Release 2 (DR2) along with data from the literature to investigate three well-studied old open clusters---NGC6819, M67, NGC6791---as case studies. Although there is no obvious tension between the existing observations and the MIST models for NGC6819, there are interesting discrepancies in the cases of M67 and NGC6791. At this time, parallax zero point uncertainties in Gaia DR2 remain one of the limiting factors in the analysis of these clusters. With a combination of exquisite photometry, parallax distances, and cluster memberships from Gaia at the end of its mission, we anticipate precise and accurate ages for these and other star clusters in the Galaxy.


title: Exploring Leptophilic Dark Matter with NA64-$\mu$

abstract: We investigate the prospects for detecting light leptophilic dark sectors with a missing-momentum experiment at NA64 running in muon mode. In particular, we consider models in which dark matter connects to the visible sector through a lepton- or muon-specific scalar mediator. These scalars can also account for the $\sim 3.5\sigma$ discrepancy between the measured and predicted values of $(g-2)_{\mu}$ . We emphasize the complementarity between NA64-$\mu$ and other terrestrial and astrophysical probes.


title: Modeling the Baryon Cycle in Low Mass Galaxy Encounters: the Case of NGC 4490 & NGC 4485

abstract: Discoveries of low mass galaxy pairs and groups are increasing. Studies indicate that dwarf galaxy pairs are gas rich in the field and exhibit elevated star formation rates, suggestive of interactions. Lacking are dynamical models of observed dwarf galaxy pairs to disentangle the physical processes regulating their baryon cycles. We present new optical data and the first detailed theoretical model of an observed tidal encounter between two isolated low mass galaxies, NGC 4490 & NGC 4485. This system is an isolated analog of the Magellanic Clouds and is surrounded by a ~50 kpc extended HI envelope. We use hybrid $N$-body and test-particle simulations along with a visualization interface $Identikit$ to simultaneously reproduce the observed present-day morphology and kinematics. Our results demonstrate how repeated encounters between two dwarf galaxies can "park" baryons at very large distances, without the aid of environmental effects. Our best match to the data is an 8:1 mass ratio encounter where a one-armed spiral is induced in the NGC 4490-analog, which we postulate explains the nature of diffuse starlight presented in the new optical data. We predict that the pair will fully merge in ~370 Myr, but that the extended tidal features will continue to evolve and return to the merged remnant over ~5 Gyr. This pre-processing of baryons will affect the efficiency of gas stripping if such dwarf pairs are accreted by a massive host. In contrast, in isolated environments this study demonstrates how dwarf-dwarf interactions can create a long-lived supply of gas to the merger remnant.


title: The extended radio jet of an off-nuclear low-mass AGN in NGC 5252

abstract: CXO J133815.6+043255 is an ultraluminous X-ray source (ULX) with ultraviolet, optical, and radio counterparts located 10 kpc away from the nucleus of the galaxy NGC 5252. Optical spectroscopic studies indicate that the ULX is kinematically associated with NGC 5252; yet, the compactness of its radio emission could not rule out the possibility that the ULX is a background blazar. We present follow-up VLBA radio observations that are able to resolve the compact radio emission of the ULX into two components, making the blazar scenario very unlikely. The east component is extended at 4.4 GHz and its detection also at 7.6 GHz reveals a steep spectral index. The west component is only detected at 4.4 GHz, is not firmly resolved, and has a flatter spectral index. Considering that the west component hosts the radio core, we constrain the black hole mass of the ULX to $10^{3.5} < M_\mathrm{BH} \lesssim 2 \times 10^{6}$ M$_{\odot}$ and its Eddington ratio to $\sim 10^{-3}$. The ULX is thus most likely powered by an intermediate-mass black hole or low-mass AGN. Our results constitute the first discovery of a multi-component radio jet in a ULX and possible intermediate-mass black hole.


title: EasyCritics II. Testing its efficiency: new gravitational lens candidates in CFHTLenS

abstract: We report the results of $EasyCritics$, a fully automated algorithm for the efficient search of strong-lensing (SL) regions in wide-field surveys, applied to the Canada-France-Hawaii Telescope Lensing Survey (CFHTLenS). By using only the photometric information of the brightest elliptical galaxies distributed over a wide redshift range ($\smash{0.2 \lesssim z \lesssim 0.9}$) and without requiring the identification of arcs, our algorithm produces lensing potential models and catalogs of critical curves of the entire survey area. We explore several parameter set configurations in order to test the efficiency of our approach. In a specific configuration, $EasyCritics$ generates only $\sim1200$ possibly super-critical regions in the CFHTLS area, drastically reducing the effective area for inspection from $154$ sq. deg to $\sim0.623$ sq. deg, $i.e.$ by more than two orders of magnitude. Among the pre-selected SL regions, we identify 32 of the 44 previously known lenses on the group and cluster scale, and discover 9 new promising lens candidates. The detection rate can be easily improved to $\sim82\%$ by a simple modification in the parameter set, but at the expense of increasing the total number of possible SL candidates. Note that $EasyCritics$ is fully complementary to other arc-finders since we characterize lenses instead of directly identifying arcs. Although future comparisons against numerical simulations are required for fully assessing the efficiency of $EasyCritics$, the algorithm seems very promising for upcoming surveys covering $\smash{10^{4}}$ sq. deg, such as the $Euclid$ mission and $LSST$, where the pre-selection of candidates for any kind of SL analysis will be indispensable due to the expected enormous data volume.


title: The MIRC-X 6-telescope imager: Key science drivers, instrument design and operation

abstract: MIRC-X is a new beam combination instrument at the CHARA array that enables 6-telescope interferometric imaging on object classes that until now have been out of reach for milliarcsecond-resolution imaging. As part of an instrumentation effort lead by the University of Exeter and University of Michigan, we equipped the MIRC instrument with an ultra-low read-noise detector system and extended the wavelength range to the J and H-band. The first phase of the MIRC-X commissioning was successfully completed in June 2017. In 2018 we will commission polarisation control to improve the visibility calibration and implement a 'cross-talk resiliant' mode that will minimise visibility cross-talk and enable exoplanet searches using precision closure phases. Here we outline our key science drivers and give an overview about our commissioning timeline. We comment on operational aspects, such as remote observing, and the prospects of co-phased parallel operations with the upcoming MYSTIC combiner.


title: Dynamical ejecta and nucleosynthetic yields from eccentric binary neutron-star mergers

abstract: With the recent advent of multi-messenger gravitational-wave astronomy and in anticipation of more sensitive, next-generation gravitational-wave detectors, we investigate the dynamics, gravitational-wave emission, and nucleosynthetic yields of numerous eccentric binary neutron-star mergers having different equations of state. For each equation of state we vary the orbital properties around the threshold of immediate merger, as well as the binary mass ratio. In addition to a study of the gravitational-wave emission including $f$-mode oscillations before and after merger, we couple the dynamical ejecta output from the simulations to the nuclear-reaction network code \texttt{SkyNet} to compute nucleosynthetic yields and compare to the corresponding results in the case of a quasi-circular merger. We find that the amount and velocity of dynamically ejected material is always much larger than in the quasi-circular case, reaching maximal values of $M_{\rm ej, max} \sim 0.1 \, M_{\odot}$ and $v_{\rm max}/c \sim 0.75$. At the same time, the properties of this material are rather insensitive to the details of the orbit, such as pericenter distance or post-encounter apoastron distance. Furthermore, while the composition of the ejected matter depends on the orbital parameters and on the equation of state, the relative nucleosynthetic yields do not, thus indicating that kilonova signatures could provide information on the orbital properties of dynamically captured neutron-star binaries.


title: Cosmic CARNage II: the evolution of the galaxy stellar mass function in observations and galaxy formation models

abstract: We present a comparison of the observed evolving galaxy stellar mass functions with the predictions of eight semi-analytic models and one halo occupation distribution model. While most models are able to fit the data at low redshift, some of them struggle to simultaneously fit observations at high redshift. We separate the galaxies into 'passive' and 'star-forming' classes and find that several of the models produce too many low-mass star-forming galaxies at high redshift compared to observations, in some cases by nearly a factor of 10 in the redshift range $2.5 < z < 3.0$. We also find important differences in the implied mass of the dark matter haloes the galaxies inhabit, by comparing with halo masses inferred from observations. Galaxies at high redshift in the models are in lower mass haloes than suggested by observations, and the star formation efficiency in low-mass haloes is higher than observed. We conclude that many of the models require a physical prescription that acts to dissociate the growth of low-mass galaxies from the growth of their dark matter haloes at high redshift.


title: Gemini Infrared Multi-Object Spectrograph: Instrument Overview

abstract: The Gemini Infrared Multi-Object Spectrograph (GIRMOS) is a powerful new instrument being built to facility-class standards for the Gemini telescope. It takes advantage of the latest developments in adaptive optics and integral field spectrographs. GIRMOS will carry out simultaneous high-angular-resolution, spatially-resolved infrared ($1-2.4$ $\mu$m) spectroscopy of four objects within a two-arcminute field-of-regard by taking advantage of multi-object adaptive optics. This capability does not currently exist anywhere in the world and therefore offers significant scientific gains over a very broad range of topics in astronomical research. For example, current programs for high redshift galaxies are pushing the limits of what is possible with infrared spectroscopy at $8-10$-meter class facilities by requiring up to several nights of observing time per target. Therefore, the observation of multiple objects simultaneously with adaptive optics is absolutely necessary to make effective use of telescope time and obtain statistically significant samples for high redshift science. With an expected commissioning date of 2023, GIRMOS's capabilities will also make it a key followup instrument for the James Webb Space Telescope when it is launched in 2021, as well as a true scientific and technical pathfinder for future Thirty Meter Telescope (TMT) multi-object spectroscopic instrumentation. In this paper, we will present an overview of this instrument's capabilities and overall architecture. We also highlight how this instrument lays the ground work for a future TMT early-light instrument.


title: Balmer-Dominated Shocks Exclude Hot Progenitors for Many Type Ia Supernovae

abstract: The evolutionary mechanism underlying Type Ia supernova explosions remains unknown. Recent efforts to constrain progenitor models based on the influence that their high energy emission would have on the interstellar medium (ISM) of galaxies have proven successful. For individual remnants, Balmer-dominated shocks reveal the ionization state of hydrogen in the immediately surrounding gas. Here we report deep upper limits on the temperature and luminosity of the progenitors of four Type Ia remnants with associated Balmer filaments: SN 1006, 0509-67.5, 0519-69.0, and DEM L71. For SN 1006, existing observations of helium line emission in the diffuse emission ahead of the shock provide an additional constraint on the helium ionization state in the vicinity of the remnant. Using the photoionization code Cloudy, we show that these constraints exclude any hot, luminous progenitor for SN 1006, including stably hydrogen or helium nuclear-burning white dwarfs, as well as any Chandrasekhar-mass white dwarf accreting matter at $\gtrsim 9.5\times10^{-8}M_{\odot}/$yr via a disk. For 0509-67.5, the Balmer emission alone rules out any such white dwarf accreting $\gtrsim 1.4\times10^{-8}M_{\odot}/$yr. For 0519-69.0 and DEM L71, the inferred ambient ionization state of hydrogen is only weakly in tension with a recently hot, luminous progenitor, and cannot be distinguished from e.g., a relatively higher local Lyman continuum background, without additional line measurements. Future deep spectroscopic observations will resolve this ambiguity, and can either detect the influence of any luminous progenitor or rule out the same for all resolved SN Ia remnants.


title: Quark branching in QCD matter to any order in opacity beyond the soft gluon emission limit

abstract: Cold nuclear matter effects in reactions with nuclei at a future electron-ion collider (EIC) lead to a modification of semi-inclusive hadron production, jet cross sections, and jet substructure when compared to the vacuum. At leading order in the strong coupling, a jet produced at an EIC is initiated as an energetic quark, and the process of this quark splitting into a quark-gluon system underlies experimental observables. The spectrum of gluons associated with the branching of this quark jet is heavily modified by multiple scattering in a medium, allowing jet cross sections and jet substructure to be used as a probe of the medium's properties. We present a formalism that allows us to compute the gluon spectrum of a quark jet to an arbitrary order in opacity, the average number of scatterings in the medium. This calculation goes beyond the simplifying limit in which the gluon radiation is soft and can be interpreted as energy loss of the quark, and it significantly extends previous work which computes the full gluon spectrum only to first order in opacity. The theoretical framework demonstrated here applies equally well to light parton and heavy quark branching, and is easily generalizable to all in-medium splitting processes.


title: Position Measurement-Induced Collapse: A Unified Quantum Description of Fraunhofer and Fresnel Diffractions

abstract: Position measurement-induced collapse states are shown to provide a unified quantum description of diffraction of particles passing through a single slit. These states, which we here call `quantum location states', are represented by the conventional rectangular wave function at the initial moment of position measurement. We expand this state in terms of the position eigenstates, which in turn can be represented as a linear combination of energy eigenfunctions of the problem, using the closure property. The time-evolution of the location states in the case of free particles is shown to have position probability density patterns closely resembling diffraction patterns in the Fresnel region for small times and the same in Fraunhofer region for large times. Using the quantum trajectory representations in the de Broglie-Bohm, modified de Broglie-Bohm and Floyd-Faraggi-Matone formalisms, we show that Fresnel and Fraunhofer diffractions can be described using a single expression. We also discuss how to obtain the probability density of location states for the case of particles moving in a general potential, detected at some arbitrary point. In the case of the harmonic oscillator potential, we find that they have oscillatory properties similar to that of coherent states.


title: Displaced Vertices from Hidden Glue

abstract: We consider the phenomenology of glueball production and decay in theories with hidden glue. We focus on the case of folded supersymmetry (FSUSY) , where there is an unbroken $SU(3)$ gauge theory in the absence of light matter, leading to the formation of glueballs. We study their production through the annihilation of folded squarks into hidden gluons at the LHC, and model their fragmentation into glueballs. We obtain the distribution of displaced vertices, which is directly determined by the folded squark mass scale. Although here we specifically apply it to FSUSY, the procedure to model the hidden glue fragmentation into glueballs can be generalized to other similar theories.


title: Late-time asymptotics for the wave equation on extremal Reissner-Nordstr\"om backgrounds

abstract: We derive the precise late-time asymptotics for solutions to the wave equation on extremal Reissner-Nordstr\"om black holes and explicitly express the leading-order coefficients in terms of the initial data. Our method is based on purely physical space techniques. We derive novel weighted energy hierarchies and develop a singular time inversion theory, which allow us to uncover the subtle contribution of both the near-horizon and near-infinity regions to the precise asymptotics. We introduce a new horizon charge and provide applications pertaining to the interior dynamics of extremal black holes. Our work confirms, and in some cases extends, the numerical and heuristic analysis of Lucietti-Murata-Reall-Tanahashi, Ori-Sela and Blaksley-Burko.


title: A multi-sensor data-driven methodology for all-sky passive microwave inundation retrieval

abstract: We present a multi-sensor Bayesian passive microwave retrieval algorithm for flood inundation mapping at high spatial and temporal resolutions. The algorithm takes advantage of observations from multiple sensors in optical, short-infrared, and microwave bands, thereby allowing for detection and mapping of the sub-pixel fraction of inundated areas under almost all-sky conditions. The method relies on a nearest-neighbor search and a modern sparsity-promoting inversion method that make use of an a priori dataset in the form of two joint dictionaries. These dictionaries contain almost overlapping observations by the Special Sensor Microwave Imager and Sounder (SSMIS) on board the Defense Meteorological Satellite Program (DMSP) F17 satellite and the Moderate Resolution Imaging Spectroradiometer (MODIS) on board the Aqua and Terra satellites. Evaluation of the retrieval algorithm over the Mekong Delta shows that it is capable of capturing to a good degree the inundation diurnal variability due to localized convective precipitation. At longer timescales, the results demonstrate consistency with the ground-based water level observations, denoting that the method is properly capturing inundation seasonal patterns in response to regional monsoonal rain. The calculated Euclidean distance, rank-correlation, and also copula quantile analysis demonstrate a good agreement between the outputs of the algorithm and the observed water levels at monthly and daily timescales. The current inundation products are at a resolution of 12.5 km and taken twice per day, but a higher resolution (order of 5 km and every 3 h) can be achieved using the same algorithm with the dictionary populated by the Global Precipitation Mission (GPM) Microwave Imager (GMI) products.


title: Anode current saturation of ALD-coated Planacon MCP-PMTs

abstract: We have measured and compared the characteristics of ALD-coated Planacon MCP-PMTs (XP85112/A1-Q-L) with their non-ALD counterparts (XP85012/A1-Q). While the later show excellent performance, the ALD-coated sensors have surprisingly low current saturation levels (~two orders of magnitude lower than expected) and extremely high gain recovery time (more than 7 orders of magnitude higher than expected). We suspect that these problems might be caused by the unexpected side-effects of the ALD process. To make a definite conclusion, more samples need to be tested, preferably from different production runs. If our observation were confirmed, it would mean a serious technological setback for ALD-coated MCP-PMTs.


title: Search for Excited $u$ and $d$ Quarks in Dijet Final States at Future $pp$ Colliders

abstract: Resonant production of excited $u$ and $d$ quarks at the Future Circular Collider and Super proton-proton Collider have been researched. Dominant jet-jet decay mode has been considered. It is shown that FCC and SppC have great potential for discovery of excited $u$ ($d$) quark: up to 44.1 (36.3) and 58.4 (47.8) TeV masses, respectively. For degenerate case (M$_{u^{\star}}$ = M$_{d^{\star}}$), these values are 45.9 and 60.9 TeV, respectively. This discovery will also afford an opportunity to determine the compositeness scale up to multi-PeV level.


title: Constraining unintegrated gluon distributions from inclusive photon production in proton-proton collisions at the LHC

abstract: We compute the leading order (LO) $qg\to q \gamma$ and next-to-leading order (NLO) $gg\to q{\bar q} \gamma$ contributions to inclusive photon production in proton-proton (p+p) collisions at the LHC. These channels provide the dominant contribution at LO and NLO for photon transverse momenta $k_{\gamma\perp}$ corresponding to momentum fractions of $x\leq 0.01$ in the colliding protons. Our computations, performed in the dilute-dense framework of the Color Glass Condensate effective field theory (CGC EFT), show that the NLO contribution dominates at small-$x$ because it is sensitive to $k_\perp$-dependent unintegrated gluon distributions in both of the protons. We predict a maximal $10\%$ modification of the cross section at low $k_{\gamma\perp}$ as a direct consequence of the violation of $k_\perp$-factorization. The coherence effects responsible for this modification are enhanced in nuclei and can be identified from inclusive photon measurements in proton-nucleus collisions. We provide numerical results for the isolated inclusive photon cross section for $k_{\gamma\perp}\leq 20$ GeV in p+p collisions that can be tested in the future at the LHC.


title: Variable-delay Polarization Modulators for the CLASS Telescopes

abstract: The search for inflationary primordial gravitational waves and the measurement of the optical depth to reionization, both through their imprint on the large angular scale correlations in the polarization of the cosmic microwave background (CMB), has created the need for high sensitivity measurements of polarization across large fractions of the sky at millimeter wavelengths. These measurements are subject to instrumental and atmospheric $1/f$ noise, which has motivated the development of polarization modulators to facilitate the rejection of these large systematic effects. Variable-delay polarization modulators (VPMs) are used in the Cosmology Large Angular Scale Surveyor (CLASS) telescopes as the first element in the optical chain to rapidly modulate the incoming polarization. VPMs consist of a linearly polarizing wire grid in front of a movable flat mirror. Varying the distance between the grid and the mirror produces a changing phase shift between polarization states parallel and perpendicular to the grid which modulates Stokes U (linear polarization at $45^\circ$) and Stokes V (circular polarization). The CLASS telescopes have VPMs as the first optical element from the sky; this simultaneously allows a lock-in style polarization measurement and the separation of sky polarization from any instrumental polarization further along in the optical path. The Q-band CLASS VPM was the first VPM to begin observing the CMB full time, starting in the Spring of 2016. The first W-band CLASS VPM was installed in the Spring of 2018.


title: The Smeared Null Energy Condition

abstract: We propose a new bound on the average null energy along a finite portion of a null geodesic. We believe our bound is valid on scales small compared to the radius of curvature in any quantum field theory that is consistently coupled to gravity. If correct, our bound implies that regions of negative energy density are never strongly gravitating, and that isolated regions of negative energy are forbidden.


title: MIRC-X/CHARA: sensitivity improvements with an ultra-low noise SAPHIRA detector

abstract: MIRC-X is an upgrade of the six-telescope infrared beam combiner at the CHARA telescope array, the world's largest baseline interferometer in the optical/infrared, located at the Mount Wilson Observatory in Los Angeles. The upgraded instrument features an ultra-low noise and fast frame rate infrared camera (SAPHIRA detector) based on e-APD technology. We report the MIRC-X sensitivity upgrade work and first light results in detail focusing on the detector characteristics and software architecture.


title: Pulsation properties of ultra-massive DA white dwarf stars with ONe cores

abstract: Ultra-massive DA WD stars are expected to harbor ONe cores resulting from the progenitor evolution through the Super-AGB phase. As evolution proceeds during the WD cooling phase, a crystallization process resulting from Coulomb interactions in very dense plasmas is expected to occur, leading to the formation of a highly crystallized core. Pulsating ultra-massive WDs offer a unique opportunity to infer and test the occurrence of crystallization in WD interiors as well as physical processes related with dense plasmas. We aim to assess the adiabatic pulsation properties of ultra-massive DA WD with ONe cores. We studied the pulsation properties of ultra-massive DA WD stars with ONe cores. We employed a new set of ultra-massive WD evolutionary sequences of models with stellar masses in the range 1.10 $\leq M_{star}/M_{sun} \leq$ 1.29 computed by taking into account the complete evolution of the progenitor stars and the WD stage. When crystallization set on in our models, we took into account latent heat release and also the expected changes in the core chemical composition that are due to phase separation according to a phase diagram suitable for O and Ne plasmas. We computed nonradial pulsation g-modes of our sequences of models at the ZZ Ceti phase by taking into account a solid core. We explored the impact of crystallization on their pulsation properties, in particular, the structure of the period spectrum and the distribution of the period spacings. We find that it would be possible, in principle, to discern whether a WD has a nucleus made of CO or a nucleus of ONe by studying the spacing between periods. The features found in the period-spacing diagrams could be used as a seismological tool to discern the core composition of ultra-massive ZZ Ceti stars, something that should be complemented with detailed asteroseismic analysis using the individual observed periods.


title: Internal Quantum Dynamics of a Nanoparticle in a Thermal Electromagnetic Field: a Minimal Model

abstract: We argue that macroscopic electrodynamics is unsuited to describe the process of radiative thermalization between a levitated nanoparticle in high vacuum and the thermal electromagnetic field. Based on physical arguments, we propose a model to describe such systems beyond the quasi-equilibrium approximation. We use path integral techniques to analytically solve the model and exactly calculate the time evolution of the quantum degrees of freedom of the system. Free parameters of the microscopic quantum model are determined by matching analytical results to well-known macroscopic response functions. The time evolution of the internal energy of a levitated nanoparticle in a thermal electromagnetic field, as described by our model, qualitatively differs from macroscopic electrodynamics, a prediction that can be experimentally tested.


title: Demonstrating the Principles of Aperture Synthesis with TableTop Laboratory Exercises

abstract: Many undergraduate radio astronomy courses are unable to give a detailed treatment of aperture synthesis due to time constraints and limited math backgrounds of students. We have taken a laboratory-based approach to teaching radio interferometry using a set of college-level, table-top exercises. These are performed with the Very Small Radio Telescope (VSRT), an interferometer developed at the Haystack Observatory using satellite TV electronics as detectors and compact fluorescent light bulbs as microwave signal sources. The hands-on experience provided by the VSRT in these labs allows students to gain a conceptual understanding of radio interferometry and aperture synthesis without the rigorous mathematical background traditionally required. The data are quickly and easily processed using a user-friendly data analysis Java package, VSRTI\_Plotter.jar. This software can also be used in the absence of the equipment as an interactive computer activity to demonstrate an interferometer's responses to assorted surface brightness distributions. The students also gain some familiarity with Fourier transforms and an appreciation for the Fourier relations in interferometry using another Java package, the Tool for Interactive Fourier Transforms (TIFT). We have successfully used these tools in multiple offerings of our radio astronomy course at Union College


title: Nash equilibrium for risk-averse investors in a market impact game with transient price impact

abstract: We consider a market impact game for $n$ risk-averse agents that are competing in a market model with linear transient price impact and additional transaction costs. For both finite and infinite time horizons, the agents aim to minimize a mean-variance functional of their costs or to maximize the expected exponential utility of their revenues. We give explicit representations for corresponding Nash equilibria and prove uniqueness in the case of mean-variance optimization. A qualitative analysis of these Nash equilibria is conducted by means of numerical analysis.


title: Lipschitz free spaces on finite metric spaces

abstract: Main results of the paper: (1) For any finite metric space $M$ the Lipschitz free space on $M$ contains a large well-complemented subspace which is close to $\ell_1^n$. (2) Lipschitz free spaces on large classes of recursively defined sequences of graphs are not uniformly isomorphic to $\ell_1^n$ of the corresponding dimensions. These classes contain well-known families of diamond graphs and Laakso graphs. Interesting features of our approach are: (a) We consider averages over groups of cycle-preserving bijections of graphs which are not necessarily graph automorphisms; (b) In the case of such recursive families of graphs as Laakso graphs we use the well-known approach of Gr\"unbaum (1960) and Rudin (1962) for estimating projection constants in the case where invariant projections are not unique.


title: On the Fourier Analysis of Measures with Meyer Set Support

abstract: In this paper we show the existence of the generalized Eberlein decomposition for Fourier transformable measures with Meyer set support. We prove that each of the three components is also Fourier transformable and has Meyer set support. We obtain that each of the pure point, absolutely continuous and singular continuous components of the Fourier transform is a strong almost periodic measure, and hence is either trivial or has relatively dense support. We next prove that the Fourier transform of a measure with Meyer set support is norm almost periodic, and hence so is each of the pure point, absolutely continuous and singular continuous components. We show that a measure with Meyer set support is Fourier transformable if and only if it is a linear combination of positive definite measures, which can be chosen with Meyer set support, solving a particular case of an open problem. We complete the paper by discussing some applications to the diffraction of weighted Dirac combs with Meyer set support.


title: Influence of particle size and agglomeration in solid oxide fuel cell cathodes using manganite nanoparticles

abstract: In this work we studied the influence of particle size and agglomeration in the performance of solid oxide fuel cell cathodes made with nanoparticles of La0.8Sr0.2MnO3. We followed two synthesis routes based on the Liquid Mix method. In both procedures we introduced additional reagents in order to separated the manganite particles. We evaluated cathodic performance by Electrochemical Impedance Spectroscopy in symmetrical (CATHODE/ELECTROLYTE/CATHODE) cells. Particle size was tuned by the temperature used for cathode sintering. Our results show that deagglomeration of the particles, serves to improve the cathodes performance. However, the dependence of the performance with the size of the particles is not clear, as different trends were obtained for each synthesis route. As a common feature, the cathodes with the lowest area specific resistance are the ones sintered at the largest temperature. This result indicates that an additional factor related with the quality of the cathode/electrolyte sintering, is superimposed with the influence of particle size, however further work is needed to clarify this issue. The enhancement obtained by deagglomeration suggest that the use of this kind of methods deserved to be considered to develop high performance electrodes for solid oxide fuel cells.


title: Interplay of the LHC and non-LHC Dark Matter searches in the Effective Field Theory approach

abstract: We present accurate and up-to-date constraints on the complete set of dimension five and six operators with scalar, fermion and vector Dark Matter (DM). We find limits using LHC mono-jet data, spin inde- pendent and spin dependent direct searches, relic density and CMB, and show the interplay between high and low energy data in setting bounds on the parameter space. In order to properly compare data taken at different energies, we take into account the effect of the running and mixing of operators. We also take into account the local density uncertainties affecting direct detection data, and apply EFT validity criteria related to the cut on the invariant mass of DM pair production at the LHC, which turns out to be especially important for the case of vector DM. Finally, we estimate the potential of the future LHC runs to probe DM parameter space.


title: A geometrical instability for ultra-light fields during inflation?

abstract: Westudythebehaviourofisocurvatureperturbationsinnon-linearsigmamodels which naturally emerge in supergravity and string inflationary scenarios. We focus on the case of negatively curved field manifolds which can potentially lead to a geometrical destabilisation of isocurvature modes. We find however that heavy fields are stable when their effective mass is computed on the attractor background solution. On the other hand, we show that ultra-light fields can potentially suffer from a geometrical instability when the background trajectory is a geodesic in field space. In this case a full understanding of the system is likely to require the use of non-perturbative methods.


title: Universal Transformers

abstract: Recurrent neural networks (RNNs) sequentially process data by updating their state with each new data point, and have long been the de facto choice for sequence modeling tasks. However, their inherently sequential computation makes them slow to train. Feed-forward and convolutional architectures have recently been shown to achieve superior results on some sequence modeling tasks such as machine translation, with the added advantage that they concurrently process all inputs in the sequence, leading to easy parallelization and faster training times. Despite these successes, however, popular feed-forward sequence models like the Transformer fail to generalize in many simple tasks that recurrent models handle with ease, e.g. copying strings or even simple logical inference when the string or formula lengths exceed those observed at training time. We propose the Universal Transformer (UT), a parallel-in-time self-attentive recurrent sequence model which can be cast as a generalization of the Transformer model and which addresses these issues. UTs combine the parallelizability and global receptive field of feed-forward sequence models like the Transformer with the recurrent inductive bias of RNNs. We also add a dynamic per-position halting mechanism and find that it improves accuracy on several tasks. In contrast to the standard Transformer, under certain assumptions, UTs can be shown to be Turing-complete. Our experiments show that UTs outperform standard Transformers on a wide range of algorithmic and language understanding tasks, including the challenging LAMBADA language modeling task where UTs achieve a new state of the art, and machine translation where UTs achieve a 0.9 BLEU improvement over Transformers on the WMT14 En-De dataset.


title: Multiphoton Quantum Logic Gates for Superconducting Resonators with Tunable Nonlinear Interaction

abstract: We propose a tunable nonlinear interaction for the implementation of quantum logic operations on pairs of superconducting resonators, where the two-resonator interaction is mediated by a transmon quantum bit (qubit). This interaction is characterized by a high on-to-off coupling ratio and allows for fast qubit-type and $d$-level system (qudit)-type operations for quantum information processing with multiphoton cavity states. We present analytical and numerical calculations showing that these operations can be performed with practically unit fidelity in absence of any dissipative phenomena, whereas physical two-photon two-resonator operations can be realized with a fidelity of 99.9% in presence of qubit and resonator decoherence. The resonator-qubit-resonator system proposed in this Letter can be implemented using available planar or three-dimensional microwave technology.


title: The VLT-FLAMES Tarantula Survey. XXIX. Massive star formation in the local 30 Doradus starburst

abstract: The 30 Doradus (30 Dor) nebula in the Large Magellanic Cloud (LMC) is the brightest HII region in the Local Group and a prototype starburst similar to those found in high redshift galaxies. It is thus a stepping stone to understand the complex formation processes of stars in starburst regions across the Universe. Here, we have studied the formation history of massive stars in 30 Dor using masses and ages derived for 452 mainly OB stars from the spectroscopic VLT-FLAMES Tarantula Survey (VFTS). We find that stars of all ages and masses are scattered throughout 30 Dor. This is remarkable because it implies that massive stars either moved large distances or formed independently over the whole field of view in relative isolation. We find that both channels contribute to the 30 Dor massive star population. Massive star formation rapidly accelerated about 8 Myr ago, first forming stars in the field before giving birth to the stellar populations in NGC 2060 and NGC 2070. The R136 star cluster in NGC 2070 formed last and, since then, about 1 Myr ago, star formation seems to be diminished with some continuing in the surroundings of R136. Massive stars within a projected distance of 8 pc of R136 are not coeval but show an age range of up to 6 Myr. Our mass distributions are well populated up to $200\,\mathrm{M}_\odot$. The inferred IMF is shallower than a Salpeter-like IMF and appears to be the same across 30 Dor. By comparing our sample of stars to stellar models in the Hertzsprung-Russell diagram, we find evidence for missing physics in the models above $\log L/\mathrm{L}_\odot=6$ that is likely connected to enhanced wind mass loss for stars approaching the Eddington limit. [abridged]


title: More about cofinally complete metric spaces

abstract: Metric spaces satisfying properties stronger than completeness and weaker than compactness have been studied by many authors over the years. One such significant family is that of cofinally complete metric spaces. We discuss the relationship between cofinally complete metric spaces and the family of almost uniformly continuous functions, which has recently been introduced by Kyriakos Keremedis in \cite{[K]}. We also discuss several equivalent conditions for metric spaces whose completions are cofinally complete in terms of some geometric functional.


title: Verification of Uncertain POMDPs Using Barrier Certificates

abstract: We consider a class of partially observable Markov decision processes (POMDPs) with uncertain transition and/or observation probabilities. The uncertainty takes the form of probability intervals. Such uncertain POMDPs can be used, for example, to model autonomous agents with sensors with limited accuracy, or agents undergoing a sudden component failure, or structural damage [1]. Given an uncertain POMDP representation of the autonomous agent, our goal is to propose a method for checking whether the system will satisfy an optimal performance, while not violating a safety requirement (e.g. fuel level, velocity, and etc.). To this end, we cast the POMDP problem into a switched system scenario. We then take advantage of this switched system characterization and propose a method based on barrier certificates for optimality and/or safety verification. We then show that the verification task can be carried out computationally by sum-of-squares programming. We illustrate the efficacy of our method by applying it to a Mars rover exploration example.


title: Detecting Intermediate-Mass Ratio Inspirals From The Ground And Space

abstract: The detection of a gravitational capture of a stellar-mass compact object by a massive black hole (MBH) will allow us to test gravity in the strong regime. These sources form via two-body relaxation, by exchanging energy and angular momentum, and inspiral in a slow, progressive way down to the final merger. The range of frequencies is localised in the range of millihertz in the case of MBH of masses $\sim 10^6\,M_{\odot}$, i.e. that of space-borne gravitational-wave observatories such as LISA. In this article I show that, depending on their orbital parameters, intermediate-mass ratios (IMRIs) of MBH of masses between a hundred and a few thousand have frequencies that make them detectable (i) with ground-based observatories, or (ii) with both LISA and ground-based ones such as advanced LIGO/Virgo and third generation ones, with ET as an example. The binaries have a signal-to-noise ratio large enough to ensure detection. More extreme values in their orbital parameters correspond to systems detectable only with ground-based detectors and enter the LIGO/Virgo band in particular in many different harmonics for masses up to some $2000,\,M_{\odot}$. I show that environmental effects are negligible, so that the source should not have this kind of complication. The accumulated phase-shift is measurable with LISA and ET, and for some cases also with LIGO, so that it is possible to recover information about the eccentricity and formation scenario. For IMRIs with a total mass $\lessapprox 2000\,M_{\odot}$ and initial eccentricities up to $0.999$, LISA can give a warning to ground-based detectors with enough time in advance and seconds of precision. The possibility of detecting IMRIs from the ground alone or combined with space-borne observatories opens new possibilities for gravitational wave astronomy.


title: Measurement of inclusive and differential Higgs boson production cross sections in the diphoton decay channel in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: Measurements of the inclusive and differential production cross sections for the Higgs boson in the diphoton decay channel are performed using the data set of proton-proton collisions at $\sqrt{s} =$ 13 TeV collected by the CMS experiment at the LHC in 2016 and corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The cross sections are measured in a fiducial phase space defined by a set of requirements on the isolation and kinematic variables of the photons. Differential cross sections are measured as functions of the kinematic properties of the diphoton system and the event. A subset of the measurements is performed in subregions of the fiducial phase space, where relative contributions of specific Higgs boson production mechanisms are enhanced. The total cross section in the chosen fiducial phase space is measured to be 84 $\pm$ 11 (stat) $\pm$ 7 (syst) fb = 84 $\pm$ 13 fb, to be compared with a theoretical prediction of 73 $\pm$ 4 fb. All measurements are found to be in agreement with the theoretical predictions for the standard model Higgs boson with a mass of 125.09 GeV within the experimental and theoretical uncertainties.


title: Almost periodic solutions of periodic linear partial functional differential equations

abstract: We study conditions for the abstract periodic linear functional differential equation $\dot{x}=Ax+F(t)x_t+f(t)$ to have almost periodic with the same structure of frequencies as $f$. The main conditions are stated in terms of the spectrum of the monodromy operator associated with the equation and the frequencies of the forcing term $f$. The obtained results extend recent results on the subject. A discussion on how the results could be extended to the case when $A$ depends on $t$ is given.


title: Improved Time and Space Bounds for Dynamic Range Mode

abstract: Given an array A of $n$ elements, we wish to support queries for the most frequent and least frequent element in a subrange $[l, r]$ of $A$. We also wish to support updates that change a particular element at index $i$ or insert/ delete an element at index $i$. For the range mode problem, our data structure supports all operations in $O(n^{2/3})$ deterministic time using only $O(n)$ space. This improves two results by Chan et al. \cite{C14}: a linear space data structure supporting update and query operations in $\tilde{O}(n^{3/4})$ time and an $O(n^{4/3})$ space data structure supporting update and query operations in $\tilde{O}(n^{2/3})$ time. For the range least frequent problem, we address two variations. In the first, we are allowed to answer with an element of $A$ that may not appear in the query range, and in the second, the returned element must be present in the query range. For the first variation, we develop a data structure that supports queries in $\tilde{O}(n^{2/3})$ time, updates in $O(n^{2/3})$ time, and occupies $O(n)$ space. For the second variation, we develop a Monte Carlo data structure that supports queries in $O(n^{2/3})$ time, updates in $\tilde{O}(n^{2/3})$ time, and occupies $\tilde{O}(n)$ space, but requires that updates are made independently of the results of previous queries. The Monte Carlo data structure is also capable of answering $k$-frequency queries; that is, the problem of finding an element of given frequency in the specified query range. Previously, no dynamic data structures were known for least frequent element or $k$-frequency queries.


title: Asymptotic Behavior of Solutions of periodic linear partial functional differential equations on the half line

abstract: We study conditions for the abstract linear functional differential equation $\dot{x}=Ax+F(t)x_t+f(t), t\ge 0$ to have asymptotic almost periodic solutions, where $F(\cdot )$ is periodic, $f$ is asymptotic almost periodic. The main conditions are stated in terms of the spectrum of the monodromy operator associated with the equation and the circular spectrum of the forcing term $f$. The obtained results extend recent results on the subject.


title: A theoretical framework of the scaled Gaussian stochastic process in prediction and calibration

abstract: Model calibration or data inversion is one of fundamental tasks in uncertainty quantification. In this work, we study the theoretical properties of the scaled Gaussian stochastic process (S-GaSP), to model the discrepancy between reality and imperfect mathematical models. We establish the explicit connection between Gaussian stochastic process (GaSP) and S-GaSP through the orthogonal series representation. The predictive mean estimator in the S-GaSP calibration model converges to the reality at the same rate as the GaSP with a suitable choice of the regularization and scaling parameters. We also show the calibrated mathematical model in the S-GaSP calibration converges to the one that minimizes the $L_2$ loss between the reality and mathematical model, whereas the GaSP model with other widely used covariance functions does not have this property. Numerical examples confirm the excellent finite sample performance of our approaches compared to a few recent approaches.


title: Cohomology Rings of a Class of Torus Manifolds

abstract: Torus manifolds are topological generalization of smooth projective toric manifolds. We compute the rational cohomology ring of a class of smooth locally standard torus manifolds whose orbit space is a connected sum of simple polytopes.


title: Tuning and Stabilization of Optomechanical Crystal Cavities Through NEMS Integration

abstract: Nanobeam optomechanical crystals, in which localized GHz frequency mechanical modes are coupled to wavelength-scale optical modes, are being employed in a variety of experiments across different material platforms. Here, we demonstrate the electrostatic tuning and stabilization of such devices, by integrating a Si$_3$N$_4$ slot-mode optomechanical crystal cavity with a nanoelectromechanical systems (NEMS) element, which controls the displacement of an additional "tuning" beam within the optical near-field of the optomechanical cavity. Under DC operation, tuning of the optical cavity wavelength across several optical linewidths with little degradation of the optical quality factor ($Q\approx10^5$) is observed. The AC response of the tuning mechanism is measured, revealing actuator resonance frequencies in the 10 MHz to 20 MHz range, consistent with the predictions from simulations. Feedback control of the optical mode resonance frequency is demonstrated, and alternative actuator geometries are presented.


title: A Family of Entropy-Conservative Flux Functions for the Euler Equations

abstract: Entropy-conservative numerical flux functions can be used to construct high-order, entropy-stable discretizations of the Euler and Navier-Stokes equations. The purpose of this short communication is to present a novel family of such entropy-conservative flux functions. The proposed flux functions are solutions to quadratic optimization problems and admit closed-form, computationally affordable expressions. We establish the properties of the flux functions including their continuous differentiability, which is necessary for high-order discretizations.


title: BAD: Blockchain Anomaly Detection

abstract: Anomaly detection tools play a role of paramount importance in protecting networks and systems from unforeseen attacks, usually by automatically recognizing and filtering out anomalous activities. Over the years, different approaches have been designed, all focused on lowering the false positive rate. However, no proposal has addressed attacks targeting blockchain-based systems. In this paper we present BAD: the first Blockchain Anomaly Detection solution. BAD leverages blockchain meta-data, named forks, in order to collect potentially malicious activities in the network/system. BAD enjoys the following features: (i) it is distributed (thus avoiding any central point of failure), (ii) it is tamper-proof (making not possible for a malicious software to remove or to alter its own traces), (iii) it is trusted (any behavioral data is collected and verified by the majority of the network) and (iv) it is private (avoiding any third party to collect/analyze/store sensitive information). Our proposal is validated via both experimental results and theoretical complexity analysis, that highlight the quality and viability of our Blockchain Anomaly Detection solution.


title: Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras

abstract: We prove that the tensor product of a simple and a finite dimensional $\mathfrak{sl}_n$-module has finite type socle. This is applied to reduce classification of simple $\mathfrak{q}(n)$-supermodules to that of simple $\mathfrak{sl}_n$-modules. Rough structure of simple $\mathfrak{q}(n)$-supermodules, considered as $\mathfrak{sl}_n$-modules, is described in terms of the combinatorics of category $\mathcal{O}$.


title: s-channel Single Top Quark Production and Decay at NNLO in QCD

abstract: We report on a fully differential next-to-next-to-leading order (NNLO) calculation of s-channel single top (anti-)quark production with a semi-leptonic decay at the LHC, neglecting the color correlation between the light and heavy quark lines and in the narrow width approximation. The NNLO corrections can increase the cross section by about 10% in the low transverse momentum region of the top quark and reduce scale variation uncertainty. In order to compare with experimental results without unfolding procedures, we also present theoretical predictions with fiducial cuts, including total cross sections and distributions of observables used in the experimental multivariate analysis. The NNLO corrections are found to be about -8% for fiducial cross sections.


title: Perturbation and stability of operator frame for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$

abstract: Frame theory is recently an active research area in mathematics, computer science, and engineering with many exciting applications in a variety of different fields. In this paper, we firstly give a characterization of operator frame for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$ and $K$-operator frames for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$. Lastly we consider the stability of operator frame for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$ and $K$-operator frames for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$ under perturbation and we establish some results.


title: Understanding Differences among Executions with Variational Traces

abstract: One of the main challenges of debugging is to understand why the program fails for certain inputs but succeeds for others. This becomes especially difficult if the fault is caused by an interaction of multiple inputs. To debug such interaction faults, it is necessary to understand the individual effect of the input, how these inputs interact and how these interactions cause the fault. The differences between two execution traces can explain why one input behaves differently than the other. We propose to compare execution traces of all input options to derive explanations of the behavior of all options and interactions among them. To make the relevant information stand out, we represent them as variational traces that concisely represents control-flow and data-flow differences among multiple concrete traces. While variational traces can be obtained from brute-force execution of all relevant inputs, we use variational execution to scale the generation of variational traces to the exponential space of possible inputs. We further provide an Eclipse plugin Varviz that enables users to use variational traces for debugging and navigation. In a user study, we show that users of variational traces are more than twice as fast to finish debugging tasks than users of the standard Eclipse debugger. We further show that variational traces can be scaled to programs with many options.


title: Static properties of two linearly coupled discrete circuits

abstract: Bosonic two-ring ladders constitute an important class of atomtronic circuits, where coherent current flows not only can offer a new insight into many-body physics, but also can play the role of actual degrees of freedom, and hence allow for a viable implementation of cold-atom based devices and qubit systems. In this work, we exhaustively investigate the ground state properties and the low-lying energy spectrum of two linearly coupled Bose-Hubbard rings. We show that the competition among interactions, intra- and inter-ring hopping processes gives place to a rather rich physical scenario, where Mott-like states and (different kinds of) superfluid-like states emerge. The latter ones depend also on the (in)commensurate filling of the atoms. Our analysis, carried out within a simple analytical framework and by means of the exact numerical diagonalization of the system Hamiltonian, provides one with a rather complete characterization of the static properties of the two-ring ladder, including, but not limited to, coherence, fragmentation, correlations, and entanglement. We complement our investigation by studying how these indicators depend on the commensurability of the total number of bosons with respect to the total number of sites and show that the two stacked rings are always entangled for an odd number of atoms.


title: Online Facility Location with Deletions

abstract: In this paper we study three previously unstudied variants of the online Facility Location problem, considering an intrinsic scenario when the clients and facilities are not only allowed to arrive to the system, but they can also depart at any moment. We begin with the study of a natural fully-dynamic online uncapacitated model where clients can be both added and removed. When a client arrives, then it has to be assigned either to an existing facility or to a new facility opened at the client's location. However, when a client who has been also one of the open facilities is to be removed, then our model has to allow to reconnect all clients that have been connected to that removed facility. In this model, we present an optimal O(log n_act / log log n_act)-competitive algorithm, where n_act is the number of active clients at the end of the input sequence. Next, we turn our attention to the capacitated Facility Location problem. We first note that if no deletions are allowed, then one can achieve an optimal competitive ratio of O(log n/ log log n), where n is the length of the sequence. However, when deletions are allowed, the capacitated version of the problem is significantly more challenging than the uncapacitated one. We show that still, using a more sophisticated algorithmic approach, one can obtain an online O(log m + log c log n)-competitive algorithm for the capacitated Facility Location problem in the fully dynamic model, where m is number of points in the input metric and c is the capacity of any open facility.


title: Ion-Pairing Limits Crystal Growth in Metal-Oxygen Batteries

abstract: Aprotic alkali metal-oxygen batteries are widely considered to be promising high specific energy alternatives to Li-ion batteries. The growth and dissolution of alkali metal oxides such as Li2O2 in Li-O2 batteries and NaO2 and KO2 in Na- and K-O2 batteries, respectively, is central to the discharge and charge processes in these batteries. However, crystal growth and dissolution of the discharge products, especially in aprotic electrolytes, is poorly understood. In this work, we chose the growth of NaO2 in Na-O2 batteries as a model system and show that there is a strong correlation between the electrolyte salt concentration and the NaO2 crystal size. With a combination of experiments and theory, we argue that the correlation is a direct manifestation of the strong cation-anion interactions leading to decreased crystal growth rate at high salt concentrations. Further, we propose and experimentally demonstrate that cation-coordinating crown molecules are suitable electrochemically stable electrolyte additives that weaken ion-pairing and enhance discharge capacities in metal-oxygen batteries while not negatively affecting their rechargeability.


title: Validating Forward Modeling and Inversions of Helioseismic Holography Measurements

abstract: Here we use synthetic data to explore the performance of forward models and inverse methods for helioseismic holography. Specifically, this work presents the first comprehensive test of inverse modeling for flows using lateral-vantage (deep-focus) holography. We derive sensitivity functions in the Born approximation. We then use these sensitivity functions in a series of forward models and inversions of flows from a publicly available magnetohydrodynamic quiet-Sun simulation. The forward travel times computed using the kernels generally compare favorably with measurements obtained by applying holography, in a lateral-vantage configuration, on a 15-hour time series of artificial Dopplergrams extracted from the simulation. Inversions for the horizontal flow components are able to reproduce the flows in the upper 3Mm of the domain, but are compromised by noise at greater depths.


title: Strongly inhomogeneous distribution of spectral properties of silicon-vacancy color centers in nanodiamonds

abstract: The silicon-vacancy (SiV) color center in diamond is a solid-state single photon emitter and spin quantum bit suited as a component in quantum devices. Here, we show that the SiV center in nanodiamond exhibits a strongly inhomogeneous distribution with regard to the center wavelengths and linewidths of the zero-phonon-line (ZPL) emission at room temperature. We find that the SiV centers separate in two clusters: one group exhibits ZPLs with center wavelengths within a narrow range of approximatly 730 nm to 742 nm and broad linewidths between 5 nm and 17 nm, whereas the second group comprises a very broad distribution of center wavelengths between 715 nm and 835 nm, but narrow linewidths from below 1 nm up to 4 nm. Supported by ab initio Kohn-Sham density functional theory calculations we show that the ZPL shifts of the first group are consistently explained by strain in the diamond lattice. Further, we suggest, that the second group showing the strongly inhomogeneous distribution of center wavelengths might be comprised of modified SiV centers. Whereas single photon emission is demonstrated for SiV centers of both clusters, we show that emitters from different clusters show different spectroscopic features such as variations of the phonon sideband spectra and different blinking dynamics.


title: Quantum causal models via QBism: the short version

abstract: This paper is a concise summary of the main ideas presented in the companion paper `Quantum causal models via Quantum Bayesianism'[arXiv:1806.00895]. I present the proposed definition of a quantum causal model with minimal background and justification, focusing only on its essential physical properties. The mathematical structure and definitions are provided as an Appendix. I discuss the possible physical significance of the fact that the model is symmetric under causal inversion.


title: The effect of AGN feedback on the migration timescale of supermassive black holes binaries

abstract: The gravitational interaction at parsec to sub-parsec scales between a circumbinary gas disc and a super massive black hole binary (SMBHB) is a promising mechanism to drive the migration of SMBHBs toward coalescence. The typical dynamical evolution can be separated in two main regimes: I) Slow migration ($T_{\rm mig}$ $\sim$ $10^{3-4}\times T_{\rm orb}$), where viscous torques are not efficient enough to redistribute the extracted angular momentum from the binary, leading to the formation of a low density cavity around the binary. II) Fast migration ($T_{\rm mig}$ $\sim$ $10^{1-2} \times T_{\rm orb}$), in which the redistribution of angular momentum is efficient and no low density cavity is formed in the circumbinary disc. Using N-Body/SPH simulations we study the effect of AGN feedback in this phase of a SMBHB evolution. We implement an AGN feedback model in the SPH code Gadget-3 that includes momentum feedback from winds, X-ray heating/radial-momentum and Eddington force. Using this implementation we run a set of simulations of SMBHB+disc in the two main shrinking regimes. From these simulations we conclude that the effect of the AGN mechanical feedback is negligible for SMBHBs in the slowly shrinking regime. However, in the fast shrinking regime the AGN wind excavate a "feedback cavity" leaving the SMBHB almost naked, thus stalling the orbital decay of the binary.


title: Model-based free-breathing cardiac MRI reconstruction using deep learned \& STORM priors: MoDL-STORM

abstract: We introduce a model-based reconstruction framework with deep learned (DL) and smoothness regularization on manifolds (STORM) priors to recover free breathing and ungated (FBU) cardiac MRI from highly undersampled measurements. The DL priors enable us to exploit the local correlations, while the STORM prior enables us to make use of the extensive non-local similarities that are subject dependent. We introduce a novel model-based formulation that allows the seamless integration of deep learning methods with available prior information, which current deep learning algorithms are not capable of. The experimental results demonstrate the preliminary potential of this work in accelerating FBU cardiac MRI.


title: Solar Models with dynamic screening and early mass loss tested by helioseismic, astrophysical, and planetary constraints

abstract: The faint young Sun paradox remains an open question. Presented here is one possible solution to this apparent inconsistency, a more massive early Sun. Based on conditions on early Earth and Mars, a luminosity constraint is set as a function of mass. We examine helioseismic constraints of these alternative mass-losing models. Additionally, we explore a dynamic electron screening correction in an effort to improve helioseismic agreement in the core of the an early mass-losing model.


title: Scalable Katz Ranking Computation in Large Static and Dynamic Graphs

abstract: Network analysis defines a number of centrality measures to identify the most central nodes in a network. Fast computation of those measures is a major challenge in algorithmic network analysis. Aside from closeness and betweenness, Katz centrality is one of the established centrality measures. In this paper, we consider the problem of computing rankings for Katz centrality. In particular, we propose upper and lower bounds on the Katz score of a given node. While previous approaches relied on numerical approximation or heuristics to compute Katz centrality rankings, we construct an algorithm that iteratively improves those upper and lower bounds until a correct Katz ranking is obtained. We extend our algorithm to dynamic graphs while maintaining its correctness guarantees. Experiments demonstrate that our static graph algorithm outperforms both numerical approaches and heuristics with speedups between 1.5x and 3.5x, depending on the desired quality guarantees. Our dynamic graph algorithm improves upon the static algorithm for update batches of less than 10000 edges. We provide efficient parallel CPU and GPU implementations of our algorithms that enable near real-time Katz centrality computation for graphs with hundreds of millions of nodes in fractions of seconds.


title: Big-Little Net: An Efficient Multi-Scale Feature Representation for Visual and Speech Recognition

abstract: In this paper, we propose a novel Convolutional Neural Network (CNN) architecture for learning multi-scale feature representations with good tradeoffs between speed and accuracy. This is achieved by using a multi-branch network, which has different computational complexity at different branches. Through frequent merging of features from branches at distinct scales, our model obtains multi-scale features while using less computation. The proposed approach demonstrates improvement of model efficiency and performance on both object recognition and speech recognition tasks,using popular architectures including ResNet and ResNeXt. For object recognition, our approach reduces computation by 33% on object recognition while improving accuracy with 0.9%. Furthermore, our model surpasses state-of-the-art CNN acceleration approaches by a large margin in accuracy and FLOPs reduction. On the task of speech recognition, our proposed multi-scale CNNs save 30% FLOPs with slightly better word error rates, showing good generalization across domains. The codes are available at https://github.com/IBM/BigLittleNet


title: No percolation at criticality

abstract: Ever since J.M. Hammersley showed the existence of phase-transitions regarding independent bond percolation on general $d \geq 2$ dimensional integer-lattices in the late 50's, the continuity (or discontinuity) of which is perhaps the most prominent and long-standing basic open problem in the subsequently extensively developed theory of percolation.


title: Flipping the Large-Enrollment Introductory Physics Classroom

abstract: Most STEM students experience the introductory physics sequence in large-enrollment (N $\gtrsim$ 100 students) classrooms, led by one lecturer and supported by a few teaching assistants. This work describes methods and principles we used to create an effective "flipped classroom" in large- enrollment introductory physics courses by replacing a majority of traditional lecture time with in-class student-driven activity worksheets. In this work, we compare student learning in courses taught by the authors with the flipped classroom pedagogy versus a more traditional pedagogy. By comparing identical questions on exams, we find significant learning gains for students in the student-centered flipped classroom compared to students in the lecturer-centered traditional classroom. Furthermore, we find that the gender gap typically seen in the introductory physics sequence is significantly reduced in the flipped classroom.


title: An index of strongly Callias operators on Lorentzian manifolds with non-compact boundary

abstract: We consider a hyperbolic Dirac-type operator with growing potential on a a spatially non-compact globally hyperbolic manifold. We show that the Atiyah-Patodi-Singer boundary value problem for such operator is Fredholm and obtain a formula for this index in terms of the local integrals and the relative eta-invariant introduced by Braverman and Shi. This extends recent results of B\"ar and Strohmaier, who studied the index of a hyperbolic Dirac operator on a spatially compact globally hyperbolic manifold.


title: Hall and Faraday effects in interacting multi-band systems with arbitrary band topology and spin-orbit coupling

abstract: A formula for the Hall response of interacting multi-band systems with arbitrary band topology and spin-orbit coupling is derived. The formula is valid at finite frequency, which is relevant for Faraday rotation, and it takes into account all particle-hole vertex corrections. The formula includes both three-leg (triangular) and four-leg (rectangular) diagrams. The latter diagrams are absent in the single band case. We show that the rectangular diagrams are necessary to recover the semiclassical formula for the Hall effect from the Kubo formula in the DC limit. They also give the linear response of the anomalous Hall effect to an external magnetic field, an effect which goes beyond the semiclassical theory. Three- and four-particle scatterings are neglected.


title: New Developments in Calorimetric Particle Detection

abstract: In nuclear, particle and astroparticle physics experiments, calorimeters are used to measure the properties of particles with kinetic energies that range from a fraction of 1 eV to 10^20 eV or more. These properties are not necessarily limited to the energy carried by these particles, but may concern the entire four-vector, including the particle mass and type. In many modern experiments, large calorimeter systems play a central role, and this is expected to be no different for experiments that are currently being planned/designed for future accelerators. In this paper, the state of the art as well as new developments in calorimetry are reviewed. The latter are of course inspired by the perceived demands of future experiments, and/or the increasing demands of the current generation of experiments, as these are confronted with, for example, increased luminosity. These demands depend on the particles to be detected by the calorimeter. In electromagnetic calorimeters, radiation hardness of the detector components is a major concern. The generally poor performance of the current generation of hadron calorimeters is considered inadequate for future experiments, and a lot of the R&D in the past decade has focused on improving this performance. The root causes of the problems are investigated and different methods that have been exploited to remedy this situation are evaluated. The use of calorimetric methods to detect energy deposits at the Joule level in astrophysics experiments and at the (sub-)eV level in experiments searching for dark matter is briefly described in separate sections.


title: Polarised Lie groups contactomorphic to stratified groups

abstract: For a stratified group $G$, we construct a class of polarised Lie groups, which we call modifications of $G$, that are locally contactomorphic to it. Vice versa, we show that if a polarised group is locally contactomorphic to a stratified group $G$, whose Lie algebra has finite Tanaka prolongation, then it must be a modification of $G$.


title: Charge-fluctuations in lightly hole-doped cuprates: effect of vertex corrections

abstract: Identification of the electronic state that appears upon doping a Mott insulator is important to understand the physics of cuprate high-temperature superconductors. Recent scanning tunneling microscopy of cuprates provides evidence that a charge-ordered state emerges before the superconducting state upon doping the parent compound. We study this phenomenon by computing the charge response function of the Hubbard model including frequency-dependent local vertex corrections that satisfy the compressibility sum-rule. We find that upon approaching the Mott phase from the overdoped side, the charge fluctuations at wave vectors connecting hot spots are suppressed much faster than at the other wave-vectors. It leads to a momentum dependence of the dressed charge susceptibility that is very different from either the bare susceptibility or from the susceptibility obtained from the random phase approximation. We also find that the paramagnetic lightly hole-doped Mott phase at finite-temperature is unstable to charge ordering only at zero wave-vector, confirming the results previously obtained from the compressibility. Charge order is driven by the frequency-dependent scattering processes that induce an attractive particle-hole interaction at large interaction strength and small doping.


title: Balian-Low Theorems in Several Variables

abstract: Recently, Nitzan and Olsen showed that Balian-Low theorems (BLTs) hold for discrete Gabor systems defined on $\mathbb{Z}_d$. Here we extend these results to a multivariable setting. Additionally, we show a variety of applications of the Quantitative BLT, proving in particular nonsymmetric BLTs in both the discrete and continuous setting for functions with more than one argument. Finally, in direct analogy of the continuous setting, we show the Quantitative Finite BLT implies the Finite BLT.


title: Spin Wave Analysis of Low-Temperature Thermal Hall Effect in the Candidate Kitaev Spin Liquid $\alpha$-RuCl${}_3$

abstract: Proposed effective Hamiltonians from the literature for the material $\alpha$-RuCl${}_3$ are used to compute the magnon thermal Hall conductivity, $\kappa_{xy}$, using linear spin wave theory for the magnetically ordered state. No model previously proposed that was tested explains published experimental data. Models with Kitaev interaction $K>0$ are seen to predict $\kappa_{xy}\gtrsim 0$, which is inconsistent with the data. Fluctuations toward a Kitaev-type spin liquid would have the wrong sign to explain the data. However, a slight variant of a previously proposed model predicts a large $\kappa_{xy}$, demonstrating that the low-temperature thermal Hall effect could be generated exclusively by the Berry curvature of the magnon bands. The experimental data of $\kappa_{xy}$ can therefore serve as another method to constrain a proposed effective Hamiltonian.


title: Algorithmic Framework for Model-based Deep Reinforcement Learning with Theoretical Guarantees

abstract: Model-based reinforcement learning (RL) is considered to be a promising approach to reduce the sample complexity that hinders model-free RL. However, the theoretical understanding of such methods has been rather limited. This paper introduces a novel algorithmic framework for designing and analyzing model-based RL algorithms with theoretical guarantees. We design a meta-algorithm with a theoretical guarantee of monotone improvement to a local maximum of the expected reward. The meta-algorithm iteratively builds a lower bound of the expected reward based on the estimated dynamical model and sample trajectories, and then maximizes the lower bound jointly over the policy and the model. The framework extends the optimism-in-face-of-uncertainty principle to non-linear dynamical models in a way that requires \textit{no explicit} uncertainty quantification. Instantiating our framework with simplification gives a variant of model-based RL algorithms Stochastic Lower Bounds Optimization (SLBO). Experiments demonstrate that SLBO achieves state-of-the-art performance when only one million or fewer samples are permitted on a range of continuous control benchmark tasks.


title: Hyers--Ulam Stability for Discrete Time Scale with Two Step Sizes

abstract: We clarify the Hyers--Ulam stability (HUS) of certain first-order linear constant coefficient dynamic equations on time scales, in the case of a specific time scale with two alternating step sizes, where the exponential function changes sign. In particular, in the case of HUS, we discuss the HUS constant, and whether a minimal constant can be found.


title: A Cautionary Tail: A Framework and Case Study for Testing Predictive Model Validity

abstract: Data scientists frequently train predictive models on administrative data. However, the process that generates this data can bias predictive models, making it important to test models against their intended use. We provide a field assessment framework that we use to validate a model predicting rat infestations in Washington, D.C. The model was developed with data from the city's 311 service request system. Although the model performs well against new 311 data, we find that it does not perform well when predicting the outcomes of inspections in our field assessment. We recommend that data scientists expand the use of field assessments to test their models.


title: Analyzing Highly Volatile Driving Trips Taken by Alternative Fuel Vehicles

abstract: Volatile driving, characterized by fluctuations in speed and accelerations and aggressive lane changing/merging, is known to contribute to transportation crashes. To fully understand driving volatility with the intention of reducing it, the objective of this study is to identify its key correlates, while focusing on highly volatile trips. First, a measure of driving volatility based on vehicle speed is applied to trip data collected in the California Household Travel Survey during 2012-2013. Specifically, the trips containing driving cycles (N=62839 trips) were analyzed to obtain driving volatility. Second, correlations of volatility with the trip, vehicle, and person level variables were quantified using Ordinary Least Squares and quantile regression models. The results of the 90th percentile regression (which distinguishes the 10% highly volatile trips from the rest) show that trips taken by pickup trucks, hatchbacks, convertibles, and minivans are less volatile when compared to the trips taken by sedans. Moreover, longer trips have less driving volatility. In addition, younger drivers are more volatile drivers than old ones. Overall, the results of this study are reasonable and beneficial in identifying correlates of driving volatility, especially in terms of understanding factors that differentiate highly volatile trips from other trips. Reductions in driving volatility have positive implications for transportation safety. From a methodological standpoint, this study is an example of how to extract useful (volatility) information from raw vehicle speed data and use it to calm down drivers and ultimately improve transportation safety.


title: Tensor-Ring Decomposition with Index-Splitting

abstract: Tensor-ring decomposition of tensors plays a key role in various applications of tensor network representation in physics as well as in other fields. In most heuristic algorithms for the tensor-ring decomposition, one encounters the problem of local-minima trapping. Particularly, the minima related to the topological structure in the correlation are hard to escape. Therefore, identification of the correlation structure, somewhat analogous to finding matching ends of entangled strings, is the task of central importance. We show how this problem naturally arises in physical applications, and present a strategy for winning this string-pull game.


title: Blockchain-based PKI for Crowdsourced IoT Sensor Information

abstract: The Internet of Things is progressively getting broader, evol-ving its scope while creating new markets and adding more to the existing ones. However, both generation and analysis of large amounts of data, which are integral to this concept, may require the proper protection and privacy-awareness of some sensitive information. In order to control the access to this data, allowing devices to verify the reliability of their own interactions with other endpoints of the network is a crucial step to ensure this required safeness. Through the implementation of a blockchain-based Public Key Infrastructure connected to the Keybase platform, it is possible to achieve a simple protocol that binds devices' public keys to their owner accounts, which are respectively supported by identity proofs. The records of this blockchain represent digital signatures performed by this Keybase users on their respective devices' public keys, claiming their ownership. Resorting to this distributed and decentralized PKI, any device is able to autonomously verify the entity in control of a certain node of the network and prevent future interactions with unverified parties.


title: The Universe as an Oscillator

abstract: We apply the idea of using a matter time gauge in quantum gravity to quantum cosmology. For the Friedmann-Lemaitre-Robertson-Walker (FLRW) Universe with dust and cosmological constant $\Lambda$, we show that the dynamics maps exactly to the simple harmonic oscillator in the dust-time gauge. For $\Lambda >0$ the oscillator frequency is imaginary, for $\Lambda<0$ it is real, and for $\Lambda=0$ the Universe is a free particle. This result provides (i) a simple demonstration of non-perturbative singularity avoidance in quantum gravity for all $\Lambda$, (ii) an exact Lorentzian Hartle-Hawking wave function, and (iii) gives the present age of the Universe as the characteristic decay time of the propagator.


title: Streamable Regular Transductions

abstract: Motivated by real-time monitoring and data processing applications, we develop a formal theory of quantitative queries for streaming data that can be evaluated efficiently. We consider the model of unambiguous Cost Register Automata (CRAs), which are machines that combine finite-state control (for identifying regular patterns) with a finite set of data registers (for computing numerical aggregates). The definition of CRAs is parameterized by the collection of numerical operations that can be applied to the registers. These machines give rise to the class of streamable regular transductions (SR), and to the class of streamable linear regular transductions (SLR) when the register updates are copyless, i.e. every register appears at most once the right-hand-side expressions of the updates. We give a logical characterization of the class SR (resp., SLR) using MSO-definable transformations from strings to DAGs (resp., trees) without backward edges. Additionally, we establish that the two classes SR and SLR are closed under operations that are relevant for designing query languages. Finally, we study the relationship with weighted automata (WA), and show that CRAs over a suitably chosen set of operations correspond to WA, thus establishing that WA are a special case of CRAs.


title: Impact of $e-e$ interactions on the superfluid density of dirty superconductors

abstract: Landau's theory of the Fermi liquid is adapted to analyze the impact of electron-electron ($e-e$) interactions on the deficit of the superfluid density $\rho_{s0}=\rho_s(T=0)$ in dirty superconducting electron systems in which the damping $\gamma$ of single-particle excitations exceeds the zero temperature BCS gap $\Delta_0$. In the dirty strong-coupling limit $\gamma/\Delta_0\gg 1,m^*/m_e\gg 1$, the formula derived for $\rho_{s0}$ is shown to coincide with the well-known empirical Uemura relation provided pair-breaking contributions are nonexistent. The roles of the crystal lattice and magnetic pair-breaking effects in the observed decline of the zero-temperature superfluid density $\rho_{s0}$ in overdoped LSCO compounds are also discussed. Our method is also applied to elucidation of results from the pioneering experimental studies performed recently by Bozovi\`c and collaborators in overdoped LSCO compounds.


title: Analytic formula for the Geometric Phase of an Asymmetric Top

abstract: The motion of a handle spinning in space has an odd behavior. It seems to unexpectedly flip back and forth in a periodic manner as seen in a popular YouTube video. As an asymmetrical top, its motion is completely described by the Euler equations and the equations of motion have been known for more than a century. However, recent concepts of the geometric phase have allowed a new perspective on this classical problem. Here we explicitly use the equations of motion to find a closed form expression for total phase and hence the geometric phase of the force-free asymmetric top and explore some consequences of this formula with the particular example of the spinning handle for demonstration purposes. As one of the simplest dynamical systems, the asymmetric top should be a canonical example to explore the classical analog of Berry phase.