title: Total yield of electron-positron pairs produced from vacuum in strong electromagnetic fields: validity of the locally constant field approximation

abstract: The widely-used locally constant field approximation (LCFA) can be utilized in order to derive a simple closed-form expression for the total number of particles produced in the presence of a strong electromagnetic field of a general spatio-temporal configuration. A usual justification for this approximate approach is the requirement that the external field vary slowly in space and time. In this investigation, we examine the validity of the LCFA by comparing its predictions to the results obtained by means of exact nonperturbative numerical techniques. To benchmark the LCFA in the regime of small field amplitudes and low frequencies, we employ a semiclassical approach. As a reference, we consider a standing electromagnetic wave oscillating both in time and space as well as two spatially uniform field configurations: Sauter pulse and oscillating electric field. Performing a thorough numerical analysis, we identify the domain of the field parameters where the approximation is well justified. In particular, it is demonstrated that the Keldysh parameter is not a relevant quantity governing the accuracy of the LCFA.


title: New insights in laser-generated ultra-intense gamma-ray and neutron sources for nuclear applications and science

abstract: Ultra-intense MeV photon and neutron beams are indispensable tools in many research fields such as nuclear, atomic and material science as well as in medical and biophysical applications. For astrophysical applications aimed for laboratory investigations, neutron fluxes in excess of 10$^{21}$ n/(cm$^2$ s) are required. Such ultra-high fluxes are unattainable with existing conventional reactor- and accelerator-based facilities. Currently discussed concepts for generating high-flux neutron beams are based on ultra-high-power multi-petawatt lasers operating at >10$^{23}$ W/cm$^2$ intensities. Here, we present a novel efficient concept for generating $\gamma$ and neutron beams based on enhanced generation of direct laser accelerated electrons in relativistic laser interactions with a long-scale near critical density plasma at 10$^{19}$ W/cm$^{2}$ intensity. New experimental insights in the laser-driven generation of ultra-intense well-directed multi-MeV beams of photons with >10$^{12}$ ph/sr and a ultra-high intense neutron source with >6$\times$10$^{10}$ neutrons per shot are presented. More than 1.4\% laser-to-gamma conversion efficiency above 10 MeV and 0.05\% laser-to-neutron conversion efficiency were recorded, already at moderate relativistic laser intensities and ps pulse duration. This approach promises a strong boost of the diagnostic potential of existing kJ PW laser systems used for ICF research.


title: Addendum to On Kuratowski partitions in the Marczewski and Laver structures and Ellentuck topology

abstract: In this paper we present the generalizations of results, given in the paper published in Georgian J. Math. 26(2019) no. 4, pp 591-598, towards point-finite families.


title: Bambi: A simple interface for fitting Bayesian linear models in Python

abstract: The popularity of Bayesian statistical methods has increased dramatically in recent years across many research areas and industrial applications. This is the result of a variety of methodological advances with faster and cheaper hardware as well as the development of new software tools. Here we introduce an open source Python package named Bambi (BAyesian Model Building Interface) that is built on top of the PyMC probabilistic programming framework and the ArviZ package for exploratory analysis of Bayesian models. Bambi makes it easy to specify complex generalized linear hierarchical models using a formula notation similar to those found in R. We demonstrate Bambi's versatility and ease of use with a few examples spanning a range of common statistical models including multiple regression, logistic regression, and mixed-effects modeling with crossed group specific effects. Additionally we discuss how automatic priors are constructed. Finally, we conclude with a discussion of our plans for the future development of Bambi.


title: Quantifying the destructuring of a thixotropic colloidal suspension using falling ball viscometry

abstract: The settling dynamics of falling spheres inside a Laponite suspension is studied. Laponite is a colloidal synthetic clay that shows physical aging in aqueous suspension due to the spontaneous evolution of inter-particle electrostatic interactions. In our experiments, millimeter-sized steel balls are dropped in aqueous Laponite suspensions of different ages (i.e., time elapsed since sample preparation). The motion of the falling balls are captured using a high-speed camera and the velocities of their centroids are estimated from the images. Interestingly, we observe that balls of larger diameters fail to achieve terminal velocity over the entire duration of the experiment. We propose a mathematical model that accounts for rapid structural changes (expected to be induced by the falling ball) in Laponite suspensions whose aging time scales are much slower than the time of fall of the ball. For a range of ball sizes and Laponite suspension ages, our model correctly predicts the time-dependence of the ball velocity. Furthermore, fits to our model allow us to estimate the rates of destructuring of the thixotropic suspensions due to the passage of the falling ball.


title: Inflaton Oscillations and Post-Inflationary Reheating

abstract: We analyze in detail the perturbative decay of the inflaton oscillating about a generic form of its potential $V(\phi) = \phi^k$, taking into account the effects of non-instantaneous reheating. We show that evolution of the temperature as a function of the cosmological scale factor depends on the spin statistics of the final state decay products when $k > 2$. We also include the inflaton-induced mass of the final states leading to either kinematic suppression or enhancement if the final states are fermionic or bosonic respectively. We compute the maximum temperature reached after inflation, the subsequent evolution of the temperature and the final reheat temperature. We apply our results to the computation of the dark matter abundance through thermal scattering during reheating. We also provide an example based on supersymmetry for the coupling of the inflaton to matter.


title: On Euler's rotation theorem

abstract: It is well known that a rigid motion of the Euclidean plane can be written as the composition of at most three reflections. It is perhaps not so widely known that a similar result holds for Euclidean space in any number of dimensions. The purpose of the present article is, firstly, to present a natural proof of this result in dimension 3 by explicitly constructing a suitable sequence of reflections, and, secondly, to show how a careful analysis of this construction provides a quick and pleasant geometric path to Euler's rotation theorem, and to the complete classification of rigid motions of space, whether orientation preserving or not. Finally, we present an example where we use the general scheme of our proofs to classify the composition of two explicitly given orientation preserving isometries. We believe that our presentation will highlight the elementary nature of the results and hope that readers, perhaps especially those more familiar with the usual linear algebra approach, will appreciate the simplicity and geometric flavour of the arguments.


title: Consolidated Dataset and Metrics for High-Dynamic-Range Image Quality

abstract: Increasing popularity of high-dynamic-range (HDR) image and video content brings the need for metrics that could predict the severity of image impairments as seen on displays of different brightness levels and dynamic range. Such metrics should be trained and validated on a sufficiently large subjective image quality dataset to ensure robust performance. As the existing HDR quality datasets are limited in size, we created a Unified Photometric Image Quality dataset (UPIQ) with over 4,000 images by realigning and merging existing HDR and standard-dynamic-range (SDR) datasets. The realigned quality scores share the same unified quality scale across all datasets. Such realignment was achieved by collecting additional cross-dataset quality comparisons and re-scaling data with a psychometric scaling method. Images in the proposed dataset are represented in absolute photometric and colorimetric units, corresponding to light emitted from a display. We use the new dataset to retrain existing HDR metrics and show that the dataset is sufficiently large for training deep architectures. We show the utility of the dataset on brightness aware image compression.


title: From the Lagrange polygon to the figure eight I: Numerical evidence extending a conjecture of Marchal

abstract: The present work studies the continuation class of the regular $n$-gon solution of the $n$-body problem. For odd numbers of bodies between $n = 3$ and $n = 15$ we apply one parameter numerical continuation algorithms to the energy/frequency variable, and find that the figure eight choreography can be reached starting from the regular $n$-gon. The continuation leaves the plane of the $n$-gon, and passes through families of spatial choreographies with the topology of torus knots. Numerical continuation out of the $n$-gon solution is complicated by the fact that the kernel of the linearization there is high dimensional. Our work exploits a symmetrized version of the problem which admits dense sets of choreography solutions, and which can be written as a delay differential equation in terms of one of the bodies. This symmetrized setup simplifies the problem in several ways. On one hand, the direction of the kernel is determined automatically by the symmetry. On the other hand, the set of possible bifurcations is reduced and the $n$-gon continues to the eight after a single symmetry breaking bifurcation. Based on the calculations presented here we conjecture that the $n$-gon and the eight are in the same continuation class for all odd numbers of bodies.


title: On a length-biased Birnbaum-Saunders regression model applied to meteorological data

abstract: The length-biased Birnbaum-Saunders distribution is both useful and practical for environmental sciences. In this paper, we initially derive some new properties for the length-biased Birnbaum-Saunders distribution, showing that one of its parameters is the mode and that it is bimodal. We then introduce a new regression model based on this distribution. We implement use the maximum likelihood method for parameter estimation, approach interval estimation and consider three types of residuals. An elaborate Monte Carlo study is carried out for evaluating the performance of the likelihood-based estimates, the confidence intervals and the empirical distribution of the residuals. Finally, we illustrate the proposed regression model with the use of a real meteorological data set.


title: Investigation of microwave loss induced by oxide regrowth in high-Q Nb resonators

abstract: The coherence of state-of-the-art superconducting qubit devices is predominantly limited by two-level-system defects, found primarily at amorphous interface layers. Reducing microwave loss from these interfaces by proper surface treatments is key to push the device performance forward. Here, we study niobium resonators after removing the native oxides with a hydrofluoric acid etch. We investigate the reappearance of microwave losses introduced by surface oxides that grow after exposure to the ambient environment. We find that losses in quantum devices are reduced by an order of magnitude, with internal Q-factors reaching up to 7 $\cdot$ 10$^6$ in the single photon regime, when devices are exposed to ambient conditions for 16 min. Furthermore, we observe that Nb2O5 is the only surface oxide that grows significantly within the first 200 hours, following the extended Cabrera-Mott growth model. In this time, microwave losses scale linearly with the Nb$_2$O$_5$ thickness, with an extracted loss tangent tan$\delta$ = 9.9 $\cdot$ 10$^{-3}$. Our findings are of particular interest for devices spanning from superconducting qubits, quantum-limited amplifiers, microwave kinetic inductance detectors to single photon detectors.


title: Image-based Intraluminal Contact Force Monitoring in Robotic Vascular Navigation

