title: Quantifying the Effects of Contact Tracing, Testing, and Containment Measures in the Presence of Infection Hotspots

abstract: Multiple lines of evidence strongly suggest that infection hotspots, where a single individual infects many others, play a key role in the transmission dynamics of COVID-19. However, most of the existing epidemiological models fail to capture this aspect by neither representing the sites visited by individuals explicitly nor characterizing disease transmission as a function of individual mobility patterns. In this work, we introduce a temporal point process modeling framework that specifically represents visits to the sites where individuals get in contact and infect each other. Under our model, the number of infections caused by an infectious individual naturally emerges to be overdispersed. Using an efficient sampling algorithm, we demonstrate how to estimate the transmission rate of infectious individuals at the sites they visit and in their households using Bayesian optimization and longitudinal case data. Simulations using fine-grained and publicly available demographic data and site locations from Bern, Switzerland showcase the flexibility of our framework. To facilitate research and analyses of other cities and regions, we release an open-source implementation of our framework.

categories: cs.LG cs.SI physics.soc-ph q-bio.PE stat.ML


title: Towards Instance-Level Parser Selection for Cross-Lingual Transfer of Dependency Parsers

abstract: Current methods of cross-lingual parser transfer focus on predicting the best parser for a low-resource target language globally, that is, "at treebank level". In this work, we propose and argue for a novel cross-lingual transfer paradigm: instance-level parser selection (ILPS), and present a proof-of-concept study focused on instance-level selection in the framework of delexicalized parser transfer. We start from an empirical observation that different source parsers are the best choice for different Universal POS sequences in the target language. We then propose to predict the best parser at the instance level. To this end, we train a supervised regression model, based on the Transformer architecture, to predict parser accuracies for individual POS-sequences. We compare ILPS against two strong single-best parser selection baselines (SBPS): (1) a model that compares POS n-gram distributions between the source and target languages (KL) and (2) a model that selects the source based on the similarity between manually created language vectors encoding syntactic properties of languages (L2V). The results from our extensive evaluation, coupling 42 source parsers and 20 diverse low-resource test languages, show that ILPS outperforms KL and L2V on 13/20 and 14/20 test languages, respectively. Further, we show that by predicting the best parser "at the treebank level" (SBPS), using the aggregation of predictions from our instance-level model, we outperform the same baselines on 17/20 and 16/20 test languages.


title: Hereditary subshifts whose measure of maximal entropy has no Gibbs property

abstract: We show that the measure of maximal entropy for the hereditary closure of a $\mathscr{B}$-free subshift has the Gibbs property if and only if the Mirsky measure of the subshift is purely atomic. This answers an open question asked by Peckner. Moreover, we show that $\mathscr{B}$ is taut whenever the corresponding Mirsky measure $\nu_\eta$ has full support. This is the converse theorem to a recent result of Keller.


title: Machine-learning-based methods for output only structural modal identification

abstract: In this study, we propose a machine-learning-based approach to identify the modal parameters of the output-only data for structural health monitoring (SHM) that makes full use of the characteristic of independence of modal responses and the principle of machine learning. By taking advantage of the independence feature of each mode, we use the principle of unsupervised learning, making the training process of the deep neural network becomes the process of modal separation. A self-coding deep neural network is designed to identify the structural modal parameters from the vibration data of structures. The mixture signals, that is, the structural response data, are used as the input of the neural network. Then we use a complex loss function to restrict the training process of the neural network, making the output of the third layer the modal responses we want, and the weights of the last two layers are mode shapes. The deep neural network is essentially a nonlinear objective function optimization problem. A novel loss function is proposed to constrain the independent feature with consideration of uncorrelation and non-Gaussianity to restrict the designed neural network to obtain the structural modal parameters. A numerical example of a simple structure and an example of actual SHM data from a cable-stayed bridge are presented to illustrate the modal parameter identification ability of the proposed approach. The results show the approach's good capability in blindly extracting modal information from system responses.


title: Mathematical model of LoRaWAN channel access

abstract: While 3GPP has been developing NB-IoT, the market of Low Power Wide Area Networks has been mastered by cheap and simple Sigfox and LoRa/LoRaWAN technologies. Being positioned as having an open standard, LoRaWAN has attracted also much interest from the research community. Specifically, many papers address the efficiency of its PHY layer. However MAC is still underinvestigated. Existing studies of LoRaWAN do not take into account the acknowledgement and retransmission policy, which may lead to incorrect results. In this paper, we carefully take into account the peculiarities of LoRaWAN transmission retries and show that it is the weakest issue of this technology, which significantly increases failure probability for retries. The main contribution of the paper is a mathematical model which accurately estimates how packet error rate depends on the offered load. In contrast to other papers, which evaluate LoRaWAN capacity just as the maximal throughput, our model can be used to find the maximal load, which allows reliable packet delivery.


title: Gap Statistics of the Sequence $\{\alpha\sqrt{n}\}$

abstract: The gaps in the sequence $\{\sqrt{n}\}$ were shown by Elkies-McMullen (2004) to have a limiting distribution which is not the exponential distribution. However it is conjectured that the distribution of gaps in the sequence $\{\alpha\sqrt{n}\}$ is exponential, provided $\alpha^2$ is irrational. For almost all values of $\alpha$, we prove an important step in this direction. In particular, we show that all the correlations are Poissonian along a subsequence. Therefore, our result implies that the gap distribution converges to the exponential distribution along the same subsequence.


title: Unveiling the power spectra of $\delta$ Scuti stars with TESS. The temperature, gravity, and frequency scaling relation

abstract: Thanks to high-precision photometric data legacy from space telescopes like CoRoT and Kepler, the scientific community could detect and characterize the power spectra of hundreds of thousands of stars. Using the scaling relations, it is possible to estimate masses and radii for solar-type pulsators. However, these stars are not the only kind of stellar objects that follow these rules: $\delta$ Scuti stars seem to be characterized with seismic indexes such as the large separation ($\Delta\nu$). Thanks to long-duration high-cadence TESS light curves, we analysed more than two thousand of this kind of classical pulsators. In that way, we propose the frequency at maximum power ($\nu_{\rm max}$) as a proper seismic index since it is directly related with the intrinsic temperature, mass and radius of the star. This parameter seems not to be affected by rotation, inclination, extinction or resonances, with the exception of the evolution of the stellar parameters. Furthermore, we can constrain rotation and inclination using the departure of temperature produced by the gravity-darkening effect. This is especially feasible for fast rotators as most of $\delta$ Scuti stars seem to be.


title: Entropy rate of product of independent processes

abstract: We study the multiplicative version of the classical Furstenberg's filtering problem, where instead of the sum $\mathbf{X}+\mathbf{Y}$ one considers the product $\mathbf{X}\cdot \mathbf{Y}$ ($\mathbf{X}$ and $\mathbf{Y}$ are bilateral, real, finitely-valued, stationary independent processes, $\mathbf{Y}$ is taking values in $\{0,1\}$). We provide formulas for $\mathbf{H}(\mathbf{X}\cdot\mathbf{Y}|\mathbf{Y})$. As a consequence, we show that if $\mathbf{H}(\mathbf{X})>\mathbf{H}(\mathbf{Y})=0$ and $\mathbf{X}\amalg \mathbf{Y}$, then $\mathbf{H}(\mathbf{X}\cdot \mathbf{Y})<\mathbf{H}(\mathbf{X})$ (and thus $\mathbf{X}$ cannot be filtered out from $\mathbf{X}\cdot\mathbf{Y}$) whenever $\mathbf{X}$ is not bilaterally deterministic, $\mathbf{Y}$ is ergodic and $\mathbf{Y}$ first return to $1$ can take arbitrarily long with positive probability. On the other hand, if almost surely $\mathbf{Y}$ visits $1$ along an infinite arithmetic progression of a fixed difference (with possibly some more visits in between) then we can find $\mathbf{X}$ that is not bilaterally deterministic and such that $\mathbf{H}(\mathbf{X}\cdot\mathbf{Y})=\mathbf{H}(\mathbf{X})$. As a consequence, a $\mathscr{B}$-free system $(X_\eta,S)$ is proximal if and only if there is always an entropy drop $h(\kappa\ast\nu_\eta)<h(\kappa)$ for any $\kappa$ corresponding to a non-bilaterally deterministic process of positive entropy. These results partly settle some open problems on invariant measures for $\mathscr{B}$-free systems.


title: Notes on the interpretation of dependence measures

abstract: Besides the classical distinction of correlation and dependence, many dependence measures bear further pitfalls in their application and interpretation. The aim of this paper is to raise and recall awareness of some of these limitations by explicitly discussing Pearson's correlation and the multivariate dependence measures: distance correlation, distance multicorrelations and their copula versions. The discussed aspects include types of dependence, bias of empirical measures, influence of marginal distributions and dimensions. In general it is recommended to use a proper dependence measure instead of Pearson's correlation. Moreover, a measure which is distribution-free (at least in some sense) can help to avoid certain systematic errors. Nevertheless, in a truly multivariate setting only the p-values of the corresponding independence tests provide always values with indubitable interpretation.


title: Fully Dynamic s-t Edge Connectivity in Subpolynomial Time

abstract: We present a deterministic fully dynamic algorithm to answer $c$-edge connectivity queries on pairs of vertices in $n^{o(1)}$ worst case update and query time for any positive integer $c = (\log n)^{o(1)}$ for a graph with $n$ vertices. Previously, only polylogarithmic and $O(\sqrt{n})$ worst case update time fully dynamic algorithms were known for answering $1$, $2$ and $3$-edge connectivity queries respectively [Henzinger and King 1995, Frederikson 1997, Galil and Italiano 1991]. Our result extends the $c$-edge connectivity vertex sparsifier [Chalermsook et al. 2021] to a multi-level sparsification framework. As our main technical contribution, we present a novel update algorithm for the multi-level $c$-edge connectivity vertex sparsifier with subpolynomial update time.


title: Convergence of Eigenvector Continuation

