title: An ALMA+ACA measurement of the shock in the Bullet Cluster

abstract: The thermal Sunyaev-Zeldovich (SZ) effect presents a relatively new tool for characterizing galaxy cluster merger shocks, traditionally studied through X-ray observations. Widely regarded as the "textbook example" of a cluster merger bow shock, the western shock front in the Bullet Cluster (1E0657-56) represents the ideal test case for such an SZ study. We aim to reconstruct a parametric model for the shock SZ signal by directly and jointly fitting deep, high-resolution interferometric data from the Atacama Large Millimeter/submillimeter Array (ALMA) and Atacama Compact Array (ACA) in Fourier space. The ALMA+ACA data are primarily sensitive to the electron pressure difference across the shock front. To estimate the shock Mach number $M$, this difference can be combined with the value for the upstream electron pressure derived from an independent Chandra X-ray analysis. In the case of instantaneous electron-ion temperature equilibration, we find $M=2.08^{+0.12}_{-0.12}$, in $\approx 2.4\sigma$ tension with the independent constraint from Chandra, $M_X=2.74\pm0.25$. The assumption of purely adiabatic electron temperature change across the shock leads to $M=2.53^{+0.33}_{-0.25}$, in better agreement with the X-ray estimate $M_X=2.57\pm0.23$ derived for the same heating scenario. We have demonstrated that interferometric observations of the SZ effect provide constraints on the properties of the shock in the Bullet Cluster that are highly complementary to X-ray observations. The combination of X-ray and SZ data yields a powerful probe of the shock properties, capable of measuring $M$ and addressing the question of electron-ion equilibration in cluster shocks. Our analysis is however limited by systematics related to the overall cluster geometry and the complexity of the post-shock gas distribution. To overcome these limitations, a joint analysis of SZ and X-ray data is needed.


title: Chasing Accreted Structures within Gaia DR2 using Deep Learning

abstract: In previous work, we developed a deep neural network classifier that only relies on phase-space information to obtain a catalog of accreted stars based on the second data release of Gaia (DR2). In this paper, we apply two clustering algorithms to identify velocity substructure within this catalog. We focus on the subset of stars with line-of-sight velocity measurements that fall in the range of Galactocentric radii $r \in [6.5, 9.5]$ kpc and vertical distances $|z| < 3$ kpc. Known structures such as Gaia Enceladus and the Helmi stream are identified. The largest previously-unknown structure, Nyx, is a vast stream consisting of at least 90 stars in the region of interest. This study displays the power of the machine learning approach by not only successfully identifying known features, but also discovering new kinematic structures that may shed light on the merger history of the Milky Way.


title: Direct Detection of Spin-(In)dependent Nuclear Scattering of Sub-GeV Dark Matter Using Molecular Excitations

abstract: We propose a novel direct detection concept to search for dark matter with 100~keV to 100~MeV masses. Such dark matter can scatter off molecules in a gas and transfer an $\mathcal{O}(1)$ fraction of its kinetic energy to excite a vibrational and rotational state. The excited ro-vibrational mode relaxes rapidly and produces a spectacular multi-infrared-photon signal, which can be observed with ultrasensitive photodetectors. We discuss in detail a gas target consisting of carbon monoxide molecules, which enable efficient photon emission even at a relatively low temperature and high vapor pressure. The emitted photons have an energy in the range 180~meV to 265~meV. By mixing together carbon monoxide molecules of different isotopes, including those with an odd number of neutrons, we obtain sensitivity to both spin-independent interactions and spin-dependent interactions with the neutron. We also consider hydrogen fluoride, hydrogen bromide, and scandium hydride molecules, which each provide sensitivity to spin-dependent interactions with the proton. The proposed detection concept can be realized with near-term technology and allows for the exploration of orders of magnitude of new dark matter parameter space.


title: Optimal transport and colossal ionic mechano-conductance in graphene crown ethers

abstract: Biological ion channels balance electrostatic and dehydration effects to yield large ion selectivities alongside high transport rates. These macromolecular systems are often interrogated through point mutations of their pore domain, limiting the scope of mechanistic studies. In contrast, we demonstrate that graphene crown ether pores afford a simple platform to directly investigate optimal ion transport conditions, i.e., maximum current densities and selectivity. Crown ethers are known for selective ion adsorption. When embedded in graphene, however, transport rates lie below the drift-diffusion limit. We show that small pore strains -- 1 % -- give rise to a colossal -- 100 % -- change in conductance. This process is electromechanically tunable, with optimal transport in a primarily diffusive regime, tending toward barrierless transport, as opposed to a knock-on mechanism. Measurements of mechanical current modulation will yield direct information on the local electrostatic conditions of the pore. These observations suggest a novel setup for nanofluidic devices while giving insight into the physical foundation of evolutionarily--optimized ion transport in biological pores.


title: Mapping the Stellar Halo with the H3 Spectroscopic Survey

abstract: Modern theories of galaxy formation predict that the Galactic stellar halo was hierarchically assembled from the accretion and disruption of smaller systems. This hierarchical assembly is expected to produce a high degree of structure in the combined phase and chemistry space; this structure should provide a relatively direct probe of the accretion history of our Galaxy. Revealing this structure requires precise 3D positions (including distances), 3D velocities, and chemistry for large samples of stars. The Gaia satellite is delivering proper motions and parallaxes for >1 billion stars to G~20. However, radial velocities and metallicities will only be available to G~15, which is insufficient to probe the outer stellar halo (>10 kpc). Moreover, parallaxes will not be precise enough to deliver high-quality distances for stars beyond ~10 kpc. Identifying accreted systems throughout the stellar halo therefore requires a large ground-based spectroscopic survey to complement Gaia. Here we provide an overview of the H3 Stellar Spectroscopic Survey, which will deliver precise stellar parameters and spectrophotometric distances for 200,000 stars to r=18. Spectra are obtained with the Hectochelle instrument at the MMT, which is configured for the H3 Survey to deliver resolution R~23,000 spectra covering the wavelength range 5150A-5300A. The survey is optimized for stellar halo science and therefore focuses on high Galactic latitude fields (|b|>30 deg.), sparsely sampling 15,000 sq. degrees. Targets are selected on the basis of Gaia parallaxes, enabling very efficient selection of bone fide halo stars. The survey began in the Fall of 2017 and has collected 88,000 spectra to-date. All of the data, including the derived stellar parameters, will eventually be made publicly available via the survey website: h3survey.rc.fas.harvard.edu.


title: Rydberg impurity in a Fermi gas: Quantum statistics and rotational blockade

abstract: We consider the quench of an atomic impurity via a single Rydberg excitation in a degenerate Fermi gas. The Rydberg interaction with the background gas particles induces an ultralong-range potential that binds particles to form dimers, trimers, tetramers, etc. Such oligomeric molecules were recently observed in atomic Bose-Einstein condensates. In this work, we demonstrate with a functional determinant approach that quantum statistics and fluctuations have observable spectral consequences. We show that the occupation of molecular states is predicated on the Fermi statistics, which suppresses molecular formation in an emergent molecular shell structure. At large gas densities this leads to spectral narrowing, which can serve as a probe of the quantum gas thermodynamic properties.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el physics.atom-ph quant-ph


title: Investigating multiple solutions to boundary value problems in constrained minimal and non-minimal SUSY models

abstract: We investigate the physical origins of multiple solutions to boundary value problems in the fully constrained MSSM and NMSSM. We derive mathematical criteria that formulate circumstances under which multiple solutions can appear. Finally, we study the validity of the exclusion of the CMSSM in the presence of multiple solutions.


title: Cosmic perturbations, baryon asymmetry and dark matter from the minimal supersymmetric standard model

abstract: Scalar fields in the minimal supersymmetric standard model may have large field values during inflation. Because of approximate global symmetry, it is plausible that the phase directions of them are nearly massless during inflation and obtain quantum fluctuations, which may be the origin of the cosmic perturbations. If perturbations are produced through Q-ball formation, baryon asymmetry and dark matter can be consistently generated. Significant baryon and dark matter isocurvature perturbations are produced, but they are predicted to nearly compensate each other. The lepton asymmetry is much larger than the baryon asymmetry. The scenario predicts local non-Gaussianity of $f_{\rm NL} = 5/3$. Implication to the mass spectrum of supersymmetric particles is discussed.


title: ZZ Instantons and the Non-Perturbative Dual of c = 1 String Theory

abstract: We study the effect of ZZ instantons in c = 1 string theory, and demonstrate that they give rise to non-perturbative corrections to scattering amplitudes that do not saturate unitarity within the closed string sector. Beyond the leading non-perturbative order, logarithmic divergences are canceled between worldsheet diagrams of different topologies, due to the Fischler-Susskind-Polchinski mechanism. We propose that the closed string vacuum in c = 1 string theory is non-perturbatively dual to a state of the matrix quantum mechanics in which all scattering states up to a given energy with no incoming flux from the "other side" of the potential are occupied by free fermions. Under such a proposal, we find detailed agreement of non-perturbative corrections to closed string amplitudes in the worldsheet description and in the dual matrix model.


title: Optical Transient from an Explosion Close to the Stellar Surface

abstract: We study the hydrodynamic evolution of an explosion close to the stellar surface, and give predictions for the radiation from such an event. We show that such an event will give rise to a multi-wavelength transient. We apply this model to describe a precursor burst to the peculiar supernova iPTF14hls, which occurred in 1954, sixty year before the supernova. We propose that the new generation of optical surveys might detect similar transients, and they can be used to identify supernova progenitors well before the explosion.


title: MINESweeper: Spectrophotometric Modeling of Stars in the Gaia Era

