title: Sharpening quasar absorption lines with ESPRESSO: Temperature of warm gas at $z\sim2$, constraints on the Mg isotopic ratio, and structure of cold gas at $z\sim0.5$

abstract: We present a high-resolution (R=140,000) spectrum of the bright quasar HE0001-2340 (z=2.26), obtained with ESPRESSO at the Very Large Telescope. We analyse three systems at z=0.45, z=1.65, and z=2.19 using multiple-component Voigt-profile fitting. We also compare our spectrum with those obtained with VLT/UVES, covering a total period of 17 years. We disentangle turbulent and thermal broadening in many components spread over about 400 km/s in the z~2.19 sub-DLA system. We derive an average temperature of 16000+/-1300 K, i.e., about twice the canonical value of the warm neutral medium in the Galactic interstellar medium. A comparison with other high-z, low-metallicity absorbers reveals an anti-correlation between gas temperature and total HI column density. Although requiring confirmation, this could be the first observational evidence of a thermal decrease with galacto-centric distance, i.e., we may be witnessing a thermal transition between the circum-galactic medium and the cooler ISM. We revisit the Mg isotopic ratios at z=0.45 and z=1.65 and constrain them to be xi = (26Mg+25Mg)/24Mg <0.6 and <1.4 in these two systems, respectively. These values are consistent with the standard Solar ratio, i.e., we do not confirm strong enhancement of heavy isotopes previously inferred from UVES data. Finally, we confirm the partial coverage of the quasar emission-line region by a FeI-bearing cloud in the z=0.45 system and present evidence for velocity sub-structure of the gas that has Doppler parameters of the order of only ~0.3 km/s. This work demonstrates the uniqueness of high-fidelity, high-resolution optical spectrographs on large telescopes as tools to investigate the thermal state of the gas in and around galaxies as well as its spatial and velocity structure on small scales, and to constrain the associated stellar nucleosynthetic history. [abridged]


title: Generalized Spatially Coupled Parallel Concatenated Convolutional Codes With Partial Repetition

abstract: We introduce generalized spatially coupled parallel concatenated codes (GSC-PCCs), a class of spatially coupled turbo-like codes obtained by coupling parallel concatenated codes (PCCs) with a fraction of information bits repeated before the PCC encoding. GSC-PCCs can be seen as a generalization of the original spatially coupled parallel concatenated convolutional codes (SC-PCCs) proposed by Moloudi et al. [1]. To characterize the asymptotic performance of GSC-PCCs, we derive the corresponding density evolution equations and compute their decoding thresholds. We show that the proposed codes have some nice properties such as threshold saturation and that their decoding thresholds improve with the repetition factor $q$. Most notably, our analysis suggests that the proposed codes asymptotically approach the capacity as $q$ tends to infinity with any given constituent convolutional code.


title: Heavy-element Rydberg transition line emission from the post-giant-evolution star HD101584

abstract: We report the detection of two lines at millimetre wavelengths towards the immediate surroundings of the post-giant and most likely post-common-envelope star HD101584 using high-angular-resolution ALMA observations. The circumstellar environment of this object is rich in different molecular species, but we find no viable identifications in terms of molecular lines. We aim to determine whether or not these lines can be attributed to the Rydberg transitions -- X30alpha and X26alpha -- of neutral atoms of elements heavier than carbon. A simple model in strict local thermodynamic equilibrium for a warm-gas environment of the moderate-temperature star (T_eff about 8500 K) was constructed to corroborate our findings. A geometrically thin, disc-like geometry seen face-on was chosen and a distance of 1 kpc. The observed flux densities of the lines and the continuum at 232 and 354 GHz can be reproduced using 10^(-3) M_sun of gas at a temperature of about 2800 K and a hydrogen density of about 10^(12) cm(-3), assuming solar abundances for the elements. The gas lies within a distance of about 5 au from the star (assuming a distance of 1 kpc). The ionisation fraction is low, about 3x10^(-5). The origin of such a region is not clear, but it may be related to a common-envelope-evolution phase. With these conditions, the line emissions are dominated by Rydberg transitions within the stable isotopes of Mg. A turbulent velocity field in the range 5.5 - 7.5 km s^(-1) is required to fit the Gaussian line shapes. An upper limit to the average magnetic field in the line-emitting region of 1G is set using the Zeeman effect in these lines. We speculate that Rydberg transitions of heavy elements may be an interesting probe for the close-in environments of other moderate-temperature objects like AGB stars, red supergiants, yellow hypergiants, and binaries of various types.


title: Analysis of zero inflated dichotomous variables from a Bayesian perspective: Application to occupational health

abstract: This work proposes a new methodology to fit zero inflated Bernoulli data from a Bayesian approach, able to distinguish between two potential sources of zeros (structurals and non-structurals). Its usage is illustrated by means of a real example from the field of occupational health as the phenomenon of sickness presenteeism, in which it is reasonable to think that some individuals will never be at risk of suffering it because they have not been sick in the period of study (structural zeros). Without separating structural and non-structural zeros one would one would be studying jointly the general health status and the presenteeism itself, and therefore obtaining potentially biased estimates as the phenomenon is being implicitly underestimated by diluting it into the general health status. The proposed methodology performance has been evaluated through a comprehensive simulation study, and it has been compiled as an R package freely available to the community.


title: Chase's lemma and its context

abstract: Chase's lemma provides a powerful tool for translating properties of (co)products in abelian categories into chain conditions. This note discusses the context in which the lemma is used, making explicit what is often neglected in the literature because of its technical nature.


abstract: Channel linear Weingarten surfaces in space forms are investigated in a Lie sphere geometric setting, which allows for a uniform treatment of different ambient geometries. We show that any channel linear Weingarten surface in a space form is isothermic and, in particular, a surface of revolution in its ambient space form. We obtain explicit parametrisations for channel surfaces of constant Gauss curvature in space forms, and thereby for a large class of linear Weingarten surfaces up to parallel transformation.


title: Causality-based Counterfactual Explanation for Classification Models

abstract: Counterfactual explanation is one branch of interpretable machine learning that produces a perturbation sample to change the model's original decision. The generated samples can act as a recommendation for end-users to achieve their desired outputs. Most of the current counterfactual explanation approaches are the gradient-based method, which can only optimize the differentiable loss functions with continuous variables. Accordingly, the gradient-free methods are proposed to handle the categorical variables, which however have several major limitations: 1) causal relationships among features are typically ignored when generating the counterfactuals, possibly resulting in impractical guidelines for decision-makers; 2) the counterfactual explanation algorithm requires a great deal of effort into parameter tuning for dertermining the optimal weight for each loss functions which must be conducted repeatedly for different datasets and settings. In this work, to address the above limitations, we propose a prototype-based counterfactual explanation framework (ProCE). ProCE is capable of preserving the causal relationship underlying the features of the counterfactual data. In addition, we design a novel gradient-free optimization based on the multi-objective genetic algorithm that generates the counterfactual explanations for the mixed-type of continuous and categorical features. Numerical experiments demonstrate that our method compares favorably with state-of-the-art methods and therefore is applicable to existing prediction models. All the source codes and data are available at \url{https://github.com/tridungduong16/multiobj-scm-cf}.


title: Action Candidate Based Clipped Double Q-learning for Discrete and Continuous Action Tasks

abstract: Double Q-learning is a popular reinforcement learning algorithm in Markov decision process (MDP) problems. Clipped Double Q-learning, as an effective variant of Double Q-learning, employs the clipped double estimator to approximate the maximum expected action value. Due to the underestimation bias of the clipped double estimator, performance of clipped Double Q-learning may be degraded in some stochastic environments. In this paper, in order to reduce the underestimation bias, we propose an action candidate based clipped double estimator for Double Q-learning. Specifically, we first select a set of elite action candidates with the high action values from one set of estimators. Then, among these candidates, we choose the highest valued action from the other set of estimators. Finally, we use the maximum value in the second set of estimators to clip the action value of the chosen action in the first set of estimators and the clipped value is used for approximating the maximum expected action value. Theoretically, the underestimation bias in our clipped Double Q-learning decays monotonically as the number of the action candidates decreases. Moreover, the number of action candidates controls the trade-off between the overestimation and underestimation biases. In addition, we also extend our clipped Double Q-learning to continuous action tasks via approximating the elite continuous action candidates. We empirically verify that our algorithm can more accurately estimate the maximum expected action value on some toy environments and yield good performance on several benchmark problems.


title: Synchronised Visualisation of Software Process and Product Artefacts: Concept, Design and Prototype Implementation

abstract: Context: Most prior software visualisation (SV) research has focused primarily on making aspects of intangible software product artefacts more evident. While undoubtedly useful, this focus has meant that software process visualisation has received far less attention. Objective: This paper presents Conceptual Visualisation, a novel SV approach that builds on the well-known CodeCity metaphor by situating software code artefacts alongside their software development processes, in order to link and synchronise these typically separate components. Method: While the majority of prior SV research has focused on representing what is already available in the code (i.e., the implementation) or information derived from it (i.e., various metrics), the presented approach instead makes the design concepts and original developers' intentions -- both significant sources of information in terms of software development and maintenance -- readily and contextually available in a visualisation environment that tightly integrates the code artefacts with their original functional requirements and development activity. Results: Our approach has been implemented in a prototype tool called ScrumCity with the proof of concept being demonstrated using six real-world open source systems. A preliminary case study has further been carried out with real world data. Conclusion: Conceptual Visualisation, as implemented in ScrumCity, shows early promise in enabling developers and managers (and potentially other stakeholders) to traverse and explore multiple aspects of software product and process artefacts in a synchronised manner, achieving traceability between the two.


title: Turing Number: How Far Are You to A. M. Turing Award?