abstract: Eigenvector continuation is a computational method that finds the extremal eigenvalues and eigenvectors of a Hamiltonian matrix with one or more control parameters. It does this by projection onto a subspace of eigenvectors corresponding to selected training values of the control parameters. The method has proven to be very efficient and accurate for interpolating and extrapolating eigenvectors. However, almost nothing is known about how the method converges, and its rapid convergence properties have remained mysterious. In this letter we present the first study of the convergence of eigenvector continuation. In order to perform the mathematical analysis, we introduce a new variant of eigenvector continuation that we call vector continuation. We first prove that eigenvector continuation and vector continuation have identical convergence properties and then analyze the convergence of vector continuation. Our analysis shows that, in general, eigenvector continuation converges more rapidly than perturbation theory. The faster convergence is achieved by eliminating a phenomenon that we call differential folding, the interference between non-orthogonal vectors appearing at different orders in perturbation theory. From our analysis we can predict how eigenvector continuation converges both inside and outside the radius of convergence of perturbation theory. While eigenvector continuation is a non-perturbative method, we show that its rate of convergence can be deduced from power series expansions of the eigenvectors. Our results also yield new insights into the nature of divergences in perturbation theory.

categories: nucl-th cond-mat.str-el cs.NA hep-lat hep-ph math.NA


title: Supercongruences for Almkvist--Zudilin sequences

abstract: In this note, we prove two supercongruences involving Almkvist--Zudilin sequences, which were originally conjectured by Z.-H. Sun.


title: Chaos-Based Multicarrier VLC Modulator With Compensation of LED Nonlinearity

abstract: The massive deployment of light-emitting diode (LED) lightning infrastructure has opened the opportunity to reuse it as visible light communication (VLC) to leverage the current RF spectrum crisis in indoor scenarios. One of the main problems in VLC is the limited dynamic range of LEDs and their nonlinear response, which may lead to a severe degradation in the communication, and more specifically in the bit error rate (BER). This is aggravated by the extensive usage of multicarrier multiplexing, based on optical orthogonal frequency division multiplexing (O-OFDM), characterized by a high peak-to-average power ratio. Here, we present a chaos-based coded modulation (CCM) setup specifically adapted to the LED nonlinearities. It replaces the usual modulation, while keeping the multicarrier O-OFDM structure unchanged. First, we obtain a semi-analytical bound for the bit error probability, taking into account the LED nonlinear response. The bound results particularly tight for the range of signal-to-noise ratio of interest. Then, we propose a method to design the modulator based on optimization techniques. The objective function is the semi-analytical bound, and the optimization is applied to a parameterization of the CCM conjugation function. This appropriately shapes the chaotic waveform and leads to BER improvements that outperform classical counterparts under ideal predistortion.


title: Numerical simulations of shear-induced consecutive coronal mass ejections

abstract: Methods: Stealth CMEs represent a particular class of solar eruptions that are clearly distinguished in coronagraph observations, but they don't have a clear source signature. A particular type of stealth CMEs occurs in the trailing current sheet of a previous ejection, therefore, we used the 2.5D MHD package of the code MPI-AMRVAC to numerically simulate consecutive CMEs by imposing shearing motions onto the inner boundary. The initial magnetic configuration consists of a triple arcade structure embedded into a bimodal solar wind, and the sheared polarity inversion line is found in the southern loop system. The mesh was continuously adapted through a refinement method that applies to current carrying structures. We then compared the obtained eruptions with the observed directions of propagation of an initial multiple coronal mass ejection (MCME) event that occurred in September 2009. We further analysed the simulated ejections by tracking the centre of their flux ropes in latitude and their total speed. Radial Poynting flux computation was employed as well to follow the evolution of electromagnetic energy introduced into the system. Results: Changes within 1\% in the shearing speed result in three different scenarios for the second CME, although the preceding eruption seems insusceptible to such small variations. Depending on the applied shearing speed, we thus obtain a failed eruption, a stealth, or a CME driven by the imposed shear, as the second ejection. The dynamics of all eruptions are compared with the observed directions of propagation of an MCME event and a good correlation is achieved. The Poynting flux analysis reveals the temporal variation of the important steps of eruptions. For the first time, a stealth CME is simulated in the aftermath of a first eruption, through changes in the applied shearing speed.


title: Vector perturbations in bouncing cosmology

abstract: An old question surrounding bouncing models concerns their stability under vector perturbations. Considering perfect fluids or scalar fields, vector perturbations evolve kinematically as $a^{-2}$, where $a$ is the scale factor. Consequently, a definite answer concerning the bounce stability depends on an arbitrary constant, therefore, there is no definitive answer. In this paper, we consider a more general situation where the primeval material medium is a non-ideal fluid, and its shear viscosity is capable of producing torque oscillations, which can create and dynamically sustain vector perturbations along cosmic evolution. In this framework, one can set that vector perturbations have a quantum mechanical origin, coming from quantum vacuum fluctuations in the far past of the bouncing model, as it is done with scalar and tensor perturbations. Under this prescription, one can calculate their evolution during the whole history of the bouncing model, and precisely infer the conditions under which they remain linear before the expanding phase. It is shown that such linearity conditions impose constraints on the free parameters of bouncing models, which are mild, although not trivial, allowing a large class of possibilities. Such conditions impose that vector perturbations are also not observationally relevant in the expanding phase. The conclusion is that bouncing models are generally stable under vector perturbations. As they are also stable under scalar and tensor perturbations, we conclude that bouncing models are generally stable under perturbations originated from quantum vacuum perturbations in the far past of their contracting phase.


title: Adding virtual measurements by PWM-induced signal injection

abstract: We show that for PWM-operated devices, it is possible to benefit from signal injection \emph{without an external probing signal}, by suitably using the excitation provided by the PWM itself. As in the usual signal injection framework conceptualized in [1], an extra "virtual measurement" can be made available for use in a control law, but without the practical drawbacks caused by an external signal.


title: Old is Gold: Redefining the Adversarially Learned One-Class Classifier Training Paradigm

abstract: A popular method for anomaly detection is to use the generator of an adversarial network to formulate anomaly scores over reconstruction loss of input. Due to the rare occurrence of anomalies, optimizing such networks can be a cumbersome task. Another possible approach is to use both generator and discriminator for anomaly detection. However, attributed to the involvement of adversarial training, this model is often unstable in a way that the performance fluctuates drastically with each training step. In this study, we propose a framework that effectively generates stable results across a wide range of training steps and allows us to use both the generator and the discriminator of an adversarial model for efficient and robust anomaly detection. Our approach transforms the fundamental role of a discriminator from identifying real and fake data to distinguishing between good and bad quality reconstructions. To this end, we prepare training examples for the good quality reconstruction by employing the current generator, whereas poor quality examples are obtained by utilizing an old state of the same generator. This way, the discriminator learns to detect subtle distortions that often appear in reconstructions of the anomaly inputs. Extensive experiments performed on Caltech-256 and MNIST image datasets for novelty detection show superior results. Furthermore, on UCSD Ped2 video dataset for anomaly detection, our model achieves a frame-level AUC of 98.1%, surpassing recent state-of-the-art methods.


title: Exchange interaction of hole-spin qubits in double quantum dots in highly anisotropic semiconductors

abstract: We study the exchange interaction between two hole-spin qubits in a double quantum dot setup in a silicon nanowire in the presence of magnetic and electric fields. Based on symmetry arguments we show that there exists an effective spin that is conserved even in highly anisotropic semiconductors, provided that the system has a twofold symmetry with respect to the direction of the applied magnetic field. This finding facilitates the definition of qubit basis states and simplifies the form of exchange interaction for two-qubit gates in coupled quantum dots. If the magnetic field is applied along a generic direction, cubic anisotropy terms act as an effective spin-orbit interaction introducing novel exchange couplings even for an inversion symmetric setup. Considering the example of a silicon nanowire double dot, we present the relative strength of these anisotropic exchange interaction terms and calculate the fidelity of the $\sqrt{\text{SWAP}}$ gate. Furthermore, we show that the anisotropy-induced spin-orbit effects can be comparable to that of the direct Rashba spin-orbit interaction for experimentally feasible electric field strengths.


title: Algorithmic Foundations for the Diffraction Limit

abstract: For more than a century and a half it has been widely-believed (but was never rigorously shown) that the physics of diffraction imposes certain fundamental limits on the resolution of an optical system. However our understanding of what exactly can and cannot be resolved has never risen above heuristic arguments which, even worse, appear contradictory. In this work we remedy this gap by studying the diffraction limit as a statistical inverse problem and, based on connections to provable algorithms for learning mixture models, we rigorously prove upper and lower bounds on the statistical and algorithmic complexity needed to resolve closely spaced point sources. In particular we show that there is a phase transition where the sample complexity goes from polynomial to exponential. Surprisingly, we show that this does not occur at the Abbe limit, which has long been presumed to be the true diffraction limit.


title: The effect of surface morphology on the rate of phase change of micron and sub-micron sized 2-D droplets

abstract: Heat transfer via phase change is a major contributor to heat removal in numerous engineering applications. Thin films of liquid result in increased heat transfer due to a reduction of conduction resistance, in addition the pressure jump at the liquid-vapor interface also affects the rate and direction of rate of phase change. Because of these effects the morphology of the substrate surface is expected to affect the film shape, hence heat transfer, especially in thin films. In this study, the influence of surface characteristics on the rate of phase change from micron and sub-micron sized 2-D droplets-i.e. films extending to infinity-forming on a substrate are modeled. Surface film profiles are generated on both flat and non-flat surfaces, triangular or wavy in nature, and a kinetic model for quasi-equilibrium phase change is applied. Due to the presence of intermolecular forces at the contact line, which render the solution of the augmented Young-Laplace equation stiff, an implicit scheme is employed for the numerical integration. To verify the method, the predictions of a molecular dynamics (MD) simulation of a nano sized droplet present on a V-grooved surface is compared to the continuum model. The augmented Young-Laplace equation is solved numerically along with a phase change model originating from kinetic theory to calculate the shape of the two-phase interface forming the droplet and study the effect of various parameters on the rate of phase change. Results are obtained for droplets with liquid pressures higher and lower than that of vapor, resulting in opposite contribution to phase change due to the pressure jump at the interface. The results show that the heat transfer rate can be substantially altered due primarily to the combined effects of surface morphology and disjoining pressure.