abstract: We present MINESweeper, a tool to measure stellar parameters by jointly fitting observed spectra and broadband photometry to model isochrones and spectral libraries. This approach enables the measurement of spectrophotometric distances, in addition to stellar parameters such as Teff, log(g), [Fe/H], [a/Fe], and radial velocity. MINESweeper employs a Bayesian framework and can easily incorporate a variety of priors, including Gaia parallaxes. Mock data are fit in order to demonstrate how the precision of derived parameters depends on evolutionary phase and SNR. We then fit a selection of data in order to validate the model outputs. Fits to a variety of benchmark stars including Procyon, Arcturus, and the Sun result in derived stellar parameters that are in good agreement with the literature. We then fit combined spectra and photometry of stars in the open and globular clusters M92, M13, M3, M107, M71, and M67. Derived distances, [Fe/H], [a/Fe], and log(g)-Teff, relations are in overall good agreement with literature values, although there are trends between metallicity and log(g), within clusters that point to systematic uncertainties at the ~0.1 dex level. Finally, we fit a large sample of stars from the H3 Spectroscopic Survey in which high quality Gaia parallaxes are also available. These stars are fit without the Gaia parallaxes so that the geometric parallaxes can serve as an independent test of the spectrophotometric distances. Comparison between the two reveals good agreement within their formal uncertainties after accounting for the Gaia zero point uncertainties.


title: Large Molecular Gas Reservoirs in Star Forming Cluster Galaxies

abstract: We present CO(2-1) observations of 72 galaxies in the nearby, disturbed Antlia galaxy cluster with the Atacama Pathfinder Experiment (APEX) telescope. The galaxies in our sample are selected to span a wide range of stellar masses ($10^{8}M_{\odot}\lesssim M_{\star} \lesssim 10^{10}M_{\odot}$) and star formation rates ($0.0005M_{\odot}\text{yr}^{-1}<\text{SFR}<0.3M_{\odot}\text{yr}^{-1}$). Reaching a depth of $23\text{mJy}$ in $50\text{km}\text{s}^{-1}$ channels, we report a total CO detection rate of $37.5\%$ and a CO detection rate of $86\%$ for sources within 1 dex of the main sequence. We compare our sample with a similar sample of galaxies in the field, finding that, for a fixed stellar mass and SFR, galaxies in the Antlia cluster have comparable molecular gas reservoirs to field galaxies. We find that $\sim41\%$ (11/27) of our CO detections display non-Gaussian CO(2-1) emission line profiles, and a number of these sources display evidence of quenching in their optical images. We also find that the majority of our sample lie either just below, or far below the main sequence of field galaxies, further hinting at potential ongoing quenching. We conclude that the Antlia cluster represents an intermediate environment between fields and dense clusters, where the gentler intracluster medium (ICM) allows the cluster members to retain their reservoirs of molecular gas, but in which the disturbed ICM is just beginning to influence the member galaxies, resulting in high SFRs and possible ongoing quenching.


title: Tension with the flat {\Lambda}CDM model from a high redshift Hubble Diagram of supernovae, quasars and gamma-ray bursts

abstract: In the current framework, the standard parametrization of our Universe is the so-called Lambda Cold Dark Matter ({\Lambda}CDM) model. Recently, Risaliti & Lusso (2019) have shown a ~4{\sigma} tension with the {\Lambda}CDM model through a model-independent parametrization of a Hubble Diagram of supernovae Ia (SNe Ia) from the JLA survey and quasars. Model-independent approaches and independent samples over a wide redshift range are key to testing this tension and any possible systematics. Here we present an analysis of a combined Hubble Diagram of SNe Ia, quasars, and gamma-ray bursts (GRBs) to check the agreement of the quasar and GRB cosmological parameters at high redshifts (z>2) and to test the concordance flat {\Lambda}CDM model with improved statistical accuracy. We build a Hubble diagram with SNe Ia from the Pantheon sample (Scolnic et al. 2018), quasars from the Risaliti & Lusso (2019) sample, and GRBs from the Demianski et al. (2017a) sample, where quasars are standardised through the observed non-linear relation between their ultraviolet and X-ray emission and GRBs through the correlation between the spectral peak energy and the isotropic-equivalent radiated energy (the so-called "Amati relation"). We fit the data with cosmographic models consisting of a fourth-order logarithmic polynomial and a fifth-order linear polynomial, and compare the results with the expectations from a flat {\Lambda}CDM model. We confirm the tension between the best fit cosmographic parameters and the {\Lambda}CDM model at ~4{\sigma} with SNe Ia and quasars, at ~2{\sigma} with SNe Ia and GRBs, and at >4{\sigma} with the whole SNe Ia+quasars+GRB data set. The completely independent high-redshift Hubble diagrams of quasars and GRBs are fully consistent with each other, strongly suggesting that the deviation from the standard model is not due to unknown systematic effects but to new physics.


title: Search Optimization, Funnel Topography, and Dynamical Criticality on the String Landscape

abstract: A striking feature of our universe is its near criticality. The cosmological constant and weak hierarchy problems, as well as the metastability of the electroweak vacuum, can all be understood as problems of criticality. This suggests a statistical physics approach, based on the string landscape. We present a dynamical selection mechanism for hospitable vacua based on search optimization. Instead of focusing on stationary probability distributions, we are interested in the approach to equilibrium. This is particularly relevant if cosmological evolution has occurred for a time shorter than the exponentially-long mixing time for the landscape. This imposes a strong selection pressure among hospitable vacua, favoring those in regions where the search algorithm is efficient. Specifically, the mean first passage time is minimized for hospitable vacua lying at the bottom of funnel-like regions, akin to the smooth folding funnels of proteins and the loss functions of well-trained deep neural networks. The optimality criterion is time-reparametrization invariant and defined by two competing requirements: search efficiency, which requires minimizing the mean first passage time, and sweeping exploration, which requires that random walks are recurrent. Optimal landscape regions reach a compromise by lying at the critical boundary between recurrence and transience, thereby achieving dynamical criticality. Remarkably, this implies that the optimal lifetime of vacua coincides with the de Sitter Page time. Our mechanism makes concrete phenomenological predictions: 1. The expected lifetime of our universe is $10^{130}$ years, which is ~$2\sigma$ from the Standard Model metastability estimate; 2. The SUSY breaking scale should be high, $>10^{10}$ GeV. The present framework suggests a correspondence between the near-criticality of our universe and non-equilibrium critical phenomena on the landscape.


title: Ultraviolet Mg II emission from fast neutral ejecta around Eta Carinae

abstract: We present the first images of the nebula around eta Carinae obtained with HST/WFC3, including a UV image in the F280N filter that traces MgII emission, plus contemporaneous imaging in the F336W, F658N, and F126N filters that trace near-UV continuum, [NII], and [FeII], respectively. The F336W and F658N images are consistent with previous images in these filters, and F126N shows that for the most part, [FeII] 12567 traces clumpy shocked gas seen in [NII]. The F280N image, however, reveals MgII emission from structures that have not been seen in any previous line or continuum images of eta Carinae. This image shows diffuse MgII emission immediately outside the bipolar Homunculus nebula in all directions, but with the strongest emission concentrated over the poles. The diffuse structure with prominent radial streaks, plus an anticorrelation with ionized tracers of clumpy shocked gas, leads us to suggest that this is primarily MgII resonant scattering from unshocked, neutral atomic gas. We discuss the implied structure and geometry of the MgII emission, and its relation to the Homunculus lobes and various other complex nebular structures. An order of magnitude estimate of the neutral gas mass traced by MgII is 0.02Msun, with a corresponding kinetic energy around 1e47erg. This may provide important constraints on polar mass loss in the early phases of the Great Eruption. We argue that the MgII line may be an excellent tracer of significant reservoirs of freely expanding, unshocked, and otherwise invisible neutral atomic gas in a variety of stellar outflows.


title: An exactly soluble model for a fractionalized Weyl semimetal

abstract: We construct an exactly solvable lattice model of a fractional Weyl semimetal (FWS). The low energy theory of this strongly interacting state is that of a Weyl semimetal built out of fractionally charged fermions. We show the existence of a universally quantized and fractional circular photogalvanic effect (CPGE) and a violation of the Wiedemann-Franz law in the system. Together with a spectral gap in the single-particle electronic Green's function they provide strong experimental signatures for this exotic gapless state of matter.


title: Topical Review on Skyrmions and Hall Transport

abstract: We review recent progresses towards an understanding of the Skyrmion Hall transport in insulating as well as conducting materials. First, we consider a theoretical breakthrough based on the quantum field theory Ward identity, a first principle analysis, relying on symmetries and conservation laws. Broken parity (inversion) symmetry plays a crucial role in Skyrmion Hall transport. In addition to the well known thermal and electric Hall conductivities, our analysis has led us to the discovery of a new and unforeseen physical quantity, Hall viscosity - an anti-symmetric part of the viscosity tensor. We propose a simple way to confirm the existence of Hall viscosity in the measurements of Hall conductivity as a function of momentum. We provide various background materials to assist the readers to understand the quantum field theory Ward identity. In the second part, we review recent theoretical and experimental advancements of the Skyrmion Hall effects and the topological (Magnon) Hall effects for conducting (insulting) magnets. For this purpose, we consider two enveloping themes: spin torque and thermo-electromagnetic effect. First, we overview various spin torques, such as spin transfer torque, spin-orbit torque, and spin Hall torque, and generalized Landau-Lifshitz-Gilbert equations and Thiele equations using a phenomenological approach. Second, we consider irreversible thermodynamics to survey possible thermo-electromagnetic effects, such as Seebeck, Peltier and Thompson effects in the presence of the electric currents, along with the Hall effects in the presence of a background magnetic field. Recently developed spin Seebeck effects are also a significant part of the survey. We also accommodate extensive background materials to make this review self-contained. Finally, we revisit the Skyrmion Hall transport from the Ward identity view point.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci hep-th quant-ph


title: Extracting topological information from momentum space propagators

abstract: A new topological invariant quantity, sensitive to the analytic structure of both fermionic and bosonic propagators, is proposed. The gauge invariance of our construct is guaranteed for at least small gauge transformations. A generalization compatible with the presence of complex poles is introduced and applied to the classification of propagators typically emerging from non-perturbative considerations. We present partial evidence that the topological number can be used to detect chiral symmetry breaking or deconfinement.


title: Examples and applications of the density of strongly norm attaining Lipschitz maps

