title: Measuring the Utilization of Public Open Spaces by Deep Learning: a Benchmark Study at the Detroit Riverfront

abstract: Physical activities and social interactions are essential activities that ensure a healthy lifestyle. Public open spaces (POS), such as parks, plazas and greenways, are key environments that encourage those activities. To evaluate a POS, there is a need to study how humans use the facilities within it. However, traditional approaches to studying use of POS are manual and therefore time and labor intensive. They also may only provide qualitative insights. It is appealing to make use of surveillance cameras and to extract user-related information through computer vision. This paper proposes a proof-of-concept deep learning computer vision framework for measuring human activities quantitatively in POS and demonstrates a case study of the proposed framework using the Detroit Riverfront Conservancy (DRFC) surveillance camera network. A custom image dataset is presented to train the framework; the dataset includes 7826 fully annotated images collected from 18 cameras across the DRFC park space under various illumination conditions. Dataset analysis is also provided as well as a baseline model for one-step user localization and activity recognition. The mAP results are 77.5\% for {\it pedestrian} detection and 81.6\% for {\it cyclist} detection. Behavioral maps are autonomously generated by the framework to locate different POS users and the average error for behavioral localization is within 10 cm.


title: Semantic Search of Memes on Twitter

abstract: Memes are becoming a useful source of data for analyzing behavior on social media. However, a problem to tackle is how to correctly identify a meme. As the number of memes published every day on social media is huge, there is a need for automatic methods for classifying and searching in large meme datasets. This paper proposes and compares several methods for automatically classifying images as memes. Also, we propose a method that allows us to implement a system for retrieving memes from a dataset using a textual query. We experimentally evaluate the methods using a large dataset of memes collected from Twitter users in Chile, which was annotated by a group of experts. Though some of the evaluated methods are effective, there is still room for improvement.


title: One-way street for the energy current: A ubiquitous phenomenon in boundary-driven quantum spin chains

abstract: Focusing on the description of nontrivial properties of the energy transport at quantum scale, we investigate asymmetrical quantum spin chains described by boundary-driven $\mathit{XXZ}$ and $\mathit{XXX}$ Heisenberg models. We search for symmetries properties of the Lindblad master equation related to the dynamics of the system in order to establish properties of the steady state. Under rather general assumptions for the target polarization at the boundaries, we show the occurrence of an effect related to (but stronger than) energy rectification, namely, the one-way street phenomenon, which is the existence of an unique way for the energy flow. Precisely, the energy current does not change in magnitude and direction as we invert the baths at the boundaries: its direction is completely determined by the asymmetry in the bulk of the chain. The results follow independent of the system size and of the transport regime. Our findings show the ubiquitous occurrence of the one-way street phenomenon for the energy flow in boundary-driven spin systems and, we believe, they shall be an useful contribution to the area devoted to the investigation and building of efficient quantum devices used to control and manipulate the energy current.


title: Visual Concept-Metaconcept Learning

abstract: Humans reason with concepts and metaconcepts: we recognize red and green from visual input; we also understand that they describe the same property of objects (i.e., the color). In this paper, we propose the visual concept-metaconcept learner (VCML) for joint learning of concepts and metaconcepts from images and associated question-answer pairs. The key is to exploit the bidirectional connection between visual concepts and metaconcepts. Visual representations provide grounding cues for predicting relations between unseen pairs of concepts. Knowing that red and green describe the same property of objects, we generalize to the fact that cube and sphere also describe the same property of objects, since they both categorize the shape of objects. Meanwhile, knowledge about metaconcepts empowers visual concept learning from limited, noisy, and even biased data. From just a few examples of purple cubes we can understand a new color purple, which resembles the hue of the cubes instead of the shape of them. Evaluation on both synthetic and real-world datasets validates our claims.


title: Conditional Spectroscopy via Non-Stationary Optical Homodyne Quantum State Tomography

abstract: Continuous variable quantum state tomography is one of the most powerful techniques to study the properties of light fields in quantum optics. However, the need for a fixed phase reference has so far prevented widespread usage in other fields such as semiconductor spectroscopy. Here, we introduce non-stationary quantum state tomography, which adapts the technique to the special requirements of ultrafast spectroscopy. In detail, we gain access to the amplitude and phase of light fields with a temporal resolution of about 100\,fs without the need for a fixed phase reference. Further, we show how our technique allows us to perform conditional studies of stochastic dynamics that are inaccessible experimentally by conventional means, and demonstrate the capabilities experimentally by monitoring the stochastic dynamics of a thermal light field on the sub-ps scale. Finally, we discuss differences and similarities to more standard Hanbury Brown-Twiss photon correlation experiments, which may be considered as the discrete variable analogues of our technique.


title: Separable boundaries for non-hyperbolic groups

abstract: We exhibit examples of separable boundaries for non-hyperbolic groups. The main ingredient is the alignment property introduced by Furman in the study of rigidity properties of discrete subgroups of algebraic groups.


title: Making Sense of Computational Psychiatry

abstract: In psychiatry, we often speak of constructing "models." Here we try to make sense of what such a claim might mean, starting with the most fundamental question: "What is (and isn't) a model?". We then discuss, in a concrete measurable sense, what it means for a model to be useful. In so doing, we first identify the added value that a computational model can provide, in the context of accuracy and power. We then present the limitations of standard statistical methods and provide suggestions for how we can expand the explanatory power of our analyses by reconceptualizing statistical models as dynamical systems. Finally, we address the problem of model building, suggesting ways in which computational psychiatry can escape the potential for cognitive biases imposed by classical hypothesis-driven research, exploiting deep systems-level information contained within neuroimaging data to advance our understanding of psychiatric neuroscience.


title: Ricochets on Asteroids: Experimental study of low velocity grazing impacts into granular media

abstract: Spin off events and impacts can eject boulders from an asteroid surface and rubble pile asteroids can accumulate from debris following a collision between large asteroids. These processes produce a population of gravitational bound objects in orbit that can impact an asteroid surface at low velocity and with a distribution of impact angles. We present laboratory experiments of low velocity spherical projectiles into a fine granular medium, sand. We delineate velocity and impact angles giving ricochets, those giving projectiles that roll-out from the impact crater and those that stop within their impact crater. With high speed camera images and fluorescent markers on the projectiles we track spin and projectile trajectories during impact. We find that the projectile only reaches a rolling without slipping condition well after the marble has reached peak penetration depth. The required friction coefficient during the penetration phase of impact is 4-5 times lower than that of the sand suggesting that the sand is fluidized near the projectile surface during penetration. We find that the critical grazing impact critical angle dividing ricochets from roll-outs, increases with increasing impact velocity. The critical angles for ricochet and for roll-out as a function of velocity can be matched by an empirical model during the rebound phase that balances a lift force against gravity. We estimate constraints on projectile radius, velocity and impact angle that would allow projectiles on asteroids to ricochet or roll away from impact, finally coming to rest distant from their initial impact sites.


title: Privacy-Preserving Image Sharing via Sparsifying Layers on Convolutional Groups

abstract: We propose a practical framework to address the problem of privacy-aware image sharing in large-scale setups. We argue that, while compactness is always desired at scale, this need is more severe when trying to furthermore protect the privacy-sensitive content. We therefore encode images, such that, from one hand, representations are stored in the public domain without paying the huge cost of privacy protection, but ambiguated and hence leaking no discernible content from the images, unless a combinatorially-expensive guessing mechanism is available for the attacker. From the other hand, authorized users are provided with very compact keys that can easily be kept secure. This can be used to disambiguate and reconstruct faithfully the corresponding access-granted images. We achieve this with a convolutional autoencoder of our design, where feature maps are passed independently through sparsifying transformations, providing multiple compact codes, each responsible for reconstructing different attributes of the image. The framework is tested on a large-scale database of images with public implementation available.


title: Galois symmetries of knot spaces

abstract: We exploit the Galois symmetries of the little disks operads to show that many differentials in the Goodwillie-Weiss spectral sequences approximating the homology and homotopy of knot spaces vanish at a prime $p$. Combined with recent results on the relationship between embedding calculus and finite-type theory, we deduce that the $(n+1)$-st Goodwillie-Weiss approximation is a $p$-local universal Vassiliev invariant of degree $\leq n$ for every $n \leq p + 1$.


title: Rigorous measurement error correction

abstract: We review an experimental technique used to correct state preparation and measurement errors on gate-based quantum computers, and discuss its rigorous justification. Within a specific biased quantum measurement model, we prove that nonideal measurement of an arbitrary $n$-qubit state is equivalent to ideal projective measurement followed by a classical Markov process $\Gamma$ acting on the output probability distribution. Measurement errors can be removed, with rigorous justification, if $\Gamma$ can be learned and inverted. We show how to obtain $\Gamma$ from gate set tomography (R. Blume-Kohout et al., arXiv:1310.4492) and apply the error correction technique to single IBM Q superconducting qubits.


title: The Limits of LoRaWAN in Event-Triggered Wireless Networked Control Systems

abstract: Wireless sensors and actuators offer benefits to large industrial control systems. The absence of wires for communication reduces the deployment cost, maintenance effort, and provides greater flexibility for sensor and actuator location and system architecture. These benefits come at a cost of a high probability of communication delay or message loss due to the unreliability of radio-based communication. This unreliability poses a challenge to contemporary control systems that are designed with the assumption of instantaneous and reliable communication. Wireless sensors and actuators create a paradigm shift in engineering energy-efficient control schemes coupled with robust communication schemes that can maintain system stability in the face of unreliable communication. This paper investigates the feasibility of using the low-power wide-area communication protocol LoRaWAN with an event-triggered control scheme through modelling in Matlab. We show that LoRaWAN is capable of meeting the maximum delay and message loss requirements of an event-triggered controller for certain classes of applications. We also expose the limitation in the use of LoRaWAN when message size or communication range requirements increase or the underlying physical system is exposed to significant external disturbances.


title: Locating ergostar models in parameter space