abstract: The ACM A.M. Turing Award is commonly acknowledged as the highest distinction in the realm of computer science. Since 1960s, it has been awarded to computer scientists who made outstanding contributions. The significance of this award is far-reaching to the laureates as well as their research teams. However, unlike the Nobel Prize that has been extensively investigated, little research has been done to explore this most important award. To this end, we propose the Turing Number (TN) index to measure how far a specific scholar is to this award. Inspired by previous works on Erdos Number and Bacon Number, this index is defined as the shortest path between a given scholar to any Turing Award Laureate. Experimental results suggest that TN can reflect the closeness of collaboration between scholars and Turing Award Laureates. With the correlation analysis between TN and metrics from the bibliometric-level and network-level, we demonstrate that TN has the potential of reflecting a scholar's academic influence and reputation.


title: MRC-LSTM: A Hybrid Approach of Multi-scale Residual CNN and LSTM to Predict Bitcoin Price

abstract: Bitcoin, one of the major cryptocurrencies, presents great opportunities and challenges with its tremendous potential returns accompanying high risks. The high volatility of Bitcoin and the complex factors affecting them make the study of effective price forecasting methods of great practical importance to financial investors and researchers worldwide. In this paper, we propose a novel approach called MRC-LSTM, which combines a Multi-scale Residual Convolutional neural network (MRC) and a Long Short-Term Memory (LSTM) to implement Bitcoin closing price prediction. Specifically, the Multi-scale residual module is based on one-dimensional convolution, which is not only capable of adaptive detecting features of different time scales in multivariate time series, but also enables the fusion of these features. LSTM has the ability to learn long-term dependencies in series, which is widely used in financial time series forecasting. By mixing these two methods, the model is able to obtain highly expressive features and efficiently learn trends and interactions of multivariate time series. In the study, the impact of external factors such as macroeconomic variables and investor attention on the Bitcoin price is considered in addition to the trading information of the Bitcoin market. We performed experiments to predict the daily closing price of Bitcoin (USD), and the experimental results show that MRC-LSTM significantly outperforms a variety of other network structures. Furthermore, we conduct additional experiments on two other cryptocurrencies, Ethereum and Litecoin, to further confirm the effectiveness of the MRC-LSTM in short-term forecasting for multivariate time series of cryptocurrencies.


title: Exploiting Audio-Visual Consistency with Partial Supervision for Spatial Audio Generation

abstract: Human perceives rich auditory experience with distinct sound heard by ears. Videos recorded with binaural audio particular simulate how human receives ambient sound. However, a large number of videos are with monaural audio only, which would degrade the user experience due to the lack of ambient information. To address this issue, we propose an audio spatialization framework to convert a monaural video into a binaural one exploiting the relationship across audio and visual components. By preserving the left-right consistency in both audio and visual modalities, our learning strategy can be viewed as a self-supervised learning technique, and alleviates the dependency on a large amount of video data with ground truth binaural audio data during training. Experiments on benchmark datasets confirm the effectiveness of our proposed framework in both semi-supervised and fully supervised scenarios, with ablation studies and visualization further support the use of our model for audio spatialization.


title: Irreducibly $SU(2)$-covariant quantum channels of low rank

abstract: We investigate information theoretic properties of low rank (less than or equal to 3) quantum channels with $SU(2)$-symmetry, where we have a complete description. We prove that PPT property coincides with entanglement-breaking property and that degradability seldomly holds in this class. In connection with these results we will demonstrate how we can compute Holevo and coherent information of those channels. In particular, we exhibit a strong form of additivity violation of coherent information, which resembles the superactivation of coherent information of depolarizing channels.


title: Distributional Collision Resistance Beyond One-Way Functions