abstract: We study the density of the set $\operatorname{SNA}(M,Y)$ of those Lipschitz maps from a (complete pointed) metric space $M$ to a Banach space $Y$ which strongly attain their norm (i.e.\ the supremum defining the Lipschitz norm is actually a maximum). We present new and somehow counterintuitive examples, and we give some applications. First, we show that $\operatorname{SNA}(\mathbb T,Y)$ is not dense in ${\mathrm{Lip}}_0(\mathbb T,Y)$ for any Banach space $Y$, where $\mathbb T$ denotes the unit circle in the Euclidean plane. This provides the first example of a Gromov concave metric space (i.e.\ every molecule is a strongly exposed point of the unit ball of the Lipschitz-free space) for which the density does not hold. Next, we construct metric spaces $M$ satisfying that $\operatorname{SNA}(M,Y)$ is dense in ${\mathrm{Lip}}_0(M,Y)$ regardless $Y$ but which contains an isometric copy of $[0,1]$ and so the Lipschitz-free space $\mathcal F(M)$ fails the Radon--Nikod\'{y}m property, answering in the negative a posed question. Furthermore, an example $M$ can be produced failing all the previously known sufficient conditions to get the density of strongly norm attaining Lipschitz maps. Finally, among other applications, we prove that given a compact metric $M$ which does not contains any isometric copy of $[0,1]$ and a Banach space $Y$, if $\operatorname{SNA}(M,Y)$ is dense, then $\operatorname{SNA}(M,Y)$ actually contains an open dense subset and $B_{\mathcal F(M)}=\overline{{\mathrm{co}}}(\operatorname{str-exp}(B_{\mathcal F(M)}))$. Further, we show that if $M$ is a boundedly compact metric space for which $\operatorname{SNA}(M,\mathbb R)$ is dense in ${\mathrm{Lip}}_0(M,\mathbb R)$, then the unit ball of the Lipschitz-free space on $M$ is the closed convex hull of its strongly exposed points.


title: Localized thermal states and negative energy

abstract: We construct localized states defined in a ball or the half-space of a conformal field theory (CFT) in Minkowski that are thermal with respect to the local modular flow. We compute their energy density at arbitrary temperature for a variety of CFTs, and find values for which it is negative and divergent at the boundary. Despite this singular behavior we show that the energy measured by an observer is consistent with the bounds present in the literature. For holographic CFTs these states are captured by hyperbolic black holes in anti-de Sitter, where the negative energy in field theory amounts to the well known negative mass of the black hole. As a byproduct, we show that the Casini-Huerta-Myers proof of the Ryu-Takayangi holographic entanglement formula for the vacuum reduced to a ball can be naturally extended to include half-space regions.


title: Strong constraints on non-standard neutrino interactions: LHC vs. IceCube

abstract: We find the constraints on various non-standard interactions (NSI) of neutrinos from monojet+MET searches at the Large Hadron Collider (LHC). Also, we show that the measurement of neutrino-nucleon cross-section from the observation of high energy astrophysical neutrino events at IceCube facilitates strong constraints on NSI as well. To this end, we pursue a comparative study of the prospects of LHC and IceCube in detecting NSI, also mentioning the role of low-energy experiments. We discuss the case of NSI with a new vector boson $Z'$ and it is found that for some range of $m_{Z'}$ LHC puts more stringent bound, whereas IceCube supersedes elsewhere. We also pay special attention to the case of $Z'$ of mass of a few GeVs, pointing out that the IceCube constraints can surpass those from LHC and low-energy experiments. Although, for contact-type effective interactions with two neutrinos and two partons, constraints from LHC are superior.


title: Magneto-optical resonances in fluorescence from sodium D2 manifold

abstract: We report on magneto-optical resonances observed in sodium fluorescence from D2 manifold with an intensity modulated light. Fluorescence resonances are measured in the perpendicular and backward directions to the light propagation, in laboratory experiments using a sodium cell containing neon buffer gas. Properties of these resonances are studied by varying the magnetic field at fixed light modulation frequency, and vice-versa. Modulation with low-duty cycle shows higher-harmonic resonances of the modulation frequency and sub-harmonic resonances of the Larmor frequency. A dark resonance with maximum amplitude for laser wavelength closer to the crossover peak is observed. The origin of this dark resonance observed in Na D2 line is discussed using a theoretical model. Present study is aimed towards improving the understanding of magneto-optical resonances for remote magnetometry applications with mesospheric sodium.


title: Data-driven simulation of pedestrian collision avoidance with a nonparametric neural network

abstract: Data-driven simulation of pedestrian dynamics is an incipient and promising approach for building reliable microscopic pedestrian models. We propose a methodology based on generalized regression neural networks, which does not have to deal with a huge number of free parameters as in the case of multilayer neural networks. Although the method is general, we focus on the one pedestrian-one obstacle problem. Experimental data were collected in a motion capture laboratory providing high-precision trajectories. The proposed model allows us to simulate the trajectory of a pedestrian avoiding an obstacle from any direction.


title: Sub-damped Lyman alpha systems in the XQ-100 survey I -- Identification and contribution to the cosmological HI budget

abstract: Sub-damped Lyman alpha systems (subDLAs; HI column densities of 19.0<=logN(HI)<20.3) are rarely included in the cosmic HI census performed at redshifts z>=1.5, yet are expected to contribute significantly to the overall HI mass budget of the Universe. In this paper, we present a blindly selected sample of 155 subDLAs found along 100 quasar sightlines (with a redshift path length X=475) in the XQ-100 survey to investigate the contribution of subDLAs to the HI mass density of the Universe. The impact of X-Shooter's spectral resolution on sub-DLA identification is evaluated, and found to be sufficient for reliably finding absorbers with logN(HI)>=18.9. We compared the implications of searching for subDLAs solely using HI absorption versus the use of additional metal lines to confirm the identification, and found that metal-selection techniques would have missed 75 subDLAs. Using a bootstrap-Monte Carlo simulation, we computed the column density distribution function (f(N,X)) and the cosmological HI mass density of subDLAs and compared with our previous work based on the XQ-100 damped Lyman alpha systems. We do not find any significant redshift evolution in f(N,X) or cosmological HI mass density for subDLAs. However, subDLAs contribute 10-20 per cent of the total cosmological HI mass density measured at redshifts 2<z<5 (agreeing with previous measurements), and thus have a small but significant contribution to the HI budget of the Universe.


title: Scalable terahertz generation by large-area optical rectification at 80 TW laser power

abstract: We demonstrate high-energy terahertz generation from a large-aperture (75 mm diameter) lithium niobate wafer by using a femtosecond laser with energy up to 2 J. This scheme utilizes optical rectification in a bulk lithium niobate crystal, where most terahertz energy is emitted from a thin layer of the rear surface. Despite its simple setup, this scheme can yield 0.19 mJ of terahertz energy with laser-to-terahertz conversion efficiencies of ~0.01%, about 3 times better than ZnTe when pumped at 800 nm. The experimental setup is up-scalable for multi-mJ terahertz generation with petawatt laser pumping.


title: A Lecture on Holomorphic Anomaly Equations and Extended Holomorphic Anomaly Equations

abstract: This is a brief introduction to the Bershadsky-Cecotti-Ooguri-Vafa (BCOV) holomorphic anomaly equations and Walcher's extended holomorphic anomaly equations.


title: One-loop corrections to the primordial tensor spectrum from massless isocurvature fields

abstract: We study one-loop corrections to the two-point correlation function of tensor perturbations in primordial cosmology induced by massless spectator matter fields. Using the Schwinger-Keldysh formalism in cosmological perturbation theory, we employ dimensional regularization and cutoff regularization to study the finite quantum corrections at one-loop arising from isocurvature fields of the massless scalar, fermion and abelian gauge field which are freely propagating on the FRW spacetime. For all cases, we find a logarithmic running of the form $\frac{C}{q^3} \, \frac{H^4}{M^4_p} \log \left( \frac{H}{\mu } \right)$ where $C$ is a negative constant related to the beta function, $H$ is the Hubble parameter at horizon exit and $\mu$ is the renormalization scale.


title: Generalized Holevo theorem and distinguishability notions

abstract: We present a generalization of the Holevo theorem by means of distances used in the definition of distinguishability of states, showing that each one leads to an alternative Holevo theorem. This result involves two quantities: the generalized Holevo information and the generalized accessible information. Additionally, we apply the new inequalities to qubits ensembles showing that for the Kolmogorov notion of distinguishability (for the case of an ensemble of two qubits) the generalized quantities are equal. On the other hand, by using a known example, we show that the Bhattacharyya notion captures not only the non-commutativity of the ensemble but also its purity.


title: Extragalactic megahertz-peaked spectrum radio sources at milliarcsecond scales

abstract: Extragalactic peaked-spectrum radio sources are thought to be the progenitors of larger, radio-loud active galactic nuclei (AGN). Synchrotron self-absorption (SSA) has often been identified as the cause of their spectral peak. The identification of new megahertz-peaked spectrum sources from the GaLactic and Extragalactic All-sky Murchison Widefield Array (GLEAM) survey provides an opportunity to test how radio sources with spectral peaks below 1 GHz fit within this evolutionary picture. We observed six peaked-spectrum sources selected from the GLEAM survey, three that have spectral characteristics which violate SSA and three that have spectral peaks below 230 MHz, with the Very Long Baseline Array at 1.55 and 4.96 GHz. We present milliarcsecond resolution images of each source and constrain their morphology, linear size, luminosity, and magnetic field strength. Of the sources that are resolved by our study, the sources that violate SSA appear to be compact doubles, while the sources with peak frequencies below 230 MHz have core-jet features. We find that all of our sources are smaller than expected from SSA by factors of >20. We also find that component magnetic field strengths calculated from SSA are likely inaccurate, differing by factors of >5 from equipartition estimates. The calculated equipartition magnetic field strengths more closely resemble estimates from previously studied gigahertz-peaked spectrum sources. Exploring a model of the interaction between jets and the interstellar medium, we demonstrate that free-free absorption (FFA) can accurately describe the linear sizes and peak frequencies of our sources. Our findings support the theory that there is a fraction of peaked-spectrum sources whose spectral peaks are best modelled by FFA, implying our understanding of the early stages of radio AGN is incomplete.


title: Untangling the Galaxy I: Local Structure and Star Formation History of the Milky Way