title: Lifshitz-scaling in CPT-even Lorentz-violating electrodynamics and GRB time delay

abstract: In this work, we consider the Ho\v{r}ava-Lifshitz scaling to rewrite higher-order derivatives in Lorentz-violating CPT-even electrodynamics. The possibility of the Lorentz invariance violation being originally suppressed by the quantum gravity energy scale $M_{\rm QG}$, may be indeed circumvented in a scenario with anisotropy between space and time above certain intermediate energy scale $\Lambda_{\rm HL} \ll M_{\rm QG}$. To test the model, we have used observational results of a cosmological time delay between high and low energy photons from gamma ray bursts (GRB090510) event. For specific values of the Lifshitz critical exponent, we have found interesting lower bounds on the values of $M_{\rm QG}$.


title: Quantifying Low-Battery Anxiety of Mobile Users and Its Impacts on Video Watching Behavior

abstract: People nowadays are increasingly dependent on mobile phones for daily communication, study, and business. Along with this it incurs the low-battery anxiety (LBA). Although having been unveiled for a while, LBA has not been thoroughly investigated yet. Without a better understanding of LBA, it would be difficult to precisely validate energy saving and management techniques in terms of alleviating LBA and enhancing Quality of Experience (QoE) of mobile users. To fill the gap, we conduct an investigation over 2000+ mobile users, look into their feelings and reactions towards LBA, and quantify their anxiety degree during the draining of battery power. As a case study, we also investigate the impact of LBA on user's behavior at video watching, and with the massive collected answers we are able to quantify user's abandoning likelihood of attractive videos versus the battery status of mobile phone. The empirical findings and quantitative models obtained in this work not only disclose the characteristics of LBA among modern mobile users, but also provide valuable references for the design, evaluation, and improvement of QoE-aware mobile applications and services.


title: Optimising the Fit of Stack Overflow Code Snippets into Existing Code

abstract: Software developers often reuse code from online sources such as Stack Overflow within their projects. However, the process of searching for code snippets and integrating them within existing source code can be tedious. In order to improve efficiency and reduce time spent on code reuse, we present an automated code reuse tool for the Eclipse IDE (Integrated Developer Environment), NLP2TestableCode. NLP2TestableCode can not only search for Java code snippets using natural language tasks, but also evaluate code snippets based on a user's existing code, modify snippets to improve fit and correct errors, before presenting the user with the best snippet, all without leaving the editor. NLP2TestableCode also includes functionality to automatically generate customisable test cases and suggest argument and return types, in order to further evaluate code snippets. In evaluation, NLP2TestableCode was capable of finding compilable code snippets for 82.9% of tasks, and testable code snippets for 42.9%.


title: Lepton number violation in a unified framework

abstract: We study the time evolution of lepton family number for neutrino which forms SU(2) doublet with charged lepton. The lepton family number is defined through a weak basis of SU(2) doublet in which the charged lepton mass matrix is a real and diagonal one. The lepton family number carried by the neutrino is defined with a left-handed current of the neutrino family. We study the time evolution of the lepton family number operator for Majorana neutrino. To be definite, we introduce the mass term at $t=0$ and study the time evolution of the lepton family number for the later time. Since the operator in flavor eigenstate is continuously connected to that of the mass eigenstate, the creation and annihilation operators for flavor eigenstates are related to those of mass eigenstates. The total lepton number of the Majorana neutrino is conserved. By choosing a specific flavor eigenstate of neutrino as an initial state, we compute the time evolution of all lepton family numbers. They are sensitive to Majorana and Dirac phases and also are sensitive to the absolute mass and mass hierarchy of neutrinos.


title: Autonomous Cooperative Flight Control for Airship Swarms

abstract: This work investigates two approaches for the design of autonomous cooperative flight controllers for airship swarms. The first controller is based on formation flight and the second one is based on swarm intelligence strategies. In both cases, the team of airships needs to perform two different tasks: waypoint path following and ground moving target tracking. The UAV platform considered in this work is the NOAMAY airship developed in Brazil. We use a simulated environment to test the proposed approaches. Results show the inherent flexibility of the swarm intelligence approach on both tasks.


title: Exchange coupling in a linear chain of three quantum-dot spin qubits in silicon

abstract: Quantum gates between spin qubits can be implemented leveraging the natural Heisenberg exchange interaction between two electrons in contact with each other. This interaction is controllable by electrically tailoring the overlap between electronic wavefunctions in quantum dot systems, as long as they occupy neighbouring dots. An alternative route is the exploration of superexchange - the coupling between remote spins mediated by a third idle electron that bridges the distance between quantum dots. We experimentally demonstrate direct exchange coupling and provide evidence for second neighbour mediated superexchange in a linear array of three single-electron spin qubits in silicon, inferred from the electron spin resonance frequency spectra. We confirm theoretically through atomistic modeling that the device geometry only allows for sizeable direct exchange coupling for neighbouring dots, while next nearest neighbour coupling cannot stem from the vanishingly small tail of the electronic wavefunction of the remote dots, and is only possible if mediated.


title: Null It Out: Guarding Protected Attributes by Iterative Nullspace Projection

abstract: The ability to control for the kinds of information encoded in neural representation has a variety of use cases, especially in light of the challenge of interpreting these models. We present Iterative Null-space Projection (INLP), a novel method for removing information from neural representations. Our method is based on repeated training of linear classifiers that predict a certain property we aim to remove, followed by projection of the representations on their null-space. By doing so, the classifiers become oblivious to that target property, making it hard to linearly separate the data according to it. While applicable for multiple uses, we evaluate our method on bias and fairness use-cases, and show that our method is able to mitigate bias in word embeddings, as well as to increase fairness in a setting of multi-class classification.


title: Holding a Conference Online and Live due to COVID-19

abstract: The joint EDBT/ICDT conference (International Conference on Extending Database Technology/International Conference on Database Theory) is a well established conference series on data management, with annual meetings in the second half of March that attract 250 to 300 delegates. Three weeks before EDBT/ICDT 2020 was planned to take place in Copenhagen, the rapidly developing Covid-19 pandemic led to the decision to cancel the face-to-face event. In the interest of the research community, it was decided to move the conference online while trying to preserve as much of the real-life experience as possible. As far as we know, we are one of the first conferences that moved to a fully synchronous online experience due to the COVID-19 outbreak. With fully synchronous, we mean that participants jointly listened to presentations, had live Q&A, and attended other live events associated with the conference. In this report, we share our decisions, experiences, and lessons learned.


title: Inferring the origins of the pulsed gamma-ray emission from the Crab pulsar with 10-year Fermi LAT data

abstract: Context: The Crab pulsar is a bright $\gamma$-ray source detected at photon energies up to $\sim$1 TeV. Its phase-averaged and phase-resolved $\gamma$-ray spectra below 10 GeV exhibit exponential cutoffs while those above 10 GeV apparently follow simple power-laws. Aims: We re-visit the $\gamma$-ray properties of the Crab pulsar with 10-year \emph{Fermi} Large Area Telescope (LAT) data in the range of 60 MeV--500 GeV. With the phase-resolved spectra, we investigate the origins and mechanisms responsible for the emissions. Methods: The phaseograms are reconstructed for different energy bands and further analysed using a wavelet decomposition. The phase-resolved energy spectra are combined with the observations of ground-based instruments like MAGIC and VERITAS to achieve a larger energy converage. We fit power-law models to the overlapping energy spectra from 10 GeV to $\sim$1 TeV. We include in the fit a relative cross-calibration of energy scales between air-shower based gamma-ray telescopes with the orbital pair-production telescope of the Fermi mission. Results: We confirm the energy-dependence of the $\gamma$-ray pulse shape, and equivalently, the phase-dependence of the spectral shape for the Crab pulsar. A relatively sharp cutoff at a relatively high energy of $\sim$8 GeV is observed for the bridge-phase emission. The $E>$10 GeV spectrum observed for the second pulse peak is harder than those for other phases. Conclusions: In view of the diversity of phase-resolved spectral shapes of the Crab pulsar, we tentatively propose a multi-origin scenario where the polar-cap, outer-gap and relativistic-wind regions are involved.


title: The BAHAMAS project: Effects of dynamical dark energy on large-scale structure

abstract: In this work we consider the impact of spatially-uniform but time-varying dark energy (or `dynamical dark energy', DDE) on large-scale structure in a spatially flat universe, using large cosmological hydrodynamical simulations that form part of the BAHAMAS project. As DDE changes the expansion history of the universe, it impacts the growth of structure. We explore variations in DDE that are constrained to be consistent with the cosmic microwave background. We find that DDE can affect the clustering of matter and haloes at the ~10% level (suppressing it for so-called `freezing' models, while enhancing it for `thawing' models), which should be distinguishable with upcoming large-scale structure surveys. DDE cosmologies can also enhance or suppress the halo mass function (with respect to LCDM) over a wide range of halo masses. The internal properties of haloes are minimally affected by changes in DDE, however. Finally, we show that the impact of baryons and associated feedback processes is largely independent of the change in cosmology and that these processes can be modelled separately to typically better than a few percent accuracy


title: Isomorphism Testing for Graphs Excluding Small Minors

abstract: We prove that there is a graph isomorphism test running in time $n^{\operatorname{polylog}(h)}$ on $n$-vertex graphs excluding some $h$-vertex graph as a minor. Previously known bounds were $n^{\operatorname{poly}(h)}$ (Ponomarenko, 1988) and $n^{\operatorname{polylog}(n)}$ (Babai, STOC 2016). For the algorithm we combine recent advances in the group-theoretic graph isomorphism machinery with new graph-theoretic arguments.


title: Generate, Delete and Rewrite: A Three-Stage Framework for Improving Persona Consistency of Dialogue Generation

abstract: Maintaining a consistent personality in conversations is quite natural for human beings, but is still a non-trivial task for machines. The persona-based dialogue generation task is thus introduced to tackle the personality-inconsistent problem by incorporating explicit persona text into dialogue generation models. Despite the success of existing persona-based models on generating human-like responses, their one-stage decoding framework can hardly avoid the generation of inconsistent persona words. In this work, we introduce a three-stage framework that employs a generate-delete-rewrite mechanism to delete inconsistent words from a generated response prototype and further rewrite it to a personality-consistent one. We carry out evaluations by both human and automatic metrics. Experiments on the Persona-Chat dataset show that our approach achieves good performance.


