title: Building intuition for binding free energy calculations: bound state definition, restraints, and symmetry

abstract: The theory behind computation of absolute binding free energies using explicit-solvent molecular simulations is well-established, yet somewhat complex, with counter-intuitive aspects. This leads to frequent frustration, common misconceptions, and sometimes, erroneous numerical treatment. To improve this, we present the main practically relevant segments of the theory with constant reference to physical intuition. We pinpoint the role of the implicit or explicit definition of the bound state (or the binding site), to make a robust link between an experimental measurement and a computational result. We clarify the role of symmetry, and discuss cases where symmetry number corrections have been misinterpreted. In particular, we argue that symmetry corrections as classically presented are a source of confusion, and could be advantageously replaced by restraint free energy contributions. We establish that contrary to a common intuition, partial or missing sampling of some modes of symmetric bound states does not affect the calculated decoupling free energies. Finally, we review these questions and pitfalls in the context of a few common practical situations: binding to a symmetric receptor (equivalent binding sites), binding of a symmetric ligand (equivalent poses), and formation of a symmetric complex, in the case of homodimerization.


title: End-to-End Delay Guaranteed SFC Deployment: A Multi-level Mapping Approach

abstract: Network Function Virtualization (NFV) enables service providers to maximize the business profit via resource-efficient QoS provisioning for customer requested Service Function Chains (SFCs). In recent applications, end-to-end delay is one of the crucial QoS requirement needs to be guaranteed in SFC deployment. While it is considered in the literature, accurate and comprehensive modeling of the delay in the problem of maximizing the service provider's profit has not yet been addressed. In this paper, at first, the problem is formulated as a mixed integer convex programming model. Then, by decomposing the model, a two-level mapping algorithm is developed, that at the first level, maps the functions of the SFCs to virtual network function instances; and in the second level, deploys the instances in the physical network. Simulation results show that the proposed approach achieves a near optimal solution in comparison the performance bound obtained by the optimization model, and also superiors the existing solutions.


title: Discovering the Origin of Yukawa Couplings at the LHC with a Singlet Higgs and Vector-like Quarks

abstract: Although the 125 GeV Higgs boson discovered at the LHC is often heralded as the origin of mass, it may not in fact be the origin of Yukawa couplings. In alternative models, Yukawa couplings may instead arise from a seesaw type mechanism involving the mixing of Standard Model (SM) chiral fermions with new vector-like fermions, controlled by the vacuum expectation value (VEV) of a new complex Higgs singlet field $\langle \Phi \rangle$. For example, the largest third family $(t,b)$ quark Yukawa couplings may be forbidden by a $U(1)'$ gauge or global symmetry, broken by $\langle \Phi \rangle$, and generated effectively via mixing with a vector-like fourth family quark doublet $(T,B)$. Such theories predict a new physical Higgs singlet $\phi$, which we refer to as the Yukon, resulting from $\langle \Phi \rangle$, in the same way that the Higgs boson $h^0$ results from $\langle H\rangle$. In a simplified model we discuss the prospects for discovering the Yukon $\phi$ in gluon-gluon fusion production, with $(t,b)$ and $(T,B)$ quarks in the loops, and decaying in the channels $\phi\rightarrow \gamma\gamma, Z\gamma$ and $\phi\rightarrow tT\rightarrow tth^0,ttZ$. The potential for discovery of the Yukon $\phi$ is studied at present or future hadron colliders such as the LHC (Run 3), HL-LHC, HE-LHC and/or FCC. For example, we find that a 300-350 GeV Yukon $\phi$ could be accessed at LHC Run 3 in the di-photon channel in the global model, providing a smoking gun signature of the origin of Yukawa couplings. The $tth^0,ttZ$ channels are more involved and warrant a more sophisticated analysis.


title: Frequency Shift Algorithm: Application to a Frequency-Domain Multiplexing Readout of X-ray Transition-Edge Sensor Microcalorimeters

abstract: In the frequency-domain multiplexing (FDM) scheme, transition-edge sensors (TES) are individually coupled to superconducting LC filters and AC biased at MHz frequencies through a common readout line. To make efficient use of the available readout bandwidth and to minimize the effect of non-linearities, the LC resonators are usually designed to be on a regular grid. The lithographic processes however pose a limit on the accuracy of the effective filter resonance frequencies. Off-resonance bias carriers could be used to suppress the impact of intermodulation distortions, which nonetheless would significantly affect the effective bias circuit and the detector spectral performance. In this paper we present a frequency shift algorithm (FSA) to allow off-resonance readout of TES's while preserving the on-resonance bias circuit and spectral performance, demonstrating its application to the FDM readout of a X-ray TES microcalorimeter array. We discuss the benefits in terms of mitigation of the impact of intermodulation distortions at the cost of increased bias voltage and the scalability of the algorithm to multi-pixel FDM readout. We show that with FSA, in multi-pixel and frequencies shifted on-grid, the line noises due to intermodulation distortion are placed away from the sensitive region in the TES response and the X-ray performance is consistent with the single-pixel, on-resonance level.


title: The auto and cross angular power spectrum of the Cas A supernova remnant in radio and X-ray

abstract: The shell type supernova remnant (SNR) Cas A exhibits structures at nearly all angular scales. Previous studies show the angular power spectrum $(C_{\ell})$ of the radio emission to be a broken power law, consistent with MHD turbulence. The break has been identified with the transition from 2D to 3D turbulence at the angular scale corresponding to the shell thickness. Alternatively, this can also be explained as 2D inverse cascade driven by energy injection from knot-shock interactions. Here we present $C_{\ell}$ measured from archival VLA $5$GHz (C band) data, and Chandra X-ray data in the energy ranges ${\rm A}=0.6-1.0 \, \, {\rm keV}$ and ${\rm B} =4.2-6.0 \, \, {\rm keV}$, both of which are continuum dominated. The different emissions all trace fluctuations in the underlying plasma and possibly also the magnetic field, and we expect them to be correlated. We quantify this using the cross $C_{\ell}$ between the different emissions. We find that X-ray B is strongly correlated with both radio and X-ray A, however X-ray A is only very weakly correlated with radio. This supports a picture where X-ray A is predominantly thermal bremsstrahlung whereas X-ray B is a composite of thermal bremsstrahlung and non-thermal synchrotron emission. The various $C_{\ell}$ measured here, all show a broken power law behaviour. However, the slopes are typically shallower than those in radio and the position of the break also corresponds to smaller angular scales. These findings provide observational inputs regarding the nature of turbulence and the emission mechanisms in Cas A.


title: Effectively Testing System Configurations of Critical IoT Analytics Pipelines

abstract: The emergence of the Internet of Things has seen the introduction of numerous connected devices used for the monitoring and control of even Critical Infrastructures. Distributed stream processing has become key to analyzing data generated by these connected devices and improving our ability to make decisions. However, optimizing these systems towards specific Quality of Service targets is a difficult and time-consuming task, due to the large-scale distributed systems involved, the existence of so many configuration parameters, and the inability to easily determine the impact of tuning these parameters. In this paper we present an approach for the effective testing of system configurations for critical IoT analytics pipelines. We demonstrate our approach with a prototype that we called Timon which is integrated with Kubernetes. This tool allows pipelines to be easily replicated in parallel and evaluated to determine the optimal configuration for specific applications. We demonstrate the usefulness of our approach by investigating different configurations of an exemplary geographically-based traffic monitoring application implemented in Apache Flink.


title: Scattering states and bound states of exponential potentials

abstract: We explore the relationships between scattering states and bound states of different non-analytic segments (depending on $|x|$) of the exponential potential, and elucidate the status of the special scattering states found in an earlier publication by Ahmed et al. A similar analysis can be made of non-analytic segments of power potentials such as $x^3$.


title: Searching for Pneumothorax in X-Ray Images Using Autoencoded Deep Features

abstract: Fast diagnosis and treatment of pneumothorax, a collapsed or dropped lung, is crucial to avoid fatalities. Pneumothorax is typically detected on a chest X-ray image through visual inspection by experienced radiologists. However, the detection rate is quite low. Therefore, there is a strong need for automated detection systems to assist radiologists. Despite the high accuracy levels generally reported for deep learning classifiers in many applications, they may not be useful in clinical practice due to the lack of large number of high-quality labelled images as well as a lack of interpretation possibility. Alternatively, searching in the archive of past cases to find matching images may serve as a 'virtual second opinion' through accessing the metadata of matched evidently diagnosed cases. To use image search as a triaging/diagnosis tool, all chest X-ray images must first be tagged with identifiers, i.e., deep features. Then, given a query chest X-ray image, the majority vote among the top k retrieved images can provide a more explainable output. While image search can be clinically more viable, its detection performance needs to be investigated at a scale closer to real-world practice. We combined 3 public datasets to assemble a repository with more than 550,000 chest X-ray images. We developed the Autoencoding Thorax Net (short AutoThorax-Net) for image search in chest radiographs compressing three inputs: the left chest side, the flipped right side, and the entire chest image. Experimental results show that image search based on AutoThorax-Net features can achieve high identification rates providing a path towards real-world deployment. We achieved 92% AUC accuracy for a semi-automated search in 194,608 images (pneumothorax and normal) and 82% AUC accuracy for fully automated search in 551,383 images (normal, pneumothorax and many other chest diseases).


title: Quantum correlation in quark-gluon medium

abstract: We study thermodynamics and quantum correlations of the string cloud geometry whose field theory dual is the quark-gluon medium. We found the novel universality of the entanglement entropy first law in the high quark density limit. We also showed that a correlation function generally decreases as the entanglement entropy of the background medium increases due to the screening effect of the background. We study the UV and IR effects of the medium on phase transition behaviour observed in the holographic mutual information using both perturbative and numerical computations. Moreover, by numerical computation, we show that in the IR region the critical length obtained from the mutual information behaves similar to the correlation length of the two-point function.


title: An Inquisitive Code Editor for Addressing Novice Programmers' Misconceptions of Program Behavior

