title: Local spin description of fermions on a lattice

abstract: A local transformation from fermionic operators to spin matrices is proposed and studied in this work. For this purpose, a system of fermions on a lattice is considered and one applies the scheme to replace the fermionic variables with spin matrices, while the transformation relates only those fermionic/spin operators which are assigned to nearby lattice sites. In one dimension, this proposal yields the same result as the well-known Jordan-Wigner transformation, while not being restricted to $d=1$ dimension. To obtain the equivalent description in the spin picture, one needs to impose constraints on the spin space. Since finding the reduced spin Hilbert space constitutes a substantial stage of the whole procedure, the constraints are paid particular attention. The full set of necessary constraints is determined in both representations. To approach the task to solve the constraints, a suitable basis is constructed. The introduction of the basis in the spin representation along with the construction of the constraints and the Hamiltonian in this basis show how the transformation proposed in this work can be applied to obtain observables in the spin picture. Explicit construction of the constraints in the basis allows one to solve them and, once the basis vectors of the reduced spin Hilbert space are found, the spin Hamiltonian is expressed in this basis and diagonalized. The constraints are constructed in the basis as discussed above and analyzed with the Wolfram Mathematica programs for lattice sizes $3\times3$, $4\times3$ and $4\times4$. Their mutual relations are determined and the reduced spin Hilbert space is specified. The Hamiltonian is constructed in this representation and diagonalized. It is verified that the eigenenergies obtained in the spin picture agree with the analytic formulas from the fermionic representation.


title: Group actions and Monotone Quantum Metric Tensors

abstract: The interplay between actions of Lie groups and monotone quantum metric tensors on the space of faithful quantum states of a finite-level system observed recently in DOI: 10.1140/epjp/s13360-020-00537-y and DOI: 10.1007/978-3-030-80209-7_17 is here further developed.


title: TUVO-21acq: a new cataclysmic variable discovered through a UV outburst

abstract: Outbursts from cataclysmic variables, such as dwarf novae (DNe), are prevalent throughout the galaxy and are known to emit strongly in the ultraviolet (UV). However, the UV emission of DNe has not been studied extensively compared with the optical. Characterising in detail the physical processes responsible for DN outburst behaviour requires further UV data. Here we report, as part of our recently launched Transient UV Objects Project (TUVO), the discovery of TUVO-21acq, a new transient which we detected in the UV using data from the Ultraviolet Optical Telescope aboard Swift. We detected two separate outbursts and used the UV data to constrain source properties, focusing on the amplitudes and timescales of the outbursts. During the first outburst the source increased in brightness by >4.1, >2.4, and >3.5 magnitudes and during the second outburst by >4.4, >3.4, and >3.6 magnitudes in the UVW1, UVM2, and UVW2 bands, respectively. The outburst durations were in the range 6-21 days and 11-46 days, and the recurrence time is <316 days. We additionally obtained an optical spectrum during quiescence with SALT. The spectrum exhibited hydrogen Balmer series and helium emission lines, and a flat overall spectral shape. We confirm the nature of the source as an accreting white dwarf which underwent DN outburst based on photometric and spectroscopic properties. This study serves as a proof-of-concept for the TUVO project strategy, demonstrating its capability of discovering and classifying new, interesting UV transients. We discuss the implications of our findings for our understanding of the physics underlying DN outbursts, in particular with respect to the UV emission. We examine the need for simultaneous UV and optical observations during the onset of DN outbursts in order to help answer remaining questions, for example in the characteristics and implications of the UV delay.


title: Spectral summability for the quartic oscillator with applications to the Engel group

abstract: In this article, we investigate spectral properties of the sublaplacian $-\Delta_{G}$ on the Engel group, which is the main example of a Carnot group of step 3. We develop a new approach to the Fourier analysis on the Engel group in terms of a frequency set. This enables us to give fine estimates on the convolution kernel satisfying $F(-\Delta_{G})u=u\star k_{F}$, for suitable scalar functions $F$, and in turn to obtain proofs of classical functional embeddings, via Fourier techniques. This analysis requires a summability property on the spectrum of the quartic oscillator, which we obtain by means of semiclassical techniques and which is of independent interest.


title: Neural Moving Horizon Estimation for Robust Flight Control

abstract: Estimating and reacting to disturbances is crucial for robust flight control of quadrotors. Existing estimators typically require significant tuning for a specific flight scenario or training with extensive ground-truth disturbance data to achieve satisfactory performance. In this paper, we propose a neural moving horizon estimator (NeuroMHE) that can automatically tune its key parameters modeled by a neural network and adapt to different flight scenarios. We achieve this by deriving the analytical gradients of the MHE estimates with respect to the MHE weighting matrices, which enables a seamless embedding of the MHE as a learnable layer into the neural network for highly effective learning. Interestingly, we show that the gradients can be computed efficiently using a Kalman filter in a recursive form. Moreover, we develop a model-based policy gradient algorithm to train NeuroMHE directly from the quadrotor trajectory tracking error without needing the ground-truth disturbance data. The effectiveness of NeuroMHE is verified extensively via both simulations and physical experiments on quadrotors in various challenging flights. Notably, NeuroMHE outperforms a state-of-the-art neural network-based estimator, reducing force estimation errors by up to 76.7%, while using a portable neural network that has only 7.7% of the learnable parameters of the latter. The proposed method is general and can be applied to robust adaptive control of other robotic systems.


title: Configurational entropy of black hole quantum cores

abstract: Two types of information entropy are studied for the quantum states of a model for the matter core inside a black hole geometry. A detailed description is first given of the quantum mechanical picture leading to a spectrum of bound states for a collapsing ball of dust in general relativity with a non-trivial ground state. Information entropies are then computed, shedding new light on the stability of the ground state and the spectrum of higher excited states.


title: Sharp well-posedness and blowup results for parabolic systems of the Keller-Segel type

abstract: We study two toy models obtained after a slight modification of the nonlinearity of the usual doubly parabolic Keller-Segel system. For these toy models, both consisting of a system of two parabolic equations, we establish that for data which are, in a suitable sense, smaller than the diffusion parameter $\tau$ in the equation for the chemoattractant, we obtain global solutions, and for some data larger than $\tau$ , a finite time blowup. In this way, we check that our size condition for the global existence is sharp for large $\tau$ , up to a logarithmic factor.


title: Using EBGAN for Anomaly Intrusion Detection

abstract: As an active network security protection scheme, intrusion detection system (IDS) undertakes the important responsibility of detecting network attacks in the form of malicious network traffic. Intrusion detection technology is an important part of IDS. At present, many scholars have carried out extensive research on intrusion detection technology. However, developing an efficient intrusion detection method for massive network traffic data is still difficult. Since Generative Adversarial Networks (GANs) have powerful modeling capabilities for complex high-dimensional data, they provide new ideas for addressing this problem. In this paper, we put forward an EBGAN-based intrusion detection method, IDS-EBGAN, that classifies network records as normal traffic or malicious traffic. The generator in IDS-EBGAN is responsible for converting the original malicious network traffic in the training set into adversarial malicious examples. This is because we want to use adversarial learning to improve the ability of discriminator to detect malicious traffic. At the same time, the discriminator adopts Autoencoder model. During testing, IDS-EBGAN uses reconstruction error of discriminator to classify traffic records.


title: Diagnosing deceivingly cold dusty galaxies at 3.5<z<6: a substantial population of compact starbursts with high infrared optical depths

abstract: Using NOEMA and ALMA 3mm line scans, we measure spectroscopic redshifts of six new dusty galaxies at 3.5<z<4.2 by solidly detecting [CI](1-0) and CO transitions. The sample was selected from the COSMOS and GOODS-North super-deblended catalogs with FIR photometric redshifts z>6, based on template IR spectrum energy distribution (SED) from known submillimeter galaxies at z=4--6. Dust SED analyses explain the photo-z overestimate from seemingly cold dust temperatures (Td) and steep Rayleigh-Jeans (RJ) slopes, providing additional examples of cold dusty galaxies impacted by the Cosmic Microwave Background (CMB). We therefore study the general properties of the enlarged sample of 10 ``cold" dusty galaxies over 3.5<z<6. We conclude that these galaxies are deceivingly cold at the surface but actually warm in their starbursting cores. Several lines of evidence support this scenario: (1) The high infrared surface density and cold Td from optically thin models appear to violate the Stefan-Boltzmann law; (2) the gas masses derived from optically thin dust masses are inconsistent with estimates from dynamics and CI luminosities; (3) the implied high star formation efficiencies would conflict with cold Td; (4) high FIR optical depth is implied even using the lower, optically-thick dust masses. This work confirms the existence of a substantial population of deceivingly cold, compact dusty starburst galaxies at z>~4, together with the severe impact of the CMB on their RJ observables, paving the way for the diagnostics of optically thick dust in the early universe. Conventional gas mass estimates based on RJ dust continuum luminosities implicitly assume an optically thin case, overestimating gas masses by a factor of 2--3 on average in compact dusty star-forming galaxies.


title: Morphogenesis of Gastrovascular Canal Network in Aurelia Jellyfish: possible mechanisms

abstract: Patterns in biology can be considered as predetermined, or arising from a self-organizing instability. Variability in the pattern can thus be interpreted as a trace of an instability, growing out from noise. Variability can thus hint toward an underlying morphogenetic mechanism. Here we present the variability of the gastrovascular system of the Jellyfish Aurelia. In this variability emerge a typical biased reconnection between canals, and correlated reconnections. Both phenomena can be interpreted as traces of mechanistic effects, the swimming contractions on the tissue surrounding the gastrovascular canals, and the mean fluid pressure inside them, respectively. This reveals the gastrovascular network as a model system to study morphogenesis of circulation networks and the morphogenetic mechanisms at play.


title: Electron-driven instabilities in the solar wind