abstract: Gaia DR2 provides unprecedented precision in measurements of the distance and kinematics of stars in the solar neighborhood. Through applying unsupervised machine learning on DR2's 5-dimensional dataset (3d position + 2d velocity), we identify a number of clusters, associations, and co-moving groups within 1 kpc and $|b|<30^\circ$ (many of which have not been previously known). We estimate their ages with the precision of $\sim$0.15 dex. Many of these groups appear to be filamentary or string-like, oriented in parallel to the Galactic plane, and some span hundreds of pc in length. Most of these string lack a central cluster, indicating that their filamentary structure is primordial, rather than the result of tidal stripping or dynamical processing. The youngest strings ($<$100 Myr) are orthogonal to the Local Arm. The older ones appear to be remnants of several other arm-like structures that cannot be presently traced by dust and gas. The velocity dispersion measured from the ensemble of groups and strings increase with age, suggesting a timescale for dynamical heating of $\sim$300 Myr. This timescale is also consistent with the age at which the population of strings begins to decline, while the population in more compact groups continues to increase, suggesting that dynamical processes are disrupting the weakly bound string populations, leaving only individual clusters to be identified at the oldest ages. These data shed a new light on the local galactic structure and a large scale cloud collapse.


title: A Cheeger type inequality in finite Cayley sum graphs

abstract: Let $G$ be a finite group and $S$ be a symmetric generating set of $G$ with $|S| = d$. We show that if the undirected Cayley sum graph $C_{\Sigma}(G,S)$ is an expander graph and is non-bipartite, then the spectrum of its normalised adjacency operator is bounded away from $-1$. We also establish an explicit lower bound for the spectrum of these graphs, namely, the non-trivial eigenvalues of the normalised adjacency operator lies in the interval $\left(-1+\frac{h(G)^{4}}{\eta}, 1-\frac{h(G)^{2}}{2d^{2}}\right]$, where $h(G)$ denotes the (vertex) Cheeger constant of the $d$-regular graph $C_{\Sigma}(G,S)$ and $\eta = 2^{9}d^{8}$. Further, we improve upon a recently obtained bound on the non-trivial spectrum of the normalised adjacency operator of the non-bipartite Cayley graph $C(G,S)$.


title: On the Galois correspondence for Hopf Galois structures arising from finite radical algebras and Zappa-Sz\'ep products

abstract: Let $L/K$ be a $G$-Galois extension of fields with an $H$-Hopf Galois structure of type $N$. We study the ratio $GC(G, N)$, which is the number of intermediate fields $E$ with $K \subseteq E \subseteq L$ that are in the image of the Galois correspondence for the $H$-Hopf Galois structure on $L/K$, divided by the number of intermediate fields. By Galois descent, $L \otimes_K H = LN$ where $N$ is a $G$-invariant regular subgroup of $\mathrm{Perm}(G)$, and then $GC(G, N)$ is the number of $G$-invariant subgroups of $N$, divided by the number of subgroups of $G$. We look at the Galois correspondence ratio for a Hopf Galois structure by translating the problem into counting certain subgroups of the corresponding skew brace. We look at skew braces arising from finite radical algebras $A$ and from Zappa-Sz\'ep products of finite groups, and in particular when $A^3 = 0$ or the Zappa-Sz\'ep product is a semidirect product, in which cases the corresponding skew brace is a bi-skew brace, that is, a set $G$ with two group operations $\circ$ and $\star$ in such a way that $G$ is a skew brace with either group structure acting as the additive group of the skew brace. We obtain the Galois correspondence ratio for several examples. In particular, if $(G, \circ, \star)$ is a bi-skew brace of squarefree order $2m$ where $(G, \circ) \cong Z_{2m}$ is cyclic and $(G, \star) = D_m$ is dihedral, then for large $m$, $GC(Z_{2m},D_m), $ is close to 1/2 while $GC(D_m, Z_{2m})$ is near 0.


title: Real and complex supersolvable line arrangements in the projective plane

abstract: We study supersolvable line arrangements in ${\mathbb P}^2$ over the reals and over the complex numbers, as the first step toward a combinatorial classification. Our main results show that a nontrivial (i.e., not a pencil or near pencil) complex line arrangement cannot have more than 4 modular points, and if all of the crossing points of a complex line arrangement have multiplicity 3 or 4, then the arrangement must have 0 modular points (i.e., it cannot be supersolvable). This provides at least a little evidence for our conjecture that every nontrivial complex supersolvable line arrangement has at least one point of multiplicity 2, which in turn is a step toward the much stronger conjecture of Anzis and Toh\v{a}neanu that every nontrivial complex supersolvable line arrangement with $s$ lines has at least $s/2$ points of multiplicity 2.


title: An AI-Augmented Lesion Detection Framework For Liver Metastases With Model Interpretability

abstract: Colorectal cancer (CRC) is the third most common cancer and the second leading cause of cancer-related deaths worldwide. Most CRC deaths are the result of progression of metastases. The assessment of metastases is done using the RECIST criterion, which is time consuming and subjective, as clinicians need to manually measure anatomical tumor sizes. AI has many successes in image object detection, but often suffers because the models used are not interpretable, leading to issues in trust and implementation in the clinical setting. We propose a framework for an AI-augmented system in which an interactive AI system assists clinicians in the metastasis assessment. We include model interpretability to give explanations of the reasoning of the underlying models.


title: Turbulence in the Local Interstellar Medium and the IBEX Ribbon

abstract: The effects of turbulence in the very local interstellar medium (VLISM) have been proposed by Giacalone & Jokipii (2015) to be important in determining the structure of the Interstellar Boundary Explorer (IBEX) ribbon via particle trapping by magnetic mirroring. We further explore this effect by simulating the motion of charged particles in a turbulent magnetic field superposed on a large-scale mean field, which we have considered to be either spatially-uniform or a mean field derived from a 3D MHD simulation. We find that the ribbon is not double-peaked, in contrast to Giacalone & Jokipii (2015). However, the magnetic mirror force still plays an important role in trapping particles. Furthermore, the ribbon$'$s thickness is considerably larger if the large-scale mean field is draped around the heliosphere. Voyager 1 observations in the VLISM show a turbulent field component that is stronger than previously thought, which we test in our simulation. We find that the inclusion of turbulent fluctuations at scales ${\gtrsim}$100 au and power consistent with Voyager 1 observations produces a ribbon whose large-scale structure is inconsistent with IBEX observations. However, restricting the fluctuations to ${\sim}$10 au or smaller produces a smoother ribbon structure similar to IBEX observations. Different turbulence realizations produce different small-scale features ${\lesssim}10{\deg}$ in the ribbon, but its large-scale structure is robust if the maximum fluctuation size is ${\sim}$10 au. This suggests that the magnetic field structure at scales ${\lesssim}$10 au is determined by the heliosphere$'$s interaction with the VLISM and cannot entirely be represented by homogeneous interstellar turbulence.


title: Design and characteristic study of electron blocking layer free AlInN nanowire deep ultraviolet light-emitting diodes

abstract: We report on the illustration of the first electron blocking layer (EBL) free AlInN nanowire light-emitting diodes (LEDs) operating in the deep ultraviolet (DUV) wavelength region (sub-250 nm). We have systematically analyzed the results using APSYS software and compared with simulated AlGaN nanowire DUV LEDs. From the simulation results, significant efficiency droop was observed in AlGaN based devices, attributed to the significant electron leakage. However, compared to AlGaN nanowire DUV LEDs at similar emission wavelength, the proposed single quantum well (SQW) AlInN based light-emitters offer higher internal quantum efficiency without droop up to current density of 1500 A/cm2 and high output optical power. Moreover, we find that transverse magnetic polarized emission is ~ 5 orders stronger than transverse electric polarized emission at 238 nm wavelength. Further research shows that the performance of the AlInN DUV nanowire LEDs decreases with multiple QWs in the active region due to the presence of the non-uniform carrier distribution in the active region. This study provides important insights on the design of new type of high performance AlInN nanowire DUV LEDs, by replacing currently used AlGaN semiconductors.


title: Connected quandles of size $pq$ and $4p$

abstract: We classify all non-simple connected quandles of size $pq$ and $4p$ where $p,q$ are primes, as a special family of locally strictly simple quandles (i.e. quandles for which all proper subquandles are strictly simple). In particular we classify all latin quandles of size $pq$ and $4p$ and we show that latin quandles of size $8p$ are affine.


title: Revealing the Role of User Moods in Struggling Search Tasks

abstract: User-centered approaches have been extensively studied and used in the area of struggling search. Related research has targeted key aspects of users such as user satisfaction or frustration, and search success or failure, using a variety of experimental methods including laboratory user studies, in-situ explicit feedback from searchers and by using crowdsourcing. Such studies are valuable in advancing the understanding of search difficulty from a user's perspective, and yield insights that can directly improve search systems and their evaluation. However, little is known about how user moods influence their interactions with a search system or their perception of struggling. In this work, we show that a user's own mood can systematically bias the user's perception, and experience while interacting with a search system and trying to satisfy an information need. People who are in activated-pleasant / activated-unpleasant moods tend to issue more queries than people in deactivated or neutral moods. Those in an unpleasant mood perceive a higher level of difficulty. Our insights extend the current understanding of struggling search tasks and have important implications on the design and evaluation of search systems supporting such tasks.


title: A Sequential Composition Framework for Coordinating Multi-Robot Behaviors

abstract: A number of coordinated behaviors have been proposed for achieving specific tasks for multi-robot systems. However, since most applications require more than one such behavior, one needs to be able to compose together sequences of behaviors while respecting local information flow constraints. Specifically, when the inter-agent communication depends on inter-robot distances, these constraints translate into particular configurations that must be reached in finite time in order for the system to be able to transition between the behaviors. To this end, we develop a distributed framework based on finite-time convergence control barrier functions that enables a team of robots to adjust its configuration in order to meet the communication requirements for the different tasks. In order to demonstrate the significance of the proposed framework, we implemented a full-scale scenario where a team of eight planar robots explore an urban environment in order to localize and rescue a subject.


title: Quasi 2-D magnetism in the Kagome layer compound FeSn