abstract: Recently, we have shown that dynamically stable ergostar solutions (equilibrium neutron stars that contain an ergoregion) with a compressible and causal equation of state exist [A. Tsokaros, M. Ruiz, L. Sun, S. L. Shapiro, and K. Ury\=u, Phys. Rev. Lett. 123, 231103 (2019)]. These stars are hypermassive, differentially rotating, and highly compact. In this work, we make a systematic study of equilibrium models in order to locate the position of ergostars in parameter space. We adopt four equations of state that differ in the matching density of a maximally stiff core. By constructing a large number of models both with uniform and differential rotation of different degrees, we identify the parameters for which ergostars appear. We find that the most favorable conditions for the appearance of dynamically stable ergostars are a significant finite density close to the surface of the star (i.e., similar to self-bound quark stars) and a small degree of differential rotation.


title: Gluon-Photon Signatures for color octet at the LHC (and beyond)

abstract: We consider a color octet scalar particle and its exotic decay in the channel gluon-$\gamma$ using an effective Lagrangian description for its strong and electromagnetic interactions. Such a state is present in many extensions of the Standard Model, and in particular in composite Higgs models with top partial compositeness, where couplings to photons arise via the Wess-Zumino-Witten term. We find that final states with one or two photons allow for a better reach at the LHC, even for small branching ratios. Masses up to $1.2$ TeV can be probed at the HL-LHC by use of all final states. Finally, we estimate the sensitivity of the hadronic FCC.


title: Ripeline and Rmanual speed up biological research and reporting

abstract: The emergence of R, a freely available data analysis environment, brought to the researcher in any science field a set of well-concerted instruments of immense power and low cost. In botany and zoology, these instruments could be used, for example, to speed up work in two distant but related fields: analysis of DNA markers and preparation of natural history manuals. Both of these tasks require a significant amount of monotonous work, which could be automated with software. I developed "Ripeline and "Rmanual," two highly customizable R-based applications, designed with a goal of simplicity, reproducibility, and effectiveness. Ripeline is a pipeline that allows for a continuously updated analysis of multiple DNA markers. Rmanual is a "living book" which allows the creation and continuous update of manuals and checklists. Comparing with more traditional ways of DNA marker analysis and manual preparation, Ripeline and Rmanual allow for a significant reduction of time, which is usually spent doing repetitive tasks. They also provide tools which can be used in a broad spectrum of further applications.


title: Observational Signatures of Sub-Relativistic Meteors

abstract: It is currently unknown whether solid particles larger than dust from supernova ejecta rain down on Earth at high speeds. We develop a hydrodynamic and radiative model to explore the detectability of $\gtrsim 1 \mathrm{\; mm}$ sub-relativistic meteors. We find that a large fraction of the meteor energy during its passage through the Earth's upper atmosphere powers the adiabatic expansion of a hot plasma cylinder, giving rise to acoustic shocks detectable by infrasound microphones. Additionally, a global network of several hundred all-sky optical cameras with a time resolution of $\lesssim 10^{-4} \mathrm{\;s}$ would be capable of detecting $\gtrsim 1 \mathrm{\; mm}$ sub-relativistic meteors.


title: High-energy Cosmic Ray production in X-ray Binary Jets

abstract: As smaller analogs of Active Galactic Nuclei (AGN), X-ray Binaries (XRBs) are also capable of launching jets that accelerate particles to high energies. In this work, we reexamine XRB jets as potential sources of high-energy cosmic rays (CRs) and explore whether they could provide a significant second Galactic component to the CR spectrum. In the most intriguing scenario, XRB-CRs could dominate the observed spectrum above the so-called "knee" feature at $\sim 3 \times 10^{15}$ eV, offering an explanation for several key issues in this transition zone from Galactic to extragalactic CRs. We discuss how such a scenario could be probed in the near future via multi-messenger observations of XRB jets, as well as diffuse Galactic neutrino flux measurements.


title: Constraining the Infalling Envelope Models of Embedded Protostars: BHR 71 and its Hot Corino

abstract: The collapse of the protostellar envelope results in the growth of the protostar and the development of a protoplanetary disk, playing a critical role during the early stages of star formation. Characterizing the gas infall in the envelope constrains the dynamical models of star formation. We present unambiguous signatures of infall, probed by optically thick molecular lines, toward an isolated embedded protostar, BHR 71 IRS1. The three dimensional radiative transfer calculations indicate that a slowly rotating infalling envelope model following the "inside-out" collapse reproduces the observations of both HCO$^{+}$ $J=4\rightarrow3$ and CS $J=7\rightarrow6$ lines, and the low velocity emission of the HCN $J=4\rightarrow3$ line. The envelope has a model-derived age of 12000$\pm$3000 years after the initial collapse. The envelope model underestimates the high velocity emission at the HCN $J=4\rightarrow3$ and H$^{13}$CN $J=4\rightarrow3$ lines, where outflows or a Keplerian disk may contribute. The ALMA observations serendipitously discover the emission of complex organic molecules (COMs) concentrated within a radius of 100 au, indicating that BHR 71 IRS1 harbors a hot corino. Eight species of COMs are identified, including CH$_{3}$OH and CH$_{3}$OCHO, along with H$_{2}$CS, SO$_{2}$ and HCN $v_{2}=1$. The emission of methyl formate and $^{13}$C-methanol shows a clear velocity gradient within a radius of 50 au, hinting at an unresolved Keplerian rotating disk.


title: What does strong gravitational lensing? The mass and redshift distribution of high-magnification lenses

abstract: Many distant objects can only be detected, or become more scientifically valuable, if they have been highly magnified by strong gravitational lensing. We use EAGLE and BAHAMAS, two recent cosmological hydrodynamical simulations, to predict the probability distribution for both the lens mass and lens redshift when point sources are highly magnified by gravitational lensing. For sources at a redshift of two, we find the distribution of lens redshifts to be broad, peaking at z=0.6. The contribution of different lens masses is also fairly broad, with most high-magnification lensing due to lenses with halo masses between 10^12 and 10^14 solar masses. Lower mass haloes are inefficient lenses, while more massive haloes are rare. We find that a simple model in which all haloes have singular isothermal sphere density profiles can approximately reproduce the simulation predictions, although such a model over-predicts the importance of haloes with mass <10^12 solar masses for lensing. We also calculate the probability that point sources at different redshifts are strongly lensed. At low redshift, high magnifications are extremely unlikely. Each z=0.5 source produces, on average, 5x10^-7 images with magnification greater than ten; for z =2 this increases to about 2x10^-5. Our results imply that searches for strongly lensed optical transients, including the optical counterparts to strongly lensed gravitational waves, can be optimized by monitoring massive galaxies, groups and clusters rather than concentrating on an individual population of lenses.


title: Precise high-fidelity electron-nuclear spin entangling gates in NV centers via hybrid dynamical decoupling sequences

abstract: Color centers in solids, such as the nitrogen-vacancy center in diamond, offer well-protected and well-controlled localized electron spins that can be employed in various quantum technologies. Moreover, the long coherence time of the surrounding spinful nuclei can enable a robust quantum register controlled through the color center. We design pulse sequence protocols that drive the electron spin to generate robust entangling gates with these nuclear memory qubits. We find that compared to using Carr-Purcell-Meiboom-Gill (CPMG) alone, Uhrig decoupling sequence and hybrid protocols composed of CPMG and Uhrig sequences improve these entangling gates in terms of fidelity, spin control range, and spin selectivity. We provide analytical expressions for the sequence protocols and also show numerically the efficacy of our method on nitrogen-vacancy centers in diamond. Our results are broadly applicable to color centers weakly coupled to a small number of nuclear spin qubits.


title: Gaugino mass term for D-branes and Generalized Complex Geometry

abstract: We compute the four-dimensional gaugino mass for a Dp-brane extended in spacetime and wrapping a cycle on the internal geometry in a warped compactification with fluxes. Motivated by the backreaction of gaugino bilinear VEVs, we use Generalized Complex Geometry to characterize the internal geometry as well as the cycle wrapped by the brane. We find that the RR fluxes and the non-closure of the generalized complex structures combine in the gaugino mass terms in the same form as they do in the bulk superpotential, while for the NSNS fluxes there is a crucial minus sign in the component normal to the brane. Our expression extends the known result for D3 and D7-branes in Calabi-Yau manifolds, where the gaugino masses are induced respectively by the imaginary anti-self dual and imaginary self-dual components of the complex 3-form flux $G_3$.


title: Probing new neutral gauge bosons with CEvNS and neutrino-electron scattering

abstract: The potential for probing extra neutral gauge boson mediators ($Z^\prime$) from low-energy measurements is comprehensively explored. Our study mainly focuses on $Z^\prime$ mediators present in string-inspired $E_6$ models and left-right symmetry. We estimate the sensitivities of coherent-elastic neutrino-nucleus scattering (CE$\nu$NS) and neutrino-electron scattering experiments. Our results indicate that such low-energy high-intensity measurements can provide a valuable probe, complementary to high-energy collider searches and electroweak precision measurements.


title: Topology and the one-dimensional Kondo-Heisenberg model

abstract: The Kondo-Heinsberg chain is an interesting model of a strongly correlated system which has a broad superconducting state with pair-density wave (PDW) order. Some of us have recently proposed that this PDW state is a symmetry-protected topological (SPT) state, and the gapped spin sector of the model supports Majorana zero modes. In this work, we reexamine this problem using a combination of numeric and analytic methods. In extensive density matrix renormalization group calculations, we find no evidence of a topological ground state degeneracy or the previously proposed Majorana zero modes in the PDW phase of this model. This result motivated us to reexamine the original arguments for the existence of the Majorana zero modes. A careful analysis of the effective continuum field theory of the model shows that the Hilbert space of the spin sector of the theory does not contain any single Majorana fermion excitations. This analysis shows that the PDW state of the doped 1D Kondo-Heisenberg model is not an SPT with Majorana zero modes.


title: Heart of Darkness: the influence of galactic dynamics on quenching star formation in galaxy spheroids