abstract: Distributional collision resistance is a relaxation of collision resistance that only requires that it is hard to sample a collision $(x,y)$ where $x$ is uniformly random and $y$ is uniformly random conditioned on colliding with $x$. The notion lies between one-wayness and collision resistance, but its exact power is still not well-understood. On one hand, distributional collision resistant hash functions cannot be built from one-way functions in a black-box way, which may suggest that they are stronger. On the other hand, so far, they have not yielded any applications beyond one-way functions. Assuming distributional collision resistant hash functions, we construct \emph{constant-round} statistically hiding commitment scheme. Such commitments are not known based on one-way functions and are impossible to obtain from one-way functions in a black-box way. Our construction relies on the reduction from inaccessible entropy generators to statistically hiding commitments by Haitner et al.\ (STOC '09). In the converse direction, we show that two-message statistically hiding commitments imply distributional collision resistance, thereby establishing a loose equivalence between the two notions. A corollary of the first result is that constant-round statistically hiding commitments are implied by average-case hardness in the class $SZK$ (which is known to imply distributional collision resistance). This implication seems to be folklore, but to the best of our knowledge has not been proven explicitly. We provide yet another proof of this implication, which is arguably more direct than the one going through distributional collision resistance.


title: A generalization of a theorem of Ern\'{e}

abstract: Let $X$ be a finite set, $Z \subseteq X$ and $y \notin X$. Marcel Ern\'{e} showed in 1981, that the number of posets on $X$ containing $Z$ as an antichain equals the number of posets $R$ on $X \cup \{ y \}$ in which the points of $Z \cup \{ y \}$ are exactly the maximal points of $R$. We prove the following generalization: For every poset $Q$ with carrier $Z$, the number of posets on $X$ containing $Q$ as an induced sub-poset equals the number of posets $R$ on $X \cup \{ y \}$ which contain $Q^d + A_y$ as an induced sub-poset and in which the maximal points of $Q^d + A_y$ are exactly the maximal points of $R$. Here, $Q^d$ is the dual of $Q$, $A_y$ is the singleton-poset on $y$, and $Q^d + A_y$ denotes the direct sum of $Q^d$ and $A_y$.


title: Robust Control for Lane Keeping System Using Linear Parameter Varying Approach with Scheduling Variables Reduction

abstract: This paper presents a robust controller using a Linear Parameter Varying (LPV) model of the lane-keeping system with parameter reduction. Both varying vehicle speed and roll motion on a curved road influence the lateral vehicle model parameters, such as tire cornering stiffness. Thus, we use the LPV technique to take the parameter variations into account in vehicle dynamics. However, multiple varying parameters lead to a high number of scheduling variables and cause massive computational complexity. In this paper, to reduce the computational complexity, Principal Component Analysis (PCA)-based parameter reduction is performed to obtain a reduced model with a tighter convex set. We designed the LPV robust feedback controller using the reduced model solving a set of Linear Matrix Inequality (LMI). The effectiveness of the proposed system is validated with full vehicle dynamics from CarSim on an interchange road. From the simulation, we confirmed that the proposed method largely reduces the lateral offset error, compared with other controllers based on Linear Time-Invariant (LTI) system.


title: Energy dependence of $\phi$ meson production at forward rapidity in pp collisions at the LHC

abstract: The production of $\phi$ mesons has been studied in pp collisions at LHC energies with the ALICE detector via the dimuon decay channel in the rapidity region $2.5 < y < 4$. Measurements of the differential cross section ${\rm d}^2\sigma/{\rm d}y {\rm d}p_{\rm T}$ are presented as a function of the transverse momentum ($p_{\rm T}$) at the center-of-mass energies $\sqrt{s}=5.02$, 8 and 13 TeV and compared with the ALICE results at midrapidity. The differential cross sections at $\sqrt{s}=5.02$ and 13 TeV are also studied in several rapidity intervals as a function of $p_{\rm T}$, and as a function of rapidity in three $p_{\rm T}$ intervals. A hardening of the $p_{\rm T}$-differential cross section with the collision energy is observed, while, for a given energy, $p_{\rm T}$ spectra soften with increasing rapidity and, conversely, rapidity distributions get slightly narrower at increasing $p_{\rm T}$. The new results, complementing the published measurements at $\sqrt{s}=2.76$ and 7 TeV, allow one to establish the energy dependence of $\phi$ meson production and to compare the measured cross sections with phenomenological models. None of the considered models manages to describe the evolution of the cross section with $p_{\rm T}$ and rapidity at all the energies.


title: Metaphor Research in the 21st Century: A Bibliographic Analysis

abstract: Metaphor is widely used in human communication. The cohort of scholars studying metaphor in various fields is continuously growing, but very few work has been done in bibliographical analysis of metaphor research. This paper examines the advancements in metaphor research from 2000 to 2017. Using data retrieved from Microsoft Academic Graph and Web of Science, this paper makes a macro analysis of metaphor research, and expounds the underlying patterns of its development. Taking into consideration sub-fields of metaphor research, the internal analysis of metaphor research is carried out from a micro perspective to reveal the evolution of research topics and the inherent relationships among them. This paper provides novel insights into the current state of the art of metaphor research as well as future trends in this field, which may spark new research interests in metaphor from both linguistic and interdisciplinary perspectives.


title: Autonomous parafoil precision landing using convex real-time optimized guidance and control

abstract: To overcome the limitations of current parafoil precision landing capabilities, an efficient real-time convex optimized guidance and control strategy is presented. Successive convexification of the parafoil guidance problem guarantees local optimality with polynomial convergence rate for efficient real-time implementation, where each iteration is dynamically feasible. Our approach shows reliable and fast numerical convergence through in-flight recalculation of time of flight and a new optimal trajectory to cope with time-varying dynamics. The efficiency of our strategy is demonstrated via a comparative analysis of the existing X-38 in-flight demonstrated guidance and control system. Exhaustive Monte-Carlo simulations show performance improvements of about one order of magnitude. The concept proposed is simple, yet general, as it scales to any atmospheric parafoil landing system and allows efficient implementation relying only on the turn rate information.


title: Switching between relaxation hotspots and coldspots in disordered spin qubits

abstract: We develop a valley-dependent envelope function theory that can describe the effects of arbitrary configurations of interface steps and miscuts on the qubit relaxation time. For a given interface roughness, we show how our theory can be used to find the valley-dependent dipole matrix elements, the valley splitting, and the spin-valley coupling as a function of the electromagnetic fields in a Si/SiGe quantum dot spin qubit. We demonstrate that our theory can quantitatively reproduce and explain the result of experimental measurements for the spin relaxation time with only a minimal set of free parameters. Investigating the sample dependence of spin relaxation, we find that at certain conditions for a disordered quantum dot, the spin-valley coupling vanishes. This, in turn, completely blocks the valley-induced qubit decay. We show that the presence of interface steps can in general give rise to a strongly anisotropic behavior of the spin relaxation time. Remarkably, by properly tuning the gate-induced out-of-plane electric field, it is possible to turn the spin-valley hotspot into a ``coldspot" at which the relaxation time is significantly prolonged and where the spin relaxation time is additionally first-order insensitive to the fluctuations of the magnetic field. This electrical tunability enables on-demand fast qubit reset and initialization that is critical for many quantum algorithms and error correction schemes. We, therefore, argue that the valley degree of freedom can be used as an advantage for Si spin qubits.


title: Synthetic Data for Model Selection

abstract: Recent breakthroughs in synthetic data generation approaches made it possible to produce highly photorealistic images which are hardly distinguishable from real ones. Furthermore, synthetic generation pipelines have the potential to generate an unlimited number of images. The combination of high photorealism and scale turn synthetic data into a promising candidate for improving various machine learning (ML) pipelines. Thus far, a large body of research in this field has focused on using synthetic images for training, by augmenting and enlarging training data. In contrast to using synthetic data for training, in this work we explore whether synthetic data can be beneficial for model selection. Considering the task of image classification, we demonstrate that when data is scarce, synthetic data can be used to replace the held out validation set, thus allowing to train on a larger dataset. We also introduce a novel method to calibrate the synthetic error estimation to fit that of the real domain. We show that such calibration significantly improves the usefulness of synthetic data for model selection.


title: On soluble subgroups of sporadic groups

abstract: Let $G$ be an almost simple sporadic group and let $H$ be a soluble subgroup of $G$. In this paper we prove that there exists $x,y \in G$ such that $H \cap H^x \cap H^y=1$, which is equivalent to the bound $b(G,H) \leqslant 3$ with respect to the base size of $G$ on the set of cosets of $H$. This bound is best possible. In this setting, our main result establishes a strong form of a more general conjecture of Vdovin on the intersection of conjugate soluble subgroups of finite groups. The proof uses a combination of computational and probabilistic methods.


title: Measuring tree balance using symmetry nodes -- a new balance index and its extremal properties

abstract: Effects like selection in evolution as well as fertility inheritance in the development of populations can lead to a higher degree of asymmetry in evolutionary trees than expected under a null hypothesis. To identify and quantify such influences, various balance indices were proposed in the phylogenetic literature and have been in use for decades. However, so far no balance index was based on the number of \emph{symmetry nodes}, even though symmetry nodes play an important role in other areas of mathematical phylogenetics and despite the fact that symmetry nodes are a quite natural way to measure balance or symmetry of a given tree. The aim of this manuscript is thus twofold: First, we will introduce the \emph{symmetry nodes index} as an index for measuring balance of phylogenetic trees and analyze its extremal properties. We also show that this index can be calculated in linear time. This new index turns out to be a generalization of a simple and well-known balance index, namely the \emph{cherry index}, as well as a specialization of another, less established, balance index, namely \emph{Rogers' $J$ index}. Thus, it is the second objective of the present manuscript to compare the new symmetry nodes index to these two indices and to underline its advantages. In order to do so, we will derive some extremal properties of the cherry index and Rogers' $J$ index along the way and thus complement existing studies on these indices. Moreover, we used the programming language \textsf{R} to implement all three indices in the software package \textsf{symmeTree}, which has been made publicly available.


title: Poisson-Boltzmann formulary: Second edition

abstract: The Poisson-Boltzmann (PB) equation provides a mean-field theory of electrolyte solutions at interfaces and in confinement, with numerous applications ranging from colloid science to nanofluidics. This formulary gathers important formulas for the PB description of a Z:Z electrolyte solution inside slit and cylindrical channels. Different approximated solutions (thin electrical double layers, no co-ion, Debye-H\"uckel, and homogeneous/parabolic potential limits) and their range of validity are discussed, together with the full solution for the slit channel. In addition, different boundary conditions are presented, the limits of the PB framework are briefly discussed, and Python scripts to solve the PB equation numerically are provided.


title: Stream Compression of DLMS Smart Meter Readings

abstract: Smart electricity meters typically upload readings a few times a day. Utility providers aim to increase the upload frequency in order to access consumption information in near real time, but the legacy compressors fail to provide sufficient savings on the low-bandwidth, high-cost data connection. We propose a new compression method and data format for DLMS smart meter readings, which is significantly better with frequent uploads and enable reporting every reading in near real time with the same or lower data sizes than the currently available compressors in the DLMS protocol.


title: On the computation of character values for finite Chevalley groups of exceptional type

abstract: We discuss various computational issues around the problem of determining the character values of finite Chevalley groups, in the framework provided by Lusztig's theory of character sheaves. Some of the remaining open questions (concerning certain roots of unity) for the cuspidal unipotent character sheaves of groups of exceptional type are resolved.


title: Higher-order tensor independent component analysis to realize MIMO remote sensing of respiration and heartbeat signals

abstract: This paper proposes a novel method of independent component analysis (ICA), which we name higher-order tensor ICA (HOT-ICA). HOT-ICA is a tensor ICA that makes effective use of the signal categories represented by the axes of a separating tensor. Conventional tensor ICAs, such as multilinear ICA (MICA) based on Tucker decomposition, do not fully utilize the high dimensionality of tensors because the matricization in MICA nullifies the tensor axial categorization. In this paper, we deal with multiple-target signal separation in a multiple-input multiple-output (MIMO) radar system to detect respiration and heartbeat. HOT-ICA realizes high robustness in learning by incorporating path information, i.e., the physical-measurement categories on which transmitting/receiving antennas were used. In numerical-physical experiments, our HOT-ICA system effectively separate the bio-signals successfully even in an obstacle-affecting environment, which is usually a difficult task. The results demonstrate the significance of the HOT-ICA, which keeps the tensor categorization unchanged for full utilization of the high-dimensionality of the separation tensor.


title: Ordinal Pattern Dependence in the Context of Long-Range Dependence

abstract: Ordinal pattern dependence is a multivariate dependence measure based on the co-movement of two time series. In strong connection to ordinal time series analysis, the ordinal information is taken into account to derive robust results on the dependence between the two processes. This article deals with ordinal pattern dependence for long-range dependent time series including mixed cases of short- and long-range dependence. We investigate the limit distributions for estimators of ordinal pattern dependence. In doing so we point out the differences that arise for the underlying time series having different dependence structures. Depending on these assumptions, central and non-central limit theorems are proven. The limit distributions for the latter ones can be included in the class of multivariate Rosenblatt processes. Finally, a simulation study is provided to illustrate our theoretical findings.


title: Reversible cellular automata in presence of noise rapidly forget everything

abstract: We consider reversible and surjective cellular automata perturbed with noise. We show that, in the presence of positive additive noise, the cellular automaton forgets all the information regarding its initial configuration exponentially fast. In particular, the state of a finite collection of cells with diameter n becomes indistinguishable from pure noise after O(log n) time steps. This highlights the seemingly unavoidable need for irreversibility in order to perform scalable reliable computation in the presence of noise.

categories: cs.DC cs.ET cs.IT math.IT math.PR nlin.CG


title: Curvature bounds of subsets in dimension two

abstract: We show that closed subsets with vanishing first homology in two-dimensional spaces inherit the upper curvature bound from their ambient spaces and discuss topological applications.


title: Complete quaternionic K\"ahler manifolds with finite volume ends

abstract: We construct examples of complete quaternionic K\"ahler manifolds with an end of finite volume, which are not locally homogeneous. The manifolds are aspherical with fundamental group which is up to an infinite cyclic extension a semi-direct product of a lattice in a semi-simple group with a lattice in a Heisenberg group. Their universal covering is a cohomogeneity one deformation of a symmetric space of non-compact type.


title: Spectral Machine Learning for Pancreatic Mass Imaging Classification

abstract: We present a novel spectral machine learning (SML) method in screening for pancreatic mass using CT imaging. Our algorithm is trained with approximately 30,000 images from 250 patients (50 patients with normal pancreas and 200 patients with abnormal pancreas findings) based on public data sources. A test accuracy of 94.6 percents was achieved in the out-of-sample diagnosis classification based on a total of approximately 15,000 images from 113 patients, whereby 26 out of 32 patients with normal pancreas and all 81 patients with abnormal pancreas findings were correctly diagnosed. SML is able to automatically choose fundamental images (on average 5 or 9 images for each patient) in the diagnosis classification and achieve the above mentioned accuracy. The computational time is 75 seconds for diagnosing 113 patients in a laptop with standard CPU running environment. Factors that influenced high performance of a well-designed integration of spectral learning and machine learning included: 1) use of eigenvectors corresponding to several of the largest eigenvalues of sample covariance matrix (spike eigenvectors) to choose input attributes in classification training, taking into account only the fundamental information of the raw images with less noise; 2) removal of irrelevant pixels based on mean-level spectral test to lower the challenges of memory capacity and enhance computational efficiency while maintaining superior classification accuracy; 3) adoption of state-of-the-art machine learning classification, gradient boosting and random forest. Our methodology showcases practical utility and improved accuracy of image diagnosis in pancreatic mass screening in the era of AI.


title: Performance analysis of frequency regulation services provided by aggregates of domestic thermostatically controlled loads

