title: Satyam: Democratizing Groundtruth for Machine Vision

abstract: The democratization of machine learning (ML) has led to ML-based machine vision systems for autonomous driving, traffic monitoring, and video surveillance. However, true democratization cannot be achieved without greatly simplifying the process of collecting groundtruth for training and testing these systems. This groundtruth collection is necessary to ensure good performance under varying conditions. In this paper, we present the design and evaluation of Satyam, a first-of-its-kind system that enables a layperson to launch groundtruth collection tasks for machine vision with minimal effort. Satyam leverages a crowdtasking platform, Amazon Mechanical Turk, and automates several challenging aspects of groundtruth collection: creating and launching of custom web-UI tasks for obtaining the desired groundtruth, controlling result quality in the face of spammers and untrained workers, adapting prices to match task complexity, filtering spammers and workers with poor performance, and processing worker payments. We validate Satyam using several popular benchmark vision datasets, and demonstrate that groundtruth obtained by Satyam is comparable to that obtained from trained experts and provides matching ML performance when used for training.


title: Higgs Inflation and the Refined dS Conjecture

abstract: The refined de Sitter derivative conjecture provides constraints to potentials that are low energy effective theories of quantum gravity. It can give direct bounds on inflationary scenarios and determine whether the theory is in the Landscape or the Swampland. We consider the `Higgs inflation' scenario taking the refined de Sitter derivative conjecture into account. Obtaining the critical lines for the potential, we find a conjecture parameter space in which the `Higgs inflation' is to be in the Landscape. Comparing with the model independent observational bounds from recent data we find that the observational bounds represent the Higgs inflation can be in the Landscape.


title: Extended hydrodynamic description for nonequilibrium atom-surface interactions

abstract: The dissipative properties of spatially nonlocal conductors are investigated in the context of quantum friction acting on an atom moving above a macroscopic body. The focus is on an extended version of the hydrodynamic model for the bulk material's electromagnetic response. It is shown that the standard hydrodynamic description is inadequate for evaluating the frictional force since it completely neglects Landau damping. The extended version of the model contains a frequency-dependent compressibility factor for the Fermi liquid and qualitatively resolves this issue. For a quantitative assessment, these results are contrasted with those obtained for the more fundamental Boltzmann-Mermin model. Since the latter is technically involved, the simplicity of the extended hydrodynamic model allows for an easier analysis of the impact of nonlocality on quantum friction for other (planar) geometries. This is illustrated with an example involving a thin slab.


title: Inferences of $H_0$ in presence of a non-standard recombination

abstract: Measurements of the Hubble parameter from the distance ladder are in tension with indirect measurements based on the cosmic microwave background (CMB) data and the inverse distance ladder measurements at 3-4 $\sigma$ level. We consider phenomenological modification to the timing and width of the recombination process and show that they can significantly affect this tension. This possibility is appealing, because such modification affects both the distance to the last scattering surface and the calibration of the baryon acoustic oscillations (BAO) ruler. Moreover, because only a very small fraction of the most energetic photons keep the early universe in the plasma state, it is possible that such modification could occur without affecting the energy density budget of the universe or being incompatible with the very tight limits on the departure from the black-body spectrum of CMB. In particular, we find that under this simplified model, with a conservative subset of Planck data alone, $H_0=73.44_{-6.77}^{+5.50}~{\rm km\ s}^{-1}\ {\rm Mpc}^{-1}$ and in combination with BAO data $H_0=68.86_{-1.35}^{+1.31}~{\rm km\ s}^{-1}\ {\rm Mpc}^{-1}$, decreasing the tension to $\sim 2\sigma$ level. However, when combined with Planck lensing reconstruction and high-$\ell$ polarization data, the tension climbs back to $\sim 2.7\sigma$, despite the uncertainty on non-ladder $H_0$ measurement more than doubling.


title: Observational determination of the galaxy bias from cosmic variance with a random pointing survey: Clustering of z~2 galaxies from Hubble's BoRG survey

abstract: Gravitational clustering broadens the count-in-cells distribution of galaxies for surveys along uncorrelated (well-separated) lines of sight beyond Poisson noise. A number of methods have proposed to measure this excess "cosmic" variance to constrain the galaxy bias (i.e. the strength of clustering) independently of the two-point correlation function. Here we present an observational application of these methods using data from 141 uncorrelated fields (~700 arcmin$^2$ total) from Hubble's Brightest of Reionizing Galaxies (BoRG) survey. We use BoRG's broad-band imaging in optical and near infrared to identify N~1000 photometric candidates at z~2 through a combination of colour selection and photometric redshift determination, building a magnitude-limited sample with $m_{AB}\leq24.5$ in F160W. We detect a clear excess in the variance of the galaxy number counts distribution compared to Poisson expectations, from which we estimate a galaxy bias $b \approx 3.63 \pm 0.57$. When divided by SED-fit classification into ~400 early-type and ~600 late-type candidates, we estimate biases of $b_{early} \approx 4.06 \pm 0.67$ and $b_{late} \approx 2.98 \pm 0.98$ respectively. These estimates are consistent with previous measurements of the bias from the two-point correlation function, and demonstrate that with $N\gtrsim100$ sight-lines, each containing $N\gtrsim5$ objects, the counts-in-cell analysis provides a robust measurement of the bias. This implies that the method can be applied effectively to determine clustering properties (and characteristic dark-matter halo masses) of z~6-9 galaxies from a pure-parallel James Webb Space Telescope survey similar in design to Hubble's BoRG survey.


title: LHC constraints and potential on resonant monotop production

abstract: We discuss the phenomenology associated with a resonant monotop collider signal, i.e. a signal in which a single top quark is resonantly produced in association with missing energy through an s-channel scalar exchange. We study both the bounds originating from dedicated monotop searches performed by the ATLAS and CMS experiments, and the constraints associated with other processes that could be induced by a new physics context favouring monotop production at colliders. The latter class of constraints includes, in particular, the recasting of analyses from the LHC and the TeVatron. All theoretical calculations are performed at the next-to-leading order accuracy in QCD, and we finally combine all results to establish the present limits on the parameter space and test the relevance of the monotop signal at the LHC Run 2.


title: Low-mass halo perturbations in strong gravitational lenses at redshift z$\sim$0.5 are consistent with CDM

abstract: We use a sample of 17 strong gravitational lens systems from the BELLS GALLERY survey to quantify the amount of low-mass dark matter haloes within the lensing galaxies and along their lines of sight, and to constrain the properties of dark matter. Based on a detection criterion of 10$\sigma$, we report no significant detection in any of the lenses. Using the sensitivity function at the 10-$\sigma$ level, we have calculated the predicted number of detectable cold dark matter (CDM) line-of-sight haloes to be $\mu_{l} = 1.17\pm1.08$, in agreement with our null detection. Assuming a detection sensitivity that improved to the level implied by a 5-$\sigma$ threshold, the expected number of detectable line-of-sight haloes rises to $\mu_l = 9.0\pm3.0$. Whilst the current data find zero detections at this sensitivity level (which has a probability of P$^{{\rm5}\sigma}_{{\rm CDM}}(n_{\rm det}=0)$=0.0001 and would be in strong tension with the CDM framework), we find that such a low detection threshold leads to many spurious detections and non-detections and therefore the current lack of detections is unreliable and requires data with improved sensitivity. Combining this sample with a subsample of 11 SLACS lenses, we constrain the half-mode mass to be $\log$(M$_{\rm hm}) < 12.26$ at the 2-$\sigma$ level. The latter is consistent with resonantly produced sterile neutrino masses m$_{\rm s} < 0.8$ keV at any value of the lepton asymmetry at the 2-$\sigma$ level.


title: Resolving on 100 pc scales the UV-continuum in Lyman-$\alpha$ emitters between redshift 2 to 3 with gravitational lensing

abstract: We present a study of seventeen LAEs at redshift 2$<z<$3 gravitationally lensed by massive early-type galaxies (ETGs) at a mean redshift of approximately 0.5. Using a fully Bayesian grid-based technique, we model the gravitational lens mass distributions with elliptical power-law profiles and reconstruct the UV-continuum surface brightness distributions of the background sources using pixellated source models. We find that the deflectors are close to, but not consistent with isothermal models in almost all cases, at the $2\sigma$-level. We take advantage of the lensing magnification (typically $\mu\simeq$ 20) to characterise the physical and morphological properties of these LAE galaxies. From reconstructing the ultra-violet continuum emission, we find that the star-formation rates range from 0.3 to 8.5 M$_{\odot}$ yr$^{-1}$ and that the galaxies are typically composed of several compact and diffuse components, separated by 0.4 to 4 kpc. Moreover, they have peak star-formation rate intensities that range from 2.1 to 54.1 M$_{\odot}$ yr$^{-1}$ kpc$^{-2}$. These galaxies tend to be extended with major axis ranging from 0.2 to 1.8 kpc (median 561 pc), and with a median ellipticity of 0.49. This morphology is consistent with disk-like structures of star-formation for more than half of the sample. However, for at least two sources, we also find off-axis components that may be associated with mergers. Resolved kinematical information will be needed to confirm the disk-like nature and possible merger scenario for the LAEs in the sample.


title: Digitizing Gauge Fields: Lattice Monte Carlo Results for Future Quantum Computers

abstract: In the near-future noisy intermediate-scale quantum (NISQ) era of quantum computing technology, applications of quantum computing will be limited to calculations of very modest scales in terms of the number of qubits used. The need to represent numeric quantities using limited resources leads to digitization errors which must be taken into account. As a first step towards quantum simulations of realistic high-energy physics problems, we explore classically the effects of digitizing elements of the $\mathrm{SU}(2)$ gauge group to a finite set. We consider several methods for digitizing the group, finding the best performance from an action-preserving projection onto a mesh. Working in (3+1) dimensions, we find that using $\sim 7$ (qu)bits to represent each $\mathrm{SU}(2)$ gauge link induces a digitization error on the order of $10\%$ in short-distance observables and $2\%$ in long-distance observables. Promisingly, our results indicate that each $\mathrm{SU}(2)$ gauge link can be represented by $\mathcal{O}(10)$ (qu)bits, from which we estimate that a $16^3$ $\mathrm{SU}(2)$ lattice could be simulated with no more than $\mathcal{O}(10^5)$ (qu)bits. Our results on digitization are also of interest as a form of lossy compression that could be used in high-performance classical computing to alleviate communications bottlenecks.