abstract: The electrons are an essential particle species in the solar wind. They often exhibit non-equilibrium features in their velocity distribution function. These include temperature anisotropies, tails (kurtosis), and reflectional asymmetries (skewness), which contribute a significant heat flux to the solar wind. If these non-equilibrium features are sufficiently strong, they drive kinetic micro-instabilities. We develop a semi-graphical framework based on the equations of quasi-linear theory to describe electron-driven instabilities in the solar wind. We apply our framework to resonant instabilities driven by temperature anisotropies. These include the electron whistler anisotropy instability and the propagating electron firehose instability. We then describe resonant instabilities driven by reflectional asymmetries in the electron distribution function. These include the electron/ion-acoustic, kinetic Alfv\'en heat-flux, Langmuir, electron-beam, electron/ion-cyclotron, electron/electron-acoustic, whistler heat-flux, oblique fast-magnetosonic/whistler, lower-hybrid fan, and electron-deficit whistler instability. We briefly comment on non-resonant instabilities driven by electron temperature anisotropies such as the mirror-mode and the non-propagating firehose instability. We conclude our review with a list of open research topics in the field of electron-driven instabilities in the solar wind.

categories: physics.space-ph astro-ph.SR physics.geo-ph physics.plasm-ph


title: Antaeus: a retrograde group of tidal debris in the Milky Way's disk plane

abstract: We present the discovery of a wide retrograde moving group in the disk plane of the Milky Way using action-angle coordinates derived from the \textit{Gaia} DR3 catalog. The structure is identified from a sample of its members that are currently almost at the pericenter of their orbit and are passing through the Solar neighborhood. The motions of the stars in this group are highly correlated, indicating that the system is probably not phase mixed. With a width of at least 1.5 kpc and with a probable intrinsic spread in metallicity, this structure is most likely the wide remnant of a tidal stream of a disrupted ancient dwarf galaxy (age $\sim 12$ Gyr, $\langle {\rm [Fe/H]} \rangle \sim -1.74$). The structure presents many similarities (e.g. in energy, angular momentum, metallicity, and eccentricity) with the Sequoia merging event. However, it possesses extremely low vertical action $J_z$ which makes it unique even amongst Sequoia dynamical groups. As the low $J_z$ may be attributable to dynamical friction, we speculate that the these stars may be the remnants of the dense core of the Sequoia progenitor.


title: Typhon: a polar stream from the outer halo raining through the Solar neighborhood

abstract: We report on the discovery in the Gaia DR3 astrometric and spectroscopic catalog of a new polar stream that is found as an over-density in action space. This structure is unique as it has an extremely large apocenter distance, reaching beyond 100 kpc, and yet is detected as a coherent moving structure in the Solar neighborhood with a width of $\sim 4$ kpc. A sub-sample of these stars that was fortuitously observed by LAMOST has a mean spectroscopic metallicity of $\langle {\rm [Fe/H]}\rangle = -1.60^{+0.15}_{-0.16}$ dex and possesses a resolved metallicity dispersion of $\sigma({\rm [Fe/H]}) = 0.32^{+0.17}_{-0.06}$ dex. The physical width of the stream, the metallicity dispersion and the vertical action spread indicate that the progenitor was a dwarf galaxy. The existence of such a coherent and highly radial structure at their pericenters in the vicinity of the Sun suggests that many other dwarf galaxy fragments may be lurking in the outer halo.


title: Isogeometric Analysis of Elastic Sheets Exhibiting Combined Bending and Stretching using Dynamic Relaxation

abstract: Shells are ubiquitous thin structures that can undergo large nonlinear elastic deformations while exhibiting combined modes of bending and stretching, and have profound modern applications. In this paper, we have proposed a new Isogeometric formulation, based on classical Koiter nonlinear shell theory, to study instability problems like wrinkling and buckling in thin shells. The use of NURBS-basis provides rotation-free, conforming, higher-order spatial continuity, such that curvatures and membrane strains can be computed directly from the interpolation of the position vectors of the control points. A pseudo, dissipative and discrete, dynamical system is constructed, and static equilibrium solutions are obtained by the method of dynamic relaxation (DR). A high-performance computing-based implementation of the DR is presented, and the proposed formulation is benchmarked against several existing numerical, and experimental results. The advantages of this formulation, over traditional finite element approaches, in assessing structural response of the shells are presented.


title: WrapperFL: A Model Agnostic Plug-in for Industrial Federated Learning

abstract: Federated learning, as a privacy-preserving collaborative machine learning paradigm, has been gaining more and more attention in the industry. With the huge rise in demand, there have been many federated learning platforms that allow federated participants to set up and build a federated model from scratch. However, exiting platforms are highly intrusive, complicated, and hard to integrate with built machine learning models. For many real-world businesses that already have mature serving models, existing federated learning platforms have high entry barriers and development costs. This paper presents a simple yet practical federated learning plug-in inspired by ensemble learning, dubbed WrapperFL, allowing participants to build/join a federated system with existing models at minimal costs. The WrapperFL works in a plug-and-play way by simply attaching to the input and output interfaces of an existing model, without the need of re-development, significantly reducing the overhead of manpower and resources. We verify our proposed method on diverse tasks under heterogeneous data distributions and heterogeneous models. The experimental results demonstrate that WrapperFL can be successfully applied to a wide range of applications under practical settings and improves the local model with federated learning at a low cost.


title: Density matrix of electrons coupled to phonons and the electron-phonon entanglement content of excited states

abstract: We derive the exact reduced density matrix for the electrons in an analytically solvable electron-phonon model. Here, the electrons are described as a Luttinger liquid that is coupled to Einstein phonons. We further derive analytical expressions for the electron-phonon entanglement, its spectrum and mutual information at finite and zero temperature as well as for excited states. The entanglement entropy is additive in momentum for the quasi-particle excited states, but not in the electron-phonon coupled eigenmodes of the system.


title: The Blow-up Analysis on $\mathbf{B}_2^{(1)}$ Affine Toda system: Local mass and Affine Weyl group

abstract: It has been established that the local mass of blow-up solutions to Toda systems associated with the simple Lie algebras $\mathbf{A}_n,~\mathbf{B}_n,~\mathbf{C}_n$ and $\mathbf{G}_2$ can be represented by a finite Weyl group. In particular, at each blow-up point, after a sequence of bubbling steps (via scaling) is performed, the transformation of the local mass at each step corresponds to the action of an element in the Weyl group. In this article, we present the results in the same spirit for the affine $\mathbf{B}_2^{(1)}$ Toda system with singularities. Compared with the Toda system with simple Lie algebras, the computation of local masses is more challenging due to the infinite number of elements of the {affine Weyl group of type $\mathbf{B}_{2}^{(1)}$}. In order to give an explicit expression for the local mass formula we introduce two free integers and write down all the possibilities into 8 types. This shows a striking difference to previous results on Toda systems with simple Lie algebras. The main result of this article seems to provide the first major advance in understanding the relation between the blow-up analysis of affine Toda system and the {affine Weyl group} of the associated Lie algebras.


title: Soliton Pulses in Photonic Crystal Fabry-Perot Microresonators

abstract: Dissipative Kerr solitons (DKSs) in high-Q microresonators enable applications in sensing, communication, and signal processing. Until now, DKSs driven by continuous-wave (CW) lasers are exclusively generated in ring-type resonators. Complementary to ring-type resonators, Fabry-Perot resonators could enable new approaches to dispersion engineering, addressing a key challenge of DKS technology. However, DKS generation in a CW-driven Fabry-Perot microresonator has not yet been achieved. Here, we demonstrate for the first time CW-driven DKSs in a high-Q Fabry-Perot microresonator. Fabricated in a wafer-level process, two photonic crystal reflectors in a waveguide form the chip-integrated resonator and define its dispersion. The intrinsic Q-factor of 4 million is propagation-loss limited. In principle, each cell of the photonic crystal reflector can be tailored, opening a design space beyond traditional dispersion engineering, with potential for future extension of DKSs to visible and other currently inaccessible wavelengths. Beyond DKSs, this creates opportunities for filter-driven pulse formation, engineered spectra and broadband phase-matching in microresonators.


title: Audio-video fusion strategies for active speaker detection in meetings

abstract: Meetings are a common activity in professional contexts, and it remains challenging to endow vocal assistants with advanced functionalities to facilitate meeting management. In this context, a task like active speaker detection can provide useful insights to model interaction between meeting participants. Motivated by our application context related to advanced meeting assistant, we want to combine audio and visual information to achieve the best possible performance. In this paper, we propose two different types of fusion for the detection of the active speaker, combining two visual modalities and an audio modality through neural networks. For comparison purpose, classical unsupervised approaches for audio feature extraction are also used. We expect visual data centered on the face of each participant to be very appropriate for detecting voice activity, based on the detection of lip and facial gestures. Thus, our baseline system uses visual data and we chose a 3D Convolutional Neural Network architecture, which is effective for simultaneously encoding appearance and movement. To improve this system, we supplemented the visual information by processing the audio stream with a CNN or an unsupervised speaker diarization system. We have further improved this system by adding visual modality information using motion through optical flow. We evaluated our proposal with a public and state-of-the-art benchmark: the AMI corpus. We analysed the contribution of each system to the merger carried out in order to determine if a given participant is currently speaking. We also discussed the results we obtained. Besides, we have shown that, for our application context, adding motion information greatly improves performance. Finally, we have shown that attention-based fusion improves performance while reducing the standard deviation.


title: Flaring-associated Complex Dynamics in Two M-dwarfs Revealed by Fast, Time-resolved Spectroscopy

abstract: Habitability of an exoplanet is believed to be profoundly affected by activities of the host stars, although the related coronal mass ejections (CMEs) are still rarely detected in solar-like and late-type stars. We here report an observational study on flares of two M-dwarfs triggered by the high-cadence survey performed by the Ground Wide-angle Camera system. In both events, the fast, time-resolved spectroscopy enables us to identify symmetric broad H$\alpha$ emission with not only a nearly zero bulk velocity, but also a large projected maximum velocity as high as $\sim700-800\ \mathrm{km\ s^{-1}}$. This broadening could be resulted from either Stark (pressure) effect or a flaring-associated CME at stellar limb. In the context of the CME scenario, the CME mass is estimated to be $\sim4\times10^{18}$ g and $2\times10^{19}$ g. In addition, our spectral analysis reveals a temporal variation of the line center of the narrow H$\alpha$ emission in both events. The variation amplitudes are at tens of $\mathrm{km\ s^{-1}}$, which could be ascribed to the chromospheric evaporation in one event, and to a binary scenario in the other one. With the total flaring energy determined from our photometric monitor, we show a reinforced trend in which larger the flaring energy, higher the CME mass is.