abstract: Single crystals of the single Kagome layer compound FeSn are investigated using x-ray and neutron scattering, magnetic susceptibility and magnetization, heat capacity, resistivity, Hall, Seebeck, thermal expansion, thermal conductivity measurements and density functional theory (DFT). FeSn is a planar antiferromagnet below TN = 365 K and exhibits ferromagnetic magnetic order within each Kagome layer. The in-plane magnetic susceptibility is sensitive to synthesis conditions. Resistivity, Hall and Seebeck results indicate multiple bands near the Fermi energy. The resistivity of FeSn is about 3 times lower for current along the stacking direction than in the plane, suggesting that transport and the bulk electronic structure of FeSn is not quasi 2D. FeSn is an excellent metal with Rho(300K)/Rho(2K) values about 100 in both directions. While the ordered state is antiferromagnetic, high temperature susceptibility measurements indicate a ferromagnetic Curie-Weiss temperature of 173 K, reflecting the strong in-plane ferromagnetic interactions. DFT calculations show a 3D electronic structure with the Dirac nodal lines along the K-H directions in the magnetic Brillouin zone about 0.3 eV below the Fermi energy, with the Dirac dispersions at the K points gapped by spin-orbit coupling except at the H point. The magnetism, however, is highly 2D with Jin-plane/Jout-of-plane = 10. The predicted spin-wave spectrum is presented.


title: Observing the 3D chemical bond and its energy distribution in a projected space

abstract: Our curiosity-driven desire to "see" chemical bonds dates back at least one-hundred years, perhaps to antiquity. Sweeping improvements in the accuracy of measured and predicted electron charge densities, alongside our largely bondcentric understanding of molecules and materials, heighten this desire with means and significance. Here we present a method for analyzing chemical bonds and their energy distributions in a two-dimensional projected space called the condensed charge density. Bond "silhouettes" in the condensed charge density can be reverse-projected to reveal precise three-dimensional bonding regions we call bond bundles. We show that delocalized metallic bonds and organic covalent bonds alike can be objectively analyzed, the formation of bonds observed, and that the crystallographic structure of simple metals can be rationalized in terms of bond bundle structure. Our method also reproduces the expected results of organic chemistry, enabling the recontextualization of existing bond models from a charge density perspective.


title: Envy, Regret, and Social Welfare Loss

abstract: Incentive compatibility (IC) is one of the most fundamental properties of an auction mechanism, including those used for online advertising. Recent methods by Feng et al. and Lahaie et al. show that counterfactual runs of the auction mechanism with different bids can be used to determine whether an auction is IC. In this paper we show that a similar result can be obtained by looking at the advertisers' envy, which can be computed with one single execution of the auction. We introduce two metrics to evaluate the incentive-compatibility of an auction: IC-Regret and IC-Envy. For position auction environments, we show that for a large class of pricing schemes (which includes e.g. VCG and GSP), IC-Envy $\ge$ IC-Regret (and IC-Envy = IC-Regret when bids are distinct). We consider non-separable discounts in the Ad Types environment of Colini-Baldeschi et al. where we show that for a generalization of GSP also IC-Envy $\ge$ IC-Regret. Our final theoretical result is that in all these settings IC-Envy be used to bound the loss in social welfare due advertiser misreports. Finally, we show that IC-Envy is useful as a feature to predict IC-Regret in auction environments beyond the ones for which we show theoretical results. In particular, using IC-Envy yields better results than training models using only price and value features.


title: Leveraging Owners' Flexibility in Smart Charge/Discharge Scheduling of Electric Vehicles to Support Renewable Energy Integration

abstract: High integration of intermittent renewable energy sources (RES), in particular wind power, has created complexities in power system operations. On the other hand, large fleets of Electric Vehicles (EVs) are expected to have great impact on electricity consumption, and uncoordinated charging process will add load uncertainty and further complicate the grid scheduling. In this paper, we propose a smart charging approach that uses the flexibility of EV owners to absorb the fluctuations in the output of RES in a vehicle-to-grid (V2G) setup. We propose an optimal scheduling algorithm for charge/discharge of aggregated EV fleets to maximize the integration of wind generation as well as minimize the charging cost for EV owners. Challenges for people participation in V2G, such as battery degradation and feeling insecure for unexpected events, are also addressed. We first formulate a static model using mixed-integer quadratic programming (MIQP) with multi-objective optimization assuming that every parameter of the model is known a day ahead of scheduling. Subsequently, we formulate a dynamic (dis)charging schedule after EVs arrive into the system with updated information about EV availabilities, wind generation forecast, and energy price in real-time, using rolling-horizon optimization. Simulations using a group of 100 EVs in a micro-grid with wind as primary resource demonstrate significant increase in wind utilization and reduction in charging cost compared to uncontrolled charging scenario.


title: Competing Against Equilibria in Zero-Sum Games with Evolving Payoffs

abstract: We study the problem of repeated play in a zero-sum game in which the payoff matrix may change, in a possibly adversarial fashion, on each round; we call these Online Matrix Games. Finding the Nash Equilibrium (NE) of a two player zero-sum game is core to many problems in statistics, optimization, and economics, and for a fixed game matrix this can be easily reduced to solving a linear program. But when the payoff matrix evolves over time our goal is to find a sequential algorithm that can compete with, in a certain sense, the NE of the long-term-averaged payoff matrix. We design an algorithm with small NE regret--that is, we ensure that the long-term payoff of both players is close to minimax optimum in hindsight. Our algorithm achieves near-optimal dependence with respect to the number of rounds and depends poly-logarithmically on the number of available actions of the players. Additionally, we show that the naive reduction, where each player simply minimizes its own regret, fails to achieve the stated objective regardless of which algorithm is used. We also consider the so-called bandit setting, where the feedback is significantly limited, and we provide an algorithm with small NE regret using one-point estimates of each payoff matrix.


title: How Does API Migration Impact Software Quality and Comprehension? An Empirical Study

abstract: The migration process between different third-party software libraries is hard, complex and error-prone. Typically, during a library migration process, developers opt to replace methods from the retired library with other methods from a new library without altering the software behavior. However, the extent to which such a migration process to new libraries will be rewarded with an improved software quality is still unknown. In this paper, we aim at studying and analyzing the impact of library API migration on software quality. We conduct a large-scale empirical study on 9 popular API migrations, collected from a corpus of 57,447 open-source Java projects. We compute the values of commonly-used software quality metrics before and after a migration occurs. The statistical analysis of the obtained results provides evidence that library migrations are likely to improve different software quality attributes including significantly reduced coupling, increased cohesion, and improved code readability. Furthermore, we release an online portal that helps software developers to understand the pre-impact of a library migration on software quality and recommend migration examples that adopt the best design and implementation practices to improve software quality. Finally, we provide the software engineering community with a large scale dataset to foster research in software library migration.


title: Cross-Media Usage of Social Big Data for Emergency Services and Volunteer Communities: Approaches, Development and Challenges of Multi-Platform Social Media Services

abstract: The use of social media is ubiquitous and nowadays well-established in our everyday life, but increasingly also before, during or after emergencies. The produced data is spread across several types of social media and can be used by different actors, such as emergency services or volunteer communities. There are already systems available that support the process of gathering, analysing and distributing information through social media. However, dependent on the goal of analysis, the analysis methods and available systems are limited based on technical or business-oriented restrictions. This paper presents the design of a cross-platform Social Media API, which was integrated and evaluated within multiple emergency scenarios. Based on the lessons learned, we outline the core challenges from the practical development and theoretical findings, focusing (1) cross-platform gathering and data management, (2) trustability and information quality, (3) tailorability and adjustable data operations, and (4) queries, performance, and technical development.


title: On RG flows in Generalized Effective Field Theory

abstract: Generalized Effective Field Theory (GEFT) is the non-renormalizable extension of an Effective Field Theory where the Wilson coefficients are endowed by their own, independent scale dependence. Such an effective theory can be constructed by quantizing a Lagrangian in the presence of all internal symmetry respecting operators of any mass dimension. The resulting theory may be practically useful in regimes of its phase diagram where the perturbative expansion and a truncation of the infinite tower of Higher Dimensional Operators (HDO) are valid. The massless limit of GEFT is especially interesting as the spontaneous breaking of internal symmetry and of scale invariance are correlated.


title: PDF Profiling Using the Forward-Backward Asymmetry in Neutral Current Drell-Yan Production

abstract: Non-perturbative QCD effects from Parton Distribution Functions (PDFs) may be constrained by using high-statistics Large Hadron Collider (LHC) data. Drell-Yan (DY) measurements in the Charged Current (CC) case provide one of the primary means to do this, in the form of the lepton charge asymmetry. We investigate here the impact of measurements in Neutral Current (NC) DY data mapped onto the Forward-Backward Asymmetry ($A_{\rm FB}$) on PDF determinations, by using the open source fit platform {\tt{xFitter}}. We demonstrate the potential impact of $A_{\rm FB}$ data on PDF determinations and perform a thorough analysis of related uncertainties.


title: Dark matter as the origin of neutrino mass in the inverse seesaw mechanism

abstract: We propose that neutrino masses are "seeded" by a dark sector within the inverse seesaw mechanism. This way we have a new, "hidden", variant of the scotogenic scenario for radiative neutrino masses. We discuss both explicit and dynamical lepton number violation. In addition to invisible Higgs decays with majoron emission, we discuss in detail the pheneomenolgy of dark matter, as well as the novel features associated to charged lepton flavour violation, and neutrino physics.


title: Convergence Analysis of Nonconvex ADMM for Rigid Registration

abstract: We consider the problem of rigid registration, where we wish to jointly register multiple point sets via rigid transforms. This arises in applications such as sensor network localization, multiview registration, and protein structure determination. The least-squares estimator for this problem can be reduced to a rank-constrained semidefinite program (REG-SDP). It was recently shown that by formally applying the alternating direction method of multipliers (ADMM), we can derive an iterative solver (REG-ADMM) for REG-SDP, wherein each subproblem admits a simple closed-form solution. The empirical success of REG-ADMM has been demonstrated for multiview registration. However, its convergence does not follow from the existing literature on nonconvex ADMM. In this work, we study the convergence of REG-ADMM and our main findings are as follows. We prove that any fixed point of REG-ADMM is a stationary (KKT) point of REG-SDP. Moreover, for clean measurements, we give an explicit formula for the ADMM parameter $\rho$, for which REG-ADMM is guaranteed to converge to the global optimum (with arbitrary initialization). If the noise is low, we can still show that the iterates converge to the global optimum, provided they are initialized sufficiently close to the optimum. On the other hand, if the noise is high, we explain why REG-ADMM becomes unstable if $\rho$ is less than some threshold, irrespective of the initialization. We present simulation results to support our theoretical predictions. The novelty of our analysis lies in the fact that we exploit the notion of tightness of convex relaxation to arrive at our convergence results.


