title: Infant Vocal Tract Development Analysis and Diagnosis by Cry Signals with CNN Age Classification

abstract: From crying to babbling and then to speech, infant's vocal tract goes through anatomic restructuring. In this paper, we propose a non-invasive fast method of using infant cry signals with convolutional neural network (CNN) based age classification to diagnose the abnormality of the vocal tract development as early as 4-month age. We study F0, F1, F2, and spectrograms and relate them to the postnatal development of infant vocalization. A novel CNN based age classification is performed with binary age pairs to discover the pattern and tendency of the vocal tract changes. The effectiveness of this approach is evaluated on Baby2020 with healthy infant cries and Baby Chillanto database with pathological infant cries. The results show that our approach yields 79.20% accuracy for healthy cries, 84.80% for asphyxiated cries, and 91.20% for deaf cries. Our method first reveals that infants' vocal tract develops to a certain level at 4-month age and infants can start controlling the vocal folds to produce discontinuous cry sounds leading to babbling. Early diagnosis of growth abnormality of the vocal tract can help parents keep vigilant and adopt medical treatment or training therapy for their infants as early as possible.


title: Low Rank Approximation in Simulations of Quantum Algorithms

abstract: Simulating quantum algorithms on classical computers is challenging when the system size, i.e., the number of qubits used in the quantum algorithm, is moderately large. However, some quantum algorithms and the corresponding quantum circuits can be simulated efficiently on a classical computer if the input quantum state is a low-rank tensor and all intermediate states of the quantum algorithm can be represented or approximated by low-rank tensors. In this paper, we examine the possibility of simulating a few quantum algorithms by using low-rank canonical polyadic (CP) decomposition to represent the input and all intermediate states of these algorithms. Two rank reduction algorithms are used to enable efficient simulation. We show that some of the algorithms preserve the low-rank structure of the input state and can thus be efficiently simulated on a classical computer. However, the rank of the intermediate states in other quantum algorithms can increase rapidly, making efficient simulation more difficult. To some extent, such difficulty reflects the advantage or superiority of a quantum computer over a classical computer. As a result, understanding the low-rank structure of a quantum algorithm allows us to identify algorithms that can benefit significantly from quantum computers.


title: High Finesse Cavity with Anapole-Assisted Resonant Subwavelength Particle Mirror

abstract: Strong light interaction with a subwavelength object has been a long pursuing goal with difficulties mainly arising from the diffraction limit. We propose a high finesse cavity with one mirror made of a subwavelength resonant particle as a platform to enhance this interaction. High-quality eigenmode solutions are obtained for such a highly non-paraxial cavity with a very high field concentration at the particle. The eigenmode solutions interact with the small particle in a more general way than by the electric dipole approximation. With the help of the anapole excitation in the dipole term, the particle is designed to scatter like a pure magnetic quadrupole, and in this way, it has anear-unity reflectivity when used as a mirror for the strongly focused field of the eigenmode. Light-matter interactions at the subwavelength scale can be greatly enhanced due to the small size of the particle and the high finesse of the cavity, which can be potentially interesting for applications in nano optics, quantum optomechanics, nonlinear optics, and subwavelength metrology beyond the electric dipole approximation.


title: Description of an ecological niche for a mixed local/nonlocal dispersal: an evolution equation and a new Neumann condition arising from the superposition of Brownian and L\'evy processes

abstract: We propose here a motivation for a mixed local/nonlocal problem with a new type of Neumann condition. Our description is based on formal expansions and approximations. In a nutshell, a biological species is supposed to diffuse either by a random walk or by a jump process, according to prescribed probabilities. If the process makes an individual exit the niche, it must come to the niche right away, by selecting the return point according to the underlying stochastic process. More precisely, if the random particle exits the domain, it is forced to immediately reenter the domain, and the new point in the domain is chosen randomly by following a bouncing process with the same distribution as the original one. By a suitable definition outside the niche, the density of the population ends up solving a mixed local/nonlocal equation, in which the dispersion is given by the superposition of the classical and the fractional Laplacian. This density function satisfies two types of Neumann conditions, namely the classical Neumann condition on the boundary of the niche, and a nonlocal Neumann condition in the exterior of the niche.


title: On analytic groupoid cardinality