abstract: This paper proposes a control method for allowing aggregates of thermostatically controlled loads to provide synthetic inertia and primary frequency regulation services to the grid. The proposed control framework is fully distributed and basically consists in the modification of the thermostat logic as a function of the grid frequency. Three strategies are considered: in the first one, the load aggregate provides synthetic inertia by varying its active power demand proportionally to the frequency rate of change; in the second one, the load aggregate provides primary frequency regulation by varying its power demand proportionally to frequency; in the third one, the two services are combined. The performances of the proposed control solutions are analyzed in the forecasted scenario of the electric power system of Sardinia in 2030, characterized by a huge installation of wind and photovoltaic generation and no coil and combustible oil power plants. The considered load aggregate is composed by domestic refrigerators and water heaters. Results prove the effectiveness of the proposed approach and show that, in the particular case of refrigerators and water heaters, the contribution to the frequency regulation is more significant in the case of positive frequency variations. Finally, the correlation between the regulation performances and the level of penetration of the load aggregate with respect to the system total load is evaluated.


title: Enhanced and unenhanced dampings of the Kolmogorov flow

abstract: In the present study, Kolmogorov flow represents the stationary sinusoidal solution $(\sin y,0)$ to a two-dimensional spatially periodic Navier-Stokes system, driven by an external force. This system admits the additional non-stationary solution $(\sin y,0)+e^{-\nu t} (\sin y,0)$, which tends exponentially to the Kolmogorov flow at the minimum decay rate determined by the viscosity $\nu$. Enhanced damping or enhanced dissipation of the problem is obtained by presenting higher decay rate for the difference between a solution and the non-stationary basic solution. Moreover, for the understanding of the metastability problem in an explicit manner, a variety of exact solutions are presented to show enhanced and unenhanced dampings.


title: Comparative study of multiscale computational strategies for materials with discrete microstructures

abstract: The evolution of local defects such as dislocations and cracks often determines the performance of engineering materials. For a proper description and understanding of these phenomena, one needs to descend to a very small scale, at which the discreteness of the material emerges. Fully-resolved discrete numerical models often suffer from excessive computing expenses when used for application-scale considerations. More efficient multiscale simulation procedures are thus called for, capable of capturing the most significant microscopic phenomena while being computationally tractable. Two broad classes of methods are available in the literature. The first class considers the fully-resolved discrete system, which is subsequently reduced through suitable mathematical tools such as projection and reduced integration. The second class first homogenizes the discrete system into an equivalent continuum formulation, into which the main phenomena are added through specific enrichments. This paper provides a thorough comparison of the two different modeling philosophies in terms of their theory, accuracy, and performance. To this goal, two typical representatives are adopted: the Quasicontinuum method for the first class, and an effective continuum with an embedded cohesive zone model for the second class. Two examples are employed to demonstrate capabilities and limitations of both approaches: dislocation propagation and pile-up against a coherent phase boundary, and a three-point bending test of a concrete specimen with crack propagation. In both cases, the accuracy of the two methods is compared against the fully-resolved discrete reference model. It is shown that whereas continuum models with embedded cohesive zones offer good performance to accuracy ratios, they might fail to capture unexpected mechanical behavior. The Quasicontinuum method offers more flexibility at a higher computational cost.


title: Characterization of Secure Multiparty Computation Without Broadcast

abstract: A major challenge in the study of cryptography is characterizing the necessary and sufficient assumptions required to carry out a given cryptographic task. The focus of this work is the necessity of a broadcast channel for securely computing symmetric functionalities (where all the parties receive the same output) when one third of the parties, or more, might be corrupted. Assuming all parties are connected via a peer-to-peer network, but no broadcast channel (nor a secure setup phase) is available, we prove the following characterization: 1) A symmetric $n$-party functionality can be securely computed facing $n/3\le t<n/2$ corruptions (\ie honest majority), if and only if it is \emph{$(n-2t)$-dominated}; a functionality is $k$-dominated, if \emph{any} $k$-size subset of its input variables can be set to \emph{determine} its output. 2) Assuming the existence of one-way functions, a symmetric $n$-party functionality can be securely computed facing $t\ge n/2$ corruptions (\ie no honest majority), if and only if it is $1$-dominated and can be securely computed with broadcast. It follows that, in case a third of the parties might be corrupted, broadcast is necessary for securely computing non-dominated functionalities (in which "small" subsets of the inputs cannot determine the output), including, as interesting special cases, the Boolean XOR and coin-flipping functionalities.


title: The Doge of Wall Street: Analysis and Detection of Pump and Dump Cryptocurrency Manipulations

abstract: Cryptocurrencies are increasingly popular. Even people who are not experts have started to invest in these securities, and nowadays, cryptocurrency exchanges process transactions for over 100 billion US dollars per month. In spite of this, many cryptocurrencies have low liquidity, and therefore, they are highly prone to market manipulation. This paper performs an in-depth analysis of two market manipulations organized by communities over the Internet: The pump and dump and the crowd pump. The pump and dump scheme is a fraud as old as the stock market. Now, it got new vitality in the loosely regulated market of cryptocurrencies. Groups of highly coordinated people arrange this scam, usually on Telegram and Discord. We monitored these groups for more than 3 years detecting around 900 individual events. We analyze how these communities are organized and how they carry out the fraud. We report on three case studies of pump and dump. Then, we leverage our unique dataset of the verified pump and dumps to build a machine learning model able to detect a pump and dump in 25 seconds from the moment it starts, achieving the results of 94.5% of F1-score. Then, we move on to the crowd pump, a new phenomenon that hit the news in the first months of 2021, when a Reddit community inflates the price of the GameStop stocks (GME) of over 1,900% on Wall Street, the world's largest stock exchange. Later, other Reddit communities replicate the operation on the cryptocurrency markets. The targets were Dogecoin (DOGE) and Ripple (XRP). We reconstruct how these operations developed, and we discuss differences and analogies with the standard pump and dump. Lastly, we illustrate how it is possible to leverage our classifier to detect this kind of operation too.


title: Analysis of heat transfer and water flow with phase change in saturated porous media by bond-based peridynamics

abstract: A wide range of natural and industrial processes involve heat and mass transport in porous media. In some important cases the transported substance may undergo phase change, e.g. from liquid to solid and vice versa in the case of freezing and thawing of soils. The predictive modelling of such phenomena faces physical (multiple physical processes taking place) and mathematical (evolving interface with step change of properties) challenges. In this work, we develop and test a non-local approach based on bond-based peridynamics which addresses the challenges successfully. Our formulation allows for predicting the location of the interface between phases, and for calculating the temperature and pressure distributions within the saturated porous medium under the conditions of pressure driven water flow. The formulation is verified against existing analytical solutions for 1D problems, as well as finite element transient solutions for 2D problems. The agreement found by the verification exercise demonstrates the accuracy of the proposed methodology. The detailed coupled description of heat and hydraulic processes can be considered as a critical step towards a thermo-hydro-mechanical model, which will allow, for example, description of the hydrological behaviour of permafrost soils and the frost heave phenomenon.


title: In search of lost time: Axiomatising parallel composition in process algebras

abstract: This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results. We focus on the recursion, relabelling and restriction free fragment of CCS and we discuss the solutions to three problems that were open for many years. The first problem concerns the status of Bergstra and Klop's auxiliary operators left merge and communication merge in the finite axiomatisation of parallel composition modulo bisimiliarity: We argue that, under some natural assumptions, the addition of a single auxiliary binary operator to CCS does not yield a finite axiomatisation of bisimilarity. Then we delineate the boundary between finite and non-finite axiomatisability of the congruences in van Glabbeek's linear time-branching time spectrum over CCS. Finally, we present a novel result to the effect that rooted weak bisimilarity has no finite complete axiomatisation over CCS.


title: Hidden Killing Fields, Geometric Symmetries and Black Hole Mergers

abstract: In the present work, using the recently introduced framework of local geometric deformations, special types of vector fields - so-called hidden Killing vector fields - are constructed, which solve the Killing equation not globally, but only locally, i.e. in local subregions of spacetime. Taking advantage of the fact that the vector fields coincide locally with Killing fields and therefore allow the consideration of integral laws that convert into exact physical conservation laws on local scales, balance laws in dynamical systems without global Killing symmetries are derived that mimic as closely as possible the conservation laws for energy and angular momentum of highly symmetric models. The utility of said balance laws is demonstrated by a concrete geometric example, namely a toy model for the binary merger of two extremal Reissner-Nordstr\"om black holes.


title: Quasi-stationary solutions of the surface quasi-geostrophic equation

abstract: In the present study, we find that the surface quasi-geostrophic equation admits exact solutions, which evolve with time in quasi-stationary states. The solutions presented are available for any dissipation effect $\kappa (-\Delta)^\alpha$ ($\kappa >0$, $0\le \alpha <1$), involved in the equation. When the equation is supercritical ($0\le \alpha <\frac12$), the problem on the existence of large global regular solutions remains open. This study, however, provides explicit sample solutions for the understanding of the uncertain problem.


title: Spectroscopy of Rydberg States in Erbium using Electromagnetically Induced Transparency

abstract: We present a study of the Rydberg spectrum in \ts{166}Er for series connected to the $4f^{12} (^3H_6) 6s$, $J_c=13/2 $ and $J_c=11/2 $ ionic core states using an all-optical detection based on electromagnetically induced transparency in an effusive atomic beam. Identifying approximately 550 individual states, we find good agreement with a multi-channel quantum defect theory (MQDT) which allows assignment of most states to $ns$ or $nd$ Rydberg series. We provide an improved accuracy for the lowest two ionization thresholds to $E_{\textrm{IP}, J_c = 13/2 } = 49260.750(1)\,$cm$^{-1}$ and $E_{\textrm{IP}, J_c = 11/2 } = 49701.184(1)\,$cm$^{-1}$ as well as the corresponding quantum defects for all observed series. We identify Rydberg states in five different isotopes, and states between the two lowest ionization thresholds. Our results open the way for future applications of Rydberg states for quantum simulation using erbium and exploiting its special open-shell structure.