title: Integrating superfluids with superconducting qubit systems

abstract: Superfluid helium's low-loss dielectric properties, excellent thermal conductivity, and unique collective excitations make it an attractive candidate to incorporate into superconducting qubit systems. We controllably immerse a three-dimensional superconducting transmon qubit in superfluid helium-4 and measure the spectroscopic and coherence properties of the system. We find that the cavity, the qubit, and their coupling are all modified by the superfluid, which we analyze within the framework of circuit quantum electrodynamics (cQED). At at temperatures relevant to quantum computing experiments, the energy relaxation time of the qubit is not significantly changed by the presence of the superfluid, while the pure dephasing time modestly increases, which we attribute to improved thermalization of the microwave environment via the superfluid.


title: Density of states measurements for heavy subband of holes in HgTe quantum wells

abstract: Valence band in narrow HgTe quantum wells contains well-conductive Dirac-like light holes at the $\Gamma$ point and poorly conductive heavy hole subband located in the local valleys. Here we propose and employ two methods to measure the density of states for these heavy holes. The first method uses a gate-recharging technique to measure thermodynamical entropy per particle. As the Fermi level is tuned with gate voltage from light to heavy subband, the entropy increases dramatically, and the value of this increase gives an estimate for the density of states. The second method determines the density of states for heavy holes indirectly from the gate voltage dependence of the period of the Shubnikov-de Haas oscillations for light holes. The results obtained by both methods are in the reasonable agreement with each other. Our approaches can be applied to measure large effective carrier masses in other two-dimensional gated systems.


title: Connecting Lyapunov Control Theory to Adversarial Attacks

abstract: Significant work is being done to develop the math and tools necessary to build provable defenses, or at least bounds, against adversarial attacks of neural networks. In this work, we argue that tools from control theory could be leveraged to aid in defending against such attacks. We do this by example, building a provable defense against a weaker adversary. This is done so we can focus on the mechanisms of control theory, and illuminate its intrinsic value.


title: Quantum Codes of Maximal Distance and Highly Entangled Subspaces

abstract: We present new bounds on the existence of general quantum maximum distance separable codes (QMDS): the length $n$ of all QMDS codes with local dimension $D$ and distance $d \geq 3$ is bounded by $n \leq D^2 + d - 2$. We obtain their weight distribution and present additional bounds that arise from Rains' shadow inequalities. Our main result can be seen as a generalization of bounds that are known for the two special cases of stabilizer QMDS codes and absolutely maximally entangled states, and confirms the quantum MDS conjecture in the special case of distance-three codes. As the existence of QMDS codes is linked to that of highly entangled subspaces (in which every vector has uniform $r$-body marginals) of maximal dimension, our methods directly carry over to address questions in multipartite entanglement.


title: An efficient spectral method for numerical time-dependent perturbation theory

abstract: We develop the Fourier-Laplace Inversion of the Perturbation Theory (FLIPT), a novel numerically exact "black box" method to compute perturbative expansions of the density matrix with rigorous convergence conditions. Specifically, the FLIPT method is extremely well-suited to simulate multiphoton pulsed laser experiments with complex pulse shapes. The $n$-dimensional frequency integrals of the $n$-th order perturbative expansion are evaluated numerically using tensor products. The $N$ points discretized integrals are computed in $O(N^2)$ operations, a significant improvement over the $O(N^n)$ scaling of standard quadrature methods.


title: Learning Privately over Distributed Features: An ADMM Sharing Approach

abstract: Distributed machine learning has been widely studied in order to handle exploding amount of data. In this paper, we study an important yet less visited distributed learning problem where features are inherently distributed or vertically partitioned among multiple parties, and sharing of raw data or model parameters among parties is prohibited due to privacy concerns. We propose an ADMM sharing framework to approach risk minimization over distributed features, where each party only needs to share a single value for each sample in the training process, thus minimizing the data leakage risk. We establish convergence and iteration complexity results for the proposed parallel ADMM algorithm under non-convex loss. We further introduce a novel differentially private ADMM sharing algorithm and bound the privacy guarantee with carefully designed noise perturbation. The experiments based on a prototype system shows that the proposed ADMM algorithms converge efficiently in a robust fashion, demonstrating advantage over gradient based methods especially for data set with high dimensional feature spaces.


title: Assessment of the Value of Frequency Response Times in Power Systems

abstract: Given the increasing penetration in renewable generation, the UK power system is experiencing a decline in system inertia and an increase in frequency response (FR) requirements. Faster FR products are a mitigating solution that can cost-effectively meet the system balancing requirements. Thus, this paper proposes a mixed integer linear programming (MILP) unit commitment model which can simultaneously schedule inertial response, mandatory FR, as well as a sub-second FR product - enhanced frequency response (EFR). The model quantifies the value of providing faster reacting FR products in comparison with other response times from typical FR products. The performance and value of EFR are determined in a series of future energy scenarios with respect to the UK market and system conditions.


title: The Southern Wide-Field Gamma-Ray Observatory (SWGO): A Next-Generation Ground-Based Survey Instrument for VHE Gamma-Ray Astronomy

abstract: We describe plans for the development of the Southern Wide-field Gamma-ray Observatory (SWGO), a next-generation instrument with sensitivity to the very-high-energy (VHE) band to be constructed in the Southern Hemisphere. SWGO will provide wide-field coverage of a large portion of the southern sky, effectively complementing current and future instruments in the global multi-messenger effort to understand extreme astrophysical phenomena throughout the universe. A detailed description of science topics addressed by SWGO is available in the science case white paper [1]. The development of SWGO will draw on extensive experience within the community in designing, constructing, and successfully operating wide-field instruments using observations of extensive air showers. The detector will consist of a compact inner array of particle detection units surrounded by a sparser outer array. A key advantage of the design of SWGO is that it can be constructed using current, already proven technology. We estimate a construction cost of 54M USD and a cost of 7.5M USD for 5 years of operation, with an anticipated US contribution of 20M USD ensuring that the US will be a driving force for the SWGO effort. The recently formed SWGO collaboration will conduct site selection and detector optimization studies prior to construction, with full operations foreseen to begin in 2026. Throughout this document, references to science white papers submitted to the Astro2020 Decadal Survey with particular relevance to the key science goals of SWGO, which include unveiling Galactic particle accelerators [2-10], exploring the dynamic universe [11-21], and probing physics beyond the Standard Model [22-25], are highlighted in red boldface.


title: Surface Tensions between Active Fluids and Solid Interfaces: bare vs dressed

abstract: We analyze the surface tension exerted at the interface between an active fluid and a solid boundary in terms of tangential forces. Focusing on active systems known to possess an equation of state for the pressure, we show that interfacial forces are of a more complex nature. Using a number of macroscopic setups, we show that the surface tension is a combination of an equation-of-state abiding part and of setup-dependent contributions. The latter arise from generic setup-dependent steady currents which "dress" the measurement of the "bare" surface tension. The former shares interesting properties with its equilibrium counterpart, and can be used to generalize the Young-Laplace law to active systems. We finally show how a suitably designed probe can directly access this bare surface tensions, which can also be computed using a generalized Virial formula.


title: Deep Multi-View Learning via Task-Optimal CCA

abstract: Canonical Correlation Analysis (CCA) is widely used for multimodal data analysis and, more recently, for discriminative tasks such as multi-view learning; however, it makes no use of class labels. Recent CCA methods have started to address this weakness but are limited in that they do not simultaneously optimize the CCA projection for discrimination and the CCA projection itself, or they are linear only. We address these deficiencies by simultaneously optimizing a CCA-based and a task objective in an end-to-end manner. Together, these two objectives learn a non-linear CCA projection to a shared latent space that is highly correlated and discriminative. Our method shows a significant improvement over previous state-of-the-art (including deep supervised approaches) for cross-view classification, regularization with a second view, and semi-supervised learning on real data.


title: Symmetric spaces with dissecting involutions

abstract: An involutive diffeomorphism $\sigma$ of a connected smooth manifold $M$ is called dissecting if the complement of its fixed point set is not connected. Dissecting involutions on a complete Riemannian manifold are closely related to constructive quantum field theory through the work of Dimock and Jaffe/Ritter on the construction of reflection positive Hilbert spaces. In this article we classify all pairs $(M,\sigma)$, where $M$ is an irreducible symmetric space, not necessarily Riemannian, and $\sigma$ is a dissecting involutive automorphism. In particular, we show that the only irreducible $1$-connected Riemannian symmetric spaces are $S^n$ and $H^n$ with dissecting isometric involutions whose fixed point spaces are $S^{n-1}$ and $H^{n-1}$, respectively.


title: Ultrashort pulse two-photon coherent control of a macroscopic phenomena: light-induced current from channelrhodopsin-2 in live brain cells

abstract: Coherent control is extended to macroscopic processes under continuous pulsed laser irradiation. Here, this approach is used to analyze the experimentally measured two-photon phase control of currents emanating from a living brain cells expressing channelrhodopsin-2, a light-gated ion channel. In particular, a mechanism is proposed that encompasses more than 15 orders magnitude in time, from the ultrafast dynamics of retinal in channelrhodopsin-2 to the slow dynamics of the neuron current. Implications for other photochemical processes are discussed.


title: Enabling the next generation of scientific discoveries by embracing photonic technologies