title: All two-party facet Bell inequalities are violated by Almost Quantum correlations

abstract: The characterization of the set of quantum correlations is a problem of fundamental importance in quantum information. The question whether every proper (tight) Bell inequality is violated in Quantum theory is an intriguing one in this regard. Here, we make significant progress in answering this question, by showing that every tight Bell inequality is violated by 'Almost Quantum' correlations, a semi-definite programming relaxation of the set of quantum correlations. As a consequence, we show that many (classes of) Bell inequalities including two-party correlation Bell inequalities and multi-outcome non-local computation games, that do not admit quantum violations, are not facets of the classical Bell polytope. To do this, we make use of the intriguing connections between Bell correlations and the graph-theoretic Lov\'{a}sz-theta set, discovered by Cabello-Severini-Winter (CSW). We also exploit connections between the cut polytope of graph theory and the classical correlation Bell polytope, to show that correlation Bell inequalities that define facets of the lower dimensional correlation polytope are violated in quantum theory. The methods also enable us to derive novel (almost) quantum Bell inequalities, which may be of independent interest for self-testing applications.


title: Stochastic epidemics in a heterogeneous community (Part III of the book Stochastic Epidemic Models and Inference)

abstract: This document is the Part III of the book 'Stochastic Epidemic Models with Inference' edited by Tom Britton and Etienne Pardoux. Plan of the chapter: 1) Random Graphs, 2) The Reproduction Number R0, 3) SIR Epidemics on Configuration Model Graphs, 4) Statistical Description of Epidemics Spreading on Networks: The Case of Cuban HIV.


title: Software Challenges For HL-LHC Data Analysis

abstract: The high energy physics community is discussing where investment is needed to prepare software for the HL-LHC and its unprecedented challenges. The ROOT project is one of the central software players in high energy physics since decades. From its experience and expectations, the ROOT team has distilled a comprehensive set of areas that should see research and development in the context of data analysis software, for making best use of HL-LHC's physics potential. This work shows what these areas could be, why the ROOT team believes investing in them is needed, which gains are expected, and where related work is ongoing. It can serve as an indication for future research proposals and cooperations.


title: Video Face Manipulation Detection Through Ensemble of CNNs

abstract: In the last few years, several techniques for facial manipulation in videos have been successfully developed and made available to the masses (i.e., FaceSwap, deepfake, etc.). These methods enable anyone to easily edit faces in video sequences with incredibly realistic results and a very little effort. Despite the usefulness of these tools in many fields, if used maliciously, they can have a significantly bad impact on society (e.g., fake news spreading, cyber bullying through fake revenge porn). The ability of objectively detecting whether a face has been manipulated in a video sequence is then a task of utmost importance. In this paper, we tackle the problem of face manipulation detection in video sequences targeting modern facial manipulation techniques. In particular, we study the ensembling of different trained Convolutional Neural Network (CNN) models. In the proposed solution, different models are obtained starting from a base network (i.e., EfficientNetB4) making use of two different concepts: (i) attention layers; (ii) siamese training. We show that combining these networks leads to promising face manipulation detection results on two publicly available datasets with more than 119000 videos.


title: A Unifying Characterization of Tree-based Networks and Orchard Networks using Cherry Covers

abstract: Phylogenetic networks are used to study evolutionary relationships between species in biology. Such networks are often categorized into classes by their topological features, which stem from both biological and computational motivations. We study two network classes in this paper: tree-based networks and orchard networks. Tree-based networks are those that can be obtained by inserting edges between the edges of an underlying tree. Orchard networks are a recently introduced generalization of the class of tree-child networks. Structural characterizations have already been discovered for tree-based networks; this is not the case for orchard networks. In this paper, we introduce cherry covers---a unifying characterization of both network classes---in which we decompose the edges of the networks into so-called cherry shapes and reticulated cherry shapes. We show that cherry covers can be used to characterize the class of tree-based networks as well as the class of orchard networks. Moreover, we also generalize these results to non-binary networks.


title: Online Social Deception and Its Countermeasures for Trustworthy Cyberspace: A Survey

abstract: We are living in an era when online communication over social network services (SNSs) have become an indispensable part of people's everyday lives. As a consequence, online social deception (OSD) in SNSs has emerged as a serious threat in cyberspace, particularly for users vulnerable to such cyberattacks. Cyber attackers have exploited the sophisticated features of SNSs to carry out harmful OSD activities, such as financial fraud, privacy threat, or sexual/labor exploitation. Therefore, it is critical to understand OSD and develop effective countermeasures against OSD for building a trustworthy SNSs. In this paper, we conducted an extensive survey, covering (i) the multidisciplinary concepts of social deception; (ii) types of OSD attacks and their unique characteristics compared to other social network attacks and cybercrimes; (iii) comprehensive defense mechanisms embracing prevention, detection, and response (or mitigation) against OSD attacks along with their pros and cons; (iv) datasets/metrics used for validation and verification; and (v) legal and ethical concerns related to OSD research. Based on this survey, we provide insights into the effectiveness of countermeasures and the lessons from existing literature. We conclude this survey paper with an in-depth discussions on the limitations of the state-of-the-art and recommend future research directions in this area.


title: Composable Security for Multipartite Entanglement Verification

abstract: We present a composably secure protocol allowing $n$ parties to test an entanglement generation resource controlled by a possibly dishonest party. The test consists only in local quantum operations and authenticated classical communication once a state is shared among them and provides composable security, namely it can be used as a secure subroutine by $n$ honest parties within larger communication protocols to test if a source is sharing quantum states that are at least $\epsilon$-close to the GHZ state. This claim comes on top of previous results on multipartite entanglement verification where the security was studied in the usual game-based model. Here, we improve the protocol to make it more suitable for practical use in a quantum network and we study its security in the Abstract Cryptography framework to highlight composability issues and avoid hidden assumptions. This framework is a top-to-bottom theory that makes explicit any piece of information that each component (party or resource) gets at every time-step of the protocol. Moreover any security proof, which amounts to showing indistinguishability between an ideal resource having the desired security properties (up to local simulation) and the concrete resource representing the protocol, is composable for free in this setting. This allows us to readily compose our basic protocol in order to create a composably secure multi-round protocol enabling honest parties to obtain a state close to a GHZ state or an abort signal, even in the presence of a noisy or malicious source. Our protocol can typically be used as a subroutine in a Quantum Internet, to securely share a GHZ state among the network before performing a communication or computation protocol.


title: On equivariant oriented cohomology of Bott-Samelson varieties

abstract: For any Bott-Samelson resolution $q_{I}:\hat{X_{I}}\rightarrow G/B$ of the flag variety $G/B$, and any torus equivariant oriented cohomology $h_T$, we compute the restriction formula of certain basis $\eta_L$ of $h_T(\hat{X_{I}})$ determined by the projective bundle formula. As an application, we show that $h_T(\hat{X_{I}})$ embeds into the equivariant oriented cohomology of $T$-fixed points, and the image can be characterized by using the Goresky-Kottwitz-MacPherson (GKM) description. Furthermore, we compute the push-forward of the basis $\eta_L$ onto $h_T(G/B)$, and their restriction formula.


title: De-Signing Hamiltonians for Quantum Adiabatic Optimization

abstract: Quantum fluctuations driven by non-stoquastic Hamiltonians have been conjectured to be an important and perhaps essential missing ingredient for achieving a quantum advantage with adiabatic optimization. We introduce a transformation that maps every non-stoquastic adiabatic path ending in a classical Hamiltonian to a corresponding stoquastic adiabatic path by appropriately adjusting the phase of each matrix entry in the computational basis. We compare the spectral gaps of these adiabatic paths and find both theoretically and numerically that the paths based on non-stoquastic Hamiltonians have generically smaller spectral gaps between the ground and first excited states, suggesting they are less useful than stoquastic Hamiltonians for quantum adiabatic optimization. These results apply to any adiabatic algorithm which interpolates to a final Hamiltonian that is diagonal in the computational basis.


title: On the use of Benford's law to detect GAN-generated images

abstract: The advent of Generative Adversarial Network (GAN) architectures has given anyone the ability of generating incredibly realistic synthetic imagery. The malicious diffusion of GAN-generated images may lead to serious social and political consequences (e.g., fake news spreading, opinion formation, etc.). It is therefore important to regulate the widespread distribution of synthetic imagery by developing solutions able to detect them. In this paper, we study the possibility of using Benford's law to discriminate GAN-generated images from natural photographs. Benford's law describes the distribution of the most significant digit for quantized Discrete Cosine Transform (DCT) coefficients. Extending and generalizing this property, we show that it is possible to extract a compact feature vector from an image. This feature vector can be fed to an extremely simple classifier for GAN-generated image detection purpose.


title: Do sequence-to-sequence VAEs learn global features of sentences?

abstract: Autoregressive language models are powerful and relatively easy to train. However, these models are usually trained without explicit conditioning labels and do not offer easy ways to control global aspects such as sentiment or topic during generation. Bowman & al. (2016) adapted the Variational Autoencoder (VAE) for natural language with the sequence-to-sequence architecture and claimed that the latent vector was able to capture such global features in an unsupervised manner. We question this claim. We measure which words benefit most from the latent information by decomposing the reconstruction loss per position in the sentence. Using this method, we find that VAEs are prone to memorizing the first words and the sentence length, producing local features of limited usefulness. To alleviate this, we investigate alternative architectures based on bag-of-words assumptions and language model pretraining. These variants learn latent variables that are more global, i.e., more predictive of topic or sentiment labels. Moreover, using reconstructions, we observe that they decrease memorization: the first word and the sentence length are not recovered as accurately than with the baselines, consequently yielding more diverse reconstructions.


title: Joint Semantic Segmentation and Boundary Detection using Iterative Pyramid Contexts