title: Thermodynamics of transition to BCS-BEC crossover superconductivity in FeSe$_{1-x}$S$_x$

abstract: The BCS-BEC crossover from strongly overlapping Cooper pairs to non-overlapping composite bosons in the strong coupling limit has been a long-standing issue of interacting many-body fermion systems. Recently, FeSe semimetal with hole and electron bands emerged as a high-$T_{\rm c}$ superconductor located in the BCS-BEC crossover regime, owing to its very small Fermi energies. In FeSe, however, an ordinary BCS-like heat-capacity jump is observed at $T_{\rm c}$, posing a fundamental question on the characteristics of the BCS-BEC crossover. Here we report on high-resolution heat capacity, magnetic torque, and scanning tunneling spectroscopy measurements in FeSe$_{1-x}$S$_x$. Upon entering the tetragonal phase at $x>0.17$, where nematic order is suppressed, $T_{\rm c}$ discontinuously decreases. In this phase, highly non-mean-field behaviors consistent with BEC-like pairing are found in the thermodynamic quantities with giant superconducting fluctuations extending far above $T_{\rm c}$, implying the change of pairing nature. Moreover, the pseudogap formation, which is expected in BCS-BEC crossover of single-band superconductors, is not observed in the tunneling spectra. These results illuminate highly unusual features of the superconducting states in the crossover regime with multiband electronic structure and competing electronic instabilities.


title: Entanglement Measures in a Nonequilibrium Steady State: Exact Results in One Dimension

abstract: Entanglement plays a prominent role in the study of condensed matter many-body systems: Entanglement measures not only quantify the possible use of these systems in quantum information protocols, but also shed light on their physics. However, exact analytical results remain scarce, especially for systems out of equilibrium. In this work we examine a paradigmatic one-dimensional fermionic system that consists of a uniform tight-binding chain with an arbitrary scattering region near its center, which is subject to a DC bias voltage at zero temperature. The system is thus held in a current-carrying nonequilibrium steady state, which can nevertheless be described by a pure quantum state. Using a generalization of the Fisher-Hartwig conjecture, we present an exact calculation of the bipartite entanglement entropy of a subsystem with its complement, and show that the scaling of entanglement with the length of the subsystem is highly unusual, containing both a volume-law linear term and a logarithmic term. The linear term is related to imperfect transmission due to scattering, and provides a generalization of the Levitov-Lesovik full counting statistics formula. The logarithmic term arises from the Fermi discontinuities in the distribution function. Our analysis also produces an exact expression for the particle-number-resolved entanglement. We find that although to leading order entanglement equipartition applies, the first term breaking it grows with the size of the subsystem, a novel behavior not observed in previously studied systems. We apply our general results to a concrete model of a tight-binding chain with a single impurity site, and show that the analytical expressions are in good agreement with numerical calculations. The analytical results are further generalized to accommodate the case of multiple scattering regions.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech


title: MLCheck- Property-Driven Testing of Machine Learning Models

abstract: In recent years, we observe an increasing amount of software with machine learning components being deployed. This poses the question of quality assurance for such components: how can we validate whether specified requirements are fulfilled by a machine learned software? Current testing and verification approaches either focus on a single requirement (e.g., fairness) or specialize on a single type of machine learning model (e.g., neural networks). In this paper, we propose property-driven testing of machine learning models. Our approach MLCheck encompasses (1) a language for property specification, and (2) a technique for systematic test case generation. The specification language is comparable to property-based testing languages. Test case generation employs advanced verification technology for a systematic, property-dependent construction of test suites, without additional user-supplied generator functions. We evaluate MLCheck using requirements and data sets from three different application areas (software discrimination, learning on knowledge graphs and security). Our evaluation shows that despite its generality MLCheck can even outperform specialised testing approaches while having a comparable runtime.


title: Bifurcating steady-state flows involving energy dissipation over a Hartmann boundary layer

abstract: A plane non-parallel vortex flow in a square fluid domain is examined. The energy dissipation of the flow is dominated by viscosity and linear friction effect of a Hartmann layer. This is a traditional Navier-Stokes flow when the linear friction effect is not involved, whereas it is a magnetohydrodynamic flow when the energy dissipation is fundamentally dominated by the friction. It is proved that linear critical values of a spectral problem are nonlinear thresholds leading to the onset of secondary steady-state flows, the nonlinear phenomenon observed in laboratory experiments.


title: Tighter Bounds on Multi-Party Coin Flipping via Augmented Weak Martingales and Differentially Private Sampling

abstract: In his seminal work, Cleve [STOC '86] has proved that any $r$-round coin-flipping protocol can be efficiently biased by $\Theta(1/r)$. This lower bound was met for the two-party case by Moran, Naor, and Segev [Journal of Cryptology '16], and the three-party case (up to a $polylog$ factor) by Haitner and Tsfadi [SICOMP '17], and was approached for $n$-party protocols when $n< loglog r$ by Buchbinder, Haitner, Levi, and Tsfadia [SODA '17]. For $n> loglog r$, however, the best bias for $n$-party coin-flipping protocols remains $O(n/\sqrt{r})$ achieved by the majority protocol of Awerbuch, Blum, Chor, Goldwasser, and Micali [Manuscript '85]. Our main result is a tighter lower bound on the bias of coin-flipping protocols, showing that, for every constant $\epsilon >0$, an $r^{\epsilon}$-party $r$-round coin-flipping protocol can be efficiently biased by $\widetilde{\Omega}(1/\sqrt{r})$. As far as we know, this is the first improvement of Cleve's bound, and is only $n=r^{\epsilon}$ (multiplicative) far from the aforementioned upper bound of Awerbuch et al.


title: A remark on the quasilocal calculation of tidal heating: energy transfer through the quasilocal surface

abstract: In this note, using the quasilocal formalism of Brown and York, the flow of energy through a closed surface containing a gravitating physical system is calculated in a way that augments earlier results on the subject by Booth and Creighton. To this end, by performing a variation of the total gravitational Hamiltonian (bulk plus boundary part), it is shown that associated tidal heating and deformation effects generally are larger than expected. This is because this variation leads to previously unrecognized correction terms, including a bulk-to-boundary inflow term that does not appear in the original calculation of the time derivative of the Brown-York energy and leads to corrective extensions of Einstein's quadrupole formula in the large sphere limit.


title: Existence of exponentially spatially localised breather solutions for lattices of nonlinearly coupled particles: Schauder's fixed point theorem approach

abstract: The problem of showing the existence of localised modes in nonlinear lattices has attracted considerable efforts from the physical but also from the mathematical viewpoint where a rich variety of methods has been employed. In this paper we prove that a fixed point theory approach based on the celebrated Schauder's Fixed Point Theorem may provide a general method to establish concisely not only the existence of localised structures but also a required rate of spatial localisation. As a case study we consider lattices of coupled particles with nonlinear nearest neighbour interaction and prove the existence of exponentially spatially localised breathers exhibiting either even-parity or odd-parity symmetry under necessary non-resonant conditions accompanied with the proof of energy bounds of the solutions.


title: Alternative LISA-TAIJI networks

abstract: The space-borne gravitational wave (GW) detectors, LISA and TAIJI, are planned to be launched in the 2030s. The dual detectors with comparable sensitivities will form a network observing GW with significant advantages. In this work, we investigate the three possible LISA-TAIJI networks for the different location and orientation compositions of LISA orbit ($+60^\circ$ inclination and trailing the Earth by $20^\circ$) and alternative TAIJI orbit configurations including TAIJIp ($+60^\circ$ inclination and leading the Earth by $20^\circ$), TAIJIc ($+60^\circ$ inclination and co-located with LISA), TAIJIm ($-60^\circ$ inclination and leading the Earth by $20^\circ$). In the three LISA-TAIJI configurations, the LISA-TAIJIm network shows the best performance on the sky localization and polarization determination for the massive binary system due to their better complementary antenna pattern, and LISA-TAIJIc could achieve the best cross-correlation and observe the stochastic GW background with an optimal sensitivity.


title: A Tikhonov Regularization Based Algorithm for Scattered Data with Random Noise

abstract: With the rapid growth of data, how to extract effective information from data is one of the most fundamental problems. In this paper, based on Tikhonov regularization, we propose an effective method for reconstructing the function and its derivative from scattered data with random noise. Since the noise level is not assumed small, we will use the amount of data for reducing the random error, and use a relatively small number of knots for interpolation. An indicator function for our algorithm is constructed. It indicates where the numerical results are good or may not be good. The corresponding error estimates are obtained. We show how to choose the number of interpolation knots in the reconstruction process for balancing the random errors and interpolation errors. Numerical examples show the effectiveness and rapidity of our method. It should be remarked that the algorithm in this paper can be used for on-line data.


title: What's Decidable about (Atomic) Polymorphism

abstract: Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the most well-known being ML-polymorphism). In this paper we investigate System Fat, or atomic System F, a very weak predicative fragment of System F whose typable terms coincide with the simply typable ones. We show that the type-checking problem for Fat is decidable and we propose an algorithm which sheds some new light on the source of undecidability in full System F. Moreover, we investigate free theorems and contextual equivalence in this fragment, and we show that the latter, unlike in the simply typed lambda-calculus, is undecidable.


title: Population-based identification of H{\alpha}-excess sources in the Gaia DR2 and IPHAS catalogues