abstract: Embolization, stroke, ischaemic lesion, and perforation remain significant concerns in endovascular interventions. Intravascular sensing of tool interaction with the arteries is advantageous to minimize such complications and enhance navigation safety. Intraluminal information is currently limited due to the lack of intravascular contact sensing technologies. We present monitoring of the intraluminal tool interaction with the arterial wall using an image-based estimation approach within vascular robotic navigation. The proposed image-based method employs continuous finite element simulation of the tool using imaging data to estimate multi-point forces along tool-vessel wall interaction. We implemented imaging algorithms to detect and track contacts, and compute pose measurements. The model is constructed based on the nonlinear beam element and flexural rigidity profile over the tool length. During remote cannulation of aortic arteries, intraluminal monitoring achieved tracking local contact forces, building a contour map of force on the arterial wall and estimating tool structural stress. Results suggest that high risk intraluminal forces may happen even with low insertion force. The presented online monitoring system delivers insight into the intraluminal behavior of endovascular tools and is well suited for intraoperative visual guidance for the clinician, robotic control of vascular procedures and research on interventional device design.


title: Functional time series forecasting of extreme values

abstract: We consider forecasting functional time series of extreme values within a generalised extreme value distribution (GEV). The GEV distribution can be characterised using the three parameters (location, scale and shape). As a result, the forecasts of the GEV density can be accomplished by forecasting these three latent parameters. Depending on the underlying data structure, some of the three parameters can either be modelled as scalars or functions. We provide two forecasting algorithms to model and forecast these parameters. To assess the forecast uncertainty, we apply a sieve bootstrap method to construct pointwise and simultaneous prediction intervals of the forecasted extreme values. Illustrated by a daily maximum temperature dataset, we demonstrate the advantages of modelling these parameters as functions. Further, the finite-sample performance of our methods is quantified using several Monte-Carlo simulated data under a range of scenarios.


title: First Results from Axion Haloscope at CAPP around 10.7 $\mu$eV

abstract: The Center for Axion and Precision Physics research at the Institute for Basic Science is searching for axion dark matter using ultra-low temperature microwave resonators. We report the exclusion of the axion mass range 10.7126$-$10.7186 $\mu$eV with near Kim-Shifman-Vainshtein-Zakharov (KSVZ) coupling sensitivity and the range 10.16$-$11.37 $\mu$eV with about 9 times larger coupling at 90$\%$ confidence level. This is the first axion search result in these ranges. It is also the first with a resonator physical temperature of less than 40 mK.


title: A Comparison of Star-Forming Clumps and Tidal Tails in Local Mergers and High Redshift Galaxies

abstract: The Clusters, Clumps, Dust, and Gas in Extreme Star-Forming Galaxies (CCDG) survey with the Hubble Space Telescope includes multi-wavelength imaging of 13 galaxies less than 100 Mpc away spanning a range of morphologies and sizes, from Blue Compact Dwarfs (BCDs) to luminous infrared galaxies (LIRGs), all with star formation rates in excess of hundreds of solar masses per year. Images of 7 merging galaxies in the CCDG survey were artificially redshifted to compare with galaxies at z=0.5, 1, and 2. Most redshifted tails have surface brightnesses that would be visible at z=0.5 or 1 but not at z=2 due to cosmological dimming. Giant star clumps are apparent in these galaxies; the 51 measured have similar sizes, masses and colors as clumps in observed high-z systems in UDF, GEMS, GOODS, and CANDELS surveys. These results suggest that some clumpy high-z galaxies without observable tidal features could be the result of mergers. The local clumps also have the same star formation rate per unit area and stellar surface density as clumps observed at intermediate and high redshift, so they provide insight into the substructure of distant clumps. A total of 1596 star clusters brighter than MV = -9 were identified within the boundaries of the local clumps. The cluster magnitude distribution function is a power law with approximately the same slope (approximately -1 for a number-log luminosity plot) for all the galaxies both inside and outside the clumps and independent of clump surface brightness.


title: Selberg's Central Limit Theorem for automorphic $L$-functions in the $t$-aspect

abstract: We present a proof of Selberg's Central Limit Theorem for automorphic $L$-functions of degree 2 using Radziwi\l\l\space and Soundararajan's method. Additionally, we prove the independence of the automorphic $L$-functions associated with the sequence of primitive holomorphic cusp forms.


title: Comment on "Quantum Fisher information flow and non-Markovian processes of open systems"

abstract: In [Phys. Rev. A 82, 042103 (2010)], the authors showed that "for a class of the non-Markovian master equations in time-local forms", the quantum Fisher information (QFI) flow can be decomposed into additive subflows corresponding to different dissipative channels. However, the paper does not specify the class of non-Markovian time-local master equations for which their analytic decomposition of the QFI flow is valid. Here we show that several suppositions have to be made in order to reach the central result of Ref. \cite{luwsun10}, which appears to be valid for a narrow class of density operators $\rho (\theta;t)$ and quantum Fisher information $\mathcal{F}(\theta;t)$, and under strict conditions on the time-local master equation. More precisely, the decomposition of the QFI flow obtained in Ref. \cite{luwsun10} is valid under two conditions not mentioned in the paper: (i) $\frac{d}{dt} \left( \frac{\partial \rho}{\partial \theta} \right)=$ $\frac{\partial}{\partial \theta} \left( \frac{d \rho}{dt} \right)$; (ii) $\frac{\partial H}{\partial \theta}=0$, $\frac{\partial \gamma_i}{\partial \theta}=0$, $\frac{\partial A_i}{\partial \theta}=0$, meaning that the Hamiltonian $H(t)$, the decay rates $\gamma_i(t)$, and the Lindblad operators $A_i(t)$ appearing in the non-Markovian time-local master equation have to not depend on the parameter $\theta$ about which the quantum Fisher information is defined.


title: Sensitivity Analysis of Lift and Drag Coefficients for Flow over Elliptical Cylinders of Arbitrary Aspect Ratio and Angle of Attack using Neural Network

abstract: Flow over bluff bodies has multiple engineering applications and thus, has been studied for decades. The lift and drag coefficients are practically important in the design of many components such as automobiles, aircrafts, buildings etc. These coefficients vary significantly with Reynolds number and geometric parameters of the bluff body. In this study, we have analyzed the sensitivity of lift and drag coefficients on single and tandem elliptic cylinders to cylinder aspect ratios, angles of attack, cylinder separation, and flow Reynolds number. Sensitivity analysis with Monte-Carlo algorithm requires several function evaluations, which is infeasible with high-fidelity computational simulations. We have therefore trained multilayer perceptron neural networks (MLPNN) using computational fluid dynamics data to estimate the lift and drag coefficients efficiently. Line plots of the variations in lift and drag as functions of the governing parameters are also presented. The present approach is applicable to study of various other bluff body configurations.


title: Augmentation Inside the Network

abstract: In this paper, we present augmentation inside the network, a method that simulates data augmentation techniques for computer vision problems on intermediate features of a convolutional neural network. We perform these transformations, changing the data flow through the network, and sharing common computations when it is possible. Our method allows us to obtain smoother speed-accuracy trade-off adjustment and achieves better results than using standard test-time augmentation (TTA) techniques. Additionally, our approach can improve model performance even further when coupled with test-time augmentation. We validate our method on the ImageNet-2012 and CIFAR-100 datasets for image classification. We propose a modification that is 30% faster than the flip test-time augmentation and achieves the same results for CIFAR-100.


title: Optimising Placement of Pollution Sensors in Windy Environments

abstract: Air pollution is one of the most important causes of mortality in the world. Monitoring air pollution is useful to learn more about the link between health and pollutants, and to identify areas for intervention. Such monitoring is expensive, so it is important to place sensors as efficiently as possible. Bayesian optimisation has proven useful in choosing sensor locations, but typically relies on kernel functions that neglect the statistical structure of air pollution, such as the tendency of pollution to propagate in the prevailing wind direction. We describe two new wind-informed kernels and investigate their advantage for the task of actively learning locations of maximum pollution using Bayesian optimisation.


title: Anomalous behavior in high-pressure carbonaceous sulfur hydride

abstract: A new experimental study by Snider et al. [Nature 586, 373-377 (2020)] reported behavior in a high-pressure carbon-sulfur-hydrogen system that has been interpreted by the authors as superconductivity at room temperature. The sudden drop of electrical resistance at a critical temperature and the change of the R vs. T behavior with an applied magnetic field point to superconductivity. This is a very exciting study in one of the most important areas of science, hence, it is crucial for the community to investigate these findings and hopefully reproduce these results. In this comment, we present calculations that expand upon the arguments put forth by Hirsch and Marsiglio [arXiv:2010.10307], and offer some speculations about physical mechanisms that might explain the observed data. In agreement with Hirsch and Marsiglio, we show that there are errors in the analysis presented in the experimental paper, and with the correct analysis, the reported R vs. T data significantly deviate from the expected behavior. In particular, the extremely sharp change in resistance at the superconducting transition is not consistent with a strongly type II superconductor.


title: Localising the Smallest Stiffness and its Direction of a Homogeneous Structure by Spectral and Optimisation Approaches

abstract: Structural stiffness plays an important role in engineering design. The analysis of stiffness requires precise experiments and computational models that can be difficult or time-consuming to procure. A novel relation between modal and static stiffness based on modal decomposition is introduced in this study. This relation allows analysing the smallest structural stiffness and its direction. Further, it is shown that the smallest stiffness can be found using an optimisation algorithm that is based on the maximisation of structural compliance. Both approaches are compared on several computational examples leading to similar results in terms of smallest stiffness and its direction. The proposed approaches serve as quantitative/qualitative tools for the analyses of structural stiffness, particularly in structural health monitoring.


title: Forming Real-World Human-Robot Cooperation for Tasks With General Goal

abstract: In human-robot cooperation, the robot cooperates with humans to accomplish the task together. Existing approaches assume the human has a specific goal during the cooperation, and the robot infers and acts toward it. However, in real-world environments, a human usually only has a general goal (e.g., general direction or area in motion planning) at the beginning of the cooperation, which needs to be clarified to a specific goal (i.e., an exact position) during cooperation. The specification process is interactive and dynamic, which depends on the environment and the partner's behavior. The robot that does not consider the goal specification process may cause frustration to the human partner, elongate the time to come to an agreement, and compromise team performance. This work presents the Evolutionary Value Learning approach to model the dynamics of the goal specification process with State-based Multivariate Bayesian Inference and goal specificity-related features. This model enables the robot to enhance the process of the human's goal specification actively and find a cooperative policy in a Deep Reinforcement Learning manner. Our method outperforms existing methods with faster goal specification processes and better team performance in a dynamic ball balancing task with real human subjects.