abstract: Quenched galaxies are often observed to contain a strong bulge component. The key question is whether this reflects a causal connection - can star formation be quenched dynamically by bulges or the spheroids of early-type galaxies? We systematically investigate the impact of these morphological components on star formation, by performing a suite of hydrodynamical simulations of isolated galaxies containing a spheroid. We vary the bulge mass and scale radius, while the total initial stellar, halo and gas mass are kept constant, with a gas fraction of 5 per cent. In addition, we consider two different sub-grid star formation prescriptions. The first follows most simulations in the literature by assuming a constant star formation efficiency per free-fall time, whereas in the second model it depends on the gas virial parameter, following high-resolution simulations of turbulent fragmentation. Across all simulations, central spheroids increase the gas velocity dispersion towards the galactic centre. This increases the gravitational stability of the gas disc, suppresses fragmentation and star formation, and results in galaxies hosting extremely smooth and quiescent gas discs that fall below the galaxy main sequence. These effects amplify when using the more sophisticated, dynamics-dependent star formation model. Finally, we discover a pronounced relation between the central stellar surface density and star formation rate (SFR), such that the most bulge-dominated galaxies show the strongest deviation from the main sequence. We conclude that the SFR of galaxies is not only set by the balance between accretion and feedback, but carries a (sometimes dominant) dependence on the gravitational potential.


title: The first ultracompact Roche lobe-filling hot subdwarf binary

abstract: We report the discovery of the first short period binary in which a hot subdwarf star (sdOB) fills its Roche lobe and started mass transfer to its companion. The object was discovered as part of a dedicated high-cadence survey of the Galactic Plane named the Zwicky Transient Facility and exhibits a period of $P_{\rm orb}=39.3401(1)$ min, making it the most compact hot subdwarf binary currently known. Spectroscopic observations are consistent with an intermediate He-sdOB star with an effective temperature of $T_{\rm eff}=42,400\pm300$ K and a surface gravity of $\log(g)=5.77\pm0.05$. A high-signal-to noise GTC+HiPERCAM light curve is dominated by the ellipsoidal deformation of the sdOB star and an eclipse of the sdOB by an accretion disk. We infer a low-mass hot subdwarf donor with a mass $M_{\rm sdOB}=0.337\pm0.015$ M$_\odot$ and a white dwarf accretor with a mass $M_{\rm WD}=0.545\pm0.020$ M$_\odot$. Theoretical binary modeling indicates the hot subdwarf formed during a common envelope phase when a $2.5-2.8$ M$_\odot$ star lost its envelope when crossing the Hertzsprung Gap. To match its current $P_{\rm orb}$, $T_{\rm eff}$, $\log(g)$, and masses, we estimate a post-common envelope period of $P_{\rm orb}\approx150$ min, and find the sdOB star is currently undergoing hydrogen shell burning. We estimate that the hot subdwarf will become a white dwarf with a thick helium layer of $\approx0.1$ M$_\odot$ and will merge with its carbon/oxygen white dwarf companion after $\approx17$ Myr and presumably explode as a thermonuclear supernova or form an R CrB star.


title: Characterising filaments in the SDSS volume from the galaxy distribution

abstract: Detecting the large-scale structure of the Universe based on the galaxy distribution and characterising its components is of fundamental importance in astrophysics but is also a difficult task to achieve. Wide-area spectroscopic redshift surveys are required to accurately measure galaxy positions in space that also need to cover large areas of the sky. It is also difficult to create algorithms that can extract cosmic web structures (e.g. filaments). Moreover, these detections will be affected by systematic uncertainties that stem from the characteristics of the survey used (e.g. its completeness and coverage) and from the unique properties of the specific method adopted to detect the cosmic web (i.e. the assumptions it relies on and the free parameters it may employ). For these reasons, the creation of new catalogues of cosmic web features on wide sky areas is important, as this allows users to have at their disposal a well-understood sample of structures whose systematic uncertainties have been thoroughly investigated. In this paper we present the filament catalogues created using the discrete persistent structure extractor (DisPerSE) tool in the Sloan Digital Sky Survey (SDSS), and we fully characterise them in terms of their dependence on the choice of parameters pertaining to the algorithm, and with respect to several systematic issues that may arise in the skeleton as a result of the properties of the galaxy distribution (such as Finger-of-God redshift distortions and defects of the density field that are due to the boundaries of the survey).


title: Probing alternative cosmologies through the inverse distance ladder

abstract: We study the implications of a combined analysis of cosmic standard candles and standard rulers on the viability of cosmological models beyond the cosmological concordance model. To this end, we employ well-established data in the form of the joint light-curve analysis supernova compilation, baryon acoustic oscillations, and cosmic microwave background data on the one hand, and a recently proposed set of quasars as objects of known brightness on the other hand. The advantage of including the latter is that they extend the local distance measures to redshifts which have previously been out of reach and we investigate how this allows one to test cosmologies beyond $\Lambda$CDM. While there exist various studies on parametric extensions of $\Lambda$CDM, we present here a comparative study of both parametric and fundamental extensions of the standard cosmology. In order to keep the scope of this manuscript contained, we focus on two particular modifications: One is the consistent theory of two interacting spin-2 objects, so-called bigravity, and the other conformal gravity, a theory of gravity that has no knowledge of fundamental length scales. The former of the two constitutes a veritable extension of General Relativity, given that it adds to the metric tensor of gravity a second dynamical tensor field. The resulting dynamics have been proposed as a self-accelerating cosmology. Conformal gravity on the other hand is a much more drastic change of the underlying gravitational theory. Its ignorance towards fundamental length scales offers a completely different approach to the origin of late time acceleration. In this sense, both models offer - in one way or another - an explanation for the dark energy problem. We perform a combined cosmological fit which provides strong constraints on these extensions. We also briefly comment on the implications of the long-standing $H_0$-tension.


title: Detection of Strong Epicyclic Density Spikes in the GD-1 Stellar Stream. An Absence of Evidence for the Influence of Dark Matter Subhalos?

abstract: The density variations in thin stellar streams may encode important information on the nature of the dark matter. For instance, if dark matter aggregates into massive sub-halos, these perturbers are expected to scatter stars out of dynamically cold stellar streams, possibly leading to detectable gaps in those structures. Here we re-examine the density variations in the GD-1 stream, using Gaia DR2 astrometry, Pan-STARRS photometry, together with high precision radial velocities measured with the CFHT/ESPaDOnS and VLT/UVES instruments and complemented with public radial velocity catalogs. We show that after correcting for projection effects, the density profile exhibits high contrast periodic peaks, separated by $2.64\pm0.18$ kpc. An N-body simulation is presented that reproduces this striking morphology with simple epicyclic motion in a smooth Galactic potential. We also discuss the reliability of measuring density variations using ground-based photometric surveys, and for the particular case of GD-1 we highlight some of the artifacts present in the Gaia DR2 catalog along its track. Massive dark subhalos do not appear to be required to explain the density clumping along GD-1.


title: New empirical constraints on the cosmological evolution of gas and stars in galaxies

abstract: We combine the latest observationally motivated constraints on stellar properties in dark matter haloes, along with data-driven predictions for the atomic (HI) and molecular (H$_2$) gas evolution in galaxies, to derive empirical relationships between the build-up of galactic components and their evolution over cosmic time. At high redshift ($z \gtrsim 4$), the frameworks imply that galaxies acquire their cold gas (both atomic and molecular) mostly by accretion, with the fraction of cold gas reaching about 20% of the cosmic baryon fraction. We infer a strong dependence of the star formation rate on the H$_2$ mass, suggesting a near-universal depletion timescale of 0.1-1 Gyr in Milky Way sized haloes (of masses $10^{12} \ M_{\odot}$ at $z = 0$). There is also evidence for a near-universality of the Kennicutt-Schmidt relation across redshifts, with very little dependence on stellar mass, if a constant conversion factor ($\alpha_{\rm CO}$) of CO luminosity to molecular gas mass is assumed. Combining the atomic and molecular gas observations with the stellar build-up illustrates that galactic mass assembly in Milky-Way sized haloes proceeds from smooth accretion at high redshifts, towards becoming merger-dominated at late times ($z \lesssim 0.6$). Our results can be used to constrain numerical simulations of the dominant growth and accretion processes of galaxies over cosmic history.


title: Pseudo-dimension of quantum circuits

abstract: We characterize the expressive power of quantum circuits with the pseudo-dimension, a measure of complexity for probabilistic concept classes. We prove pseudo-dimension bounds on the output probability distributions of quantum circuits; the upper bounds are polynomial in circuit depth and number of gates. Using these bounds, we exhibit a class of circuit output states out of which at least one has exponential state complexity, and moreover demonstrate that quantum circuits of known polynomial size and depth are PAC-learnable.


title: Experimental quantum conference key agreement

abstract: Quantum networks will provide multi-node entanglement over long distances to enable secure communication on a global scale. Traditional quantum communication protocols consume pair-wise entanglement, which is sub-optimal for distributed tasks involving more than two users. Here we demonstrate quantum conference key agreement, a quantum communication protocol that exploits multi-partite entanglement to efficiently create identical keys between N users with up to N-1 rate advantage in constrained networks. We distribute four-photon Greenberger-Horne-Zeilinger (GHZ) states generated by high-brightness, telecom photon-pair sources across up to 50 km of fibre, implementing multi-user error correction and privacy amplification on resulting raw keys. Under finite-key analysis, we establish $1.15\times10^6$ bits of secure key, which are used to encrypt and securely share an image between the four users in a conference transmission. We have demonstrated a new protocol tailored for multi-node networks leveraging low-noise, long-distance transmission of GHZ states that will pave the way forward for future multiparty quantum information processing applications.


title: Parameters of Tomonaga-Luttinger liquid in a quasi-1D material with Coulomb interactions

abstract: In this work we derive a new scheme to calculate Tomonaga-Luttinger liquid (TLL) parameters and holon (charge modes) velocities in a quasi-1D material that consists of two-leg ladders coupled through Coulomb interactions. Firstly, we obtain an analytic formula for electron-electron interaction potential along the conducting axis for a generalized charge distribution in a plane perpendicular to it. In the second step we introduce many-body screening that is present in a quasi-1D material. To this end we propose a new approximation for the charge susceptibility. Based on this we are able to find the TLL's parameters and velocities. We then show how to use these to validate the experimental ARPES data measured recently in p-polarization in $NbSe_3$. Although we focus our study on this specific material it is applicable for any quasi-1D system that consists of two-leg ladders as basic units.


