title: The role of the halo magnetic field on accretion through High-Velocity Clouds

abstract: High-Velocity Clouds (HVCs) are believed to be an important source of gas accretion for star formation in the Milky Way. Earlier numerical studies have found that the Galactic magnetic field and radiative cooling strongly affects accretion. However, these effects have not previously been included together in the context of clouds falling through the Milky Way's gravitational potential. We explore this by simulating an initially stationary cloud falling through the hot hydrostatic corona towards the disc. This represents a HVC that has condensed out of the corona. We include the magnetic field in the corona to examine its effect on accretion of the HVC and its associated cold gas. Remnants of the original cloud survive in all cases, although a strong magnetic field causes it to split into several fragments. We find that mixing of cold and hot gas leads to cooling of coronal gas and an overall growth with time in cold gas mass, despite the low metallicity of the cloud and corona. The role of the magnetic field is to (moderately to severely) suppress the mixing and subsequent cooling, which in turn leads to less accretion compared to when the field is absent. A stronger field leads to less suppression of condensation because it enhances Rayleigh-Taylor instability. However, magnetic tension in a stronger field substantially decelerates condensed cloudlets. These have velocities typically a factor 3-8 below the velocity of the main cloud remnants by the end of the simulation. Some of these cloudlets likely disperse before reaching the disc.


title: Implementing the three-particle quantization condition for $\pi^+\pi^+K^+$ and related systems

abstract: Recently, the formalism needed to relate the finite-volume spectrum of systems of nondegenerate spinless particles has been derived. In this work we discuss a range of issues that arise when implementing this formalism in practice, provide further theoretical results that can be used to check the implementation, and make available codes for implementing the three-particle quantization condition. Specifically, we discuss the need to modify the upper limit of the cutoff function due to the fact that the left-hand cut in the scattering amplitudes for two nondegenerate particles moves closer to threshold; we describe the decomposition of the three-particle amplitude $\mathcal{K}_\text{df,3}$ into the matrix basis used in the quantization condition, including both $s$ and $p$ waves, with the latter arising in the amplitude for two nondegenerate particles; we derive the threshold expansion for the lightest three-particle state in the rest frame up to $\mathcal{O}(1/L^5)$; and we calculate the leading-order predictions in chiral perturbation theory for $\mathcal{K}_\text{df,3}$ in the $\pi^+\pi^+K^+$ and $\pi^+K^+K^+$ systems. We focus mainly on systems with two identical particles plus a third that is different ("2+1" systems). We describe the formalism in full detail, and present numerical explorations in toy models, in particular checking that the results agree with the threshold expansion, and making a prediction for the spectrum of $\pi^+\pi^+K^+$ levels using the two- and three-particle interactions predicted by chiral perturbation theory.


title: Stars Crushed by Black Holes. I. On the Energy Distribution of Stellar Debris in Tidal Disruption Events

abstract: The distribution of orbital energies imparted into stellar debris following the close encounter of a star with a supermassive black hole is the principal factor in determining the rate of return of debris to the black hole, and thus in determining the properties of the resulting lightcurves from such events. We present simulations of tidal disruption events for a range of $\beta\equiv r_{\rm t}/r_{\rm p}$ where $r_{\rm p}$ is the pericentre distance and $r_{\rm t}$ the tidal radius. We perform these simulations at different spatial resolutions to determine the numerical convergence of our models. We compare simulations in which the heating due to shocks is included or excluded from the dynamics. For $\beta \lesssim 8$ the simulation results are well-converged at sufficiently moderate-to-high spatial resolution, while for $\beta \gtrsim 8$ the breadth of the energy distribution can be grossly exaggerated by insufficient spatial resolution. We find that shock heating plays a non-negligible role only for $\beta \gtrsim 4$, and that typically the effect of shock heating is mild. We show that self-gravity can modify the energy distribution over time after the debris has receded to large distances for all $\beta$. Primarily, our results show that across a range of impact parameters, while the shape of the energy distribution varies with $\beta$, the width of the energy spread imparted to the bulk of the debris is closely matched to the canonical spread, $\Delta E = GM_\bullet R_\star/r_{\rm t}^2$, for the range of $\beta$ we have simulated.


title: Stars Crushed by Black Holes. II. A Physical Model of Adiabatic Compression and Shock Formation in Tidal Disruption Events

abstract: We develop a Newtonian model of a deep tidal disruption event (TDE), for which the pericenter distance of the star, $r_{\rm p}$, is well within the tidal radius of the black hole, $r_{\rm t}$, i.e., when $\beta \equiv r_{\rm t}/r_{\rm p} \gg 1$. We find that shocks form for $\beta \gtrsim 3$, but they are weak (with Mach numbers $\sim 1$) for all $\beta$, and that they reach the center of the star prior to the time of maximum adiabatic compression for $\beta \gtrsim 10$. The maximum density and temperature reached during the TDE follow much shallower relations with $\beta$ than the previously predicted $\rho_{\rm max} \propto \beta^3$ and $T_{\rm max} \propto \beta^2$ scalings. Below $\beta \simeq 10$, this shallower dependence occurs because the pressure gradient is dynamically significant before the pressure is comparable to the ram pressure of the freefalling gas, while above $\beta \simeq 10$ we find that shocks prematurely halt the compression and yield the scalings $\rho_{\rm max} \propto \beta^{1.62}$ and $T_{\rm max} \propto \beta^{1.12}$. We find excellent agreement between our results and high-resolution simulations. Our results demonstrate that, in the Newtonian limit, the compression experienced by the star is completely independent of the mass of the black hole. We discuss our results in the context of existing (affine) models, polytropic vs.~non-polytropic stars, and general relativistic effects, which become important when the pericenter of the star nears the direct capture radius, at $\beta \sim 12.5$ (2.7) for a solar-like star disrupted by a $10^6M_{\odot}$ ($10^{7}M_{\odot}$) supermassive black hole.


title: L-GALAXIES 2020: The formation and chemical evolution of stellar haloes in Milky Way Analogues and galaxy clusters