title: AGN jets and a fanciful trio of black holes in the Abell 85 Brightest Cluster Galaxy

abstract: A new radio map of the Abell 85 Brightest Cluster Galaxy (BCG) was obtained with the Karl G. Jansky Very Large Array (VLA). With a resolution of 0.02", this radio image shows two kiloparsec-scale bipolar jets emanating from the active galactic nucleus of the Abell 85 BCG. The galaxy core appears as a single entity on the new radio map. It has been assumed that the Abell 85 BCG contained a binary black hole in its core. However, Chandra X-ray data and the new high-resolution radio map show no evidence that the Abell 85 BCG harbors a binary black hole. The assumption that this galaxy contains a binary black hole was based on the analysis of its optical surface brightness profile obtained under poor seeing conditions. We demonstrate how the well-known blurring effects of atmospheric seeing can mimic the effects of a binary supermassive black hole (SMBH). Likewise, SDSS J004150.75-091824.3 was postulated to be "a third" SMBH associated with the BCG. In the optical and X-rays, SDSS J004150.75-091824.3 is a point-like source located ~14" away from the nucleus of the Abell 85 BCG. A new spectrum of SDSS J004150.75-091824.3, obtained with the 10.4-m Gran Telescopio Canarias, reveals that this source is a background quasar at a redshift of z=1.560+/-0.003 and not associated in any way with the Abell 85 cluster.


title: Photorefraction-induced Bragg scattering in cryogenic lithium niobate ring resonators

abstract: We report intracavity Bragg scattering induced by photorefractive (PR) effect in high-Q lithium niobate (LN) ring resonators at cryogenic temperatures. We show that, when a cavity mode is strongly excited, the PR effect imprints a long-lived periodic space-charge field. This residual field in turn creates a refractive index modulation pattern that dramatically enhances the back scattering of an incoming probe light, and results in selective and reconfigurable mode splittings. This PR-induced Bragg scattering effect, despite being undesired for many applications, could be utilized to enable optically programmable photonic components.


title: On (Emergent) Systematic Generalisation and Compositionality in Visual Referential Games with Straight-Through Gumbel-Softmax Estimator

abstract: The drivers of compositionality in artificial languages that emerge when two (or more) agents play a non-visual referential game has been previously investigated using approaches based on the REINFORCE algorithm and the (Neural) Iterated Learning Model. Following the more recent introduction of the \textit{Straight-Through Gumbel-Softmax} (ST-GS) approach, this paper investigates to what extent the drivers of compositionality identified so far in the field apply in the ST-GS context and to what extent do they translate into (emergent) systematic generalisation abilities, when playing a visual referential game. Compositionality and the generalisation abilities of the emergent languages are assessed using topographic similarity and zero-shot compositional tests. Firstly, we provide evidence that the test-train split strategy significantly impacts the zero-shot compositional tests when dealing with visual stimuli, whilst it does not when dealing with symbolic ones. Secondly, empirical evidence shows that using the ST-GS approach with small batch sizes and an overcomplete communication channel improves compositionality in the emerging languages. Nevertheless, while shown robust with symbolic stimuli, the effect of the batch size is not so clear-cut when dealing with visual stimuli. Our results also show that not all overcomplete communication channels are created equal. Indeed, while increasing the maximum sentence length is found to be beneficial to further both compositionality and generalisation abilities, increasing the vocabulary size is found detrimental. Finally, a lack of correlation between the language compositionality at training-time and the agents' generalisation abilities is observed in the context of discriminative referential games with visual stimuli. This is similar to previous observations in the field using the generative variant with symbolic stimuli.


title: The stratified homotopy type of the reductive Borel-Serre compactification

abstract: We identify the exit path $\infty$-category of the reductive Borel-Serre compactification as the nerve of a $1$-category defined purely in terms of rational parabolic subgroups and their unipotent radicals. As an immediate consequence, we identify the fundamental group of the reductive Borel-Serre compactification, recovering a result of Ji-Murty-Saper-Scherk, and we obtain a combinatorial incarnation of constructible complexes of sheaves on the reductive Borel-Serre compactification as elements in a derived functor category.


title: Accelerated Discovery of a Large Family of Quaternary Chalcogenides with very Low Lattice Thermal Conductivity

abstract: The development of efficient thermal energy management devices such as thermoelectrics, barrier coatings, and thermal data-storage disks often relies on compounds that possess very low lattice thermal conductivity ($\kappa_l$). Here, we present the computational prediction of a large family of 628 thermodynamically stable quaternary chalcogenides, AMM'Q$_3$ (A = alkali/alkaline earth/post-transition metals; M/M' = transition metals, lanthanides; Q = chalcogens) using high-throughput density functional theory (DFT) calculations. We validate the presence of low-$\kappa_l$ in this family of materials by calculating $\kappa_l$ of several predicted stable compounds using the Peierls-Boltzmann transport equation within a first-principles DFT framework. Our analysis reveals that the low-$\kappa_l$ in the AMM'Q$_3$ compounds originates from the presence of either a strong lattice anharmonicity that enhances the phonon scatterings or rattlers cations that lead to multiple scattering channels in their crystal structures. Our predictions suggest new experimental research opportunities in the synthesis and characterization of these stable, low-$\kappa_l$ compounds.


title: Soft X-ray spectroscopies in liquids and at solid-liquid interface at BACH beamline at Elettra

abstract: The Beamline for Advanced diCHroism (BACH) of the Istituto Officina dei Materiali-Consiglio Nazionale delle Ricerche (IOM-CNR), operating at Elettra synchrotron in Trieste (Italy), works in the extreme ultra violet (EUV)-soft X-ray photon energy range with selectable light polarization, high energy resolution, brilliance and time resolution. The beamline offers a multi-technique approach for the investigation of the electronic, chemical, structural, magnetic, and dynamical properties of materials. Recently one of the three end-stations has been dedicated to experiments based on electron transfer processes at the solid/liquid interfaces and during photocatalytic or electrochemical reactions. Suitable cells to perform soft X-ray spectroscopy in the presence of liquids and reagent gases at ambient pressure were developed. Here we present two types of static cells working in transmission or in fluorescence yield, and an electrochemical flow cell which allows to carry out cyclic voltammetry in situ, electrodeposition on a working electrode (WE) and to study chemical reactions in-operando conditions. Examples of X-ray absorption spectroscopy (XAS) measurements performed in ambient conditions and during electrochemical experiments in liquid are presented.


title: One-Bit Target Detection in Collocated MIMO Radar and Performance Degradation Analysis

abstract: Target detection is an important problem in multiple-input multiple-output (MIMO) radar. Many existing target detection algorithms were proposed without taking into consideration the quantization error caused by analog-to-digital converters (ADCs). This paper addresses the problem of target detection for MIMO radar with one-bit ADCs and derives a Rao's test-based detector. The proposed method has several appealing features: 1) it is a closed-form detector; 2) it allows us to handle sign measurements straightforwardly; 3) there are closed-form approximations of the detector's distributions, which allow us to theoretically evaluate its performance. Moreover, the closed-form distributions allow us to study the performance degradation due to the one-bit ADCs, yielding an approximate $2$ dB loss in the low-signal-to-noise-ratio (SNR) regime compared to $\infty$-bit ADCs. Simulation results are included to showcase the advantage of the proposed detector and validate the accuracy of the theoretical results.


title: Phenomenologies of intermittent Hall MHD turbulence

abstract: We introduce the concept of intermittency dimension for the magnetohydrodynamics (MHD) to quantify the intermittency effect. With dependence on the intermittency dimension, we derive phenomenological laws for intermittent MHD turbulence with and without the Hall effect. In particular, scaling laws of dissipation wavenumber, energy spectra and structure functions are predicted. Moreover, we are able to provide estimates for energy spectra and structure functions which are consistent with the predicted scalings.


title: Three Ways to Improve Semantic Segmentation with Self-Supervised Depth Estimation

abstract: Training deep networks for semantic segmentation requires large amounts of labeled training data, which presents a major challenge in practice, as labeling segmentation masks is a highly labor-intensive process. To address this issue, we present a framework for semi-supervised semantic segmentation, which is enhanced by self-supervised monocular depth estimation from unlabeled image sequences. In particular, we propose three key contributions: (1) We transfer knowledge from features learned during self-supervised depth estimation to semantic segmentation, (2) we implement a strong data augmentation by blending images and labels using the geometry of the scene, and (3) we utilize the depth feature diversity as well as the level of difficulty of learning depth in a student-teacher framework to select the most useful samples to be annotated for semantic segmentation. We validate the proposed model on the Cityscapes dataset, where all three modules demonstrate significant performance gains, and we achieve state-of-the-art results for semi-supervised semantic segmentation. The implementation is available at https://github.com/lhoyer/improving_segmentation_with_selfsupervised_depth.


title: Syntactic categories for dependent type theory: sketching and adequacy

abstract: We argue that locally Cartesian closed categories form a suitable doctrine for defining dependent type theories, including non-extensional ones. Using the theory of sketches, one may define syntactic categories for type theories in a style that resembles the use of Martin-L\"of's Logical Framework, following the "judgments as types" principle. The concentration of type theories into their locally Cartesian closed categories of judgments is particularly convenient for proving syntactic metatheorems by semantic means (canonicity, normalization, etc.). Perhaps surprisingly, the notion of a context plays no role in the definitions of type theories in this sense, but the structure of a class of display maps can be imposed on a theory post facto wherever needed, as advocated by the Edinburgh school and realized by the %worlds declarations of the Twelf proof assistant. Uemura has proposed representable map categories together with a stratified logical framework for similar purposes. The stratification in Uemura's framework restricts the use of dependent products to be strictly positive, in contrast to the tradition of Martin-L\"of's logical framework and Schroeder-Heister's analysis of higher-level deductions. We prove a semantic adequacy result for locally Cartesian closed categories relative to Uemura's representable map categories: if a theory is definable in the framework of Uemura, the locally Cartesian closed category that it generates is a conservative (fully faithful) extension of its syntactic representable map category. On this basis, we argue for the use of locally Cartesian closed categories as a simpler alternative to Uemura's representable map categories.