title: Multilayer Block Models for Exploratory Analysis of Computer Event Logs

abstract: We investigate a graph-based approach to exploratory data analysis in the context of network security monitoring. Given a possibly large batch of event logs describing ongoing activity, we first represent these events as a bipartite multiplex graph. We then apply a model-based biclustering algorithm to extract relevant clusters of entities and interactions between these clusters, thereby providing a simplified situational picture. We illustrate this methodology through two case studies addressing network flow records and authentication logs, respectively. In both cases, the inferred clusters reveal the functional roles of entities as well as relevant behavioral patterns. Displaying interactions between these clusters also helps uncover malicious activity. Our code is available at https://github.com/cl-anssi/MultilayerBlockModels.


title: A Single-Timescale Analysis For Stochastic Approximation With Multiple Coupled Sequences

abstract: Stochastic approximation (SA) with multiple coupled sequences has found broad applications in machine learning such as bilevel learning and reinforcement learning (RL). In this paper, we study the finite-time convergence of nonlinear SA with multiple coupled sequences. Different from existing multi-timescale analysis, we seek for scenarios where a fine-grained analysis can provide the tight performance guarantee for multi-sequence single-timescale SA (STSA). At the heart of our analysis is the smoothness property of the fixed points in multi-sequence SA that holds in many applications. When all sequences have strongly monotone increments, we establish the iteration complexity of $\mathcal{O}(\epsilon^{-1})$ to achieve $\epsilon$-accuracy, which improves the existing $\mathcal{O}(\epsilon^{-1.5})$ complexity for two coupled sequences. When all but the main sequence have strongly monotone increments, we establish the iteration complexity of $\mathcal{O}(\epsilon^{-2})$. The merit of our results lies in that applying them to stochastic bilevel and compositional optimization problems, as well as RL problems leads to either relaxed assumptions or improvements over their existing performance guarantees.


title: Emergent s-wave interactions between identical fermions in quasi-one-dimensional geometries

abstract: Orbital degrees of freedom play an essential role in metals, semiconductors, and strongly confined electronic systems. Experiments with ultracold atoms have used highly anisotropic confinement to explore low-dimensional physics, but typically eliminate orbital degrees of freedom by preparing motional ground states in strongly confined directions. Here we prepare multi-band systems of spin-polarized fermionic potassium ($^{40}$K) in the quasi-one-dimensional (q1D) regime and quantify the strength of atom-atom correlations using radio-frequency spectroscopy. The activation of orbital degrees of freedom leads to a new phenomenon: a low-energy scattering channel that has even particle-exchange parity along the q1D axis, as if the underlying interactions were s-wave. This emergent exchange symmetry is enabled by orbital singlet wave functions in the strongly confined directions, which also confer high-momentum components to low-energy q1D collisions. We measure both the q1D odd-wave and even-wave "contact" parameters for the first time, and compare them to theoretical predictions of one-dimensional many-body models. The strength and spatial symmetry of interactions are tuned by a p-wave Feshbach resonance and by transverse confinement strength. Near resonance, the even-wave contact approaches its theoretical unitary value, whereas the maximum observed odd-wave contact remains several orders of magnitude below its unitary limit. Low-energy scattering channels of multi-orbital systems, such as those found here, may provide new routes for the exploration of universal many-body phenomena.


title: Stochastic processes for pulsar timing noise: fluctuations in the internal and external torques

abstract: Young pulsars deviate from a perfectly regular spin-down by two non-deterministic phenomena: impulsive glitches and timing noise. Both phenomena are interesting per se, and may provide insights into the superfluid properties of neutron stars, but they also act as a barrier to high-precision pulsar timing and gravitational wave experiments. We study a minimal stochastic model to describe the spin-down of a multicomponent neutron star, with fluctuations in both the internal and external torques. The power spectral density and timing noise strength of this kind of model can be obtained analytically, and compared with known results from pulsar timing observational campaigns. In particular, the presence of flat regions of the power spectral density can be interpreted as a signature of the presence of internal superfluid components. We also derive the expected scaling of the timing noise strength with the pulsar's rotational parameters (or characteristic age). Therefore, the present framework offers a theoretical guideline to interpret the observed features of timing noise in both single pulsars and across pulsar population.


title: Classical Aspects of a Distributional 3+1 Foam Model

abstract: A 3+1 spacetime, with a shift vector that is the unique fundamental solution to the linearized wave operator, is introduced to model an interpretation of Wheeler's layman's analogy of the Quantum foam. To understand the distributional aspects of this model is the guaranteed existence of a sequence of compactly supported shift vectors that converge to the fundamental solution used to introduce a sequence of 3+1 globally hyperbolic spacetimes. Using the sequence of these causally stable spacetimes it is shown that there exists a positive integer such that for all elements in the sequence with a greater index value than this integer and for any Eulerian observer will the shift vector increase more rapidly than any polynomial and the volume expansion is more rapid than a polynomial in all directions. The same conclusion remains valid for the trace of the extrinsic curvature. Nonetheless, it is shown, no matter how volatile the extrinsic curvature is for these elements there also exists elements in the other end of the sequence where the extrinsic curvature is negligible and the spacetime flat.


title: Route to Time and Time to Route: Travel Time Estimation from Sparse Trajectories

abstract: Due to the rapid development of Internet of Things (IoT) technologies, many online web apps (e.g., Google Map and Uber) estimate the travel time of trajectory data collected by mobile devices. However, in reality, complex factors, such as network communication and energy constraints, make multiple trajectories collected at a low sampling rate. In this case, this paper aims to resolve the problem of travel time estimation (TTE) and route recovery in sparse scenarios, which often leads to the uncertain label of travel time and route between continuously sampled GPS points. We formulate this problem as an inexact supervision problem in which the training data has coarsely grained labels and jointly solve the tasks of TTE and route recovery. And we argue that both two tasks are complementary to each other in the model-learning procedure and hold such a relation: more precise travel time can lead to better inference for routes, in turn, resulting in a more accurate time estimation). Based on this assumption, we propose an EM algorithm to alternatively estimate the travel time of inferred route through weak supervision in E step and retrieve the route based on estimated travel time in M step for sparse trajectories. We conducted experiments on three real-world trajectory datasets and demonstrated the effectiveness of the proposed method.


title: Multivariate Quadratic Hawkes Processes -- Part I: Theoretical Analysis

abstract: Quadratic Hawkes (QHawkes) processes have proved effective at reproducing the statistics of price changes, capturing many of the stylised facts of financial markets. Motivated by the recently reported strong occurrence of endogenous co-jumps (simultaneous price jumps of several assets) we extend QHawkes to a multivariate framework (MQHawkes), that is considering several financial assets and their interactions. Assuming that quadratic kernels write as the sum of a time-diagonal component and a rank one (trend) contribution, we investigate endogeneity ratios and the resulting stationarity conditions. We then derive the so-called Yule-Walker equations relating covariances and feedback kernels, which are essential to calibrate the MQHawkes process on empirical data. Finally, we investigate the volatility distribution of the process and find that, as in the univariate case, it exhibits power-law behavior, with an exponent that can be exactly computed in some limiting cases.


title: Regular models of hyperelliptic curves

abstract: Let $K$ be a complete discretely valued field of residue characteristic not $2$ and $O_K$ its ring of integers. We explicitly construct a regular model over $O_K$ with strict normal crossings of any hyperelliptic curve $C/K:y^2=f(x)$. For this purpose, we introduce the new notion of ''MacLane cluster picture'', that aims to be a link between clusters and MacLane valuations.


title: Rethinking Audio-visual Synchronization for Active Speaker Detection

abstract: Active speaker detection (ASD) systems are important modules for analyzing multi-talker conversations. They aim to detect which speakers or none are talking in a visual scene at any given time. Existing research on ASD does not agree on the definition of active speakers. We clarify the definition in this work and require synchronization between the audio and visual speaking activities. This clarification of definition is motivated by our extensive experiments, through which we discover that existing ASD methods fail in modeling the audio-visual synchronization and often classify unsynchronized videos as active speaking. To address this problem, we propose a cross-modal contrastive learning strategy and apply positional encoding in attention modules for supervised ASD models to leverage the synchronization cue. Experimental results suggest that our model can successfully detect unsynchronized speaking as not speaking, addressing the limitation of current models.


title: Laser induced ultrafast Gd 4f spin dynamics in Co100-xGdx alloys by means of time-resolved XMCD

abstract: We have studied the laser induced ultrafast quenching of Gd 4f magnetic order in ferrimagnetic Co100-xGdx alloys to highlight the role of the inter-atomic exchange coupling. We have taken advantage of the ultrashort soft X-ray pulses deliver by the femtoslicing beamline at the BESSY II synchrotron radiation source at the Helmholtz-Zentrum Berlin to perform element- and time-resolved X-ray Magnetic Circular Dichroism spectroscopy.Our results show that the laser induced quenching of Gd 4f magnetic order occurs on very different time-scales for the Co72Gd28, the Co77Gd23 and the Co79Gd21 alloys. Most of the magnetic moment losses occur within the first picosecond (ps) while the electron distribution is strongly out of equilibrium. After the equilibration of the electrons and lattice temperatures (t > 1 ps), the magnetic losses occur on slower rates that depend on the alloy composition: increasing the Co composition speeds up the demagnetization of Gd 4f sublattice. The strength of the inter-atomic exchange coupling which depends on composition, determines the efficiency of the angular momentum flow from the Gd 4f spin towards the lattice. Our results are in qualitative agreements with the predictions of the microscopic three temperatures model for ferrimagnetic alloys.


title: Superradiant Scattering from Nonlinear Wave-Mode Coupling