abstract: Groupoids graded by the groupoid of bijections between finite sets admit generating functions which encode the groupoid cardinalities of their graded components. As suggested in the work of Baez and Dolan, we use analytic continuation of such generating functions to define a complex-valued cardinality for groupoids whose usual groupoid cardinality diverges. The complex nature of such a cardinality invariant is shown to reflect a recursion of structure which we refer to as `nested equivalence'.


title: Low-energy dipole excitations in $^{20}$O with antisymmetrized molecular dynamics

abstract: Low-energy dipole (LED) excitations in $^{20}$O were investigated by variation after $K$-projection of deformation($\beta$)-constraint antisymmetrized molecular dynamics combined with the generator coordinate method. We obtained two LED states, namely, the $1_1^-$ state with one-proton excitation on the relatively weak deformation and the $1_2^-$ state with a parity asymmetric structure of the normal deformation. The former is characterized by a toroidal dipole (TD) mode with vortical nuclear current, whereas the latter is associated with a low-energy $E1$ mode caused by surface neutron oscillation along the prolate deformation. The TD (vortical) and $E1$ modes separately appear as the $K^\pi=1^-$ and $K^\pi=0^-$ components of the deformed states, respectively, but couple with each other in the $1_1^-$ and $1_2^-$ states of $^{20}$O because of $K$-mixing, and shape fluctuation. As a result of the mixing, TD and $E1$ transition strengths are fragmented into the $1_1^-$ and $1_2^-$ states. We also obtained the $K^\pi=0^+$, $K^\pi=0^-$, and $K^\pi=1^-$ bands with cluster structures in the energy region higher than the LED states.


title: Intentional Deep Overfit Learning (IDOL): A Novel Deep Learning Strategy for Adaptive Radiation Therapy

abstract: In this study, we propose a tailored DL framework for patient-specific performance that leverages the behavior of a model intentionally overfitted to a patient-specific training dataset augmented from the prior information available in an ART workflow - an approach we term Intentional Deep Overfit Learning (IDOL). Implementing the IDOL framework in any task in radiotherapy consists of two training stages: 1) training a generalized model with a diverse training dataset of N patients, just as in the conventional DL approach, and 2) intentionally overfitting this general model to a small training dataset-specific the patient of interest (N+1) generated through perturbations and augmentations of the available task- and patient-specific prior information to establish a personalized IDOL model. The IDOL framework itself is task-agnostic and is thus widely applicable to many components of the ART workflow, three of which we use as a proof of concept here: the auto-contouring task on re-planning CTs for traditional ART, the MRI super-resolution (SR) task for MRI-guided ART, and the synthetic CT (sCT) reconstruction task for MRI-only ART. In the re-planning CT auto-contouring task, the accuracy measured by the Dice similarity coefficient improves from 0.847 with the general model to 0.935 by adopting the IDOL model. In the case of MRI SR, the mean absolute error (MAE) is improved by 40% using the IDOL framework over the conventional model. Finally, in the sCT reconstruction task, the MAE is reduced from 68 to 22 HU by utilizing the IDOL framework.


title: Microstructure and wear resistance of Fe-Cr-C-Mo-V-Ti-N hardfacing layers

abstract: In this paper, to improve wear resistance of components such as screws under severe friction-wear, Fe-Cr-C-Mo-V-Ti-N hardfacing coatings were further developed. The hardfacing coatings were acquired by shielded manual arc welding (SMAW) method. The ferroalloys added into the coating flux of the hardfaced electrode were jointly nitrided. The microstructure of the coatings was carried out using X-ray diffraction(XRD), optical microscope(OM), field emission scanning electron microscope (FESEM) and energy dispersive Xray spectrometry (EDS). In addition, FactSage 7.0 software was employed to calculate the equilibrium phase diagram of the hardfacings. The wear resistance was performed on a pin-on-disc machine. The Fe-Cr-C- Mo-V-Ti-N hardfacings exhibited higher wear resistance than cladding layer without nitrides.


title: Low Pass Filter for Anti-aliasing in Temporal Action Localization

abstract: In temporal action localization methods, temporal downsampling operations are widely used to extract proposal features, but they often lead to the aliasing problem, due to lacking consideration of sampling rates. This paper aims to verify the existence of aliasing in TAL methods and investigate utilizing low pass filters to solve this problem by inhibiting the high-frequency band. However, the high-frequency band usually contains large amounts of specific information, which is important for model inference. Therefore, it is necessary to make a tradeoff between anti-aliasing and reserving high-frequency information. To acquire optimal performance, this paper learns different cutoff frequencies for different instances dynamically. This design can be plugged into most existing temporal modeling programs requiring only one additional cutoff frequency parameter. Integrating low pass filters to the downsampling operations significantly improves the detection performance and achieves comparable results on THUMOS'14, ActivityNet~1.3, and Charades datasets. Experiments demonstrate that anti-aliasing with low pass filters in TAL is advantageous and efficient.


title: Reduced order models for Lagrangian hydrodynamics

abstract: As a mathematical model of high-speed flow and shock wave propagation in a complex multimaterial setting, Lagrangian hydrodynamics is characterized by moving meshes, advection-dominated solutions, and moving shock fronts with sharp gradients. These challenges hinder the existing projection-based model reduction schemes from being practical. We develop several variations of projection-based reduced order model techniques for Lagrangian hydrodynamics by introducing three different reduced bases for position, velocity, and energy fields. A time-windowing approach is also developed to address the challenge imposed by the advection-dominated solutions. Lagrangian hydrodynamics is formulated as a nonlinear problem, which requires a proper hyper-reduction technique. Therefore, we apply the over-sampling DEIM and SNS approaches to reduce the complexity due to the nonlinear terms. Finally, we also present both a posteriori and a priori error bounds associated with our reduced order model. We compare the performance of the spatial and time-windowing reduced order modeling approaches in terms of accuracy and speed-up with respect to the corresponding full order model for several numerical examples, namely Sedov blast, Gresho vortices, Taylor-Green vortices, and triple-point problems.


title: Network percolation reveals adaptive bridges of the mobility network response to COVID-19

abstract: Human mobility is crucial to understand the transmission pattern of COVID-19 on spatially embedded geographic networks. This pattern seems unpredictable, and the propagation appears unstoppable, resulting in over 350,000 death tolls in the U.S. by the end of 2020. Here, we create the spatiotemporal inter-county mobility network using 10 TB (Terabytes) trajectory data of 30 million smart devices in the U.S. in the first six months of 2020. We investigate its bound percolation by removing the weakly connected edges. The mobility network becomes vulnerable and prone to reach its criticality and thus experience surprisingly abrupt phase transitions. Despite the complex behaviors of the mobility network, we devised a novel approach to identify a small, manageable set of recurrent critical bridges, connecting the giant component and the second-largest component. These adaptive links, located across the United States, played a key role as valves connecting components in divisions and regions during the pandemic. Beyond, our numerical results unveil that network characteristics determine the critical thresholds and the bridge locations. The findings provide new insights into managing and controlling the connectivity of mobility networks during unprecedented disruptions. The work can also potentially offer practical future infectious diseases both globally and locally.


title: Signatures of QGP at RHIC and the LHC

abstract: The progress over the 30 years since the first high-energy heavy-ion collisions at the BNL-AGS and CERN-SPS has been truly remarkable. Rigorous experimental and theoretical studies have revealed a new state of the matter in heavy-ion collisions, the quark-gluon plasma (QGP). Many signatures supporting the formation of the QGP have been reported. Among them are jet quenching, the non-viscous flow, direct photons, and Debye screening effects. In this article, selected signatures of the QGP observed at RHIC and the LHC are reviewed.


title: The $RO(C_4)$ cohomology of the infinite real projective space

abstract: Following the Hu-Kriz method of computing the $C_2$ genuine dual Steenrod algebra $(H\mathbf F_2)_{\bigstar}(H\mathbf F_2)$, we calculate the $C_4$ equivariant Bredon cohomology of the classifying space $\mathbf R P^{\infty \rho}=B_{C_4}\Sigma_{2}$ as an $RO(C_4)$ graded Green-functor. We prove that as a module over the homology of a point (which we also compute), this cohomology is not flat. As a result, it can't be used as a test module for obtaining generators in $(H\mathbf F_2)_{\bigstar}(H\mathbf F_2)$ as Hu-Kriz do in the $C_2$ case.


title: Neural Mean Discrepancy for Efficient Out-of-Distribution Detection

abstract: Various approaches have been proposed for out-of-distribution (OOD) detection by augmenting models, input examples, training sets, and optimization objectives. Deviating from existing work, we have a simple hypothesis that standard off-the-shelf models may already contain sufficient information about the training set distribution which can be leveraged for reliable OOD detection. Our empirical study on validating this hypothesis, which measures the model activation's mean for OOD and in-distribution (ID) mini-batches, surprisingly finds that activation means of OOD mini-batches consistently deviate more from those of the training data. In addition, training data's activation means can be computed offline efficiently or retrieved from batch normalization layers as a 'free lunch'. Based upon this observation, we propose a novel metric called Neural Mean Discrepancy (NMD), which compares neural means of the input examples and training data. Leveraging the simplicity of NMD, we propose an efficient OOD detector that computes neural means by a standard forward pass followed by a lightweight classifier. Extensive experiments show that NMD outperforms state-of-the-art OOD approaches across multiple datasets and model architectures in terms of both detection accuracy and computational cost.


title: The $C_{2^n}$ Borel dual Steenrod algebra

abstract: In this very short note, we expand the Hu-Kriz computation of the $G$-equivariant Borel dual Steenrod algebra in characteristic $2$, from the group $G=C_2$ to all power-$2$ cyclic groups $G=C_{2^n}$.


title: A modularity comparison of Long Short-Term Memory and Morphognosis neural networks

abstract: This study compares the modularity performance of two artificial neural network architectures: a Long Short-Term Memory (LSTM) recurrent network, and Morphognosis, a neural network based on a hierarchy of spatial and temporal contexts. Mazes are used to measure performance, defined as the ability to utilize independently learned mazes to solve mazes composed of them. A maze is a sequence of rooms connected by doors. The modular task is implemented as follows: at the beginning of the maze, an initial door choice forms a context that must be retained until the end of an intervening maze, where the same door must be chosen again to reach the goal. For testing, the door-association mazes and separately trained intervening mazes are presented together for the first time. While both neural networks perform well during training, the testing performance of Morphognosis is significantly better than LSTM on this modular task.


title: Characterization of Contextuality with Semi-Module \v{C}ech Cohomology and its Relation with Cohomology of Effect Algebras

abstract: I present a generalized notion of obstruction in \v{C}ech cohomology on semi-modules, which allows one to characterize non-disturbing contextual behaviors with any semi-field. This framework generalizes the usual \v{C}ech cohomology used in the sheaf approach to contextuality, avoiding false positives. I revise a similar work done in the framework of effect algebras with cyclic and order cohomologies and explore the relationship with the one presented here.


title: Interesting magnetic response of the nuclear fuel material UO2

abstract: Magnetic response of uranium dioxide (UO2) has been investigated through temperature and magnetic field dependent dc magnetization measurements. UO2 is a paramagnet at room temperature. The magnetic susceptibility, however, deviates from Curie-Weiss (CW) like paramagnetic behavior below T = 280 K. Further down the temperature UO2 undergoes phase transition to an antiferromagnetic state below TN = 30.6 K. The zero field cooled (ZFC) and field cooled (FC) magnetizations exhibit some distinct thermomagnetic irreversibility below TN. The temperature dependence of the FC magnetization is more like a ferromagnet, whereas ZFC magnetization exhibits distinct structures not usually observed in the antiferromagnets. In low applied magnetic field this thermomagnetic irreversibility in magnetization exists in a subtle way even in the paramagnetic regime above TN up to a fairly high temperature, but vanishes in high applied magnetic fields. Deviation from CW law and irreversibility between ZFC and FC magnetization indicate that the paramagnetic state above TN is not a trivial one. Magnetic response below TN changes significantly with the increase in the applied magnetic field. Thermomagnetic irreversibility in magnetization initially increases with the increase in the strength of applied magnetic field, but then gets reduced in the high applied fields. A subtle signature of a magnetic field induced phase transition is also observed in the isothermal magnetic field vartaion of magnetization. All these experimetal results highlight the non-trivial nature of the antiferromagnetic state in UO2


title: Unsupervised Information Obfuscation for Split Inference of Neural Networks

abstract: Splitting network computations between the edge device and a server enables low edge-compute inference of neural networks but might expose sensitive information about the test query to the server. To address this problem, existing techniques train the model to minimize information leakage for a given set of sensitive attributes. In practice, however, the test queries might contain attributes that are not foreseen during training. We propose instead an unsupervised obfuscation method to discard the information irrelevant to the main task. We formulate the problem via an information theoretical framework and derive an analytical solution for a given distortion to the model output. In our method, the edge device runs the model up to a split layer determined based on its computational capacity. It then obfuscates the obtained feature vector based on the first layer of the server model by removing the components in the null space as well as the low-energy components of the remaining signal. Our experimental results show that our method outperforms existing techniques in removing the information of the irrelevant attributes and maintaining the accuracy on the target label. We also show that our method reduces the communication cost and incurs only a small computational overhead.


title: Passive soft-reset controllers for nonlinear systems

abstract: Soft-reset controllers are introduced as a way to approximate hard-reset controllers. The focus is on implementing reset controllers that are (strictly) passive and on analyzing their interconnection with passive plants. A passive hard-reset controller that has a strongly convex energy function can be approximated as a soft-reset controller. A hard-reset controller is a hybrid system whereas a soft-reset controller corresponds to a differential inclusion, living entirely in the continuous-time domain. This feature may make soft-reset controllers easier to understand and implement. A soft-reset controller contains a parameter that can be adjusted to better approximate the action of the hard-reset controller. Closed-loop asymptotic stability is established for the interconnection of a passive soft-reset controller with a passive plant, under appropriate detectability assumptions. Several examples are used to illustrate the efficacy of soft-reset controllers.


title: A Raman heterodyne determination of the magnetic anisotropy for the ground and optically excited states of Y$_{2}$SiO$_{5}$ doped with Sm$^{3+}$

abstract: We present the full magnetic g tensors of the $^{6}$H$_{5/2}$Z$_{1}$ and $^{4}$G$_{5/2}$A$_{1}$ electronic states for both crystallographic sites in Sm$^{3+}$:Y$_{2}$SiO$_{5}$, deduced through the use of Raman heterodyne spectroscopy performed along 9 different crystallographic directions. The maximum principle g values were determined to be 0.447 (site 1) and 0.523 (site 2) for the ground state and 2.490 (site 1) and 3.319 (site 2) for the excited state. The determination of these g tensors provide essential spin Hamiltonian parameters that can be utilized in future magnetic and hyperfine studies of Sm$^{3+}$:Y$_{2}$SiO$_{5}$, with applications in quantum information storage and communication devices.


title: Predicting Distant Metastases in Soft-Tissue Sarcomas from PET-CT scans using Constrained Hierarchical Multi-Modality Feature Learning

abstract: Distant metastases (DM) refer to the dissemination of tumors, usually, beyond the organ where the tumor originated. They are the leading cause of death in patients with soft-tissue sarcomas (STSs). Positron emission tomography-computed tomography (PET-CT) is regarded as the imaging modality of choice for the management of STSs. It is difficult to determine from imaging studies which STS patients will develop metastases. 'Radiomics' refers to the extraction and analysis of quantitative features from medical images and it has been employed to help identify such tumors. The state-of-the-art in radiomics is based on convolutional neural networks (CNNs). Most CNNs are designed for single-modality imaging data (CT or PET alone) and do not exploit the information embedded in PET-CT where there is a combination of an anatomical and functional imaging modality. Furthermore, most radiomic methods rely on manual input from imaging specialists for tumor delineation, definition and selection of radiomic features. This approach, however, may not be scalable to tumors with complex boundaries and where there are multiple other sites of disease. We outline a new 3D CNN to help predict DM in STS patients from PET-CT data. The 3D CNN uses a constrained feature learning module and a hierarchical multi-modality feature learning module that leverages the complementary information from the modalities to focus on semantically important regions. Our results on a public PET-CT dataset of STS patients show that multi-modal information improves the ability to identify those patients who develop DM. Further our method outperformed all other related state-of-the-art methods.


title: The Deviation of the Broad-line Region Size Between Reverberation Mapping and Spectroastrometry

abstract: The combination of the linear size from reverberation mapping (RM) and the angular distance of the broad line region (BLR) from spectroastrometry (SA) in active galactic nuclei (AGNs) can be used to measure the Hubble constant $H_0$. Recently, Wang et al. (2020) successfully employed this approach and estimated $H_0$ from 3C 273. However, there may be a systematic deviation between the response-weighted radius (RM measurement) and luminosity-weighted radius (SA measurement), especially when different broad lines are adopted for size indicators (e.g., \hb\ for RM and \pa\ for SA). Here we evaluate the size deviations measured by six pairs of hydrogen lines (e.g., \hb, \ha\ and \pa) via the locally optimally emitting cloud (LOC) models of BLR. We find that the radius ratios $K$(=$R_{\rm SA}$/$R_{\rm RM}$) of the same line deviated systematically from 1 (0.85-0.88) with dispersions between 0.063-0.083. Surprisingly, the $K$ values from the \pa(SA)/\hb(RM) and \ha(SA)/\hb(RM) pairs not only are closest to 1 but also have considerably smaller uncertainty. Considering the current infrared interferometry technology, the \pa(SA)/\hb(RM) pair is the ideal choice for the low redshift objects in the SARM project. In the future, the \ha(SA)/\hb(RM) pair could be used for the high redshift luminous quasars. These theoretical estimations of the SA/RM radius pave the way for the future SARM measurements to further constrain the standard cosmological model.


title: Electric polarization and nonlinear optical effects in noncentrosymmetric magnets

abstract: We study electric polarization and nonlinear optical effects in spin systems with broken inversion symmetry. We apply strong coupling expansion to the underlying electronic Hamiltonians, and systematically derive expressions for electric polarization in spin systems that are represented in terms of spin operators. The magnon representation of the obtained electric polarization operator allows us to compute linear and nonlinear optical responses by the standard diagrammatic method. We apply our formalism to Heisenberg model with alternating coupling constants and $J_1$-$J_2$ model with inversion symmetry breaking. We demonstrate that these inversion broken spin systems support dc current flow upon magnon excitations which arises from the shift current mechanism.


title: On the defocusing semilinear wave equations in three space dimension with small power

abstract: By introducing new weighted vector fields as multipliers, we derive quantitative pointwise estimates for solutions of defocusing semilinear wave equation in $\mathbb{R}^{1+3}$ with pure power nonlinearity for all $1<p\leq 2$. Consequently, the solution vanishes on the future null infinity and decays in time polynomially for all $\sqrt{2}<p\leq 2$. This improves the uniform boundedness result of the second author when $\frac{3}{2}<p\leq 2$.


title: Finding a Largest-Area Triangle in a Terrain in Near-Linear Time

abstract: A terrain is an $x$-monotone polygon whose lower boundary is a single line segment. We present an algorithm to find in a terrain a triangle of largest area in $O(n \log n)$ time, where $n$ is the number of vertices defining the terrain. The best previous algorithm for this problem has a running time of $O(n^2)$.


title: A Framework for Recognizing and Estimating Human Concentration Levels

abstract: One of the major tasks in online education is to estimate the concentration levels of each student. Previous studies have a limitation of classifying the levels using discrete states only. The purpose of this paper is to estimate the subtle levels as specified states by using the minimum amount of body movement data. This is done by a framework composed of a Deep Neural Network and Kalman Filter. Using this framework, we successfully extracted the concentration levels, which can be used to aid lecturers and expand to other areas.


title: Socio-meteorology: flood prediction, social preparedness, and cry wolf effects

abstract: To improve the efficiency of flood early warning systems (FEWS), it is important to understand the interactions between natural and social systems. The high level of trust in authorities and experts is necessary to improve the likeliness of individuals to take preparedness actions responding to warnings. Despite a lot of efforts to develop the dynamic model of human and water in socio-hydrology, no socio-hydrological models explicitly simulate social collective trust in FEWS. Here we develop the stylized model to simulate the interactions of flood, social collective memory, social collective trust in FEWS, and preparedness actions responding to warnings by extending the existing socio-hydrological model. We realistically simulate the cry wolf effect, in which many false alarms undermine the credibility of the early warning systems and make it difficult to induce preparedness actions. We found (1) considering the dynamics of social collective trust in FEWS is more important in the technological society with infrequent flood events than in the green society with frequent flood events; (2) as the natural scientific skill to predict flood events is improved, the efficiency of FEWS gets more sensitive to the behavior of social collective trust, so that forecasters need to determine their warning threshold by considering the social aspects.


title: 1.6 GHz Frequency Scanning of a 482 nm Laser Stabilized using Electromagnetically Induced Transparency

abstract: We propose a method to continuously frequency shift a target laser that is frequency stabilized by a reference laser, which is several hundreds of nanometers detuned. We demonstrate the technique using the 5S 1/2 to 5P 3/2 to 29D 5/2 Rydberg transition in 87Rb vapor and lock the 482 nm target laser to the 780 nm reference laser using the cascaded electromagnetically induced transparency signal. The stabilized frequency of the target laser can be shifted by about 1.6 GHz by phase modulating the reference laser using a waveguide-type electro-optical modulator. This simple method for stable frequency shifting can be used in atomic or molecular physics experiments that require a laser frequency scanning range on the order of several GHz.


title: Evidence for association of triatomic molecule in ultracold $^{23}$Na$^{40}$K and $^{40}$K mixture

abstract: Ultracold assembly of diatomic molecules has enabled great advances in controlled chemistry, ultracold chemical physics, and quantum simulation with molecules. Extending the ultracold association to triatomic molecules will offer many new research opportunities and challenges in these fields. A possible approach is to form triatomic molecules in the ultracold atom and diatomic molecule mixture by employing the Feshbach resonance between them. Although the ultracold atom-diatomic-molecule Feshbach resonances have been observed recently, utilizing these resonances to form triatomic molecules remains challenging. Here we report on the evidence of the association of triatomic molecules near the Feshbach resonances between $^{23}$Na$^{40}$K molecules in the rovibrational ground state and $^{40}$K atoms. We apply a radio-frequency pulse to drive the free-bound transition and monitor the loss of $^{23}$Na$^{40}$K molecules. The association of triatomic molecules manifests itself as an additional loss feature in the radio-frequency spectra, which can be distinguished from the atomic loss feature.The binding energy of triatomic molecule is estimated from the measurement. Our work is helpful to understand the complex ultracold atom-molecule Feshbach resonance and may open up an avenue towards the preparation and control of ultracold triatomic molecules.


title: Dilepton production from magnetized quark matter with an anomalous magnetic moment of the quarks using a three-flavor PNJL model

abstract: Dilepton production from hot, dense and magnetized quark matter is studied using the three-flavor Polyakov loop extended Nambu--Jona-Lasinio (PNJL) model in which the anomalous magnetic moment (AMM) of the quarks is also taken into consideration. This is done by first evaluating the thermo-magnetic spectral function of the vector current correlator employing the real time formalism of finite temperature field theory and the Schwinger proper time formalism. The constituent quark mass which goes as an input in the expression of the dilepton production rate (DPR), has been calculated using the three-flavor PNJL model employing Pauli-Villiars (PV) regularization. The obtained constituent quark mass being strongly dependent on the temperature, density, magnetic field and AMM of the quarks, captures the effect of `strong' interactions specifically around the (pseudo) chiral and confinement-deconfinement phase transition regions. The analytic structure of the spectral function in the complex energy plane has been analyzed in detail and a non-trivial Landau cut is found in the physical kinematic domains resulting from the scattering of the Landau quantized quark/antiquark with the photon which is purely a finite magnetic field effect. Due to the emergence of the Landau cut along with the usual unitary cut, the DPR is found to be largely enhanced in the low invariant mass region. Owing to the magnetic field and AMM dependence of the thresholds of these cuts, we find that the kinematically forbidden gap between the Unitary and Landau cuts vanishes at sufficiently high temperature, density and magnetic field leading to the generation of a continuous spectrum of dilepton emission over the whole invariant mass region. In order to see the effects of strangeness and confinement-deconfinement, the rates are compared with the three-flavor NJL and the two-flavor NJL and PNJL models.