abstract: Novice programmers face numerous barriers while attempting to learn how to code that may deter them from pursuing a computer science degree or career in software development. In this work, we propose a tool concept to address the particularly challenging barrier of novice programmers holding misconceptions about how their code behaves. Specifically, the concept involves an inquisitive code editor that: (1) identifies misconceptions by periodically prompting the novice programmer with questions about their program's behavior, (2) corrects the misconceptions by generating explanations based on the program's actual behavior, and (3) prevents further misconceptions by inserting test code and utilizing other educational resources. We have implemented portions of the concept as plugins for the Atom code editor and conducted informal surveys with students and instructors. Next steps include deploying the tool prototype to students enrolled in introductory programming courses.


title: Sufficiently Accurate Model Learning for Planning

abstract: Data driven models of dynamical systems help planners and controllers to provide more precise and accurate motions. Most model learning algorithms will try to minimize a loss function between the observed data and the model's predictions. This can be improved using prior knowledge about the task at hand, which can be encoded in the form of constraints. This turns the unconstrained model learning problem into a constrained one. These constraints allow models with finite capacity to focus their expressive power on important aspects of the system. This can lead to models that are better suited for certain tasks. This paper introduces the constrained Sufficiently Accurate model learning approach, provides examples of such problems, and presents a theorem on how close some approximate solutions can be. The approximate solution quality will depend on the function parameterization, loss and constraint function smoothness, and the number of samples in model learning.


title: Baryon axial vector current in large-$N_c$ chiral perturbation theory: Complete analysis for $N_c=3$

abstract: The baryon axial vector current is computed in heavy baryon chiral perturbation theory in the large-$N_c$ limit, where $N_c$ is the number of color charges. One-loop nonanalytic corrections of order $m_q \ln m_q$ are comprised in the analysis, with contributions of both intermediate octet and decuplet baryon states, to all orders in the $1/N_c$ expansion of the axial vector current relevant for $N_c=3$. Theoretical expressions are obtained in the limit of vanishing decuplet-octet mass difference only, which allows one to carry out a full comparison with conventional heavy baryon chiral perturbation theory results for three flavors of light quarks and at the physical value $N_c=3$. Both approaches perfectly agree to all orders considered. Furthermore, a numerical analysis via a least-squares fit is performed in order to extract the values of the free parameters of the theory, using the experimental data available. The predictions of formalism are remarkable.


title: Orbits of $Z \circ (2.O_8^+(2).2)$ in Dimension 8