title: Discrete fractional integrals, lattice points on short arcs, and diophantine approximation

abstract: Recently in joint work with E. Sert, we proved sharp boundedness results on discrete fractional integral operators along binary quadratic forms. Present work vastly enhances the scope of those results by extending boundedness to bivariate quadratic polynomials. We achieve this in part by establishing connections to problems on concentration of lattice points on short arcs of conics, whence we study discrete fractional integrals and lattice point concentration from a unified perspective via tools of sieving and diophantine approximation, and prove theorems that are of interest to researchers in both subjects.


title: Unconsciousness reconfigures modular brain network dynamics

abstract: The dynamic core hypothesis posits that consciousness is correlated with simultaneously integrated and differentiated assemblies of transiently synchronized brain regions. We represented time-dependent functional interactions using dynamic brain networks, and assessed the integrityof the dynamic core by means of the flexibility and largest multilayer module of these networks. As a first step, we constrained parameter selection using a newly developed benchmark for module detection in heterogeneous temporal networks. Next, we applied a multilayer modularity maximization algorithm to dynamic brain networks computed from functional magnetic resonance imaging (fMRI) data acquired during deep sleep and under propofol anesthesia. We found that unconsciousness reconfigured network flexibility and reduced the size of the largest spatiotemporal module, which we identified with the dynamic core. Our results present a first characterization of modular brain network dynamics during states of unconsciousness measured with fMRI, adding support to the dynamic core hypothesis of human consciousness.


title: Intensity -- A Metric Approach to Quantifying Attractor Robustness in ODEs

abstract: Although mathematical models do not fully match reality, robustness of dynamical objects to perturbation helps bridge from theoretical to real-world dynamical systems. Classical theories of structural stability and isolated invariant sets treat robustness of qualitative dynamics to sufficiently small errors. But they do not indicate just how large a perturbation can become before the qualitative behavior of our system changes fundamentally. Here we introduce a quantity, intensity of attraction, that measures the robustness of attractors in metric terms. Working in the setting of ordinary differential equations on $\mathbb{R}^n$, we consider robustness to vector field perturbations that are time-dependent or -independent. We define intensity in a control-theoretic framework, based on the magnitude of control needed to steer trajectories out of a domain of attraction. Our main result is that intensity also quantifies the robustness of an attractor to time-independent vector field perturbations; we prove this by connecting the reachable sets of control theory to isolating blocks of Conley theory. In addition to treating classical questions of robustness in a new metric framework, intensity of attraction offers a novel tool for resilience quantification in ecological applications. Unlike many measurements of resilience, intensity detects the strength of transient dynamics in a domain of attraction.


title: Constructing and Evaluating an Explainable Model for COVID-19 Diagnosis from Chest X-rays

abstract: In this paper, our focus is on constructing models to assist a clinician in the diagnosis of COVID-19 patients in situations where it is easier and cheaper to obtain X-ray data than to obtain high-quality images like those from CT scans. Deep neural networks have repeatedly been shown to be capable of constructing highly predictive models for disease detection directly from image data. However, their use in assisting clinicians has repeatedly hit a stumbling block due to their black-box nature. Some of this difficulty can be alleviated if predictions were accompanied by explanations expressed in clinically relevant terms. In this paper, deep neural networks are used to extract domain-specific features(morphological features like ground-glass opacity and disease indications like pneumonia) directly from the image data. Predictions about these features are then used to construct a symbolic model (a decision tree) for the diagnosis of COVID-19 from chest X-rays, accompanied with two kinds of explanations: visual (saliency maps, derived from the neural stage), and textual (logical descriptions, derived from the symbolic stage). A radiologist rates the usefulness of the visual and textual explanations. Our results demonstrate that neural models can be employed usefully in identifying domain-specific features from low-level image data; that textual explanations in terms of clinically relevant features may be useful; and that visual explanations will need to be clinically meaningful to be useful.


title: Rapid and High-Fidelity Subsurface Exploration with Multiple Aerial Robots

abstract: This paper develops a communication-efficient distributed mapping approach for rapid exploration of a cave by a multi-robot team. Subsurface planetary exploration is an unsolved problem challenged by communication, power, and compute constraints. Prior works have addressed the problems of rapid exploration and leveraging multiple systems to increase exploration rate; however, communication considerations have been left largely unaddressed. This paper bridges this gap in the state of the art by developing distributed perceptual modeling that enables high-fidelity mapping while remaining amenable to low-bandwidth communication channels. The approach yields significant gains in exploration rate for multi-robot teams as compared to state-of-the-art approaches. The work is evaluated through simulation studies and hardware experiments in a wild cave in West Virginia.


title: Sharp conditions on global existence and blow-up in a degenerate two-species and cross-attraction system

abstract: We consider a degenerate chemotaxis model with two-species and two-stimuli in dimension $d\geq 3$ and find two critical curves intersecting at one same point which separate the global existence and blow up of weak solutions to the problem. More precisely, above these curves (i.e. subcritical case), the problem admits a global weak solution obtained by the limits of strong solutions to an approximated system. Based on the second moment of solutions, initial data are constructed to make sure blow up occurs in finite time below these curves (i.e. critical and supercritical cases). In addition, the existence or non-existence of minimizers of free energy functional is discussed on the critical curves and the solutions exist globally in time if the size of initial data is small. We also investigate the crossing point between the critical lines in which a refined criteria in terms of the masses is given again to distinguish the dichotomy between global existence and blow up. We also show that the blow ups is simultaneous for both species.


title: Achieving Reliable Causal Inference with Data-Mined Variables: A Random Forest Approach to the Measurement Error Problem

abstract: Combining machine learning with econometric analysis is becoming increasingly prevalent in both research and practice. A common empirical strategy involves the application of predictive modeling techniques to 'mine' variables of interest from available data, followed by the inclusion of those variables into an econometric framework, with the objective of estimating causal effects. Recent work highlights that, because the predictions from machine learning models are inevitably imperfect, econometric analyses based on the predicted variables are likely to suffer from bias due to measurement error. We propose a novel approach to mitigate these biases, leveraging the ensemble learning technique known as the random forest. We propose employing random forest not just for prediction, but also for generating instrumental variables to address the measurement error embedded in the prediction. The random forest algorithm performs best when comprised of a set of trees that are individually accurate in their predictions, yet which also make 'different' mistakes, i.e., have weakly correlated prediction errors. A key observation is that these properties are closely related to the relevance and exclusion requirements of valid instrumental variables. We design a data-driven procedure to select tuples of individual trees from a random forest, in which one tree serves as the endogenous covariate and the other trees serve as its instruments. Simulation experiments demonstrate the efficacy of the proposed approach in mitigating estimation biases and its superior performance over three alternative methods for bias correction.


title: Uncertainty-Aware Policy Optimization: A Robust, Adaptive Trust Region Approach

abstract: In order for reinforcement learning techniques to be useful in real-world decision making processes, they must be able to produce robust performance from limited data. Deep policy optimization methods have achieved impressive results on complex tasks, but their real-world adoption remains limited because they often require significant amounts of data to succeed. When combined with small sample sizes, these methods can result in unstable learning due to their reliance on high-dimensional sample-based estimates. In this work, we develop techniques to control the uncertainty introduced by these estimates. We leverage these techniques to propose a deep policy optimization approach designed to produce stable performance even when data is scarce. The resulting algorithm, Uncertainty-Aware Trust Region Policy Optimization, generates robust policy updates that adapt to the level of uncertainty present throughout the learning process.


title: Non-equilibrium brain dynamics as a signature of consciousness

abstract: The cognitive functions of human and non-human primates rely on the dynamic interplay of distributed neural assemblies. As such, it seems unlikely that cognition can be supported by macroscopic brain dynamics at the proximity of thermodynamic equilibrium. We confirmed this hypothesis by investigating electrocorticography data from non human primates undergoing different states of unconsciousness (sleep, and anesthesia with propofol, ketamine, and ketamine plus medetomidine), and funcional magnetic resonance imaging data from humans, both during deep sleep and under propofol anesthesia. Systematically, all states of reduced consciousness unfolded at higher proximity to equilibrium dynamics than conscious wakefulness, as demonstrated by entropy production and the curl of probability flux in phase space. Our results establish non-equilibrium macroscopic brain dynamics as a robust signature of consciousness, opening the way for the characterization of cognition and awareness using tools from statistical mechanics.


title: On the Power of Localized Perceptron for Label-Optimal Learning of Halfspaces with Adversarial Noise

abstract: We study {\em online} active learning of homogeneous halfspaces in $\mathbb{R}^d$ with adversarial noise where the overall probability of a noisy label is constrained to be at most $\nu$. Our main contribution is a Perceptron-like online active learning algorithm that runs in polynomial time, and under the conditions that the marginal distribution is isotropic log-concave and $\nu = \Omega(\epsilon)$, where $\epsilon \in (0, 1)$ is the target error rate, our algorithm PAC learns the underlying halfspace with near-optimal label complexity of $\tilde{O}\big(d \cdot polylog(\frac{1}{\epsilon})\big)$ and sample complexity of $\tilde{O}\big(\frac{d}{\epsilon} \big)$. Prior to this work, existing online algorithms designed for tolerating the adversarial noise are subject to either label complexity polynomial in $\frac{1}{\epsilon}$, or suboptimal noise tolerance, or restrictive marginal distributions. With the additional prior knowledge that the underlying halfspace is $s$-sparse, we obtain attribute-efficient label complexity of $\tilde{O}\big( s \cdot polylog(d, \frac{1}{\epsilon}) \big)$ and sample complexity of $\tilde{O}\big(\frac{s}{\epsilon} \cdot polylog(d) \big)$. As an immediate corollary, we show that under the agnostic model where no assumption is made on the noise rate $\nu$, our active learner achieves an error rate of $O(OPT) + \epsilon$ with the same running time and label and sample complexity, where $OPT$ is the best possible error rate achievable by any homogeneous halfspace.