title: Regularized Nonlinear Regression for Simultaneously Selecting and Estimating Key Model Parameters

abstract: In system identification, estimating parameters of a model using limited observations results in poor identifiability. To cope with this issue, we propose a new method to simultaneously select and estimate sensitive parameters as key model parameters and fix the remaining parameters to a set of typical values. Our method is formulated as a nonlinear least squares estimator with L1-regularization on the deviation of parameters from a set of typical values. First, we provide consistency and oracle properties of the proposed estimator as a theoretical foundation. Second, we provide a novel approach based on Levenberg-Marquardt optimization to numerically find the solution to the formulated problem. Third, to show the effectiveness, we present an application identifying a biomechanical parametric model of a head position tracking task for 10 human subjects from limited data. In a simulation study, the variances of estimated parameters are decreased by 96.1% as compared to that of the estimated parameters without L1-regularization. In an experimental study, our method improves the model interpretation by reducing the number of parameters to be estimated while maintaining variance accounted for (VAF) at above 82.5%. Moreover, the variances of estimated parameters are reduced by 71.1% as compared to that of the estimated parameters without L1-regularization. Our method is 54 times faster than the standard simplex-based optimization to solve the regularized nonlinear regression.


title: Thermodynamic relations and fluctuations in the Tsallis statistics