abstract: Groups of structure $2.O_8^+(2)$ have an irreducible representation of degree $8$ which can be realized over $\mathbb{Z}$ and any prime field $\mathbb{F}_p$. This representation extends to a group of structure $2.O_8^+(2).2$. Any subgroup $Z \leq \mathbb{F}_p^{\times}$ acts by scalar multiplication on this module over $\mathbb{F}_p$. In this short note we determine for which primes $p > 7$ and which $Z$ the central products $Z \circ (2.O_8^+(2)$ and $Z \circ (2.O_8^+(2).2)$ have a regular orbit on the $8$-dimensional $\mathbb{F}_p$-module. This work was triggered by an omission in the paper by K\"ohler and Pahlings with title 'Regular Orbits and the $k(GV)$-Problem', a paper which is used in various places in work on the $k(GV)$-problem.


title: Deep Iteration Assisted by Multi-level Obey-pixel Network Discriminator (DIAMOND) for Medical Image Recovery

abstract: Image restoration is a typical ill-posed problem, and it contains various tasks. In the medical imaging field, an ill-posed image interrupts diagnosis and even following image processing. Both traditional iterative and up-to-date deep networks have attracted much attention and obtained a significant improvement in reconstructing satisfying images. This study combines their advantages into one unified mathematical model and proposes a general image restoration strategy to deal with such problems. This strategy consists of two modules. First, a novel generative adversarial net(GAN) with WGAN-GP training is built to recover image structures and subtle details. Then, a deep iteration module promotes image quality with a combination of pre-trained deep networks and compressed sensing algorithms by ADMM optimization. (D)eep (I)teration module suppresses image artifacts and further recovers subtle image details, (A)ssisted by (M)ulti-level (O)bey-pixel feature extraction networks (D)iscriminator to recover general structures. Therefore, the proposed strategy is named DIAMOND.


title: Measuring Robustness in Deep Learning Based Compressive Sensing

abstract: Deep neural networks give state-of-the-art accuracy for reconstructing images from few and noisy measurements, a problem arising for example in accelerated magnetic resonance imaging (MRI). However, recent works have raised concerns that deep-learning-based image reconstruction methods are sensitive to perturbations and are less robust than traditional methods: Neural networks (i) may be sensitive to small, yet adversarially-selected perturbations, (ii) may perform poorly under distribution shifts, and (iii) may fail to recover small but important features in an image. In order to understand the sensitivity to such perturbations, in this work, we measure the robustness of different approaches for image reconstruction including trained and un-trained neural networks as well as traditional sparsity-based methods. We find, contrary to prior works, that both trained and un-trained methods are vulnerable to adversarial perturbations. Moreover, both trained and un-trained methods tuned for a particular dataset suffer very similarly from distribution shifts. Finally, we demonstrate that an image reconstruction method that achieves higher reconstruction quality, also performs better in terms of accurately recovering fine details. Our results indicate that the state-of-the-art deep-learning-based image reconstruction methods provide improved performance than traditional methods without compromising robustness.


title: Abelian maps, brace blocks, and solutions to the {Y}ang-{B}axter equation

abstract: Let $G$ be a finite nonabelian group. We show how an endomorphism of $G$ with abelian image gives rise to a family of binary operations $\{\circ_n: n\in \mathbb Z^{\ge 0}\}$ on $G$ such that $(G,\circ_m,\circ_n)$ is a skew left brace for all $m,n\ge 0$. A brace block gives rise to a number of non-degenerate set-theoretic solutions to the Yang-Baxter equation. We give examples showing that the number of solutions obtained can be arbitrarily large.


title: Semi-continuity of conductors, and ramification bound of nearby cycles

abstract: For a constructible \'etale sheaf on a smooth variety of positive characteristic ramified along an effective divisor, the largest slope in Abbes and Saito's ramification theory of the sheaf gives a divisor with rational coefficients called the conductor divisor. In this article, we prove decreasing properties of the conductor divisor after pull-backs. The main ingredient behind is the construction of \'etale sheaves with pure ramifications. As applications, we first prove a lower semi-continuity property for conductors of \'etale sheaves on relative curves in the equal characteristic case, which supplement Deligne and Laumon's lower semi-continuity property of Swan conductors and is also an $\ell$-adic analogue of Andr\'e's semi-continuity result of Poincar\'e-Katz ranks for meromorphic connections on complex relative curves. Secondly, we give a ramification bound for the nearby cycle complex of an \'etale sheaf ramified along the special fiber of a regular scheme semi-stable over an equal characteristic henselian trait, which extends a main result in a joint work with Teyssier and answers a conjecture of Leal in a geometric situation.


title: Electroproduction of heavy quarkonia: significance of dipole orientation

abstract: The differential cross section $d\sigma/dq^2$ of diffractive electroproduction of heavy quarkonia on protons is a sensitive study tool for the interaction dynamics within the dipole representation. Knowledge of the transverse momentum transfer $\vec q$ provides a unique opportunity to identify the reaction plane, due to a strong correlation between the directions of $\vec q$ and impact parameter $\vec b$. On top of that, the elastic dipole-proton amplitude is subject to a strong correlation between $\vec b$ and dipole orientation $\vec r$. Most of models for $b$-dependent dipole cross section either completely miss this information, or make unjustified assumptions. We perform calculations basing on a realistic model for $\vec r$-$\vec b$ correlation, which significantly affect the $q$-dependence of the cross section, in particular the ratio of $\psi^{\,\prime}(2S)$ to $J/\psi$ yields. We rely on realistic potential models for the heavy quarkonium wave function, and the Lorentz-boosted Schr\"odinger equation. Good agreement with data on $q$-dependent diffractive electroproduction of heavy quarkonia is achieved.


title: A Low Cost Modular Radio Tomography System for Bicycle and Vehicle Detection and Classification

abstract: The advancing deployment of ubiquitous Internet of Things (IoT)-powered vehicle detection and classification systems will successively turn the existing road infrastructure into a highly dynamical and interconnected Cyber-physical System (CPS). Though many different sensor systems have been proposed in recent years, these solutions can only meet a subset of requirements, including cost-efficiency, robustness, accuracy, and privacy preservation. This paper provides a modular system approach that exploits radio tomography in terms of attenuation patterns and highly accurate channel information for reliable and robust detection and classification of different road users. Hereto, we use Wireless Local Area Network (WLAN) and Ultra-Wideband (UWB) transceiver modules providing either Channel State Information (CSI) or Channel Impulse Response (CIR) data. Since the proposed system utilizes off-the-shelf and power-efficient embedded systems, it allows for a cost-efficient ad-hoc deployment in existing road infrastructures. We have evaluated the proposed system's performance for cyclists and other motorized vehicles with an experimental live deployment. In this concern, the primary focus has been on the accurate detection of cyclists on a bicycle path. However, we also have conducted preliminary evaluation tests measuring different motorized vehicles using a similar system configuration as for the cyclists. In summary, the system achieves up to 100% accuracy for detecting cyclists and more than 98% classifying cyclists and cars.


title: SWAGAN: A Style-based Wavelet-driven Generative Model

abstract: In recent years, considerable progress has been made in the visual quality of Generative Adversarial Networks (GANs). Even so, these networks still suffer from degradation in quality for high-frequency content, stemming from a spectrally biased architecture, and similarly unfavorable loss functions. To address this issue, we present a novel general-purpose Style and WAvelet based GAN (SWAGAN) that implements progressive generation in the frequency domain. SWAGAN incorporates wavelets throughout its generator and discriminator architectures, enforcing a frequency-aware latent representation at every step of the way. This approach yields enhancements in the visual quality of the generated images, and considerably increases computational performance. We demonstrate the advantage of our method by integrating it into the SyleGAN2 framework, and verifying that content generation in the wavelet domain leads to higher quality images with more realistic high-frequency content. Furthermore, we verify that our model's latent space retains the qualities that allow StyleGAN to serve as a basis for a multitude of editing tasks, and show that our frequency-aware approach also induces improved downstream visual quality.


title: The Deepfake Detection Dilemma: A Multistakeholder Exploration of Adversarial Dynamics in Synthetic Media

abstract: Synthetic media detection technologies label media as either synthetic or non-synthetic and are increasingly used by journalists, web platforms, and the general public to identify misinformation and other forms of problematic content. As both well-resourced organizations and the non-technical general public generate more sophisticated synthetic media, the capacity for purveyors of problematic content to adapt induces a \newterm{detection dilemma}: as detection practices become more accessible, they become more easily circumvented. This paper describes how a multistakeholder cohort from academia, technology platforms, media entities, and civil society organizations active in synthetic media detection and its socio-technical implications evaluates the detection dilemma. Specifically, we offer an assessment of detection contexts and adversary capacities sourced from the broader, global AI and media integrity community concerned with mitigating the spread of harmful synthetic media. A collection of personas illustrates the intersection between unsophisticated and highly-resourced sponsors of misinformation in the context of their technical capacities. This work concludes that there is no "best" approach to navigating the detector dilemma, but derives a set of implications from multistakeholder input to better inform detection process decisions and policies, in practice.


title: Second order elliptic partial differential equations driven by L\'evy white noise

abstract: This paper deals with linear stochastic partial differential equations with variable coefficients driven by L\'{e}vy white noise. We first derive an existence theorem for integral transforms of L\'{e}vy white noise and prove the existence of generalized and mild solutions of second order elliptic partial differential equations. Furthermore, we discuss the generalized electric Schr\"odinger operator for different potential functions $V$.


title: Hilbert Space Fragmentation and Exact Scars of Generalized Fredkin Spin Chains

abstract: In this work, based on the Fredkin spin chain, we introduce a family of spin-$1/2$ many-body Hamiltonians with a three-site interaction featuring a fragmented Hilbert space with coexisting quantum many-body scars. The fragmentation results from an emergent kinetic constraint resembling the conserved spin configuration in the 1D Fermi-Hubbard model in the infinite onsite repulsion limit. To demonstrate the many-body scars, we construct an exact eigenstate that is in the middle of the spectrum within each fractured sub-sector displaying either logarithmic or area-law entanglement entropy. The interplay between fragmentation and scarring leads to rich tunable non-ergodic dynamics by quenching different initial states that is shown through large scale matrix product state simulations. In addition, we provide a Floquet quantum circuit that displays non-ergodic dynamics as a result of sharing the same fragmentation structure and scarring as the Hamiltonian.


title: A Metamodel and Framework for Artificial General Intelligence From Theory to Practice

abstract: This paper introduces a new metamodel-based knowledge representation that significantly improves autonomous learning and adaptation. While interest in hybrid machine learning / symbolic AI systems leveraging, for example, reasoning and knowledge graphs, is gaining popularity, we find there remains a need for both a clear definition of knowledge and a metamodel to guide the creation and manipulation of knowledge. Some of the benefits of the metamodel we introduce in this paper include a solution to the symbol grounding problem, cumulative learning, and federated learning. We have applied the metamodel to problems ranging from time series analysis, computer vision, and natural language understanding and have found that the metamodel enables a wide variety of learning mechanisms ranging from machine learning, to graph network analysis and learning by reasoning engines to interoperate in a highly synergistic way. Our metamodel-based projects have consistently exhibited unprecedented accuracy, performance, and ability to generalize. This paper is inspired by the state-of-the-art approaches to AGI, recent AGI-aspiring work, the granular computing community, as well as Alfred Korzybski's general semantics. One surprising consequence of the metamodel is that it not only enables a new level of autonomous learning and optimal functioning for machine intelligences, but may also shed light on a path to better understanding how to improve human cognition.


title: Automorphic-twisted summation formulae for pairs of quadratic spaces

abstract: We prove a summation formula for pairs of quadratic spaces following the conjectures of Braverman-Kazhdan, Lafforgue, Ng\^{o} and Sakellaridis. We also give an expression of the local factors where all the data are unramified.


title: Portable Real-Time Polarimeter for Partially and Fully Polarized Light

abstract: We present a spinning waveplate polarimeter capable of producing real-time visualization of the polarization state of completely or partially polarized light. Our system utilizes a Raspberry Pi computer for a fully online, real-time analysis and visualization of the polarization state. This completely integrated approach provides an efficient tool for modern optics research labs and is well-suited for educational demonstrations.


title: District-Fair Participatory Budgeting

abstract: Participatory budgeting is a method used by city governments to select public projects to fund based on residents' votes. Many cities use participatory budgeting at a district level. Typically, a budget is divided among districts proportionally to their population, and each district holds an election over local projects and then uses its budget to fund the projects most preferred by its voters. However, district-level participatory budgeting can yield poor social welfare because it does not necessarily fund projects supported across multiple districts. On the other hand, decision making that only takes global social welfare into account can be unfair to districts: A social-welfare-maximizing solution might not fund any of the projects preferred by a district, despite the fact that its constituents pay taxes to the city. Thus, we study how to fairly maximize social welfare in a participatory budgeting setting with a single city-wide election. We propose a notion of fairness that guarantees each district at least as much welfare as it would have received in a district-level election. We show that, although optimizing social welfare subject to this notion of fairness is NP-hard, we can efficiently construct a lottery over welfare-optimal outcomes that is fair in expectation. Moreover, we show that, when we are allowed to slightly relax fairness, we can efficiently compute a fair solution that is welfare-maximizing, but which may overspend the budget.


title: The effect of finite halo size on the clustering of neutral hydrogen

abstract: Post-reionisation 21cm intensity mapping experiments target the spectral line of neutral hydrogen (HI) resident in dark matter haloes. According to the halo model, these discrete haloes trace the continuous dark matter density field down to a certain scale, which is dependent on the halo physical size. The halo physical size defines an exclusion region which leaves imprints on the statistical properties of HI. We show how the effect of exclusion due to the finite halo size impacts the HI power spectrum, with the physical boundary of the host halo given by the splashback radius. Most importantly, we show that the white noise-like feature that appears in the zero-momentum limit of the power spectrum is exactly cancelled when the finite halo size is taken into consideration. This cancellation in fact applies to all tracers of dark matter density field, including galaxies. Furthermore, we show that the exclusion due to finite halo size leads to a sub-Poissonian noise signature on large scales, consistent with the results from N-body simulations


title: Pulse-engineered Controlled-V gate and its applications on superconducting quantum device

abstract: In this paper, we demonstrate that, by employing OpenPulse design kit for IBM superconducting quantum devices, the controlled-V gate (CV gate) can be implemented in about half the gate time to the controlled-X (CX or CNOT gate) and consequently 65.5\% reduced gate time compared to the CX-based implementation of CV. Then, based on the theory of Cartan decomposition, we characterize the set of all two-qubit gates implemented with only two or three CV gates; using pulse-engineered CV gates enables us to implement these gates with shorter gate time and possibly better gate fidelity than the CX-based one, as actually demonstrated in two examples. Moreover, we showcase the improvement of linearly-coupled three-qubit Toffoli gate, by implementing it with the pulse-engineered CV gate, both in gate time and the averaged output-state fidelity. These results imply the importance of our CV gate implementation technique, which, as an additional option for the basis gate set design, may shorten the overall computation time and consequently improve the precision of several quantum algorithms executed on a real device.


title: Lagrangian configurations and Hamiltonian maps

abstract: We study configurations of disjoint Lagrangian submanifolds in certain low-dimensional symplectic manifolds from the perspective of the geometry of Hamiltonian maps. We detect infinite-dimensional flats in the Hamiltonian group of the two-sphere equipped with Hofer's metric, prove constraints on Lagrangian packing, find instances of Lagrangian Poincar\'{e} recurrence, and present a new hierarchy of normal subgroups of area-preserving homeomorphisms of the two-sphere. The technology involves Lagrangian spectral invariants with Hamiltonian term in symmetric product orbifolds.


title: Electroabsorption in gated GaAs nanophotonic waveguides

abstract: We report on the analysis of electroabsorption in thin GaAs/Al$_{0.3}$Ga$_{0.7}$As nanophotonic waveguides with an embedded $p$-$i$-$n$ junction. By measuring the transmission through waveguides of different lengths, we derive the propagation loss as a function of electric field, wavelength, and temperature. The results are in good agreement with the Franz-Keldysh model of electroabsorption extending over 200 meV below the GaAs bandgap, i.e. in the 910--970 nm wavelength range. We find a pronounced residual absorption in forward bias, which we attribute to Fermi-level pinning at the waveguide surface, producing over 20 dB/mm loss at room temperature. These results are essential for understanding the origin of loss in nanophotonic devices operating in the emission range of self-assembled InAs semiconductor quantum dots, towards the realization of scalable quantum photonic integrated circuits.


title: Deep Photo Scan: Semi-Supervised Learning for dealing with the real-world degradation in Smartphone Photo Scanning

abstract: Physical photographs now can be conveniently scanned by smartphones and stored forever as a digital version, yet the scanned photos are not restored well. One solution is to train a supervised deep neural network on many digital photos and the corresponding scanned photos. However, it requires a high labor cost, leading to limited training data. Previous works create training pairs by simulating degradation using image processing techniques. Their synthetic images are formed with perfectly scanned photos in latent space. Even so, the real-world degradation in smartphone photo scanning remains unsolved since it is more complicated due to lens defocus, lighting conditions, losing details via printing. Besides, locally structural misalignment still occurs in data due to distorted shapes captured in a 3-D world, reducing restoration performance and the reliability of the quantitative evaluation. To solve these problems, we propose a semi-supervised Deep Photo Scan (DPScan). First, we present a way of producing real-world degradation and provide the DIV2K-SCAN dataset for smartphone-scanned photo restoration. Also, Local Alignment is proposed to reduce the minor misalignment remaining in data. Second, we simulate many different variants of the real-world degradation using low-level image transformation to gain a generalization in smartphone-scanned image properties, then train a degradation network to generalize all styles of degradation and provide pseudo-scanned photos for unscanned images as if they were scanned by a smartphone. Finally, we propose a Semi-Supervised Learning that allows our restoration network to be trained on both scanned and unscanned images, diversifying training image content. As a result, the proposed DPScan quantitatively and qualitatively outperforms its baseline architecture, state-of-the-art academic research, and industrial products in smartphone photo scanning.


title: A Bayesian cohort component projection model to estimate adult populations at the subnational level in data-sparse settings

abstract: Accurate estimates of subnational populations are important for policy formulation and monitoring population health indicators. For example, estimates of the number of women of reproductive age are important to understand the population at risk to maternal mortality and unmet need for contraception. However, in many low-income countries, data on population counts and components of population change are limited, and so levels and trends subnationally are unclear. We present a Bayesian constrained cohort component model for the estimation and projection of subnational populations. The model builds on a cohort component projection framework, incorporates census data and estimates from the United Nation's World Population Prospects, and uses characteristic mortality schedules to obtain estimates of population counts and the components of population change, including internal migration. The data required as inputs to the model are minimal and available across a wide range of countries, including most low-income countries. The model is applied to estimate and project populations by county in Kenya for 1979-2019, and validated against the 2019 Kenyan census.


title: A Novel Trick to Overcome the Phase Space Volume Change and the Use of Hamiltonian Trajectories with an emphasis on the Free Expansion

abstract: We extend and successfully apply a recently proposed microstate nonequilibrium thermodynamics to study expansion/contraction processes. Here, the numbers of initial and final microstates are different so they cannot be connected by unique Hamiltonian trajectories. This commonly happens when the phase space volume changes, and has not been studied so far using Hamiltonian trajectories that can be inverted to yield an identity mapping between initial and final microstates as the parameter in the Hamiltonian is changed. We propose a trick to overcome this hurdle with a focus on free expansion in an isolated system, where the concept of dissipated work is not clear. The trick is shown to be thermodynamically consistent and can be extremely useful in simulation. We justify that it is the thermodynamic average of the internal microwork done by a microstate that is dissipated; this microwork is different from the exchange microwork with the vacuum, which vanishes. We also establish that the microwork is nonnegative for free expansion, which is remarkable, since its sign is not fixed in a general process.

categories: cond-mat.stat-mech cond-mat.mes-hall math-ph math.MP physics.comp-ph


title: Microscopic metallic air-bridge arrays for connecting quantum devices

abstract: We present a single-exposure fabrication technique for a very large array of microscopic air-bridges using a tri-layer resist process with electron-beam lithography. The technique is capable of forming air-bridges with strong metal-metal or metal-substrate connections. This was demonstrated by its application in an electron tunnelling device consisting of 400 identical surface gates for defining quantum wires, where the air-bridges are used as suspended connections for the surface gates. This technique enables us to create a large array of uniform one-dimensional channels that are open at both ends. In this article, we outline the details of the fabrication process, together with a study and the solution of the challenges present in the development of the technique, which includes the use of water-IPA (isopropyl alcohol) developer, calibration of resist thickness and numerical simulation of the development.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.app-ph quant-ph


title: Enantiomer superpositions from matter-wave interference of chiral molecules

abstract: Molecular matter-wave interferometry enables novel strategies for manipulating the internal mechanical motion of complex molecules. Here, we show how chiral molecules can be prepared in a quantum superposition of two enantiomers by far-field matter-wave diffraction and how the resulting tunnelling dynamics can be observed. We determine the impact of ro-vibrational phase averaging and propose a setup for sensing enantiomer-dependent forces, parity-violating weak interactions, and environment-induced superselection of handedness, as suggested to resolve Hund's paradox. Using ab-initio tunnelling calculations, we identify [4]-helicene derivatives as promising candidates to implement the proposal with state-of-the-art techniques. This work opens the door for quantum sensing and metrology with chiral molecules.


title: Artificial Intelligence Advances for De Novo Molecular Structure Modeling in Cryo-EM

abstract: Cryo-electron microscopy (cryo-EM) has become a major experimental technique to determine the structures of large protein complexes and molecular assemblies, as evidenced by the 2017 Nobel Prize. Although cryo-EM has been drastically improved to generate high-resolution three-dimensional (3D) maps that contain detailed structural information about macromolecules, the computational methods for using the data to automatically build structure models are lagging far behind. The traditional cryo-EM model building approach is template-based homology modeling. Manual de novo modeling is very time-consuming when no template model is found in the database. In recent years, de novo cryo-EM modeling using machine learning (ML) and deep learning (DL) has ranked among the top-performing methods in macromolecular structure modeling. Deep-learning-based de novo cryo-EM modeling is an important application of artificial intelligence, with impressive results and great potential for the next generation of molecular biomedicine. Accordingly, we systematically review the representative ML/DL-based de novo cryo-EM modeling methods. And their significances are discussed from both practical and methodological viewpoints. We also briefly describe the background of cryo-EM data processing workflow. Overall, this review provides an introductory guide to modern research on artificial intelligence (AI) for de novo molecular structure modeling and future directions in this emerging field.

categories: q-bio.BM cs.AI physics.bio-ph physics.comp-ph


title: Core Imaging Library -- Part II: Multichannel reconstruction for dynamic and spectral tomography

abstract: The newly developed Core Imaging Library (CIL) is a flexible plug and play library for tomographic imaging with a specific focus on iterative reconstruction. CIL provides building blocks for tailored regularised reconstruction algorithms and explicitly supports multichannel tomographic data. In the first part of this two-part publication, we introduced the fundamentals of CIL. This paper focuses on applications of CIL for multichannel data, e.g., dynamic and spectral. We formalise different optimisation problems for colour processing, dynamic and hyperspectral tomography and demonstrate CIL's capabilities for designing state of the art reconstruction methods through case studies and code snapshots.


title: The natural density of some sets of square-free numbers

abstract: Let $P$ and $T$ be disjoint sets of prime numbers with $T$ finite. A simple formula is given for the natural density of the set of square-free numbers which are divisible by all of the primes in $T$ and by none of the primes in $P$. If $P$ is the set of primes congruent to $r$ modulo $m$ (where $m$ and $r$ are relatively prime numbers), then this natural density is shown to be $0$.


title: Sequence-based Machine Learning Models in Jet Physics

abstract: Sequence-based modeling broadly refers to algorithms that act on data that is represented as an ordered set of input elements. In particular, Machine Learning algorithms with sequences as inputs have seen successfull applications to important problems, such as Natural Language Processing (NLP) and speech signal modeling. The usage this class of models in collider physics leverages their ability to act on data with variable sequence lengths, such as constituents inside a jet. In this document, we explore the application of Recurrent Neural Networks (RNNs) and other sequence-based neural network architectures to classify jets, regress jet-related quantities and to build a physics-inspired jet representation, in connection to jet clustering algorithms. In addition, alternatives to sequential data representations are briefly discussed.


title: Meta-Thompson Sampling

abstract: Efficient exploration in bandits is a fundamental online learning problem. We propose a variant of Thompson sampling that learns to explore better as it interacts with bandit instances drawn from an unknown prior. The algorithm meta-learns the prior and thus we call it MetaTS. We propose several efficient implementations of MetaTS and analyze it in Gaussian bandits. Our analysis shows the benefit of meta-learning and is of a broader interest, because we derive a novel prior-dependent Bayes regret bound for Thompson sampling. Our theory is complemented by empirical evaluation, which shows that MetaTS quickly adapts to the unknown prior.


title: Continuum centroid classifier for functional data

abstract: Aiming at the binary classification of functional data, we propose the continuum centroid classifier (CCC) built upon projections of functional data onto one specific direction. This direction is obtained via bridging the regression and classification. Controlling the extent of supervision, our technique is neither unsupervised nor fully supervised. Thanks to the intrinsic infinite dimension of functional data, one of two subtypes of CCC enjoys the (asymptotic) zero misclassification rate. Our proposal includes an effective algorithm that yields a consistent empirical counterpart of CCC. Simulation studies demonstrate the performance of CCC in different scenarios. Finally, we apply CCC to two real examples.


title: Removing leakage-induced correlated errors in superconducting quantum error correction

abstract: Quantum computing can become scalable through error correction, but logical error rates only decrease with system size when physical errors are sufficiently uncorrelated. During computation, unused high energy levels of the qubits can become excited, creating leakage states that are long-lived and mobile. Particularly for superconducting transmon qubits, this leakage opens a path to errors that are correlated in space and time. Here, we report a reset protocol that returns a qubit to the ground state from all relevant higher level states. We test its performance with the bit-flip stabilizer code, a simplified version of the surface code for quantum error correction. We investigate the accumulation and dynamics of leakage during error correction. Using this protocol, we find lower rates of logical errors and an improved scaling and stability of error suppression with increasing qubit number. This demonstration provides a key step on the path towards scalable quantum computing.


title: Exponential suppression of bit or phase flip errors with repetitive error correction

abstract: Realizing the potential of quantum computing will require achieving sufficiently low logical error rates. Many applications call for error rates in the $10^{-15}$ regime, but state-of-the-art quantum platforms typically have physical error rates near $10^{-3}$. Quantum error correction (QEC) promises to bridge this divide by distributing quantum logical information across many physical qubits so that errors can be detected and corrected. Logical errors are then exponentially suppressed as the number of physical qubits grows, provided that the physical error rates are below a certain threshold. QEC also requires that the errors are local and that performance is maintained over many rounds of error correction, two major outstanding experimental challenges. Here, we implement 1D repetition codes embedded in a 2D grid of superconducting qubits which demonstrate exponential suppression of bit or phase-flip errors, reducing logical error per round by more than $100\times$ when increasing the number of qubits from 5 to 21. Crucially, this error suppression is stable over 50 rounds of error correction. We also introduce a method for analyzing error correlations with high precision, and characterize the locality of errors in a device performing QEC for the first time. Finally, we perform error detection using a small 2D surface code logical qubit on the same device, and show that the results from both 1D and 2D codes agree with numerical simulations using a simple depolarizing error model. These findings demonstrate that superconducting qubits are on a viable path towards fault tolerant quantum computing.


title: New sum rules for Wigner 3jm symbols: application to expectation values of hydrogenic ions

abstract: We present new sum rules for $3jm$ coefficients, which involve, in addition to the usual weighting factor $(2j + 1)$ where $j$ is an angular momentum, the quantity $[j(j + 1)]^k$ with $k \ge 1$. The sum rules appear for instance in the statistical modeling of rotational spectra within the theory of moments, and enable one to deduce the expectation values of $r^k$ (used in the theory of Stark effect for hydrogenic ions) in parabolic coordinates from the expectation values of $r^k$ in spherical coordinates.

categories: quant-ph math-ph math.MP physics.atom-ph


title: Sweeps, polytopes, oriented matroids, and allowable graphs of permutations

abstract: A sweep of a point configuration is any ordered partition induced by a linear functional. Posets of sweeps of planar point configurations were formalized and abstracted by Goodman and Pollack under the theory of allowable sequences of permutations. We introduce two generalizations that model posets of sweeps of higher dimensional configurations. Mimicking the fact that sweep polytopes of point configurations (the monotone path polytopes of the associated zonotopes) are projections of permutahedra, we define sweep oriented matroids as strong maps of the braid oriented matroid. Allowable sequences are then the sweep oriented matroids of rank 2, and many of their properties extend to higher rank. We show strong ties between sweep oriented matroids and both modular hyperplanes and Dilworth truncations from (unoriented) matroid theory. We also explore their connection with the generalized Baues problem for cellular strings, where sweep oriented matroids can play the role of monotone path polytopes, even for non-realizable oriented matroids. In particular, we show that for oriented matroids that admit a sweep oriented matroid, their poset of pseudo-sweeps deformation retracts to a sphere of the appropriate dimension. A second generalization are allowable graphs of permutations: symmetric sets of permutations pairwise connected by allowable sequences. They have the structure of acycloids and include sweep oriented matroids.


title: Pseudojump inversion in special r. b. $\Pi^0_1$ classes

abstract: The Jump Inversion Theorem says that for every real $A \ge_T 0'$ there is a real $B$ such that $A \equiv_T B' \equiv_T B \oplus 0'$. A known refinement of this theorem says that we can choose $B$ to be a member of any special $\Pi^0_1$ subclass of $\{0,1\}^\omega$. We now consider the possibility of analogous refinements of two other well-known theorems: the Join Theorem -- for all reals $A$ and $Z$ such that $A \ge_T Z \oplus 0'$ and $Z >_T 0$, there is a real $B$ such that $A \equiv_T B' \equiv_T B \oplus 0' \equiv_T B \oplus Z$ -- and the Pseudojump Inversion Theorem -- for all reals $A \ge_T 0'$ and every $e \in \omega$, there is a real $B$ such that $A \equiv_T B \oplus W_e^B \equiv_T B \oplus 0'$. We show that in these theorems, $B$ can be found in some special $\Pi^0_1$ subclasses of $\{0,1\}^\omega$ but not in others.


title: Eigenvalue spectra of QCD and the fate of $U_A(1)$ breaking towards the chiral limit

abstract: The finite temperature phase diagram of QCD with two massless quark flavors is not yet understood because of the subtle effects of anomalous $U_A(1)$ symmetry. In this work we address this issue by studying the fate of the anomalous $U_A(1)$ symmetry in $2+1$ flavor QCD just above the chiral crossover transition temperature $T_c$, lowering the light quark mass towards the chiral limit along line of constant physical strange quark mass. We use the gauge configurations generated using the Highly Improved Staggered Quark (HISQ) discretization on lattice volumes $32^3\times8$ and $56^3\times 8$ to study the renormalized eigenvalue spectrum of QCD with valence overlap Dirac operator. We have implemented new numerical techniques that have allowed us to measure about $100$-$200$ eigenvalues of the gauge ensembles with light quark masses $\gtrsim 0.6$ MeV. From a detailed analysis of the dependence of the renormalized eigenvalue spectrum and $U_A(1)$ breaking observables on the light quark mass, our study suggests $U_A(1)$ is broken at $T\gtrsim T_c$ even when the chiral limit is approached.


title: A Compositional Atlas of Tractable Circuit Operations: From Simple Transformations to Complex Information-Theoretic Queries

abstract: Circuit representations are becoming the lingua franca to express and reason about tractable generative and discriminative models. In this paper, we show how complex inference scenarios for these models that commonly arise in machine learning -- from computing the expectations of decision tree ensembles to information-theoretic divergences of deep mixture models -- can be represented in terms of tractable modular operations over circuits. Specifically, we characterize the tractability of a vocabulary of simple transformations -- sums, products, quotients, powers, logarithms, and exponentials -- in terms of sufficient structural constraints of the circuits they operate on, and present novel hardness results for the cases in which these properties are not satisfied. Building on these operations, we derive a unified framework for reasoning about tractable models that generalizes several results in the literature and opens up novel tractable inference scenarios.


title: Periodic Fast Radio Bursts from Luminous X-ray Binaries

abstract: The discovery of periodicity in the arrival times of the fast radio bursts (FRBs) poses a challenge to the oft-studied magnetar scenarios. However, models that postulate that FRBs result from magnetized shocks or magnetic reconnection in a relativistic outflow are not specific to magnetar engines; instead, they require only the impulsive injection of relativistic energy into a dense magnetized medium. Motivated thus, we outline a new scenario in which FRBs are powered by short-lived relativistic outflows (``flares'') from accreting black holes or neutron stars, which propagate into the cavity of the pre-existing (``quiescent'') jet. In order to reproduce FRB luminosities and rates, we are driven to consider binaries of stellar-mass compact objects undergoing super-Eddington mass-transfer, similar to ultraluminous X-ray (ULX) sources. Indeed, the host galaxies of FRBs, and their spatial offsets within their hosts, show broad similarities with ULXs. Periodicity on timescales of days to years could be attributed to precession (e.g., Lens-Thirring) of the polar accretion funnel, along which the FRB emission is geometrically and relativistically beamed, which sweeps across the observer line of sight. Accounting for the most luminous FRBs via accretion power may require a population of binaries undergoing brief-lived phases of unstable (dynamical-timescale) mass-transfer. This will lead to secular evolution in the properties of some repeating FRBs on timescales of months to years, followed by a transient optical/IR counterpart akin to a luminous red nova, or a more luminous accretion-powered optical/X-ray transient. We encourage targeted FRB searches of known ULX sources.


title: A GeoSPARQL Compliance Benchmark

abstract: We propose a series of tests that check for the compliance of RDF triplestores with the GeoSPARQL standard. The purpose of the benchmark is to test how many of the requirements outlined in the standard a tested system supports and to push triplestores forward in achieving a full GeoSPARQL compliance. This topic is of concern because the support of GeoSPARQL varies greatly between different triplestore implementations, and such support is of great importance for the domain of geospatial RDF data. Additionally, we present a comprehensive comparison of triplestores, providing an insight into their current GeoSPARQL support.


title: Nanoscale modification of WS$_2$ trion emission by its local electromagnetic environment

abstract: Structural, electronic, and chemical nanoscale modifications of transition metal dichalcogenide monolayers alter their optical properties, including the generation of single photon emitters. A key missing element for complete control is a direct spatial correlation of optical response to nanoscale modifications, due to the large gap in spatial resolution between optical spectroscopy and nanometer resolved techniques, such as transmission electron microscopy or scanning tunneling microscopy. Here, we bridge this gap by obtaining nanometer resolved optical properties using electron spectroscopy, specifically electron energy loss spectroscopy (EELS) for absorption and cathodoluminescence (CL) for emission, which were directly correlated to chemical and structural information. In an h-BN/WS$_2$/h-BN heterostructure, we observe local modulation of the trion (X$^{-}$) emission due to tens of nanometer wide dielectric patches, while the exciton, X$_A$, does not follow the same modulation. Trion emission also increases in regions where charge accumulation occurs, close to the carbon film supporting the heterostructures. Finally, localized exciton emission (L) detection is not correlated to strain variations above 1 $\%$, suggesting point defects might be involved in their formations.


title: A fast algorithm for solving a three-dimensional inverse multiple frequency problems of scalar acoustics in a cylindrical region

abstract: A new algorithm for the stable solution of a three-dimensional scalar inverse problem of acoustic sounding of an inhomogeneous medium in a cylindrical region is proposed. The data of the problem is the complex amplitude of the wave field, measured outside the region of acoustic inhomogeneities in a cylindrical layer. Using the Fourier transform and Fourier series, the inverse problem is reduced to solving a set of one-dimensional Fredholm integral equations of the first kind, to the subsequent calculation of the complex amplitude of the wave field in the region of inhomogeneity, and then to finding the required sound velocity field in this region. The algorithm allows solving the inverse problem on a personal computer of average performance for sufficiently fine three-dimensional grids in tens of seconds. A numerical study of the accuracy of the proposed algorithm for solving model inverse problems at various frequencies is carried out, and the issues of stability of the algorithm with respect to data perturbations are investigated.


title: Multichannel-based learning for audio object extraction

abstract: The current paradigm for creating and deploying immersive audio content is based on audio objects, which are composed of an audio track and position metadata. While rendering an object-based production into a multichannel mix is straightforward, the reverse process involves sound source separation and estimating the spatial trajectories of the extracted sources. Besides, cinematic object-based productions are often composed by dozens of simultaneous audio objects, which poses a scalability challenge for audio object extraction. Here, we propose a novel deep learning approach to object extraction that learns from the multichannel renders of object-based productions, instead of directly learning from the audio objects themselves. This approach allows tackling the object scalability challenge and also offers the possibility to formulate the problem in a supervised or an unsupervised fashion. Since, to our knowledge, no other works have previously addressed this topic, we first define the task and propose an evaluation methodology, and then discuss under what circumstances our methods outperform the proposed baselines.


title: Variational Bayesian Sequence-to-Sequence Networks for Memory-Efficient Sign Language Translation

abstract: Memory-efficient continuous Sign Language Translation is a significant challenge for the development of assisted technologies with real-time applicability for the deaf. In this work, we introduce a paradigm of designing recurrent deep networks whereby the output of the recurrent layer is derived from appropriate arguments from nonparametric statistics. A novel variational Bayesian sequence-to-sequence network architecture is proposed that consists of a) a full Gaussian posterior distribution for data-driven memory compression and b) a nonparametric Indian Buffet Process prior for regularization applied on the Gated Recurrent Unit non-gate weights. We dub our approach Stick-Breaking Recurrent network and show that it can achieve a substantial weight compression without diminishing modeling performance.