abstract: Waves scattered at a self-oscillating mode can exhibit superradiance, or net amplification of an external harmonic excitation. This exotic behavior, arising from the nonlinear coupling between the mode and the incident wave, is theoretically predicted and experimentally confirmed for the first time in this work. We propose a generic theory of nonlinear wave-mode coupling, which is derived in analogy to the temporal coupled-mode theory of [Fan et al., J. Opt. Soc. Am. A 20, 569 (2003)]. A well-reproducible aeroacoustic realization of a superradiant scatterer was used to test the theory's predictions. It is shown that the nonlinear wave-mode coupling can be exploited to quasi-passively tune the reflection and transmission coefficients of a side cavity in a waveguide. The theoretical framework used to describe this type of superradiance is applicable to non-acoustic systems and may be used to design lossless scattering devices.

categories: math.DS physics.app-ph physics.flu-dyn physics.optics


title: Hard-X-ray-selected Active Galactic Nuclei -- II. Spectral Energy Distributions in the 5-45 GHz domain

abstract: A wide-frequency radio study of Active Galactic Nuclei (AGN) is crucial to evaluate the intervening radiative mechanisms responsible for the observed emission and relate them with the underlying accretion physics. We present wide frequency (5-45 GHz), high-sensitivity (few microJy/beam), (sub)-kpc JVLA observations of a sample of 30 nearby (0.003 < z < 0.3) AGN detected by INTEGRAL/IBIS at hard-X-ray. We find a high detection fraction of radio emission at all frequencies, i.e. > 95 per cent at 5, 10 and 15 GHz and > 80 per cent at 22 and 45 GHz. Two sources out of 30 remain undetected at our high sensitivities. The nuclear radio morphology is predominantly compact, sometimes accompanied by extended jet-like structures, or more complex features. The radio Spectral Energy Distributions (SEDs) of the radio cores appear either as a single or as a broken power-law, a minority of them exhibits a peaked component. The spectral slopes are either flat/inverted or steep, up to a break/peak or over the whole range. The sample mean SED shows a flat slope up to 15 GHz which steepens between 15 and 22 GHz and becomes again flat above 22 GHz. Significant radio-X-ray correlations are observed at all frequencies. About half of the sample features extended emission, clearly resolved by the JVLA, indicating low-power jets or large scale outflows. The unresolved cores, which often dominate the radio power, may be of jet, outflow, and/or coronal origin, depending on the observed frequency.


title: A Proximal-Point Lagrangian Based Parallelizable Nonconvex Solver for Bilinear Model Predictive Control

abstract: Nonlinear model predictive control has been widely adopted to manipulate bilinear systems with dynamics that include products of the inputs and the states. These systems are ubiquitous in chemical processes, mechanical systems, and quantum physics, to name a few. Running a bilinear MPC controller in real time requires solving a non-convex optimization problem within a limited sampling time. This paper proposes a novel parallel proximal-point Lagrangian based bilinear MPC solver via an interlacing horizon-splitting scheme. The resulting algorithm converts the non-convex MPC control problem into a set of parallelizable small-scale multi-parametric quadratic programs (mpQPs) and an equality-constrained linear-quadratic regulator problem. As a result, the solutions of mpQPs can be pre-computed offline to enable efficient online computation. The proposed algorithm is validated on a simulation of an HVAC system control. It is deployed on a TI LaunchPad XL F28379D microcontroller to execute speed control on a field-controlled DC motor, where the MPC updates at 10 ms and solves the problem in 1.764 ms on average and at most 2.088 ms.


title: Behavior of Kreiss bounded $C_0$-semigroups on a Hilbert space

abstract: Let $0<\alpha \leq 1$. We prove that a $\alpha$-Kreiss bounded $C_0$ semigroup $(T_t)_{t \ge 0}$ on a Hilbert space has asymptotics $||T_t|| = O\big(t^{\alpha}/\sqrt{log(t)}\big)$. Then, we give an application to perturbed wave equation.


title: Logarithmic Corrections, Entanglement Entropy, and UV Cutoffs in de Sitter Spacetime

abstract: It has been argued that the entropy of de Sitter space corresponds to the entanglement between disconnected regions computable by switching on a replica parameter $q$ modeled by the quotient dS$/\mathbb{Z}_q$. Within this framework, we show that the centrally-extended asymptotic symmetry algebra near the cosmic horizon is a single copy of the Virasoro algebra. The resulting density of states matches the semi-classical result of Gibbons and Hawking up to an undetermined constant that is chosen to reproduce the entanglement entropy previously found in the literature. It follows that the logarithmic quantum corrections to the Cardy entropy reproduces the known one-loop result computed in the bulk in the presence of a cutoff. The resulting entanglement entropy follows the divergent area law, where the UV cutoff is now a function of the replica parameter. Thus, as the near-horizon CFT fixes the cutoff in units of the Planck scale, the model can be viewed as a probe into whether the defect Hilbert space has a finite dimension; indeed, the limit $q\to 0$, reproduces Banks' formula. We also study the quantum corrections of the effective description of the horizon entropy by means of Liouville field theory, where the large $q$ limit corresponds to a realization of dS$_3$/CFT$_2$ correspondence matching the logarithmic corrections to three-dimensional de Sitter space obtained by computing the one-loop contribution to the quantum gravity partition function in the round three-sphere.


title: On the stochastic and asymptotic improvement of First-Come First-Served and Nudge scheduling

abstract: Recently it was shown that, contrary to expectations, the First-Come-First-Served (FCFS) scheduling algorithm can be stochastically improved upon by a scheduling algorithm called {\it Nudge} for light-tailed job size distributions. Nudge partitions jobs into 4 types based on their size, say small, medium, large and huge jobs. Nudge operates identical to FCFS, except that whenever a {\it small} job arrives that finds a {\it large} job waiting at the back of the queue, Nudge swaps the small job with the large one unless the large job was already involved in an earlier swap. In this paper, we show that FCFS can be stochastically improved upon under far weaker conditions. We consider a system with $2$ job types and limited swapping between type-$1$ and type-$2$ jobs, but where a type-$1$ job is not necessarily smaller than a type-$2$ job. More specifically, we introduce and study the Nudge-$K$ scheduling algorithm which allows type-$1$ jobs to be swapped with up to $K$ type-$2$ jobs waiting at the back of the queue, while type-$2$ jobs can be involved in at most one swap. We present an explicit expression for the response time distribution under Nudge-$K$ when both job types follow a phase-type distribution. Regarding the asymptotic tail improvement ratio (ATIR) , we derive a simple expression for the ATIR, as well as for the $K$ that maximizes the ATIR. We show that the ATIR is positive and the optimal $K$ tends to infinity in heavy traffic as long as the type-$2$ jobs are on average longer than the type-$1$ jobs.


title: Plug and Play Counterfactual Text Generation for Model Robustness

abstract: Generating counterfactual test-cases is an important backbone for testing NLP models and making them as robust and reliable as traditional software. In generating the test-cases, a desired property is the ability to control the test-case generation in a flexible manner to test for a large variety of failure cases and to explain and repair them in a targeted manner. In this direction, significant progress has been made in the prior works by manually writing rules for generating controlled counterfactuals. However, this approach requires heavy manual supervision and lacks the flexibility to easily introduce new controls. Motivated by the impressive flexibility of the plug-and-play approach of PPLM, we propose bringing the framework of plug-and-play to counterfactual test case generation task. We introduce CASPer, a plug-and-play counterfactual generation framework to generate test cases that satisfy goal attributes on demand. Our plug-and-play model can steer the test case generation process given any attribute model without requiring attribute-specific training of the model. In experiments, we show that CASPer effectively generates counterfactual text that follow the steering provided by an attribute model while also being fluent, diverse and preserving the original content. We also show that the generated counterfactuals from CASPer can be used for augmenting the training data and thereby fixing and making the test model more robust.


title: Automatic Pull Request Title Generation

abstract: Pull Requests (PRs) are a mechanism on modern collaborative coding platforms, such as GitHub. PRs allow developers to tell others that their code changes are available for merging into another branch in a repository. A PR needs to be reviewed and approved by the core team of the repository before the changes are merged into the branch. Usually, reviewers need to identify a PR that is in line with their interests before providing a review. By default, PRs are arranged in a list view that shows the titles of PRs. Therefore, it is desirable to have a precise and concise title, which is beneficial for both reviewers and other developers. However, it is often the case that developers do not provide good titles; we find that many existing PR titles are either inappropriate in length (i.e., too short or too long) or fail to convey useful information, which may result in PR being ignored or rejected. Therefore, there is a need for automatic techniques to help developers draft high-quality titles. In this paper, we introduce the task of automatic generation of PR titles. We formulate the task as a one-sentence summarization task. To facilitate the research on this task, we construct a dataset that consists of 43,816 PRs from 495 GitHub repositories. We evaluated the state-of-the-art summarization approaches for the automatic PR title generation task. We leverage ROUGE metrics to automatically evaluate the summarization approaches and conduct a manual evaluation. The experimental results indicate that BART is the best technique for generating satisfactory PR titles with ROUGE-1, ROUGE-2, and ROUGE-L F1-scores of 47.22, 25.27, and 43.12, respectively. The manual evaluation also shows that the titles generated by BART are preferred.


title: Quantum Computing Quantum Monte Carlo

abstract: Quantum computing and quantum Monte Carlo (QMC) are respectively the state-of-the-art quantum and classical computing methods for understanding many-body quantum systems. Here, we propose a hybrid quantum-classical algorithm that integrates these two methods, inheriting their distinct features in efficient representation and manipulation of quantum states and overcoming their limitations. We first introduce non-stoquasticity indicators (NSIs) and their upper bounds, which measure the sign problem, the most notable limitation of QMC. We show that our algorithm could greatly mitigate the sign problem, which decreases NSIs with the assistance of quantum computing. Meanwhile, the use of quantum Monte Carlo also increases the expressivity of shallow quantum circuits, allowing more accurate computation that is conventionally achievable only with much deeper circuits. We numerically test and verify the method for the N$_2$ molecule (12 qubits) and the Hubbard model (16 qubits). Our work paves the way to solving practical problems with intermediate-scale and early-fault tolerant quantum computers, with potential applications in chemistry, condensed matter physics, materials, high energy physics, etc.


title: Signed clasp numbers and four-genus bounds