abstract: The fields of Astronomy and Astrophysics are technology limited, where the advent and application of new technologies to astronomy usher in a flood of discoveries altering our understanding of the Universe (e.g., recent cases include LIGO and the GRAVITY instrument at the VLTI). Currently, the field of astronomical spectroscopy is rapidly approaching an impasse: the size and cost of instruments, especially multi-object and integral field spectrographs for extremely large telescopes (ELTs), are pushing the limits of what is feasible, requiring optical components at the very edge of achievable size and performance. For these reasons, astronomers are increasingly looking for innovative solutions like photonic technologies that promote instrument miniaturization and simplification, while providing superior performance. Astronomers have long been aware of the potential of photonic technologies. The goal of this white paper is to draw attention to key photonic technologies and developments over the past two decades and demonstrate there is new momentum in this arena. We outline where the most critical efforts should be focused over the coming decade in order to move towards realizing a fully photonic instrument. A relatively small investment in this technology will advance astronomical photonics to a level where it can reliably be used to solve challenging instrument design limitations. For the benefit of both ground and space borne instruments alike, an endorsement from the National Academy of Sciences decadal survey will ensure that such solutions are set on a path to their full scientific exploitation, which may one day address a broad range of science cases outlined in the KSPs.


title: Quantum Thermodynamics in the Refined Weak Coupling Limit

abstract: We present a thermodynamic framework for the refined weak coupling limit. In this limit the interaction between system and environment is weak, but not negligible. As a result, the system dynamics becomes non-Markovian breaking divisibility conditions. Nevertheless, we propose a derivation of the first and second law just in terms of the reduced system dynamics. To this end, we extend the refined weak coupling limit for allowing slowly-varying external drivings, and reconsider the definition of internal energy due to the non-negligible interaction.


title: Plasma-MDS, a metadata schema for plasma science with examples from plasma technology

abstract: A metadata schema, named Plasma-MDS, is introduced to support research data management in plasma science. Plasma-MDS is suitable to facilitate the publication of research data following the FAIR principles in domain-specific repositories and with this the reuse of research data for data driven plasma science. In accordance with common features in plasma science and technology, the metadata schema bases on the concept to separately describe the source generating the plasma, the medium in which the plasma is operated in, the target the plasma is acting on, and the diagnostics used for investigation of the process under consideration. These four basic schema elements are supplemented by a schema element with various attributes for description of the resources, i.e. the digital data obtained by the applied diagnostic procedures. The metadata schema is first applied for the annotation of datasets published in INPTDAT -- the interdisciplinary data platform for plasma technology.


title: Real-Time Highly Accurate Dense Depth on a Power Budget using an FPGA-CPU Hybrid SoC

abstract: Obtaining highly accurate depth from stereo images in real time has many applications across computer vision and robotics, but in some contexts, upper bounds on power consumption constrain the feasible hardware to embedded platforms such as FPGAs. Whilst various stereo algorithms have been deployed on these platforms, usually cut down to better match the embedded architecture, certain key parts of the more advanced algorithms, e.g. those that rely on unpredictable access to memory or are highly iterative in nature, are difficult to deploy efficiently on FPGAs, and thus the depth quality that can be achieved is limited. In this paper, we leverage a FPGA-CPU chip to propose a novel, sophisticated, stereo approach that combines the best features of SGM and ELAS-based methods to compute highly accurate dense depth in real time. Our approach achieves an 8.7% error rate on the challenging KITTI 2015 dataset at over 50 FPS, with a power consumption of only 5W.


title: Deep Invertible Networks for EEG-based brain-signal decoding

abstract: In this manuscript, we investigate deep invertible networks for EEG-based brain signal decoding and find them to generate realistic EEG signals as well as classify novel signals above chance. Further ideas for their regularization towards better decoding accuracies are discussed.


title: Cylinder-Specific Model-Based Control of Combustion Phasing for Multiple-Cylinder Diesel Engines Operating with High Dilution and Boost Levels

abstract: Accurate control of combustion phasing is indispensable for diesel engines due to the strong impact of combustion timing on efficiency. In this work, a non-linear combustion phasing model is developed and integrated with a cylinder-specific model of intake gas. The combustion phasing model uses a knock integral model, a burn duration model and a Wiebe function to predict CA50 (the crank angle at which 50% of the mass of fuel has burned). Meanwhile, the intake gas property model predicts the EGR fraction and the in-cylinder pressure and temperature at intake valve closing (IVC) for different cylinders. As such, cylinder-to-cylinder variation of the pressure and temperature at intake valves closing is also considered in this model. This combined model is simplified for controller design and validated. Based on these models, two combustion phasing control strategies are explored. The first is an adaptive controller that is designed for closed-loop control and the second is a feedforward model-based control strategy for open-loop control. These two control approaches were tested in simulations for all six cylinders and the results demonstrate that the CA50 can reach steady state conditions within 10 cycles. In addition, the steady state errors are less than +/-0.1 crank angle degree (CAD) with the adaptive control approach, and less than +/-1.3 CAD with feedforward model-based control. The impact of errors on the control algorithms is also discussed in the paper.


title: End-to-end sensor modeling for LiDAR Point Cloud

abstract: Advanced sensors are a key to enable self-driving cars technology. Laser scanner sensors (LiDAR, Light Detection And Ranging) became a fundamental choice due to its long-range and robustness to low light driving conditions. The problem of designing a control software for self-driving cars is a complex task to explicitly formulate in rule-based systems, thus recent approaches rely on machine learning that can learn those rules from data. The major problem with such approaches is that the amount of training data required for generalizing a machine learning model is big, and on the other hand LiDAR data annotation is very costly compared to other car sensors. An accurate LiDAR sensor model can cope with such problem. Moreover, its value goes beyond this because existing LiDAR development, validation, and evaluation platforms and processes are very costly, and virtual testing and development environments are still immature in terms of physical properties representation. In this work we propose a novel Deep Learning-based LiDAR sensor model. This method models the sensor echos, using a Deep Neural Network to model echo pulse widths learned from real data using Polar Grid Maps (PGM). We benchmark our model performance against comprehensive real sensor data and very promising results are achieved that sets a baseline for future works.


title: Student Inquiry and the Rascal Triangle

abstract: Those of us who teach Mathematics for Liberal Arts (MLA) courses often underestimate the mathematical abilities of the students enrolled in our courses. Despite the fact that many of these students suffer from math anxiety and will admit to hating mathematics, when we give them space to explore mathematics and bring their existing knowledge to the problem, they can make some amazing mathematical discoveries. Inquiry-based learning (IBL) is perfect structure to provide these type of opportunities. In this paper, we will examine one inquiry-based investigation in which MLA students were given the space to look for patterns which resulted in some original discoveries.


title: Physics of relativistic collisionless shocks: The scattering center frame

abstract: In this first paper of a series dedicated to the microphysics of unmagnetized, relativistic collisionless pair shocks, we discuss the physics of the Weibel-type transverse current filamentation instability (CFI) that develops in the shock precursor, through the interaction of an ultrarelativistic suprathermal particle beam with the background plasma. We introduce in particular the notion of "Weibel frame", or scattering center frame, in which the microturbulence is of mostly magnetic nature. We calculate the properties of this frame, using first a kinetic formulation of the linear phase of the instability, relying on Maxwell-J\"uttner distribution functions, then using a quasistatic model of the nonlinear stage of the instability. Both methods show that: (i) the Weibel frame moves at subrelativistic velocities relative to the background plasma, therefore at relativistic velocities relative to the shock front; (ii) the velocity of the Weibel frame relative to the background plasma scales with $\xi_{\rm b}$, i.e., the pressure of the suprathermal particle beam in units of the momentum flux density incoming into the shock; and (iii), the Weibel frame moves slightly less fast than the background plasma relative to the shock front. Our theoretical results are found to be in satisfactory agreement with the measurements carried out in dedicated large-scale 2D3V PIC simulations.


title: Meta-descent for Online, Continual Prediction

abstract: This paper investigates different vector step-size adaptation approaches for non-stationary online, continual prediction problems. Vanilla stochastic gradient descent can be considerably improved by scaling the update with a vector of appropriately chosen step-sizes. Many methods, including AdaGrad, RMSProp, and AMSGrad, keep statistics about the learning process to approximate a second order update---a vector approximation of the inverse Hessian. Another family of approaches use meta-gradient descent to adapt the step-size parameters to minimize prediction error. These meta-descent strategies are promising for non-stationary problems, but have not been as extensively explored as quasi-second order methods. We first derive a general, incremental meta-descent algorithm, called AdaGain, designed to be applicable to a much broader range of algorithms, including those with semi-gradient updates or even those with accelerations, such as RMSProp. We provide an empirical comparison of methods from both families. We conclude that methods from both families can perform well, but in non-stationary prediction problems the meta-descent methods exhibit advantages. Our method is particularly robust across several prediction problems, and is competitive with the state-of-the-art method on a large-scale, time-series prediction problem on real data from a mobile robot.


title: Global existence of the Navier-Stokes-Korteweg equations with a non-decreasing pressure in $\mathrm{L}^p$-framework

abstract: We consider the isentropic Navier-Stokes-Korteweg equations with a non-decreasing pressure on the whole space $\mathbb{R}^n$ $(n \ge 2)$, where the system describes the motion of compressible fluids such as liquid-vapor mixtures with phase transitions including a variable internal capillarity effect. We prove the existence of a unique global strong solution to the system in the $\mathrm{L}^p$-in-time and $\mathrm{L}^q$-in-space framework, especially in the maximal regularity class, by assuming $(p, q) \in (1, 2) \times (1, \infty)$ or $(p, q) \in \{2\} \times (1, 2]$. We show that the system is globally well-posed for small initial data belonging to $\mathrm{H}^{s + 1, q} (\mathbb{R}^n) \times \mathrm{H}^{s, q} (\mathbb{R}^n)^n$ provided $s > n/q$ if $q \le n$ and $s \ge 1$ if $q > n$. Our results allow the case when the derivative of the pressure is zero at a given constant state, that is, the critical states that the fluid changes a phase from vapor to liquid or from liquid to vapor. The arguments in this paper do not require any exact expression or a priori assumption on the pressure.


title: Freeness over the diagonal and outliers detection in deformed random matrices with a variance profile

abstract: We study the eigenvalue distribution of a GUE matrix with a variance profile that is perturbed by an additive random matrix that may possess spikes. Our approach is guided by Voiculescu's notion of freeness with amalgamation over the diagonal and by the notion of deterministic equivalent. This allows to derive a fixed point equation to approximate the spectral distribution of certain deformed GUE matrices with a variance profile and to characterize the location of potential outliers in such models in a non-asymptotic setting. We also consider the singular values distribution of a rectangular Gaussian random matrix with a variance profile in a similar setting of additive perturbation. We discuss the application of this approach to the study of low-rank matrix denoising models in the presence of heteroscedastic noise, that is when the amount of variance in the observed data matrix may change from entry to entry. Numerical experiments are used to illustrate our results.