title: Hardy inequalities on metric measure spaces, II: The case $p>q$

abstract: In this note we continue giving the characterisation of weights for two-weight Hardy inequalities to hold on general metric measure spaces possessing polar decompositions. Since there may be no differentiable structure on such spaces, the inequalities are given in the integral form in the spirit of Hardy's original inequality. This is a continuation of our paper [M. Ruzhansky and D. Verma. Hardy inequalities on metric measure spaces, Proc. R. Soc. A., 475(2223):20180310, 2018] where we treated the case $p\leq q$. Here the remaining range $p>q$ is considered, namely, $0<q<p$, $1<p<\infty.$ We give examples obtaining new weighted Hardy inequalities on $\mathbb R^n$, on homogeneous groups, on hyperbolic spaces, and on Cartan-Hadamard manifolds. We note that doubling conditions are not required for our analysis.


title: Ranking vs. Classifying: Measuring Knowledge Base Completion Quality

abstract: Knowledge base completion (KBC) methods aim at inferring missing facts from the information present in a knowledge base (KB) by estimating the likelihood of candidate facts. In the prevailing evaluation paradigm, models do not actually decide whether a new fact should be accepted or not but are solely judged on the position of true facts in a likelihood ranking with other candidates. We argue that consideration of binary predictions is essential to reflect the actual KBC quality, and propose a novel evaluation paradigm, designed to provide more transparent model selection criteria for a realistic scenario. We construct the data set FB14k-QAQ where instead of single facts, we use KB queries, i.e., facts where one entity is replaced with a variable, and construct corresponding sets of entities that are correct answers. We randomly remove some of these correct answers from the data set, simulating the realistic scenario of real-world entities missing from a KB. This way, we can explicitly measure a model's ability to handle queries that have more correct answers in the real world than in the KB, including the special case of queries without any valid answer. The latter especially contrasts the ranking setting. We evaluate a number of state-of-the-art KB embeddings models on our new benchmark. The differences in relative performance between ranking-based and classification-based evaluation that we observe in our experiments confirm our hypothesis that good performance on the ranking task does not necessarily translate to good performance on the actual completion task. Our results motivate future work on KB embedding models with better prediction separability and, as a first step in that direction, we propose a simple variant of TransE that encourages thresholding and achieves a significant improvement in classification F1 score relative to the original TransE.