title: The integral double Burnside ring of the symmetric group $\text{S}_3$

abstract: The double Burnside $R$-algebra $\text{B}_R(G,G)$ of a finite group $G$ with coefficients in a commutative ring $R$ has been introduced by S. Bouc. It is $R$-linearly generated by finite $(G,G)$-bisets, modulo a relation identifying disjoint union and sum. Its multiplication is induced by the tensor product. B. Masterson described $\text{B}_{\mathbf{Q}}(\text{S}_3,\text{S}_3)$ as a subalgebra of $\mathbf{Q}^{8\times 8}$. We give a variant of this description and continue to describe $\text{B}_R(\text{S}_3,\text{S}_3)$ for $R\in\{\mathbf{Z},\mathbf{Z}_{(2)},\mathbf{F}_2,\mathbf{Z}_{(3)},\mathbf{F}_3\}$ via congruences as suborders of certain $R$-orders respectively via path algebras over $R$.


title: Magnitude to luminance conversions and visual brightness of the night sky

abstract: The visual brightness of the night sky is not a single-valued function of its brightness in other photometric bands, because the transformations between photometric systems depend on the spectral power distribution of the skyglow. We analyze the transformation between the night sky brightness in the Johnson-Cousins V band (mV, measured in magnitudes per square arcsecond, mpsas) and its visual luminance (L, in SI units cd m^-2) for observers with photopic and scotopic adaptation, in terms of the spectral power distribution of the incident light. We calculate the zero-point luminances for a set of skyglow spectra recorded at different places in the world, including strongly light-polluted locations and sites with nearly pristine natural dark skies. The photopic skyglow luminance corresponding to mV=0.00 mpsas is found to vary between 1.11-1.34 x 10^5 cd m^-2 if mV is reported in the absolute (AB) magnitude scale, and between 1.18-1.43 x 10^5 cd m^-2 if a Vega scale for mV is used instead. The photopic luminance for mV=22.0 mpsas is correspondingly comprised between 176 and 213 microcd m^-2 (AB), or 187 and 227 microcd m^-2 (Vega). These constants tend to decrease for increasing correlated color temperatures (CCT). The photopic zero-point luminances are generally higher than the ones expected for blackbody radiation of comparable CCT. The scotopic-to-photopic luminance ratio (S/P) for our spectral dataset varies from 0.8 to 2.5. Under scotopic adaptation the dependence of the zero-point luminances with the CCT, and their values relative to blackbody radiation, are reversed with respect to photopic ones.


title: A Framework for Optimizing Exoplanet Target Selection for the James Webb Space Telescope

abstract: The James Webb Space Telescope (JWST) will devote significant observing time to the study of exoplanets. It will not be serviceable as was the Hubble Space Telescope, and therefore the spacecraft/instruments will have a relatively limited life. It is important to get as much science as possible out of this limited observing time. We provide an analysis framework (including publicly released computational tools) that can be used to optimize lists of exoplanet targets for atmospheric characterization. Our tools take catalogs of planet detections, either simulated, or actual; categorize the targets by planet radius and equilibrium temperature; estimate planet masses; generate model spectra and simulated instrument spectra; perform a statistical analysis to determine if the instrument spectra can confirm an atmospheric detection; and finally, rank the targets within each category by observation time required. For a catalog of simulated Transiting Exoplanet Survey Satellite planet detections, we determine an optimal target ranking for the observing time available. Our results are generally consistent with other recent studies of JWST exoplanet target optimization. We show that assumptions about target planet atmospheric metallicity, instrument performance (especially the noise floor), and statistical detection threshold, can have a significant effect on target ranking. Over its full 10-year (fuel-limited) mission, JWST has the potential to increase the number of atmospheres characterized by transmission spectroscopy by an order of magnitude (from about 50 currently to between 400 and 500).


title: Control of Fork-Join Processing Networks with Multiple Job Types and Parallel Shared Resources

abstract: A fork-join processing network is a queueing network in which tasks associated with a job can be processed simultaneously. Fork-join processing networks are prevalent in computer systems, healthcare, manufacturing, project management, justice system, etc. Unlike the conventional queueing networks, fork-join processing networks have synchronization constraints that arise due to the parallel processing of tasks and can cause significant job delays. We study scheduling control in fork-join processing networks with multiple job types and parallel shared resources. Jobs arriving in the system fork into arbitrary number of tasks, then those tasks are processed in parallel, and then they join and leave the network. There are shared resources processing multiple job types. We study the scheduling problem for those shared resources (that is, which type of job to prioritize at any given time) and propose an asymptotically optimal scheduling policy in diffusion scale.


title: Knotty knits are tangles on tori

abstract: In this paper we outline a topological framework for constructing 2-periodic knitted stitches and an algebra for joining stitches together to form more complicated textiles. Our topological framework can be constructed from certain topological "moves" which correspond to "operations" that knitters make when they create a stitch. In knitting, unlike Jacquard weaves, a set of $n$ loops may be combined in topologically nontrivial ways to create $n$ stitches that are not pairwise associated. We define a \emph{swatch} as a construction that allows for these knitable knots.


title: Andr\'asfai and Vega graphs in Ramsey-Tur\'an theory

abstract: Given positive integers $n\ge s$, we let ${\mathrm{ex}}(n,s)$ denote the maximum number of edges in a triangle-free graph $G$ on $n$ vertices with $\alpha(G)\le s$. In the early sixties Andr\'{a}sfai conjectured that for $n/3<s<n/2$ the function ${\mathrm{ex}}(n, s)$ is piecewise quadratic with critical values at $s/n={k}/({3k-1})$. We confirm that this is indeed the case whenever $s/n$ is slightly larger than a critical value, thus determining ${\mathrm{ex}}(n,s)$ for all $n$ and $s$ such that $s/n\in [{k}/({3k-1}), {k}/({3k-1})+\gamma_k]$, where $\gamma_k=\Theta(k^{-6})$.


title: Large-signal model of 2DFETs: compact modeling of terminal charges and intrinsic capacitances

abstract: We present a physics-based circuit-compatible model for double-gated two-dimensional semiconductor based field effect transistors, which provides explicit expressions for the drain current, terminal charges and intrinsic capacitances. The drain current model is based on the drift-diffusion mechanism for the carrier transport and considers Fermi-Dirac statistics coupled with an appropriate field-effect approach. The terminal charge and intrinsic capacitance models are calculated adopting a Ward-Dutton linear charge partition scheme that guarantees charge-conservation. It has been implemented in Verilog-A to make it compatible with standard circuit simulators. In order to benchmark the proposed modeling framework we also present experimental DC and high-frequency measurements of a purposely fabricated monolayer MoS2 FET showing excellent agreement between the model and the experiment and thus demonstrating the capabilities of the combined approach to predict the performance of 2DFETs.


title: KKLT without AdS

abstract: According to the KKLT scenario, metastable dS vacua are formed as a result of uplifting of supersymmetric AdS vacua by $\overline {D3}$ branes. I describe an extended version of this scenario where metastable dS vacua appear after an uplift from a state where the potential of the volume modulus in the absence of $\overline {D3}$ branes would be unbounded below. This mechanism may considerably strengthen vacuum stabilization in the early universe.


title: The Privacy Funnel from the viewpoint of Local Differential Privacy

abstract: We consider a database $\vec{X} = (X_1,\cdots,X_n)$ containing the data of $n$ users. The data aggregator wants to publicise the database, but wishes to sanitise the dataset to hide sensitive data $S_i$ correlated to $X_i$. This setting is considered in the Privacy Funnel, which uses mutual information as a leakage metric. The downsides to this approach are that mutual information does not give worst-case guarantees, and that finding optimal sanitisation protocols can be computationally prohibitive. We tackle these problems by using differential privacy metrics, and by considering local protocols which operate on one entry at a time. We show that under both the Local Differential Privacy and Local Information Privacy leakage metrics, one can efficiently obtain optimal protocols; however, Local Information Privacy is both more closely aligned to the privacy requirements of the Privacy Funnel scenario, and more efficiently computable. We also consider the scenario where each user has multiple attributes (i.e. $X_i = (X^1_i,\cdots,X^m_i)$), for which we define \emph{Side-channel Resistant Local Information Privacy}, and we give efficient methods to find protocols satisfying this criterion while still offering good utility. Exploratory experiments confirm the validity of these methods.


title: TESS Extended Mission 10-Minute Cadence Retains Nyquist Aliases

abstract: During its two-year prime mission, the Transiting Exoplanet Survey Satellite (TESS) is obtaining full-frame images with a regular 30-minute cadence in a sequence of 26 sectors that cover a combined 85% of the sky. While its primary science case is to discover new exoplanets transiting nearby stars, TESS data are superb for studying many types of stellar variability, with the number of publications using TESS data for other areas of astrophysics keeping pace with exoplanet papers. Following the conclusion of its prime mission in July 2020, TESS will revisit the sky in an extended mission that records full-frame images at a faster ten-minute cadence. In this note, I demonstrate that choosing a large submultiple of the original exposure times for the new cadence limits the synergy between prime and extended TESS mission data since both sampling rates produce many of the same Nyquist aliases. Adjusting the extended mission exposure time by as little as one second would largely resolve Nyquist ambiguities in the combined TESS data set.


title: Solution estimates for linear differential equations with delay

abstract: In this paper, we give explicit exponential estimates $\displaystyle |x(t)|\leq M e^{ -\gamma (t-t_0) }$, where $t\geq t_0$, $M>0$, for solutions of a linear scalar delay differential equation $$ \dot{x}(t)+\sum_{k=1}^m b_k(t)x(h_k(t))=f(t),~~ t\geq t_0,~ x(t)=\phi(t),~t\leq t_0. $$ We consider two different cases: when $\gamma>0$ (corresponding to exponential stability) and the case of $\gamma <0$ when the solution is, generally, growing. In the first case, together with the exponential estimate, we also obtain an exponential stability test, in the second case we get estimation for solution growth. Here both the coefficients and the delays are measurable, not necessarily continuous.