abstract: We present a catalogue of point-like H{\alpha}-excess sources in the Northern Galactic Plane. Our catalogue is created using a new technique that leverages astrometric and photomeric information from Gaia to select H{\alpha}-bright outliers in the INT Photometric H{\alpha} Survey of the Northern Galactic Plane (IPHAS), across the colour-absolute magnitude diagram. To mitigate the selection biases due to stellar population mixing and to extinction, the investigated objects are first partitioned with respect to their positions in the Gaia colour-absolute magnitude space, and in the Galactic coordinates space, respectively. The selection is then performed on both partition types independently. Two significance parameters are assigned to each target, one for each partition type. These represent a quantitative degree of confidence that the given source is a reliable H{\alpha}-excess candidate, with reference to the other objects in the corresponding partition. Our catalogue provides two flags for each source, both indicating the significance level of the H{\alpha}-excess. By analysing their intensity in the H{\alpha} narrow band, 28,496 objects out of 7,474,835 are identified as H{\alpha}-excess candidates with a significance higher than 3. The completeness fraction of the H{\alpha} outliers selection is between 3% and 5%. The suggested 5{\sigma} conservative cut yields a purity fraction of 81.9%.


title: First ESR Detection of Higgs Amplitude Mode and Analysis with Extended Spin-Wave Theory in Dimer System KCuCl$_3$

abstract: KCuCl$_3$ is known to show a quantum phase transition from the disordered to antiferromagnetically ordered phases by applying pressure. There is a longitudinal excitation mode (Higgs amplitude mode) in the vicinity of the quantum critical point in the ordered phase. To detect the Higgs amplitude mode, high-pressure ESR measurements are performed in KCuCl$_3$. The experimental data are analyzed by the extended spin-wave theory on the basis of the vector spin chirality. We report the first ESR detection of the Higgs amplitude mode and the important role of the electric dipole described by the vector spin chirality.


title: Geometric approach to mechanical design principles in continuous elastic sheets

abstract: Using a geometric formalism of elasticity theory we develop a systematic theoretical method for controlling and manipulating the mechanical response of slender solids to external loads. We formally express global mechanical properties associated with non-euclidean thin sheets, and interpret the expressions as inverse problem for designing desired mechanical properties. We show that by wisely designing geometric frustration, extreme mechanical properties can be encoded into a material using accessible experimental techniques. To test the methodology we derive a family of geometries that result with anomalous mechanical behavior such as tunable, an-harmonic, and even vanishing rigidities. The presented formalism can be discretized and thus opens a new pathway for the design of both continuum and discrete solids and structures.


title: Modelling and design of FTJs as high reading-impedance synaptic devices

abstract: We present an in-house modelling framework for Ferroelectric Tunnelling Junctions (FTJ), and an insightful study of the design of FTJs as synaptic devices. Results show that a moderately low-k tunnelling dielectric (e.g. SiO2) can increase the read current and the current dynamic range.


title: True Polar Wander on Dynamic Planets: Approximative Methods vs. Full Solution

abstract: Almost three decades ago, the problem of long term polar wander on a dynamic planet was formulated and simplified within the framework of normal mode theory. The underlying simplifications have been debated ever since, recently in a series of papers by Hu et al. 2017a, 2017b, and 2019, who clarify the role of neglecting short-term relaxation modes of the body. However, the authors still do not solve the governing equations in full, because they make approximations to the Liouville equation (LE). In this paper I use a time domain approach and for previously studied test loads I solve both the relaxation of the body and the LE in full. I also compute the energy balance of true polar wander (TPW) in order to analyze the existing LE approximations. For fast rotating bodies such as the Earth, I show that the rotation axis is always aligned with the maximum principal axis of inertia (w||MMOI) once free oscillations are damped. The w||MMOI assumption is also re-derived theoretically. Contrary to previous beliefs, I demonstrate that it is not necessarily linked to the quasi-fluid simplification of the body's viscoelastic response to loading and rotation, but that it is an expression of neglecting the Coriolis and Euler forces in the equation of motion. For slowly rotating bodies such as Venus, the full LE together with energy analysis indicate that previous estimates of TPW in the normal direction need to be revisited. The numerical code LIOUSHELL is made freely available.


title: Magnetic angle evolution in accreting neutron stars

abstract: The rotation of a magnetised accreting neutron star (NS) in a binary system is described by its spin period and two angles: spin inclination $\alpha$ with respect to the orbital momentum and magnetic angle $\chi$ between the spin and the magnetic moment. Magnetospheric accretion spins the NS up and adjusts its rotation axis, decreasing $\alpha$ to nearly perfect alignment. Its effect upon the magnetic angle is more subtle and relatively unstudied. In this work, we model the magnetic angle evolution of a rigid spherical accreting NS. We find that the torque spinning the NS up may affect the magnetic angle while both $\alpha$ and $\chi$ significantly deviate from zero, and the spin-up torque varies with the phase of the spin period. As the rotation axis of the NS is being aligned with the spin-up torque, the magnetic axis becomes misaligned with the rotation axis. Under favourable conditions, magnetic angle may increase by $\Delta \chi \sim 15^\circ-20^\circ$. This orthogonalisation may be an important factor in the evolution of millisecond pulsars, as it partially compensates the $\chi$ decrease potentially caused by pulsar torques. If the direction of the spin-up torque changes randomly with time, as in wind-fed high-mass X-ray binaries, both the rotation axis of the NS and its magnetic axis become involved in a non-linear random-walk evolution. The ultimate attractor of this process is a bimodal distribution in $\chi$ peaking at $\chi =0^\circ$ and $\chi = 90^\circ$.


title: Superconductivity and charge-density wave formation in lithium intercalated 2H-LixTaS2

abstract: We systematically investigated the superconducting properties and the interplay between charge-density-waves (CDW) and superconductivity in lithium-intercalated 2H-TaS2. By gradually increasing the lithium content x, the CDW formation temperature is continuously suppressed, and the onset temperature of superconductivity is increased with a maximum transition temperature Tc = 3.5 K for x = 0.096. The bulk nature of superconductivity is confirmed by a superconducting shielding fraction of the order of unity for this composition. The electronic contribution to the specific heat and Hall resistivity data demonstrate that the CDW weakens with lithium-intercalation, thereby indirectly increasing carrier density and boosting superconductivity. While the sign of the charge carriers in undoped 2H-TaS2 changes from electron-like to hole type near the CDW formation temperature around 75 K, the lithium intercalated LixTaS2 show predominantly hole-type carriers in the CDW phase even for very low lithium contents.


title: The Matter of Chance: Auditing Web Search Results Related to the 2020 U.S. Presidential Primary Elections Across Six Search Engines

abstract: We examine how six search engines filter and rank information in relation to the queries on the U.S. 2020 presidential primary elections under the default - that is nonpersonalized - conditions. For that, we utilize an algorithmic auditing methodology that uses virtual agents to conduct large-scale analysis of algorithmic information curation in a controlled environment. Specifically, we look at the text search results for "us elections", "donald trump", "joe biden" and "bernie sanders" queries on Google, Baidu, Bing, DuckDuckGo, Yahoo, and Yandex, during the 2020 primaries. Our findings indicate substantial differences in the search results between search engines and multiple discrepancies within the results generated for different agents using the same search engine. It highlights that whether users see certain information is decided by chance due to the inherent randomization of search results. We also find that some search engines prioritize different categories of information sources with respect to specific candidates. These observations demonstrate that algorithmic curation of political information can create information inequalities between the search engine users even under nonpersonalized conditions. Such inequalities are particularly troubling considering that search results are highly trusted by the public and can shift the opinions of undecided voters as demonstrated by previous research.


title: On the interaction between fast tides and convection

abstract: The interaction between equilibrium tides and convection in stellar envelopes is often considered important for tidal evolution in close binary and extrasolar planetary systems. Its efficiency for fast tides has however long been controversial, when the tidal frequency exceeds the turnover frequency of convective eddies. Recent numerical simulations indicate that convection can act like an effective viscosity which decays quadratically with tidal frequency for fast tides, resulting in inefficient dissipation in many applications involving pre- and main-sequence stars and giant planets. A new idea was however recently proposed by Terquem (2021), who suggested Reynolds stresses involving correlations between tidal flow components dominate the interaction instead of correlations between convective flow components as usually assumed. They further showed that this can potentially significantly enhance tidal dissipation for fast tides in many applications. Motivated by the importance of this problem for tidal dissipation in stars and planets, we directly compute this new term using analytical arguments and global spherical simulations using Boussinesq and anelastic hydrodynamic models. We demonstrate that the new term proposed by Terquem vanishes identically for equilibrium tides interacting with convection in both Boussinesq and anelastic models; it is therefore unlikely to contribute to tidal dissipation in stars and planets.


title: Robust Observer Based Methodology for Frequency and Rate of Change of Frequency Estimation in Power Systems

abstract: An observer based adaptive detection methodology (ADM) is proposed for estimating frequency and its rate of change (RoCoF) of the voltage and/or current measurements acquired from an instrument transformer. With guaranteed convergence and stability, the proposed methodology effectively neutralizes the effect of the measurement distortions like harmonics, decaying DC components and outliers by adding its counter negative. It is robust to noise statistics, performs well while encountering step changes in amplitude/phase and is demonstrably superior to its precursors as established by test results. A benchmark IEEE NETS/NYPS 16 machine 68 bus power system has been used for performance evaluation of robust ADM against its precursors and scaled laboratory setup based on OP5600 multiprocessors was used for establishing its real-time applicability.


title: Testing Dynamic Environments: Back to Basics

abstract: We continue the line of work initiated by Goldreich and Ron (Journal of the ACM, 2017) on testing dynamic environments and propose to pursue a systematic study of the complexity of testing basic dynamic environments and local rules. As a first step, in this work we focus on dynamic environments that correspond to elementary cellular automata that evolve according to threshold rules. Our main result is the identification of a set of conditions on local rules, and a meta-algorithm that tests evolution according to local rules that satisfy the conditions. The meta-algorithm has query complexity poly$ (1/\epsilon) $, is non-adaptive and has one-sided error. We show that all the threshold rules satisfy the set of conditions, and therefore are poly$ (1/\epsilon) $-testable. We believe that this is a rich area of research and suggest a variety of open problems and natural research directions that may extend and expand our results.