title: The effective model structure and $\infty$-groupoid objects

abstract: For a category $\mathcal E$ with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simplicial objects in $\mathcal E$, generalising the Kan--Quillen model structure on simplicial sets. We then prove that the effective model structure is left and right proper and satisfies descent in the sense of Rezk. As a consequence, we obtain that the associated $\infty$-category has finite limits, colimits satisfying descent, and is locally Cartesian closed when $\mathcal E$ is, but is not a higher topos in general. We also characterise the $\infty$-category presented by the effective model structure, showing that it is the full sub-category of presheaves on $\mathcal E$ spanned by Kan complexes in $\mathcal E$, a result that suggests a close analogy with the theory of exact completions.


title: Thermal neutron cross sections of amino acids from average contributions of functional groups

abstract: The experimental thermal neutron cross sections of the twenty proteinogenic amino acids have been measured over the incident-neutron energy range spanning from 1 meV to 10 keV and data have been interpreted using the multi-phonon expansion based on first-principles calculations. The scattering cross section, dominated by the incoherent inelastic contribution from the hydrogen atoms, can be rationalised in terms of the average contributions of different functional groups, thus neglecting their correlation. These results can be used for modelling the total neutron cross sections of complex organic systems like proteins, muscles, or human tissues from a limited number of starting input functions. This simplification is of crucial importance for fine-tuning of transport simulations used in medical applications, including boron neutron capture therapy as well as secondary neutrons-emission induced during proton therapy. Moreover, the parametrized neutron cross sections allow a better treatment of neutron scattering experiments, providing detailed sample self-attenuation corrections for a variety of biological and soft-matter systems.