title: Joint Power Allocation and Load Balancing Optimization for Energy-Efficient Cell-Free Massive MIMO Networks

abstract: Large-scale distributed antenna systems with many access points (APs) that serve the users by coherent joint transmission is being considered for 5G-and-beyond networks. The technology is called Cell-free Massive MIMO and can provide a more uniform service level to the users than a conventional cellular topology. For a given user set, only a subset of the APs is likely needed to satisfy the users' performance demands, particularly outside the peak traffic hours. To find achieve an energy-efficient load balancing, we minimize the total downlink power consumption at the APs, considering both the transmit powers and hardware dissipation. APs can be temporarily turned off to reduce the latter part. The formulated optimization problem is non-convex but, nevertheless, a globally optimal solution is obtained by solving a mixed-integer second-order cone program. Since the computational complexity is prohibitive for real-time implementation, we also propose two low-complexity algorithms that exploit the inherent group-sparsity and the optimized transmit powers in the problem formulation. Numerical results manifest that our optimization algorithms can greatly reduce the power consumption compared to keeping all APs turned on and only minimizing the transmit powers. Moreover, the low-complexity algorithms can effectively handle the power allocation and AP activation for large-scale networks.


title: Milnor's concordance invariants for knots on surfaces

abstract: Milnor's $\bar{\mu}$-invariants of links in the $3$-sphere $S^3$ vanish on any link concordant to a boundary link. In particular, they are trivial on any knot in $S^3$. Here we consider knots in thickened surfaces $\Sigma \times [0,1]$, where $\Sigma$ is closed and oriented. We construct new concordance invariants by adapting the Chen-Milnor theory of links in $S^3$ to an extension of the group of a virtual knot. A key ingredient is the Bar-Natan $\textit{Zh}$ map, which allows for a geometric interpretation of the group extension. The group extension itself was originally defined by Silver-Williams. Our extended $\bar{\mu}$-invariants obstruct concordance to homologically trivial knots in thickened surfaces. We use them to give new examples of non-slice virtual knots having trivial Rasmussen invariant, graded genus, affine index (or writhe) polynomial, and generalized Alexander polynomial. Furthermore, we complete the slice status classification of all virtual knots up to five classical crossings and reduce to four (out of 92800) the number of virtual knots up to six classical crossings having unknown slice status. Our main application is to Turaev's concordance group $\mathscr{VC}$ of long knots on surfaces. Boden and Nagel proved that the concordance group $\mathscr{C}$ of classical knots in $S^3$ embeds into the center of $\mathscr{VC}$. In contrast to the classical knot concordance group, we show $\mathscr{VC}$ is not abelian; answering a question posed by Turaev.


title: Compress-and-restart block Krylov subspace methods for Sylvester matrix equations

abstract: Block Krylov subspace methods (KSMs) comprise building blocks in many state-of-the-art solvers for large-scale matrix equations as they arise, e.g., from the discretization of partial differential equations. While extended and rational block Krylov subspace methods provide a major reduction in iteration counts over polynomial block KSMs, they also require reliable solvers for the coefficient matrices, and these solvers are often iterative methods themselves. It is not hard to devise scenarios in which the available memory, and consequently the dimension of the Krylov subspace, is limited. In such scenarios for linear systems and eigenvalue problems, restarting is a well explored technique for mitigating memory constraints. In this work, such restarting techniques are applied to polynomial KSMs for matrix equations with a compression step to control the growing rank of the residual. An error analysis is also performed, leading to heuristics for dynamically adjusting the basis size in each restart cycle. A panel of numerical experiments demonstrates the effectiveness of the new method with respect to extended block KSMs.


title: Mean Value of the Quantum Potential and Uncertainty Relations

abstract: In this work we determine a lower bound to the mean value of the quantum potential for an arbitrary state. Furthermore, we derive a generalized uncertainty relation that is stronger than the Robertson-Schr\"odinger inequality and hence also stronger than the Heisenberg uncertainty principle. The mean value is then associated to the nonclassical part of the covariances of the momenta operator. This imposes a minimum bound for the nonclassical correlations of momenta and gives a physical characterization of the classical and semiclassical limits of quantum systems. The results obtained primarily for pure states are then generalized for density matrices describing mixed states.


title: Recovering the lattice from its random perturbations

abstract: Given a $d$-dimensional Euclidean lattice we consider the random set obtained by adding an independent Gaussian vector to each of the lattice points. In this note we provide a simple procedure that recovers the lattice from a single realization of the random set.


title: Complexity limitations on one-turn quantum refereed games

abstract: This paper studies complexity theoretic aspects of quantum refereed games, which are abstract games between two competing players that send quantum states to a referee, who performs an efficiently implementable joint measurement on the two states to determine which of the player wins. The complexity class $\mathrm{QRG}(1)$ contains those decision problems for which one of the players can always win with high probability on yes-instances and the other player can always win with high probability on no-instances, regardless of the opposing player's strategy. This class trivially contains $\mathrm{QMA} \cup \text{co-}\mathrm{QMA}$ and is known to be contained in $\mathrm{PSPACE}$. We prove stronger containments on two restricted variants of this class. Specifically, if one of the players is limited to sending a classical (probabilistic) state rather than a quantum state, the resulting complexity class $\mathrm{CQRG}(1)$ is contained in $\exists\cdot\mathrm{PP}$ (the nondeterministic polynomial-time operator applied to $\mathrm{PP}$); while if both players send quantum states but the referee is forced to measure one of the states first, and incorporates the classical outcome of this measurement into a measurement of the second state, the resulting class $\mathrm{MQRG}(1)$ is contained in $\mathrm{P}\cdot\mathrm{PP}$ (the unbounded-error probabilistic polynomial-time operator applied to $\mathrm{PP}$).


title: Generalizing meanings from partners to populations: Hierarchical inference supports convention formation on networks

abstract: A key property of linguistic conventions is that they hold over an entire community of speakers, allowing us to communicate efficiently even with people we have never met before. At the same time, much of our language use is partner-specific: we know that words may be understood differently by different people based on our shared history. This poses a challenge for accounts of convention formation. Exactly how do agents make the inferential leap to community-wide expectations while maintaining partner-specific knowledge? We propose a hierarchical Bayesian model to explain how speakers and listeners solve this inductive problem. To evaluate our model's predictions, we conducted an experiment where participants played an extended natural-language communication game with different partners in a small community. We examine several measures of generalization and find key signatures of both partner-specificity and community convergence that distinguish our model from alternatives. These results suggest that partner-specificity is not only compatible with the formation of community-wide conventions, but may facilitate it when coupled with a powerful inductive mechanism.


title: Hybrid EMT-TS Simulation Strategies to Study High Bandwidth MMC-Based HVdc Systems

abstract: Modular multilevel converters (MMCs) are widely used in the design of modern high-voltage direct current (HVdc) transmission system. High-fidelity dynamic models of MMCs-based HVdc system require small simulation time step and can be accurately modeled in electro-magnetic transient (EMT) simulation programs. The EMT program exhibits slow simulation speed and limitation on the size of the model and brings certain challenges to test the high-fidelity HVdc model in system-level simulations. This paper presents the design and implementation of a hybrid simulation framework, which enables the co-simulation of the EMT model of Atlanta-Orlando HVdc line and the transient stability (TS) model of the entire Eastern Interconnection system. This paper also introduces the implementation of two high-fidelity HVdc line models simulated at different time steps and discusses a dedicated method for sizing the buffer areas on both sides of the HVdc line. The simulation results of the two HVdc models with different sizes of buffer areas are presented and compared.


title: Reverse engineering the Milky Way

abstract: The ages, metallicities, alpha-elements and integrals of motion of globular clusters (GCs) accreted by the Milky Way from disrupted satellites remain largely unchanged over time. Here we have used these conserved properties in combination to assign 76 GCs to 5 progenitor satellite galaxies -- one of which we dub the Koala dwarf galaxy. We fit a leaky-box chemical enrichment model to the age-metallicity distribution of GCs, deriving the effective yield and the formation epoch of each satellite. Based on scaling relations of GC counts we estimate the original halo mass, stellar mass and mean metallicity of each satellite. The total stellar mass of the 5 accreted satellites contributed around 10$^{9}$ M$_{\odot}$ in stars to the growth of the Milky Way but over 50\% of the Milky Way's GC system. The 5 satellites formed at very early times and were likely accreted 8--11 Gyr ago, indicating rapid growth for the Milky Way in its early evolution. We suggest that at least 3 satellites were originally nucleated, with the remnant nucleus now a GC of the Milky Way. Eleven GCs are also identified as having formed ex-situ but could not be assigned to a single progenitor satellite.


title: Bicycle Attacks Considered Harmful: Quantifying the Damage of Widespread Password Length Leakage

abstract: We examine the issue of password length leakage via encrypted traffic i.e., bicycle attacks. We aim to quantify both the prevalence of password length leakage bugs as well as the potential harm to users. In an observational study, we find that {\em most} of the Alexa top 100 rates sites are vulnerable to bicycle attacks meaning that an eavesdropping attacker can infer the exact length of a password based on the length the encrypted packet containing the password. We discuss several ways in which an eavesdropping attacker could link this password length with a particular user account e.g., a targeted campaign against a smaller group of users or via DNS hijacking for larger scale campaigns. We next use a decision-theoretic model to quantify the extent to which password length leakage might help an attacker to crack user passwords. In our analysis, we consider three different levels of password attackers: hacker, criminal and nation-state. In all cases, we find that such an attacker who knows the length of each user password gains a significant advantage over one without knowing the password length. As part of this analysis, we also release a new differentially private password frequency dataset from the 2016 LinkedIn breach using a differentially private algorithm of Blocki et al. (NDSS 2016) to protect user accounts. The LinkedIn frequency corpus is based on over 170 million passwords making it the largest frequency corpus publicly available to password researchers. While the defense against bicycle attacks is straightforward (i.e., ensure that passwords are always padded before encryption), we discuss several practical challenges organizations may face when attempting to patch this vulnerability. We advocate for a new W3C standard on how password fields are handled which would effectively eliminate most instances of password length leakage.