abstract: The thermodynamic relations in the Tsallis statistics were studied with physical quantities. An additive entropic variable related to the Tsallis entropy was introduced by assuming the form of the first law of the thermodynamics. The fluctuations in the Tsallis statistics were derived with physical quantities with the help of the introduced entropic variable. It was shown that the mean squares of the fluctuations of the physical quantities in the Tsallis statistics are the same as those in the conventional statistics. The mean square of the fluctuation of the Tsallis entropy and the mean square of the fluctuation of the Tsallis temperature were also derived. The mean square of the relative fluctuation of the Tsallis entropy and the mean square of the relative fluctuation of the Tsallis temperature are represented with heat capacities. It was shown that these fluctuations of the Tsallis quantities have the $q$-dependent terms in the Tsallis statistics of the entropic parameter $q$.


title: Bounded-from-below conditions for $A_4$-symmetric 3HDM

abstract: Deriving necessary and sufficient conditions for a scalar potential to be bounded from below (BFB) is a difficult task beyond the simplest cases. Recently, a set of BFB conditions was proposed for the $A_4$-invariant three-Higgs-doublet model (3HDM). However, that set of conditions relied on numerical scan, and a complete analytic proof was lacking. Here, we fill this gap. We prove that the conjectured BFB conditions are indeed necessary and sufficient within the neutral Higgs subspace. We bypass technically challenging direct algebraic computations with a novel technique that relies on an auxiliary function, which is related to the Higgs potential but which is easier to analyze. This technique may finally be sufficient to tackle the more involved case of the original Weinberg's 3HDM model.


title: Growth Competitions on Spherically Symmetric Riemannian Manifolds

abstract: We propose a model for a growth competition between two subsets of a Riemannian manifold. The sets grow at two different rates, avoiding each other. It is shown that if the competition takes place on a surface which is rotationally symmetric about the starting point of the slower set, then if the surface is conformally equivalent to the Euclidean plane, the slower set remains in a bounded region, while if the surface is nonpositively curved and conformally equivalent to the hyperbolic plane, both sets may keep growing indefinitely.


title: Learning phylogenetic trees as hyperbolic point configurations

abstract: We propose a novel method for the inference of phylogenetic trees that utilises point configurations on hyperbolic space as its optimisation landscape. Each taxon corresponds to a point of the point configuration, while the evolutionary distance between taxa is represented by the geodesic distance between their corresponding points. The point configuration is iteratively modified to increase an objective function that additively combines pairwise log-likelihood terms. After convergence, the final tree is derived from the inter-point distances using a standard distance-based method. The objective function, which is shown to mimic the log-likelihood on tree space, is a differentiable function on a Riemannian manifold. Thus gradient-based optimisation techniques can be applied, avoiding the need for combinatorial rearrangements of tree topology.


title: Manifestation of strongly correlated electrons in a 2D kagome metal-organic framework

abstract: The kagome lattice, whose electronic valence band (VB) structure includes two Dirac bands and one flat band, offers a rich space to realise tuneable topological and strongly correlated electronic phases in two-dimensional (2D) and layered materials. While strong electron correlations have been observed in inorganic kagome crystals, they remain elusive in organic systems. The latter offer versatile synthesis protocols via molecular self-assembly and metal-ligand coordination. Here, we report the synthesis of a 2D metal-organic framework (MOF) where di-cyano-anthracene (DCA) molecules form a kagome arrangement via coordination with copper (Cu) atoms on a silver surface [Ag(111)]. Low-temperature scanning tunnelling spectroscopy revealed Kondo screening--by the Ag(111) conduction electrons--of magnetic moments localised at Cu and DCA sites of the MOF. Density functional theory and mean-field Hubbard modelling show that these local moments emerge from strong interactions between kagome MOF electrons, enabling organic 2D materials as viable platforms for strongly correlated nanoelectronics and spintronics.


title: Transformation of envelope solitons on a bottom step

abstract: In this paper we study the transformation of surface envelope solitons travelling over a bottom step in water of a finite depth. Using the transformation coefficients earlier derived in the linear approximation, we find the parameters of transmitted pulses and subsequent evolution of the pulses in the course of propagation. Relying on the weakly nonlinear theory, the analytic formulae are derived which describe the maximum attainable wave amplitude in the neighbourhood of the step and in the far zone. Solitary waves may be greatly amplified (within the weakly nonlinear theory formally even without a limit) when propagating from relatively shallow water to the deeper domain due to the constructive interference between the newly emerging envelope solitons and the residual quasi-linear waves. The theoretical results are in a good agreement with the data of direct numerical modelling of soliton transformation. In particular, more than double wave amplification is demonstrated in the performed simulations.


title: Discrete Painlev\'e transcendent solutions to the multiplicative type discrete KdV equations

abstract: Hirota's discrete KdV equation is an integrable partial difference equation on $\mathbb{Z}^2$, which approaches the Korteweg-de Vries (KdV) equation in a continuum limit. In this paper, we show that its multiplicative-discrete versions have the special solutions given by the solutions of $q$-Painlev\'e equations of types $A_J^{(1)}$ $(J=3,4,5,6)$.


title: Graph Neural Network Reinforcement Learning for Autonomous Mobility-on-Demand Systems

abstract: Autonomous mobility-on-demand (AMoD) systems represent a rapidly developing mode of transportation wherein travel requests are dynamically handled by a coordinated fleet of robotic, self-driving vehicles. Given a graph representation of the transportation network - one where, for example, nodes represent areas of the city, and edges the connectivity between them - we argue that the AMoD control problem is naturally cast as a node-wise decision-making problem. In this paper, we propose a deep reinforcement learning framework to control the rebalancing of AMoD systems through graph neural networks. Crucially, we demonstrate that graph neural networks enable reinforcement learning agents to recover behavior policies that are significantly more transferable, generalizable, and scalable than policies learned through other approaches. Empirically, we show how the learned policies exhibit promising zero-shot transfer capabilities when faced with critical portability tasks such as inter-city generalization, service area expansion, and adaptation to potentially complex urban topologies.


title: TricubeNet: 2D Kernel-Based Object Representation for Weakly-Occluded Oriented Object Detection

abstract: We present a novel approach for oriented object detection, named TricubeNet, which localizes oriented objects using visual cues ($i.e.,$ heatmap) instead of oriented box offsets regression. We represent each object as a 2D Tricube kernel and extract bounding boxes using simple image-processing algorithms. Our approach is able to (1) obtain well-arranged boxes from visual cues, (2) solve the angle discontinuity problem, and (3) can save computational complexity due to our anchor-free modeling. To further boost the performance, we propose some effective techniques for size-invariant loss, reducing false detections, extracting rotation-invariant features, and heatmap refinement. To demonstrate the effectiveness of our TricubeNet, we experiment on various tasks for weakly-occluded oriented object detection: detection in an aerial image, densely packed object image, and text image. The extensive experimental results show that our TricubeNet is quite effective for oriented object detection. Code is available at https://github.com/qjadud1994/TricubeNet.


title: Learning from Ambiguous Labels for Lung Nodule Malignancy Prediction

abstract: Lung nodule malignancy prediction is an essential step in the early diagnosis of lung cancer. Besides the difficulties commonly discussed, the challenges of this task also come from the ambiguous labels provided by annotators, since deep learning models may learn, even amplify, the bias embedded in them. In this paper, we propose a multi-view "divide-and-rule" (MV-DAR) model to learn from both reliable and ambiguous annotations for lung nodule malignancy prediction. According to the consistency and reliability of their annotations, we divide nodules into three sets: a consistent and reliable set (CR-Set), an inconsistent set (IC-Set), and a low reliable set (LR-Set). The nodule in IC-Set is annotated by multiple radiologists inconsistently, and the nodule in LR-Set is annotated by only one radiologist. The proposed MV-DAR contains three DAR submodels to characterize a lung nodule from three orthographic views. Each DAR consists of a prediction network (Prd-Net), a counterfactual network (CF-Net), and a low reliable network (LR-Net), learning on CR-Set, IC-Set, and LR-Set, respectively. The image representation ability learned by CF-Net and LR-Net is then transferred to Prd-Net by negative-attention module (NA-Module) and consistent-attention module (CA-Module), aiming to boost the prediction ability of Prd-Net. The MV-DAR model has been evaluated on the LIDC-IDRI dataset and LUNGx dataset. Our results indicate not only the effectiveness of the proposed MV-DAR model in learning from ambiguous labels but also its superiority over present noisy label-learning models in lung nodule malignancy prediction.


title: Shifted insertion algorithms for primed words

abstract: This article studies some new insertion algorithms that associate pairs of shifted tableaux to finite integer sequences in which certain terms may be primed. When primes are ignored in the input word these algorithms reduce to known correspondences, namely, a shifted form of Edelman-Greene insertion, Sagan-Worley insertion, and Haiman's shifted mixed insertion. These maps have the property that when the input word varies such that one output tableau is fixed, the other output tableau ranges over all (semi)standard tableaux of a given shape with no primed diagonal entries. Our algorithms have the same feature, but now with primes allowed on the main diagonal. One application of this is to give another Littlewood-Richardson rule for products of Schur $Q$-functions. It is hoped that there will exist set-valued generalizations of our bijections that can be used to understand products of $K$-theoretic Schur $Q$-functions.


title: Change point inference in ergodic diffusion processes based on high frequency data

abstract: We deal with the change point problem in ergodic diffusion processes based on high frequency data. Tonaki et al. (2020, 2021) studied the change point problem for the ergodic diffusion process model. However, the change point problem for the drift parameter when the diffusion parameter changes is still open. Therefore, we consider the change detection and the change point estimation for the drift parameter taking into account that there is a change point in the diffusion parameter. Moreover, we examine the performance of the tests and the estimation with numerical simulations.