title: A Logic for Conditional Local Strategic Reasoning

abstract: We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an external observer, about the expected choices of action of the other agents based on their objectives, in order to assess the reasoner's ability, or expectation, to achieve their own objective. To formalize such reasoning we extend Pauly's Coalition Logic with three new modal operators of conditional strategic reasoning, thus introducing the Logic for Local Conditional Strategic Reasoning ConStR. We provide formal semantics for the new conditional strategic operators in concurrent game models, introduce the matching notion of bisimulation for each of them, prove bisimulation invariance and Hennessy-Milner property for each of them, and discuss and compare briefly their expressiveness. Finally, we also propose systems of axioms for each of the basic operators of ConStR and for the full logic.


title: Reconstruction of the dark sectors' interaction: A model-independent inference and forecast from GW standard sirens

abstract: Interacting dark matter (DM) - dark energy (DE) models have been intensively investigated in the literature for their ability to fit various data sets as well as to explain some observational tensions persisting within the $\Lambda$CDM cosmology. In this work, we employ the Gaussian processes (GP) algorithm to perform a joint analysis by using the geometrical cosmological probes such as Cosmic chronometers, Supernova Type Ia, Baryon Acoustic Oscillations, and the H0LiCOW lenses sample to infer a reconstruction of the coupling function between the dark components in a general framework, where the DE can assume a dynamical character via its equation of state. In addition to the joint analysis with these data, we simulate a catalogue with standard siren events from binary neutron star mergers, within the sensitivity predicted by the Einstein Telescope, to reconstruct the dark sector coupling with more accuracy in a robust way. We find that the particular case, where $w = -1$ is fixed on the DE nature, has a statistical preference for an interaction in the dark sector at late times. In the general case, where $w(z)$ is analysed, we find no evidence for such dark coupling, and the predictions are compatible with the $\Lambda$CDM paradigm. When the mock events of the standard sirens are considered to improve the kernel in GP predictions, we find a preference for an interaction in the dark sector at late times.


title: A Geometric Nonlinear Stochastic Filter for Simultaneous Localization and Mapping

abstract: Simultaneous Localization and Mapping (SLAM) is one of the key robotics tasks as it tackles simultaneous mapping of the unknown environment defined by multiple landmark positions and localization of the unknown pose (i.e., attitude and position) of the robot in three-dimensional (3D) space. The true SLAM problem is modeled on the Lie group of $\mathbb{SLAM}_{n}\left(3\right)$, and its true dynamics rely on angular and translational velocities. This paper proposes a novel geometric nonlinear stochastic estimator algorithm for SLAM on $\mathbb{SLAM}_{n}\left(3\right)$ that precisely mimics the nonlinear motion dynamics of the true SLAM problem. Unlike existing solutions, the proposed stochastic filter takes into account unknown constant bias and noise attached to the velocity measurements. The proposed nonlinear stochastic estimator on manifold is guaranteed to produce good results provided with the measurements of angular velocities, translational velocities, landmarks, and inertial measurement unit (IMU). Simulation and experimental results reflect the ability of the proposed filter to successfully estimate the six-degrees-of-freedom (6 DoF) robot's pose and landmark positions. Keywords: Simultaneous Localization and Mapping, nonlinear stochastic observer for SLAM, stochastic differential equations, pose estimator, position, attitude, Brownian motion process, inertial measurement unit, landmarks, features, SDE, SO(3), SE(3), SLAM.


title: Discovery and Characterization of a Rare Magnetic Hybrid $\beta$ Cephei Slowly Pulsating B-type Star in an Eclipsing Binary in the Young Open Cluster NGC 6193

abstract: As many as 10\% of OB-type stars have global magnetic fields, which is surprising given their internal structure is radiative near the surface. A direct probe of internal structure is pulsations, and some OB-type stars exhibit pressure modes ($\beta$ Cep pulsators) or gravity modes (slowly pulsating B-type stars; SPBs); a few rare cases of hybrid $\beta$ Cep/SPBs occupy a narrow instability strip in the H-R diagram. The most precise fundamental properties of stars are obtained from eclipsing binaries (EBs), and those in clusters with known ages and metallicities provide the most stringent constraints on theory. Here we report the discovery that HD 149834 in the $\sim$5 Myr cluster NGC 6193 is an EB comprising a hybrid $\beta$ Cep/SPB pulsator and a highly irradiated low-mass companion. We determine the masses, radii, and temperatures of both stars; the $\sim$9.7 M$_\odot$ primary resides in the instability strip where hybrid pulsations are theoretically predicted. The presence of both SPB and $\beta$ Cep pulsations indicates that the system has a near-solar metallicity, and is in the second half of the main-sequence lifetime. The radius of the $\sim$1.2 M$_\odot$ companion is consistent with theoretical pre-main-sequence isochrones at 5 Myr, but its temperature is much higher than expected, perhaps due to irradiation by the primary. The radius of the primary is larger than expected, unless its metallicity is super-solar. Finally, the light curve shows residual modulation consistent with the rotation of the primary, and Chandra observations reveal a flare, both of which suggest the presence of starspots and thus magnetism on the primary.


title: An anisotropic regularity condition for the 3D incompressible Navier-Stokes equations for the entire exponent range

abstract: We show that a suitable weak solution to the incompressible Navier-Stokes equations on ${\mathbb{R}^3\times(-1,1)}$ is regular on $\mathbb{R}^3\times(0,1]$ if $\partial_3 u $ belongs to $M^{2p/(2p-3),\alpha } ((-1,0);L^p (\mathbb{R}^3 ))$ for any $\alpha >1$ and $p\in (3/2,\infty)$, which is a logarithmic-type variation of a Morrey space in time. For each $\alpha >1$ this space is, up to a logarithm, critical with respect to the scaling of the equations, and contains all spaces $L^q ((-1,0);L^p (\mathbb{R}^3 ))$ that are subcritical, that is for which $2/q+3/p<2$.