abstract: There exist knots having positive and negative four-dimensional clasp numbers zero but having four-genus, and hence clasp number, arbitrarily large. Such examples were first constructed by Allison Miller, answering a question of Juhasz-Zemke. Further examples are constructed here, complementing those of Miller in that they include examples that are of infinite order in concordance.


title: In-plane hyperbolic polariton tuners in terahertz and long-wave infrared regimes

abstract: Development of terahertz (THz) and long-wave infrared (LWIR) technologies is mainly bottlenecked by the limited intrinsic response of traditional materials. Hyperbolic phonon polaritons (HPhPs) of van der Waals semiconductors couple strongly with THz and LWIR radiation. However, the mismatch of photon-polariton momentum makes far-field excitation of HPhPs challenging. Here, we propose an In-Plane Hyperbolic Polariton Tuner that is based on patterning van der Waals semiconductors, here {\alpha}-MoO3, into ribbon arrays. We demonstrate that such tuners respond directly to far-field excitation and give rise to LWIR and THz resonances with high quality factors up to 300, which are strongly dependent on in-plane hyperbolic polariton of the patterned {\alpha}-MoO3. We further show that with this tuner, intensity regulation of reflected and transmitted electromagnetic waves, as well as their wavelength and polarization selection can be achieved. This is important to development of THz and LWIR miniaturized devices.


title: Model Joins: Enabling Analytics Over Joins of Absent Big Tables

abstract: This work is motivated by two key facts. First, it is highly desirable to be able to learn and perform knowledge discovery and analytics (LKD) tasks without the need to access raw-data tables. This may be due to organizations finding it increasingly frustrating and costly to manage and maintain ever-growing tables, or for privacy reasons. Hence, compact models can be developed from the raw data and used instead of the tables. Second, oftentimes, LKD tasks are to be performed on a (potentially very large) table which is itself the result of joining separate (potentially very large) relational tables. But how can one do this, when the individual to-be-joined tables are absent? Here, we pose the following fundamental questions: Q1: How can one "join models" of (absent/deleted) tables or "join models with other tables" in a way that enables LKD as if it were performed on the join of the actual raw tables? Q2: What are appropriate models to use per table? Q3: As the model join would be an approximation of the actual data join, how can one evaluate the quality of the model join result? This work puts forth a framework, Model Join, addressing these challenges. The framework integrates and joins the per-table models of the absent tables and generates a uniform and independent sample that is a high-quality approximation of a uniform and independent sample of the actual raw-data join. The approximation stems from the models, but not from the Model Join framework. The sample obtained by the Model Join can be used to perform LKD downstream tasks, such as approximate query processing, classification, clustering, regression, association rule mining, visualization, and so on. To our knowledge, this is the first work with this agenda and solutions. Detailed experiments with TPC-DS data and synthetic data showcase Model Join's usefulness.


title: Graphical Join: A New Physical Join Algorithm for RDBMSs

abstract: Join operations (especially n-way, many-to-many joins) are known to be time- and resource-consuming. At large scales, with respect to table and join-result sizes, current state of the art approaches (including both binary-join plans which use Nested-loop/Hash/Sort-merge Join algorithms or, alternatively, worst-case optimal join algorithms (WOJAs)), may even fail to produce any answer given reasonable resource and time constraints. In this work, we introduce a new approach for n-way equi-join processing, the Graphical Join (GJ). The key idea is two-fold: First, to map the physical join computation problem to PGMs and introduce tweaked inference algorithms which can compute a Run-Length Encoding (RLE) based join-result summary, entailing all statistics necessary to materialize the join result. Second, and most importantly, to show that a join algorithm, like GJ, which produces the above join-result summary and then desummarizes it, can introduce large performance benefits in time and space. Comprehensive experimentation is undertaken with join queries from the JOB, TPCDS, and lastFM datasets, comparing GJ against PostgresQL and MonetDB and a state of the art WOJA implemented within the Umbra system. The results for in-memory join computation show performance improvements up to 64X, 388X, and 6X faster than PostgreSQL, MonetDB and Umbra, respectively. For on-disk join computation, GJ is faster than PostgreSQL, MonetDB and Umbra by up to 820X, 717X and 165X, respectively. Furthermore, GJ space needs are up to 21,488X, 38,333X, and 78,750X smaller than PostgresQL, MonetDB, and Umbra, respectively.


title: Transformer-Based Multi-modal Proposal and Re-Rank for Wikipedia Image-Caption Matching

abstract: With the increased accessibility of web and online encyclopedias, the amount of data to manage is constantly increasing. In Wikipedia, for example, there are millions of pages written in multiple languages. These pages contain images that often lack the textual context, remaining conceptually floating and therefore harder to find and manage. In this work, we present the system we designed for participating in the Wikipedia Image-Caption Matching challenge on Kaggle, whose objective is to use data associated with images (URLs and visual data) to find the correct caption among a large pool of available ones. A system able to perform this task would improve the accessibility and completeness of multimedia content on large online encyclopedias. Specifically, we propose a cascade of two models, both powered by the recent Transformer model, able to efficiently and effectively infer a relevance score between the query image data and the captions. We verify through extensive experimentation that the proposed two-model approach is an effective way to handle a large pool of images and captions while maintaining bounded the overall computational complexity at inference time. Our approach achieves remarkable results, obtaining a normalized Discounted Cumulative Gain (nDCG) value of 0.53 on the private leaderboard of the Kaggle challenge.


title: Efficiency Requires Adaptation

abstract: The majority of historical designs are a priori in nature, where a priori indicates a design can be specified in advance of the experiment. The conventional wisdom is that the set of a priori designs is sufficient to produce efficient experiments. This work challenges this convention and finds that efficiency requires data dependent strategies. Specifically, in the context of a sequential experiment, where observations are accrued in a series of runs, an adaptive design is proposed that is guaranteed to be more efficient than any corresponding a priori design.


title: Stability of Einstein metrics and effective hyperbolization in large Hempel distance

abstract: Extending earlier work of Tian, we show that if a manifold admits a metric that is almost hyperbolic in a suitable sense, then there exists an Einstein metric that is close to the given metric in the $C^{2,\alpha}$-topology. In dimension $3$ the original manifold only needs to have finite volume, and the volume can be arbitrarily large. Applications include a new proof of the hyperbolization of $3$-manifolds of large Hempel distance yielding some new geometric control on the hyperbolic metric, and an analytic proof of Dehn filling and drilling that allows the filling and drilling of arbitrary many cusps and tubes.


title: Geodesic Property of Greedy Algorithms for Optimization Problems on Jump Systems and Delta-matroids

abstract: The concept of jump system, introduced by Bouchet and Cunningham (1995), is a set of integer points satisfying a certain exchange property. We consider the minimization of a separable convex function on a jump system. It is known that the problem can be solved by a greedy algorithm. In this paper, we are interested in whether the greedy algorithm has the geodesic property, which means that the trajectory of solution generated by the algorithm is a geodesic from the initial solution to a nearest optimal solution. We show that a special implementation of the greedy algorithm enjoys the geodesic property, while the original algorithm does not. As a corollary to this, we present a new greedy algorithm for linear optimization on a delta-matroid and show that the algorithm has the geodesic property.


title: A lexicographically optimal completion for pairwise comparison matrices with missing entries

abstract: Estimating missing judgements is a key component in many multi-criteria decision making techniques, especially in the Analytic Hierarchy Process. Inspired by the Koczkodaj inconsistency index and a widely used solution concept of cooperative game theory called the nucleolus, the current study proposes a new algorithm for this purpose. In particular, the missing values are substituted by variables, and the inconsistency of the most inconsistent triad is reduced first, followed by the inconsistency of the second most inconsistent triad, and so on. The necessary and sufficient condition for the uniqueness of the suggested lexicographically optimal completion is proved to be a simple graph-theoretic notion: the undirected graph associated with the pairwise comparisons, where the edges represent the known elements, should be connected. Crucially, our method does not depend on an arbitrarily chosen measure of inconsistency as there exists essentially one reasonable triad inconsistency index.


title: The role of highly vibrationally excited H2 initiating the N chemistry: Quantum study and 3-sigma detection of NH emission in the Orion Bar PDR

abstract: The formation of hydrides by gas-phase reactions between H2 and a heavy element atom is a very selective process. Reactions with ground-state neutral carbon, oxygen, nitrogen, and sulfur atoms are very endoergic and have high energy barriers because the H2 molecule has to be fragmented before a hydride bond is formed. In cold interstellar clouds, these barriers exclude the formation of CH, OH, NH, and SH radicals through hydrogen abstraction reactions. Here we study a very energetically unfavorable process, the reaction of N(4S) atoms with H2 molecules. We calculated the reaction rate coefficient for H2 in different vibrational levels, using quantum methods for v=0-7 and quasi-classical methods up to v=12. Owing to the high energy barrier, these rate coefficients increase with v and also with the gas temperature. We implemented the new rates in the Meudon PDR code and studied their effect on models with different ultraviolet (UV) illumination conditions. In strongly UV-irradiated dense gas (Orion Bar conditions), the presence of H2 in highly vibrationally excited levels (v>7) enhances the NH abundance by two orders of magnitude (at the PDR surface) compared to models that use the thermal rate coefficient for reaction N(4S) + H2 -> NH + H. The increase in NH column density across the PDR is a factor of ~25. We explore existing Herschel/HIFI observations of the Orion Bar and Horsehead PDRs. We report a 3-sigma emission feature at the ~974 GHz frequency of the NH N_J=1_2-0_1 line toward the Bar. The emission level implies N(NH)~10^13 cm^-2, which is consistent with PDR models using the new rate coefficients for reactions between N and UV-pumped H2. This formation route dominates over hydrogenation reactions involving the less abundant N+ ion. JWST observations will soon quantify the amount and reactivity of UV-pumped H2 in many interstellar and circumstellar environments.


title: Robust Task Representations for Offline Meta-Reinforcement Learning via Contrastive Learning