title: Generalized Ricci flow on nilpotent Lie groups

abstract: We define solitons for the generalized Ricci flow on an exact Courant algebroid, building on the definitions of M. Garcia-Fernandez and J. Streets. We then define a family of flows for left-invariant Dorfman brackets on an exact Courant algebroid over a simply connected nilpotent Lie group, generalizing the bracket flows for nilpotent Lie brackets in a way that might make this new family of flows useful for the study of generalized geometric flows, such as the generalized Ricci flow. We provide explicit examples of both constructions on the Heisenberg group. We also discuss solutions to the generalized Ricci flow on the Heisenberg group.


title: Data-driven prediction of the equivalent sand-grain height in rough-wall turbulent flows

abstract: This paper investigates a long-standing question about the effect of surface roughness on turbulent flow: what is the equivalent roughness sand-grain height for a given roughness topography? Deep Neural Network (DNN) and Gaussian Process Regression (GPR) machine learning approaches are used to develop a high-fidelity prediction approach of the Nikuradse equivalent sand-grain height $k_s$ for turbulent flows over a wide variety of different rough surfaces. To this end, 45 surface geometries were generated and the flow over them simulated at $\hbox{Re}_\tau=1000$ using direct numerical simulations. These surface geometries differed significantly in moments of surface height fluctuations, effective slope, average inclination, porosity and degree of randomness. Thirty of these surfaces were considered fully-rough and they were supplemented with experimental data for fully-rough flows over 15 more surfaces available from previous studies. The DNN and GPR methods predicted $k_s$ with an average error of less than 10% and a maximum error of less than 30%, which appears to be significantly more accurate than existing prediction formulas. They also identified the surface porosity and the effective slope of roughness in the spanwise direction as important factors in drag prediction.


title: On the global attractivity of non-autonomous neural networks with a distributed delay

abstract: We consider a system of several nonlinear equations with a distributed delay and obtain absolute asymptotic stability conditions, independent of the delay. The ideas of the proofs are based on the notion of a strong attractor. The results are applied to Hopfield neural networks, Nicholson's blowflies type system, and compartment models of population dynamics.


title: Medium-induced gluon radiation with full resummation of multiple scatterings for realistic parton-medium interactions

abstract: The new precision era of jet quenching observables at both RHIC and the LHC calls for an improved and more precise description of in-medium gluon emissions. The development of new theoretical tools and analytical calculations to tackle this challenge has been hampered by the inability to include the effects of multiple scatterings with the medium using a realistic model for the parton-medium interactions. In this paper, we show how the analytical expressions for the full in-medium spectrum, including the resummation of all multiple scatterings, can be written in a form where the numerical evaluation can be easily performed without the need of the usually employed harmonic or single hard approximations. We present the transverse momentum and energy-dependent medium-induced gluon emission distributions for known realistic interaction models to illustrate how our framework can be applied beyond the limited kinematic regions of previous calculations.


title: Combinatorial formulas for the coefficients of the Al-Salam-Chihara polynomials

abstract: The Al-Salam-Chihara polynomials are an important family of orthogonal polynomials in one variable $x$ depending on 3 parameters $\alpha$, $\beta$ and $q$. They are closely connected to a model from statistical mechanics called the partially asymmetric simple exclusion process (PASEP) and they can be obtained as a specialization of the Askey-Wilson polynomials. We give two different combinatorial formulas for the coefficients of the (transformed) Al-Salam-Chihara polynomials. Our formulas make manifest the fact that the coefficients are polynomials in $\alpha$, $\beta$ and $q$ with positive coefficients.


title: Quantum correlations between the light and kilogram-mass mirrors of LIGO

abstract: Measurement of minuscule forces and displacements with ever greater precision encounters a limit imposed by a pillar of quantum mechanics: the Heisenberg uncertainty principle. A limit to the precision with which the position of an object can be measured continuously is known as the standard quantum limit (SQL). When light is used as the probe, the SQL arises from the balance between the uncertainties of photon radiation pressure imposed on the object and of the photon number in the photoelectric detection. The only possibility surpassing the SQL is via correlations within the position/momentum uncertainty of the object and the photon number/phase uncertainty of the light it reflects. Here, we experimentally prove the theoretical prediction that this type of quantum correlation is naturally produced in the Laser Interferometer Gravitational-wave Observatory (LIGO). Our measurements show that the quantum mechanical uncertainties in the phases of the 200 kW laser beams and in the positions of the 40 kg mirrors of the Advanced LIGO detectors yield a joint quantum uncertainty a factor of 1.4 (3dB) below the SQL. We anticipate that quantum correlations will not only improve gravitational wave (GW) observatories but all types of measurements in future.


title: Some finiteness results for algebraic groups and unramified cohomology over higher-dimensional fields

abstract: We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an essential way on several finiteness results for unramified cohomology.


title: An ab initio molecular dynamics exploration of associates in Ba-Bi liquid with strong ordering trends

abstract: Fictive associates are widely used to describe and model liquid phases with strong ordering trends. However, little evidence is known about the assumed associates in most cases. In the present work, an ab initio molecular dynamics (AIMD) study is employed to investigate the characters of the Ba-Bi liquid, in which associates have been assumed in existing thermodynamic modeling. It is found that in the Ba rich melt, the Bi atoms are almost completely surrounded by Ba atoms. The Bi-centered coordination polyhedrons are strongly associated to crystalline structures of Ba5Bi3 and Ba4Bi3 with a longer lifetime than other polyhedrons during the AIMD simulations. In addition, these Bi-centered polyhedrons in Ba rich melt connect with each other through vertex, edge, face, and/or bipyramid sharing to form medium range orders (MRO). In the Bi rich melt, the Ba-centered polyhedrons also form MROs, but they are both structurally and compositionally diverse with a shorter lifetime. These findings from AIMD study provide evidences that there exist a strongly ordering Ba4Bi3 associate and a weakly ordering BaBi3 associate in the Ba-Bi liquid. The predicted enthalpy of mixing in the liquid agrees well with the results by the CALPHAD modeling in the literature.


title: Radio & X-ray detections of GX 339--4 in quiescence using MeerKAT and Swift

abstract: The radio:X-ray correlation that characterises accreting black holes at all mass scales - from stellar mass black holes in binary systems to super-massive black holes powering Active Galactic Nuclei - is one of the most important pieces of observational evidence supporting the existence of a connection between the accretion process and the generation of collimated outflows - or jets - in accreting systems. Although recent studies suggest that the correlation extends down to low luminosities, only a handful of stellar mass black holes have been clearly detected, and in general only upper limits (especially at radio wavelengths) can be obtained during quiescence. We recently obtained detections of the black hole X-ray binary GX 339--4 in quiescence using the MeerKAT radio telescope and Swift X-ray Telescope instrument onboard the Neil Gehrels Swift Observatory, probing the lower end of the radio:X-ray correlation. We present the properties of accretion and of the connected generation of jets in the poorly studied low-accretion rate regime for this canonical black hole XRB system.


title: A Deep Conditioning Treatment of Neural Networks

abstract: We study the role of depth in training randomly initialized overparameterized neural networks. We give a general result showing that depth improves trainability of neural networks by improving the conditioning of certain kernel matrices of the input data. This result holds for arbitrary non-linear activation functions under a certain normalization. We provide versions of the result that hold for training just the top layer of the neural network, as well as for training all layers, via the neural tangent kernel. As applications of these general results, we provide a generalization of the results of Das et al. (2019) showing that learnability of deep random neural networks with a large class of non-linear activations degrades exponentially with depth. We also show how benign overfitting can occur in deep neural networks via the results of Bartlett et al. (2019b). We also give experimental evidence that normalized versions of ReLU are a viable alternative to more complex operations like Batch Normalization in training deep neural networks.


title: Storage Optimal Control under Net Metering Policies

abstract: Electricity prices and the end user net load vary with time. Electricity consumers equipped with energy storage devices can perform energy arbitrage, i.e., buy when energy is cheap or when there is a deficit of energy, and sell it when it is expensive or in excess, taking into account future variations in price and net load. Net metering policies indicate that many of the utilities apply a {customer selling} rate lower than or equal to the retail {customer buying rate} in order to compensate excess energy generated by end users. In this paper, we formulate the optimal control problem for an end user energy storage device in presence of net metering. We propose a computationally efficient algorithm, with worst case run time complexity of quadratic in terms of number of samples in lookahead horizon, that computes the optimal energy ramping rates in a time horizon. The proposed algorithm exploits the problem's piecewise linear structure and convexity properties for the \textit{discretization} of optimal Lagrange multipliers. The solution has a \textit{threshold-based structure} in which optimal control decisions are independent of past or future price as well as of net load values beyond a certain time horizon, defined as a \textit{sub-horizon}. Numerical results show the effectiveness of the proposed model and algorithm. Furthermore, we investigate the impact of forecasting errors on the proposed technique. We consider an Auto-Regressive Moving Average (ARMA) based forecasting of net load together with the Model Predictive Control (MPC). We numerically show that adaptive forecasting and MPC significantly mitigate the effects of forecast error on energy arbitrage gains.


title: Fluid-structure interaction modeling of blood flow in the pulmonary arteries using the unified continuum and variational multiscale formulation

abstract: In this work, we present a computational fluid-structure interaction (FSI) study for a healthy patient-specific pulmonary arterial tree using the unified continuum and variational multiscale (VMS) formulation we previously developed. The unified framework is particularly well-suited for FSI, as the fluid and solid sub-problems are addressed in essentially the same manner and can thus be uniformly integrated in time with the generalized-$\alpha$ method. In addition, the VMS formulation provides a mechanism for large-eddy simulation in the fluid sub-problem and pressure stabilization in the solid sub-problem. The FSI problem is solved in a quasi-direct approach, in which the pressure and velocity in the unified continuum body are first solved, and the solid displacement is then obtained via a segregated algorithm and prescribed as a boundary condition for the mesh motion. Results of the pulmonary arterial FSI simulation are presented and compared against those of a rigid wall simulation.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: Gaussian Processes with Input Location Error and Applications to the Composite Parts Assembly Process