title: New insights into nuclear physics and weak mixing angle using electroweak probes

abstract: Using the new results on coherent elastic neutrino-nucleus scattering data in cesium-iodide provided by the COHERENT experiment, we determine a new measurement of the average neutron rms radius of $^{133}\text{Cs}$ and $^{127}\text{I}$. In combination with the atomic parity violation (APV) experimental result, we derive the most precise measurement of the neutron rms radii of $^{133}\text{Cs}$ and $^{127}\text{I}$, disentangling for the first time the contributions of the two nuclei. By exploiting these measurements we determine the corresponding neutron skin values for $^{133}\text{Cs}$ and $^{127}\text{I}$. These results suggest a preference for models which predict large neutron skin values, as corroborated by the only other electroweak measurements of the neutron skin of $^{208}\text{Pb}$ performed by PREX experiments. Moreover, for the first time, we obtain a data-driven APV+COHERENT measurement of the low-energy weak mixing angle with a percent uncertainty, independent of the value of the average neutron rms radius of $^{133}\text{Cs}$ and $^{127}\text{I}$, that is allowed to vary freely in the fit. The value of the low-energy weak mixing angle that we found is slightly larger than the standard model prediction.


title: EvoSplit: An evolutionary approach to split a multi-label data set into disjoint subsets

abstract: This paper presents a new evolutionary approach, EvoSplit, for the distribution of multi-label data sets into disjoint subsets for supervised machine learning. Currently, data set providers either divide a data set randomly or using iterative stratification, a method that aims to maintain the label (or label pair) distribution of the original data set into the different subsets. Following the same aim, this paper first introduces a single-objective evolutionary approach that tries to obtain a split that maximizes the similarity between those distributions independently. Second, a new multi-objective evolutionary algorithm is presented to maximize the similarity considering simultaneously both distributions (labels and label pairs). Both approaches are validated using well-known multi-label data sets as well as large image data sets currently used in computer vision and machine learning applications. EvoSplit improves the splitting of a data set in comparison to the iterative stratification following different measures: Label Distribution, Label Pair Distribution, Examples Distribution, folds and fold-label pairs with zero positive examples.


title: Learning local regularization for variational image restoration

abstract: In this work, we propose a framework to learn a local regularization model for solving general image restoration problems. This regularizer is defined with a fully convolutional neural network that sees the image through a receptive field corresponding to small image patches. The regularizer is then learned as a critic between unpaired distributions of clean and degraded patches using a Wasserstein generative adversarial networks based energy. This yields a regularization function that can be incorporated in any image restoration problem. The efficiency of the framework is finally shown on denoising and deblurring applications.


title: Personalized Embedding-based e-Commerce Recommendations at eBay

abstract: Recommender systems are an essential component of e-commerce marketplaces, helping consumers navigate massive amounts of inventory and find what they need or love. In this paper, we present an approach for generating personalized item recommendations in an e-commerce marketplace by learning to embed items and users in the same vector space. In order to alleviate the considerable cold-start problem present in large marketplaces, item and user embeddings are computed using content features and multi-modal onsite user activity respectively. Data ablation is incorporated into the offline model training process to improve the robustness of the production system. In offline evaluation using a dataset collected from eBay traffic, our approach was able to improve the Recall@k metric over the Recently-Viewed-Item (RVI) method. This approach to generating personalized recommendations has been launched to serve production traffic, and the corresponding scalable engineering architecture is also presented. Initial A/B test results show that compared to the current personalized recommendation module in production, the proposed method increases the surface rate by $\sim$6\% to generate recommendations for 90\% of listing page impressions.


title: Range decreasing group homomorphisms and holomorphic maps between generalized loop spaces

abstract: Let $\mathcal{G}$ resp. $M$ be a positive dimensional Lie group resp. connected complex manifold without boundary and $V$ a finite dimensional $C^{\infty}$ compact connected manifold, possibly with boundary. Fix a smoothness class $\mathcal{F}=C^{\infty}$, H\"older $C^{k, \alpha}$ or Sobolev $W^{k, p}$. The space $\mathcal{F}(V, \mathcal{G})$ resp. $\mathcal{F}(V, M)$ of all $\mathcal{F}$ maps $V \to \mathcal{G}$ resp. $V \to M$ is a Banach/Fr\'echet Lie group resp. complex manifold. Let $\mathcal{F}^0(V, \mathcal{G})$ resp. $\mathcal{F}^{0}(V, M)$ be the component of $\mathcal{F}(V, \mathcal{G})$ resp. $\mathcal{F}(V, M)$ containing the identity resp. constants. A map $f$ from a domain $\Omega \subset \mathcal{F}_1(V, M)$ to $\mathcal{F}_2(W, M)$ is called range decreasing if $f(x)(W) \subset x(V)$, $x \in \Omega$. We prove that if $\dim_{\mathbb{R}} \mathcal{G} \ge 2$, then any range decreasing group homomorphism $f: \mathcal{F}_1^0(V, \mathcal{G}) \to \mathcal{F}_2(W, \mathcal{G})$ is the pullback by a map $\phi: W \to V$. We also provide several sufficient conditions for a range decreasing holomorphic map $\Omega$ $\to$ $\mathcal{F}_2(W, M)$ to be a pullback operator. Then we apply these results to study certain decomposition of holomorphic maps $\mathcal{F}_1(V, N) \supset \Omega \to \mathcal{F}_2(W, M)$. In particular, we identify some classes of holomorphic maps $\mathcal{F}_1^{0}(V, \mathbb{P}^n) \to \mathcal{F}_2(W, \mathbb{P}^m)$, including all automorphisms of $\mathcal{F}^{0}(V, \mathbb{P}^n)$.


title: High-order Time-Reversal Symmetry Breaking Normal State

abstract: Spontaneous time-reversal symmetry breaking plays an important role in studying strongly correlated unconventional superconductors. When two superconducting gap functions with different symmetries compete, the relative phase channel ($\theta_-\equiv \theta_1-\theta_2$) exhibits an Ising-type $Z_2$ symmetry due to the second order Josephson coupling, where $\theta_{1,2}$ are the phases of two gap functions respectively. In contrast, the $U(1)$ symmetry in the channel of $\theta_+\equiv \frac{\theta_1+\theta_2}{2}$ is intact. The phase locking, i.e., ordering of $\theta_-$, can take place in the phase fluctuation regime before the onset of superconductivity, i.e. when $\theta_+$ is disordered. If $\theta_-$ is pinned at $\pm\frac{\pi}{2}$, then time-reversal symmetry is broken in the normal state, otherwise, if $\theta_-=0$, or, $\pi$, rotational symmetry is broken, leading to a nematic normal state. In both cases, the order parameters possess a 4-fermion structure beyond the scope of mean-field theory, which can be viewed as a high order symmetry breaking. We employ an effective two-component $XY$-model assisted by a renormalization group analysis to address this problem. As a natural by-product, we also find the other interesting intermediate phase corresponds to ordering of $\theta_+$ but with $\theta_-$ disordered. This is the quartetting, or, charge-4e, superconductivity, which occurs above the low temperature $Z_2$-breaking charge-2e superconducting phase. Our results provide useful guidance for studying novel symmetry breaking phases in strongly correlated superconductors.


title: First analysis of world polarized DIS data with small-$x$ helicity evolution

abstract: We present a Monte Carlo based analysis of the combined world data on polarized lepton-nucleon deep-inelastic scattering at small Bjorken $x$ within the polarized quark dipole formalism. We show for the first time that double-spin asymmetries at $x<0.1$ can be successfully described using only small-$x$ evolution derived from first-principles QCD, allowing predictions to be made for the $g_1$ structure function at much smaller $x$. Anticipating future data from the Electron-Ion Collider, we assess the impact of electromagnetic and parity-violating polarization asymmetries on $g_1$ and demonstrate an extraction of the individual flavor helicity PDFs at small $x$.


title: Decidability of definability issues in the theory of real addition