abstract: We study offline meta-reinforcement learning, a practical reinforcement learning paradigm that learns from offline data to adapt to new tasks. The distribution of offline data is determined jointly by the behavior policy and the task. Existing offline meta-reinforcement learning algorithms cannot distinguish these factors, making task representations unstable to the change of behavior policies. To address this problem, we propose a contrastive learning framework for task representations that are robust to the distribution mismatch of behavior policies in training and test. We design a bi-level encoder structure, use mutual information maximization to formalize task representation learning, derive a contrastive learning objective, and introduce several approaches to approximate the true distribution of negative pairs. Experiments on a variety of offline meta-reinforcement learning benchmarks demonstrate the advantages of our method over prior methods, especially on the generalization to out-of-distribution behavior policies. The code is available at https://github.com/PKU-AI-Edge/CORRO.


title: Optimal rate-limited secret key generation from Gaussian sources using lattices

abstract: We propose a lattice-based scheme for secret key generation from Gaussian sources in the presence of an eavesdropper, and show that it achieves the strong secret key capacity in the case of degraded source models, as well as the optimal secret key / public communication rate trade-off. The key ingredients of our scheme are the use of the modulo lattice operation to extract the channel intrinsic randomness, based on the notion of flatness factor, together with a randomized lattice quantization technique to quantize the continuous source. Compared to previous works, we introduce two new notions of flatness factor based on $L^1$ distance and KL divergence, respectively, which might be of independent interest. We prove the existence of secrecy-good lattices under $L^1$ distance and KL divergence, whose $L^1$ and KL flatness factors vanish for volume-to-noise ratios up to $2\pi e$. This improves upon the volume-to-noise ratio threshold $2\pi$ of the $L^{\infty}$ flatness factor.


title: Solving linear systems of the form $(A + \gamma UU^T)\, {\bf x} = {\bf b}$ by preconditioned iterative methods

abstract: We consider the iterative solution of large linear systems of equations in which the coefficient matrix is the sum of two terms, a sparse matrix $A$ and a possibly dense, rank deficient matrix of the form $\gamma UU^T$, where $\gamma > 0$ is a parameter which in some applications may be taken to be 1. The matrix $A$ itself can be singular, but we assume that the symmetric part of $A$ is positive semidefinite and that $A+\gamma UU^T$ is nonsingular. Linear systems of this form arise frequently in fields like optimization, fluid mechanics, computational statistics, and others. We investigate preconditioning strategies based on an alternating splitting approach combined with the use of the Sherman-Morrison-Woodbury matrix identity. The potential of the proposed approach is demonstrated by means of numerical experiments on linear systems from different application areas.


title: What does it take to solve the measurement problem?

abstract: We summarise different aspects of the measurement problem in quantum mechanics. We argue that it is a real problem which requires a solution, and identify the properties a theory needs to solve the problem. We show that no current interpretation of quantum mechanics solves the problem, and that, being interpretations rather than extensions of quantum mechanics, they cannot solve it. Finally, we speculate what a solution of the measurement problem might be good for.


title: Deep dive into Interledger: Understanding the Interledger ecosystem

abstract: At the technical level, the goal of Interledger is to provide an architecture and a minimal set of protocols to enable interoperability between any value transfer systems. The Interledger protocol is a protocol for inter-blockchain payments which can also accommodate FIAT currencies. To understand how it is possible to achieve this goal, several aspects of the technology require a deeper analysis. For this reason, in our journey to become knowledgeable and active contributors we decided to create our own test-bed on our premises. By doing so, we noticed that some aspects are well documented but we found that others might need more attention and clarification. Despite a large community effort, the task to keep information on a fast evolving software ecosystem up-to-date is tedious and not always the main priority for such a project. The purpose of this tutorial is to guide, through several examples and hands-on activities, community members who want to engage at different levels. The tutorial consolidates all the relevant information from generating a simple payment to ultimately creating a test-bed with the Interledger protocol suite between Ripple and other distributed ledger technologies.


title: Depth-based clustering analysis of directional data

abstract: A new depth-based clustering procedure for directional data is proposed. Such method is fully non-parametric and has the advantages to be flexible and applicable even in high dimensions when a suitable notion of depth is adopted. The introduced technique is evaluated through an extensive simulation study. In addition, a real data example in text mining is given to explain its effectiveness in comparison with other existing directional clustering algorithms.


title: Finite Temperature Effects on the X-ray Absorption Spectra of Crystalline Aluminas from First Principles

abstract: By including phonon-assisted transitions within plane-wave DFT methods for calculating the X-ray absorption spectrum (XAS) we obtain the Al K-edge XAS at 300 K for two Al$_2$O$_3$ phases. The 300 K XAS reproduces the pre-edge peak for $\alpha$-Al$_2$O$_3$, which is not visible at the static-lattice level of approximation. The 300 K XAS for $\gamma$-Al$_2$O$_3$ correctly describes two out of the three experimental peaks. We show that the second peak arises from 1s to mixed $s$-$p$ transitions and is absent in the 0 K XAS. This letter serves as a basis for future applications, as the method is generalizable to any atom and edge.


title: Separating the impact of nuclear skin and nuclear deformation in high-energy isobar collisions

abstract: Bulk nuclear structure properties, such as radii and deformations, leave distinct signatures in the final state of relativistic heavy-ion collisions. Isobaric collisions offer an easy route to establish explicit connections between the colliding nuclei's structure and the observable outcomes. Here, we investigate the effects of nuclear skin thickness and nuclear deformations on the elliptic flow ($v_2$) and its fluctuations in high-energy $^{96}$Ru+$^{96}$Ru and $^{96}$Zr+$^{96}$Zr collisions. Our findings reveal that the difference in skin thickness between these isobars only influences the inherent ellipticity of the collision systems, $v_2^{\mathrm{rp}}$. In contrast, differences in nuclear deformations solely impact the fluctuations of $v_2$ around $v_2^{\mathrm{rp}}$. Hence, we have identified a data-driven method to disentangle the effects of nuclear skin and nuclear deformations, marking a significant step toward assessing the consistency of nuclear phenomena across energy scales.


title: Observation of the diocotron instability in a diode with split cathode

abstract: Diocotron instability has been observed in the pure electron plasma formed in a split cathode coaxial diode. This plasma consists of electrons, trapped in the longitudinal potential well between the two parts of the cathode. The mathematical model of the electron squeezed state, which allows calculation of the equilibrium plasma density, is presented. The model is applied in a comprehensive analysis of experimental data and the presence of the diocotron instability is unambiguously confirmed.


title: Winning the Lottery Ahead of Time: Efficient Early Network Pruning

abstract: Pruning, the task of sparsifying deep neural networks, received increasing attention recently. Although state-of-the-art pruning methods extract highly sparse models, they neglect two main challenges: (1) the process of finding these sparse models is often very expensive; (2) unstructured pruning does not provide benefits in terms of GPU memory, training time, or carbon emissions. We propose Early Compression via Gradient Flow Preservation (EarlyCroP), which efficiently extracts state-of-the-art sparse models before or early in training addressing challenge (1), and can be applied in a structured manner addressing challenge (2). This enables us to train sparse networks on commodity GPUs whose dense versions would be too large, thereby saving costs and reducing hardware requirements. We empirically show that EarlyCroP outperforms a rich set of baselines for many tasks (incl. classification, regression) and domains (incl. computer vision, natural language processing, and reinforcment learning). EarlyCroP leads to accuracy comparable to dense training while outperforming pruning baselines.


title: Shifted Compression Framework: Generalizations and Improvements

abstract: Communication is one of the key bottlenecks in the distributed training of large-scale machine learning models, and lossy compression of exchanged information, such as stochastic gradients or models, is one of the most effective instruments to alleviate this issue. Among the most studied compression techniques is the class of unbiased compression operators with variance bounded by a multiple of the square norm of the vector we wish to compress. By design, this variance may remain high, and only diminishes if the input vector approaches zero. However, unless the model being trained is overparameterized, there is no a-priori reason for the vectors we wish to compress to approach zero during the iterations of classical methods such as distributed compressed {\sf SGD}, which has adverse effects on the convergence speed. Due to this issue, several more elaborate and seemingly very different algorithms have been proposed recently, with the goal of circumventing this issue. These methods are based on the idea of compressing the {\em difference} between the vector we would normally wish to compress and some auxiliary vector which changes throughout the iterative process. In this work we take a step back, and develop a unified framework for studying such methods, conceptually, and theoretically. Our framework incorporates methods compressing both gradients and models, using unbiased and biased compressors, and sheds light on the construction of the auxiliary vectors. Furthermore, our general framework can lead to the improvement of several existing algorithms, and can produce new algorithms. Finally, we performed several numerical experiments which illustrate and support our theoretical findings.


title: Using modified intention-to-treat as a principal stratum estimator for failure to initiate treatment

abstract: Background: A common intercurrent event affecting many trials is when some participants do not begin their assigned treatment. Many trials use a modified intention-to-treat (mITT) approach, whereby participants who do not initiate treatment are excluded from the analysis. However, it is not clear the estimand being targeted by such an approach or the assumptions necessary for it to be unbiased. Methods: We demonstrate that a mITT analysis which excludes participants who do not begin treatment is estimating a principal stratum estimand (i.e. the treatment effect in the subpopulation of participants who would begin treatment, regardless of which arm they were assigned to). The mITT estimator is unbiased for the principal stratum estimand under the assumption that the intercurrent event is not affected by the assigned treatment arm, that is, participants who initiate treatment in one arm would also do so in the other arm. Results: We identify two key criteria in determining whether the mITT estimator is likely to be unbiased: first, we must be able to measure the participants in each treatment arm who experience the intercurrent event, and second, the assumption that treatment allocation will not affect whether the participant begins treatment must be reasonable. Most double-blind trials will satisfy these criteria, and we provide an example of an open-label trial where these criteria are likely to be satisfied as well. Conclusions: A modified intention-to-treat analysis which excludes participants who do not begin treatment can be an unbiased estimator for the principal stratum estimand. Our framework can help identify when the assumptions for unbiasedness are likely to hold, and thus whether modified intention-to-treat is appropriate or not.


title: Driving Digital Engineering Integration and Interoperability Through Semantic Integration of Models with Ontologies