title: Generating solutions of a linear equation and structure of elements of the Zelisko group

abstract: Solutions of a linear equation b=ax in a homomorphic image of a commutative Bezout domain of stable range 1.5 is developed. It is proved that the set of solutions of a solvable linear equation contains at least one solution that divides the rest, which is called a generating solution. Generating solutions are pairwise associates. Using this result, the structure of elements of the Zelisko group is investigated.


title: Constraining CP4 3HDM with top quark decays

abstract: CP4 3HDM is a unique three-Higgs-doublet model equipped with a higher-order CP symmetry in the scalar and Yukawa sector. Based on a single assumption (the minimal model with a CP-symmetry of order 4 and no accidental symmetry), it leads to a remarkable correlation between its scalar and Yukawa sectors, which echoes in its phenomenology. A recent scan of the parameter space of CP4 3HDM under the assumption of scalar alignment identified a few dozens of points which passed many flavour constraints. In the present work we show, however, that almost all of these points are now ruled out by the recent LHC searches of $t \to H^+ b$ with subsequent hadronic decays of $H^+$. Apart from a few points with charged Higgses heavier than the top quark, only one point survives all the checks, the model with an exotic, non-2HDM-like generation pattern of $H^+$ couplings with quarks. One can expect many more points with exotic $H^+$ couplings to quarks if the scalar alignment assumption is relaxed.


title: Collective Excitations in 2D Materials

abstract: Research on 2D materials has been one of the fastest-growing fields in condensed matter physics and materials science in the past 10 years. The low dimensionality and strong correlations of 2D systems give rise to electronic and structural properties, in the form of collective excitations, that do not have counterparts in ordinary 3D materials used in modern technology. These 2D materials present extraordinary opportunities for new technologies, such as in flexible electronics. In this Review, we focus on plasmons, excitons, phonons and magnons in 2D materials. We discuss the theoretical formalism of these collective excitations and elucidate how they differ from their 3D counterparts.


title: Tractability of Quantified Temporal Constraints To The Max

abstract: A temporal constraint language is a set of relations that are first-order definable over (Q;<). We show that several temporal constraint languages whose constraint satisfaction problem is maximally tractable are also maximally tractable for the more expressive quantified constraint satisfaction problem. These constraint languages are defined in terms of preservation under certain binary polymorphisms. We also present syntactic characterizations of the relations in these languages.


title: Flops and Mordell-Weil group of Elliptic Threefolds with (4,6,12)-singular fibers

abstract: Let $f: W \rightarrow T$ be an elliptic threefold that is a Weierstrass model, which is locally defined by $y^2 = x^3 + fx + g$ over $T$, with a singular fiber such that $(f,g,4f^3 + 27g^2)$ vanishes of order $(4,6,12)$ over an isolated point over $T$. Such a fiber can be explicitly resolved to fibers with smaller vanishing order and the resulting model, $Y$, contains a rational elliptic surface, $S$, where some sections of $S$ are flopping curves on $Y$. As a consequence of this arithmetic and geometric connection, we are able to describe some constraints between flops of $Y$ and the properties of the Mordell-Weil group of $S$ and $Y$.


title: Photon statistics of superbunching pseudothermal light

abstract: Superbunching pseudothermal light has important applications in studying the second- and higher-order interference of light in quantum optics. Unlike the photon statistics of thermal or pseudothermal light is well understood, the photon statistics of superbunching pseudothermal light has not been studied yet. In this paper, we will employ single-photon detectors to measure the photon statistics of superbunching pseudothermal light and calculate the degree of second-order coherence. It is found that the larger the value of the degree of second-order coherence of superbunching pseudothermal light is, the more the measured photon distribution deviates from the one of thermal or pseudothermal light in the tail part. The results are helpful to understand the physics of two-photon superbunching with classical light. It is suggested that superbunching pseudothermal light can be employed to generate non-Rayleigh temporal speckles.


title: Atomically sharp interface enabled ultrahigh-speed, nonvolatile memory devices

abstract: Development of memory devices with ultimate performance has played a key role in innovation of modern electronics. As a mainstream technology nonvolatile memory devices have manifested high capacity and mechanical reliability, however current major bottlenecks include low extinction ratio and slow operational speed. Although substantial effort has been employed to improve their performance, a typical hundreds of micro- or even milli- second write time remains a few orders of magnitude longer than their volatile counterparts. We have demonstrated nonvolatile, floating-gate memory devices based on van der Waals heterostructures with atomically sharp interfaces between different functional elements, and achieved ultrahigh-speed programming/erasing operations verging on an ultimate theoretical limit of nanoseconds with extinction ratio up to 10^10. This extraordinary performance has allowed new device capabilities such as multi-bit storage, thus opening up unforeseen applications in the realm of modern nanoelectronics and offering future fabrication guidelines for device scale-up.


title: OCRTOC: A Cloud-Based Competition and Benchmark for Robotic Grasping and Manipulation

abstract: In this paper, we propose a cloud-based benchmark for robotic grasping and manipulation, called the OCRTOC benchmark. The benchmark focuses on the object rearrangement problem, specifically table organization tasks. We provide a set of identical real robot setups and facilitate remote experiments of standardized table organization scenarios in varying difficulties. In this workflow, users upload their solutions to our remote server and their code is executed on the real robot setups and scored automatically. After each execution, the OCRTOC team resets the experimental setup manually. We also provide a simulation environment that researchers can use to develop and test their solutions. With the OCRTOC benchmark, we aim to lower the barrier of conducting reproducible research on robotic grasping and manipulation and accelerate progress in this field. Executing standardized scenarios on identical real robot setups allows us to quantify algorithm performances and achieve fair comparisons. Using this benchmark we held a competition in the 2020 International Conference on Intelligence Robots and Systems (IROS 2020). In total, 59 teams took part in this competition worldwide. We present the results and our observations of the 2020 competition, and discuss our adjustments and improvements for the upcoming OCRTOC 2021 competition. The homepage of the OCRTOC competition is www.ocrtoc.org, and the OCRTOC software package is available at https://github.com/OCRTOC/OCRTOC_software_package.


title: Minor theory for quasipositive surfaces

abstract: The set of quasipositive surfaces is closed under incompressible inclusion. We prove that the induced order on fibre surfaces of positive braid links is almost a well-quasi-order. When restricting to quasipositive surfaces containing a fixed root of a full twist, we get an actual well-quasi-order.


title: How to help university students to manage their interruptions and improve their attention and time management

abstract: Technology has changed both our way of life and the way in which we learn. Students now attend lectures with laptops and mobile phones, and this situation is accentuated in the case of students on Computer Science degrees, since they require their computers in order to participate in both theoretical and practical lessons. Problems, however, arise when the students' social networks are opened on their computers and they receive notifications that interrupt their work. We set up a workshop regarding time, thoughts and attention management with the objective of teaching our students techniques that would allow them to manage interruptions, concentrate better and definitively make better use of their time. Those who took part in the workshop were then evaluated to discover its effects. The results obtained are quite optimistic and are described in this paper with the objective of encouraging other universities to perform similar initiatives.


title: Reflexive combinatory algebras

abstract: We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable counterpart of combinatory models. This new structure, called strongly reflexive combinatory algebra, admits a finite axiomatisation with seven closed equations, and the structure is shown to be exactly the retract of combinatory models. Lambda algebras can be characterised as strongly reflexive combinatory algebras which are stable. Moreover, there is a canonical construction of a lambda algebra from a strongly reflexive combinatory algebra. The resulting axiomatisation of lambda algebras by the seven axioms for strong reflexivity together with those for stability is shown to correspond to the axiomatisation of lambda algebras due to Selinger [J.Funct.Programming, 12(6), 549--566, 2002].


title: Logarithmic intersections of double ramification cycles

abstract: We describe a theory of logarithmic Chow rings and tautological subrings for logarithmically smooth algebraic stacks, via a generalisation of the notion of piecewise-polynomial functions. Using this machinery we prove that the double-double ramification cycle lies in the tautological subring of the (classical) Chow ring of the moduli space of curves, and that the logarithmic double ramification cycle is divisorial (as conjectured by Molcho, Pandharipande, and Schmitt).


title: Accuracy and precision: a new view on kinematic assessment of solid-state hinges and compliant mechanisms

abstract: Compliant mechanisms are alternatives to conventional mechanisms which exploit elastic strain to produce desired deformations instead of using moveable parts. They are designed for a kinematic task (providing desired deformations) but do not possess a kinematics in the strict sense. This leads to difficulties while assessing the quality of a compliant mechanism's design. The kinematics of a compliant mechanism can be seen as a fuzzy property. There is no unique kinematics, since every deformation need a particular force system to act; however, certain deformations are easier to obtain than others. A parallel can be made with measurement theory: the measured value of a quantity is not unique, but exists as statistic distribution of measures. A representative measure of this distribution can be chosen to evaluate how far the measures divert from a reference value. Based on this analogy, the concept of accuracy and precision of compliant systems are introduced and discussed in this paper. A quantitative determination of these qualities based on the eigenvalue analysis of the hinge's stiffness is proposed. This new approach is capable of removing most of the ambiguities included in the state-of-the-art assessment criteria (usually based on the concepts of path deviation and parasitic motion).


title: SportsCap: Monocular 3D Human Motion Capture and Fine-grained Understanding in Challenging Sports Videos