title: Thermomechanical modelling of ceramic pressing and subsequent sintering

abstract: An elastic-visco-plastic thermomechanical model for the simulation of cold forming and subsequent sintering of ceramic powders is introduced and based on micromechanical modelling of the compaction process of granulates. Micromechanics leads to an upper-bound estimate of the compaction curve of a granular material, which compares well with other models and finite element simulations. The parameters of the thermomechanical model are determined on the basis of available data and dilatometer experiments. Finally, after computer implementation, validation of the model is performed against experiments developed on specially designed ceramic pieces, characterized by zones of different density. The mechanical model is found to accurately describe forming and sintering of stoneware ceramics and can therefore be used to analyze and optimize industrial processes involving compaction of powders and subsequent firing of the greens.


title: Can Machine Learning Identify Governing Laws For Dynamics in Complex Engineered Systems ? : A Study in Chemical Engineering

abstract: Machine learning recently has been used to identify the governing equations for dynamics in physical systems. The promising results from applications on systems such as fluid dynamics and chemical kinetics inspire further investigation of these methods on complex engineered systems. Dynamics of these systems play a crucial role in design and operations. Hence, it would be advantageous to learn about the mechanisms that may be driving the complex dynamics of systems. In this work, our research question was aimed at addressing this open question about applicability and usefulness of novel machine learning approach in identifying the governing dynamical equations for engineered systems. We focused on distillation column which is an ubiquitous unit operation in chemical engineering and demonstrates complex dynamics i.e. it's dynamics is a combination of heuristics and fundamental physical laws. We tested the method of Sparse Identification of Non-Linear Dynamics (SINDy) because of it's ability to produce white-box models with terms that can be used for physical interpretation of dynamics. Time series data for dynamics was generated from simulation of distillation column using ASPEN Dynamics. One promising result was reduction of number of equations for dynamic simulation from 1000s in ASPEN to only 13 - one for each state variable. Prediction accuracy was high on the test data from system within the perturbation range, however outside perturbation range equations did not perform well. In terms of physical law extraction, some terms were interpretable as related to Fick's law of diffusion (with concentration terms) and Henry's law (with ratio of concentration and pressure terms). While some terms were interpretable, we conclude that more research is needed on combining engineering systems with machine learning approach to improve understanding of governing laws for unknown dynamics.


title: Spin-1 Dirac half-metal, spin-gapless semiconductor, and spin-polarized massive Dirac dispersion in transition metal dihalide monolayers

abstract: Spin-1 condensed matter systems characterized by the combination of a Dirac-like dispersion and flat bands are ideal for realizing high-temperature electronics and spintronic technologies in the absence of external magnetic field. In this study, we propose a three-band tight binding model, with spin-polarized Haldane-like next-nearest-neighbour tunnelling, on dice lattice and show that spin-1 Dirac half-metal, spin-1 Dirac spin-gapless semiconductor, and spin-polarized spin-1 massive Dirac dispersion with nontrivial topology can exist in two-dimensional ferromagnetic condensed matter systems with electron spin polarization P = 1. The proposed spin-polarized spin-1 phases can be realized in ferromagnetic transition metal dihalides MX2 monolayers effectively. By using first principle calculations, we show that a small compressive strain leads MX2 monolayers to be spin-one Dirac half-metal for M = Fe and X = Br, Cl while spin-one Dirac spin-gapless semiconductor for M = Co and X = Br, Cl. Spin-one Dirac spin-gapless semiconductors CoBr2 and CoCl2 embeds flat band ferromagnetism where spin-orbit coupling opens a topologically non-trivial Dirac gap between dispersing valance and conduction band while leaving flat band unaffected. The intrinsic flat-band ferromagnetism in spin-polarized spin-1 massive Dirac dispersion plays key role in materializing quantum anomalous Hall state with Chern number C = -2.


title: XFake: Explainable Fake News Detector with Visualizations

abstract: In this demo paper, we present the XFake system, an explainable fake news detector that assists end-users to identify news credibility. To effectively detect and interpret the fakeness of news items, we jointly consider both attributes (e.g., speaker) and statements. Specifically, MIMIC, ATTN and PERT frameworks are designed, where MIMIC is built for attribute analysis, ATTN is for statement semantic analysis and PERT is for statement linguistic analysis. Beyond the explanations extracted from the designed frameworks, relevant supporting examples as well as visualization are further provided to facilitate the interpretation. Our implemented system is demonstrated on a real-world dataset crawled from PolitiFact, where thousands of verified political news have been collected.


title: HITS hits art

abstract: The blockchain art market is partitioned around the roles of artists and collectors and highly concentrated among few prominent figures. We hence propose to adapt Kleinberg's authority/hub HITS method to rate artists and collectors in the art context. This seems a reasonable choice since the original method deftly defines its scores in terms of a mutual recursive relationship between authorities/artists - the miners of information/art, and hubs/collectors - the assemblers of such information/art. We evaluated the proposed method on the collector-artist network of SuperRare gallery, the major crypto art marketplace. We found that the proposed artist and collector metrics are weakly correlated with other network science metrics like degree and strength. This hints the possibility of coupling different measures in order to profile active users of the gallery and suggests investment strategies with different risk/reward ratios for collectors as well as marketing strategies with different targets for artists.


title: The Mass, Fake News, and Cognition Security

abstract: The wide spread of fake news in social networks is posing threats to social stability, economic development and political democracy etc. Numerous studies have explored the effective detection approaches of online fake news, while few works study the intrinsic propagation and cognition mechanisms of fake news. Since the development of cognitive science paves a promising way for the prevention of fake news, we present a new research area called Cognition Security (CogSec), which studies the potential impacts of fake news to human cognition, ranging from misperception, untrusted knowledge acquisition, targeted opinion/attitude formation, to biased decision making, and investigates the effective ways for fake news debunking. CogSec is a multidisciplinary research field that leverages knowledge from social science, psychology, cognition science, neuroscience, AI and computer science. We first propose related definitions to characterize CogSec and review the literature history. We further investigate the key research challenges and techniques of CogSec, including human-content cognition mechanism, social influence and opinion diffusion, fake news detection and malicious bot detection. Finally, we summarize the open issues and future research directions, such as early detection of fake news, explainable fake news debunking, social contagion and diffusion models of fake news, and so on.


title: A Methodology for Saving Energy in Educational Buildings Using an IoT Infrastructure

abstract: A considerable part of recent research in smart cities and IoT has focused on achieving energy savings in buildings and supporting aspects related to sustainability. In this context, the educational community is one of the most important ones to consider, since school buildings constitute a large part of non-residential buildings, while also educating students on sustainability matters is an investment for the future. In this work, we discuss a methodology for achieving energy savings in schools based on the utilization of data produced by an IoT infrastructure installed inside school buildings and related educational scenarios. We present the steps comprising this methodology in detail, along with a set of tangible results achieved within the GAIA project. We also showcase how an IoT infrastructure can support activities in an educational setting and produce concrete outcomes, with typical levels of 20% energy savings.


title: Runtime Verification For Timed Event Streams With Partial Information

abstract: Runtime Verification (RV) studies how to analyze execution traces of a system under observation. Stream Runtime Verification (SRV) applies stream transformations to obtain information from observed traces. Incomplete traces with information missing in gaps pose a common challenge when applying RV and SRV techniques to real-world systems as RV approaches typically require the complete trace without missing parts. This paper presents a solution to perform SRV on incomplete traces based on abstraction. We use TeSSLa as specification language for non-synchronized timed event streams and define abstract event streams representing the set of all possible traces that could have occurred during gaps in the input trace. We show how to translate a TeSSLa specification to its abstract counterpart that can propagate gaps through the transformation of the input streams and thus generate sound outputs even if the input streams contain gaps and events with imprecise values. The solution has been implemented as a set of macros for the original TeSSLa and an empirical evaluation shows the feasibility of the approach.


title: Agro 4.0: A Green Information System for Sustainable Agroecosystem Management

abstract: Agriculture is one of the most critical activities developed today by humankind and is in constant technical evolution to supply food and other essential products to everlasting and increasing demand. New machines, seeds, and fertilizers were developed to increase the productivity of cultivated areas. It is estimated that by 2050 we will have a population of 9 billion people and the production of food to meet this demand must occur sustainably. To achieve this goal, it is paramount the adoption of sustainable management techniques for agroecosystems. However, this is a complex task due to a large number of variables involved. One of the solutions for the handling and treatment of such diverse data is the use of Green IS. In this work, we adopt a methodology called Indicators of Sustainability in Agroecosystems (Indicadores de Sustentabilidade em Agroecossistemas -- ISA), implement an information system based on it and apply Data Science techniques over the gathered data - from 100 real rural properties - to compute which are the most relevant ISA Indicators for the final ISA Sustainability Index Score. As a result, we have developed a set of tools for data collection, processing, visualization, and analysis of the sustainability of a rural property or region, following the ISA methodology. We also have that with only 7 of the 21 Indicators present in ISA we can identify the level of sustainability in more than 90% of cases, allowing for a new discussion about shrinking the amount of data needed for the computation of ISA, or remodelling the final computation of the Sustainability Index so other Indicators can be more expressive. Users of the solutions developed in this work can identify best practices for sustainability in participating agroecosystems.


title: Algebraic Relations Between Partition Functions and the $j$-Function

abstract: We obtain identities and relationships between the modular $j$-function, the generating functions for the classical partition function and the Andrews $spt$-function, and two functions related to unimodal sequences and a new partition statistic we call the "signed triangular weight" of a partition. These results follow from the closed formula we obtain for the Hecke action on a distinguished harmonic Maass form $\mathscr{M}(\tau)$ defined by Bringmann in her work on the Andrews $spt$-function. This formula involves a sequence of polynomials in $j(\tau)$, through which we ultimately arrive at expressions for the coefficients of the $j$-function purely in terms of these combinatorial quantities.