abstract: In this paper, we investigate Gaussian process modeling with input location error, where the inputs are corrupted by noise. Here, the best linear unbiased predictor for two cases is considered, according to whether there is noise at the target unobserved location or not. We show that the mean squared prediction error converges to a non-zero constant if there is noise at the target unobserved location, and provide an upper bound of the mean squared prediction error if there is no noise at the target unobserved location. We investigate the use of stochastic Kriging in the prediction of Gaussian processes with input location error, and show that stochastic Kriging is a good approximation when the sample size is large. Several numeric examples are given to illustrate the results, and a case study on the assembly of composite parts is presented. Technical proofs are provided in the Appendix.


title: Prediction of Component Shifts in Pick and Place Process of Surface Mount Technology Using Support Vector Regression

abstract: In pick and place (P&P) process of surface mount technology (SMT) the placed component can shift from its ideal (or designed) position on the wet solder paste. The solder paste with some fluid properties could slump and the unbalance between different sides of solder paste can lead to other forces on the components as well. Though the shifts are usually considered to be negligible and can be made up to some extent by the following self-alignment during the process of soldering reflow, it should be attracted attention as its importance for addressing the quality of the printed circuit board (PCB) in SMT. To minimize or control the component shifts, whose relationship with the characteristics of the solder paste (e.g., offset, volume) should be studied initially. In this paper, we design a comprehensive experiment and collect the data from a state-of-the-art SMT assembly line. Then we use support vector regression (SVR) model to predict the component shifts based on different situations of solder paste and placement settings. Also, two kernel functions, linear (SVR-Linear) and radial basis function (SVR-RBF), are employed. The achieved results indicate that the component shift in P&P process is significant, and the SVR model is highly qualified for the forecast of the component shifts. Particularly, the SVR-RBF model outperforms the SVR-Linear model considering the prediction error.


title: On Shortfall Risk Minimization for Game Options

abstract: In this paper we study the existence of an optimal hedging strategy for the shortfall risk measure in the game options setup. We consider the continuous time Black--Scholes (BS) model. Our first result says that in the case where the game contingent claim (GCC) can be exercised only on a finite set of times, there exists an optimal strategy. Our second and main result is an example which demonstrates that for the case where the GCC can be stopped on the all time interval, optimal portfolio strategies need not always exist.


title: Stellar Population Properties of ETGs in Compact Groups of Galaxies

abstract: We present results on the study of the stellar population in Early-Type galaxies (ETGs) belonging to 151 Compact Groups (CGs). We also selected a field sample composed of 846 ETGs to investigate environmental effects on galaxy evolution. We find that the dependences of mean stellar ages, [Z/H] and [$\alpha$/Fe] on central stellar velocity dispersion are similar, regardless where the ETG resides, CGs or field. When compared to the sample of centrals and satellites from the literature, we find that ETGs in GCs behave similarly to centrals, especially those embedded in low-mass haloes ($M_{h} < 10^ {12.5}M_{\odot}$). Except for the low-mass limit, where field galaxies present a Starforming signature, not seen in CGs, the ionization agent of the gas in CG and field galaxies seem to be similar and due to hot, evolved low-mass stars. However, field ETGs present an excess of H$\alpha$ emission relative to ETGs in CGs. Additionally, we performed a dynamical analysis, which shows that CGs present a bimodality in the group velocity dispersion distribution - a high and low-$\sigma$ mode. Our results indicate that high-$\sigma$ groups have a smaller fraction of spirals, shorter crossing times, and a more luminous population of galaxies than the low $\sigma$ groups. It is important to emphasize that our findings point to a small environmental impact on galaxies located in CGs. The only evidence we find is the change in gas content, suggesting environmentally-driven gas loss.


title: Deep Differentiable Grasp Planner for High-DOF Grippers

abstract: We present an end-to-end algorithm for training deep neural networks to grasp novel objects. Our algorithm builds all the essential components of a grasping system using a forward-backward automatic differentiation approach, including the forward kinematics of the gripper, the collision between the gripper and the target object, and the metric for grasp poses. In particular, we show that a generalized Q1 grasp metric is defined and differentiable for inexact grasps generated by a neural network, and the derivatives of our generalized Q1 metric can be computed from a sensitivity analysis of the induced optimization problem. We show that the derivatives of the (self-)collision terms can be efficiently computed from a watertight triangle mesh of low-quality. Altogether, our algorithm allows for the computation of grasp poses for high-DOF grippers in an unsupervised mode with no ground truth data, or it improves the results in a supervised mode using a small dataset. Our new learning algorithm significantly simplifies the data preparation for learning-based grasping systems and leads to higher qualities of learned grasps on common 3D shape datasets [7, 49, 26, 25], achieving a 22% higher success rate on physical hardware and a 0.12 higher value on the Q1 grasp quality metric.


title: Providing Insights for Queries affected by Failures and Stragglers

abstract: Interactive time responses are a crucial requirement for users analyzing large amounts of data. Such analytical queries are typically run in a distributed setting, with data being sharded across thousands of nodes for high throughput. However, providing real-time analytics is still a very big challenge; with data distributed across thousands of nodes, the probability that some of the required nodes are unavailable or very slow during query execution is very high and unavailability may result in slow execution or even failures. The sheer magnitude of data and users increase resource contention and this exacerbates the phenomenon of stragglers and node failures during execution. In this paper, we propose a novel solution to alleviate the straggler/failure problem that exploits existing efficient partitioning properties of the data, particularly, co-hash partitioned data, and provides approximate answers along with confidence bounds to queries affected by failed/straggler nodes. We consider aggregate queries that involve joins, group bys, having clauses and a subclass of nested subqueries. Finally, we validate our approach through extensive experiments on the TPC-H dataset.


title: Bounded Derivations on Uniform Roe Algebras

abstract: We show that if $C_u^*(X)$ is a uniform Roe algebra associated to a bounded geometry metric space X, then all bounded derivations on $C^*_u(X)$ are inner.


title: High resolution photonic force microscopy based on sharp nano-fabricated tips

abstract: Sub-nm resolution images can be achieved by Atomic Force Microscopy (AFM) on samples that are deposited on hard substrates. However, it is still extremely challenging to image soft interfaces, such as biological membranes, due to the deformations induced by the tip. Photonic Force Microscopy (PhFM), based on optical tweezers (OT), represents an interesting alternative for soft scanning-probe microscopy. Using light instead of a physical cantilever to hold the scanning probe results in a stiffness ($k_{OT}\sim0.1-0.001$ pN/nm) which can be 2-3 orders of magnitude lower than that of standard cantilevers ($k_{AFM}\sim 10$ pN/nm). Combined with nm resolution of displacement measurements of the trapped probe, this allows for imaging soft materials without force-induced artefacts. However, the size of the optically trapped probe, often chosen as a $\sim \mu$m-size sphere, has so far limited the resolution of PhFM. Here we show a novel and simple nanofabrication protocol to massively produce optically trappable quartz particles which mimic the sharp tips of AFM. We demonstrate and quantify the stable trapping of particles with tips as sharp as 35 nm, the smallest used in PhFM to date. Raster scan images of rigid nanostructures with features smaller than 80 nm obtained with our tips compare well with AFM images of the same samples. Imaging the membrane of living malaria-infected red blood cells produces no visible artefacts and reveals the sub-micron structural features termed knobs, related to the parasite activity within the cell. The use of nano-engineered particles in PhFM opens the way to imaging soft and biological samples at high resolution.


title: Spacetime Harmonic Functions and the Mass of 3-Dimensional Asymptotically Flat Initial Data for the Einstein Equations