title: Sample Complexity of Adversarially Robust Linear Classification on Separated Data

abstract: We consider the sample complexity of learning with adversarial robustness. Most prior theoretical results for this problem have considered a setting where different classes in the data are close together or overlapping. Motivated by some real applications, we consider, in contrast, the well-separated case where there exists a classifier with perfect accuracy and robustness, and show that the sample complexity narrates an entirely different story. Specifically, for linear classifiers, we show a large class of well-separated distributions where the expected robust loss of any algorithm is at least $\Omega(\frac{d}{n})$, whereas the max margin algorithm has expected standard loss $O(\frac{1}{n})$. This shows a gap in the standard and robust losses that cannot be obtained via prior techniques. Additionally, we present an algorithm that, given an instance where the robustness radius is much smaller than the gap between the classes, gives a solution with expected robust loss is $O(\frac{1}{n})$. This shows that for very well-separated data, convergence rates of $O(\frac{1}{n})$ are achievable, which is not the case otherwise. Our results apply to robustness measured in any $\ell_p$ norm with $p > 1$ (including $p = \infty$).


title: A decaying neutralino as dark matter and its gamma ray spectrum

abstract: It is shown that a decaying neutralino in a supergravity unified framework is a viable candidate for dark matter. Such a situation arises in the presence of a hidden sector with ultraweak couplings to the visible sector where the neutralino can decay into the hidden sector's lightest supersymmetric particle (LSP) with a lifetime larger than the lifetime of the universe. We present a concrete model where the MSSM/SUGRA is extended to include a hidden sector comprised of $U(1)_{X_1} \times U(1)_{X_2}$ gauge sector and the LSP of the hidden sector is a neutralino which is lighter than the LSP neutralino of the visible sector. We compute the loop suppressed radiative decay of the visible sector neutralino into the neutralino of the hidden sector and show that the decay can occur with a lifetime larger than the age of the universe. The decaying neutralino can be probed by indirect detection experiments, specifically by its signature decay into the hidden sector neutralino and an energetic gamma ray photon. Such a gamma ray can be searched for with improved sensitivity at Fermi-LAT and by future experiments such as the Square Kilometer Array (SKA) and the Cherenkov Telescope Array (CTA). We present several benchmarks which have a natural suppression of the hadronic channels from dark matter annihilation and decays and consistent with measurements of the antiproton background.


title: Implementation of ICH E9 (R1): a few points learned during the COVID-19 pandemic

abstract: The current COVID-19 pandemic poses numerous challenges for ongoing clinical trials and provides a stress-testing environment for the existing principles and practice of estimands in clinical trials. The pandemic may increase the rate of intercurrent events (ICEs) and missing values, spurring a great deal of discussion on amending protocols and statistical analysis plans to address these issues. In this article we revisit recent research on estimands and handling of missing values, especially the ICH E9 (R1) on Estimands and Sensitivity Analysis in Clinical Trials. Based on an in-depth discussion of the strategies for handling ICEs using a causal inference framework, we suggest some improvements in applying the estimand and estimation framework in ICH E9 (R1). Specifically, we discuss a mix of strategies allowing us to handle ICEs differentially based on reasons for ICEs. We also suggest ICEs should be handled primarily by hypothetical strategies and provide examples of different hypothetical strategies for different types of ICEs as well as a road map for estimation and sensitivity analyses. We conclude that the proposed framework helps streamline translating clinical objectives into targets of statistical inference and automatically resolves many issues with defining estimands and choosing estimation procedures arising from events such as the pandemic.


title: TESS Asteroseismology of $\alpha$ Mensae: Benchmark Ages for a G7 Dwarf and its M-dwarf Companion

abstract: Asteroseismology of bright stars has become increasingly important as a method to determine fundamental properties (in particular ages) of stars. The Kepler Space Telescope initiated a revolution by detecting oscillations in more than 500 main-sequence and subgiant stars. However, most Kepler stars are faint, and therefore have limited constraints from independent methods such as long-baseline interferometry. Here, we present the discovery of solar-like oscillations in $\alpha$ Men A, a naked-eye (V=5.1) G7 dwarf in TESS's Southern Continuous Viewing Zone. Using a combination of astrometry, spectroscopy, and asteroseismology, we precisely characterize the solar analog alpha Men A (Teff = 5569 +/- 62 K, R = 0.960 +/- 0.016 Rsun, M = 0.964 +/- 0.045 Msun). To characterize the fully convective M dwarf companion, we derive empirical relations to estimate mass, radius, and temperature given the absolute Gaia magnitude and metallicity, yielding M = 0.169 +/- 0.006, R = 0.19 +/- 0.01 and Teff = 3054 +/- 44 K. Our asteroseismic age of 6.2 +/- 1.4 (stat) +/- 0.6 (sys) Gyr for the primary places $\alpha$ Men B within a small population of M dwarfs with precisely measured ages. We combined multiple ground-based spectroscopy surveys to reveal an activity cycle of 13.1 +/- 1.1 years, a period similar to that observed in the Sun. We used different gyrochronology models with the asteroseismic age to estimate a rotation period of ~30 days for the primary. Alpha Men A is now the closest (d=10pc) solar analog with a precise asteroseismic age from space-based photometry, making it a prime target for next-generation direct imaging missions searching for true Earth analogs.


title: Asymptotic behavior of a low temperature non-cascading 2-GREM dynamics at extreme time scales

abstract: We derive the scaling limit for the Hierarchical Random Hopping dynamics for the non cascading 2-GREM at low temperatures and time scales where the dynamics is close to equilibrium. The {\em fine tuning} phenomenon plays a role (under certain choices of parameters of the model), yielding three dynamical regimes. In contrast to the {\em cascading} case, the pairs of first and second level energies have fluctuations which scale with the volume, and this leads to a family of time scales where we see the dynamics moving through only a part of the full low temperature energy landscape.


title: Twisted $\boldsymbol{\mu}_4$-normal form for elliptic curves

abstract: We introduce the twisted $\boldsymbol{\mu}_4$-normal form for elliptic curves, deriving in particular addition algorithms with complexity $9\mathbf{M} + 2\mathbf{S}$ and doubling algorithms with complexity $2\mathbf{M} + 5\mathbf{S} + 2\mathbf{m}$ over a binary field. Every ordinary elliptic curve over a finite field of characteristic 2 is isomorphic to one in this family. This improvement to the addition algorithm, applicable to a larger class of curves, is comparable to the $7\mathbf{M} + 2\mathbf{S}$ achieved for the $\boldsymbol{\mu}_4$-normal form, and replaces the previously best known complexity of $13\mathbf{M} + 3\mathbf{S}$ on L\'opez-Dahab models applicable to these twisted curves. The derived doubling algorithm is essentially optimal, without any assumption of special cases. We show moreover that the Montgomery scalar multiplication with point recovery carries over to the twisted models, giving symmetric scalar multiplication adapted to protect against side channel attacks, with a cost of $4\mathbf{M} + 4\mathbf{S} + 1\mathbf{m}_t + 2\mathbf{m}_c$ per bit. In characteristic different from 2, we establish a linear isomorphism with the twisted Edwards model over the base field. This work, in complement to the introduction of $\boldsymbol{\mu}_4$-normal form, fills the lacuna in the body of work on efficient arithmetic on elliptic curves over binary fields, explained by this common framework for elliptic curves in $\boldsymbol{\mu}_4$-normal form over a field of any characteristic. The improvements are analogous to those which the Edwards and twisted Edwards models achieved for elliptic curves over finite fields of odd characteristic, and extend $\boldsymbol{\mu}_4$-normal form to cover the binary NIST curves.


title: Probabilistic Dependency Graphs

abstract: We introduce Probabilistic Dependency Graphs (PDGs), a new class of directed graphical models. PDGs can capture inconsistent beliefs in a natural way and are more modular than Bayesian Networks (BNs), in that they make it easier to incorporate new information and restructure the representation. We show by example how PDGs are an especially natural modeling tool. We provide three semantics for PDGs, each of which can be derived from a scoring function (on joint distributions over the variables in the network) that can be viewed as representing a distribution's incompatibility with the PDG. For the PDG corresponding to a BN, this function is uniquely minimized by the distribution the BN represents, showing that PDG semantics extend BN semantics. We show further that factor graphs and their exponential families can also be faithfully represented as PDGs, while there are significant barriers to modeling a PDG with a factor graph.


title: Bogoliubov-Fermi surface with inversion symmetry and electron-electron interactions: relativistic analogies and lattice theory

abstract: We show that the general low-energy Bogoliubov-de Genness Hamiltonian in a multiband superconductor with broken time reversal and preserved inversion symmetry is a generator of real four-dimensional representation of $SO(4)$. In the particular representation such an effective Hamiltonian is a purely imaginary matrix, and it is proportional to the antisymmetric tensor of a fictitious electromagnetic field which one can define in the momentum space. The quantum time evolution of the low-energy quasiparticle state becomes this way closely related to the classical relativistic motion of a charged particle in the presence of the Lorentz force that would be derived from such an electromagnetic field configuration. The condition for the emergence of a Bogoliubov-Fermi surface can then be understood as orthogonality of the fictitious electric and magnetic fields, which would allow zero Lorentz force. The corresponding zero-energy eigenstates are identified as the physical timelike and the unphysical spacelike solutions of the Lorentz force equation. We study the looming instability of the inversion-symmetric Bogoliubov-Fermi surface in presence of electron-electron interaction by formulating a concrete interacting model on the Lieb lattice that features the requisite $SO(4)$ kinetic energy term together with nearest-neighbor two-body repulsion. The latter is shown to favor dynamical breaking of the inversion symmetry. The inversion symmetry in our lattice model indeed becomes spontaneously broken at zero temperature at infinitesimal repulsion, with the original Bogoliubov-Fermi surface deformed and reduced in size. General features of this symmetry breaking phenomenon are discussed and a comparison with other works in literature is presented.


title: Rethinking Road Surface 3D Reconstruction and Pothole Detection: From Perspective Transformation to Disparity Map Segmentation