abstract: In this paper, we present a joint multi-task learning framework for semantic segmentation and boundary detection. The critical component in the framework is the iterative pyramid context module (PCM), which couples two tasks and stores the shared latent semantics to interact between the two tasks. For semantic boundary detection, we propose the novel spatial gradient fusion to suppress nonsemantic edges. As semantic boundary detection is the dual task of semantic segmentation, we introduce a loss function with boundary consistency constraint to improve the boundary pixel accuracy for semantic segmentation. Our extensive experiments demonstrate superior performance over state-of-the-art works, not only in semantic segmentation but also in semantic boundary detection. In particular, a mean IoU score of 81:8% on Cityscapes test set is achieved without using coarse data or any external data for semantic segmentation. For semantic boundary detection, we improve over previous state-of-the-art works by 9.9% in terms of AP and 6:8% in terms of MF(ODS).


title: Spin selection rule for {\it S} level transitions in atomic rubidium under paraxial and nonparaxial two-photon excitation

abstract: We report on an experimental test of the spin selection rule for two-photon transitions in atoms. In particular, we demonstrate that the $5S_{1/2}\to 6S_{1/2}$ transition rate in a rubidium gas follows a quadratic dependency on the helicity parameter linked to the polarization of the excitation light. For excitation via a single Gaussian beam or two counterpropagating beams in a hot vapor cell, the transition rate scales as the squared degree of linear polarization. The rate reaches zero when the light is circularly polarized. In contrast, when the excitation is realized via an evanescent field near an optical nanofiber, the two-photon transition cannot be completely extinguished (theoretically, not lower than 13\% of the maximum rate, under our experimental conditions) by only varying the polarization of the fiber-guided light. Our findings lead to a deeper understanding of the physics of multiphoton processes in atoms in strongly nonparaxial light.


title: Vanishing cohomology and Betti bounds for complex projective hypersurfaces

abstract: We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces, generalizing those obtained by different methods by Dimca in the isolated singularities case, and by Siersma-Tib\u{a}r in the case of hypersurfaces with a $1$-dimensional singular locus. We also prove a supplement to the Lefschetz hyperplane theorem for hypersurfaces, which takes the dimension of the singular locus into account, and we use it to give a new proof of a result of Kato.


title: Physical Characteristics of Umbral Dots Derived from a High Resolution Observation

abstract: The aim of this study is revisit the physical parameters of umbral dots (UDs) with the latest high resolution observations and contribute to the scientific understanding of their formation and evolution. In this study, we applied a particle tracking algorithm for detecting UDs in NOAA AR12384 observed on June 14, 2015 by the Goode Solar Telescope (GST). We analyzed average position distributions, location dependencies, and general properties of detected total 2892 UDs separately during their life time and the periodic behavior of only selected 10 long living UDs. We found; i) brightest, largest, fastest and most elliptic UDs tend to be located at the umbra-penumbra boundary while their lifetime does not display any meaningful location dependency, ii) average dynamic velocity of all detected UDs is about twice (0.76 km/s) of the previously reported average values, iii) obtained trajectories from the longest living 354 UDs show that they have generally inward motion, iv) chosen 10 long living UDs generally have similar periodic behavior showing 8.5-32, 3.5-4.1, 1.5-1.9, and 1.1-1.3 minutes periodicities, v) generally, detected UDs have an elliptical shape with the averaged eccentricity of 0.29, with a 0.11 standard deviation, vi) larger UDs tend to be more elliptic and more dynamic.


title: Statistical inference for epidemic processes in a homogeneous community (Part IV of the book Stochastic Epidemic Models and Inference)

abstract: This document is the Part IV of the book 'Stochastic Epidemic Models with Inference' edited by Tom Britton and Etienne Pardoux. It is written by Catherine Lar\'edo, with the contribution of Viet Chi Tran for the Chapter 4. Epidemic data present challenging statistical problems, starting from the recurrent issue of handling missing information. We review methods such as MCMC, ABC or methods based on diffusion approximations. Plan of this document: 1) Observations and Asymptotic Frameworks; 2) Inference for Markov Chain Epidemic Models; 3) Inference Based on the Diffusion Approximation of Epidemic Models; 4) Inference for Continuous Time SIR models.


title: More on Faulhaber's theorem for sums of powers of integers

abstract: In this note we consider the theorem established in arXiv:1912.07171 concerning the sums of powers of the first $n$ positive integers, $S_k = 1^k + 2^k + \cdots + n^k$, and show that it can be used to demonstrate the classical theorem of Faulhaber for both cases of odd and even $k$.


title: Data-Driven Robust Control Using Reinforcement Learning

abstract: This paper proposes a robust control design method using reinforcement-learning for controlling partially-unknown dynamical systems under uncertain conditions. The method extends the optimal reinforcement-learning algorithm with a new learning technique that is based on the robust control theory. By learning from the data, the algorithm proposed actions that guarantees the stability of the closed loop system within the uncertainties estimated from the data. Control policies are calculated by solving a set of linear matrix inequalities. The controller was evaluated using simulations on a blood glucose model for patients with type-1 diabetes. Simulation results show that the proposed methodology is capable of safely regulates the blood glucose within a healthy level under the influence of measurement and process noises. The controller has also significantly reduced the post-meal fluctuation of the blood glucose. A comparison between the proposed algorithm and the existing optimal reinforcement learning algorithm shows the improved robustness of the closed loop system using our method.


title: In Search of Life: Learning from Synthetic Data to Detect Vital Signs in Videos

abstract: Automatically detecting vital signs in videos, such as the estimation of heart and respiration rates, is a challenging research problem in computer vision with important applications in the medical field. One of the key difficulties in tackling this task is the lack of sufficient supervised training data, which severely limits the use of powerful deep neural networks. In this paper we address this limitation through a novel deep learning approach, in which a recurrent deep neural network is trained to detect vital signs in the infrared thermal domain from purely synthetic data. What is most surprising is that our novel method for synthetic training data generation is general, relatively simple and uses almost no prior medical domain knowledge. Moreover, our system, which is trained in a purely automatic manner and needs no human annotation, also learns to predict the respiration or heart intensity signal for each moment in time and to detect the region of interest that is most relevant for the given task, e.g. the nose area in the case of respiration. We test the effectiveness of our proposed system on the recent LCAS dataset and obtain state-of-the-art results.


title: A Hybrid Objective Function for Robustness of Artificial Neural Networks -- Estimation of Parameters in a Mechanical System

abstract: In several studies, hybrid neural networks have proven to be more robust against noisy input data compared to plain data driven neural networks. We consider the task of estimating parameters of a mechanical vehicle model based on acceleration profiles. We introduce a convolutional neural network architecture that is capable to predict the parameters for a family of vehicle models that differ in the unknown parameters. We introduce a convolutional neural network architecture that given sequential data predicts the parameters of the underlying data's dynamics. This network is trained with two objective functions. The first one constitutes a more naive approach that assumes that the true parameters are known. The second objective incorporates the knowledge of the underlying dynamics and is therefore considered as hybrid approach. We show that in terms of robustness, the latter outperforms the first objective on noisy input data.


title: Hunting keV sterile neutrinos with KATRIN: building the first TRISTAN module

abstract: The KATRIN (Karlsruhe Tritium Neutrino) experiment investigates the energetic endpoint of the tritium beta-decay spectrum to determine the effective mass of the electron anti-neutrino. The collaboration has reported a first mass measurement result at this TAUP-2019 conference. The TRISTAN project aims at detecting a keV-sterile neutrino signature by measuring the entire tritium beta-decay spectrum with an upgraded KATRIN system. One of the greatest challenges is to handle the high signal rates generated by the strong activity of the KATRIN tritium source while maintaining a good energy resolution. Therefore, a novel multi-pixel silicon drift detector and read-out system are being designed to handle rates of about 100 Mcps with an energy resolution better than 300 eV (FWHM). This report presents succinctly the KATRIN experiment, the TRISTAN project, then the results of the first 7-pixels prototype measurement campaign and finally describes the construction of the first TRISTAN module composed of 166 SDD-pixels as well as its implementation in KATRIN experiment.


title: Spiciness theory revisited, with new views on neutral density, orthogonality and passiveness

abstract: This paper clarifies the theoretical basis for constructing spiciness variables optimal for characterising ocean water masses. Three essential ingredients are identified: 1) a material density variable $\gamma$ that is as neutral as feasible; 2) a material state function $\xi$ independent of $\gamma$, but otherwise arbitrary; 3) an empirically determined reference function $\xi_r(\gamma)$ of $\gamma$ representing the imagined behaviour of $\xi$ in a notional spiceless ocean. Ingredient 1) is required because contrary to what is often assumed, it is not the properties imposed on $\xi$ (such as orthogonality) that determine its dynamical inertness but the degree of neutrality of $\gamma$. The first key result is that it is the anomaly $\xi' = \xi - \xi_r(\gamma)$, rather than $\xi$, that is the variable the most suited for characterising ocean water masses, as originally proposed by McDougall and Giles (1987). The second key result is that oceanic sections of normalised $\xi'$ appear to be relatively insensitive to the choice of $\xi$, as first suggested by Jackett and McDougall (1985). It is also argued that orthogonality of $\nabla \xi'$ to $\nabla \gamma$ in physical space is more germane to spiciness theory than orthogonality in thermohaline space, although how to use it to constrain the choices of $\xi$ and $\xi_r(\gamma)$ remains to be fully elucidated. The results are important for they unify the various ways in which spiciness has been defined and used in the literature. They also provide a rigorous theoretical basis justifying the pursuit of a globally defined material density variable maximising neutrality. To illustrate the latter point, this paper proposes a new implementation of the author's recently developed thermodynamic neutral density and explains how to adapt existing definitions of spiciness/spicity to work with it.


title: Calibration of a Shower Lead-Scintillation Spectrometer by Cosmic Radiation

abstract: The results of calibration by cosmic muons of a shower lead-scintillation spectrometer of the sandwich type designed to work in high-intensity photon and electron beams with an energy of 0.1 - 1.0 GeV are presented. It was found that the relative energy resolution of the spectrometer depends on the angle of entry of cosmic muons into the spectrometer in the vertical plane and does not depend on the angle of entry in the horizontal plane. The relative energy resolution of the spectrometer was 16%. Placing an additional lead-scintillation assembly in front of the spectrometer improved the relative energy resolution of the spectrometer to 9%.