title: A Unified Theory of Robust and Distributionally Robust Optimization via the Primal-Worst-Equals-Dual-Best Principle

abstract: Robust and distributionally robust optimization are modeling paradigms for decision-making under uncertainty where the uncertain parameters are only known to reside in an uncertainty set or are governed by any probability distribution from within an ambiguity set, respectively, and a decision is sought that minimizes a cost function under the most adverse outcome of the uncertainty. In this paper, we develop a rigorous and general theory of robust and distributionally robust nonlinear optimization using the language of convex analysis. Our framework is based on a generalized `primal-worst-equals-dual-best' principle that establishes strong duality between a semi-infinite primal worst and a non-convex dual best formulation, both of which admit finite convex reformulations. This principle offers an alternative formulation for robust optimization problems that obviates the need to mobilize the machinery of abstract semi-infinite duality theory to prove strong duality in distributionally robust optimization. We illustrate the modeling power of our approach through convex reformulations for distributionally robust optimization problems whose ambiguity sets are defined through general optimal transport distances, which generalize earlier results for Wasserstein ambiguity sets.


title: Lower Bounds on the Time/Memory Tradeoff of Function Inversion

abstract: We study time/memory tradeoffs of function inversion: an algorithm, i.e., an inverter, equipped with an s-bit advice on a randomly chosen function $f : [n] -> [n]$ and using $q$ oracle queries to $f$, tries to invert a randomly chosen output $y$ of $f$, i.e., to find $x\in f^{-1}(y)$. Much progress was done regarding adaptive function inversion - the inverter is allowed to make adaptive oracle queries. Hellman [IEEE transactions on Information Theory 80] presented an adaptive inverter that inverts with high probability a random $f$. Fiat and Naor [SICOMP 00] proved that for any $s$, $q$ with $s^3q = n$ (ignoring low-order terms), an $s$-advice, $q$-query variant of Hellmans algorithm inverts a constant fraction of the image points of any function. Yao [STOC 90] proved a lower bound of $sq \geq n$ for this problem. Closing the gap between the above lower and upper bounds is a long-standing open question. Very little is known for the non-adaptive variant of the question. The only known upper bounds, i.e., inverters, are the trivial ones (with $s+q = n$), and the only lower bound is the above bound of Yao. In a recent work, Corrigan-Gibbs and Kogan [TCC 19] partially justified the difficulty of finding lower bounds on non-adaptive inverters, showing that a lower bound on the time/memory tradeoff of non-adaptive inverters implies a lower bound on low-depth Boolean circuits. Bounds that, for a strong enough choice of parameters, are notoriously hard to prove. We make progress on the above intriguing question, both for the adaptive and the non-adaptive case, proving the following lower bounds on restricted families of inverters.


title: VECA : A Toolkit for Building Virtual Environments to Train and Test Human-like Agents

abstract: Building human-like agent, which aims to learn and think like human intelligence, has long been an important research topic in AI. To train and test human-like agents, we need an environment that imposes the agent to rich multimodal perception and allows comprehensive interactions for the agent, while also easily extensible to develop custom tasks. However, existing approaches do not support comprehensive interaction with the environment or lack variety in modalities. Also, most of the approaches are difficult or even impossible to implement custom tasks. In this paper, we propose a novel VR-based toolkit, VECA, which enables building fruitful virtual environments to train and test human-like agents. In particular, VECA provides a humanoid agent and an environment manager, enabling the agent to receive rich human-like perception and perform comprehensive interactions. To motivate VECA, we also provide 24 interactive tasks, which represent (but are not limited to) four essential aspects in early human development: joint-level locomotion and control, understanding contexts of objects, multimodal learning, and multi-agent learning. To show the usefulness of VECA on training and testing human-like learning agents, we conduct experiments on VECA and show that users can build challenging tasks for engaging human-like algorithms, and the features supported by VECA are critical on training human-like agents.


title: A rigged model of the breast for preoperative surgical planning

abstract: In breast surgical practice, drawing is part of the preoperative planning procedure and is essential for a successful operation. In this study, we design a pipeline to assist surgeons with patient-specific breast surgical drawings. We use a deformable torso model containing the surgical patterns to match any breast surface scan. To be compatible with surgical timing, we build an articulated model through a skinning process coupled with shape deformers to enhance a fast registration process. On one hand, the scalable bones of the skinning account for pose and morphological variations of the patients. On the other hand, pre-designed artistic blendshapes create a linear space for guaranteeing anatomical variations. Then, we apply meaningful constraints to the model to find a trade-off between precision and speed. The experiments were conducted on 7 patients, in 2 different poses (prone and supine) with a breast size ranging from 36A and 42C (US/UK bra sizing). The acquisitions were obtained using the depth camera Structure Sensor, and the breast scans were acquired in less than 1 minute. The result is a registration method converging within a few seconds (3 maximum), reaching a Mean Absolute Error of 2.3 mm for mesh registration and 8.0 mm for breast anatomical landmarks. Compared to the existing literature, our model can be personalized and does not require any database. Finally, our registered model can be used to transfer surgical reference patterns onto any patient in any position.


title: Laser-induced Coulomb explosion imaging of \ce{(C6H5Br)2} and \ce{C6H5Br-I2} dimers in helium nanodroplets using the Timepix3

abstract: We have deduced the structure of the \ce{bromobenzene}--\ce{I2} heterodimer and the \ce{(bromobenzene)2} homodimer inside helium droplets using a combination of laser-induced alignment, Coulomb explosion imaging, and three-dimensional ion imaging. The complexes were fixed in a variety of orientations in the laboratory frame, then in each case multiply ionized by an intense laser pulse. A three dimensional ion imaging detector, including a Timepix3 detector allowed us to measure the correlations between velocity vectors of different fragments and, in conjunction with classical simulations, work backward to the initial structure of the complex prior to explosion. For the heterodimer, we find that the \ce{I2} molecular axis intersects the phenyl ring of the bromobenzene approximately perpendicularly. The homodimer has a stacked parallel structure, with the two bromine atoms pointing in opposite directions. These results illustrate the ability of Coulomb explosion imaging to determine the structure of large complexes, and point the way toward real-time measurements of bimolecular reactions inside helium droplets.


title: Computational Two-Party Correlation: A Dichotomy for Key-Agreement Protocols

abstract: Let $\pi$ be an efficient two-party protocol that given security parameter $\kappa$, both parties output single bits $X_\kappa$ and $Y_\kappa$, respectively. We are interested in how $(X_\kappa,Y_\kappa)$ "appears" to an efficient adversary that only views the transcript $T_\kappa$. We make the following contributions: $\bullet$ We develop new tools to argue about this loose notion and show (modulo some caveats) that for every such protocol $\pi$, there exists an efficient simulator such that the following holds: on input $T_\kappa$, the simulator outputs a pair $(X'_\kappa ,Y'_\kappa)$ such that $(X'_\kappa,Y'_\kappa,T_\kappa)$ is (somewhat) computationally indistinguishable from $(X_\kappa,Y_\kappa,T_\kappa)$. $\bullet$ We use these tools to prove the following dichotomy theorem: every such protocol $\pi$ is: - either uncorrelated -- it is (somewhat) indistinguishable from an efficient protocol whose parties interact to produce $T_\kappa$, but then choose their outputs independently from some product distribution (that is determined in poly-time from $T_\kappa$), - or, the protocol implies a key-agreement protocol (for infinitely many $\kappa$'s). Uncorrelated protocols are uninteresting from a cryptographic viewpoint, as the correlation between outputs is (computationally) trivial. Our dichotomy shows that every protocol is either completely uninteresting or implies key-agreement. $\bullet$ We use the above dichotomy to make progress on open problems on minimal cryptographic assumptions required for differentially private mechanisms for the XOR function. $\bullet$ A subsequent work of Haitner et al. uses the above dichotomy to makes progress on a longstanding open question regarding the complexity of fair two-party coin-flipping protocols.


title: Joint D2D Collaboration and Task Offloading for Edge Computing: A Mean Field Graph Approach

abstract: Mobile edge computing (MEC) facilitates computation offloading to edge server, as well as task processing via device-to-device (D2D) collaboration. Existing works mainly focus on centralized network-assisted offloading solutions, which are unscalable to scenarios involving collaboration among massive users. In this paper, we propose a joint framework of decentralized D2D collaboration and efficient task offloading for a large-population MEC system. Specifically, we utilize the power of two choices for D2D collaboration, which enables users to beneficially assist each other in a decentralized manner. Due to short-range D2D communication and user movements, we formulate a mean field model on a finite-degree and dynamic graph to analyze the state evolution of D2D collaboration. We derive the existence, uniqueness and convergence of the state stationary point so as to provide a tractable collaboration performance. Complementing this D2D collaboration, we further build a Stackelberg game to model users' task offloading, where edge server is the leader to determine a service price, while users are followers to make offloading decisions. By embedding the Stackelberg game into Lyapunov optimization, we develop an online offloading and pricing scheme, which could optimize server's service utility and users' system cost simultaneously. Extensive evaluations show that our D2D collaboration can mitigate users' workloads by $73.8\%$ and task offloading can achieve high energy efficiency.


title: Mean Field Equilibrium in Multi-Armed Bandit Game with Continuous Reward

abstract: Mean field game facilitates analyzing multi-armed bandit (MAB) for a large number of agents by approximating their interactions with an average effect. Existing mean field models for multi-agent MAB mostly assume a binary reward function, which leads to tractable analysis but is usually not applicable in practical scenarios. In this paper, we study the mean field bandit game with a continuous reward function. Specifically, we focus on deriving the existence and uniqueness of mean field equilibrium (MFE), thereby guaranteeing the asymptotic stability of the multi-agent system. To accommodate the continuous reward function, we encode the learned reward into an agent state, which is in turn mapped to its stochastic arm playing policy and updated using realized observations. We show that the state evolution is upper semi-continuous, based on which the existence of MFE is obtained. As the Markov analysis is mainly for the case of discrete state, we transform the stochastic continuous state evolution into a deterministic ordinary differential equation (ODE). On this basis, we can characterize a contraction mapping for the ODE to ensure a unique MFE for the bandit game. Extensive evaluations validate our MFE characterization, and exhibit tight empirical regret of the MAB problem.


title: Representing the boundary of stellarator plasmas

abstract: In stellarator optimization studies, the boundary of the plasma is usually described by Fourier series that are not unique: several sets of Fourier coefficients describe approximately the same boundary shape. A simple method for eliminating this arbitrariness is proposed and shown to work well in practice.


title: Partial Information Decomposition via Deficiency for Multivariate Gaussians

abstract: Bivariate partial information decompositions (PIDs) characterize how the information in a "message" random variable is decomposed between two "constituent" random variables in terms of unique, redundant and synergistic information components. These components are a function of the joint distribution of the three variables, and are typically defined using an optimization over the space of all possible joint distributions. This makes it computationally challenging to compute PIDs in practice and restricts their use to low-dimensional random vectors. To ease this burden, we consider the case of jointly Gaussian random vectors in this paper. This case was previously examined by Barrett (2015), who showed that certain operationally well-motivated PIDs reduce to a closed form expression for scalar messages. Here, we show that Barrett's result does not extend to vector messages in general, and characterize the set of multivariate Gaussian distributions that reduce to closed-form. Then, for all other multivariate Gaussian distributions, we propose a convex optimization framework for approximately computing a specific PID definition based on the statistical concept of deficiency. Using simplifying assumptions specific to the Gaussian case, we provide an efficient algorithm to approximately compute the bivariate PID for multivariate Gaussian variables with tens or even hundreds of dimensions. We also theoretically and empirically justify the goodness of this approximation.


title: Channels of Small Log-Ratio Leakage and Characterization of Two-Party Differentially Private Computation

abstract: Consider a PPT two-party protocol $\pi=(A,B)$ in which the parties get no private inputs and obtain outputs $O^A,O^B\in \{0,1\}$, and let $V^A$ and $V^B$ denote the parties' individual views. Protocol $\pi$ has $\alpha$-agreement if $Pr[O^A=O^B]=1/2+\alpha$. The leakage of $\pi$ is the amount of information a party obtains about the event $\{O^A=O^B\}$; that is, the leakage $\epsilon$ is the maximum, over $P\in\{A,B\}$, of the distance between $V^P|OA=OB$ and $V^P|OA\neq OB$. Typically, this distance is measured in statistical distance, or, in the computational setting, in computational indistinguishability. For this choice, Wullschleger [TCC 09] showed that if $\alpha>>\epsilon$ then the protocol can be transformed into an OT protocol. We consider measuring the protocol leakage by the log-ratio distance (which was popularized by its use in the differential privacy framework). The log-ratio distance between X,Y over domain \Omega is the minimal $\epsilon>0$ for which, for every $v\in\Omega$, $log(Pr[X=v]/Pr[Y=v])\in [-\epsilon,\epsilon]$. In the computational setting, we use computational indistinguishability from having log-ratio distance $\epsilon$. We show that a protocol with (noticeable) accuracy $\alpha\in\Omega(\epsilon^2)$ can be transformed into an OT protocol (note that this allows $\epsilon>>\alpha$). We complete the picture, in this respect, showing that a protocol with $\alpha\in o(\epsilon^2)$ does not necessarily imply OT. Our results hold for both the information theoretic and the computational settings, and can be viewed as a "fine grained" approach to "weak OT amplification". We then use the above result to fully characterize the complexity of differentially private two-party computation for the XOR function, answering the open question put by Goyal, Khurana, Mironov, Pandey, and Sahai [ICALP 16] and Haitner, Nissim, Omri, Shaltiel, and Silbak [FOCS 18].


title: Learning swimming escape patterns for larval fish under energy constraints

abstract: Swimming organisms can escape their predators by creating and harnessing unsteady flow fields through their body motions. Stochastic optimization and flow simulations have identified escape patterns that are consistent with those observed in natural larval swimmers. However, these patterns have been limited by the specification of a particular cost function and depend on a prescribed functional form of the body motion. Here, we deploy reinforcement learning to discover swimmer escape patterns for larval fish under energy constraints. The identified patterns include the C-start mechanism, in addition to more energetically efficient escapes. We find that maximizing distance with limited energy requires swimming via short bursts of accelerating motion interlinked with phases of gliding. The present, data efficient, reinforcement learning algorithm results in an array of patterns that reveal practical flow optimization principles for efficient swimming and the methodology can be transferred to the control of aquatic robotic devices operating under energy constraints.


title: Toposes of Topological Monoid Actions

abstract: We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We characterize these toposes in terms of their canonical points. We identify natural classes of representatives with good topological properties, `powder monoids' and then `complete monoids', for the Morita-equivalence classes of topological monoids. Finally, we show that the construction of these toposes can be made (2-)functorial by considering geometric morphisms induced by continuous semigroup homomorphisms.