abstract: Potholes are one of the most common forms of road damage, which can severely affect driving comfort, road safety and vehicle condition. Pothole detection is typically performed by either structural engineers or certified inspectors. This task is, however, not only hazardous for the personnel but also extremely time-consuming. This paper presents an efficient pothole detection algorithm based on road disparity map estimation and segmentation. We first generalize the perspective transformation by incorporating the stereo rig roll angle. The road disparities are then estimated using semi-global matching. A disparity map transformation algorithm is then performed to better distinguish the damaged road areas. Finally, we utilize simple linear iterative clustering to group the transformed disparities into a collection of superpixels. The potholes are then detected by finding the superpixels, whose values are lower than an adaptively determined threshold. The proposed algorithm is implemented on an NVIDIA RTX 2080 Ti GPU in CUDA. The experiments demonstrate the accuracy and efficiency of our proposed road pothole detection algorithm, where an accuracy of 99.6% and an F-score of 89.4% are achieved.


title: Orienting supersingular isogeny graphs

abstract: We introduce a category of $\mathcal{O}$-orientedsupersingularellipticcurves and derive properties of the associated oriented and nonoriented $\ell$-isogeny supersingular isogeny graphs. As an application we introduce an oriented super-singular isogeny Diffie-Hellman protocol (OSIDH), analogous to the supersingular isogeny Diffie-Hellman (SIDH) protocol and generalizing the commutative supersingular isogeny Diffie-Hellman (CSIDH) protocol.


title: FEbeam: Cavity and Electron Emission Data Conversion, Processing and Analysis. A Freeware Toolkit for RF Injectors

abstract: FEbeam is a compact field emission data processing interface with the capability to analyze the field emission cathode performance in an rf injector by extracting the field enhancement factor, local field, and effective emission area from the Fowler-Nordheim equations. It also has the capability of processing beam imaging micrographs using its sister software, FEpic. The current version of FEbeam was designed for the Argonne Cathode Teststand (ACT) of the Argonne Wakefield Accelerator facility switch yard. With slight modifications, FEbeam can work for any rf field emission injector. This software is open-source and can be found at https://github.com/schne525/FEbeam

categories: physics.acc-ph physics.app-ph physics.ins-det physics.plasm-ph


title: On Sato--Tate distributions, extremal traces, and real multiplication in genus 2

abstract: The vertical Sato--Tate conjectures gives expected trace distributions for for families of curves. We develop exact expression for the distribution associated to degree-$4$ representations of $\mathrm{USp}(4)$, $\mathrm{SU}(2)\times\mathrm{SU}(2)$ and $\mathrm{SU}(2)$ in the neighborhood of the extremities of the Weil bound. As a consequence we derive qualitative distinctions between the extremal traces arising from generic genus-$2$ curves and genus-$2$ curves with real or quaternionic multiplication. In particular we show, in a specific sense, to what extent curves with real multiplication dominate the contribution to extremal traces.


title: Second harmonic generation of spatiotemporal optical vortices and conservation of orbital angular momentum

abstract: Spatiotemporal optical vortices (STOVs) are a new type of intrinsic optical orbital angular momentum (OAM) structure in which the OAM vector is orthogonal to the propagation direction [Optica 6, 1547, (2019)] and the optical phase circulates in space-time. Here, we experimentally and theoretically demonstrate, for the first time, the generation of the second harmonic of a STOV-carrying pulse along with the conservation of STOV-based OAM. Our experiments verify that individual photons can have intrinsic orbital angular momentum perpendicular to their propagation direction.


title: Proposal: JSNS$^2$-II

abstract: This article describes the goal and expected sensitivity of the JSNS$^2$-II experiment at J-PARC Materials and Life Science Experimental Facility (MLF). The JSNS$^2$-II experiment is the second phase of the JSNS$^2$ experiment (J-PARC Sterile Neutrino Search at J-PARC Spallation Neutron Source) with two detectors which are located in 24 m (an existing detector) and 48 m (new one) baselines to improve the sensitivity of the search for sterile neutrinos, especially in the low $\Delta m^2$ region, which has been indicated by the global fit of the appearance mode. The new second detector has a similar structure as the existing JSNS$^2$ detector, which is already working. To compensate for the reduction of the neutrino flux due to the distance from the mercury target, the target mass of the Gd-loaded liquid scintillator which is the Linear AlkylBenzene (LAB) based liquid scintillator inside the acrylic vessel is 35 tons. To keep the same photo-coverage of the detector as the first detector, we will surround the acrylic vessel with 240 PMTs. With this experimental setup and 5 years (times 1 MW beam power) exposure, the sensitivity of the JSNS$^2$-II is significantly improved compared to the current JSNS$^2$, especially in the low $\Delta m^2$ oscillation parameter region. The JSNS$^2$-II can also confirm or refute the most of the oscillation parameters' space preferred by the previous experiments with 3 sigma C.L.. Considering these situations and world wide status of the sterile neutrino searches, we are eager to start the data taking with the two detector configuration from 2023. The fund to build the second detector was already secured.


title: Old recurrence formulae for growth series of Coxeter groups

abstract: Several classical formulae for the growth series of a Coxeter group are proved in a new way, using the structure of the Coxeter complex, the Davis complex, or the Tits non-complex.


title: Different approach to the decomposition theory of $HM^p_{q,{\Delta_{\nu}}}$ Hardy-Morrey spaces

abstract: The Hardy-Morrey spaces related to Laplace-Bessel differential equations are introduced in terms of maximal functions. The atomic decomposition theory which has the same cancellation properties of the $H^{p}_{\Delta_{\nu}}(\mathbb{R}^{n}_{+})$ Hardy spaces is established.


title: Probing metastable space-charge potentials in a wide bandgap semiconductor

abstract: While the study of space charge potentials has a long history, present models are largely based on the notion of steady state equilibrium, ill-suited to describe wide bandgap semiconductors with moderate to low concentrations of defects. Here we build on color centers in diamond both to locally inject carriers into the crystal and probe their evolution as they propagate in the presence of external and internal potentials. We witness the formation of metastable charge patterns whose shape - and concomitant field - can be engineered through the timing of carrier injection and applied voltages. With the help of previously crafted charge patterns, we unveil a rich interplay between local and extended sources of space charge field, which we then exploit to show space-charge-induced carrier guiding.


title: Recurrence of horizontal-vertical walks

abstract: Consider a nearest neighbor random walk on the two-dimensional integer lattice, where each vertex is initially labeled either `H' or `V', uniformly and independently. At each discrete time step, the walker resamples the label at its current location (changing `H' to `V' and `V' to `H' with probability $q$). Then, it takes a mean zero horizontal step if the new label is `H', and a mean zero vertical step if the new label is `V'. This model is a randomized version of the deterministic rotor walk, for which its recurrence (i.e., visiting every vertex infinitely often with probability 1) in two dimensions is still an open problem. We answer the analogous question for the the horizontal-vertical walk, by showing that the horizontal-vertical walk is recurrent for $q \in (\frac{1}{3},1]$.


title: Quantum Optical Convolutional Neural Network: A Novel Image Recognition Framework for Quantum Computing

abstract: Large machine learning models based on Convolutional Neural Networks (CNNs) with rapidly increasing number of parameters, trained with massive amounts of data, are being deployed in a wide array of computer vision tasks from self-driving cars to medical imaging. The insatiable demand for computing resources required to train these models is fast outpacing the advancement of classical computing hardware, and new frameworks including Optical Neural Networks (ONNs) and quantum computing are being explored as future alternatives. In this work, we report a novel quantum computing based deep learning model, the Quantum Optical Convolutional Neural Network (QOCNN), to alleviate the computational bottleneck in future computer vision applications. Using the popular MNIST dataset, we have benchmarked this new architecture against a traditional CNN based on the seminal LeNet model. We have also compared the performance with previously reported ONNs, namely the GridNet and ComplexNet, as well as a Quantum Optical Neural Network (QONN) that we built by combining the ComplexNet with quantum based sinusoidal nonlinearities. In essence, our work extends the prior research on QONN by adding quantum convolution and pooling layers preceding it. We have evaluated all the models by determining their accuracies, confusion matrices, Receiver Operating Characteristic (ROC) curves, and Matthews Correlation Coefficients. The performance of the models were similar overall, and the ROC curves indicated that the new QOCNN model is robust. Finally, we estimated the gains in computational efficiencies from executing this novel framework on a quantum computer. We conclude that switching to a quantum computing based approach to deep learning may result in comparable accuracies to classical models, while achieving unprecedented boosts in computational performances and drastic reduction in power consumption.


title: Lexically-constrained Text Generation through Commonsense Knowledge Extraction and Injection

abstract: Conditional text generation has been a challenging task that is yet to see human-level performance from state-of-the-art models. In this work, we specifically focus on the Commongen benchmark, wherein the aim is to generate a plausible sentence for a given set of input concepts. Despite advances in other tasks, large pre-trained language models that are fine-tuned on this dataset often produce sentences that are syntactically correct but qualitatively deviate from a human understanding of common sense. Furthermore, generated sequences are unable to fulfill such lexical requirements as matching part-of-speech and full concept coverage. In this paper, we explore how commonsense knowledge graphs can enhance model performance, with respect to commonsense reasoning and lexically-constrained decoding. We propose strategies for enhancing the semantic correctness of the generated text, which we accomplish through: extracting commonsense relations from Conceptnet, injecting these relations into the Unified Language Model (UniLM) through attention mechanisms, and enforcing the aforementioned lexical requirements through output constraints. By performing several ablations, we find that commonsense injection enables the generation of sentences that are more aligned with human understanding, while remaining compliant with lexical requirements.


title: Quantization of inhomogeneous spacetimes with cosmological constant term

abstract: We show that the Szekeres system with cosmological constant admits a sufficient number of conservation laws, which allow to claim the integrability of the system. The main novelty in this investigation is that we find that the unique attractor of the Szekeres system is the isotropic inhomogeneous de Sitter (-like) universe, contrary to the original system in which the attractors describe Kantowski-Sachs (-like) spacetimes. We also study the existence of quantum corrections and the emergence of classicality by considering the linear and quadratic conserved quantities at the quantum level. We perform an analysis considering different approaches, involving the Bohmian quantum potential and a probability analysis. The result is that there are no quantum corrections for the quadratic integrals, while there exists a linear case for which we find quantum corrections.