abstract: Engineered solutions are becoming more complex and multi-disciplinary in nature. This evolution requires new techniques to enhance design and analysis tasks that incorporate data integration and interoperability across various engineering tool suites spanning multiple domains at different abstraction levels. Semantic Web Technologies (SWT) offer data integration and interoperability benefits as well as other opportunities to enhance reasoning across knowledge represented in multiple disparate models. This paper introduces the Digital Engineering Framework for Integration and Interoperability (DEFII) for incorporating SWT into engineering design and analysis tasks. The framework includes three notional interfaces for interacting with ontology-aligned data. It also introduces a novel Model Interface Specification Diagram (MISD) that provides a tool-agnostic model representation enabled by SWT that exposes data stored for use by external users through standards-based interfaces. Use of the framework results in a tool-agnostic authoritative source of truth spanning the entire project, system, or mission.


title: Automated Coronary Calcium Scoring using U-Net Models through Semi-supervised Learning on Non-Gated CT Scans

abstract: Every year, thousands of innocent people die due to heart attacks. Often undiagnosed heart attacks can hit people by surprise since many current medical plans don't cover the costs to require the searching of calcification on these scans. Only if someone is suspected to have a heart problem, a gated CT scan is taken, otherwise, there's no way for the patient to be aware of a possible heart attack/disease. While nongated CT scans are more periodically taken, it is harder to detect calcification and is usually taken for a purpose other than locating calcification in arteries. In fact, in real time coronary artery calcification scores are only calculated on gated CT scans, not nongated CT scans. After training a unet model on the Coronary Calcium and chest CT's gated scans, it received a DICE coefficient of 0.95 on its untouched test set. This model was used to predict on nongated CT scans, performing with a mean absolute error (MAE) of 674.19 and bucket classification accuracy of 41% (5 classes). Through the analysis of the images and the information stored in the images, mathematical equations were derived and used to automatically crop the images around the location of the heart. By performing semi-supervised learning the new cropped nongated scans were able to closely resemble gated CT scans, improving the performance by 91% in MAE (62.38) and 23% in accuracy.


abstract: We define the notions of B_n-generalized pseudo-Hermitian and B_n-generalized pseudo-Kahler structures on an odd exact Courant algebroid E. When E is in the standard form (or of type B_n) we express these notions in terms of classical tensor fields on the base of E. This is analogous to the bi-Hermitian viewpoint on generalized Kahler structures on exact Courant algebroids. We describe left-invariant B_n-generalized pseudo-Kahler structures on Courant algebroids of type B_n over Lie groups of dimension two, three and four.


title: Domain Adaptive 3D Pose Augmentation for In-the-wild Human Mesh Recovery

abstract: The ability to perceive 3D human bodies from a single image has a multitude of applications ranging from entertainment and robotics to neuroscience and healthcare. A fundamental challenge in human mesh recovery is in collecting the ground truth 3D mesh targets required for training, which requires burdensome motion capturing systems and is often limited to indoor laboratories. As a result, while progress is made on benchmark datasets collected in these restrictive settings, models fail to generalize to real-world "in-the-wild" scenarios due to distribution shifts. We propose Domain Adaptive 3D Pose Augmentation (DAPA), a data augmentation method that enhances the model's generalization ability in in-the-wild scenarios. DAPA combines the strength of methods based on synthetic datasets by getting direct supervision from the synthesized meshes, and domain adaptation methods by using ground truth 2D keypoints from the target dataset. We show quantitatively that finetuning with DAPA effectively improves results on benchmarks 3DPW and AGORA. We further demonstrate the utility of DAPA on a challenging dataset curated from videos of real-world parent-child interaction.


title: Primordial non-Gaussianity and non-Gaussian Covariance

abstract: In the pursuit of primordial non-Gaussianities, we hope to access smaller scales across larger comoving volumes. At low redshift, the search for primordial non-Gaussianities is hindered by gravitational collapse, to which we often associate a scale $k_{\rm NL}$. Beyond these scales, it will be hard to reconstruct the modes sensitive to the primordial distribution. When forecasting future constraints on the amplitude of primordial non-Gaussianity, $f_{\rm NL}$, off-diagonal components are usually neglected in the covariance because these are small compared to the diagonal. We show that the induced non-Gaussian off-diagonal components in the covariance degrade forecast constraints on primordial non-Gaussianity, even when all modes are well within what is usually considered the linear regime. As a testing ground, we examine the effects of these off-diagonal components on the constraining power of the matter bispectrum on $f_{\rm NL}$ as a function of $k_{\rm max}$ and redshift, confirming our results against N-body simulations out to redshift $z=10$. We then consider these effects on the hydrogen bispectrum as observed from a PUMA-like 21-cm intensity mapping survey at redshifts $2<z<6$ and show that not including off-diagonal covariance over-predicts the constraining power on $f_{\rm NL}$ by up to a factor of $5$. For future surveys targeting even higher redshifts, such as Cosmic Dawn and the Dark Ages, which are considered ultimate surveys for primordial non-Gaussianity, we predict that non-Gaussian covariance would severely limit prospects to constrain $f_{\rm NL}$ from the bispectrum.


title: Device for measuring the plant physiology and electrophysiology

abstract: This paper briefly describes the device - the phytosensor - for measuring physiological and electrophysiological parameters of plants. This system is developed as a bio-physiological sensor in precise agriculture, as a tool in plant research and environmental biology, and for plant enthusiasts in smart home or entertainment applications. The phytosentor measures main physiological parameters such as the leaf transpiration rate, sap flow, tissue conductivity and frequency response, biopotentials (action potentials and variation potentials), and can conduct electrochemical impedance spectroscopy with organic tissues. Soil moisture and temperature, air quality (CO2, NO2, O3 and other sensors on I2C bus), and general environmental parameters (light, temperature, humidity, air pressure, electromagnetic and magnetic fields) are also recorded in real time. In addition to phytosensing, the device can also perform phytoactuation, i.e. execute electrical or light stimulation of plants, control irrigation and lighting modes, conduct fully autonomous experiments with complex feedback-based and adaptive scenarios in robotic or biohybrid systems. This article represents the revised and extended version of original paper and includes some descriptions and images from the FloraRobotica and BioHybrids projects.


title: Recursive computation of Feynman periods

abstract: Feynman periods are Feynman integrals that do not depend on external kinematics. Their computation, which is necessary for many applications of quantum field theory, is greatly facilitated by graphical functions or the equivalent conformal four-point integrals. We describe a set of transformation rules that act on such functions and allow their recursive computation in arbitrary even dimensions. As a concrete example we compute all subdivergence-free Feynman periods in $\phi^3$ theory up to six loops and 561 of 607 Feynman periods at seven loops. Our results support the conjectured existence of a coaction structure in quantum field theory and suggest that $\phi^3$ and $\phi^4$ theory share the same number content.


title: An Automatic and Efficient BERT Pruning for Edge AI Systems

abstract: With the yearning for deep learning democratization, there are increasing demands to implement Transformer-based natural language processing (NLP) models on resource-constrained devices for low-latency and high accuracy. Existing BERT pruning methods require domain experts to heuristically handcraft hyperparameters to strike a balance among model size, latency, and accuracy. In this work, we propose AE-BERT, an automatic and efficient BERT pruning framework with efficient evaluation to select a "good" sub-network candidate (with high accuracy) given the overall pruning ratio constraints. Our proposed method requires no human experts experience and achieves a better accuracy performance on many NLP tasks. Our experimental results on General Language Understanding Evaluation (GLUE) benchmark show that AE-BERT outperforms the state-of-the-art (SOTA) hand-crafted pruning methods on BERT$_{\mathrm{BASE}}$. On QNLI and RTE, we obtain 75\% and 42.8\% more overall pruning ratio while achieving higher accuracy. On MRPC, we obtain a 4.6 higher score than the SOTA at the same overall pruning ratio of 0.5. On STS-B, we can achieve a 40\% higher pruning ratio with a very small loss in Spearman correlation compared to SOTA hand-crafted pruning methods. Experimental results also show that after model compression, the inference time of a single BERT$_{\mathrm{BASE}}$ encoder on Xilinx Alveo U200 FPGA board has a 1.83$\times$ speedup compared to Intel(R) Xeon(R) Gold 5218 (2.30GHz) CPU, which shows the reasonableness of deploying the proposed method generated subnets of BERT$_{\mathrm{BASE}}$ model on computation restricted devices.


title: The Digital Twin Landscape at the Crossroads of Predictive Maintenance, Machine Learning and Physics Based Modeling

abstract: The concept of a digital twin has exploded in popularity over the past decade, yet confusion around its plurality of definitions, its novelty as a new technology, and its practical applicability still exists, all despite numerous reviews, surveys, and press releases. The history of the term digital twin is explored, as well as its initial context in the fields of product life cycle management, asset maintenance, and equipment fleet management, operations, and planning. A definition for a minimally viable framework to utilize a digital twin is also provided based on seven essential elements. A brief tour through DT applications and industries where DT methods are employed is also outlined. The application of a digital twin framework is highlighted in the field of predictive maintenance, and its extensions utilizing machine learning and physics based modeling. Employing the combination of machine learning and physics based modeling to form hybrid digital twin frameworks, may synergistically alleviate the shortcomings of each method when used in isolation. Key challenges of implementing digital twin models in practice are additionally discussed. As digital twin technology experiences rapid growth and as it matures, its great promise to substantially enhance tools and solutions for intelligent upkeep of complex equipment, are expected to materialize.


title: Hydration Dynamics and IR Spectroscopy of 4-Fluorophenol

abstract: Halogenated groups are relevant in pharmaceutical applications and potentially useful spectroscopic probes for infrared spectroscopy. In this work, the structural dynamics and infrared spectroscopy of $para$-fluorophenol (F-PhOH) and phenol (PhOH) is investigated in the gas phase and in water using a combination of experiment and molecular dynamics (MD) simulations. The gas phase and solvent dynamics around F-PhOH and PhOH is characterized from atomistic simulations using empirical energy functions with point charges or multipoles for the electrostatics, Machine-Learning (ML) based parametrization and with full $\textit{ab initio}$ (QM) and mixed Quantum Mechanical/Molecular Mechanics (QM/MM) simulations with a particular focus on the CF- and OH-stretch region. The CF-stretch band is heavily mixed with other modes whereas the OH-stretch in solution displays a characteristic high-frequency peak around 3600 cm$^{-1}$ most likely associated with the -OH group of PhOH and F-PhOH together with a characteristic progression below 3000 cm$^{-1}$ due to coupling with water modes which is also reproduced by several of the simulations. Solvent and radial distribution functions indicate that the CF-site is largely hydrophobic except for simulations using point charges which renders them unsuited for correctly describing hydration and dynamics around fluorinated sites.