abstract: Markerless motion capture and understanding of professional non-daily human movements is an important yet unsolved task, which suffers from complex motion patterns and severe self-occlusion, especially for the monocular setting. In this paper, we propose SportsCap -- the first approach for simultaneously capturing 3D human motions and understanding fine-grained actions from monocular challenging sports video input. Our approach utilizes the semantic and temporally structured sub-motion prior in the embedding space for motion capture and understanding in a data-driven multi-task manner. To enable robust capture under complex motion patterns, we propose an effective motion embedding module to recover both the implicit motion embedding and explicit 3D motion details via a corresponding mapping function as well as a sub-motion classifier. Based on such hybrid motion information, we introduce a multi-stream spatial-temporal Graph Convolutional Network(ST-GCN) to predict the fine-grained semantic action attributes, and adopt a semantic attribute mapping block to assemble various correlated action attributes into a high-level action label for the overall detailed understanding of the whole sequence, so as to enable various applications like action assessment or motion scoring. Comprehensive experiments on both public and our proposed datasets show that with a challenging monocular sports video input, our novel approach not only significantly improves the accuracy of 3D human motion capture, but also recovers accurate fine-grained semantic action attributes.


title: A Congruence-Based Perspective on Finite Tree Automata

abstract: We provide new insights on the determinization and minimization of tree automata using congruences on trees. From this perspective, we study a Brzozowski's style minimization algorithm for tree automata. First, we prove correct this method relying on the following fact: when the automata-based and the language-based congruences coincide, determinizing the automaton yields the minimal one. Such automata-based congruences, in the case of word automata, are defined using pre and post operators. Now we extend these operators to tree automata, a task that is particularly challenging due to the reduced expressive power of deterministic top-down (or equivalently co-deterministic bottom-up) automata. We leverage further our framework to offer an extension of the original result by Brzozowski for word automata.


title: Prediction, Selection, and Generation: Exploration of Knowledge-Driven Conversation System

abstract: In open-domain conversational systems, it is important but challenging to leverage background knowledge. We can use the incorporation of knowledge to make the generation of dialogue controllable, and can generate more diverse sentences that contain real knowledge. In this paper, we combine the knowledge bases and pre-training model to propose a knowledge-driven conversation system. The system includes modules such as dialogue topic prediction, knowledge matching and dialogue generation. Based on this system, we study the performance factors that maybe affect the generation of knowledge-driven dialogue: topic coarse recall algorithm, number of knowledge choices, generation model choices, etc., and finally made the system reach state-of-the-art. These experimental results will provide some guiding significance for the future research of this task. As far as we know, this is the first work to study and analyze the effects of the related factors.


title: Birds of a Feather Flock Together: A Close Look at Cooperation Emergence via Multi-Agent RL

abstract: How cooperation emerges is a long-standing and interdisciplinary problem. Game-theoretical studies on social dilemmas reveal that altruistic incentives are critical to the emergence of cooperation but their analyses are limited to stateless games. For more realistic scenarios, multi-agent reinforcement learning has been used to study sequential social dilemmas (SSDs). Recent works show that learning to incentivize other agents can promote cooperation in SSDs. However, we find that, with these incentivizing mechanisms, the team cooperation level does not converge and regularly oscillates between cooperation and defection during learning. We show that a second-order social dilemma resulting from the incentive mechanisms is the main reason for such fragile cooperation. We formally analyze the dynamics of second-order social dilemmas and find that a typical tendency of humans, called homophily, provides a promising solution. We propose a novel learning framework to encourage homophilic incentives and show that it achieves stable cooperation in both SSDs of public goods and tragedy of the commons.


title: Hierarchical adaptive low-rank format with applications to discretized PDEs

abstract: A novel compressed matrix format is proposed that combines an adaptive hierarchical partitioning of the matrix with low-rank approximation. One typical application is the approximation of discretized functions on rectangular domains; the flexibility of the format makes it possible to deal with functions that feature singularities in small, localized regions. To deal with time evolution and relocation of singularities, the partitioning can be dynamically adjusted based on features of the underlying data. Our format can be leveraged to efficiently solve linear systems with Kronecker product structure, as they arise from discretized partial differential equations (PDEs). For this purpose, these linear systems are rephrased as linear matrix equations and a recursive solver is derived from low-rank updates of such equations. We demonstrate the effectiveness of our framework for stationary and time-dependent, linear and nonlinear PDEs, including the Burgers' and Allen-Cahn equations.


title: Integrating Sensing and Communications for Ubiquitous IoT: Applications, Trends and Challenges

abstract: Recent advances in wireless communication and solid-state circuits together with the enormous demands of sensing ability have given rise to a new enabling technology, integrated sensing and communications (ISAC). The ISAC captures two main advantages over dedicated sensing and communication functionalities: 1) Integration gain to efficiently utilize congested resources, and even, 2) Coordination gain to balance dual-functional performance or/and perform mutual assistance. Meanwhile, triggered by ISAC, we are also witnessing a paradigm shift in the ubiquitous IoT architecture, in which the sensing and communication layers are tending to converge into a new layer, namely, the signaling layer. In this paper, we first attempt to introduce a definition of ISAC, analyze the various influencing forces, and present several novel use cases. Then, we complement the understanding of the signaling layer by presenting several key benefits in the IoT era. We classify existing dominant ISAC solutions based on the layers in which integration is applied. Finally, several challenges and opportunities are discussed. We hope that this overview article will serve as a primary starting point for new researchers and offer a bird's-eye view of the existing ISAC-related advances from academia and industry, ranging from solid-state circuitry, signal processing, and wireless communication to mobile computing.


title: Compact breathers generator in one-dimensional nonlinear networks

abstract: Nonlinear networks can host spatially compact time periodic solutions called compact breathers. Such solutions can exist accidentally (i.e. for specific nonlinear strength values) or parametrically (i.e. for any nonlinear strength). In this work we introduce an efficient generator scheme for one-dimensional nonlinear lattices which support either types of compact breathers spanned over a given number U of lattice's unit cells and any number of sites v per cell - scheme which can be straightforwardly extended to higher dimensions. This scheme in particular allows to show the existence and explicitly construct examples of parametric compact breathers with inhomogeneous spatial profiles -- extending previous results which indicated that only homogeneous parametric compact breathers exist. We provide explicit d=1 lattices with different v supporting compact breather solutions for U=1,2.


title: Roadmap of spin-orbit torques

abstract: Spin-orbit torque (SOT) is an emerging technology that enables the efficient manipulation of spintronic devices. The initial processes of interest in SOTs involved electric fields, spin-orbit coupling, conduction electron spins and magnetization. More recently interest has grown to include a variety of other processes that include phonons, magnons, or heat. Over the past decade, many materials have been explored to achieve a larger SOT efficiency. Recently, holistic design to maximize the performance of SOT devices has extended material research from a nonmagnetic layer to a magnetic layer. The rapid development of SOT has spurred a variety of SOT-based applications. In this Roadmap paper, we first review the theories of SOTs by introducing the various mechanisms thought to generate or control SOTs, such as the spin Hall effect, the Rashba-Edelstein effect, the orbital Hall effect, thermal gradients, magnons, and strain effects. Then, we discuss the materials that enable these effects, including metals, metallic alloys, topological insulators, two-dimensional materials, and complex oxides. We also discuss the important roles in SOT devices of different types of magnetic layers. Afterward, we discuss device applications utilizing SOTs. We discuss and compare three-terminal and two-terminal SOT-magnetoresistive random-access memories (MRAMs); we mention various schemes to eliminate the need for an external field. We provide technological application considerations for SOT-MRAM and give perspectives on SOT-based neuromorphic devices and circuits. In addition to SOT-MRAM, we present SOT-based spintronic terahertz generators, nano-oscillators, and domain wall and skyrmion racetrack memories. This paper aims to achieve a comprehensive review of SOT theory, materials, and applications, guiding future SOT development in both the academic and industrial sectors.


title: Microtomographic PIV measurements of viscoelastic instabilities in a 3D micro-contraction

abstract: Viscoelastic flow through an abrupt planar contraction geometry above a certain Weissenberg number (Wi) is well known to become unstable upstream of the contraction plane via a central jet separating from the walls and forming vortices in the salient corners. Here, for the first time we consider three-dimensional (3D) viscoelastic contraction flows in a microfabricated glass square-square contraction geometry. We employ state-of-the-art microtomographic particle image velocimetry to produce time-resolved and volumetric quantification of the 3D viscoelastic instabilities arising in a dilute polymer solution driven through the geometry over a wide range of Wi but at negligible Reynolds number. Based on our observations, we describe new insights into the growth, propagation, and transient dynamics of an elastic vortex formed upstream of the 3D micro-contraction due to flow jetting towards the contraction. At low Wi we observe vortex growth for increasing Wi, followed by a previously unreported vortex growth plateau region. In the plateau region, the vortex circulates around the jet with a period that decreases with Wi but an amplitude that is independent of Wi. In addition, we report new out-of-plane asymmetric jetting behaviour with a phase-wise dependence on Wi. Finally, we resolve the rate-of-strain tensor D and ascribe local gradients in D as the underlying driver of circulation via strain-hardening of the fluid in the wake of the jet.


title: Extending the Heston Model to Forecast Motor Vehicle Collision Rates

abstract: We present an alternative approach to the forecasting of motor vehicle collision rates. We adopt an oft-used tool in mathematical finance, the Heston Stochastic Volatility model, to forecast the short-term and long-term evolution of motor vehicle collision rates. We incorporate a number of extensions to the Heston model to make it fit for modelling motor vehicle collision rates. We incorporate the temporally-unstable and non-deterministic nature of collision rate fluctuations, and introduce a parameter to account for periods of accelerated safety. We also adjust estimates to account for the seasonality of collision patterns. Using these parameters, we perform a short-term forecast of collision rates and explore a number of plausible scenarios using long-term forecasts. The short-term forecast shows a close affinity with realised rates (over 95% accuracy), and outperforms forecasting models currently used in road safety research (Vasicek, SARIMA, SARIMA-GARCH). The long-term scenarios suggest that modest targets to reduce collision rates (1.83% annually) and targets to reduce the fluctuations of month-to-month collision rates (by half) could have significant benefits for road safety. The median forecast in this scenario suggests a 50% fall in collision rates, with 75% of simulations suggesting that an effective change in collision rates is observed before 2044. The main benefit the model provides is eschewing the necessity for setting unreasonable safety targets that are often missed. Instead, the model presents the effects that modest and achievable targets can have on road safety over the long run, while incorporating random variability. Examining the parameters that underlie expected collision rates will aid policymakers in determining the effectiveness of implemented policies.