title: The Mysterious Magnetospheres of Magnetars

abstract: Magnetars are the most luminous compact objects in the stellar mass range observed in the Milky Way, with giant flares of hard X-ray power ~10^45 erg/sec being detected from three soft gamma repeaters in the Galactic neighborhood. Periodicity seen in magnetar persistent emission, and a distinctive "spin-down" lengthening of this period, have driven the paradigm that strongly-magnetized neutron stars constitute these fascinating sources. The steady X-ray emission includes both thermal atmospheric components, and magnetospheric contributions that are manifested as hard X-ray "tails." This paper addresses observational and theoretical elements pertinent to the steady hard X-ray emission of magnetars, focusing on dissipative processes in their magnetospheres, and elements of Comptonization and polarization. It also discusses the action and possible signatures of the exotic and fundamental QED mechanisms of photon splitting and magnetic pair creation, and the quest for their observational vindication.


title: Superfluid Optomechanics with Phononic Nanostructures

abstract: In quantum optomechanics, finding materials and strategies to limit losses has been crucial to the progress of the field. Recently, superfluid 4He was proposed as a promising mechanical element for quantum optomechanics. This quantum fluid shows highly desirable properties (e.g. extremely low acoustic loss) for a quantum optomechanical system. In current implementations, superfluid optomechanical systems suffer from external sources of loss, which spoils the quality factor of resonators. In this work, we propose a new implementation, exploiting nanofluidic confinement. Our approach, based on acoustic resonators formed within phononic nanostructures, aims at limiting radiation losses to preserve the intrinsic properties of superfluid 4He. In this work, we estimate the optomechanical system parameters. Using recent theory, we derive the expected quality factors for acoustic resonators in different thermodynamic conditions. We calculate the sources of loss induced by the phononic nanostructures with numerical simulations. Our results indicate the feasibility of the proposed approach in a broad range of parameters, which opens new prospects for more complex geometries.


title: Relative global Gorenstein dimensions

abstract: Let $\mathcal{A}$ be an abelian category. In this paper, we investigate the global $(\mathcal{X} , \mathcal{Y})$-Gorenstein projective dimension $\mathrm{gl.GPD}(\mathcal{X} ,\mathcal{Y})(\mathcal{A})$, associated to a GP-admissible pair $(\mathcal{X} , \mathcal{Y} )$. We give homological conditions over $(\mathcal{X} , \mathcal{Y})$ that characterize it. Moreover, given a GI-admisible pair $(\mathcal{Z} , \mathcal{W} )$, we study conditions under which $\mathrm{gl.GID}(\mathcal{Z},\mathcal{W})(\mathcal{A})$ and $\mathrm{gl.GPD}(\mathcal{X},\mathcal{Y})(\mathcal{A})$ are the same.


title: Quadratic rational maps with a $2$-cycle of Siegel disks

abstract: For the family of quadratic rational functions having a $2$-cycle of bounded type Siegel disks, we prove that each of the boundaries of these Siegel disks contains at most one critical point. In the parameter plane, we prove that the locus for which the boundaries of the $2$-cycle of Siegel disks contain two critical points is a Jordan curve.


title: On the solution of the coupled steady-state dual-porosity-Navier-Stokes fluid flow model with the Beavers-Joseph-Saffman interface condition

abstract: In this work, we propose a new analysis strategy to establish an a priori estimate of the weak solutions to the coupled steady-state dual-porosity-Navier-Stokes fluid flow model with the Beavers-Joseph-Saffman interface condition. The most advantage of our proposed method is that the a priori estimate and the existence result are independent of small data and the large viscosity restriction. Therefore the global uniqueness of the weak solution is naturally obtained.


title: AdnFM: An Attentive DenseNet based Factorization Machine for CTR Prediction

abstract: In this paper, we consider the Click-Through-Rate (CTR) prediction problem. Factorization Machines and their variants consider pair-wise feature interactions, but normally we won't do high-order feature interactions using FM due to high time complexity. Given the success of deep neural networks (DNNs) in many fields, researchers have proposed several DNN-based models to learn high-order feature interactions. Multi-layer perceptrons (MLP) have been widely employed to learn reliable mappings from feature embeddings to final logits. In this paper, we aim to explore more about these high-order features interactions. However, high-order feature interaction deserves more attention and further development. Inspired by the great achievements of Densely Connected Convolutional Networks (DenseNet) in computer vision, we propose a novel model called Attentive DenseNet based Factorization Machines (AdnFM). AdnFM can extract more comprehensive deep features by using all the hidden layers from a feed-forward neural network as implicit high-order features, then selects dominant features via an attention mechanism. Also, high-order interactions in the implicit way using DNNs are more cost-efficient than in the explicit way, for example in FM. Extensive experiments on two real-world datasets show that the proposed model can effectively improve the performance of CTR prediction.


title: Transductive Visual Verb Sense Disambiguation

abstract: Verb Sense Disambiguation is a well-known task in NLP, the aim is to find the correct sense of a verb in a sentence. Recently, this problem has been extended in a multimodal scenario, by exploiting both textual and visual features of ambiguous verbs leading to a new problem, the Visual Verb Sense Disambiguation (VVSD). Here, the sense of a verb is assigned considering the content of an image paired with it rather than a sentence in which the verb appears. Annotating a dataset for this task is more complex than textual disambiguation, because assigning the correct sense to a pair of $<$image, verb$>$ requires both non-trivial linguistic and visual skills. In this work, differently from the literature, the VVSD task will be performed in a transductive semi-supervised learning (SSL) setting, in which only a small amount of labeled information is required, reducing tremendously the need for annotated data. The disambiguation process is based on a graph-based label propagation method which takes into account mono or multimodal representations for $<$image, verb$>$ pairs. Experiments have been carried out on the recently published dataset VerSe, the only available dataset for this task. The achieved results outperform the current state-of-the-art by a large margin while using only a small fraction of labeled samples per sense. Code available: https://github.com/GiBg1aN/TVVSD.


title: FMO Interaction Energy between 17$\beta$-Estradiol, 17$\alpha$-Estradiol and Human Estrogen Receptor $\alpha$

abstract: The estrogen receptor is a nuclear hormone receptor activated by the natural steroid hormone 17$\beta$-estradiol (E2). Fragment molecular orbital (FMO) calculations were performed which allowed us to obtain the interaction energy ($E_{int}$) between E2, 17$\alpha$-estradiol (17$\alpha$-E2) and the human estrogen receptor $\alpha$ ligand-binding domain. In aqueous media the MP2/6-31G(d) $E_{int}$ was of -88.52 kcal/mol for E2 and -78.73 kcal/mol for 17$\alpha$-E2. Attractive dispersion interactions were observed between ligands and all surrounding hydrophobic residues. Water molecules were found at the binding site and strong attractive electrostatic interactions were observed between the ligands and the Glu 353 and His 524 residues. The essential dynamics revealed that E2 adapts to the binding site and its motion, in a sense, synchronizes with the whole receptor; while 17$\alpha$-E2, with its motion of greater amplitude compared to E2, disturbs the binding site. Perhaps this feature of the normal substrate is a necessary condition for biological function. Another important requirement relates to the number of water molecules at the binding site. Therefore, negative values in $E_{int}$ is a necessary but not sufficient condition since, it is also necessary to consider the conformers population that fulfill all the requirements that ensure a biological response.


title: A Predictive Discrete-Continuum Multiscale Model of Plasticity With Quantified Uncertainty

abstract: Multiscale models of materials, consisting of upscaling discrete simulations to continuum models, are unique in their capability to simulate complex materials behavior. The fundamental limitation in multiscale models is the presence of uncertainty in the computational predictions delivered by them. In this work, a sequential multiscale model has been developed, incorporating discrete dislocation dynamics (DDD) simulations and a strain gradient plasticity (SGP) model to predict the size effect in plastic deformations of metallic micro-pillars. The DDD simulations include uniaxial compression of micro-pillars with different sizes and over a wide range of initial dislocation densities and spatial distributions of dislocations. An SGP model is employed at the continuum level that accounts for the size-dependency of flow stress and hardening rate. Sequences of uncertainty analyses have been performed to assess the predictive capability of the multiscale model. The variance-based global sensitivity analysis determines the effect of parameter uncertainty on the SGP model prediction. The multiscale model is then constructed by calibrating the continuum model using the data furnished by the DDD simulations. A Bayesian calibration method is implemented to quantify the uncertainty due to microstructural randomness in discrete dislocation simulations (density and spatial distributions of dislocations) on the macroscopic continuum model prediction (size effect in plastic deformation). The outcomes of this study indicate that the discrete-continuum multiscale model can accurately simulate the plastic deformation of micro-pillars, despite the significant uncertainty in the DDD results. Additionally, depending on the macroscopic features represented by the DDD simulations, the SGP model can reliably predict the size effect in plasticity responses of the micropillars with below 10% of error


title: A hybrid deep-learning approach for complex biochemical named entity recognition

abstract: Named entity recognition (NER) of chemicals and drugs is a critical domain of information extraction in biochemical research. NER provides support for text mining in biochemical reactions, including entity relation extraction, attribute extraction, and metabolic response relationship extraction. However, the existence of complex naming characteristics in the biomedical field, such as polysemy and special characters, make the NER task very challenging. Here, we propose a hybrid deep learning approach to improve the recognition accuracy of NER. Specifically, our approach applies the Bidirectional Encoder Representations from Transformers (BERT) model to extract the underlying features of the text, learns a representation of the context of the text through Bi-directional Long Short-Term Memory (BILSTM), and incorporates the multi-head attention (MHATT) mechanism to extract chapter-level features. In this approach, the MHATT mechanism aims to improve the recognition accuracy of abbreviations to efficiently deal with the problem of inconsistency in full-text labels. Moreover, conditional random field (CRF) is used to label sequence tags because this probabilistic method does not need strict independence assumptions and can accommodate arbitrary context information. The experimental evaluation on a publicly-available dataset shows that the proposed hybrid approach achieves the best recognition performance; in particular, it substantially improves performance in recognizing abbreviations, polysemes, and low-frequency entities, compared with the state-of-the-art approaches. For instance, compared with the recognition accuracies for low-frequency entities produced by the BILSTM-CRF algorithm, those produced by the hybrid approach on two entity datasets (MULTIPLE and IDENTIFIER) have been increased by 80% and 21.69%, respectively.