title: Benchmarking high fidelity single-shot readout of semiconductor qubits

abstract: Determination of qubit initialisation and measurement fidelity is important for the overall performance of a quantum computer. However, the method by which it is calculated in semiconductor qubits varies between experiments. In this paper we present a full theoretical analysis of electronic single-shot readout and describe critical parameters to achieve high fidelity readout. In particular, we derive a model for energy selective state readout based on a charge detector response and examine how to optimise the fidelity by choosing correct experimental parameters. Although we focus on single electron spin readout, the theory presented can be applied to other electronic readout techniques in semiconductors that use a reservoir.


title: The Spur and the Gap in GD-1: Dynamical evidence for a dark substructure in the Milky Way halo

abstract: We present a model for the interaction of the GD-1 stellar stream with a massive perturber that naturally explains many of the observed stream features, including a gap and an off-stream spur of stars. The model involves an impulse by a fast encounter, after which the stream grows a loop of stars at different orbital energies. At specific viewing angles, this loop appears offset from the stream track. A quantitative comparison of the spur and gap features prefers models where the perturber is in the mass range of $10^6\,\rm M_\odot$ to $10^8\,\rm M_\odot$. Orbit integrations back in time show that the stream encounter could not have been caused by any known globular cluster or dwarf galaxy with a determined orbit, and mass, size and impact-parameter arguments show that it could not have been caused by a molecular cloud in the Milky Way disk. The most plausible explanation for the gap-and-spur structure is an encounter with a dark-matter substructure, like those predicted to populate galactic halos in LCDM cosmology. However, the expected densities of LCDM subhalos in this mass range and in this part of the Milky Way are $2-3\,\sigma$ lower than the inferred density of the GD-1 perturber. This observation opens up the possibility that detailed observations of streams could measure the mass spectrum of dark-matter substructures and even identify individual substructures and their orbits in the Galactic halo.


title: Dirac fermion duality and the parity anomaly

abstract: We present a derivation of the recently discovered duality between the free massless (2+1)-dimensional Dirac fermion and QED$_3$. Our derivation is based on a regularized lattice model of the Dirac fermion and is similar to the more familiar derivation of the boson-vortex duality. It also highlights the important role played by the parity anomaly, which is somewhat less obvious in other discussions of this duality in the literature.


title: Rate of cluster decomposition via Fermat-Steiner point

abstract: In quantum field theory with a mass gap correlation function between two spatially separated operators decays exponentially with the distance. This fundamental result immediately implies an exponential suppression of all higher point correlation functions, but the predicted exponent is not optimal. We argue that in a general quantum field theory the optimal suppression of a three-point function is determined by total distance from the operator locations to the Fermat-Steiner point. Similarly, for the higher point functions we conjecture the optimal exponent is determined by the solution of the Euclidean Steiner tree problem. We discuss how our results constrain operator spreading in relativistic theories.


title: Non-comoving baryons and cold dark matter in cosmic voids

abstract: We examine the fully relativistic evolution of cosmic voids constituted by baryons and cold dark matter (CDM), represented by two non-comoving dust sources in a $\Lambda$CDM background. For this purpose, we consider numerical solutions of Einstein's field equations in a fluid-flow representation adapted to spherical symmetry and multiple components. We present a simple example that explores the frame-dependence of the local expansion and the Hubble flow for this mixture of two dusts, revealing that the relative velocity between the sources yields a significantly different evolution in comparison with that of the two sources in a common 4-velocity (which reduces to a Lemaitre-Tolman-Bondi model). In particular, significant modifications arise for the density contrast depth and void size, as well as in the amplitude of the surrounding over-densities. We show that an adequate model of a frame-dependent evolution that incorporates initial conditions from peculiar velocities and large-scale density contrast observations may contribute to understand the discrepancy between the local value of $H_0$ and that inferred from the CMB.


title: How to measure galaxy star-formation histories I: Parametric models

abstract: Parametric models for galaxy star-formation histories (SFHs) are widely used, though they are known to impose strong priors on physical parameters. This has consequences for measurements of the galaxy stellar-mass function (GSMF), star-formation-rate density (SFRD) and star-forming main sequence (SFMS). We investigate the effects of the exponentially declining, delayed exponentially declining, lognormal and double power law SFH models using BAGPIPES. We demonstrate that each of these models imposes strong priors on specific star-formation rates (sSFRs), potentially biasing the SFMS, and also imposes a strong prior preference for young stellar populations. We show that stellar mass, SFR and mass-weighted age inferences from high-quality mock photometry vary with the choice of SFH model by at least 0.1, 0.3 and 0.2 dex respectively. However the biases with respect to the true values depend more on the true SFH shape than the choice of model. We also demonstrate that photometric data cannot discriminate between SFH models, meaning it is important to perform independent tests to find well-motivated priors. We finally fit a low-redshift, volume-complete sample of galaxies from the Galaxy and Mass Assembly (GAMA) Survey with each model. We demonstrate that our stellar masses and SFRs at redshift, $z\sim0.05$ are consistent with other analyses. However, our inferred cosmic SFRDs peak at $z\sim0.4$, approximately 6 Gyr later than direct observations suggest, meaning our mass-weighted ages are significantly underestimated. This makes the use of parametric SFH models for understanding mass assembly in galaxies challenging. In a companion paper we consider non-parametric SFH models.


title: Super-Earths in the TW Hya disc

abstract: We test the hypothesis that the sub-millimetre thermal emission and scattered light gaps seen in recent observations of TW Hya are caused by planet-disc interactions. We perform global three-dimensional dusty smoothed particle hydrodynamics simulations, comparing synthetic observations of our models with dust thermal emission, CO emission and scattered light observations. We find that the dust gaps observed at 24 au and 41 au can be explained by two super-Earths ($\sim 4 \mathrm{M}_{\oplus}$). A planet of approximately Saturn-mass can explain the CO emission and the depth and width of the gap seen in scattered light at 94 au. Our model produces a prominent spiral arm while there are only hints of this in the data. To avoid runaway growth and migration of the planets we require a disc mass of $\lesssim 10^{-2}\,\mathrm{M}_{\odot}$ in agreement with CO observations but 10$-$100 times lower than the estimate from HD line emission.


title: How to Measure Galaxy Star Formation Histories II: Nonparametric Models