abstract: We give a lower bound for the Lorentz length of the ADM energy-momentum vector (ADM mass) of 3-dimensional asymptotically flat initial data sets for the Einstein equations. The bound is given in terms of linear growth `spacetime harmonic functions' in addition to the energy-momentum density of matter fields, and is valid regardless of whether the dominant energy condition holds or whether the data possess a boundary. A corollary of this result is a new proof of the spacetime positive mass theorem for complete initial data or those with weakly trapped surface boundary, and includes the rigidity statement which asserts that the mass vanishes if and only if the data arise from Minkowski space. The proof has some analogy with both the Witten spinorial approach as well as the marginally outer trapped surface (MOTS) method of Eichmair, Huang, Lee, and Schoen. Furthermore, this paper generalizes the harmonic level set technique used in the Riemannian case by Bray, Stern, and the second and third authors, albeit with a different class of level sets. Thus, even in the time-symmetric (Riemannian) case a new inequality is achieved.


title: Lightweight Convolutional Representations for On-Device Natural Language Processing

abstract: The increasing computational and memory complexities of deep neural networks have made it difficult to deploy them on low-resource electronic devices (e.g., mobile phones, tablets, wearables). Practitioners have developed numerous model compression methods to address these concerns, but few have condensed input representations themselves. In this work, we propose a fast, accurate, and lightweight convolutional representation that can be swapped into any neural model and compressed significantly (up to 32x) with a negligible reduction in performance. In addition, we show gains over recurrent representations when considering resource-centric metrics (e.g., model file size, latency, memory usage) on a Samsung Galaxy S9.


title: The utilization of total mass to determine the switching points in the symmetric boundary control of a diffusion problem

abstract: The authors study the problem $u_t=u_{xx},\ 0<x<1,\ t>0; \ u(x,0)=0,$ and $u(0,t)=u(1,t)=\psi(t),$ where $\psi(t)=u_0$ for $t_{2k} < t<t_{2k+1}$ and $\psi(t)=0$ for $t_{2k+1} <t<t_{2k+2},\ k=0,1,2,\ldots$ with $t_0=0$ and the sequence $t_{k}$ is determined by the equations $\int_0^1 u(x,t_k)dx = M,$ for $k=1,3,5,\dots,$ and $\int_0^1 u(x,t_k)dx = m,$ for $k=2,4,6,\dots$ and where $0<m<M<u_0$. Note that the switching points $t_k,\quad k=1,2,3,\ldots$ are unknown. Existence and uniqueness are demonstrated. Theoretical estimates of the $t_k$ and $t_{k+1}-t_k$ are obtained and numerical verifications of the estimates are presented.


title: Academic viewpoints and concerns on CSCW education and training in Latin America

abstract: Computer-Supported Cooperative Work, or simply CSCW, is the research area that studies the design and use of socio-technical technology for supporting group work. CSCW has a long tradition in interdisciplinary work exploring technical, social, and theoretical challenges for the design of technologies to support cooperative and collaborative work and life activities. However, most of the research tradition, methods, and theories in the field follow a strong trend grounded in social and cultural aspects from North America and Western Europe. Therefore, it is inevitable that some of the underlying, and established, knowledge in the field will not be directly transferrable or applicable to other populations. This paper presents the results of an interview study conducted with Latin American faculty on the feasability, viability, and prospect of a curriculum proposal for CSCW Education in Latin America: To this end, we conducted nine interviews with faculty currently based in six countries of the region, aiming to understand how a CSCW course targeted to undergraduate and/or graduate students in Latin America might be deployed. Our findings suggest that there are specific traits that need to be addressed in such a course, such as: tailoring foundational CSCW concepts to the diversity of local cultures, motivating the involvement of students by tackling relevant problems to their local communities, and revitalizing CSCW research and practice in the continent.


title: Witt vectors with coefficients and characteristic polynomials over non-commutative rings

abstract: For a not-necessarily commutative ring R we define an abelian group W(R;M) of Witt vectors with coefficients in an R-bimodule M. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous formal properties and structure. One main result is that W(R) := W(R;R) is Morita invariant in R. For an R-linear endomorphism f of a finitely generated projective R-module we define a characteristic element $\chi_f \in W(R)$. This element is a non-commutative analogue of the classical characteristic polynomial and we show that it has similar properties. The assignment $f \mapsto \chi_f$ induces an isomorphism between a suitable completion of cyclic K-theory and W(R).


title: Long distance coherence of Majorana wires

abstract: Theoretically, a pair of Majorana bound states in a topological superconductor forms a single fermionic level even at large separations, implying that the parity information is stored nonlocally. The nonlocality leads to a long-distance coherence for electrons tunneling through a Coulomb blockaded Majorana wire [Fu, Phys. Rev. Lett. 104, 056402 (2010)], an effect that can be observed, e.g., in an interferometer. Here, we examine theoretically the coherent electron transfer, taking into account that tunneling implies the long-distance transfer of charge, which is carried by one-dimensional plasmons. We show that the charge dynamics does not affect the coherence of the electron tunneling process in a topological superconductor consisting of a semiconductor wire proximitized by a single bulk superconductor. The coherence may be strongly suppressed, however, if the topological superconductivity derives from a semiconductor wire proximitized by a granular superconductor.


title: Four examples of Beilinson-Bernstein localization

abstract: Let $\mathfrak{g}$ be a complex semisimple Lie algebra. The Beilinson-Bernstein localization theorem establishes an equivalence of the category of $\mathfrak{g}$-modules of a fixed infinitesimal character and a category of modules over a twisted sheaf of differential operators on the flag variety of $\mathfrak{g}$. In this expository paper, we give four detailed examples of this theorem when $\mathfrak{g}=\mathfrak{sl}(2,\mathbb{C})$. Specifically, we describe the $\mathcal{D}$-modules associated to finite-dimensional irreducible $\mathfrak{g}$-modules, Verma modules, Whittaker modules, discrete series representations of $SL(2,\mathbb{R})$, and principal series representations of $SL(2,\mathbb{R})$.


title: Separating Variables in Bivariate Polynomial Ideals

abstract: We present an algorithm which for any given ideal $I\subseteq\mathbb{K} [x,y]$ finds all elements of $I$ that have the form $f(x) - g(y)$, i.e., all elements in which no monomial is a multiple of $xy$.


title: A family of virtual contraction based controllers for tracking of flexible-joints port-Hamiltonian robots: theory and experiments

abstract: In this work we present a constructive method to design a family of virtual contraction based controllers that solve the standard trajectory tracking problem of flexible-joint robots (FJRs) in the port-Hamiltonian (pH) framework. The proposed design method, called virtual contraction based control (v-CBC), combines the concepts of virtual control systems and contraction analysis. It is shown that under potential energy matching conditions, the closed-loop virtual system is contractive and exponential convergence to a predefined trajectory is guaranteed. Moreover, the closed-loop virtual system exhibits properties such as structure preservation, differential passivity and the existence of (incrementally) passive maps.


title: Transparency and Trust in Human-AI-Interaction: The Role of Model-Agnostic Explanations in Computer Vision-Based Decision Support

abstract: Computer Vision, and hence Artificial Intelligence-based extraction of information from images, has increasingly received attention over the last years, for instance in medical diagnostics. While the algorithms' complexity is a reason for their increased performance, it also leads to the "black box" problem, consequently decreasing trust towards AI. In this regard, "Explainable Artificial Intelligence" (XAI) allows to open that black box and to improve the degree of AI transparency. In this paper, we first discuss the theoretical impact of explainability on trust towards AI, followed by showcasing how the usage of XAI in a health-related setting can look like. More specifically, we show how XAI can be applied to understand why Computer Vision, based on deep learning, did or did not detect a disease (malaria) on image data (thin blood smear slide images). Furthermore, we investigate, how XAI can be used to compare the detection strategy of two different deep learning models often used for Computer Vision: Convolutional Neural Network and Multi-Layer Perceptron. Our empirical results show that i) the AI sometimes used questionable or irrelevant data features of an image to detect malaria (even if correctly predicted), and ii) that there may be significant discrepancies in how different deep learning models explain the same prediction. Our theoretical discussion highlights that XAI can support trust in Computer Vision systems, and AI systems in general, especially through an increased understandability and predictability.


title: On the (dis)continuity of the Fourier transform of measures

abstract: In this paper, we will study the continuity of the Fourier transform of measures with respect to the vague topology. We show that the Fourier transform is vaguely discontinuous on R, but becomes continuous when restricting to a class of Fourier transformable measures such that either the measures, or their Fourier transforms are equi-translation bounded. We discuss continuity of the Fourier transform in the product and norm topology. We show that vague convergence of positive definite measures implies the equi translation boundedness of the Fourier transforms, which explains the continuity of the Fourier transform on the cone of positive definite measures. In the appendix, we characterize vague precompactness of a set a measures in arbitrary LCAG, and the necessity of second countability property of a group for defining the autocorrelation measure.


title: Optimal deception attack on networked vehicular cyber physical systems

abstract: Herein, design of false data injection attack on a distributed cyber-physical system is considered. A stochastic process with linear dynamics and Gaussian noise is measured by multiple agent nodes, each equipped with multiple sensors. The agent nodes form a multi-hop network among themselves. Each agent node computes an estimate of the process by using its sensor observation and messages obtained from neighboring nodes,via Kalman-consensus filtering. An external attacker, capable of arbitrarily manipulating the sensor observations of some or all agent nodes, injects errors into those sensor observations. The goal of the attacker is to steer the estimates at the agent nodes as close as possible to a pre-specified value, while respecting a constraint on the attack detection probability. To this end,a constrained optimization problem is formulated to find the optimal parameter values of a certain class of linear attacks. The parameters of linear attack are learnt on-line via a combination of stochastic approximation and online stochastic gradient descent.Numerical results demonstrate the efficacy of the attack.


title: Mobility Management for Cellular-Connected UAVs: A Learning-Based Approach

abstract: The pervasiveness of the wireless cellular network can be a key enabler for the deployment of autonomous unmanned aerial vehicles (UAVs) in beyond visual line of sight scenarios without human control. However, traditional cellular networks are optimized for ground user equipment (GUE) such as smartphones which makes providing connectivity to flying UAVs very challenging. Moreover, ensuring better connectivity to a moving cellular-connected UAV is notoriously difficult due to the complex air-to-ground path loss model. In this paper, a novel mechanism is proposed to ensure robust wireless connectivity and mobility support for cellular-connected UAVs by tuning the downtilt (DT) angles of all the GBSs. By leveraging tools from reinforcement learning (RL), DT angles are dynamically adjusted by using a model-free RL algorithm. The goal is to provide efficient mobility support in the sky by maximizing the received signal quality at the UAV while also maintaining good throughput performance of the ground users. Simulation results show that the proposed RL-based mobility management (MM) technique can reduce the number of handovers while maintaining the performance goals, compared to the baseline MM scheme in which the network always keeps the DT angle fixed.


title: Accelerating Psychometric Screening Tests With Bayesian Active Differential Selection

abstract: Classical methods for psychometric function estimation either require excessive measurements or produce only a low-resolution approximation of the target psychometric function. In this paper, we propose a novel solution for rapid screening for a change in the psychometric function estimation of a given patient. We use Bayesian active model selection to perform an automated pure-tone audiogram test with the goal of quickly finding if the current audiogram will be different from a previous audiogram. We validate our approach using audiometric data from the National Institute for Occupational Safety and Health NIOSH. Initial results show that with a few tones we can detect if the patient's audiometric function has changed between the two test sessions with high confidence.


title: Towards B -> X_s gamma at the NNLO in QCD without interpolation in m_c

abstract: Strengthening constraints on new physics from the B -> X_s gamma branching ratio requires improving accuracy in the measurements and the Standard Model predictions. To match the expected Belle-II accuracy, Next-to-Next-to-Leading Order (NNLO) QCD corrections must be calculated without the so-far employed interpolation in the charm-quark mass m_c. In the process of evaluating such corrections at the physical value of m_c, we have finalized the part coming from diagrams with closed fermion loops on the gluon lines that contribute to the interference of the current-current and photonic dipole operators. We confirm several published results for corrections of this type, and supplement them with a previously uncalculated piece. Taking into account the recently improved estimates of non-perturbative contributions, we find B_{s gamma} = (3.40 \pm 0.17) * 10^{-4} and R_gamma = B_{(s+d) gamma}/B_{c l nu} = (3.35 \pm 0.16) * 10^{-3} for E_gamma > 1.6 GeV in the decaying meson rest frame.