title: Rapidly evaluating lockdown strategies using spectral analysis: the cycles behind new daily COVID-19 cases and what happens after lockdown

abstract: Spectral analysis characterises oscillatory time series behaviours such as cycles, but accurate estimation requires reasonable numbers of observations. Current COVID-19 time series for many countries are short: pre- and post-lockdown series are shorter still. Accurate estimation of potentially interesting cycles within such series seems beyond reach. We solve the problem of obtaining accurate estimates from short time series by using recent Bayesian spectral fusion methods. Here we show that transformed new daily COVID-19 cases for many countries generally contain three cycles operating at wavelengths of around 2.7, 4.1 and 6.7 days (weekly). We show that the shorter cycles are suppressed after lockdown. The pre- and post lockdown differences suggest that the weekly effect is at least partly due to non-epidemic factors, whereas the two shorter cycles seem intrinsic to the epidemic. Unconstrained, new cases grow exponentially, but the internal cyclic structure causes periodic falls in cases. This suggests that lockdown success might only be indicated by four or more daily falls in cases. Spectral learning for epidemic time series contributes to the understanding of the epidemic process, helping evaluate interventions and assists with forecasting. Spectral fusion is a general technique that is able to fuse spectra recorded at different sampling rates, which can be applied to a wide range of time series from many disciplines.


title: Computational Drug Repositioning and Elucidation of Mechanism of Action of Compounds against SARS-CoV-2

abstract: The COVID-19 crisis called for rapid reaction from all the fields of biomedical research. Traditional drug development involves time consuming pipelines that conflict with the urgence of identifying effective therapies during a health and economic emergency. Drug repositioning, that is the discovery of new clinical applications for drugs already approved for different therapeutic contexts, could provide an effective shortcut to bring COVID-19 treatments to the bedside in a timely manner. Moreover, computational approaches can help accelerate the process even further. Here we present the application of computational drug repositioning tools based on transcriptomics data to identify drugs that are potentially able to counteract SARS-CoV-2 infection, and also to provide insights on their mode of action. We believe that mucolytics and HDAC inhibitors warrant further investigation. In addition, we found that the DNA Mismatch repair pathway is strongly modulated by drugs with experimental in vitro activity against SARS-CoV-2 infection. Both full results and methods are publicly available.


title: On a new geometric homology theory and an application in categorical Gromov-Witten theory

abstract: The purpose of this paper is twofold: 1. we prove the triangulability of smooth orbifolds with corners, generalizing the same statement for orbifolds. 2. based on 1, we propose a new homology theory. We call it geometric homology theory (GHT for abbreviaty). GHT is a natural and flexible generalization of singular homology. It has some advantages overcoming the unpleasant combinatoric rigidity of singular homology, e.g. ill-defined pullbacks of singular chains along fiber bundles. The method we use are mainly based on the celebrated stratification and triangulation theories of Lie groupoids and their orbit spaces, as well as the extension to Lie groupoids with corners by us. We illustrate a simple application of GHT in categorical Gromov-Witten theory, initiatied by Costello. We will develop further of this theory in our sequel paper.


title: Predictive Whole-Body Control of Humanoid Robot Locomotion

abstract: Humanoid robots are machines built with an anthropomorphic shape. Despite decades of research into the subject, it is still challenging to tackle the robot locomotion problem from an algorithmic point of view. For example, these machines cannot achieve a constant forward body movement without exploiting contacts with the environment. The reactive forces resulting from the contacts are subject to strong limitations, complicating the design of control laws. As a consequence, the generation of humanoid motions requires to exploit fully the mathematical model of the robot in contact with the environment or to resort to approximations of it. This thesis investigates predictive and optimal control techniques for tackling humanoid robot motion tasks. They generate control input values from the system model and objectives, often transposed as cost function to minimize. In particular, this thesis tackles several aspects of the humanoid robot locomotion problem in a crescendo of complexity. First, we consider the single step push recovery problem. Namely, we aim at maintaining the upright posture with a single step after a strong external disturbance. Second, we generate and stabilize walking motions. In addition, we adopt predictive techniques to perform more dynamic motions, like large step-ups. The above-mentioned applications make use of different simplifications or assumptions to facilitate the tractability of the corresponding motion tasks. Moreover, they consider first the foot placements and only afterward how to maintain balance. We attempt to remove all these simplifications. [continued]


title: Generalizability issues with deep learning models in medicine and their potential solutions: illustrated with Cone-Beam Computed Tomography (CBCT) to Computed Tomography (CT) image conversion

abstract: Generalizability is a concern when applying a deep learning (DL) model trained on one dataset to other datasets. Training a universal model that works anywhere, anytime, for anybody is unrealistic. In this work, we demonstrate the generalizability problem, then explore potential solutions based on transfer learning (TL) by using the cone-beam computed tomography (CBCT) to computed tomography (CT) image conversion task as the testbed. Previous works have converted CBCT to CT-like images. However, all of those works studied only one or two anatomical sites and used images from the same vendor's scanners. Here, we investigated how a model trained for one machine and one anatomical site works on other machines and other sites. We trained a model on CBCT images acquired from one vendor's scanners for head and neck cancer patients and applied it to images from another vendor's scanners and for other disease sites. We found that generalizability could be a significant problem for this particular application when applying a trained DL model to datasets from another vendor's scanners. We then explored three practical solutions based on TL to solve this generalization problem: the target model, which is trained on a target domain from scratch; the combined model, which is trained on both source and target domain datasets from scratch; and the adapted model, which fine-tunes the trained source model to a target domain. We found that when there are sufficient data in the target domain, all three models can achieve good performance. When the target dataset is limited, the adapted model works the best, which indicates that using the fine-tuning strategy to adapt the trained model to an unseen target domain dataset is a viable and easy way to implement DL models in the clinic.


title: $\Sigma^{+}$ and $\bar{\Sigma}^-$ polarization in the $J/\psi$ and $\psi(3686)$ decays

abstract: From $1310.6\times10^{6}$ $J/\psi$ and $448.1\times10^{6}$ $\psi(3686)$ events collected with the BESIII experiment, we report the first observation of $\Sigma^{+}$ and $\bar{\Sigma}^{-}$ spin polarization in $e^+e^-\rightarrow J/\psi (\psi(3686)) \rightarrow \Sigma^{+} \bar{\Sigma}^{-}$ decays. The relative phases of the form factors $\Delta\Phi$ have been measured to be $(-15.5\pm0.7\pm0.5)^{\circ}$ and $(21.7\pm4.0\pm0.8)^{\circ}$ with $J/\psi$ and $\psi(3686)$ data, respectively. The non-zero value of $\Delta\Phi$ allows for a direct and simultaneous measurement of the decay asymmetry parameters of $\Sigma^{+}\rightarrow p \pi^{0}~(\alpha_0 = -0.998\pm0.037\pm0.009)$ and $\bar{\Sigma}^{-}\rightarrow \bar{p} \pi^{0}~(\bar{\alpha}_0 = 0.990\pm0.037\pm0.011)$, the latter value being determined for the first time. The average decay asymmetry, $(\alpha_{0} - \bar{\alpha}_{0})/2$, is calculated to be $-0.994\pm0.004\pm0.002$. The CP asymmetry $A_{\rm CP,\Sigma} = (\alpha_0 + \bar{\alpha}_0)/(\alpha_0 - \bar{\alpha}_0) = -0.004\pm0.037\pm0.010$ is extracted for the first time, and is found to be consistent with CP conservation.


title: Molecular modeling of aqueous electrolytes at interfaces: effects of long-range dispersion forces and of ionic charge rescaling

abstract: Molecular dynamics simulations of aqueous electrolytes generally rely on empirical force fields, combining dispersion interactions - described by a truncated Lennard-Jones (LJ) potential - and electrostatic interactions - described by a Coulomb potential computed with a long-range solver. Recently, force fields using rescaled ionic charges (electronic continuum correction, ECC), possibly complemented with rescaling of LJ parameters (electronic continuum correction rescaled, ECCR), have shown promising results in bulk, but their performance at interfaces has been less explored. Here we started by exploring the impact of the LJ potential truncation on the surface tension of a sodium chloride aqueous solution. We show a discrepancy between the numerical predictions for truncated LJ interactions with a large cutoff and for untruncated LJ interactions computed with a long-range solver, which can bias comparison of force field predictions with experiments. Using a long-range solver for LJ interactions, we then show that an ionic charge rescaling factor chosen to correct long-range electrostatic interactions in bulk also describes accurately image charge repulsion at the liquid-vapor interface, and that the rescaling of LJ parameters in ECCR models - aimed at capturing local ion-ion and ion-water interactions in bulk - also describes well the formation of an ionic double layer at the liquid-vapor interface. Overall, these results suggest that the molecular modeling of aqueous electrolytes at interfaces would benefit from using long-range solvers for dispersion forces, and from using ECCR models, where the charge rescaling factor should be chosen to correct long-range electrostatic interactions.


title: Unsupervised Intra-domain Adaptation for Semantic Segmentation through Self-Supervision

abstract: Convolutional neural network-based approaches have achieved remarkable progress in semantic segmentation. However, these approaches heavily rely on annotated data which are labor intensive. To cope with this limitation, automatically annotated data generated from graphic engines are used to train segmentation models. However, the models trained from synthetic data are difficult to transfer to real images. To tackle this issue, previous works have considered directly adapting models from the source data to the unlabeled target data (to reduce the inter-domain gap). Nonetheless, these techniques do not consider the large distribution gap among the target data itself (intra-domain gap). In this work, we propose a two-step self-supervised domain adaptation approach to minimize the inter-domain and intra-domain gap together. First, we conduct the inter-domain adaptation of the model; from this adaptation, we separate the target domain into an easy and hard split using an entropy-based ranking function. Finally, to decrease the intra-domain gap, we propose to employ a self-supervised adaptation technique from the easy to the hard split. Experimental results on numerous benchmark datasets highlight the effectiveness of our method against existing state-of-the-art approaches. The source code is available at https://github.com/feipan664/IntraDA.git.