abstract: Nonparametric star formation histories (SFHs) have long promised to be the `gold standard' for galaxy spectral energy distribution (SED) modeling as they are flexible enough to describe the full diversity of SFH shapes, whereas parametric models rule out a significant fraction of these shapes {\it a priori}. However, this flexibility is not fully constrained even with high-quality observations, making it critical to choose a well-motivated prior. Here, we use the SED-fitting code \texttt{Prospector} to explore the effect of different nonparametric priors by fitting SFHs to mock UV-IR photometry generated from a diverse set of input SFHs. First, we confirm that nonparametric SFHs recover input SFHs with less bias and return more accurate errors than do parametric SFHs. We further find that, while nonparametric SFHs robustly recover the overall shape of the input SFH, the primary determinant of the size and shape of the posterior star formation rate (SFR) as a function of time is the choice of prior, rather than the photometric noise. As a practical demonstration, we fit the UV-IR photometry of $\sim$6000 galaxies from the GAMA survey and measure inter-prior scatters in mass (0.1 dex), SFR$_{100\; \mathrm{Myr}}$ (0.8 dex), and mass-weighted ages (0.2 dex), with the bluest star-forming galaxies showing the most sensitivity. An important distinguishing characteristic for nonparametric models is the characteristic timescale for changes in SFR(t). This difference controls whether galaxies are assembled in bursts or in steady-state star formation, corresponding respectively to (feedback-dominated/accretion-dominated) models of galaxy formation and to (larger/smaller) confidence intervals derived from SED-fitting. High-quality spectroscopy has the potential to further distinguish between these proposed models of SFR(t).


title: Quasar Accretion Disk Sizes from Continuum Reverberation Mapping in the DES Standard Star Fields

abstract: Measurements of the physical properties of accretion disks in active galactic nuclei are important for better understanding the growth and evolution of supermassive black holes. We present the accretion disk sizes of 22 quasars from continuum reverberation mapping with data from the Dark Energy Survey (DES) standard star fields and the supernova C fields. We construct continuum lightcurves with the \textit{griz} photometry that span five seasons of DES observations. These data sample the time variability of the quasars with a cadence as short as one day, which corresponds to a rest frame cadence that is a factor of a few higher than most previous work. We derive time lags between bands with both JAVELIN and the interpolated cross-correlation function method, and fit for accretion disk sizes using the JAVELIN Thin Disk model. These new measurements include disks around black holes with masses as small as $\sim10^7$ $M_{\odot}$, which have equivalent sizes at 2500\AA \, as small as $\sim 0.1$ light days in the rest frame. We find that most objects have accretion disk sizes consistent with the prediction of the standard thin disk model when we take disk variability into account. We have also simulated the expected yield of accretion disk measurements under various observational scenarios for the Large Synoptic Survey Telescope Deep Drilling Fields. We find that the number of disk measurements would increase significantly if the default cadence is changed from three days to two days or one day.


title: Deep Learning Applied to the Asteroseismic Modeling of Stars with Coherent Oscillation Modes

abstract: We develop a novel method based on machine learning principles to achieve optimal initiation of CPU-intensive computations for forward asteroseismic modeling in a multi-D parameter space. A deep neural network is trained on a precomputed asteroseismology grid containing about 62 million coherent oscillation-mode frequencies derived from stellar evolution models. These models are representative of the core-hydrogen burning stage of intermediate-mass and high-mass stars. The evolution models constitute a 6D parameter space and their predicted low-degree pressure- and gravity-mode oscillations are scanned, using a genetic algorithm. A software pipeline is created to find the best fitting stellar parameters for a given set of observed oscillation frequencies. The proposed method finds the optimal regions in the 6D parameters space in less than a minute, hence providing the optimal starting point for further and more detailed forward asteroseismic modeling in a high-dimensional context. We test and apply the method to seven pulsating stars that were previously modeled asteroseismically by classical grid-based forward modeling based on a $\chi^2$ statistic and obtain good agreement with past results. Our deep learning methodology opens up the application of asteroseismic modeling in +6D parameter space for thousands of stars pulsating in coherent modes with long lifetimes observed by the $Kepler$ space telescope and to be discovered with the TESS and PLATO space missions, while applications so far were done star-by-star for only a handful of cases. Our method is open source and can be used by anyone freely.


title: Black hole growth through hierarchical black hole mergers in dense star clusters: implications for gravitational wave detections

abstract: In a star cluster with a sufficiently large escape velocity, black holes (BHs) that are produced by BH mergers can be retained, dynamically form new BH binaries, and merge again. This process can repeat several times and lead to significant mass growth. In this paper, we calculate the mass of the largest BH that can be formed through repeated mergers of stellar seed BHs and determine how its value depends on the physical properties of the host cluster. We adopt an analytical model in which the energy generated by the black hole binaries in the cluster core is assumed to be regulated by the process of two-body relaxation in the bulk of the system. This principle is used to compute the hardening rate of the binaries and to relate this to the time-dependent global properties of the parent cluster. We demonstrate that in clusters with initial escape velocity $\gtrsim 300\rm km\ s^{-1}$ in the core and density $\gtrsim 10^5\ M_\odot\rm pc^{-3}$, repeated mergers lead to the formation of BHs in the mass range $100-10^5 \,M_\odot$, populating any upper mass gap created by pair-instability supernovae. This result is independent of cluster metallicity and the initial BH spin distribution. We show that about $10\%$ of the present-day nuclear star clusters meet these extreme conditions, and estimate that BH binary mergers with total mass $\gtrsim 100\,M _\odot$ should be produced in these systems at a maximum rate $\approx 0.05 \,\rm Gpc^{-3} yr^{-1}$, corresponding to one detectable event every few years with Advanced LIGO/VIRGO at design sensitivity. The contribution of globular clusters is likely to be negligible instead because the first BH merger remnant escapes following the relativistic kick. A possible connection of our results to the formation of massive BH seeds in galaxy nuclei and globular clusters is discussed.


title: A population of luminous accreting black holes with hidden mergers

abstract: Major galaxy mergers are thought to play an important part in fuelling the growth of supermassive black holes. However, observational support for this hypothesis is mixed, with some studies showing a correlation between merging galaxies and luminous quasars and others showing no such association. Recent observations have shown that a black hole is likely to become heavily obscured behind merger-driven gas and dust, even in the early stages of the merger, when the galaxies are well separated (5 to 40 kiloparsecs). Merger simulations further suggest that such obscuration and black-hole accretion peaks in the final merger stage, when the two galactic nuclei are closely separated (less than 3 kiloparsecs). Resolving this final stage requires a combination of high-spatial-resolution infrared imaging and high-sensitivity hard-X-ray observations to detect highly obscured sources. However, large numbers of obscured luminous accreting supermassive black holes have been recently detected nearby (distances below 250 megaparsecs) in X-ray observations. Here we report high-resolution infrared observations of hard-X-ray-selected black holes and the discovery of obscured nuclear mergers, the parent populations of supermassive-black-hole mergers. We find that obscured luminous black holes (bolometric luminosity higher than 2x10^44 ergs per second) show a significant (P<0.001) excess of late-stage nuclear mergers (17.6 per cent) compared to a sample of inactive galaxies with matching stellar masses and star formation rates (1.1 per cent), in agreement with theoretical predictions. Using hydrodynamic simulations, we confirm that the excess of nuclear mergers is indeed strongest for gas-rich major-merger hosts of obscured luminous black holes in this final stage.


title: Federated Byzantine Quorum Systems (Extended Version)

abstract: Some of the recent blockchain proposals, such as Stellar and Ripple, use quorum-like structures typical for Byzantine consensus while allowing for open membership. This is achieved by constructing quorums in a decentralised way: each participant independently chooses whom to trust, and quorums arise from these individual decisions. Unfortunately, the theoretical foundations underlying such blockchains have not been thoroughly investigated. To close this gap, in this paper we study decentralised quorum construction by means of federated Byzantine quorum systems, used by Stellar. We rigorously prove the correctness of basic broadcast abstractions over federated quorum systems and establish their relationship to the classical Byzantine quorum systems. In particular, we prove correctness in the realistic setting where Byzantine nodes may lie about their trust choices. We show that this setting leads to a novel variant of Byzantine quorum systems where different nodes may have different understanding of what constitutes a quorum.


title: Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems

abstract: In this paper, we address the stochastic reach-avoid problem for linear systems with additive stochastic uncertainty. We seek to compute the maximum probability that the states remain in a safe set over a finite time horizon and reach a target set at the final time. We employ sampling-based methods and provide a lower bound on the number of scenarios required to guarantee that our estimate provides an underapproximation. Due to the probabilistic nature of the sampling-based methods, our underapproximation guarantee is probabilistic, and the proposed lower bound can be used to satisfy a prescribed probabilistic confidence level. To decrease the computational complexity, we propose a Voronoi partition-based to check the reach-avoid constraints at representative partitions (cells), instead of the original scenarios. The state constraints arising from the safe and target sets are tightened appropriately so that the solution provides an underapproximation for the original sampling-based method. We propose a systematic approach for selecting these representative cells and provide the flexibility to trade-off the number of cells needed for accuracy with the computational cost.


title: Extending holomorphic forms from the regular locus of a complex space to a resolution of singularities

abstract: We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient condition for this, whose proof relies on the Decomposition Theorem and Saito's theory of mixed Hodge modules. We use it to generalize the theorem of Greb-Kebekus-Kov\'acs-Peternell to complex spaces with rational singularities, and to prove the existence of a functorial pull-back for reflexive differentials on such spaces. We also use our methods to settle the "local vanishing conjecture" proposed by Musta\c{t}\u{a}, Olano, and Popa.


title: Electronic Excitations in Complex Molecular Environments: Many-Body Green's Functions Theory in VOTCA-XTP

abstract: Many-body Green's functions theory within the GW approximation and the Bethe-Salpeter Equation (BSE) is implemented in the open-source VOTCA-XTP software, aiming at the calculation of electronically excited states in complex molecular environments. Based on Gaussian-type atomic orbitals and making use of resolution of identify techniques, the code is designed specifically for non-periodic systems. Application to the small molecule reference set successfully validates the methodology and its implementation for a variety of excitation types covering an energy range from 2-8 eV in single molecules. Further, embedding each GW-BSE calculation into an atomistically resolved surrounding, typically obtained from Molecular Dynamics, accounts for effects originating from local fields and polarization. Using aqueous DNA as a prototypical system, different levels of electrostatic coupling between the regions in this GW-BSE/MM setup are demonstrated. Particular attention is paid to charge-transfer (CT) excitations in adenine base pairs. It is found that their energy is extremely sensitive to the specific environment and to polarization effects. The calculated redshift of the CT excitation energy compared to a nucelobase dimer treated in vacuum is of the order of 1 eV, which matches expectations from experimental data. Predicted lowest CT energies are below that of a single nucleobase excitation, indicating the possibility of an initial (fast) decay of such an UV excited state into a bi-nucleobase CT exciton. The results show that VOTCA-XTP's GW-BSE/MM is a powerful tool to study a wide range of types of electronic excitations in complex molecular environments.


title: Growth rate in inhomogeneous interacting vacuum models

abstract: We study the effects of vacuum energy perturbations on the evolution of the dark matter growth rate in a decomposed Chaplygin gas model with interacting dark matter and vacuum energy. We consider two different cases: (i) geodesic dark matter with homogeneous vacuum, and (ii) a covariant ansatz for vacuum density perturbations. In the latter case, we show that the vacuum perturbations are very tiny as compared to dark matter perturbations on sub-horizon scales. In spite of that, depending on the value of the Chaplygin gas parameter {\alpha}, vacuum perturbations suppress or enhance the dark matter growth rate as compared to the geodesic model.


title: Evolution of star-forming dwarf galaxies in different environments

abstract: The ubiquity of star-forming dwarf galaxies (SFDG) in the local Universe allows us to trace their evolution in all type of environments, from voids to rich clusters. SFDGs in low-density regions are still assembling their mass, they often show peculiar gas morphology and kinematics, likely associated to external gas accretion or galaxy interactions, and they can experience strong bursts of star formation. The most metal-poor SFDGs are found in the field and they are unique laboratories to investigate the star formation process in the low-metallicity regime, at conditions similar to their high-redshift analogues. On the other hand, SFDGs in intermediate- and high-density environments provide a key to understand the processes that remove their interstellar medium (ISM) and suppress star formation, leading to the different types of gas-poor early-type dwarfs. We review the most recent results on the properties of SFDGs at low and high galaxy densities focusing in particular on the impact of a cluster environment on their ISM components (dust, molecular, atomic and ionised gas). We analyse the population of SFDGs in the nearest rich clusters: Virgo, which is still in the process of assembly, and Fornax, which is more dynamically evolved, more compact and denser. We discuss how the different evolutionary stage of the two structures affects the properties of SFDGs.


title: From Polya fields to Polya groups, (II) non-galoisian number fields

abstract: The Polya group of a number field K is the subgroup of the class group of K generated by the classes of the products of the maximal ideals with same norm. A Polya field is a number field whose Polya group is trivial. Our purpose is to start with known assertions about Polya fields to find results concerning Polya groups. In this second paper we describe the Polya group of some non-galoisian extensions of Q.


title: Dual infrared limits of 6d $\cal N$=(2,0) theory

abstract: Compactifying type $A_{N-1}$ 6d ${\cal N}{=}(2,0)$ supersymmetric CFT on a product manifold $M^4\times\Sigma^2=M^3\times\tilde{S}^1\times S^1\times{\cal I}$ either over $S^1$ or over $\tilde{S}^1$ leads to maximally supersymmetric 5d gauge theories on $M^4\times{\cal I}$ or on $M^3\times\Sigma^2$, respectively. Choosing the radii of $S^1$ and $\tilde{S}^1$ inversely proportional to each other, these 5d gauge theories are dual to one another since their coupling constants $e^2$ and $\tilde{e}^2$ are proportional to those radii respectively. We consider their non-Abelian but non-supersymmetric extensions, i.e. SU($N$) Yang-Mills theories on $M^4\times{\cal I}$ and on $M^3\times\Sigma^2$, where $M^4\supset M^3=\mathbb R_t\times T_p^2$ with time $t$ and a punctured 2-torus, and ${\cal I}\subset\Sigma^2$ is an interval. In the first case, shrinking ${\cal I}$ to a point reduces to Yang-Mills theory or to the Skyrme model on $M^4$, depending on the method chosen for the low-energy reduction. In the second case, scaling down the metric on $M^3$ and employing the adiabatic method, we derive in the infrared limit a non-linear SU($N$) sigma model with a baby-Skyrme-type term on $\Sigma^2$, which can be reduced further to $A_{N-1}$ Toda theory.


title: Subcritical turbulence spreading and avalanche birth

abstract: In confined plasmas, a localized fluctuation in a marginal or weakly damped region will propagate and generate an avalanche if it exceeds a threshold. In this letter, a new model for turbulence spreading based on subcritical instability in the turbulence intensity is introduced. We derive a quantitative threshold for spreading from a seed in a stable region, based on a competition between diffusion and nonlinear growth of the turbulence intensity. The model resolves issues with the established Fisher equation model for turbulence spreading, which is supercritical and cannot support the stationary coexistence of multiple turbulence levels. Implications for turbulence spreading are discussed, including the dynamics of ballistic penetration of turbulence into the stable zone. Tests of the theory are suggested.


title: Atmospheric Muons Measured with IceCube

abstract: IceCube is a cubic-kilometer Cherenkov detector in the deep ice at the geographic South Pole. The dominant event yield is produced by penetrating atmospheric muons with energies above several 100 GeV. Due to its large detector volume, IceCube provides unique opportunities to study atmospheric muons with large statistics in detail. Measurements of the energy spectrum and the lateral separation distribution of muons offer insights into hadronic interactions during the air shower development and can be used to test hadronic models. We will present an overview of various measurements of atmospheric muons in IceCube, including the energy spectrum of muons between 10 TeV and 1 PeV. This is used to derive an estimate of the prompt contribution of muons, originating from the decay of heavy (mainly charmed) hadrons and unflavored mesons. We will also present measurements of the lateral separation distributions of TeV muons between 150 m and 450 m for several initial cosmic ray energies between 1 PeV and 16 PeV. Finally, the angular distribution of atmospheric muons in IceCube will be discussed.


title: Theory of quantum oscillations in quasicrystals: Quantizing spiral Fermi surfaces

abstract: We show that electronic materials with disallowed rotational symmetries that enforce quasiperiodic order can exhibit quantum oscillations and that these are generically associated with exotic "spiral Fermi surfaces." These Fermi surfaces are self-intersecting, and characterized by a winding number of their surface tangent---a topological invariant---that is larger than one. We compute the nature of the quantum oscillations in two experimentally relevant settings which give rise to spiral Fermi surfaces: a "nearly-free-electron" quasicrystal, and \ang{30} twisted bilayer graphene.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.str-el quant-ph


title: Stovepiping and Malicious Software: A Critical Review of AGI Containment

abstract: Awareness of the possible impacts associated with artificial intelligence has risen in proportion to progress in the field. While there are tremendous benefits to society, many argue that there are just as many, if not more, concerns related to advanced forms of artificial intelligence. Accordingly, research into methods to develop artificial intelligence safely is increasingly important. In this paper, we provide an overview of one such safety paradigm: containment with a critical lens aimed toward generative adversarial networks and potentially malicious artificial intelligence. Additionally, we illuminate the potential for a developmental blindspot in the stovepiping of containment mechanisms.


title: How Do Fairness Definitions Fare? Examining Public Attitudes Towards Algorithmic Definitions of Fairness

abstract: What is the best way to define algorithmic fairness? While many definitions of fairness have been proposed in the computer science literature, there is no clear agreement over a particular definition. In this work, we investigate ordinary people's perceptions of three of these fairness definitions. Across two online experiments, we test which definitions people perceive to be the fairest in the context of loan decisions, and whether fairness perceptions change with the addition of sensitive information (i.e., race of the loan applicants). Overall, one definition (calibrated fairness) tends to be more preferred than the others, and the results also provide support for the principle of affirmative action.


title: Extending the hydrodynamical description of heavy-ion collisions to the "outer edge" of the fireball

abstract: It is well known that relativistic hydrodynamics provides very good description of heavy-ion collisions at RHIC/LHC energies up to transverse momenta $p_\perp\sim 2\, \text{GeV}$. In this paper, we suggest that this description can be extended to higher $p_\perp\sim 6\, \text{GeV}$, beyond which hard collisions contribute. While most previous work focused on a part of the freezeout surface at the latest proper time (referred to in this work as the "lid"), we focus on the complementary part, to be referred as "the outer edge," where the highest transverse rapidity of flow $\kappa\sim 1.4$ is achieved. We study this surface analytically, using the Riemann rarefaction wave, and numerically, using MUSIC numerical hydrodynamic code. We also use an improved freezeout condition, where the collision rate equals the expansion rate. For central collisions, we observe good description of spectra for $\pi,K,N$ in central PbPb LHC collisions in this extended region. We further suggest that "the outer edge" has very small azimuthal asymmetry even for non-central collisions, smaller than predicted by standard hydrodynamics.


title: Common Envelope Evolution of Massive Stars

abstract: The discovery via gravitational waves of binary black hole systems with total masses greater than $60M_\odot$ has raised interesting questions for stellar evolution theory. Among the most promising formation channels for these systems is one involving a common envelope binary containing a low metallicity, core helium burning star with mass $\sim 80-90M_\odot$ and a black hole with mass $\sim 30-40M_\odot$. For this channel to be viable, the common envelope binary must eject more than half the giant star's mass and reduce its orbital separation by as much as a factor of 80. We discuss issues faced in numerically simulating the common envelope evolution of such systems and present a 3D AMR simulation of the dynamical inspiral of a low-metallicity red supergiant with a massive black hole companion.


title: A Primal Decomposition Method with Suboptimality Bounds for Distributed Mixed-Integer Linear Programming

abstract: In this paper we deal with a network of agents seeking to solve in a distributed way Mixed-Integer Linear Programs (MILPs) with a coupling constraint (modeling a limited shared resource) and local constraints. MILPs are NP-hard problems and several challenges arise in a distributed framework, so that looking for suboptimal solutions is of interest. To achieve this goal, the presence of a linear coupling calls for tailored decomposition approaches. We propose a fully distributed algorithm based on a primal decomposition approach and a suitable tightening of the coupling constraints. Agents repeatedly update local allocation vectors, which converge to an optimal resource allocation of an approximate version of the original problem. Based on such allocation vectors, agents are able to (locally) compute a mixed-integer solution, which is guaranteed to be feasible after a sufficiently large time. Asymptotic and finite-time suboptimality bounds are established for the computed solution. Numerical simulations highlight the efficacy of the proposed methodology.


title: Rotating AdS black holes in Maxwell-$f(T)$ gravity

abstract: The investigation on higher-dimensional AdS black holes is of great importance under the light of AdS/CFT correspondence. In this work we study static and rotating, uncharged and charged, AdS black holes in higher-dimensional $f(T)$ gravity, focusing on the power-law ansatz which is the most viable according to observations. We extract AdS solutions characterized by an effective cosmological constant that depends on the parameters of the $f(T)$ modification, as well as on the electric charge, even if the explicit cosmological constant is absent. These solutions do not have a general relativity or an uncharged limit, hence they correspond to a novel solution class, whose features arise solely from the torsional modification alongside the Maxwell sector incorporation. We examine the singularities of the solutions, calculating the values of various curvature and torsion invariants, finding that they do possess the central singularity, which however is softer comparing to standard general relativity case due to the $f(T)$ effect. Additionally, we investigate the horizons structure, showing that the solutions possess an inner Cauchy horizon as well as an outer event one, nevertheless for suitably large electric charge and small mass we obtain the appearance of a naked singularity. Finally, we calculate the energy of the obtained solutions, showing that the $f(T)$ modification affects the mass term.


title: Plug-In Stochastic Gradient Method

abstract: Plug-and-play priors (PnP) is a popular framework for regularized signal reconstruction by using advanced denoisers within an iterative algorithm. In this paper, we discuss our recent online variant of PnP that uses only a subset of measurements at every iteration, which makes it scalable to very large datasets. We additionally present novel convergence results for both batch and online PnP algorithms.


title: Late-time Cosmic Acceleration from Compactification

abstract: We investigate the implications of energy conditions on cosmological compactification solutions of the higher-dimensional Einstein field equations. It is known that the Strong Energy Condition forbids time-independent compactifications to de Sitter space but allows time-dependent compactifications to other (homogeneous and isotropic) expanding universes that undergo a {\it transient} period of acceleration. Here we show that the same assumptions allow compactification to FLRW universes undergoing {late-time} accelerated expansion; the late-time stress tensor is a perfect fluid but with a lower bound on the pressure/energy-density ratio that excludes de Sitter but allows accelerated power-law expansion. The compact space undergoes a decelerating expansion that leads to decompactification, but on an arbitrarily long timescale.


title: SpeedReader: Reader Mode Made Fast and Private

abstract: Most popular web browsers include "reader modes" that improve the user experience by removing un-useful page elements. Reader modes reformat the page to hide elements that are not related to the page's main content. Such page elements include site navigation, advertising related videos and images, and most JavaScript. The intended end result is that users can enjoy the content they are interested in, without distraction. In this work, we consider whether the "reader mode" can be widened to also provide performance and privacy improvements. Instead of its use as a post-render feature to clean up the clutter on a page we propose SpeedReader as an alternative multistep pipeline that is part of the rendering pipeline. Once the tool decides during the initial phase of a page load that a page is suitable for reader mode use, it directly applies document tree translation before the page is rendered. Based on our measurements, we believe that SpeedReader can be continuously enabled in order to drastically improve end-user experience, especially on slower mobile connections. Combined with our approach to predicting which pages should be rendered in reader mode with 91% accuracy, it achieves drastic speedups and bandwidth reductions of up to 27x and 84x respectively on average. We further find that our novel "reader mode" approach brings with it significant privacy improvements to users. Our approach effectively removes all commonly recognized trackers, issuing 115 fewer requests to third parties, and interacts with 64 fewer trackers on average, on transformed pages.


title: Suppression of Low-mass Galaxy Formation around Quasars at z~2-3

abstract: We have carried out deep and wide field imaging observations with narrow bands targeting 11 quasar fields to systematically study the possible photoevaporation effect of quasar radiation on surrounding low mass galaxies at $z\sim2-3$. We focused on Lyman alpha emitters (LAEs) at the same redshifts as the quasars that lie within the quasar proximity zones, where the ultra-violet radiation from the quasars is higher than the average background at that epoch. We found that LAEs with high rest-frame equivalent width of Ly$\alpha$ emission ($EW_0$) of $\gtrsim 150$\AA$~$ with low stellar mass ($\lesssim 10^8 M_{\odot}$), are predominantly scarce in the quasar proximity zones, suggesting that quasar photoevaporation effects may be taking place. The halo mass of LAEs with $EW_0>150$\AA$~$ is estimated to be $3.6^{+12.7}_{-2.3}\times10^9 M_{\odot}$ either from the Spectral Energy Distribution (SED) fitting or the main sequence. Based on a hydrodynamical simulation, the predicted delay in star formation under a local UV background intensity with $J (\nu_L)\gtrsim10^{-21}$ erg s$^{-1}$ cm$^{-2}$ Hz$^{-1}$ sr$^{-1}$ for galaxies having less than this halo mass is about $>20$ Myr, which is longer than the expected age of LAEs with $EW_0>150$\AA. On the other hand, the photoevaporation seems to be less effective around very luminous quasars, which is consistent with the idea that these quasars are still in an early stage of quasar activity.


title: New Tribonacci Recurrence Relations and Addition Formulas

abstract: Only one three-term recurrence relation, namely, $W_{r}=2W_{r-1}-W_{r-4}$, is known for the generalized Tribonacci numbers, $W_r$, $r\in\mathbb{Z}$, defined by $W_{r}=W_{r-1}+W_{r-2}+W_{r-3}$ and \mbox{$W_{-r}=W_{-r+3}-W_{-r+2}-W_{-r+1}$}, where $W_0$, $W_1$ and $W_2$ are given, arbitrary integers, not all zero. Also, only one four-term addition formula is known for these numbers, which is, $W_{r + s} = T_{s - 1} W_{r - 1} + (T_{s - 1} + T_{s-2} )W_r + T_s W_{r + 1}$, where $({T_r})_{r\in\mathbb{Z}}$ is the Tribonacci sequence, a special case of the generalized Tribonacci sequence, with $W_0=T_0=0$ and $W_1=W_2=T_1=T_2=1$. In this paper we discover three new three-term recurrence relations and two identities from which a plethora of new addition formulas for the generalized Tribonacci numbers may be discovered. We obtain a simple relation connecting the Tribonacci numbers and the Tribonacci-Lucas numbers. Finally, we derive quadratic and cubic recurrence relations for the generalized Tribonacci numbers.


title: Increased dose rate precision in combined $\alpha$ and $\beta$ counting in the $\mu$Dose system - a probabilistic approach to data analysis

abstract: The $\mu$Dose system was developed to allow the measurement of environmental levels of natural radioactive isotopes. The system records $\alpha$ and $\beta$ particles along with four decay pairs arising from subsequent decays of $^{214}$Bi/$^{214}$Po, $^{220}$Rn/$^{216}$Po, $^{212}$Bi/$^{212}$Po and $^{219}$Rn/$^{215}$Po. Under the assumption of secular equilibrium this allows to assess the specific radioactivities of $^{238}$U, $^{235}$U, $^{232}$Th decay chains and $^{40}$K. This assessment provides results with uncertainties which are correlated and, thus, require the development of an error estimation methodology which considers this issue. Here we present two different approaches for uncertainty propagation based on Monte Carlo and Bayesian methods. Both approaches produce statistically indistinguishable results and allow significantly better dose rate precision than when the correlations are not accounted for. In the given example, the dose rate precision is improved by a factor of two.


title: A conceptual study on real-time adaptive radiation therapy optimization through ultra-fast beamlet control

abstract: A central problem in the field of radiation therapy (RT) is how to optimally deliver dose to a patient in a way that fully accounts for anatomical position changes over time. As current RT is a static process, where beam intensities are calculated before the start of treatment, anatomical deviations can result in poor dose conformity. To overcome these limitations, we present a simulation study on a fully dynamic real-time adaptive radiation therapy (RT-ART) optimization approach that uses ultra-fast beamlet control to dynamically adapt to patient motion in real-time. A virtual RT-ART machine was simulated with a rapidly rotating linear accelerator (LINAC) source (60 RPM) and a binary 1D multi-leaf collimator (MLC) operating at 100 Hz. If the real-time tracked target motion exceeded a predefined threshold, a time dependent objective function was solved using fast optimization methods to calculate new beamlet intensities that were then delivered to the patient. To evaluate the approach, system response was analyzed for patient derived continuous drift, step-like, and periodic intra-fractional motion. For each motion type investigated, the RT-ART method was compared against the ideal case with no patient motion (static case) as well as to the case without the use RT-ART. In all cases, isodose lines and dose-volume-histograms (DVH) showed that RT-ART plan quality was approximately the same as the static case, and considerably better than the no RT-ART case. The RT-ART optimization framework has the potential to optimally deliver dose to a patient in a way that fully accounts for anatomical changes due to motion. With continued advances in real-time patient motion tracking and fast computational processes, there is significant potential for the RT-ART optimization process to be realized on next generation RT machines.


title: Statistical Characteristics of Deep Representations: An Empirical Investigation

abstract: In this study, the effects of eight representation regularization methods are investigated, including two newly developed rank regularizers (RR). The investigation shows that the statistical characteristics of representations such as correlation, sparsity, and rank can be manipulated as intended, during training. Furthermore, it is possible to improve the baseline performance simply by trying all the representation regularizers and fine-tuning the strength of their effects. In contrast to performance improvement, no consistent relationship between performance and statistical characteristics was observable. The results indicate that manipulation of statistical characteristics can be helpful for improving performance, but only indirectly through its influence on learning dynamics or its tuning effects.


title: Light Cone Black Holes

abstract: When probed with conformally invariant matter fields, light cones in Minkowski spacetime satisfy thermodynamical relations which are the analog of those satisfied by stationary black holes coupled to standard matter fields. These properties stem from the fact that light cones are conformal Killing horizons stationary with respect to observers following the radial conformal Killing fields in flat spacetime. The four laws of light cone thermodynamics relate notions such as (conformal) temperature, (conformal) surface gravity, (conformal) energy and a conformally invariant notion related to area change. These quantities do not admit a direct physical interpretation in flat spacetime. However, they become the usual thermodynamical quantities when Minkowski is mapped, via a Weyl transformation, to a target spacetime where the conformal Killing field becomes a proper Killing field. In this paper we study the properties of such spacetimes. The simplest realisation turns out to be the Bertotti-Robinson solution, which is known to encode the near horizon geometry of near extremal and extremal charged black holes. The analogy between light cones in flat space and black hole horizons is therefore strengthened. The construction works in arbitrary dimensions; in two dimensions one recovers the Jackiv-Teitelboim black hole of dilaton gravity. Other interesting realisations are also presented.


title: Decompositions of Schur block products

abstract: Given two m x n matrices A = (a_{ij}) and B=(b_{ij}) with entries in B(H), the Schur block product is the m x n matrix A \square B := (a_{ij}b_{ij}). There exists an m x n contraction matrix S = (s_{ij}), such that A \square B = diag(AA*)^(1/2) S diag(B*B)^(1/2). This decomposition is also valid for the block Schur tensor product. It is shown, via the theory of random matrices, that the set of contractions S, which may appear in such a decomposition, is a very thin subset of the unit ball of M_n(B(H)).

categories: math.OA math-ph math.FA math.MP math.QA math.RT


title: A Novel Study of the Relation Between Students Navigational Behavior on Blackboard and their Learning Performance in an Undergraduate Networking Course

abstract: This paper provides an overview of students behavior analysis on a learning management system (LMS), Blackboard (Bb) Learn for a core data communications course of the Undergraduate IT program in the Information Sciences and Technology (IST) Department at George Mason University (GMU). This study is an attempt to understand the navigational behavior of students on Blackboard Learn which can be further attributed to the overall performance of the students. In total, 160 undergraduate students participated in the study. Vast amount of students activities data across all four sections of the course were collected. All sections have similar content, assessment design and instruction methods. A correlation analysis between the different assessment methods and various key variables such as total student time, total number of logins and various other factors were performed, to evaluate students engagement on Blackboard Learn. Our findings can help instructors to efficiently identify students strengths or weaknesses and fine-tune their courses for better student engagement and performance.


title: Electron quantum metamaterials in van der Waals heterostructures

abstract: In recent decades, scientists have developed the means to engineer synthetic periodic arrays with feature sizes below the wavelength of light. When such features are appropriately structured, electromagnetic radiation can be manipulated in unusual ways, resulting in optical metamaterials whose function is directly controlled through nanoscale structure. Nature, too, has adopted such techniques -- for example in the unique coloring of butterfly wings -- to manipulate photons as they propagate through nanoscale periodic assemblies. In this Perspective, we highlight the intriguing potential of designer sub-electron wavelength (as well as wavelength-scale) structuring of electronic matter, which affords a new range of synthetic quantum metamaterials with unconventional responses. Driven by experimental developments in stacking atomically layered heterostructures -- e.g., mechanical pick-up/transfer assembly -- atomic scale registrations and structures can be readily tuned over distances smaller than characteristic electronic length-scales (such as electron wavelength, screening length, and electron mean free path). Yet electronic metamaterials promise far richer categories of behavior than those found in conventional optical metamaterial technologies. This is because unlike photons that scarcely interact with each other, electrons in subwavelength structured metamaterials are charged, and strongly interact. As a result, an enormous variety of emergent phenomena can be expected, and radically new classes of interacting quantum metamaterials designed.


title: Galaxy inclination and the IRX-beta relation: Effects on UV star-formation rate measurements at intermediate to high redshifts

abstract: At intermediate and high redshifts, measurements of galaxy star-formation rates are usually based on rest-frame ultraviolet (UV) data. A correction for dust attenuation, A_UV, is needed for these measurements. This correction is typically inferred from UV spectral slopes (beta) using an equation known as "Meurer's Relation." In this paper, we study this relation at a redshift of 1.5 using images and photometric measurements in the rest-frame UV (HST) through mid-infrared (Spitzer). It is shown that massive star-forming galaxies (above 10^10 Msun) have dust corrections that are dependent on their inclination to the line-of-sight. Edge-on galaxies have higher A_UV and infrared excess (IRX=L(IR)/L(UV)) than face-on galaxies at a given beta. Interestingly, dust corrections for low-mass star-forming galaxies do not depend on inclination. This is likely because more massive galaxies have more disk-like shapes/kinematics, while low-mass galaxies are more prolate and have more disturbed kinematics. To account for an inclination-dependent dust correction, a modified Meurer's Relation is derived: A_UV=4.43+1.99 beta - 1.73 (b/a-0.67), where b/a is the galaxy axis ratio. This inclination-dependence of A_UV can be explained by a two-component model of the dust distribution inside galaxies. In such a model, the dust attenuation of edge-on galaxies has a higher contribution from a "mixture" component (dust uniformly mixed with stars in the diffuse interstellar medium), and a lower contribution from a "birth cloud" component (near-spherical dust shells surrounding young stars in H II regions) than that of face-on galaxies. The difference is caused by the larger path-lengths through disks at higher inclinations.


title: Analysis of quantum effects inside spherical charged black holes

abstract: We numerically compute the renormalized expectation value $\langle\hat{\Phi}^{2}\rangle_{ren}$ of a minimally-coupled massless quantum scalar field in the interior of a four-dimensional Reissner-Nordstrom black hole, in both the Hartle-Hawking and Unruh states. To this end we use a recently developed mode-sum renormalization scheme based on covariant point splitting. In both quantum states, $\langle\hat{\Phi}^{2}\rangle_{ren}$ is found to approach a \emph{finite} value at the inner horizon (IH). The final approach to the IH asymptotic value is marked by an inverse-power tail $r_{*}^{-n}$, where $r_{*}$ is the Regge-Wheeler "tortoise coordinate", and with $n=2$ for the Hartle-Hawking state and $n=3$ for the Unruh state. We also report here the results of an analytical computation of these inverse-power tails of $\langle\hat{\Phi}^{2}\rangle_{ren}$ near the IH. Our numerical results show very good agreement with this analytical derivation (for both the power index and the tail amplitude), in both quantum states. Finally, from this asymptotic behavior of $\langle\hat{\Phi}^{2}\rangle_{ren}$ we analytically compute the leading-order asymptotic behavior of the trace $\langle\hat{T}_{\mu}^{\mu}\rangle_{ren}$ of the renormalized stress-energy tensor at the IH. In both quantum states this quantity is found to diverge like $b(r-r_{-})^{-1}r_{*}^{-n-2}$ (with $n$ specified above, and with a known parameter $b$). To the best of our knowledge, this is the first fully-quantitative derivation of the asymptotic behavior of these renormalized quantities at the inner horizon of a four-dimensional Reissner-Nordstrom black hole.


title: Semiclassical cosmology with back reaction: the Friedmann-Schrodinger equation and inflation

abstract: We propose and study a semi-classical cosmological system akin to the Newton-Schr\"odinger equation where matter field evolution is determined by time dependent Schr\"odinger equation. The resulting dynamics is one where the scale factor self-consistently informs the quantum evolution of the scalar field wave function via the Friedmann equation. We study various potentials, and show that for each case, inflation arises naturally, without fine-tuning, for arbitrary initial wave functions for the scalar field. Furthermore, due to zero-point quantum fluctuations of the scalar field, the equation of state $P=-\rho$ arises dynamically at late times for all initial states and potentials.


title: Cost and benefits of CRISPR spacer acquisition

abstract: CRISPR-Cas mediated immunity in bacteria allows bacterial populations to protect themselves against pathogens. However, it also exposes them to the dangers of auto-immunity by developing protection that targets its own genome. Using a simple model of the coupled dynamics of phage and bacterial populations, we explore how acquisition rates affect the survival rate of the bacterial colony. We find that the optimal strategy depends on the initial population sizes of both viruses and bacteria. Additionally, certain combinations of acquisition and dynamical rates and initial population sizes guarantee protection, due to a dynamical balance between the evolving population sizes, without relying on acquisition of viral spacers. Outside this regime, the high cost of auto-immunity limits the acquisition rate. We discuss these optimal survival strategies in terms of recent experiments.


title: Two parameters bt-algebra and invariants for links and tied links

abstract: We introduce a two-parameters bt-algebra which, by specialization, becomes the one-parameter bt-algebra, introduced by the authors, as well as another one-parameter presentation of it; the invariant for links and tied links, associated to this two-parameter algebra via Jones recipe, contains as specializations the invariants obtained from these two presentations of the bt-algebra and then is more powerful than each of them. Also, a new non Homflypt polynomial invariant is obtained for links, which is related to the linking matrix.


title: Temperature-filling phase diagram of the two-dimensional Holstein model in the thermodynamic limit by self-consistent Migdal approximation

abstract: We study the temperature-filling phase diagram of the single-band Holstein model in two dimensions using the self-consistent Migdal approximation, where both the electron and phonon self-energies are treated on an equal footing. By employing an efficient numerical algorithm utilizing fast Fourier transforms to evaluate momentum and Matsubara frequency summations, we determine the charge-density-wave (CDW) and superconducting transition temperatures in the thermodynamic limit using lattice sizes that are sufficient to eliminate significant finite size effects present at lower temperatures. We obtain the temperature-filling phase diagrams for a range of coupling strengths and phonon frequencies for the model defined on a square lattice with and without next-nearest neighbor hopping. We find the appearance of a superconducting dome with a critical temperature that decreases before reaching the $\mathbf{q}_{\text{max}} = (\pi,\pi)$ CDW phase boundary. For very low phonon frequencies, we also find an incommensurate CDW phase with the ordering vector $\mathbf{q}_{\text{max}} \approx (\pi,\pi)$ appearing between the commensurate CDW and superconducting phases. Our numerical implementation can be easily extended to treat momentum-dependent electron-phonon coupling, as well as dispersive phonon branches, and has been made available to the public.


title: Biaxial Nematics of Hard Cuboids in an External Field

abstract: We investigate the phase behavior of colloidal suspensions of board-like particles under the effect of an external field and assess the still disputed occurrence of the biaxial nematic (N$_\text{B}$) liquid crystal phase. The external field promotes the rearrangement of the initial isotropic (I) or uniaxial nematic (N$_\text{U}$) phase and the formation of the N$_\text{B}$ phase. In particular, very weak field strengths are sufficient to spark a direct I-N$_\text{B}$ or N$_\text{U}$-N$_\text{B}$ phase transition at the self-dual shape, where prolate and oblate particle geometries fuse into one. By contrast, forming the N$_\text{B}$ phase at any other geometry requires stronger fields and thus reduces the energy efficiency of the phase transformation. Our simulation results show that self-dual shaped board-like particles with moderate anisotropy are able to form N$_\text{B}$ liquid crystals under the effect of a surprisingly weak external stimulus and suggest a path to exploit low-energy uniaxial-to-biaxial order switching.


title: Embracing the Laws of Physics: Three Reversible Models of Computation

abstract: Our main models of computation (the Turing Machine and the RAM) make fundamental assumptions about which primitive operations are realizable. The consensus is that these include logical operations like conjunction, disjunction and negation, as well as reading and writing to memory locations. This perspective conforms to a macro-level view of physics and indeed these operations are realizable using macro-level devices involving thousands of electrons. This point of view is however incompatible with quantum mechanics, or even elementary thermodynamics, as both imply that information is a conserved quantity of physical processes, and hence of primitive computational operations. Our aim is to re-develop foundational computational models that embraces the principle of conservation of information. We first define what conservation of information means in a computational setting. We emphasize that computations must be reversible transformations on data. One can think of data as modeled using topological spaces and programs as modeled by reversible deformations. We illustrate this idea using three notions of data. The first assumes unstructured finite data, i.e., discrete topological spaces. The corresponding notion of reversible computation is that of permutations. We then consider a structured notion of data based on the Curry-Howard correspondence; here reversible deformations, as a programming language for witnessing type isomorphisms, comes from proof terms for commutative semirings. We then "move up a level" to treat programs as data. The corresponding notion of reversible programs equivalences comes from the "higher dimensional" analog to commutative semirings: symmetric rig groupoids. The coherence laws for these are exactly the program equivalences we seek. We conclude with some generalizations inspired by homotopy type theory and survey directions for further research.


title: Practical Bayesian Learning of Neural Networks via Adaptive Optimisation Methods

abstract: We introduce a novel framework for the estimation of the posterior distribution over the weights of a neural network, based on a new probabilistic interpretation of adaptive optimisation algorithms such as AdaGrad and Adam. We demonstrate the effectiveness of our Bayesian Adam method, Badam, by experimentally showing that the learnt uncertainties correctly relate to the weights' predictive capabilities by weight pruning. We also demonstrate the quality of the derived uncertainty measures by comparing the performance of Badam to standard methods in a Thompson sampling setting for multi-armed bandits, where good uncertainty measures are required for an agent to balance exploration and exploitation.


title: Gender Effect on Face Recognition for a Large Longitudinal Database

abstract: Aging or gender variation can affect the face recognition performance dramatically. While most of the face recognition studies are focused on the variation of pose, illumination and expression, it is important to consider the influence of gender effect and how to design an effective matching framework. In this paper, we address these problems on a very large longitudinal database MORPH-II which contains 55,134 face images of 13,617 individuals. First, we consider four comprehensive experiments with different combination of gender distribution and subset size, including: 1) equal gender distribution; 2) a large highly unbalanced gender distribution; 3) consider different gender combinations, such as male only, female only, or mixed gender; and 4) the effect of subset size in terms of number of individuals. Second, we consider eight nearest neighbor distance metrics and also Support Vector Machine (SVM) for classifiers and test the effect of different classifiers. Last, we consider different fusion techniques for an effective matching framework to improve the recognition performance.


title: Effective Capacity in Wireless Networks: A Comprehensive Survey

abstract: Low latency applications, such as multimedia communications, autonomous vehicles, and Tactile Internet are the emerging applications for next-generation wireless networks, such as 5th generation (5G) mobile networks. Existing physical-layer channel models, however, do not explicitly consider quality-of-service (QoS) aware related parameters under specific delay constraints. To investigate the performance of low-latency applications in future networks, a new mathematical framework is needed. Effective capacity (EC), which is a link-layer channel model with QoS-awareness, can be used to investigate the performance of wireless networks under certain statistical delay constraints. In this paper, we provide a comprehensive survey on existing works, that use the EC model in various wireless networks. We summarize the work related to EC for different networks such as cognitive radio networks (CRNs), cellular networks, relay networks, adhoc networks, and mesh networks. We explore five case studies encompassing EC operation with different design and architectural requirements. We survey various delay-sensitive applications such as voice and video with their EC analysis under certain delay constraints. We finally present the future research directions with open issues covering EC maximization.


title: The Frobenius exponent of Cartier subalgebras

abstract: Let $R$ be a standard graded finitely generated algebra over an $F$-finite field of prime characteristic, localized at its maximal homogeneous ideal. In this note, we prove that that Frobenius complexity of $R$ is finite. Moreover, we extend this result to Cartier subalgebras of $R$.


title: Implementation of the conjugate gradient algorithm on FPGA devices

abstract: Results of porting parts of the Lattice Quantum Chromodynamics code to modern FPGA devices are presented. A single-node, double precision implementation of the Conjugate Gradient algorithm is used to invert numerically the Dirac-Wilson operator on a 4-dimensional grid on a Xilinx Zynq evaluation board. The code is divided into two software/hardware parts in such a way that the entire multiplication by the Dirac operator is performed in programmable logic, and the rest of the algorithm runs on the ARM cores. Optimized data blocks are used to efficiently use data movement infrastructure allowing to reach intervals of 1 clock cycle. We show that the FPGA implementation can offer a comparable performance compared to that obtained using Intel Xeon Phi KNL.


title: Comparison of partition functions in a space-time random environment

abstract: Let $Z^1$ and $Z^2$ be partition functions in the random polymer model in the same environment but driven by different underlying random walks. We give a comparison in concave stochastic order between $Z^1$ and $Z^2$ if one of the random walks has "more randomness" than the other. We also treat some related models: The parabolic Anderson model with space-time L\'evy noise; Brownian motion among space-time obstacles; and branching random walks in space-time random environments. We also obtain a necessary and sufficient criterion for $Z^1\preceq_{cv}Z^2$ if the lattice is replaced by a regular tree.


title: New CleverHans Feature: Better Adversarial Robustness Evaluations with Attack Bundling

abstract: This technical report describes a new feature of the CleverHans library called "attack bundling". Many papers about adversarial examples present lists of error rates corresponding to different attack algorithms. A common approach is to take the maximum across this list and compare defenses against that error rate. We argue that a better approach is to use attack bundling: the max should be taken across many examples at the level of individual examples, then the error rate should be calculated by averaging after this maximization operation. Reporting the bundled attacker error rate provides a lower bound on the true worst-case error rate. The traditional approach of reporting the maximum error rate across attacks can underestimate the true worst-case error rate by an amount approaching 100\% as the number of attacks approaches infinity. Attack bundling can be used with different prioritization schemes to optimize quantities such as error rate on adversarial examples, perturbation size needed to cause misclassification, or failure rate when using a specific confidence threshold.


title: Inner products for Convex Bodies

abstract: We define a set inner product to be a function on pairs of convex bodies which is symmetric, Minkowski linear in each dimension, positive definite, and satisfies the natural analogue of the Cauchy-Schwartz inequality (which is not implied by the other conditions). We show that any set inner product can be embedded into an inner product space on the associated support functions, thereby extending fundamental results of Hormander and Radstrom. The set inner product provides a geometry on the space of convex bodies. We explore some of the properties of that geometry, and discuss an application of these ideas to the reconstruction of ancestral ecological niches in evolutionary biology.


title: Variational Bayesian hierarchical regression for data analysis

abstract: Collected data, which is used for analysis or prediction tasks, often have a hierarchical structure, for example, data from various people performing the same task. Modeling the data's structure can improve the reliability of the derived results and prediction performance of newly unobserved data. Bayesian modeling provides a tool-kit for designing hierarchical models. However, Markov Chain Monte Carlo methods which are commonly used for parameter estimation are computationally expensive. This often renders its use for many applications not applicable. However, variational Bayesian methods allow to derive an approximation with much less computational effort. This document describes the derivation of a variational approximation for a hierarchical linear Bayesian regression and demonstrates its application to data analysis.


title: Boundary dynamics in gravitational theories

abstract: We present a foliation-focused critical review of the boundary conditions and dynamics of 4D gravitational theories. A general coordinate transformation introduces a new foliation and changes the hypersurface on which a natural boundary condition is imposed; in this sense gauge transformations must be viewed as changing the boundary conditions. The issue of a gauge invariant boundary condition is nontrivial and has been extensively studied in the literature. We turn around the difficulty in obtaining such a boundary condition (and subtleties observed in the main body) and take it as one of the indications of an enlarged Hilbert space so as to include the states satisfying different boundary conditions. Through the systematical reduction procedure we obtain, up to some peculiarities, the explicit form of the reduced Lagrangian that describes the dynamics of the physical states. We examine the new insights offered by the 3D Lagrangian on BMS-type symmetry and black hole information. In particular we confirm that the boundary dynamics is an indispensable part of the system information.

categories: hep-th astro-ph.HE gr-qc math-ph math.MP


title: From micro to macro and back: probing near-horizon quantum structures with gravitational waves

abstract: Supermassive binaries detectable by the future space gravitational-wave interferometer LISA might allow to distinguish black holes from ultracompact horizonless objects, even when the latter are motivated by quantum-gravity considerations. We show that a measurement of very small tidal Love numbers at the level of $10\%$ accuracy (as achievable with "golden binaries") may also allow to distinguish between different models of these exotic compact objects, even when taking into account an intrinsic uncertainty in the object radius putatively due to quantum mechanics. We argue that there is no conceptual obstacle in performing these measurements, the main challenge remains the detectability of small tidal effects and an accurate waveform modelling. Our analysis uses only coordinate-independent quantities related to the proper radial distance and the total mass of the object.


title: Machine Learning Characterization of Structural Defects in Amorphous Packings of Dimers and Ellipses

abstract: Structural defects within amorphous packings of symmetric particles can be characterized using a machine learning approach that incorporates structure functions of radial distances and angular arrangement. This yields a scalar field, \emph{softness}, that correlates with the probability that a particle is about to rearrange. However, when particle shapes are elongated, as in the case of dimers and ellipses, we find the standard structure functions produce imprecise softness measurements. Moreover, ellipses exhibit deformation profiles in stark contrast to circular particles. In order to account for effects of orientation and alignment, we introduce new structure functions to recover predictive performance of softness, as well as provide physical insight to local and extended dynamics. We study a model disordered solid, a bidisperse two-dimensional granular pillar, driven by uniaxial compression and composed entirely of monomers, dimers, or ellipses. We demonstrate how the computation of softness via support vector machine extends to dimers and ellipses with the introduction of new orientational structure functions. Then, we highlight the spatial extent of rearrangements and defects, as well as their cross-correlation, for each particle shape. Finally, we demonstrate how an additional machine learning algorithm, recursive feature elimination, provides an avenue to better understand how softness arises from particular structural aspects. We identify the most crucial structure functions in determining softness and discuss their physical implications.


title: Can Deep Learning Outperform Modern Commercial CT Image Reconstruction Methods?

abstract: Commercial iterative reconstruction techniques on modern CT scanners target radiation dose reduction but there are lingering concerns over their impact on image appearance and low contrast detectability. Recently, machine learning, especially deep learning, has been actively investigated for CT. Here we design a novel neural network architecture for low-dose CT (LDCT) and compare it with commercial iterative reconstruction methods used for standard of care CT. While popular neural networks are trained for end-to-end mapping, driven by big data, our novel neural network is intended for end-to-process mapping so that intermediate image targets are obtained with the associated search gradients along which the final image targets are gradually reached. This learned dynamic process allows to include radiologists in the training loop to optimize the LDCT denoising workflow in a task-specific fashion with the denoising depth as a key parameter. Our progressive denoising network was trained with the Mayo LDCT Challenge Dataset, and tested on images of the chest and abdominal regions scanned on the CT scanners made by three leading CT vendors. The best deep learning based reconstructions are systematically compared to the best iterative reconstructions in a double-blinded reader study. It is found that our deep learning approach performs either comparably or favorably in terms of noise suppression and structural fidelity, and runs orders of magnitude faster than the commercial iterative CT reconstruction algorithms.


title: Mode matching in GANs through latent space learning and inversion

abstract: Generative adversarial networks (GANs) have shown remarkable success in generation of unstructured data, such as, natural images. However, discovery and separation of modes in the generated space, essential for several tasks beyond naive data generation, is still a challenge. In this paper, we address the problem of imposing desired modal properties on the generated space using a latent distribution, engineered in accordance with the modal properties of the true data distribution. This is achieved by training a latent space inversion network in tandem with the generative network using a divergence loss. The latent space is made to follow a continuous multimodal distribution generated by reparameterization of a pair of continuous and discrete random variables. In addition, the modal priors of the latent distribution are learned to match with the true data distribution using minimal-supervision with negligible increment in number of learnable parameters. We validate our method on multiple tasks such as mode separation, conditional generation, and attribute discovery on multiple real world image datasets and demonstrate its efficacy over other state-of-the-art methods.


title: Singular Limits for Plasmas with Thermalised Electrons

abstract: This work is concerned with the study of singular limits for the Vlasov-Poisson system in the case of massless electrons (VPME), which is a kinetic system modelling the ions in a plasma. Our objective is threefold: first, we provide a mean field derivation of the VPME system in dimensions $d=2,3$ from a system of $N$ extended charges. Secondly, we prove a rigorous quasineutral limit for initial data that are perturbations of analytic data, deriving the Kinetic Isothermal Euler (KIE) system from the VPME system in dimensions $d=2,3$. Lastly, we combine these two singular limits in order to show how to obtain the KIE system from an underlying particle system.


title: PS1-13cbe: The Rapid "Turn on" of a Seyfert 1

abstract: We present a nuclear transient event, PS1-13cbe, that was first discovered in the Pan-STARRS1 survey in 2013. The outburst occurred in the nucleus of the galaxy SDSS J222153.87+003054.2 at $z = 0.12355$, which was classified as a Seyfert 2 in a pre-outburst archival Sloan Digital Sky Survey (SDSS) spectrum. PS1-13cbe showed the appearance of strong broad H$\alpha$ and H$\beta$ emission lines and a non-stellar continuum in a Magellan spectrum taken 57 days after the peak of the outburst that resembled the characteristics of a Seyfert 1. These broad lines were not present in the SDSS spectrum taken a decade earlier and faded away within two years, as observed in several late-time MDM spectra. We argue that the dramatic appearance and disappearance of the broad lines and factor of $\sim 8$ increase in the optical continuum is most likely caused by variability in the pre-existing accretion disk than a tidal disruption event, supernova, or variable obscuration. The timescale for the turn-on of the optical emission of $\sim 70$ days observed in this transient is among the shortest observed in a "changing look" active galactic nucleus.


title: Deep Learning Predicts Hip Fracture using Confounding Patient and Healthcare Variables

abstract: Hip fractures are a leading cause of death and disability among older adults. Hip fractures are also the most commonly missed diagnosis on pelvic radiographs. Computer-Aided Diagnosis (CAD) algorithms have shown promise for helping radiologists detect fractures, but the image features underpinning their predictions are notoriously difficult to understand. In this study, we trained deep learning models on 17,587 radiographs to classify fracture, five patient traits, and 14 hospital process variables. All 20 variables could be predicted from a radiograph (p < 0.05), with the best performances on scanner model (AUC=1.00), scanner brand (AUC=0.98), and whether the order was marked "priority" (AUC=0.79). Fracture was predicted moderately well from the image (AUC=0.78) and better when combining image features with patient data (AUC=0.86, p=2e-9) or patient data plus hospital process features (AUC=0.91, p=1e-21). The model performance on a test set with matched patient variables was significantly lower than a random test set (AUC=0.67, p=0.003); and when the test set was matched on patient and image acquisition variables, the model performed randomly (AUC=0.52, 95% CI 0.46-0.58), indicating that these variables were the main source of the model's predictive ability overall. We also used Naive Bayes to combine evidence from image models with patient and hospital data and found their inclusion improved performance, but that this approach was nevertheless inferior to directly modeling all variables. If CAD algorithms are inexplicably leveraging patient and process variables in their predictions, it is unclear how radiologists should interpret their predictions in the context of other known patient data. Further research is needed to illuminate deep learning decision processes so that computers and clinicians can effectively cooperate.


title: A New Perspective on Newton's Law of Cooling in Frame of Newly Defined Fractional Conformable Derivative

abstract: In this paper, Newton's law of cooling is considered from a different perspective with newly defined fractional conformable. Obtained results are compared with experimental results and found optimal fractional orders which fit better with real data. Results show that Newton's law of cooling with fractional conformable derivative gives better results to integer order derivative. Results are given comparatively to Newton's law of cooling with integer order and experimental data and also, fractional conformable derivative's advantages are supported by numerical illustrations and error analysis.


title: Maslov's concept of phase transition from Bose-Einstein to Fermi-Dirac distribution. Results of interdisciplinary workshop in MSU

abstract: At the end of 2017, an interdisciplinary scientific seminar was organized at Moscow University, devoted to the study and development of a new scientific concept created by V.P. Maslov, allowing you to take a fresh look at the statistics of Bose-Einstein and Fermi-Dirac ideal gases. This new point of view allows us to interpret the indicated statistics as particular cases of statistical properties in number theory, on the one hand, and to indicate the limits of phase transitions from Bose to Fermi distributions.


title: On the free frontal implicative semilattice extension of a frontal Hilbert algebra

abstract: In this paper we define a functor from the algebraic category of frontal Hilbert algebras to the algebraic category of frontal implicative semilattices which is left adjoint to the forgetful functor from the category of frontal implicative semilattices to that of frontal Hilbert algebras.


title: Critical velocity in kink-defect interaction models: rigorous results

abstract: In this work we study a model of interaction of kinks of the sine-Gordon equation with a weak defect. We obtain rigorous results concerning the so-called critical velocity derived in [7] by a geometric approach. More specifically, we prove that a heteroclinic orbit in the energy level $0$ of a $2$-dof Hamiltonian $H_\epsilon$ is destroyed giving rise to heteroclinic connections between certain elements (at infinity) for exponentially small (in $\epsilon$) energy levels. In this setting Melnikov theory does not apply because there are exponentially small phenomena.


title: A Comparison of Lattice-free Discriminative Training Criteria for Purely Sequence-Trained Neural Network Acoustic Models

abstract: In this work, three lattice-free (LF) discriminative training criteria for purely sequence-trained neural network acoustic models are compared on LVCSR tasks, namely maximum mutual information (MMI), boosted maximum mutual information (bMMI) and state-level minimum Bayes risk (sMBR). We demonstrate that, analogous to LF-MMI, a neural network acoustic model can also be trained from scratch using LF-bMMI or LF-sMBR criteria respectively without the need of cross-entropy pre-training. Furthermore, experimental results on Switchboard-300hrs and Switchboard+Fisher-2100hrs datasets show that models trained with LF-bMMI consistently outperform those trained with plain LF-MMI and achieve a relative word error rate (WER) reduction of 5% over competitive temporal convolution projected LSTM (TDNN-LSTMP) LF-MMI baselines.


title: Magnetoelastics of High Field Phenomena in Antiferromagnets UO2 and CeRhIn5

abstract: We use a recently developed optical fiber Bragg grating technique, in continuous and pulsed magnetic fields in excess of 90T, to study magnetoelastic correlations in magnetic materials at cryogenic temperatures. Both insulating UO2 and metallic CeRhIn5 present antiferromagnetic ground states, at T_N = 30.3K and T_N = 3.85K respectively. A strong coupling of the magnetism to the crystal lattice degrees of freedom in UO2 is found, revealing piezomagnetism as well as the dynamics of antiferromagnetic domain switching between spin arrangements connected by time reversal. The AFM domains become harder to switch as the temperature is reduced, reaching a record value H_PZ(T = 4K) = 18T. The effect of strong magnetic fields is also studied in CeRhIn5, where an anomaly in the sample crystallographic c-axis of magnitude Delta_c/c = 2 ppm is found associated to a recently proposed electronic nematic state at H_en = 30T applied 11o off the c-axis. Here we show that while this anomaly is absent when the magnetic field is applied 18o off the a-axis, strong magnetoelastic quantum oscillations attest to the high quality of the single crystal samples.


title: Systematical study of pulsar light curves with special relativistic effects

abstract: We systematically study pulsar light curves, taking into account the special relativistic effect, i.e., the Doppler factor due to the fast spin of the neutron stars, together with the time delay, which comes from the difference of the travel times depending on the position of the spots. For this purpose, first we derive the basic equations with the general expression of the metric for the static, spherically symmetric spacetime, where for simplicity we adopt the pointlike spot approximation for the antipodal spots associated with the magnetic polar cap model. Then, we calculate the light curves from the neutron star models in general relativity, with various angle between rotational and magnetic axes and the inclination angle. As the results, unlike the case for a slowly rotating stellar model, we find that the light curve from a fast rotating stellar model depends not only the stellar compactness but also the stellar radius. We also find that the amplitude of the light curve becomes larger as the stellar radius increases and as the stellar compactness decreases. Thus, via careful observations of the light curves from the rotating neutron star, one would determine the stellar compactness together with the stellar radius, if it rotates fast enough.


title: Observing the simulations: Applying ZDI to 3D non-potential magnetic field simulations

abstract: The large-scale magnetic fields of stars can be obtained with the Zeeman-Doppler-Imaging (ZDI) technique, but their interpretation is still challenging as the contribution of the small-scale field or the reliability of the reconstructed field properties is still not fully understood. To quantify this, we use 3D non-potential magnetic field simulations for slowly rotating solar-like stars as inputs to test the capabilities of ZDI. These simulations are based on a flux transport model connected to a non-potential coronal evolution model using the observed solar flux emergence pattern. We first compare four field prescriptions regarding their reconstruction capabilities and investigate the influence of the spatial resolution of the input maps on the corresponding circularly polarised profiles. We then generate circularly polarised spectra based on our high resolution simulations of three stellar models with different activity levels, and reconstruct their large-scale magnetic fields using a non-potential ZDI code assuming two different stellar inclination angles. Our results show that the ZDI technique reconstructs the main features of slowly rotating solar-like stars but with $\sim\,$one order of magnitude less magnetic energy. The large-scale field morphologies are recovered up to harmonic modes $\ell \sim 5$, especially after averaging over several maps for each stellar model. While ZDI is not able to reproduce the input magnetic energy distributions across individual harmonic modes, the fractional energies across the modes are generally within $20\,\%$ agreement. The fraction of axisymmetric and toroidal field tends to be overestimated for stars with solar flux emergence patterns for more pole-on inclination angles.