title: LeBenchmark: A Reproducible Framework for Assessing Self-Supervised Representation Learning from Speech

abstract: Self-Supervised Learning (SSL) using huge unlabeled data has been successfully explored for image and natural language processing. Recent works also investigated SSL from speech. They were notably successful to improve performance on downstream tasks such as automatic speech recognition (ASR). While these works suggest it is possible to reduce dependence on labeled data for building efficient speech systems, their evaluation was mostly made on ASR and using multiple and heterogeneous experimental settings (most of them for English). This questions the objective comparison of SSL approaches and the evaluation of their impact on building speech systems. In this paper, we propose LeBenchmark: a reproducible framework for assessing SSL from speech. It not only includes ASR (high and low resource) tasks but also spoken language understanding, speech translation and emotion recognition. We also focus on speech technologies in a language different than English: French. SSL models of different sizes are trained from carefully sourced and documented datasets. Experiments show that SSL is beneficial for most but not all tasks which confirms the need for exhaustive and reliable benchmarks to evaluate its real impact. LeBenchmark is shared with the scientific community for reproducible research in SSL from speech.


title: Decision Tree Learning in CEGIS-Based Termination Analysis

abstract: We present a novel decision tree-based synthesis algorithm of ranking functions for verifying program termination. Our algorithm is integrated into the workflow of CounterExample Guided Inductive Synthesis (CEGIS). CEGIS is an iterative learning model where, at each iteration, (1) a synthesizer synthesizes a candidate solution from the current examples, and (2) a validator accepts the candidate solution if it is correct, or rejects it providing counterexamples as part of the next examples. Our main novelty is in the design of a synthesizer: building on top of a usual decision tree learning algorithm, our algorithm detects cycles in a set of example transitions and uses them for refining decision trees. We have implemented the proposed method and obtained promising experimental results on existing benchmark sets of (non-)termination verification problems that require synthesis of piecewise-defined lexicographic affine ranking functions.


title: Binomial edge ideals of Clutters

abstract: In this paper, we introduce the notion of binomial edge ideals of a clutter and obtain results similar to those obtained for graphs by Rauf \& Rinaldo in \cite{raufrin}. We also answer a question posed in their paper.


title: Numerical Semigroups with unique Ap\'{e}ry expansions

abstract: In this paper, we carry out a fairly comprehensive study of two special classes of numerical semigroups, one generated by the sequence of partial sums of an arithmetic progression and the other one generated by the partial sums of a geometric progression, in embedding dimension $4$. Both these classes have the common feature that they have unique expansions of the Ap\'{e}ry set elements.


title: H2O: A Benchmark for Visual Human-human Object Handover Analysis

abstract: Object handover is a common human collaboration behavior that attracts attention from researchers in Robotics and Cognitive Science. Though visual perception plays an important role in the object handover task, the whole handover process has been specifically explored. In this work, we propose a novel rich-annotated dataset, H2O, for visual analysis of human-human object handovers. The H2O, which contains 18K video clips involving 15 people who hand over 30 objects to each other, is a multi-purpose benchmark. It can support several vision-based tasks, from which, we specifically provide a baseline method, RGPNet, for a less-explored task named Receiver Grasp Prediction. Extensive experiments show that the RGPNet can produce plausible grasps based on the giver's hand-object states in the pre-handover phase. Besides, we also report the hand and object pose errors with existing baselines and show that the dataset can serve as the video demonstrations for robot imitation learning on the handover task. Dataset, model and code will be made public.


title: Probabilistic Rainfall Estimation from Automotive Lidar

abstract: Robust sensing and perception in adverse weather conditions remain one of the biggest challenges for realizing reliable autonomous vehicle mobility services. Prior work has established that rainfall rate is a useful measure for the adversity of atmospheric weather conditions. This work presents a probabilistic hierarchical Bayesian model that infers rainfall rate from automotive lidar point cloud sequences with high accuracy and reliability. The model is a hierarchical mixture of experts model, or a probabilistic decision tree, with gating and expert nodes consisting of variational logistic and linear regression models. Experimental data used to train and evaluate the model is collected in a large-scale rainfall experiment facility from both stationary and moving vehicle platforms. The results show prediction accuracy comparable to the measurement resolution of a disdrometer, and the soundness and usefulness of the uncertainty estimation. The model achieves RMSE 2.42\,mm/h after filtering out uncertain predictions. The error is comparable to the mean rainfall rate change of 3.5\,mm/h between measurements. Model parameter studies show how predictive performance changes with tree depth, sampling duration, and crop box dimension. A second experiment demonstrates the predictability of higher rainfall above 300\,mm/h using a different lidar sensor, demonstrating sensor independence.


title: Spatial and temporal distribution of a 1-MeV proton microbeam guided through a poly(tetrafluoroethylene) macrocapillary

abstract: We present computer simulations about the spatial and temporal evolution of a 1-MeV proton microbeam transmitted through an insulating macrocapillary with the length of 45 mm and with the inner diameter of 800 {\mu}m. The axis of the capillary was tilted to 1{\deg} relative to the axis of the incident beam, which ensured geometrical nontransparency. The simulation is based on the combination of stochastic (Monte Carlo) and deterministic methods. It involves (1) random sampling of the initial conditions, according to distributions generated by the widely used and freely available computer software packages, SRIM and WINTRAX, (2) the numerical solution of the governing equations for following the classical trajectory of the projectiles, and (3) the description of the field-driven charge migration on the surface and in the bulk of the insulator material. We found that our simulation describes reasonably all of our previous experimental observations, indicating the functionality and reliability of the applied model. In addition, we found that at different phases of the beam transmission, different atomic processes result in the evolution of the beam distribution. First, in a scattering phase, the multiple small angle atomic scattering dominates in the beam transmission, resulting in an outgoing beam into a wide angular range and in a wide energy window. Later, in a mixed phase, scattering and guiding happens simultaneously, with a continuously increasing contribution of guiding. Finally, in the phase of the stabilized, guided transmission, a quadrupolelike focusing effect is observed, i.e., the transmitted beam is concentrated into a small spot, and the transmitted protons keep their initial kinetic energy.


title: ClepsydraCache -- Preventing Cache Attacks with Time-Based Evictions

abstract: In the recent past, we have witnessed the shift towards attacks on the microarchitectural CPU level. In particular, cache side-channels play a predominant role as they allow an attacker to exfiltrate secret information by exploiting the CPU microarchitecture. These subtle attacks exploit the architectural visibility of conflicting cache addresses. In this paper, we present ClepsydraCache, which mitigates state-of-the-art cache attacks using a novel combination of cache decay and index randomization. Each cache entry is linked with a Time-To-Live (TTL) value. We propose a new dynamic scheduling mechanism of the TTL which plays a fundamental role in preventing those attacks while maintaining performance. ClepsydraCache efficiently protects against the latest cache attacks such as Prime+(Prune+)Probe. We present a full prototype in gem5 and lay out a proof-of-concept hardware design of the TTL mechanism, which demonstrates the feasibility of deploying ClepsydraCache in real-world systems.


title: Random Noise Defense Against Query-Based Black-Box Attacks

abstract: The query-based black-box attacks have raised serious threats to machine learning models in many real applications. In this work, we study a lightweight defense method, dubbed Random Noise Defense (RND), which adds proper Gaussian noise to each query. We conduct the theoretical analysis about the effectiveness of RND against query-based black-box attacks and the corresponding adaptive attacks. Our theoretical results reveal that the defense performance of RND is determined by the magnitude ratio between the noise induced by RND and the noise added by the attackers for gradient estimation or local search. The large magnitude ratio leads to the stronger defense performance of RND, and it's also critical for mitigating adaptive attacks. Based on our analysis, we further propose to combine RND with a plausible Gaussian augmentation Fine-tuning (RND-GF). It enables RND to add larger noise to each query while maintaining the clean accuracy to obtain a better trade-off between clean accuracy and defense performance. Additionally, RND can be flexibly combined with the existing defense methods to further boost the adversarial robustness, such as adversarial training (AT). Extensive experiments on CIFAR-10 and ImageNet verify our theoretical findings and the effectiveness of RND and RND-GF.


title: tcFFT: Accelerating Half-Precision FFT through Tensor Cores

abstract: Fast Fourier Transform (FFT) is an essential tool in scientific and engineering computation. The increasing demand for mixed-precision FFT has made it possible to utilize half-precision floating-point (FP16) arithmetic for faster speed and energy saving. Specializing in lower precision, NVIDIA Tensor Cores can deliver extremely high computation performance. However, the fixed computation pattern makes it hard to utilize the computing power of Tensor Cores in FFT. Therefore, we developed tcFFT to accelerate FFT with Tensor Cores. Our tcFFT supports batched 1D and 2D FFT of various sizes and it exploits a set of optimizations to achieve high performance: 1) single-element manipulation on Tensor Core fragments to support special operations needed by FFT; 2) fine-grained data arrangement design to coordinate with the GPU memory access pattern. We evaluated our tcFFT and the NVIDIA cuFFT in various sizes and dimensions on NVIDIA V100 and A100 GPUs. The results show that our tcFFT can outperform cuFFT 1.29x-3.24x and 1.10x-3.03x on the two GPUs, respectively. Our tcFFT has a great potential for mixed-precision scientific applications.


title: Squeezing anyons for braiding on small lattices