title: Approximate Bayesian Computation for an Explicit-Duration Hidden Markov Model of COVID-19 Hospital Trajectories

abstract: We address the problem of modeling constrained hospital resources in the midst of the COVID-19 pandemic in order to inform decision-makers of future demand and assess the societal value of possible interventions. For broad applicability, we focus on the common yet challenging scenario where patient-level data for a region of interest are not available. Instead, given daily admissions counts, we model aggregated counts of observed resource use, such as the number of patients in the general ward, in the intensive care unit, or on a ventilator. In order to explain how individual patient trajectories produce these counts, we propose an aggregate count explicit-duration hidden Markov model, nicknamed the ACED-HMM, with an interpretable, compact parameterization. We develop an Approximate Bayesian Computation approach that draws samples from the posterior distribution over the model's transition and duration parameters given aggregate counts from a specific location, thus adapting the model to a region or individual hospital site of interest. Samples from this posterior can then be used to produce future forecasts of any counts of interest. Using data from the United States and the United Kingdom, we show our mechanistic approach provides competitive probabilistic forecasts for the future even as the dynamics of the pandemic shift. Furthermore, we show how our model provides insight about recovery probabilities or length of stay distributions, and we suggest its potential to answer challenging what-if questions about the societal value of possible interventions.


title: Fast Multi-Step Critiquing for VAE-based Recommender Systems

abstract: Recent studies have shown that providing personalized explanations alongside recommendations increases trust and perceived quality. Furthermore, it gives users an opportunity to refine the recommendations by critiquing parts of the explanations. On one hand, current recommender systems model the recommendation, explanation, and critiquing objectives jointly, but this creates an inherent trade-off between their respective performance. On the other hand, although recent latent linear critiquing approaches are built upon an existing recommender system, they suffer from computational inefficiency at inference due to the objective optimized at each conversation's turn. We address these deficiencies with M&Ms-VAE, a novel variational autoencoder for recommendation and explanation that is based on multimodal modeling assumptions. We train the model under a weak supervision scheme to simulate both fully and partially observed variables. Then, we leverage the generalization ability of a trained M&Ms-VAE model to embed the user preference and the critique separately. Our work's most important innovation is our critiquing module, which is built upon and trained in a self-supervised manner with a simple ranking objective. Experiments on four real-world datasets demonstrate that among state-of-the-art models, our system is the first to dominate or match the performance in terms of recommendation, explanation, and multi-step critiquing. Moreover, M&Ms-VAE processes the critiques up to 25.6x faster than the best baselines. Finally, we show that our model infers coherent joint and cross generation, even under weak supervision, thanks to our multimodal-based modeling and training scheme.


title: [Re] Three-dimensional wake topology and propulsive performance of low-aspect-ratio pitching-rolling plates

abstract: This article reports on a full replication study in computational fluid dynamics, using an immersed boundary method to obtain the flow around a pitching and rolling elliptical wing. As in the original study, the computational experiments investigate the wake topology and aerodynamic forces, looking at the effect of: Reynolds number (100--400), Strouhal number (0.4--1.2), aspect ratio, and rolling/pitching phase difference. We also include a grid-independence study (from 5 to 72 million grid cells). The trends in aerodynamic performance and the characteristics of the wake topology were replicated, despite some differences in results. We declare the replication successful, and make fully available all the digital artifacts and workflow definitions, including software build recipes and container images, as well as secondary data and post-processing code. Run times for each computational experiment were between 8.1 and 13.8 hours to complete 5 flapping cycles, using two compute nodes with dual 20-core 3.7GHz Intel Xeon Gold 6148 CPUs and two NVIDIA V100 GPU devices each.


title: Sensitivity of SKA to dark matter induced radio emission

abstract: Conventionally, one can constrain the dark matter (DM) interaction with DM mass heavier than GeV by searching for DM induced synchrotron emission in the radio frequency band. However, an MeV DM can also generate detectable radio emission if electrons and positrons produced by DM annihilation or decay undergoes inverse Compton scattering (ICS) with the cosmic microwave background. The upcoming radio telescope Square Kilometre Array (SKA) is designed to operate with extremely high sensitivity. We investigate the capability of the SKA to detect DM particles in a board mass range from MeV to TeV, for both annihilation and decay scenarios. In this paper, we consider the sensitivities of the future SKA first and second phase (SKA1 and SKA2). As a comprehensive study, we systematically study the impacts on the DM-induced signal computation from the magnetic field strengths and particle diffusion coefficients. We compare the detection potential of four very different sources: two dwarf spheroidal galaxies (Draco and Segue 1), one radio-poor cluster (A2199), and one DM-rich ultra-diffuse galaxy (Dragonfly 44). We project the SKA1 and SKA2 sensitivities with the exposure of 100 hours on the annihilation cross section and decay time for DM mass from MeV to TeV by considering two different leptonic final states $e^+ e^-$ and $\mu^+\mu^-$.