title: Hybridization of evolutionary algorithm and deep reinforcement learning for multi-objective orienteering optimization

abstract: Multi-objective orienteering problems (MO-OPs) are classical multi-objective routing problems and have received a lot of attention in the past decades. This study seeks to solve MO-OPs through a problem-decomposition framework, that is, a MO-OP is decomposed into a multi-objective knapsack problem (MOKP) and a travelling salesman problem (TSP). The MOKP and TSP are then solved by a multi-objective evolutionary algorithm (MOEA) and a deep reinforcement learning (DRL) method, respectively. While the MOEA module is for selecting cities, the DRL module is for planning a Hamiltonian path for these cities. An iterative use of these two modules drives the population towards the Pareto front of MO-OPs. The effectiveness of the proposed method is compared against NSGA-II and NSGA-III on various types of MO-OP instances. Experimental results show that our method exhibits the best performance on almost all the test instances, and has shown strong generalization ability.


title: An Overview of Privacy-enhancing Technologies in Biometric Recognition

abstract: Privacy-enhancing technologies are technologies that implement fundamental data protection principles. With respect to biometric recognition, different types of privacy-enhancing technologies have been introduced for protecting stored biometric data which are generally classified as sensitive. In this regard, various taxonomies and conceptual categorizations have been proposed and standardization activities have been carried out. However, these efforts have mainly been devoted to certain sub-categories of privacy-enhancing technologies and therefore lack generalization. This work provides an overview of concepts of privacy-enhancing technologies for biometrics in a unified framework. Key aspects and differences between existing concepts are highlighted in detail at each processing step. Fundamental properties and limitations of existing approaches are discussed and related to data protection techniques and principles. Moreover, scenarios and methods for the assessment of privacy-enhancing technologies for biometrics are presented. This paper is meant as a point of entry to the field of biometric data protection and is directed towards experienced researchers as well as non-experts.


title: Spontaneous breaking of local mirror symmetry in superfluid and in BEC turbulence

abstract: There exist inherent mechanisms of spontaneous breaking of local mirror symmetry (parity) in fluid turbulence. A good example is Kerr's mechanism based on the inviscid vortex interactions. Such interactions can result in the appearance of the local adjacent regions with strong oppositely signed helicity, while the global (net) helicity still remains zero due to the global mirror symmetry. It is shown, using results of direct numerical simulations and laboratory measurements, that the spontaneous breaking of local mirror symmetry can dominate turbulent dynamics in the superfluid helium II and in the Bose-Einstein condensate turbulence. The notion of helical distributed chaos has been used for this purpose.


title: Thermalization in many-fermion quantum systems with one- plus random $k$-body interactions

abstract: We study the mechanism of thermalization in finite many-fermion systems with random $k$-body interactions in presence of a mean-field. The system Hamiltonian $H$, for $m$ fermions in $N$ single particle states with $k$-body interactions, is modeled by mean field one-body $h(1)$ and a random $k$-body interaction $V(k)$ with strength $\lambda$. Following the recent application of $q$-Hermite polynomials to these ensembles, a complete analytical description of parameter $q$, which describes the change in the shape of state density from Gaussian for $q=1$ to semi-circle for $q=0$ and intermediate for $0<q<1$, and variance of the strength function are obtained in terms of model parameters. The latter gives the thermalization marker $\lambda_t$ defining the thermodynamic region. For $\lambda \ge \lambda_t$, the smooth part of the strength functions is very well represented by conditional $q$-normal distribution ($f_{CN}$), which describes the transition in strength functions from Gaussian to semi-circle as the $k$-body interaction changes from $k = 2$ to $m$ in $H$. In the thermodynamic region, ensemble averaged results for the first four moments of the strength functions and inverse participation ratio (IPR) are found to be in good agreement with the corresponding smooth forms. For higher body rank of interaction $k$, system thermalizes faster.


title: Non-uniform heat redistribution among multiple channels in the integer quantum Hall regime

abstract: Heat transport in multiple quantum-Hall edge channels at Landau-level filling factor nu = 2, 4, and 8 is investigated with a quantum point contact as a heat generator and a quantum dot as a local thermometer. Heat distribution among the channels remains highly non-uniform, which can be understood with the plasmon eigenmodes of the multiple channels. The heat transport can be controlled with another quantum point contact as a quantized heat valve, as manifested by stepwise increases of heat current at the thermometer. This encourages developing integrated heat circuits with quantum-Hall edge channels.


title: The Privacy Onion Effect: Memorization is Relative

abstract: Machine learning models trained on private datasets have been shown to leak their private data. While recent work has found that the average data point is rarely leaked, the outlier samples are frequently subject to memorization and, consequently, privacy leakage. We demonstrate and analyse an Onion Effect of memorization: removing the "layer" of outlier points that are most vulnerable to a privacy attack exposes a new layer of previously-safe points to the same attack. We perform several experiments to study this effect, and understand why it occurs. The existence of this effect has various consequences. For example, it suggests that proposals to defend against memorization without training with rigorous privacy guarantees are unlikely to be effective. Further, it suggests that privacy-enhancing technologies such as machine unlearning could actually harm the privacy of other users.


title: Formation of the simplest amide in molecular clouds: formamide (NH$_{2}$CHO) and its derivatives in H$_2$O-rich and CO-rich interstellar ice analogs upon VUV irradiation

abstract: The astronomical detection of formamide (NH$_2$CHO) toward various star-forming regions and in cometary material implies that the simplest amide might have an early origin in dark molecular clouds at low temperatures. Laboratory studies have proven the efficient NH$_2$CHO formation in interstellar CO:NH$_3$ ice analogs upon energetic processing. However, it is still under debate, whether the proposed radical-radical recombination reactions forming complex organic molecules remain valid in an abundant H$_2$O environment. The aim of this work was to investigate the formation of NH$_2$CHO in H$_2$O- and CO-rich ices under conditions prevailing in molecular clouds. Therefore, different ice mixtures composed of H$_2$O:CO:NH$_3$ (10:5:1), CO:NH$_3$ (4:1), and CO:NH$_3$ (0.6:1) were exposed to vacuum ultraviolet photons in an ultra-high vacuum chamber at 10 K. Fourier-transform infrared spectroscopy was utilized to monitor in situ the initial and newly formed species as a function of photon fluence. The infrared spectral identifications are complementarily secured by a temperature-programmed desorption experiment combined with a quadrupole mass spectrometer. The energetic processing of CO:NH$_3$ ice mixtures mainly leads to the NH$_2$CHO formation, along with its chemical derivatives such as isocyanic acid (HNCO) and cyanate ion (OCN$^-$). The formation kinetics of NH$_2$CHO shows an explicit dependency on ice ratios and compositions; the highest yield is found in H$_2$O-rich ice. The astronomical relevance of the resulting reaction network is discussed.


title: Twitter conversations predict the daily confirmed COVID-19 cases

abstract: As of writing this paper, COVID-19 (Coronavirus disease 2019) has spread to more than 220 countries and territories. Following the outbreak, the pandemic's seriousness has made people more active on social media, especially on the microblogging platforms such as Twitter and Weibo. The pandemic-specific discourse has remained on-trend on these platforms for months now. Previous studies have confirmed the contributions of such socially generated conversations towards situational awareness of crisis events. The early forecasts of cases are essential to authorities to estimate the requirements of resources needed to cope with the outgrowths of the virus. Therefore, this study attempts to incorporate the public discourse in the design of forecasting models particularly targeted for the steep-hill region of an ongoing wave. We propose a sentiment-involved topic-based latent variables search methodology for designing forecasting models from publicly available Twitter conversations. As a use case, we implement the proposed methodology on Australian COVID-19 daily cases and Twitter conversations generated within the country. Experimental results: (i) show the presence of latent social media variables that Granger-cause the daily COVID-19 confirmed cases, and (ii) confirm that those variables offer additional prediction capability to forecasting models. Further, the results show that the inclusion of social media variables introduces 48.83--51.38% improvements on RMSE over the baseline models. We also release the large-scale COVID-19 specific geotagged global tweets dataset, MegaGeoCOV, to the public anticipating that the geotagged data of this scale would aid in understanding the conversational dynamics of the pandemic through other spatial and temporal contexts.


title: NorBERT: NetwOrk Representations through BERT for Network Analysis and Management

abstract: Deep neural network models have been very successfully applied to Natural Language Processing (NLP) and Image based tasks. Their application to network analysis and management tasks is just recently being pursued. Our interest is in producing deep models that can be effectively generalized to perform well on multiple network tasks in different environments. A major challenge is that traditional deep models often rely on categorical features, but cannot handle unseen categorical values. One method for dealing with such problems is to learn contextual embeddings for categorical variables used by deep networks to improve their performance. In this paper, we adapt the NLP pre-training technique and associated deep model BERT to learn semantically meaningful numerical representations (embeddings) for Fully Qualified Domain Names (FQDNs) used in communication networks. We show through a series of experiments that such an approach can be used to generate models that maintain their effectiveness when applied to environments other than the one in which they were trained.


title: Securing the Future Internet of Things with Post-Quantum Cryptography

abstract: Traditional and lightweight cryptography primitives and protocols are insecure against quantum attacks. Thus, a real-time application using traditional or lightweight cryptography primitives and protocols does not ensure full-proof security. Post-quantum Cryptography is important for the Internet of Things (IoT) due to its security against Quantum attacks. This paper offers a broad literature analysis of post-quantum cryptography for IoT networks, including the challenges and research directions to adopt in real-time applications. The work draws focus towards post-quantum cryptosystems that are useful for resource-constraint devices. Further, those quantum attacks are surveyed, which may occur over traditional and lightweight cryptographic primitives.