abstract: Adiabatically exchanging anyons gives rise to topologically protected operations on the quantum state of the system, but the desired result is only achieved if the anyons are well separated, which requires a sufficiently large area. Being able to reduce the area needed for the exchange, however, would have several advantages, such as enabling a larger number of operations per area and allowing anyon exchange to be studied in smaller systems that are easier to handle. Here, we use optimization techniques to squeeze the charge distribution of Abelian anyons in lattice fractional quantum Hall models, and we show that the squeezed anyons can be exchanged within a smaller area with a close to ideal outcome. We first use a toy model consisting of a modified Laughlin trial state to show that one can shape the anyons without altering the exchange statistics under certain conditions. We then squeeze and braid anyons in the Kapit-Mueller model and an interacting Hofstadter model by adding suitable potentials. We consider a fixed system size, for which the charge distributions of the normal anyons overlap, and we find that the outcome of the exchange process is closer to the ideal value for the squeezed anyons. The time needed for the exchange is also important, and for a particular example we find that the duration needed for the process to be close to the adiabatic limit is about five times longer for the squeezed anyons when the path length is the same. Finally we show that the exchange outcome is robust with respect to small modifications of the potential away from the optimized value.


title: Sequential convolutional network for behavioral pattern extraction in gait recognition

abstract: As a unique and promising biometric, video-based gait recognition has broad applications. The key step of this methodology is to learn the walking pattern of individuals, which, however, often suffers challenges to extract the behavioral feature from a sequence directly. Most existing methods just focus on either the appearance or the motion pattern. To overcome these limitations, we propose a sequential convolutional network (SCN) from a novel perspective, where spatiotemporal features can be learned by a basic convolutional backbone. In SCN, behavioral information extractors (BIE) are constructed to comprehend intermediate feature maps in time series through motion templates where the relationship between frames can be analyzed, thereby distilling the information of the walking pattern. Furthermore, a multi-frame aggregator in SCN performs feature integration on a sequence whose length is uncertain, via a mobile 3D convolutional layer. To demonstrate the effectiveness, experiments have been conducted on two popular public benchmarks, CASIA-B and OU-MVLP, and our approach is demonstrated superior performance, comparing with the state-of-art methods.


title: Monitoring Cumulative Cost Properties

abstract: This paper considers the problem of decentralized monitoring of a class of non-functional properties (NFPs) with quantitative operators, namely cumulative cost properties. The decentralized monitoring of NFPs can be a non-trivial task for several reasons: (i) they are typically expressed at a high abstraction level where inter-event dependencies are hidden, (ii) NFPs are difficult to be monitored in a decentralized way, and (iii) lack of effective decomposition techniques. We address these issues by providing a formal framework for decentralised monitoring of LTL formulas with quantitative operators. The presented framework employs the tableau construction and a formula unwinding technique (i.e., a transformation technique that preserves the semantics of the original formula) to split and distribute the input LTL formula and the corresponding quantitative constraint in a way such that monitoring can be performed in a decentralised manner. The employment of these techniques allows processes to detect early violations of monitored properties and perform some corrective or recovery actions. We demonstrate the effectiveness of the presented framework using a case study based on a Fischertechnik training model,a sorting line which sorts tokens based on their color into storage bins. The analysis of the case study shows the effectiveness of the presented framework not only in early detection of violations, but also in developing failure recovery plans that can help to avoid serious impact of failures on the performance of the system.


title: A study on Ensemble Learning for Time Series Forecasting and the need for Meta-Learning

abstract: The contribution of this work is twofold: (1) We introduce a collection of ensemble methods for time series forecasting to combine predictions from base models. We demonstrate insights on the power of ensemble learning for forecasting, showing experiment results on about 16000 openly available datasets, from M4, M5, M3 competitions, as well as FRED (Federal Reserve Economic Data) datasets. Whereas experiments show that ensembles provide a benefit on forecasting results, there is no clear winning ensemble strategy (plus hyperparameter configuration). Thus, in addition, (2), we propose a meta-learning step to choose, for each dataset, the most appropriate ensemble method and their hyperparameter configuration to run based on dataset meta-features.


title: Multimodal Fusion with BERT and Attention Mechanism for Fake News Detection

abstract: Fake news detection is an important task for increasing the credibility of information on the media since fake news is constantly spreading on social media every day and it is a very serious concern in our society. Fake news is usually created by manipulating images, texts, and videos. In this paper, we present a novel method for detecting fake news by fusing multimodal features derived from textual and visual data. Specifically, we used a pre-trained BERT model to learn text features and a VGG-19 model pre-trained on the ImageNet dataset to extract image features. We proposed a scale-dot product attention mechanism to capture the relationship between text features and visual features. Experimental results showed that our approach performs better than the current state-of-the-art method on a public Twitter dataset by 3.1% accuracy.


title: Ratio limits and Martin boundary

abstract: Consider an irreducible Markov chain which satisfies a ratio limit theorem, and let $\rho$ be the spectral radius of the chain. We investigate the relation of the the $\rho\,$-Martin boundary with the boundary induced by the $\rho\,$-harmonic kernel which appears in the ratio limit. Special emphasis is on random walks on non-amenable groups, specifically, free groups and hyperbolic groups.


title: Inductive biases and Self Supervised Learning in modelling a physical heating system

abstract: Model Predictive Controllers (MPC) require a good model for the controlled process. In this paper I infer inductive biases about a physical system. I use these biases to derive a new neural network architecture that can model this real system that has noise and inertia. The main inductive biases exploited here are: the delayed impact of some inputs on the system and the separability between the temporal component and how the inputs interact to produce the output of a system. The inputs are independently delayed using shifted convolutional kernels. Feature interactions are modelled using a fully connected network that does not have access to temporal information. The available data and the problem setup allow the usage of Self Supervised Learning in order to train the models. The baseline architecture is an Attention based Reccurent network adapted to work with MPC like inputs. The proposed networks are faster, better at exploiting larger data volumes and are almost as good as baseline networks in terms of prediction performance. The proposed architecture family called Delay can be used in a real scenario to control systems with delayed responses with respect to its controls or inputs. Ablation studies show that the presence of delay kernels are vital to obtain any learning in proposed architecture. Code and some experimental data are available online.


title: Exact solution for the Lindbladian dynamics for the open XX spin chain with boundary dissipation

abstract: We obtain exact formulas for the time-dependence of a few physical observables for the open XX spin chain with Lindbladian dynamics. Our analysis is based on the fact that the Lindblad equation for an arbitrary open quadratic system of $N$ fermions is explicitly solved in terms of diagonalization of a $4N\times4N$ matrix called structure matrix by following the scheme of the third quantization. We mainly focus on the time-dependence of magnetization and spin current. As a short-time behavior at a given site, we observe the plateau regime except near the center of the chain. Basic features of this are explained by the light-cone structure created by propagations of boundary effects from the initial time, but we can explain their more detailed properties analytically using our exact formulas. On the other hand, after the plateau regime, the magnetization and spin current exhibit a slow decay to the steady state values described by the Liouvillian gap. We analytically establish its $O(N^{-3})$ scaling and also determine its coefficient.


title: Development of Advanced Linearized Gyrokinetic Collision Operators Using a Moment Approach

abstract: The derivation and numerical implementation of a linearized version of the gyrokinetic (GK) Coulomb collision operator (Jorge R. et al., J. Plasma Phys. 85, 905850604 (2019)) and of the widely-used linearized GK Sugama collision operator (Sugama H. et al., Phys. Plasmas 16, 112503 (2009)) is reported. An approach based on a Hermite-Laguerre moment expansion of the perturbed gyrocenter distribution function is used, referred to as gyro-moment expansion. This approach allows considering arbitrary perpendicular wavenumber and expressing the two linearized GK operators as a linear combination of gyro-moments where the expansion coefficients are given by closed analytical expressions that depend on the perpendicular wavenumber and on the temperature and mass ratios of the colliding species. The drift-kinetic (DK) limits of the GK linearized Coulomb and Sugama operators are also obtained. Comparisons between the gyro-moment approach with the GK continuum code GENE are reported focusing on the ion-temperature-gradient (ITG) instability and zonal flow (ZF) damping, finding an excellent agreement. In particular, we demonstrate that the GK linearized Sugama yields a stronger collisional damping of the ZF residual compared to the GK linearized Coulomb. Finally, we show that the numerical efficiency of the gyro-moment approach increases with collisionality, a desired property for boundary plasma applications.


title: High-Flux Cold Ytterbium Atomic Beam Source Using Two-Dimensional Laser Cooling with Intercombination Transition

abstract: We demonstrate a high-flux and low transverse temperature atomic beam of ytterbium by applying two-dimensional cooling using the ${}^1\mathrm{S}_0\text{-}{}^3\mathrm{P}_1$ intercombination transition to the cold atomic beam produced by the dipolar-allowed ${}^1\mathrm{S}_0\text{-}{}^1\mathrm{P}_1$ transition. The optimized transverse temperature of $11 \pm 9\,\mathrm{\mu K}$ and an atomic flux of $(7.5 \pm 1.0) \times 10^8\,\mathrm{atoms/s}$ are obtained for the atomic beam whose longitudinal velocity is $30\,\mathrm{m/s}$. The transverse temperature is maintained below $23\,\mathrm{\mu K}$, while the flux is above $6.5 \times 10^8\,\mathrm{atoms/s}$ in the longitudinal velocity range of $22 - 30\,\mathrm{m/s}$. We also discuss the feasibility of further narrowing the transverse momentum width to less than the recoil momentum using the momentum-selective optical transition between the ground state and the long-lived metastable state. The transverse momentum width of our atomic beam, which is narrower than 5.7 times the recoil momentum, is a good starting point for the proposed method.


title: Skyrmions in a magnetic field and $\pi^0$ domain wall formation in dense nuclear matter

abstract: We elucidate magnetic effects in the skyrmion system to probe into the dense nuclear matter. We find a deformed $\pi^0$ dipole structure of a baryon induced by a magnetic field. We then extend our scope to stacked Skyrme crystal layers to scrutinize phases of magnetized nuclear matter. We observe a quantized magnetic flux and identify a phase transition from a crystalline state to a $\pi^0$ domain wall corresponding to a topological transmutation from $\pi_3(S^3)$ to $\pi_1(S^1)$. We establish the phase diagram, which could be explored also in analogous systems with two-component Bose-Einstein condensates.