abstract: Given a subset of $X\subseteq \mathbb{R}^{n}$ we can associate with every point $x\in \mathbb{R}^{n}$ a vector space $V$ of maximal dimension with the property that for some ball centered at $x$, the subset $X$ coincides inside the ball with a union of lines parallel with $V$. A point is singular if $V$ has dimension $0$. In an earlier paper we proved that a $(\mathbb{R}, +,< ,\mathbb{Z})$-definable relation $X$ is actually definable in $(\mathbb{R}, +,< ,1)$ if and only if the number of singular points is finite and every rational section of $X$ is $(\mathbb{R}, +,< ,1)$-definable, where a rational section is a set obtained from $X$ by fixing some component to a rational value. Here we show that we can dispense with the hypothesis of $X$ being $(\mathbb{R}, +,< ,\mathbb{Z})$-definable by assuming that the components of the singular points are rational numbers. This provides a topological characterization of first-order definability in the structure $(\mathbb{R}, +,< ,1)$. It also allows us to deliver a self-definable criterion (in Muchnik's terminology) of $(\mathbb{R}, +,< ,1)$- and $(\mathbb{R}, +,< ,\mathbb{Z})$-definability for a wide class of relations, which turns into an effective criterion provided that the corresponding theory is decidable. In particular these results apply to the class of $k-$recognizable relations on reals, and allow us to prove that it is decidable whether a $k-$recognizable relation (of any arity) is $l-$recognizable for every base $l \geq 2$.


title: Equidistant quenches in few-level quantum systems

abstract: A recent work [Phys. Rev. Lett. 125, 110602] showed that among a pair of \textit{thermodynamically} equidistant quenches from a colder and a hotter initial state at a fixed ambient temperature, the relaxation from the colder initial state (\textit{uphill} relaxation) is always faster, for dynamics close to stable minima. Here we show that this is not generically the case for open quantum systems with two or three energy levels. We find that both faster uphill and faster downhill relaxation and symmetric thermal relaxation can be observed in equidistant quenches, depending on the transition rates and the choice of the distance measure used. Furthermore, we obtain a phase diagram in the parameter space for the three-level system corresponding to different thermalization behaviours.


title: Defuse: Harnessing Unrestricted Adversarial Examples for Debugging Models Beyond Test Accuracy

abstract: We typically compute aggregate statistics on held-out test data to assess the generalization of machine learning models. However, statistics on test data often overstate model generalization, and thus, the performance of deployed machine learning models can be variable and untrustworthy. Motivated by these concerns, we develop methods to automatically discover and correct model errors beyond those available in the data. We propose Defuse, a method that generates novel model misclassifications, categorizes these errors into high-level model bugs, and efficiently labels and fine-tunes on the errors to correct them. To generate misclassified data, we propose an algorithm inspired by adversarial machine learning techniques that uses a generative model to find naturally occurring instances misclassified by a model. Further, we observe that the generative models have regions in their latent space with higher concentrations of misclassifications. We call these regions misclassification regions and find they have several useful properties. Each region contains a specific type of model bug; for instance, a misclassification region for an MNIST classifier contains a style of skinny 6 that the model mistakes as a 1. We can also assign a single label to each region, facilitating low-cost labeling. We propose a method to learn the misclassification regions and use this insight to both categorize errors and correct them. In practice, Defuse finds and corrects novel errors in classifiers. For example, Defuse shows that a high-performance traffic sign classifier mistakes certain 50km/h signs as 80km/h. Defuse corrects the error after fine-tuning while maintaining generalization on the test set.


title: Machine-learning interatomic potentials for materials science

abstract: Large-scale atomistic computer simulations of materials rely on interatomic potentials providing computationally efficient predictions of energy and Newtonian forces. Traditional potentials have served in this capacity for over three decades. Recently, a new class of potentials has emerged, which is based on a radically different philosophy. The new potentials are constructed using machine-learning (ML) methods and a massive reference database generated by quantum-mechanical calculations. While the traditional potentials are derived from physical insights into the nature of chemical bonding, the ML potentials utilize a high-dimensional mathematical regression to interpolate between the reference energies. We review the current status of the interatomic potential field, comparing the strengths and weaknesses of the traditional and ML potentials. A third class of potentials is introduced, in which an ML model is coupled with a physics-based potential to improve the transferability to unknown atomic environments. The discussion is focused on potentials intended for materials science applications. Possible future directions in this field are outlined.


title: Sample Efficient Learning of Image-Based Diagnostic Classifiers Using Probabilistic Labels

abstract: Deep learning approaches often require huge datasets to achieve good generalization. This complicates its use in tasks like image-based medical diagnosis, where the small training datasets are usually insufficient to learn appropriate data representations. For such sensitive tasks it is also important to provide the confidence in the predictions. Here, we propose a way to learn and use probabilistic labels to train accurate and calibrated deep networks from relatively small datasets. We observe gains of up to 22% in the accuracy of models trained with these labels, as compared with traditional approaches, in three classification tasks: diagnosis of hip dysplasia, fatty liver, and glaucoma. The outputs of models trained with probabilistic labels are calibrated, allowing the interpretation of its predictions as proper probabilities. We anticipate this approach will apply to other tasks where few training instances are available and expert knowledge can be encoded as probabilities.


title: Soft Photon theorem in the small negative cosmological constant limit

abstract: We study the effect of electromagnetic interactions on the classical soft theorems on an asymptotically AdS background in 4 spacetime dimensions, in the limit of a small cosmological constant or equivalently a large AdS radius $l$. This identifies $1/l^2$ perturbative corrections to the known asymptotically flat spacetime leading and subleading soft factors. Our analysis is only valid to leading order in $1/l^2$. The leading soft factor can be expected to be universal and holds beyond tree level. This allows us to derive a $1/l^2$ corrected Ward identity, following the known equivalence between large gauge Ward identities and soft theorems in asymptotically flat spacetimes.


title: Testing Framework for Black-box AI Models

abstract: With widespread adoption of AI models for important decision making, ensuring reliability of such models remains an important challenge. In this paper, we present an end-to-end generic framework for testing AI Models which performs automated test generation for different modalities such as text, tabular, and time-series data and across various properties such as accuracy, fairness, and robustness. Our tool has been used for testing industrial AI models and was very effective to uncover issues present in those models. Demo video link: https://youtu.be/984UCU17YZI


title: Statistically Unbiased Free Energy Estimates from Biased Simulations

abstract: Estimating the free energy in molecular simulation requires, implicitly or explicitly, counting how many times the system is observed in a finite region. If the simulation is biased by an external potential, the weight of the configurations within the region can vary significantly, and this can make the estimate numerically unstable. We introduce an approach to estimate the free energy as a simultaneous function of several collective variables starting from data generated in a statically-biased simulation. The approach exploits the property of a free energy estimator recently introduced by us which provides by construction the estimate in a region of infinitely small size. We show that this property allows removing the effect of the external bias in a simple and rigorous manner. The approach is validated on model systems for which the free energy is known analytically and on a small peptide for which the ground truth free energy is estimated in an independent unbiased run. In both cases the free energy obtained with our approach is an unbiased estimator of the ground-truth free energy, with an error whose magnitude is also predicted by the model.


title: Passivation of Si(Li) detectors operated above cryogenic temperatures for space-based applications

abstract: This work evaluates the viability of polyimide and parylene-C for passivation of lithium-drifted silicon (Si(Li)) detectors. The passivated Si(Li) detectors will form the particle tracker and X-ray detector of the General Antiparticle Spectrometer (GAPS) experiment, a balloon-borne experiment optimized to detect cosmic antideuterons produced in dark matter annihilations or decays. Successful passivation coatings were achieved by thermally curing polyimides, and the optimized coatings form an excellent barrier against humidity and organic contamination. The passivated Si(Li) detectors deliver $\lesssim\,4$ keV energy resolution (FWHM) for 20$-$100 keV X-rays while operating at temperatures of $-$35 to $-45\,^{\circ}$C. This is the first reported successful passivation of Si(Li)-based X-ray detectors operated above cryogenic temperatures.


title: COVID-19 identification from volumetric chest CT scans using a progressively resized 3D-CNN incorporating segmentation, augmentation, and class-rebalancing

abstract: The novel COVID-19 is a global pandemic disease overgrowing worldwide. Computer-aided screening tools with greater sensitivity is imperative for disease diagnosis and prognosis as early as possible. It also can be a helpful tool in triage for testing and clinical supervision of COVID-19 patients. However, designing such an automated tool from non-invasive radiographic images is challenging as many manually annotated datasets are not publicly available yet, which is the essential core requirement of supervised learning schemes. This article proposes a 3D Convolutional Neural Network (CNN)-based classification approach considering both the inter- and intra-slice spatial voxel information. The proposed system is trained in an end-to-end manner on the 3D patches from the whole volumetric CT images to enlarge the number of training samples, performing the ablation studies on patch size determination. We integrate progressive resizing, segmentation, augmentations, and class-rebalancing to our 3D network. The segmentation is a critical prerequisite step for COVID-19 diagnosis enabling the classifier to learn prominent lung features while excluding the outer lung regions of the CT scans. We evaluate all the extensive experiments on a publicly available dataset, named MosMed, having binary- and multi-class chest CT image partitions. Our experimental results are very encouraging, yielding areas under the ROC curve of 0.914 and 0.893 for the binary- and multi-class tasks, respectively, applying 5-fold cross-validations. Our method's promising results delegate it as a favorable aiding tool for clinical practitioners and radiologists to assess COVID-19.


title: Chiron: Optimizing Fault Tolerance in QoS-aware Distributed Stream Processing Jobs

abstract: Fault tolerance is a property which needs deeper consideration when dealing with streaming jobs requiring high levels of availability and low-latency processing even in case of failures where Quality-of-Service constraints must be adhered to. Typically, systems achieve fault tolerance and the ability to recover automatically from partial failures by implementing Checkpoint and Rollback Recovery. However, this is an expensive operation which impacts negatively on the overall performance of the system and manually optimizing fault tolerance for specific jobs is a difficult and time consuming task. In this paper we introduce Chiron, an approach for automatically optimizing the frequency with which checkpoints are performed in streaming jobs. For any chosen job, parallel profiling runs are performed, each containing a variant of the configurations, with the resulting metrics used to model the impact of checkpoint-based fault tolerance on performance and availability. Understanding these relationships is key to minimizing performance objectives and meeting strict Quality-of-Service constraints. We implemented Chiron prototypically together with Apache Flink and demonstrate its usefulness experimentally.


title: High-Performance Large-Scale Image Recognition Without Normalization

abstract: Batch normalization is a key component of most image classification models, but it has many undesirable properties stemming from its dependence on the batch size and interactions between examples. Although recent work has succeeded in training deep ResNets without normalization layers, these models do not match the test accuracies of the best batch-normalized networks, and are often unstable for large learning rates or strong data augmentations. In this work, we develop an adaptive gradient clipping technique which overcomes these instabilities, and design a significantly improved class of Normalizer-Free ResNets. Our smaller models match the test accuracy of an EfficientNet-B7 on ImageNet while being up to 8.7x faster to train, and our largest models attain a new state-of-the-art top-1 accuracy of 86.5%. In addition, Normalizer-Free models attain significantly better performance than their batch-normalized counterparts when finetuning on ImageNet after large-scale pre-training on a dataset of 300 million labeled images, with our best models obtaining an accuracy of 89.2%. Our code is available at https://github.com/deepmind/ deepmind-research/tree/master/nfnets


title: Robust test statistics for data sets with missing correlation information

abstract: Not all experiments publish their results with a description of the correlations between the data points. This makes it difficult to do hypothesis tests or model fits with that data, since just assuming no correlation can lead to an over- or underestimation of the resulting uncertainties. This work presents robust test statistics that can be used with data sets with missing correlation information. They are exact in the case of no correlation and either guaranteed to be conservative -- i.e. the uncertainty is never underestimated -- in the presence of correlations, or they are also exact in the degenerate case of perfect correlation between the data points.