title: Bourgain-Brezis-Mironescu Domains

abstract: Bourgain et al.(2001) proved that for $p>1$ and smooth bounded domain $\Omega\subseteq\mathbb{R}^N$, \begin{equation*} \lim\limits_{s\to1}(1-s)\iint \limits_{\Omega \times \Omega}\frac{\lvert f(x)-f(y) \rvert^p}{\lvert x-y \rvert^{N+sp}}dx dy=\kappa \int \limits_{\Omega}\lvert \nabla f(x) \rvert^p dx \end{equation*} for all $f\in L^p(\Omega)$. This gives a characterization of $W^{1,p}(\Omega)$ by means of $W^{s,p}(\Omega)$ seminorms only. For the case $p=1$, D\'avila(2002) proved that when $\Omega$ is a bounded domain with Lipschitz boundary, \begin{equation*} \lim\limits_{s\to1}(1-s)\iint \limits_{\Omega \times \Omega}\frac{\lvert f(x)-f(y) \rvert}{\lvert x-y \rvert^{N+s}}dx dy=\kappa [f]_{BV(\Omega)} \end{equation*} for all $f\in L^1(\Omega)$. This characterizes $BV(\Omega)$ in terms of $W^{s,1}(\Omega)$ seminorm. In this paper we extend the first result and partially extend the second result to extension domains.


title: Asymmetric dark matter from semi-annihilation

abstract: We show that a general semi-annihilation scenario, in which a pair of dark matter (DM) particles annihilate to an anti-DM, and an unstable state that can mix with or decay to standard model states, can lead to particle anti-particle asymmetry in the DM sector. The present DM abundance, including the CP-violation in the DM sector and the resulting present asymmetry are determined entirely by a single semi-annihilation process at next-to-leading order. For large CP-violation in this process, we find that a nearly complete asymmetry can be obtained in the DM sector, with the observed DM density being dominated by the (anti-)DM particle. The presence of additional pair-annihilation processes can modify the ratio of DM and anti-DM number densities further, if the pair-annihilation is active subsequent to the decoupling of the semi-annihilation. For such a scenario, the required CP-violation for generating the same present asymmetry is generically much smaller, as compared to the scenario with only semi-annihilation present. We show that a minimal model with a complex scalar DM with cubic self-interactions can give rise to both semi- and pair-annihilations, with the required CP-violation generated at one-loop level. We also find that the upper bound on the DM mass from S-matrix unitarity in the purely asymmetric semi-annihilation scenario, with maximal CP-violation, is around 15 GeV, which is much stronger than in the WIMP and previously considered asymmetric DM cases, due to the required large non-zero chemical potential for such asymmetric DM.


title: Marching on a rugged landscape: Universality in disordered asymmetric exclusion processes

abstract: We develop the hydrodynamic theory for number conserving asymmetric exclusion processes with short-range random quenched disordered hopping rates, which is one-dimensional Kardar-Parisi- Zhang (KPZ) equation with quenched columnar disorder. We show that when the system is away from half-filling, the universal spatio-temporal scaling of the density fluctuations is indistinguishable from its pure counterpart, with the model belonging to the one-dimensional Kardar-Parisi-Zhang universality class. In contrast, close to half-filling, the quenched disorder is relevant, leading to a new universality class. We physically argue that the irrelevance of the quenched disorder when away from half-filling is a consequence of the averaging of the disorder by the propagating density fluctuations in the system. In contrast, close to half-filling the density fluctuations are overdamped, and as a result, are strongly influenced by the quenched disorder.


title: Analyzing Reinforcement Learning Benchmarks with Random Weight Guessing

abstract: We propose a novel method for analyzing and visualizing the complexity of standard reinforcement learning (RL) benchmarks based on score distributions. A large number of policy networks are generated by randomly guessing their parameters, and then evaluated on the benchmark task; the study of their aggregated results provide insights into the benchmark complexity. Our method guarantees objectivity of evaluation by sidestepping learning altogether: the policy network parameters are generated using Random Weight Guessing (RWG), making our method agnostic to (i) the classic RL setup, (ii) any learning algorithm, and (iii) hyperparameter tuning. We show that this approach isolates the environment complexity, highlights specific types of challenges, and provides a proper foundation for the statistical analysis of the task's difficulty. We test our approach on a variety of classic control benchmarks from the OpenAI Gym, where we show that small untrained networks can provide a robust baseline for a variety of tasks. The networks generated often show good performance even without gradual learning, incidentally highlighting the triviality of a few popular benchmarks.


title: Pockels Soliton Microcomb

abstract: Kerr soliton microcombs have recently emerged as a prominent topic in integrated photonics and enabled new horizons for optical frequency metrology. Kerr soliton microcombs, as its name suggests, are based on the high-order cubic optical nonlinearity. It is desirable to exploit quadratic photonic materials, namely Pockels materials, for soliton generation and on-chip implementation of 1f-2f comb self-referencing. Such quadratically-driven solitons have been theoretically proposed, but have not yet been observed in a nanophotonic platform despite of recent progresses in quadratic comb generation in free-space and crystalline resonators. Here we report photonic chip-based Pockels microcomb solitons driven by three-wave mixing in an aluminum nitride microring resonator. In contrast to typical Kerr solitons, our Pockels soliton features unity soliton generation fidelity, two-by-two annihilation of multi-soliton states, favorable tuning dynamics, and high pump-to-soliton conversion efficiency.


title: Late-time decaying dark matter: constraints and implications for the $H_0$-tension

abstract: We constrain and update the bounds on the life-time of a decaying dark matter model with a warm massive daughter particle using the most recent low-redshift probes. We use Supernovae Type-Ia, Baryon Acoustic Oscillations and the time delay measurements of gravitationally lensed quasars. These data sets are complemented by the early universe priors taken from the Cosmic Microwave background. For the maximum allowed fraction of the relativistic daughter particle, the updated bounds on the life-time are found to be $\tau > 9\, \rm{Gyr}$ and $\tau >11\,\rm{Gyr}$ at $95\%$ C.L., for the two-body and many-body decay scenarios, respectively. We also comment on the recent proposal that the current two-body decaying dark matter model can provide resolution for the $H_0$-tension, by contrasting against the standard $\Lambda$CDM model. We infer that the current dark matter decaying scenario is unlikely to alleviate the $H_0$-tension. We find that the decaying dark matter is able to reduce the trend of the decreasing $H_0$ values with increasing lens redshifts observed in the strong lensing dataset.


title: Quantum circuit synthesis using Householder transformations

abstract: The synthesis of a quantum circuit consists in decomposing a unitary matrix into a series of elementary operations. In this paper, we propose a circuit synthesis method based on the QR factorization via Householder transformations. We provide a two-step algorithm: during the first step we exploit the specific structure of a quantum operator to compute its QR factorization, then the factorized matrix is used to produce a quantum circuit. We analyze several costs (circuit size and computational time) and compare them to existing techniques from the literature. For a final quantum circuit twice as large as the one obtained by the best existing method, we accelerate the computation by orders of magnitude.


title: Knowledge Distillation for Action Anticipation via Label Smoothing

abstract: Human capability to anticipate near future from visual observations and non-verbal cues is essential for developing intelligent systems that need to interact with people. Several research areas, such as human-robot interaction (HRI), assisted living or autonomous driving need to foresee future events to avoid crashes or help people. Egocentric scenarios are classic examples where action anticipation is applied due to their numerous applications. Such challenging task demands to capture and model domain's hidden structure to reduce prediction uncertainty. Since multiple actions may equally occur in the future, we treat action anticipation as a multi-label problem with missing labels extending the concept of label smoothing. This idea resembles the knowledge distillation process since useful information is injected into the model during training. We implement a multi-modal framework based on long short-term memory (LSTM) networks to summarize past observations and make predictions at different time steps. We perform extensive experiments on EPIC-Kitchens and EGTEA Gaze+ datasets including more than 2500 and 100 action classes, respectively. The experiments show that label smoothing systematically improves performance of state-of-the-art models for action anticipation.


title: Ergodicity effects on transport-diffusion equations with localized damping

abstract: The main objective of this paper is to study the time decay of transport-diffusion equation with inhomogeneous localized damping in the multi-dimensional torus. The drift is governed by an autonomous Lipschitz vector field and the diffusion by the standard heat equation with small viscosity parameter $\nu$. In the first part we deal with the inviscid case and show some results on the time decay of the energy using in a crucial way the ergodicity and the unique ergodicity of the flow generated by the drift. In the second part we analyze the same problem with small viscosity and provide quite similar results on the exponential decay uniformly with respect to the viscosity in some logarithmic time scaling of the \mbox{type $t\in [0,C_0\ln(1/\nu)]$}.


title: True 3D reconstruction in digital holography

abstract: We examine the nature of the 3D image as obtained by replay (or back-propagation) of the object wave from the hologram recording plane to the original object volume. While recording of a hologram involves transferring information from a 3D volume to a 2D detector plane, the replay of the hologram involves creating information in a set of 3D voxels from a much smaller number of 2D detector pixels, which at first look appears to be surprising. We point out that the hologram replay process is a Hermitian transpose (and not inverse) of the hologram formation process and therefore only provides an approximation to the original 3D object function. With the knowledge of this Hermitian transpose property, we show how one may realize true 3D image reconstruction via a regularized optimization algorithm. The numerical illustrations of this optimization approach as presented here show excellent slice-by-slice tomographic 3D reconstruction of the original object under the weak scattering approximation. In particular, the reconstructed 3D image field has near-zero numerical values at voxels where the original object did not exist. We note that 3D image reconstruction of this kind cannot be achieved by the traditional physical replay process. In this sense the proposed methodology for digital holographic image reconstruction goes beyond numerically mimicking the traditional film based holographic replay. The reconstruction approach may find potential applications in a number of digital holographic imaging systems.


title: Synthesizing quantum circuits via numerical optimization