abstract: We present an analysis of the formation and chemical evolution of stellar haloes around (a) Milky Way Analogue (MWA) galaxies and (b) galaxy clusters in the L-Galaxies 2020 semi-analytic model of galaxy evolution. Observed stellar halo properties are better reproduced when assuming a gradual stripping model for the removal of cold gas and stars from satellites, compared to an instantaneous stripping model. The slope of the stellar mass -- metallicity relation for MWA stellar haloes is in good agreement with that observed in the local Universe. This extends the good agreement between L-Galaxies 2020 and metallicity observations from the gas and stars inside galaxies to those outside. Halo stars contribute on average only $\sim{}0.1$ per cent of the total circumgalactic medium (CGM) enrichment by $z=0$ in MWAs, ejecting predominantly carbon produced by AGB stars. Around a quarter of MWAs have a single `significant progenitor' with a mean mass of $\sim{}2.3\times{}10^{9}M_{\odot}$, similar to that measured for Gaia Enceladus. For galaxy clusters, L-Galaxies 2020 shows good correspondence with observations of stellar halo mass fractions, but slightly over-predicts stellar masses. Assuming a Navarro-Frenk-White profile for the stellar halo mass distribution provides the best agreement. On average, the intracluster stellar component (ICS) is responsible for 5.4 per cent of the total intracluster medium (ICM) iron enrichment, exceeding the contribution from the brightest cluster galaxy (BCG) by $z=0$. We find that considering gradual stripping of satellites and realistic radial profiles is crucial for accurately modelling stellar halo formation on all scales in semi-analytic models.


title: Generative Quantum Machine Learning

abstract: The goal of generative machine learning is to model the probability distribution underlying a given data set. This probability distribution helps to characterize the generation process of the data samples. While classical generative machine learning is solely based on classical resources, generative quantum machine learning can also employ quantum resources - such as parameterized quantum channels and quantum operators - to learn and sample from the probability model of interest. Applications of generative (quantum) models are multifaceted. The trained model can generate new samples that are compatible with the given data and extend the data set. Additionally, learning a model for the generation process of a data set may provide interesting information about the corresponding properties. With the help of quantum resources, the respective generative models have access to functions that are difficult to evaluate with a classical computer and may improve the performance or lead to new insights. Furthermore, generative quantum machine learning can be applied to efficient, approximate loading of classical data into a quantum state which may help to avoid - potentially exponentially - expensive, exact quantum data loading. The aim of this doctoral thesis is to develop new generative quantum machine learning algorithms, demonstrate their feasibility, and analyze their performance. Additionally, we outline their potential application to efficient, approximate quantum data loading. More specifically, we introduce a quantum generative adversarial network and a quantum Boltzmann machine implementation, both of which can be realized with parameterized quantum circuits. These algorithms are compatible with first-generation quantum hardware and, thus, enable us to study proof of concept implementations not only with numerical quantum simulations but also real quantum hardware available today.


title: Mounting Evidence for the Violation of Lepton Flavor Universality

abstract: The Standard Model (SM) of particle physics was finalized in its current form in the mid-1970s, and has been extensively tested and confirmed ever since, with the discovery of the Higgs boson in 2012 being the last missing piece. While no new particles have been directly discovered at the Large Hadron Collider (LHC) at CERN so far, precision observables sensitive to quantum effects of new particles have accumulated intriguing hints for physics beyond the SM. All these anomalies can be interpreted from the point of view of lepton flavor universality, i.e., as hints that electrons, muons, and tau leptons differ much more than predicted by the SM. These tensions can be explained by postulating the existence of new exotic particles. Future measurements will be able to conclusively test this hypothesis, potentially providing long-awaited evidence how the SM needs to be extended at high energies.


title: Mechanics of cell integration in vivo

abstract: During embryonic development, regeneration and homeostasis, cells have to physically integrate into their target tissues, where they ultimately execute their function. Despite a significant body of research on how mechanical forces instruct cellular behaviors within the plane of an epithelium, very little is known about the mechanical interplay at the interface between migrating cells and their surrounding tissue, which has its own dynamics, architecture and identity. Here, using quantitative in vivo imaging and molecular perturbations, together with a theoretical model, we reveal that multiciliated cell (MCC) precursors in the Xenopus embryo form dynamic filopodia that pull at the vertices of the overlying epithelial sheet to probe their stiffness and identify the preferred positions for their integration into the tissue. Moreover, we report a novel function for a structural component of vertices, the lipolysis-stimulated lipoprotein receptor (LSR), in filopodia dynamics and show its critical role in cell intercalation. Remarkably, we find that pulling forces equip the MCCs to remodel the epithelial junctions of the neighboring tissue, enabling them to generate a permissive environment for their integration. Our findings reveal the intricate physical crosstalk at the cell-tissue interface and uncover previously unknown functions for mechanical forces in orchestrating cell integration.


title: Probing cosmic strings by reconstructing polarization rotation of the cosmic microwave background

abstract: Cosmic birefringence -- the rotation of the polarization of the cosmic microwave background (CMB) photons as they travel to the Earth -- is a smoking gun for axion-like particles (ALPs) that interact with the photon. It has recently been suggested that topological defects in the ALP field called cosmic strings can cause polarization rotation in quantized amounts that are proportional to the electromagnetic chiral anomaly coefficient $\mathcal A$, which holds direct information about physics at very high energies. In this work, we study the detectability of a random network of cosmic strings through estimating rotation using quadratic estimators (QEs). We show that the QE derived from the maximum likelihood estimator is equivalent to the recently proposed global-minimum-variance QE; the classic Hu-Okamoto QE equals the global-minimum-variance QE under special conditions, but is otherwise still nearly globally optimal. We calculate the sensitivity of QEs to cosmic birefringence from string networks, for the Planck satellite mission, as well as for third- and fourth-generation ground-based CMB experiments. Using published binned rotation power spectrum derived from the Planck 2015 polarization data, we obtain a constraint $\mathcal A^2\,\xi_0 < 0.93$ at the 95\% confidence level, where $\xi_0$ is the total length of strings in units of the Hubble scale per Hubble volume, for a phenomenological but reasonable string network model describing a continuous distribution of string sizes. Looking forward, experiments such as the Simons Observatory and CMB-S4 will either discover or falsify the existence of an ALP string network for the theoretically plausible parameter space $\mathcal A^2\,\xi_0 \gtrsim 0.01$.


title: Generating Synthetic Systems of Interdependent Critical Infrastructure Networks

abstract: The lack of data on critical infrastructure systems has hindered the research progress in modeling and optimizing the system performance. This work develops a method for generating Synthetic Interdependent Critical Infrastructure Networks (SICIN) using simulation and non-linear optimization techniques. SICIN consists of three components: (i) determining the location of facilities in individual networks via a modified simulated annealing algorithm, (ii) generating interdependent links based on a novel pseudo-tripartite graph algorithm, and (iii) simulating network flow using nonlinear optimization considering the operations of individual networks and their interdependencies. Two existing systems of interdependent infrastructure networks are used to validate the proposed method. The results demonstrate that SICIN outperforms state-of-the-art simulation methods according to multiple topological and flow measures of similarity between the simulated and real networks.


title: Robust Accelerated Primal-Dual Methods for Computing Saddle Points

abstract: We consider strongly-convex-strongly-concave saddle point problems assuming we have access to unbiased stochastic estimates of the gradients. We propose a stochastic accelerated primal-dual (SAPD) algorithm and show that SAPD sequence, generated using constant primal-dual step sizes, linearly converges to a neighborhood of the unique saddle point. Interpreting the size of the neighborhood as a measure of robustness to gradient noise, we obtain explicit characterizations of robustness in terms of SAPD parameters and problem constants. Based on these characterizations, we develop computationally tractable techniques for optimizing the SAPD parameters, i.e., the primal and dual step sizes, and the momentum parameter, to achieve a desired trade-off between the convergence rate and robustness on the Pareto curve. This allows SAPD to enjoy fast convergence properties while being robust to noise as an accelerated method. SAPD admits convergence guarantees for the distance metric with a variance term optimal up to a logarithmic factor, which can be removed by employing a restarting strategy. We also discuss how convergence and robustness results extend to the convex-concave setting. Finally, we illustrate our framework on distributionally robust logistic regression.


title: Forming Young and Hypervelocity Stars in the Galactic Centre via Tidal Disruption of a Molecular Cloud

abstract: The Milky Way Galaxy hosts a four million solar mass black hole, Sgr A*, that underwent a major accretion episode approximately 3-6 Myr ago. During the episode, hundreds of young massive stars formed in a disc orbiting Sgr A* in the central half parsec. The recent discovery of a hypervelocity star S5-HVS1, ejected by Sgr A* five Myr ago with a velocity vector consistent with the disc, suggests that this event also produced binary star disruptions. The initial stellar disc has to be rather eccentric for this to occur. Such eccentric disks can form from the tidal disruptions of molecular clouds. Here we perform simulations of such disruptions, focusing on gas clouds on rather radial initial orbits. As a result, stars formed in our simulations are on very eccentric orbits ($\bar{e}\sim 0.6$) with a lopsided configuration. For some clouds counter-rotating stars are formed. As in previous work, we find that such discs undergo a secular gravitational instability that leads to a moderate number of particles obtaining eccentricities of 0.99 or greater, sufficient for stellar binary disruption. We also reproduce the mean eccentricity of the young disk in the Galactic centre, though not the observed surface density profile. We discuss missing physics and observational biases that may explain this discrepancy. We conclude that observed S-stars, hypervelocity stars, and disc stars tightly constrain the initial cloud parameters, indicating a cloud mass between a few$\times 10^4$ and $10^5 M_{\odot}$, and a velocity between $\sim 40$ and 80 km s$^{-1}$ at 10 pc.


title: On the 3d compactifications of 5d SCFTs associated with SU(N+1) gauge theories

abstract: We study the $3d$ $\mathcal{N}=2$ theories resulting from the compactification of a family of $5d$ SCFTs on a torus with flux in the global symmetry. The family of $5d$ SCFTs used in the analysis is the one that UV completes the $5d$ $SU(N+1)$ gauge theories with Chern--Simons level $k$ and $N_f$ fundamental hypermultiplets, generalizing the previous investigation of the torus compactifications of the rank 1 Seiberg $E_{N_f+1}$ SCFT (which is the $N=1$ member of the family). This construction systematically yields three-dimensional theories presenting highly non-trivial non-perturbative phenomena such as infra-red dualities and enhanced symmetries, which we check using various methods.


title: Needle in a Haystack: Detecting Subtle Malicious Edits to Additive Manufacturing G-code Files

abstract: Increasing usage of Digital Manufacturing (DM) in safety-critical domains is increasing attention on the cybersecurity of the manufacturing process, as malicious third parties might aim to introduce defects in digital designs. In general, the DM process involves creating a digital object (as CAD files) before using a slicer program to convert the models into printing instructions (e.g. g-code) suitable for the target printer. As the g-code is an intermediate machine format, malicious edits may be difficult to detect, especially when the golden (original) models are not available to the manufacturer. In this work we aim to quantify this hypothesis through a red-team/blue-team case study, whereby the red-team aims to introduce subtle defects that would impact the properties (strengths) of the 3D printed parts, and the blue-team aims to detect these modifications in the absence of the golden models. The case study had two sets of models, the first with 180 designs (with 2 compromised using 2 methods) and the second with 4320 designs (with 60 compromised using 6 methods). Using statistical modelling and machine learning (ML), the blue-team was able to detect all the compromises in the first set of data, and 50 of the compromises in the second.


title: Layered Controllable Video Generation

abstract: We introduce layered controllable video generation, where we, without any supervision, decompose the initial frame of a video into foreground and background layers, with which the user can control the video generation process by simply manipulating the foreground mask. The key challenges are the unsupervised foreground-background separation, which is ambiguous, and ability to anticipate user manipulations with access to only raw video sequences. We address these challenges by proposing a two-stage learning procedure. In the first stage, with the rich set of losses and dynamic foreground size prior, we learn how to separate the frame into foreground and background layers and, conditioned on these layers, how to generate the next frame using VQ-VAE generator. In the second stage, we fine-tune this network to anticipate edits to the mask, by fitting (parameterized) control to the mask from future frame. We demonstrate the effectiveness of this learning and the more granular control mechanism, while illustrating state-of-the-art performance on two benchmark datasets. We provide a video abstract as well as some video results on https://gabriel-huang.github.io/layered_controllable_video_generation


title: Finite Horizon Worst-Case Analysis of Linear Time-Varying Systems Applied to Launch Vehicle

abstract: This paper presents an approach to compute the worst-case gain of the interconnection of a finite time horizon linear time-variant system and a perturbation. The input/output behavior of the uncertainty is described by integral quadratic constraints (IQCs). A condition for the worst-case gain of such an interconnection can be formulated using dissipation theory as a parameterized Riccati differential equation, which depends on the chosen IQC multiplier. A nonlinear optimization problem is formulated to minimize the upper bound of the worst-case gain over a set of admissible IQC multipliers. This problem can be efficiently solved with a custom-tailored logarithm scaled, adaptive differential evolution algorithm. It provides a fast alternative to similar approaches based on solving semidefinite programs. The algorithm is applied to the worst-case aerodynamic load analysis for an expendable launch vehicle (ELV). The worst-case load of the uncertain ELV is calculated under wind turbulence during the atmospheric ascend and compared to results from nonlinear simulation.


title: FCMpy: A Python Module for Constructing and Analyzing Fuzzy Cognitive Maps

abstract: FCMpy is an open source package in Python for building and analyzing Fuzzy Cognitive Maps. More specifically, the package allows 1) deriving fuzzy causal weights from qualitative data, 2) simulating the system behavior, 3) applying machine learning algorithms (e.g., Nonlinear Hebbian Learning, Active Hebbian Learning, Genetic Algorithms and Deterministic Learning) to adjust the FCM causal weight matrix and to solve classification problems, and 4) implementing scenario analysis by simulating hypothetical interventions (i.e., analyzing what-if scenarios).


title: Random switching in an ecosystem with two prey and one predator

abstract: In this paper we study the long term dynamics of two prey species and one predator species. In the deterministic setting, if we assume the interactions are of Lotka-Volterra type (competition or predation), the long term behavior of this system is well known. However, nature is usually not deterministic. All ecosystems experience some type of random environmental fluctuations. We incorporate these into a natural framework as follows. Suppose the environment has two possible states. In each of the two environmental states the dynamics is governed by a system of Lotka-Volterra ODE. The randomness comes from spending an exponential amount of time in each environmental state and then switching to the other one. We show how this random switching can create very interesting phenomena. In some cases the randomness can facilitate the coexistence of the three species even though coexistence is impossible in each of the two environmental states. In other cases, even though there is coexistence in each of the two environmental states, switching can lead to the loss of one or more species. We look into how predators and environmental fluctuations can mediate coexistence among competing species.


title: Exotic Higgs Decays

abstract: Exotic decays of the Standard Model-like Higgs boson into beyond-the-Standard Model particles are predicted in a wide range of well-motivated theories. The enormous samples of Higgs bosons that have been and will be produced at the Large Hadron Collider thus constitute one of the key discovery opportunities at that facility, particularly in the upcoming high-statistics high-luminosity run. Here we review recent theoretical work on models that predict or accommodate exotic Higgs decays, the status of current experimental searches, and look forward to future capabilities at dedicated Higgs factories and beyond.


title: Uniqueness of conformal measures and local mixing for Anosov groups

abstract: In the late seventies, Sullivan showed that for a convex cocompact subgroup $\Gamma$ of $\operatorname{SO}^\circ(n,1)$ with critical exponent $\delta>0$, any $\Gamma$-conformal measure on $\partial \mathbb{H}^n$ of dimension $\delta$ is necessarily supported on the limit set $\Lambda$ and that the conformal measure of dimension $\delta$ exists uniquely. We prove an analogue of this theorem for any Zariski dense Anosov subgroup of a connected semisimple real algebraic group $G$ of rank at most $3$. We also obtain the local mixing for generalized BMS measures on $\Gamma\backslash G$ including Haar measures.


title: Interlayer synchronization in time-varying Kuramoto-Sakaguchi networks

abstract: We investigate the abrupt transition from low interlayer synchrony to high interlayer synchrony in a system of two identical layers of non-locally coupled Kuramoto-Sakaguchi oscillators using time-switching of the interlayer topology, while keeping the intralayer topology constant. As a measure of interlayer synchronization we introduce the interlayer order parameter, and determine the interlayer order parameter first in the static case as a function of the number of interlayer links observing a monotonically smooth transition to the fully synchronized state in the case that all nodes in layer 1 are connected to their corresponding nodes in layer 2. In the second step, we analyze the synchronization behavior of the multiplex network for a time-varying interlayer topology, observing abrupt transitions from the state of low synchrony to the state of high synchrony for a significantly lower number of interlayer connections. These abrupt transitions, even if not to full synchrony, appear only because of the periodic change of the interlayer topology, fostering the transition to occur for a significantly lower number of interlayer connections. We interpret this phenomenon as the shrinking, and ultimately, the nearly disappearance of the basin of attraction of a desynchronized network state. A comprehensive statistical analysis of this phenomenon is needed to interpret the results properly.


title: QAOA of the Highest Order

abstract: The Quantum Approximate Optimization Algorithm (QAOA) has been one of the leading candidates for near-term quantum advantage in gate-model quantum computers. From its inception, this algorithm has sparked the desire for comparison between gate-model and annealing platforms. When preparing problem statements for these algorithms, the predominant inclination has been to formulate a quadratic Hamiltonian. This paper gives an example of a graph coloring problem that, depending on its variable encoding scheme, optionally admits higher order terms. This paper presents evidence that the higher order formulation is preferable to two other encoding schemes. The evidence then motivates an analysis of the scaling behavior of QAOA in this higher order formulation for an ensemble of graph coloring problems.


title: Updates to LUCI: A New Fitting Paradigm Using Mixture Density Networks

abstract: LUCI is an general-purpose spectral line-fitting pipeline which natively integrates machine learning algorithms to initialize fit functions. LUCI currently uses point-estimates obtained from a convolutional neural network (CNN) to inform optimization algorithms; this methodology has shown great promise by reducing computation time and reducing the chance of falling into a local minimum using convex optimization methods. In this update to LUCI, we expand upon the CNN developed in Rhea et al. 2020 so that it outputs Gaussian posterior distributions of the fit parameters of interest (the velocity and broadening) rather than simple point-estimates. Moreover, these posteriors are then used to inform the priors in a Bayesian inference scheme, either emcee or dynesty. The code is publicly available at https://github.com/crhea93/LUCI.


title: Covariant four dimensional differential calculus in $\kappa$-Minkowski

abstract: It is generally believed that it is not possible to have a four dimensional differential calculus in $\kappa$-Minkowski spacetime, with $\kappa$-Poincar\'e relativistic symmetries, covariant under ($\kappa$-deformed) Lorentz transformations. Thus, one usually introduces a fifth differential form, whose physical interpretation is still challenging, and defines a covariant five dimensional calculus. Nevertheless, the four dimensional calculus is at the basis of several works based on $\kappa$-Minkowski/$\kappa$-Poincar\'e framework that led to meaningful insights on its physical interpretation and phenomenological implications. We here revisit the argument against the covariance of the four dimensional calculus, and find that it depends crucially on an incomplete characterization of Lorentz transformations in this framework. In particular, we understand that this is due to a feature, still uncovered at the time, that turns out to be fundamental for the consistency of the relativistic framework: the noncommutativity of the Lorentz transformation parameters. Once this is taken into account, the four dimensional calculus is found to be fully Lorentz covariant. The result we obtain extends naturally to the whole $\kappa$-Poincar\'e algebra of transformations, showing the close relation between its relativistic nature and the properties of the differential calculus.


title: ACNet: Approaching-and-Centralizing Network for Zero-Shot Sketch-Based Image Retrieval

abstract: The huge domain gap between sketches and photos and the highly abstract sketch representations pose challenges for sketch-based image retrieval (\underline{SBIR}). The zero-shot sketch-based image retrieval (\underline{ZS-SBIR}) is more generic and practical but poses an even greater challenge because of the additional knowledge gap between the seen and unseen categories. To simultaneously mitigate both gaps, we propose an \textbf{A}pproaching-and-\textbf{C}entralizing \textbf{Net}work (termed "\textbf{ACNet}") to jointly optimize sketch-to-photo synthesis and the image retrieval. The retrieval module guides the synthesis module to generate large amounts of diverse photo-like images which gradually approach the photo domain, and thus better serve the retrieval module than ever to learn domain-agnostic representations and category-agnostic common knowledge for generalizing to unseen categories. These diverse images generated with retrieval guidance can effectively alleviate the overfitting problem troubling concrete category-specific training samples with high gradients. We also discover the use of proxy-based NormSoftmax loss is effective in the zero-shot setting because its centralizing effect can stabilize our joint training and promote the generalization ability to unseen categories. Our approach is simple yet effective, which achieves state-of-the-art performance on two widely used ZS-SBIR datasets and surpasses previous methods by a large margin.


title: Lensless multicore-fiber microendoscope for real-time tailored light field generation with phase encoder neural network (CoreNet)

abstract: The generation of tailored light with multi-core fiber (MCF) lensless microendoscopes is widely used in biomedicine. However, the computer-generated holograms (CGHs) used for such applications are typically generated by iterative algorithms, which demand high computation effort, limiting advanced applications like in vivo optogenetic stimulation and fiber-optic cell manipulation. The random and discrete distribution of the fiber cores induces strong spatial aliasing to the CGHs, hence, an approach that can rapidly generate tailored CGHs for MCFs is highly demanded. We demonstrate a novel phase encoder deep neural network (CoreNet), which can generate accurate tailored CGHs for MCFs at a near video-rate. Simulations show that CoreNet can speed up the computation time by two magnitudes and increase the fidelity of the generated light field compared to the conventional CGH techniques. For the first time, real-time generated tailored CGHs are on-the-fly loaded to the phase-only SLM for dynamic light fields generation through the MCF microendoscope in experiments. This paves the avenue for real-time cell rotation and several further applications that require real-time high-fidelity light delivery in biomedicine.

categories: physics.optics cs.AI eess.IV physics.bio-ph


title: Cohomology of cluster varieties. II. Acyclic case

abstract: In previous work, we initiated the study of the cohomology of locally acyclic cluster varieties. In the present work, we show that the mixed Hodge structure and point counts of acyclic cluster varieties are essentially determined by the combinatorics of the independent sets of the quiver. We use this to show that the mixed Hodge numbers of acyclic cluster varieties of really full rank satisfy a strong vanishing condition.


title: An Augmented Likelihood Approach for the Discrete Proportional Hazards Model Using Auxiliary and Validated Outcome Data -- with Application to the HCHS/SOL Study

abstract: In large epidemiologic studies, it is typical for an inexpensive, non-invasive procedure to be used to record disease status during regular follow-up visits, with less frequent assessment by a gold standard test. Inexpensive outcome measures like self-reported disease status are practical to obtain, but can be error-prone. Association analysis reliant on error-prone outcomes may lead to biased results; however, restricting analyses to only data from the less frequently observed error-free outcome could be inefficient. We have developed an augmented likelihood that incorporates data from both error-prone outcomes and a gold standard assessment. We conduct a numerical study to show how we can improve statistical efficiency by using the proposed method over standard approaches for interval-censored survival data that do not leverage auxiliary data. We extend this method for the complex survey design setting so that it can be applied in our motivating data example. Our method is applied to data from the Hispanic Community Health Study/Study of Latinos to assess the association between energy and protein intake and the risk of incident diabetes. In our application, we demonstrate how our method can be used in combination with regression calibration to additionally address the covariate measurement error in self-reported diet.


title: Semi-Supervised Audio Classification with Partially Labeled Data

abstract: Audio classification has seen great progress with the increasing availability of large-scale datasets. These large datasets, however, are often only partially labeled as collecting full annotations is a tedious and expensive process. This paper presents two semi-supervised methods capable of learning with missing labels and evaluates them on two publicly available, partially labeled datasets. The first method relies on label enhancement by a two-stage teacher-student learning process, while the second method utilizes the mean teacher semi-supervised learning algorithm. Our results demonstrate the impact of improperly handling missing labels and compare the benefits of using different strategies leveraging data with few labels. Methods capable of learning with partially labeled data have the potential to improve models for audio classification by utilizing even larger amounts of data without the need for complete annotations.


title: A Generalization of the Graph Packing Theorems of Sauer-Spencer and Brandt

abstract: We prove a common generalization of the celebrated Sauer-Spencer packing theorem and a theorem of Brandt concerning finding a copy of a tree inside a graph. This proof leads to the characterization of the extremal graphs in the case of Brandt's theorem: If $G$ is a graph and $F$ is a forest, both on $n$ vertices, and $3\Delta(G)+\ell^*(F)\leq n$, then $G$ and $F$ pack unless $n$ is even, $G=\frac{n}{2}K_2$ and $F=K_{1,n-1}$; where $\ell^*(F)$ is the difference between the number of leaves and twice the number of nontrivial components of $F$.


title: Sparse is Enough in Scaling Transformers

abstract: Large Transformer models yield impressive results on many tasks, but are expensive to train, or even fine-tune, and so slow at decoding that their use and study becomes out of reach. We address this problem by leveraging sparsity. We study sparse variants for all layers in the Transformer and propose Scaling Transformers, a family of next generation Transformer models that use sparse layers to scale efficiently and perform unbatched decoding much faster than the standard Transformer as we scale up the model size. Surprisingly, the sparse layers are enough to obtain the same perplexity as the standard Transformer with the same number of parameters. We also integrate with prior sparsity approaches to attention and enable fast inference on long sequences even with limited memory. This results in performance competitive to the state-of-the-art on long text summarization.


title: Towards an Efficient Semantic Segmentation Method of ID Cards for Verification Systems

abstract: Removing the background in ID Card images is a real challenge for remote verification systems because many of the re-digitalised images present cluttered backgrounds, poor illumination conditions, distortion and occlusions. The background in ID Card images confuses the classifiers and the text extraction. Due to the lack of available images for research, this field represents an open problem in computer vision today. This work proposes a method for removing the background using semantic segmentation of ID Cards. In the end, images captured in the wild from the real operation, using a manually labelled dataset consisting of 45,007 images, with five types of ID Cards from three countries (Chile, Argentina and Mexico), including typical presentation attack scenarios, were used. This method can help to improve the following stages in a regular identity verification or document tampering detection system. Two Deep Learning approaches were explored, based on MobileUNet and DenseNet10. The best results were obtained using MobileUNet, with 6.5 million parameters. A Chilean ID Card's mean Intersection Over Union (IoU) was 0.9926 on a private test dataset of 4,988 images. The best results for the fused multi-country dataset of ID Card images from Chile, Argentina and Mexico reached an IoU of 0.9911. The proposed methods are lightweight enough to be used in real-time operation on mobile devices.


title: Correlation Functions of the Anharmonic Oscillator: Numerical Verification of Two-Loop Corrections to the Large-Order Behavior

abstract: Recently, the large-order behavior of correlation functions of the $O(N)$-anharmonic oscillator has been analyzed by us in [L. T. Giorgini et el., Phys. Rev. D 101, 125001 (2020)]. Two-loop corrections about the instanton configurations were obtained for the partition function, and the two-point and four-point functions, and the derivative of the two-point function at zero momentum transfer. Here, we attempt to verify the obtained analytic results against numerical calculations of higher-order coefficients for the $O(1)$, $O(2)$, and $O(3)$ oscillators, and demonstrate the drastic improvement of the agreement of the large-order asymptotic estimates and perturbation theory upon the inclusion of the two-loop corrections to the large-order behavior.


title: Subaru High-z Exploration of Low-Luminosity Quasars (SHELLQs). XVI. 69 New Quasars at 5.8 < z < 7.0

abstract: We present the spectroscopic discovery of 69 quasars at 5.8 < z < 7.0, drawn from the Hyper Suprime-Cam (HSC) Subaru Strategic Program (SSP) imaging survey data. This is the 16th publication from the Subaru High-z Exploration of Low-Luminosity Quasars (SHELLQs) project, and completes identification of all but the faintest candidates (i.e., i-band dropouts with zAB < 24 and y-band detections, and z-band dropouts with yAB < 24) with Bayesian quasar probability Pq > 0.1 in the HSC-SSP third public data release (PDR3). The sample reported here also includes three quasars with Pq < 0.1 at z ~ 6.6, which we selected in an effort to completely cover the reddest point sources with simple color cuts. The number of high-z quasars discovered in SHELLQs has now grown to 162, including 23 type-II quasar candidates. This paper also presents identification of seven galaxies at 5.6 < z < 6.7, an [O III] emitter at z = 0.954, and 31 Galactic cool stars and brown dwarfs. High-z quasars and galaxies comprise 75 % and 16 % respectively of all the spectroscopic SHELLQs objects that pass our latest selection algorithm with the PDR3 photometry. That is, a total of 91 % of the objects lie at z > 5.6. This demonstrates that the algorithm has very high efficiency, even though we are probing an unprecedentedly low-luminosity population down to M1450 ~ -21 mag.


title: Coexistence of Centralized and Decentralized Markets

abstract: In this paper, I introduce a profit-maximizing centralized marketplace into a decentralized market with search frictions. Agents choose between the centralized marketplace and the decentralized bilateral trade. I characterize the optimal marketplace in this market choice game using a mechanism design approach. In the unique equilibrium, the centralized marketplace and the decentralized trade coexist. The profit of the marketplace decreases as the search frictions in the decentralized market are reduced. However, it is always higher than the half of the profit when the frictions are prohibitively high for decentralized trade. I also show that the ratio of the reduction in the profit depends only on the degree of search frictions and not on the distribution of valuations. The thickness of the centralized marketplace does not depend on the search frictions. I derive conditions under which, this equilibrium results in higher welfare than either institution on its own.


title: Ballistic flow of two-dimensional electrons in a magnetic field

abstract: In conductors with a very small density of defects, electrons at low temperatures collide predominantly with the edges of a sample. Therefore, the ballistic regime of charge and heat transport is realized. The application of a perpendicular magnetic field substantially modifies the character of ballistic transport. For the case of two-dimensional (2D) electrons in the magnetic fields corresponding to the diameter of the cyclotron trajectories smaller than the sample width a hydrodynamic transport regime is formed. In the latter regime, the flow is mainly controlled by rare electron-electron collisions, which determine the viscosity effect. In this work, we study the ballistic flow of 2D electrons in long samples in magnetic fields up to the critical field of the transition to the hydrodynamic regime. From the solution of the kinetic equation, we obtain analytical formulas for the profiles of the current density and the Hall electric field far and near the ballistic-hydrodynamic transition as well as for the longitudinal and the Hall resistances in these ranges. Our theoretical results, apparently, describe the observed longitudinal resistance of pure graphene samples in the diapason of magnetic fields below the ballistic-hydrodynamic transition.


title: On-Board Federated Learning for Dense LEO Constellations

abstract: Mega-constellations of small-size Low Earth Orbit (LEO) satellites are currently planned and deployed by various private and public entities. While global connectivity is the main rationale, these constellations also offer the potential to gather immense amounts of data, e.g., for Earth observation. Power and bandwidth constraints together with motives like privacy, limiting delay, or resiliency make it desirable to process this data directly within the constellation. We consider the implementation of on-board federated learning (FL) orchestrated by an out-of-constellation parameter server (PS) and propose a novel communication scheme tailored to support FL. It leverages intra-orbit inter-satellite links, the predictability of satellite movements and partial aggregating to massively reduce the training time and communication costs. In particular, for a constellation with 40 satellites equally distributed among five low Earth orbits and the PS in medium Earth orbit, we observe a 29x speed-up in the training process time and a 8x traffic reduction at the PS over the baseline.


title: Polariton relaxation under vibrational strong coupling: Comparing cavity molecular dynamics simulations against Fermi's golden rule rate

abstract: Under vibrational strong coupling (VSC), the formation of molecular polaritons may significantly modify the photo-induced or thermal properties of molecules. In an effort to understand these intriguing modifications, both experimental and theoretical studies have focused on the ultrafast dynamics of vibrational polaritons. Here, following our recent work [J. Chem. Phys., 154, 094124, (2021)], we systematically study the mechanism of polariton relaxation for liquid CO2 under a weak external pumping. Classical cavity molecular dynamics (CavMD) simulations show that polariton relaxation results from the combined effects of (i) cavity loss through the photonic component and (ii) dephasing of the bright-mode component to vibrational dark modes as mediated by intermolecular interactions. The latter polaritonic dephasing rate is proportional to the product of the weight of the bright mode in the polariton wave function and the spectral overlap between the polariton and dark modes. Both these factors are sensitive to parameters such as the Rabi splitting and cavity mode detuning. Compared to a Fermi's golden rule calculation based on a tight-binding harmonic model, CavMD yields a similar parameter dependence for the upper polariton relaxation lifetime but sometimes a modest disagreement for the lower polariton. We suggest that this disagreement results from polariton-enhanced molecular nonlinear absorption due to molecular anharmonicity, which is not included in our analytical model. We also summarize recent progress on probing nonreactive VSC dynamics with CavMD.


title: Panoramic SETI: overall mechanical system design

abstract: PANOSETI (Pulsed All-Sky Near-infrared Optical Search for Extra Terrestrial Intelligence) is a dedicated SETI (Search for Extraterrestrial Intelligence) observatory that is being designed to observe 4,441 sq. deg. to search for nano- to milli-second transient events. The experiment will have a dual observatory system that has a total of 90 identical optical 0.48 m telescopes that each have a 99 square degree field of view. The two observatory sites will be separated by 1 km distance to help eliminate false positives and register a definitive signal. We discuss the overall mechanical design of the telescope modules which includes a Fresnel lens housing, a shutter, three baffles, an 32x32 array of Hamamatsu Multi-Photon Pixel Counting (MPPC) detectors that reside on a linear stage for focusing. Each telescope module will be housed in a triangle of a 3rd tessellation frequency geodesic dome that has the ability to have directional adjustment to correct for manufacturing tolerances and astrometric alignment to the second observatory site. Each observatory will have an enclosure to protect the experiment, and an observatory room for operations and electronics. We will review the overall design of the geodesic domes and mechanical telescope attachments, as well as the overall cabling and observatory infrastructure layout.


title: JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints

abstract: Physical products are often complex assemblies combining a multitude of 3D parts modeled in computer-aided design (CAD) software. CAD designers build up these assemblies by aligning individual parts to one another using constraints called joints. In this paper we introduce JoinABLe, a learning-based method that assembles parts together to form joints. JoinABLe uses the weak supervision available in standard parametric CAD files without the help of object class labels or human guidance. Our results show that by making network predictions over a graph representation of solid models we can outperform multiple baseline methods with an accuracy (79.53%) that approaches human performance (80%). Finally, to support future research we release the Fusion 360 Gallery assembly dataset, containing assemblies with rich information on joints, contact surfaces, holes, and the underlying assembly graph structure.


title: Quantification of Banach-Saks properties of higher orders

abstract: We investigate possible quantifications of Banach-Saks sets and weak Banach-Saks sets of higher orders and their relations to other quantities. We prove a quantitative version of the characterization of weak $\xi$-Banach-Saks sets using $\ell_1^{\xi+1}$-spreading models and a quantitative version of the relation of $\xi$-Banach-Saks sets, weak $\xi$-Banach-Saks sets, norm compactness and weak compactness. We further introduce a new measure of weak compactness. Finally, we provide some examples showing the limitations of these quantifications.


title: Inclusive rates from smeared spectral densities in the two-dimensional O(3) non-linear $\sigma$-model

abstract: This work employs the spectral reconstruction approach of Ref. [1] to determine an inclusive rate in the $1+1$ dimensional O(3) non-linear $\sigma$-model, analogous to the QCD part of ${e}^+{e}^- \rightarrow \rm {hadrons}$. The Euclidean two-point correlation function of the conserved current $j$ is computed using Monte Carlo lattice field theory simulations for a variety of spacetime volumes and lattice spacings. The spectral density of this correlator is related to the inclusive rate for $j \rightarrow {\rm X}$ in which all final states produced by the external current are summed. The ill-posed inverse problem of determining the spectral density from the correlation function is made tractable through the determination of smeared spectral densities in which the desired density is convolved with a set of known smearing kernels of finite width $\epsilon$. The smooth energy dependence of the underlying spectral density enables a controlled $\epsilon \to 0$ extrapolation in the inelastic region, yielding the real-time inclusive rate without reference to individual finite-volume energies or matrix elements. Systematic uncertainties due cutoff effects and residual finite-volume effects are estimated and taken into account in the final error budget. After taking the continuum limit, the results are consistent with the known analytic rate to within the combined statistical and systematic errors. Above energies where 20-particle states contribute, the overall precision is sufficient to discern the four-particle contribution to the spectral density.


title: Trends of Neutron Skins and Radii of Mirror Nuclei from First Principles

abstract: The neutron skin of atomic nuclei impacts the structure of neutron-rich nuclei, the equation of state of nucleonic matter, and the size of neutron stars. Here we predict the neutron skin of selected light- and medium-mass nuclei using coupled-cluster theory and the auxiliary field diffusion Monte Carlo method with two- and three-nucleon forces from chiral effective field theory. We find a linear correlation between the neutron skin and the isospin asymmetry in agreement with the liquid-drop model and compare with data. We also extract the linear relationship that describes the difference between neutron and proton radii of mirror nuclei and quantify the effect of charge symmetry breaking terms in the nuclear Hamiltonian. Our results for the mirror-difference charge radii and binding energies per nucleon agree with existing data.


title: IMBENS: Ensemble Class-imbalanced Learning in Python

abstract: imbalanced-ensemble, abbreviated as imbens, is an open-source Python toolbox for leveraging the power of ensemble learning to address the class imbalance problem. It provides standard implementations of popular ensemble imbalanced learning (EIL) methods with extended features and utility functions. These ensemble methods include resampling-based, e.g., under/over-sampling, and reweighting-based, e.g., cost-sensitive learning. Beyond the implementation, we empower EIL algorithms with new functionalities like customizable resampling scheduler and verbose logging, thus enabling more flexible training and evaluating strategies. The package was developed under a simple, well-documented API design that follows scikit-learn for increased ease of use. imbens is released under the MIT open-source license and can be installed from Python Package Index (PyPI) or https://github.com/ZhiningLiu1998/imbalanced-ensemble.


title: Asymptotic cycles in fractional maps of arbitrary positive orders

abstract: Many natural and social systems possess power-law memory, and their mathematical modeling requires the application of discrete and continuous fractional calculus. Most of these systems are nonlinear and demonstrate regular and chaotic behavior, different from the behavior of memoryless systems. Finding periodic solutions is essential for understanding the regular and chaotic behavior of nonlinear systems. Fractional systems do not have periodic solutions except fixed points. Instead, they have asymptotically periodic solutions which, in the case of stable regular behavior, converge to the periodic sinks (similar to regular dissipative systems) and, in the case of unstable/chaotic behavior, act as repellers. In one of his recent papers, the first author derived equations that allow calculations of asymptotically periodic points for a wide class of discrete maps with memory. All fractional and fractional difference maps of the orders 0 < \alpha < 1 belong to this class. In this paper, we derive the equations that allow calculations of the coordinates of the asymptotically periodic points for a wider class of maps which include fractional and fractional difference maps of the arbitrary positive orders \alpha > 0. The maps are defined as convolutions of a generating function -G_K(x), which may be the same as in a corresponding regular map x_{n+1} = -G_K(x_n)+x_n, with a kernel U_{\alpha}(k), which defines the type of a map. In the case of fractional maps, it is U{\alpha}(k) = k^{\alpha}, and it is U{\alpha}(k) = k^{(\alpha)}, the falling factorial function, in the case of fractional difference maps. In this paper, we define the space of kernel functions that allow calculations of the periodic points of the corresponding maps with memory. We also prove that in fractional maps of the orders 1 < \alpha < 2 the total of all physical momenta of period-l points is zero.


title: Digital control of a superconducting qubit using a Josephson pulse generator at 3 K

abstract: Scaling of quantum computers to fault-tolerant levels relies critically on the integration of energy-efficient, stable, and reproducible qubit control and readout electronics. In comparison to traditional semiconductor control electronics (TSCE) located at room temperature, the signals generated by Josephson junction (JJ) based rf sources benefit from small device sizes, low power dissipation, intrinsic calibration, superior reproducibility, and insensitivity to ambient fluctuations. Previous experiments to co-locate qubits and JJ-based control electronics resulted in quasiparticle poisoning of the qubit; degrading the qubit's coherence and lifetime. In this paper, we digitally control a 0.01~K transmon qubit with pulses from a Josephson pulse generator (JPG) located at the 3~K stage of a dilution refrigerator. We directly compare the qubit lifetime $T_1$, coherence time $T_2^*$, and thermal occupation $P_{th}$ when the qubit is controlled by the JPG circuit versus the TSCE setup. We find agreement to within the daily fluctuations on $\pm 0.5~\mu$s and $\pm 2~\mu$s for $T_1$ and $T_2^*$, respectively, and agreement to within the 1\% error for $P_{th}$. Additionally, we perform randomized benchmarking to measure an average JPG gate error of $2.1 \times 10^{-2}$. In combination with a small device size ($<25$~mm$^2$) and low on-chip power dissipation ($\ll 100~\mu$W), these results are an important step towards demonstrating the viability of using JJ-based control electronics located at temperature stages higher than the mixing chamber stage in highly-scaled superconducting quantum information systems.


title: Harvesting entanglement from complex scalar and fermionic fields with linearly coupled particle detectors

abstract: We explore entanglement harvesting with particle detectors that couple linearly to non-Hermitian fields. Specifically, we analyze the case of particle detectors coupled to a complex scalar quantum field and to a spin 1/2 fermionic field. We find that the complex scalar model can be a good approximation for the fermionic model in the protocol of entanglement harvesting when the mass of the field is sufficiently large compared to the inverse interaction time. Moreover, we show that by taking advantage of the U(1) degree of freedom of a complex detector it is possible to increase the harvested negativity by up to two orders of magnitude when compared to the case of a real detector.


title: Transferability Estimation using Bhattacharyya Class Separability

abstract: Transfer learning has become a popular method for leveraging pre-trained models in computer vision. However, without performing computationally expensive fine-tuning, it is difficult to quantify which pre-trained source models are suitable for a specific target task, or, conversely, to which tasks a pre-trained source model can be easily adapted to. In this work, we propose Gaussian Bhattacharyya Coefficient (GBC), a novel method for quantifying transferability between a source model and a target dataset. In a first step we embed all target images in the feature space defined by the source model, and represent them with per-class Gaussians. Then, we estimate their pairwise class separability using the Bhattacharyya coefficient, yielding a simple and effective measure of how well the source model transfers to the target task. We evaluate GBC on image classification tasks in the context of dataset and architecture selection. Further, we also perform experiments on the more complex semantic segmentation transferability estimation task. We demonstrate that GBC outperforms state-of-the-art transferability metrics on most evaluation criteria in the semantic segmentation settings, matches the performance of top methods for dataset transferability in image classification, and performs best on architecture selection problems for image classification.


title: On a family of fully nonlinear integro-differential operators: From fractional Laplacian to nonlocal Monge-Amp\`ere

abstract: We introduce a new family of intermediate operators between the fractional Laplacian and the Caffarelli-Silvestre nonlocal Monge-Amp\`ere that are given by infimums of integro-differential operators. Using rearrangement techniques, we obtain representation formulas and give a connection to optimal transport. Finally, we consider a global Poisson problem, prescribing data at infinity, and prove existence, uniqueness, and $C^{1,1}$-regularity of solutions in the full space.


title: Fast mesh denoising with data driven normal filtering using deep variational autoencoders

abstract: Recent advances in 3D scanning technology have enabled the deployment of 3D models in various industrial applications like digital twins, remote inspection and reverse engineering. Despite their evolving performance, 3D scanners, still introduce noise and artifacts in the acquired dense models. In this work, we propose a fast and robust denoising method for dense 3D scanned industrial models. The proposed approach employs conditional variational autoencoders to effectively filter face normals. Training and inference are performed in a sliding patch setup reducing the size of the required training data and execution times. We conducted extensive evaluation studies using 3D scanned and CAD models. The results verify plausible denoising outcomes, demonstrating similar or higher reconstruction accuracy, compared to other state-of-the-art approaches. Specifically, for 3D models with more than 1e4 faces, the presented pipeline is twice as fast as methods with equivalent reconstruction error.


title: For the Purpose of Curry: A UD Treebank for Ashokan Prakrit

abstract: We present the first linguistically annotated treebank of Ashokan Prakrit, an early Middle Indo-Aryan dialect continuum attested through Emperor Ashoka Maurya's 3rd century BCE rock and pillar edicts. For annotation, we used the multilingual Universal Dependencies (UD) formalism, following recent UD work on Sanskrit and other Indo-Aryan languages. We touch on some interesting linguistic features that posed issues in annotation: regnal names and other nominal compounds, "proto-ergative" participial constructions, and possible grammaticalizations evidenced by sandhi (phonological assimilation across morpheme boundaries). Eventually, we plan for a complete annotation of all attested Ashokan texts, towards the larger goals of improving UD coverage of different diachronic stages of Indo-Aryan and studying language change in Indo-Aryan using computational methods.


title: On-chip parallel processing of quantum frequency combs for high-dimensional hyper-entanglement generation

abstract: High-dimensional encoding and hyper-entanglement are unique features that distinguish optical photons from other quantum information carriers, leading to improved system efficiency and novel quantum functions. However, the disparate requirements to control different optical degrees of freedom have prevent the development of complete integrated platforms that is capable of leveraging the complementary benefits of high-dimensional encoding and hyper-entanglement at the same time. Here we demonstrate the chip-scale solution to the generation and manipulation of high-dimensional hyper-entanglement. This is achieved by the parallel processing of multiple quantum frequency combs in the path domain. Cavity-enhanced parametric down-conversion with Sagnac configuration is implemented to ensure the spectral indistinguishability. Simultaneous entanglement in path and frequency is realized with high dimensions. On-chip reconfiguration of the entanglement structure is also demonstrated. We further present quantum interference in both entanglement degrees of freedom with high visibility. Our work provides the critical step for the efficient and parallel processing of quantum information with integrated photonics.


title: Notebook-as-a-VRE (NaaVRE): from private notebooks to a collaborative cloud virtual research environment

abstract: Virtual Research Environments (VREs) provide user-centric support in the lifecycle of research activities, e.g., discovering and accessing research assets, or composing and executing application workflows. A typical VRE is often implemented as an integrated environment, which includes a catalog of research assets, a workflow management system, a data management framework, and tools for enabling collaboration among users. Notebook environments, such as Jupyter, allow researchers to rapidly prototype scientific code and share their experiments as online accessible notebooks. Jupyter can support several popular languages that are used by data scientists, such as Python, R, and Julia. However, such notebook environments do not have seamless support for running heavy computations on remote infrastructure or finding and accessing software code inside notebooks. This paper investigates the gap between a notebook environment and a VRE and proposes an embedded VRE solution for the Jupyter environment called Notebook-as-a-VRE (NaaVRE). The NaaVRE solution provides functional components via a component marketplace and allows users to create a customized VRE on top of the Jupyter environment. From the VRE, a user can search research assets (data, software, and algorithms), compose workflows, manage the lifecycle of an experiment, and share the results among users in the community. We demonstrate how such a solution can enhance a legacy workflow that uses Light Detection and Ranging (LiDAR) data from country-wide airborne laser scanning surveys for deriving geospatial data products of ecosystem structure at high resolution over broad spatial extents. This enables users to scale out the processing of multi-terabyte LiDAR point clouds for ecological applications to more data sources in a distributed cloud environment.


title: Differentially Private Nonparametric Regression Under a Growth Condition

abstract: Given a real-valued hypothesis class $\mathcal{H}$, we investigate under what conditions there is a differentially private algorithm which learns an optimal hypothesis from $\mathcal{H}$ given i.i.d. data. Inspired by recent results for the related setting of binary classification (Alon et al., 2019; Bun et al., 2020), where it was shown that online learnability of a binary class is necessary and sufficient for its private learnability, Jung et al. (2020) showed that in the setting of regression, online learnability of $\mathcal{H}$ is necessary for private learnability. Here online learnability of $\mathcal{H}$ is characterized by the finiteness of its $\eta$-sequential fat shattering dimension, ${\rm sfat}_\eta(\mathcal{H})$, for all $\eta > 0$. In terms of sufficient conditions for private learnability, Jung et al. (2020) showed that $\mathcal{H}$ is privately learnable if $\lim_{\eta \downarrow 0} {\rm sfat}_\eta(\mathcal{H})$ is finite, which is a fairly restrictive condition. We show that under the relaxed condition $\lim \inf_{\eta \downarrow 0} \eta \cdot {\rm sfat}_\eta(\mathcal{H}) = 0$, $\mathcal{H}$ is privately learnable, establishing the first nonparametric private learnability guarantee for classes $\mathcal{H}$ with ${\rm sfat}_\eta(\mathcal{H})$ diverging as $\eta \downarrow 0$. Our techniques involve a novel filtering procedure to output stable hypotheses for nonparametric function classes.


title: Algorithm and Hardware Co-design for Reconfigurable CNN Accelerator

abstract: Recent advances in algorithm-hardware co-design for deep neural networks (DNNs) have demonstrated their potential in automatically designing neural architectures and hardware designs. Nevertheless, it is still a challenging optimization problem due to the expensive training cost and the time-consuming hardware implementation, which makes the exploration on the vast design space of neural architecture and hardware design intractable. In this paper, we demonstrate that our proposed approach is capable of locating designs on the Pareto frontier. This capability is enabled by a novel three-phase co-design framework, with the following new features: (a) decoupling DNN training from the design space exploration of hardware architecture and neural architecture, (b) providing a hardware-friendly neural architecture space by considering hardware characteristics in constructing the search cells, (c) adopting Gaussian process to predict accuracy, latency and power consumption to avoid time-consuming synthesis and place-and-route processes. In comparison with the manually-designed ResNet101, InceptionV2 and MobileNetV2, we can achieve up to 5% higher accuracy with up to 3x speed up on the ImageNet dataset. Compared with other state-of-the-art co-design frameworks, our found network and hardware configuration can achieve 2% ~ 6% higher accuracy, 2x ~ 26x smaller latency and 8.5x higher energy efficiency.


title: Mass measurements of $^{60-63}$Ga reduce x-ray burst model uncertainties and extend the evaluated $T=1$ isobaric multiplet mass equation

abstract: We report precision mass measurements of neutron-deficient gallium isotopes approaching the proton drip line. The measurements of $^{60-63}$Ga performed with the TITAN multiple-reflection time-of-flight mass spectrometer provide a more than threefold improvement over the current literature mass uncertainty of $^{61}$Ga and mark the first direct mass measurement of $^{60}$Ga. The improved precision of the $^{61}$Ga mass has important implications for the astrophysical rp process, as it constrains essential reaction Q-values near the $^{60}$Zn waiting point. Based on calculations with a one-zone model, we demonstrate the impact of the improved mass data on prediction uncertainties of X-ray burst models. The first-time measurement of the $^{60}$Ga ground-state mass establishes the proton-bound nature of this nuclide; thus, constraining the location of the proton drip line along this isotopic chain. Including the measured mass of $^{60}$Ga further enables us to extend the evaluated $T=1$ isobaric multiplet mass equation up to $A=60$.


title: Testing the null energy condition with precise distance measurements

abstract: We present an inequality between two types of distance measures to a single source in general relativity. It states that for a given emitter and observer the distance between them measured by the trigonometric parallax is never shorter than the angular diameter distance provided that the null energy condition holds and that there are no focal points in between. This result is independent of the details of the spacetime geometry or the motions of the observer and the source. The proof is based on the geodesic bilocal operator formalism together with well known properties of infinitesimal light ray bundles. Observation of the violation of the distance inequality would mean that on large scales either the null energy condition does not hold or that light does not travel along null geodesics.


title: Temporal Effects on Pre-trained Models for Language Processing Tasks

abstract: Keeping the performance of language technologies optimal as time passes is of great practical interest. We study temporal effects on model performance on downstream language tasks, establishing a nuanced terminology for such discussion and identifying factors essential to conduct a robust study. We present experiments for several tasks in English where the label correctness is not dependent on time and demonstrate the importance of distinguishing between temporal model deterioration and temporal domain adaptation for systems using pre-trained representations. We find that depending on the task, temporal model deterioration is not necessarily a concern. Temporal domain adaptation however is beneficial in all cases, with better performance for a given time period possible when the system is trained on temporally more recent data. Therefore, we also examine the efficacy of two approaches for temporal domain adaptation without human annotations on new data. Self-labeling shows consistent improvement and notably, for named entity recognition, leads to better temporal adaptation than even human annotations.


title: Handling Inter-class and Intra-class Imbalance in Class-imbalanced Learning

abstract: Class-imbalance is a common problem in machine learning practice. Typical Imbalanced Learning (IL) methods balance the data via intuitive class-wise resampling or reweighting. However, previous studies suggest that beyond class-imbalance, intrinsic data difficulty factors like overlapping, noise, and small disjuncts also play critical roles. To handle them, many solutions have been proposed (e.g., noise removal, borderline sampling, hard example mining) but are still confined to a specific factor and cannot generalize to broader scenarios, which raises an interesting question: how to handle both class-agnostic difficulties and the class-imbalance in a unified way? To answer this, we consider both class-imbalance and its orthogonal: intra-class imbalance, i.e., the imbalanced distribution over easy and hard samples. Such distribution naturally reflects the complex influence of class-agnostic intrinsic data difficulties thus providing a new unified view for identifying and handling these factors during learning. From this perspective, we discuss the pros and cons of existing IL solutions and further propose new balancing techniques for more robust and efficient IL. Finally, we wrap up all solutions into a generic ensemble IL framework, namely DuBE (Duple-Balanced Ensemble). It features explicit and efficient inter-\&intra-class balancing as well as easy extension with standardized APIs. Extensive experiments validate the effectiveness of DuBE. Code, examples, and documentation are available at https://github.com/AnonAuthorAI/duplebalance and https://duplebalance.readthedocs.io.


title: Improving the Perceptual Quality of 2D Animation Interpolation

abstract: Traditional 2D animation is labor-intensive, often requiring animators to manually draw twelve illustrations per second of movement. While automatic frame interpolation may ease this burden, 2D animation poses additional difficulties compared to photorealistic video. In this work, we address challenges unexplored in previous animation interpolation systems, with a focus on improving perceptual quality. Firstly, we propose SoftsplatLite (SSL), a forward-warping interpolation architecture with fewer trainable parameters and better perceptual performance. Secondly, we design a Distance Transform Module (DTM) that leverages line proximity cues to correct aberrations in difficult solid-color regions. Thirdly, we define a Restricted Relative Linear Discrepancy metric (RRLD) to automate the previously manual training data collection process. Lastly, we explore evaluation of 2D animation generation through a user study, and establish that the LPIPS perceptual metric and chamfer line distance (CD) are more appropriate measures of quality than PSNR and SSIM used in prior art.


title: Bacteria-inspired robotic propulsion from bundling of soft helical filaments at low Reynolds number

abstract: The bundling of flagella is known to create a "run" phase, where the bacteria moves in a nearly straight line rather than making changes in direction. Historically, mechanical explanations for the bundling phenomenon intrigued many researchers, and significant advances were made in physical models and experimental methods. Contributing to the field of research, we present a bacteria-inspired centimeter-scale soft robotic hardware platform and a computational framework for a physically plausible simulation model of the multi-flagellated robot under low Reynolds number (~0.1). The fluid-structure interaction simulation couples the Discrete Elastic Rods algorithm with the method of Regularized Stokeslet Segments. Contact between two flagella is handled by a penalty-based method. We present a comparison between our experimental and simulation results and verify that the simulation tool can capture the essential physics of this problem. Preliminary findings on robustness to buckling provided by the bundling phenomenon and the efficiency of a multi-flagellated soft robot are compared with the single-flagellated counterparts. Observations were made on the coupling between geometry and elasticity, which manifests itself in the propulsion of the robot by nonlinear dependency on the rotational speed of the flagella.


title: ProLiVis: Protein-Protein Interaction Literature Visualization System

abstract: We provide a visualization model that targets the visualization of Protein-Protein Interactions(PPI) and combines it with a super view based on publications and methods to extract interactions. Although there are several existing tools, our model considers the existing literature and is capable to demonstrate all interactions for the selected organisms. In our model, we propose a three-level visualization concept for the PPI networks with the current state-of-the-art studies based on several organisms. And, we abstract of overall network based on two perspectives; "experimental method types of each interaction" and "ownership with the publication". We claim that it is more efficient to work on our proposed layout rather than parsing text files or databases. For that way, we plan to support the existing visuals with complementary outsourced information from the existing knowledge base.


title: Picasso: Model-free Feature Visualization

abstract: Today, Machine Learning (ML) applications can have access to tens of thousands of features. With such feature sets, efficiently browsing and curating subsets of most relevant features is a challenge. In this paper, we present a novel approach to visualize up to several thousands of features in a single image. The image not only shows information on individual features, but also expresses feature interactions via the relative positioning of features.


title: Out-of-Category Document Identification Using Target-Category Names as Weak Supervision

abstract: Identifying outlier documents, whose content is different from the majority of the documents in a corpus, has played an important role to manage a large text collection. However, due to the absence of explicit information about the inlier (or target) distribution, existing unsupervised outlier detectors are likely to make unreliable results depending on the density or diversity of the outliers in the corpus. To address this challenge, we introduce a new task referred to as out-of-category detection, which aims to distinguish the documents according to their semantic relevance to the inlier (or target) categories by using the category names as weak supervision. In practice, this task can be widely applicable in that it can flexibly designate the scope of target categories according to users' interests while requiring only the target-category names as minimum guidance. In this paper, we present an out-of-category detection framework, which effectively measures how confidently each document belongs to one of the target categories based on its category-specific relevance score. Our framework adopts a two-step approach; (i) it first generates the pseudo-category label of all unlabeled documents by exploiting the word-document similarity encoded in a text embedding space, then (ii) it trains a neural classifier by using the pseudo-labels in order to compute the confidence from its target-category prediction. The experiments on real-world datasets demonstrate that our framework achieves the best detection performance among all baseline methods in various scenarios specifying different target categories.


title: ReAct: Out-of-distribution Detection With Rectified Activations

abstract: Out-of-distribution (OOD) detection has received much attention lately due to its practical importance in enhancing the safe deployment of neural networks. One of the primary challenges is that models often produce highly confident predictions on OOD data, which undermines the driving principle in OOD detection that the model should only be confident about in-distribution samples. In this work, we propose ReAct--a simple and effective technique for reducing model overconfidence on OOD data. Our method is motivated by novel analysis on internal activations of neural networks, which displays highly distinctive signature patterns for OOD distributions. Our method can generalize effectively to different network architectures and different OOD detection scores. We empirically demonstrate that ReAct achieves competitive detection performance on a comprehensive suite of benchmark datasets, and give theoretical explication for our method's efficacy. On the ImageNet benchmark, ReAct reduces the false positive rate (FPR95) by 25.05% compared to the previous best method.


title: Geometric Priors for Scientific Generative Models in Inertial Confinement Fusion

abstract: In this paper, we develop a Wasserstein autoencoder (WAE) with a hyperspherical prior for multimodal data in the application of inertial confinement fusion. Unlike a typical hyperspherical generative model that requires computationally inefficient sampling from distributions like the von Mis Fisher, we sample from a normal distribution followed by a projection layer before the generator. Finally, to determine the validity of the generated samples, we exploit a known relationship between the modalities in the dataset as a scientific constraint, and study different properties of the proposed model.


title: The Macroeconomic Effects of Corporate Tax Reforms

abstract: This paper extends a standard general equilibrium framework with a corporate tax code featuring two key elements: tax depreciation policy and the distinction between c-corporations and pass-through businesses. In the model, the stimulative effect of a tax rate cut on c-corporations is smaller when tax depreciation policy is accelerated, and is further diluted in the aggregate by the presence of pass-through entities. Because of a highly accelerated tax depreciation policy and a large share of pass-through activity in 2017, the model predicts small stimulus, large payouts to shareholders, and a dramatic loss of corporate tax revenues following the Tax Cuts and Jobs Act (TCJA-17). These predictions are consistent with novel micro- and macro-level evidence from professional forecasters and sectoral tax returns. At the same time, because of less-accelerated tax depreciation and a lower pass-through share in the early 1960s, the model predicts sizable stimulus in response to the Kennedy's corporate tax cuts - also supported by the data. The model-implied corporate tax multipliers for Trump's TCJA-17 and Kennedy's tax cuts are +0.6 and +2.5, respectively.


title: Tiny Pointers

abstract: This paper introduces a new data-structural object that we call the tiny pointer. In many applications, traditional $\log n $-bit pointers can be replaced with $o (\log n )$-bit tiny pointers at the cost of only a constant-factor time overhead. We develop a comprehensive theory of tiny pointers, and give optimal constructions for both fixed-size tiny pointers (i.e., settings in which all of the tiny pointers must be the same size) and variable-size tiny pointers (i.e., settings in which the average tiny-pointer size must be small, but some tiny pointers can be larger). If a tiny pointer references an element in an array filled to load factor $1 - 1 / k$, then the optimal tiny-pointer size is $\Theta(\log \log \log n + \log k) $ bits in the fixed-size case, and $ \Theta (\log k) $ expected bits in the variable-size case. Our tiny-pointer constructions also require us to revisit several classic problems having to do with balls and bins; these results may be of independent interest. Using tiny pointers, we revisit five classic data-structure problems: the data-retrieval problem, succinct dynamic binary search trees, space-efficient stable dictionaries, space-efficient dictionaries with variable-size keys, and the internal-memory stash problem. These are all well-studied problems, and in each case tiny pointers allow for us to take a natural space-inefficient solution that uses pointers and make it space-efficient for free.


title: The topological resolution of a finite closure space

abstract: For every finite closure space $X$ one can define a finite topological space $\operatorname{Top} X$ together with a natural projection $\operatorname{Top} X\longrightarrow X$. This could allow to apply the techniques of topological combinatorics to the study of finite closure spaces.


title: A Rule-based/BPSO Approach to Produce Low-dimensional Semantic Basis Vectors Set

abstract: We intend to generate low-dimensional explicit distributional semantic vectors. In explicit semantic vectors, each dimension corresponds to a word, so word vectors are interpretable. In this research, we propose a new approach to obtain low-dimensional explicit semantic vectors. First, the proposed approach considers the three criteria Word Similarity, Number of Zero, and Word Frequency as features for the words in a corpus. Then, we extract some rules for obtaining the initial basis words using a decision tree that is drawn based on the three features. Second, we propose a binary weighting method based on the Binary Particle Swarm Optimization algorithm that obtains N_B = 1000 context words. We also use a word selection method that provides N_S = 1000 context words. Third, we extract the golden words of the corpus based on the binary weighting method. Then, we add the extracted golden words to the context words that are selected by the word selection method as the golden context words. We use the ukWaC corpus for constructing the word vectors. We use MEN, RG-65, and SimLex-999 test sets to evaluate the word vectors. We report the results compared to a baseline that uses 5k most frequent words in the corpus as context words. The baseline method uses a fixed window to count the co-occurrences. We obtain the word vectors using the 1000 selected context words together with the golden context words. Our approach compared to the Baseline method increases the Spearman correlation coefficient for the MEN, RG-65, and SimLex-999 test sets by 4.66%, 14.73%, and 1.08%, respectively.


title: Quantum signatures in quadratic optomechanical heat engine with an atom in a tapered trap

abstract: We investigate how quantum signatures can emerge in a single atom heat engine consisting of an atom confined in a tapered trap and subject to hot and cold thermal reservoirs. A similar system was realized experimentally in Ref.[1]. We model such a system using a quadratic optomechanical model and identify an effective Otto cycle in the system's dynamics. We compare the engine's performance in the quantum and classical regimes by evaluating the power dissipated. We find that lowering the temperature is insufficient to make the single atom engine of Ref.[1] a genuine quantum-enhanced heat engine. We show that it is necessary to make the trap more asymmetric and confined to ensure that quantum correlations cause an enhancement in the power output.


title: Evolution of honesty in higher-order social networks

abstract: Sender-receiver games are simple models of information transmission that provide a formalism to study the evolution of honest signaling and deception between a sender and a receiver. In many practical scenarios, lies often affect groups of receivers, which inevitably entangles the payoffs of individuals to the payoffs of other agents in their group, and this makes the formalism of pairwise sender-receiver games inapt for where it might be useful the most. We therefore introduce group interactions among receivers, and study how their interconnectedness in higher-order social networks affects the evolution of lying. We observe a number of counterintuitive results that are rooted in the complexity of the underlying evolutionary dynamics, which has thus far remained hidden in the realm of pairwise interactions. We find conditions for honesty to persist even when there is a temptation to lie, and we observe the prevalence of moral strategy profiles even when lies favor the receiver at a cost to the sender. We confirm the robustness of our results by further performing simulations on hypergraphs created from real-world data using the SocioPatterns database. Altogether, our results provide persuasive evidence that moral behaviour may evolve on higher-order social networks, at least as long as individuals interact in groups that are small compared to the size of the network.


title: Application of deep learning to camera trap data for ecologists in planning / engineering -- Can captivity imagery train a model which generalises to the wild?

abstract: Understanding the abundance of a species is the first step towards understanding both its long-term sustainability and the impact that we may be having upon it. Ecologists use camera traps to remotely survey for the presence of specific animal species. Previous studies have shown that deep learning models can be trained to automatically detect and classify animals within camera trap imagery with high levels of confidence. However, the ability to train these models is reliant upon having enough high-quality training data. What happens when the animal is rare or the data sets are non-existent? This research proposes an approach of using images of rare animals in captivity (focusing on the Scottish wildcat) to generate the training dataset. We explore the challenges associated with generalising a model trained on captivity data when applied to data collected in the wild. The research is contextualised by the needs of ecologists in planning/engineering. Following precedents from other research, this project establishes an ensemble for object detection, image segmentation and image classification models which are then tested using different image manipulation and class structuring techniques to encourage model generalisation. The research concludes, in the context of Scottish wildcat, that models trained on captivity imagery cannot be generalised to wild camera trap imagery using existing techniques. However, final model performances based on a two-class model Wildcat vs Not Wildcat achieved an overall accuracy score of 81.6% and Wildcat accuracy score of 54.8% on a test set in which only 1% of images contained a wildcat. This suggests using captivity images is feasible with further research. This is the first research which attempts to generate a training set based on captivity data and the first to explore the development of such models in the context of ecologists in planning/engineering.


title: Germany's current COVID-19 crisis is mainly driven by the unvaccinated

abstract: Vaccines are the most powerful pharmaceutical tool to combat the COVID-19 pandemic. While the majority (about 65%) of the German population were fully vaccinated, incidence started growing exponentially in October 2021 with about 41% of recorded new cases aged twelve or above being symptomatic breakthrough infections, presumably also contributing to the dynamics. At the time, it (i) remains elusive how significant this contribution is and (ii) whether targeted non-pharmaceutical interventions (NPIs) may stop the amplification of the ongoing crisis. Here, we estimate that about 67%-76% of all new infections are caused by unvaccinated individuals, implying that only 24%-33% are caused by the vaccinated. Furthermore, we estimate 38%-51% of new infections to be caused by unvaccinated individuals infecting other unvaccinated individuals. In total, unvaccinated individuals are expected to be involved in 8-9 of 10 new infections. We further show that decreasing the transmissibility of the unvaccinated by, e.g. targeted NPIs, causes a steeper decrease in the effective reproduction number $\mathcal{R}$ than decreasing the transmissibility of vaccinated individuals, potentially leading to temporary epidemic control. Furthermore, reducing contacts between vaccinated and unvaccinated individuals serves to decrease $\mathcal R$ in a similar manner as increasing vaccine uptake. Taken together, our results contribute to the public discourse regarding policy changes in pandemic response and highlight the importance of combined measures, such as vaccination campaigns and contact reduction, to achieve epidemic control and preventing an overload of public health systems.


title: $SU(2)$-invariant steady gradient Ricci solitons on four-manifolds

abstract: Using center manifolds and topological degree theory, we construct a new family of complete, $SU(2)$-invariant and steady gradient Ricci solitons on the four-dimensional non-compact cohomogeneity one manifold with group diagram $\mathbb{Z}_4\subset U(1)\subset SU(2)$. We also provide simpler constructions of the existing $U(2)$-invariant steady and complete gradient solitons on the cohomogeneity one manifolds with group diagrams $\mathbb{Z}_n\subset U(1)\subset SU(2)$ for any $n\in \mathbb{N}$, including Appleton's non-collapsed solitons for $n\ge 3$.


title: Superconducting Order Parameters in overdoped BaFe$_{1.86}$Ni$_{0.14}$As$_2$ Revealed by Multiple Andreev Reflection Spectroscopy of Planar Break-Junctions

abstract: Using multiple Andreev reflection (MAR) spectroscopy, we studied superconductor - normal metal - superconductor (SnS) semiballistic contacts with incoherent transport in overdoped pnictide superconductors BaFe$_{1.86}$Ni$_{0.14}$As$_2$ with critical temperature $T_c \approx 12$ K. We directly determined an anisotropic large gap with the characteristic ratios $2\Delta_L^{\rm out}(0)/k_BT_c \approx 6$ and $2\Delta_L^{\rm in}(0)/k_BT_c \approx 4$, almost isotropic small gap with $2\Delta_S(0)/k_BT_c \approx 2$, and the temperature dependence of the resolved superconducting order parameters. Above the large gap position $2\Delta_L$, a fine dI(V)/dV structure fully vanishing at $T_c$ and possibly caused by a resonant coupling with a bosonic mode was observed.


title: SoK: Plausibly Deniable Storage

abstract: Data privacy is critical in instilling trust and empowering the societal pacts of modern technology-driven democracies. Unfortunately, it is under continuous attack by overreaching or outright oppressive governments, including some of the world's oldest democracies. Increasingly-intrusive anti-encryption laws severely limit the ability of standard encryption to protect privacy. New defense mechanisms are needed. Plausible deniability (PD) is a powerful property, enabling users to hide the existence of sensitive information in a system under direct inspection by adversaries. Popular encrypted storage systems such as TrueCrypt and other research efforts have attempted to also provide plausible deniability. Unfortunately, these efforts have often operated under less well-defined assumptions and adversarial models. Careful analyses often uncover not only high overheads but also outright security compromise. Further, our understanding of adversaries, the underlying storage technologies, as well as the available plausible deniable solutions have evolved dramatically in the past two decades. The main goal of this work is to systematize this knowledge. It aims to: - identify key PD properties, requirements, and approaches; - present a direly-needed unified framework for evaluating security and performance; - explore the challenges arising from the critical interplay between PD and modern system layered stacks; - propose a new "trace-oriented" PD paradigm, able to decouple security guarantees from the underlying systems and thus ensure a higher level of flexibility and security independent of the technology stack. This work is meant also as a trusted guide for system and security practitioners around the major challenges in understanding, designing, and implementing plausible deniability into new or existing systems.


title: Some physical properties of a new Jupiter-family comet P/2019 LD2 (ATLAS) from broadband observations

abstract: New periodic comet P/2019 LD2 (ATLAS) located on unstable quasi-Trojan orbit still an interesting object to study in the last years. We present the results of broadband observations of comet P/2019 LD2 (ATLAS) performed at the Sanglokh observatory of the Institute of Astrophysics, National Academy of Sciences of Tajikistan for 5 nights in August 2020. The dependence of the Afrho parameters of the comet on the aperture radius is measured. We obtained the coma corrected upper limit of the cometary radius Rn not more than 6.1 +- 0.1 km and calculated the absolute magnitude H0 = 11.41 +- 0.03. Finson - Probstein diagram method was used to explain a dust tail appearance. A subgroup of comets with orbital parameters close to P/2019 LD2 (ATLAS) is analyzed.


title: Dilation Properties of Coherent Nearly-Linear Models

abstract: Dilation is a puzzling phenomenon within Imprecise Probability theory: when it obtains, our uncertainty evaluation on event $A$ is vaguer after conditioning $A$ on $B$, whatever is event $B$ in a given partition $\mathcal{B}$. In this paper we investigate dilation with coherent Nearly-Linear (NL) models. These are a family of neighbourhood models, obtaining lower/upper probabilities by linear affine transformations (with barriers) of a given probability, and encompass several well-known models, such as the Pari-Mutuel Model, the $\varepsilon$-contamination model, the Total Variation Model, and others. We first recall results we recently obtained for conditioning NL model with the standard procedure of natural extension and separately discuss the role of the alternative regular extension. Then, we characterise dilation for coherent NL models. For their most relevant subfamily, Vertical Barrier Models (VBM), we study the coarsening property of dilation, the extent of dilation, and constriction. The results generalise existing ones established for special VBMs. As an interesting aside, we discuss in a general framework how logical (in)dependence of $A$ from $\mathcal{B}$ or extreme evaluations for $A$ influence dilation.


title: On The Composition Lemma

abstract: We describe two distinct simple, short and self contained proofs of the composition lemma.