title: Hashcashed Reputation with Application in Designing Watchtowers

abstract: We propose a novel reputation system to stimulate well-behaviour, and competition in online markets. Our reputation system is suited for markets where a publicly-verifiable "proof-of-misbehaviour" can be generated when one party misbehaves. Such markets include those that provide blockchain services, such as monitoring services by watchtowers. Watchtowers are entities that watch the blockchain on behalf of their offline clients to protect the clients' interests in applications such as payment networks (e.g., the Lightning network). In practice, there is no trust between clients and watchtowers, and it is challenging to incentivize watchtowers to well-behave (e.g., to refuse bribery). To showcase our reputation system, in this work, we create an open market of watchtowers, where watchtowers are motivated to not only deliver their promised service but also reduce their service fees in competition with each other.


title: 3D MHD Simulations of Accretion onto Stars with Tilted Magnetic and Rotational Axes

abstract: We present results of global three-dimensional (3D) magnetohydrodynamic (MHD) simulations of accretion onto magnetized stars where both the magnetic and rotational axes of the star are tilted about the rotational axis of the disc. We observed that initially the inner parts of the disc are warped, tilted, and process due to the magnetic interaction between the magnetosphere and the disc. Later, larger tilted discs form with the size increasing with the magnetic moment of the star. The normal vector to the discs are tilted at different angles, from 5-10 degrees up to 30-40 degrees. Small tilts may result from the winding of the magnetic field lines about the rotational axis of the star and the action of the magnetic force which tends to align the disc. Another possible explanation is the magnetic Bardeen-Petterson effect in which the disc settles in the equatorial plane of the star due to precessional and viscous torques in the disc. Tilted discs slowly precess with the time scale of the order of 50 Keplerian periods at the reference radius (approx. 3 stellar radii). Our results can be applied to different types of stars where signs of tilted discs and/or slow precession have been observed.


title: Resolving XENON Excess With Decaying Cold Dark Matter

abstract: We propose a decaying cold dark matter model to explain the excess of electron recoil observed at the XENON1T experiment. In this scenario, the daughter dark matter from the parent dark matter decay easily obtains velocity large enough to saturate the peak of the electron recoil energy around 2.5 keV, and the observed signal rate can be fulfilled by the parent dark matter with a mass of order 10-200 MeV and a lifetime larger than the age of Universe. We verify that this model is consistent with experimental limits from dark matter detections, Cosmic Microwave Background and Large Scale Structure experiments.


title: Centroid migration on an impacted granular slope due to asymmetric ejecta deposition and landsliding

abstract: For a fundamental understanding of terrain relaxation occurring on sloped surfaces of terrestrial bodies, we analyze the crater shape produced by an impact on an inclined granular (dry-sand) layer. Owing to asymmetric ejecta deposition followed by landsliding, the slope of the impacted inclined surface can be relaxed. Using the experimental results of a solid projectile impact on an inclined dry-sand layer, we measure the distance of centroid migration induced by asymmetric cratering. We find that the centroid migration distance $x_\mathrm{mig}$ normalized to the crater minor-axis diameter $D_\mathrm{cy}$ can be expressed as a function of the initial inclination of the target $\tan\theta$, the effective friction coefficient $\mu$, and two parameters $K$ and $c$ that characterize the asymmetric ejecta deposition and oblique impact effect: $x_\mathrm{mig}/D_\mathrm{cy}=K \tan\theta/(1-(\tan\theta/\mu)^2)+c$, where $K=0.6$, $\mu=0.8$, and $c=-0.1$ to $0.3$. This result is consistent with a previous study that considered the effect of asymmetric ejecta deposition. The obtained results provide fundamental information for analyzing the degradation of sloped terrain on planetary surfaces, such as crater-shape degradation due to the accumulation of micro-impacts.


title: Force chain structure in a rod-withdrawn granular layer

abstract: When a rod is vertically withdrawn from a granular layer, oblique force chains can be developed by effective shearing. In this study, the force-chain structure in a rod-withdrawn granular layer was experimentally investigated using a photoelastic technique. The rod is vertically withdrawn from a two-dimensional granular layer consisting of bidisperse photoelastic disks. During the withdrawal, the development process of force chains is visualized by the photoelastic effect. By systematic analysis of photoelastic images, force chain structures newly developed by the rod withdrawing are identified and analyzed. In particular, the relation between the rod-withdrawing force $F_\mathrm{w}$, total force-chains force $F_\mathrm{t}$, and their average orientation $\theta$ are discussed. We find that the oblique force chains are newly developed by withdrawing. The force-chain angle $\theta$ is almost constant (approximately $20^{\circ}$ from the horizontal), and the total force $F_\mathrm{t}$ gradually increases by the withdrawal. In addition, $F_\mathrm{t}\sin\theta$ shows a clear correlation with $F_\mathrm{w}$.


title: Undulating compression and multi-stage relaxation in a granular column consisting of dust particles or glass beads

abstract: For fundamentally characterizing the effect of hierarchical structure in granular matter, a set of compression-relaxation tests for dust particles and glass beads confined in a cylindrical cell was performed. Typical diameter of both grains is approximately 1~mm. However, dust particles are produced by binding tiny ($\sim 5$~{\textmu}m) glass beads. The granular columns were compressed with a piston until reaching a maximum load force of 20~N with a constant compression rate $v$ ($0.17 \leq v \leq 2000$~{\textmu}m~s$^{-1}$). After that, the piston was stopped and the relaxation process was quantified. From the experimental results, we found that the compression force $F$ nonlinearly increases with the increase of compression stroke $z$ depending on particles. Besides, periodic undulation and sudden force drops were observed on $F(z)$ in dust particles and glass beads, respectively. The relaxation process was characterized by an exponential decay of stress followed by a logarithmic dependence one in both kinds of particles. These experimental findings are the main point in this study. To understand the underlying physics governing the compression mechanics, we assumed empirical forms of $F(z)$; $F\propto z^{\alpha}$ for dust particles and $F \propto \exp(z/z_G)$ for glass beads ($\alpha=2.4$ and $z_G=70$~{\textmu}m). Then, we found that the growing manners of periodic undulation and force drops were identical to those of mean compression forces, i.e., power law in dust particles and exponential in glass beads. In addition, the undulation amplitude and wavelength decreased as $v$ increased in dust-particles compression. On the basis of experimental results and the difference between dust particles and glass beads, we also discuss the origin of undulation and the physical meaning of granular-compression models used in engineering fields.


title: Suspicious Massive Registration Detection via Dynamic Heterogeneous Graph Neural Networks

abstract: Massive account registration has raised concerns on risk management in e-commerce companies, especially when registration increases rapidly within a short time frame. To monitor these registrations constantly and minimize the potential loss they might incur, detecting massive registration and predicting their riskiness are necessary. In this paper, we propose a Dynamic Heterogeneous Graph Neural Network framework to capture suspicious massive registrations (DHGReg). We first construct a dynamic heterogeneous graph from the registration data, which is composed of a structural subgraph and a temporal subgraph. Then, we design an efficient architecture to predict suspicious/benign accounts. Our proposed model outperforms the baseline models and is computationally efficient in processing a dynamic heterogeneous graph constructed from a real-world dataset. In practice, the DHGReg framework would benefit the detection of suspicious registration behaviors at an early stage.


title: AWA: Adversarial Website Adaptation

abstract: One of the most important obligations of privacy-enhancing technologies is to bring confidentiality and privacy to users' browsing activities on the Internet. The website fingerprinting attack enables a local passive eavesdropper to predict the target user's browsing activities even she uses anonymous technologies, such as VPNs, IPsec, and Tor. Recently, the growth of deep learning empowers adversaries to conduct the website fingerprinting attack with higher accuracy. In this paper, we propose a new defense against website fingerprinting attack using adversarial deep learning approaches called Adversarial Website Adaptation (AWA). AWA creates a transformer set in each run so that each website has a unique transformer. Each transformer generates adversarial traces to evade the adversary's classifier. AWA has two versions, including Universal AWA (UAWA) and Non-Universal AWA (NUAWA). Unlike NUAWA, there is no need to access the entire trace of a website in order to generate an adversarial trace in UAWA. We accommodate secret random elements in the training phase of transformers in order for AWA to generate various sets of transformers in each run. We run AWA several times and create multiple sets of transformers. If an adversary and a target user select different sets of transformers, the accuracy of adversary's classifier is almost 19.52% and 31.94% with almost 22.28% and 26.28% bandwidth overhead in UAWA and NUAWA, respectively. If a more powerful adversary generates adversarial traces through multiple sets of transformers and trains a classifier on them, the accuracy of adversary's classifier is almost 49.10% and 25.93% with almost 62.52% and 64.33% bandwidth overhead in UAWA and NUAW, respectively.


title: A Systematic Mapping on the use of Visual Data Mining to Support the Conduct of Systematic Literature Reviews

abstract: A systematic literature review (SLR) is a methodology used to find and aggregate all relevant existing evidence about a specific research question of interest. Important decisions need to be made at several points in the review process, relating to search of the literature, selection of relevant primary studies and use of methods of synthesis. Visualization can support tasks that involve large collections of data, such as the studies collected, evaluated and summarized in an SLR. The objective of this paper is to present the results of a systematic mapping study (SM) conducted to collect and evaluate evidence on the use of a specific visualization technique, visual data mining (VDM), to support the SLR process. We reviewed 20 papers and our results indicate a scarcity of research on the use of VDM to help with conducting SLRs in the software engineering domain. However, most of the studies (16 of the 20 studies included in our mapping) have been conducted in the field of medicine and they revealed that the activities of data extraction and data synthesis, related to conducting the review phase of an SLR process, have more VDM support than other activities. In contrast, according to our SM, previous studies using VDM techniques with SLRs have not employed such techniques during the SLR's planning and reporting phases.