abstract: We provide a simple framework for the synthesis of quantum circuits based on a numerical optimization algorithm. This algorithm is used in the context of the trapped-ions technology. We derive theoretical lower bounds for the number of quantum gates required to implement any quantum algorithm. Then we present numerical experiments with random quantum operators where we compute the optimal parameters of the circuits and we illustrate the correctness of the theoretical lower bounds. We finally discuss the scalability of the method with the number of qubits.


title: Taxonomy of Dual Block-Coordinate Ascent Methods for Discrete Energy Minimization

abstract: We consider the maximum-a-posteriori inference problem in discrete graphical models and study solvers based on the dual block-coordinate ascent rule. We map all existing solvers in a single framework, allowing for a better understanding of their design principles. We theoretically show that some block-optimizing updates are sub-optimal and how to strictly improve them. On a wide range of problem instances of varying graph connectivity, we study the performance of existing solvers as well as new variants that can be obtained within the framework. As a result of this exploration we build a new state-of-the art solver, performing uniformly better on the whole range of test instances.


title: Continuous Health Interface Event Retrieval

abstract: Knowing the state of our health at every moment in time is critical for advances in health science. Using data obtained outside an episodic clinical setting is the first step towards building a continuous health estimation system. In this paper, we explore a system that allows users to combine events and data streams from different sources to retrieve complex biological events, such as cardiovascular volume overload. These complex events, which have been explored in biomedical literature and which we call interface events, have a direct causal impact on relevant biological systems. They are the interface through which the lifestyle events influence our health. We retrieve the interface events from existing events and data streams by encoding domain knowledge using an event operator language.


title: Digital Ariadne: Citizen Empowerment for Epidemic Control

abstract: The COVID-19 crisis represents the most dangerous threat to public health since the H1N1 influenza pandemic of 1918. So far, the disease due to the SARS-CoV-2 virus has been countered with extreme measures at national level that attempt to suppress epidemic growth. However, these approaches require quick adoption and enforcement in order to effectively curb virus spread, and may cause unprecedented socio-economic impact. A viable alternative to mass surveillance and rule enforcement is harnessing collective intelligence by means of citizen empowerment. Mobile applications running on personal devices could significantly support this kind of approach by exploiting context/location awareness and data collection capabilities. In particular, technology-assisted location and contact tracing, if broadly adopted, may help limit the spread of infectious diseases by raising end-user awareness and enabling the adoption of selective quarantine measures. In this paper, we outline general requirements and design principles of personal applications for epidemic containment running on common smartphones, and we present a tool, called 'diAry' or 'digital Ariadne', based on voluntary location and Bluetooth tracking on personal devices, supporting a distributed query system that enables fully anonymous, privacy-preserving contact tracing. We look forward to comments, feedback, and further discussion regarding contact tracing solutions for pandemic containment.


title: Coresets for Clustering in Excluded-minor Graphs and Beyond

abstract: Coresets are modern data-reduction tools that are widely used in data analysis to improve efficiency in terms of running time, space and communication complexity. Our main result is a fast algorithm to construct a small coreset for k-Median in (the shortest-path metric of) an excluded-minor graph. Specifically, we give the first coreset of size that depends only on $k$, $\epsilon$ and the excluded-minor size, and our running time is quasi-linear (in the size of the input graph). The main innovation in our new algorithm is that is iterative; it first reduces the $n$ input points to roughly $O(\log n)$ reweighted points, then to $O(\log\log n)$, and so forth until the size is independent of $n$. Each step in this iterative size reduction is based on the importance sampling framework of Feldman and Langberg (STOC 2011), with a crucial adaptation that reduces the number of \emph{distinct points}, by employing a terminal embedding (where low distortion is guaranteed only for the distance from every terminal to all other points). Our terminal embedding is technically involved and relies on shortest-path separators, a standard tool in planar and excluded-minor graphs. Furthermore, our new algorithm is applicable also in Euclidean metrics, by simply using a recent terminal embedding result of Narayanan and Nelson, (STOC 2019), which extends the Johnson-Lindenstrauss Lemma. We thus obtain an efficient coreset construction in high-dimensional Euclidean spaces, thereby matching and simplifying state-of-the-art results (Sohler and Woodruff, FOCS 2018; Huang and Vishnoi, STOC 2020). In addition, we also employ terminal embedding with additive distortion to obtain small coresets in graphs with bounded highway dimension, and use applications of our coresets to obtain improved approximation schemes, e.g., an improved PTAS for planar k-Median via a new centroid set.


title: Terahertz Conductivity of Heavy-fermion Systems from Time-resolved Spectroscopy

abstract: The Drude model describes the free-electron conduction in simple metals, governed by the freedom that the mobile electrons have within the material. In strongly correlated systems, however, a significant deviation of the optical conductivity from the simple metallic Drude behavior is observed. Here, we investigate the optical conductivity of the heavy-fermion system CeCu$_{\mathrm{6-x}}$Au$_{\mathrm{x}}$, using time-resolved, phase-sensitive terahertz spectroscopy. Terahertz electric field creates two types of excitations in heavy-fermion materials: First, the intraband excitations that leave the heavy quasiparticles intact. Second, the resonant interband transitions between the heavy and light parts of the hybridized conduction band that break the Kondo singlet. We find that the Kondo-singlet breaking interband transitions do not create a Drude peak, while the Kondo-retaining intraband excitations yield the expected Drude response; thus, making it possible to separate these two fundamentally different correlated contributions to the optical conductivity.


title: Accurate single- and double-differential resummation of colour-singlet processes with MATRIX+RadISH: $W^+W^-$ production at the LHC

abstract: We present the combination of fully differential cross sections for colour-singlet production processes at next-to-next-to-leading order (NNLO) QCD obtained with MATRIX and all-order resummation through RadISH. This interface allows us to achieve unprecedented accuracy for various transverse observables in $2 \rightarrow 2$ production processes. As an important application we consider $W^+ W^-$ production at the LHC, more precisely the full leptonic process $pp\to \ell^+\ell^{\prime\, -}\nu_{\ell}{\bar\nu}_{\ell^\prime}+X$ with $\ell'\neq\ell$, and we present resummed predictions for differential distributions in presence of fiducial selection cuts. In particular, we resum the transverse-momentum spectrum of the $W^+ W^-$ pair at next-to-next-to-next-to-leading logarithmic (N$^3$LL) accuracy and match it to the integrated NNLO cross section. The transverse-momentum spectrum of the leading jet in $W^+ W^-$ production is calculated at NNLO+NNLL accuracy. Finally, the joint resummation for the transverse-momentum spectrum of the $W^+ W^-$ pair in the presence of a jet veto is performed at NNLO+NNLL. Our phenomenological study highlights the importance of higher-order perturbative and logarithmic corrections for precision phenomenology at the LHC.


title: Resource Efficient Chemistry on Quantum Computers with the Variational Quantum Eigensolver and The Double Unitary Coupled-Cluster approach

abstract: Applications of quantum simulation algorithms to obtain electronic energies of molecules on noisy intermediate-scale quantum (NISQ) devices require careful consideration of resources describing the complex electron correlation effects. In modeling second-quantized problems, the biggest challenge confronted is that the number of qubits scales linearly with the size of molecular basis. This poses a significant limitation on the size of the basis sets and the number of correlated electrons included in quantum simulations of chemical processes. To address this issue and to enable more realistic simulations on NISQ computers, we employ the double unitary coupled-cluster (DUCC) method to effectively downfold correlation effects into the reduced-size orbital space, commonly referred to as the active space. Using downfolding techniques, we demonstrate that properly constructed effective Hamiltonians can capture the effect of the whole orbital space in small-size active spaces. Combining the downfolding pre-processing technique with the Variational Quantum Eigensolver, we solve for the ground-state energy of $\text{H}_2$ and $\text{Li}_2$ in the cc-pVTZ basis using the DUCC-reduced active spaces. We compare these results to full configuration-interaction and high-level coupled-cluster reference calculations.


title: Patterns without a popular difference

abstract: Which finite sets $P \subseteq \mathbb{Z}^r$ with $|P| \ge 3$ have the following property: for every $A \subseteq [N]^r$, there is some nonzero integer $d$ such that $A$ contains $(\alpha^{|P|} - o(1))N^r$ translates of $d \cdot P = \{d p : p \in P\}$, where $\alpha = |A|/N^r$? Green showed that all 3-point $P \subseteq \mathbb{Z}$ have the above property. Green and Tao showed that 4-point sets of the form $P = \{a, a+b, a+c, a+b+c\} \subseteq \mathbb{Z}$ also have the property. We show that no other sets have the above property. Furthermore, for various $P$, we provide new upper bounds on the number of translates of $d \cdot P$ that one can guarantee to find.


title: Covid Notions: Towards Formal Definitions -- and Documented Understanding -- of Privacy Goals and Claimed Protection in Proximity-Tracing Services

abstract: The recent SARS-CoV-2 pandemic gave rise to management approaches using mobile apps for contact tracing. The corresponding apps track individuals and their interactions, to facilitate alerting users of potential infections well before they become infectious themselves. Naive implementation obviously jeopardizes the privacy of health conditions, location, activities, and social interaction of its users. A number of protocol designs for colocation tracking have already been developed, most of which claim to function in a privacy preserving manner. However, despite claims such as "GDPR compliance", "anonymity", "pseudonymity" or other forms of "privacy", the authors of these designs usually neglect to precisely define what they (aim to) protect. We make a first step towards formally defining the privacy notions of proximity tracing services, especially with regards to the health, (co-)location, and social interaction of their users. We also give a high-level intuition of which protection the most prominent proposals can and cannot achieve. This initial overview indicates that all proposals include some centralized services, and none protects identity and (co-)locations of infected users perfectly from both other users and the service provider.


title: Mean Number and Number Variance of Squeezed Coherent Photons In a Thermal State of Photons

abstract: We consider the equilibrium thermal state of photons and determine the mean number and number variance of squeezed coherent photons. We use an integral representation for electro-magnetic radiation applicable both to systems in equilibrium and to systems in nonequilibrium to determine the spectral function of the radiation. The system considered is in thermal equilibrium and we find that the squeezed coherent photons are at a higher temperature than the photons themselves. Also, as expected, the mean number of squeezed coherent photons is greater than that of photons.