title: One-dimensional time-Floquet photonic crystal

abstract: Using the Floquet Hamiltonian derived based on the time-dependent perturbation theory, we investigated the quasienergy bands of a one-dimensional time-Floquet photonic crystal. The time-Floquet photonic crystal contains two alternating layers labeled as A and B, and the permittivity of A layer is modulated periodically in time. We showed that the quasienergy bands are reciprocal when the modulation function is a function of time only, while the quasienergy bands could be nonreciprocal when the permittivity is modulated in both time and space through an unique combination. In the former case, the coupling between the positive (negative) and positive (negative) bands results in quasienergy gaps, while the coupling between the positive and negative bands leads to pairs of exception points, when the modulation is on the real part of the permittivity. In the latter case, the coupling between the positive (negative) and positive (negative) bands still results in quasienergy gaps. However, the coupling between the positive and negative bands leads to quasienergy gaps at a small modulation speed and pairs of exceptional points at a high modulation speed.


title: A Neural Pre-Conditioning Active Learning Algorithm to Reduce Label Complexity

abstract: Deep learning (DL) algorithms rely on massive amounts of labeled data. Semi-supervised learning (SSL) and active learning (AL) aim to reduce this label complexity by leveraging unlabeled data or carefully acquiring labels, respectively. In this work, we primarily focus on designing an AL algorithm but first argue for a change in how AL algorithms should be evaluated. Although unlabeled data is readily available in pool-based AL, AL algorithms are usually evaluated by measuring the increase in supervised learning (SL) performance at consecutive acquisition steps. Because this measures performance gains from both newly acquired instances and newly acquired labels, we propose to instead evaluate the label efficiency of AL algorithms by measuring the increase in SSL performance at consecutive acquisition steps. After surveying tools that can be used to this end, we propose our neural pre-conditioning (NPC) algorithm inspired by a Neural Tangent Kernel (NTK) analysis. Our algorithm incorporates the classifier's uncertainty on unlabeled data and penalizes redundant samples within candidate batches to efficiently acquire a diverse set of informative labels. Furthermore, we prove that NPC improves downstream training in the large-width regime in a manner previously observed to correlate with generalization. Comparisons with other AL algorithms show that a state-of-the-art SSL algorithm coupled with NPC can achieve high performance using very few labeled data.


title: Analysis of Normal-Form Algorithms for Solving Systems of Polynomial Equations

abstract: We examine several of the normal-form multivariate polynomial rootfinding methods of Telen, Mourrain, and Van Barel and some variants of those methods. We analyze the performance of these variants in terms of their asymptotic temporal complexity as well as speed and accuracy on a wide range of numerical experiments. All variants of the algorithm are problematic for systems in which many roots are very close together. We analyze performance on one such system in detail, namely the 'devastating example' that Noferini and Townsend used to demonstrate instability of resultant-based methods.


title: Sparse NMF with Archetypal Regularization: Computational and Robustness Properties

abstract: We consider the problem of sparse nonnegative matrix factorization (NMF) using archetypal regularization. The goal is to represent a collection of data points as nonnegative linear combinations of a few nonnegative sparse factors with appealing geometric properties, arising from the use of archetypal regularization. We generalize the notion of robustness studied in Javadi and Montanari (2019) (without sparsity) to the notions of (a) strong robustness that implies each estimated archetype is close to the underlying archetypes and (b) weak robustness that implies there exists at least one recovered archetype that is close to the underlying archetypes. Our theoretical results on robustness guarantees hold under minimal assumptions on the underlying data, and applies to settings where the underlying archetypes need not be sparse. We present theoretical results and illustrative examples to strengthen the insights underlying the notions of robustness. We propose new algorithms for our optimization problem; and present numerical experiments on synthetic and real data sets that shed further insights into our proposed framework and theoretical developments.


title: Neural Temporal Point Processes: A Review

abstract: Temporal point processes (TPP) are probabilistic generative models for continuous-time event sequences. Neural TPPs combine the fundamental ideas from point process literature with deep learning approaches, thus enabling construction of flexible and efficient models. The topic of neural TPPs has attracted significant attention in the recent years, leading to the development of numerous new architectures and applications for this class of models. In this review paper we aim to consolidate the existing body of knowledge on neural TPPs. Specifically, we focus on important design choices and general principles for defining neural TPP models. Next, we provide an overview of application areas commonly considered in the literature. We conclude this survey with the list of open challenges and important directions for future work in the field of neural TPPs.


title: Inference for Gaussian Processes with Mat\'ern Covariogram on Compact Riemannian Manifolds

abstract: Gaussian processes are widely employed as versatile modelling and predictive tools in spatial statistics, functional data analysis, computer modelling and diverse applications of machine learning. They have been widely studied over Euclidean spaces, where they are specified using covariance functions or covariograms for modelling complex dependencies. There is a growing literature on Gaussian processes over Riemannian manifolds in order to develop richer and more flexible inferential frameworks for non-Euclidean data. While numerical approximations through graph representations have been well studied for the Mat\'ern covariogram and heat kernel, the behaviour of asymptotic inference on the parameters of the covariogram has received relatively scant attention. We focus on the asymptotic inference for Gaussian processes constructed over compact Riemannian manifolds. Building upon the recently introduced Mat\'ern covariogram on a compact Riemannian manifold, we employ formal notions and conditions for the equivalence of two Mat\'ern Gaussian random measures on compact manifolds to derive the parameter that is identifiable, also known as the microergodic parameter, and formally establish the consistency of the maximum likelihood estimate and the asymptotic optimality of the best linear unbiased predictor. The circle is studied as a specific example of compact Riemannian manifolds with numerical experiments to illustrate and corroborate the theory.


title: Ground state of one-dimensional fermion-phonon systems

abstract: A new framework for the reflection positivity, based on order-preserving operator inequalities, is proposed. This framework is utilized to investigate one-dimensional fermion-phonon systems, with a particular focus on the detailed examination of ground state properties. Our analysis reveals that the reflection positivity provides a consistent description of the charge-density-wave (CDW) order in such systems. Additionally, we establish the existence of CDW long-range order in the ground state when the Coulomb interaction is long range.


title: Pseudo-supervised Deep Subspace Clustering

abstract: Auto-Encoder (AE)-based deep subspace clustering (DSC) methods have achieved impressive performance due to the powerful representation extracted using deep neural networks while prioritizing categorical separability. However, self-reconstruction loss of an AE ignores rich useful relation information and might lead to indiscriminative representation, which inevitably degrades the clustering performance. It is also challenging to learn high-level similarity without feeding semantic labels. Another unsolved problem facing DSC is the huge memory cost due to $n\times n$ similarity matrix, which is incurred by the self-expression layer between an encoder and decoder. To tackle these problems, we use pairwise similarity to weigh the reconstruction loss to capture local structure information, while a similarity is learned by the self-expression layer. Pseudo-graphs and pseudo-labels, which allow benefiting from uncertain knowledge acquired during network training, are further employed to supervise similarity learning. Joint learning and iterative training facilitate to obtain an overall optimal solution. Extensive experiments on benchmark datasets demonstrate the superiority of our approach. By combining with the $k$-nearest neighbors algorithm, we further show that our method can address the large-scale and out-of-sample problems.


title: An Equivariant Filter for Visual Inertial Odometry

abstract: Visual Inertial Odometry (VIO) is of great interest due the ubiquity of devices equipped with both a monocular camera and Inertial Measurement Unit (IMU). Methods based on the extended Kalman Filter remain popular in VIO due to their low memory requirements, CPU usage, and processing time when compared to optimisation-based methods. In this paper, we analyse the VIO problem from a geometric perspective and propose a novel formulation on a smooth quotient manifold where the equivalence relationship is the well-known invariance of VIO to choice of reference frame. We propose a novel Lie group that acts transitively on this manifold and is compatible with the visual measurements. This structure allows for the application of Equivariant Filter (EqF) design leading to a novel filter for the VIO problem. Combined with a very simple vision processing front-end, the proposed filter demonstrates state-of-the-art performance on the EuRoC dataset compared to other EKF-based VIO algorithms.


title: Super orbifold theory

abstract: Let $V$ be a simple vertex operator superalgebra and $G$ a finite automorphism group of $V$ containing the canonical automorphism $\sigma$ such that $V^G$ is regular. It is proved that every irreducible $V^G$-module occurs in an irreducible $g$-twisted $V$-module for some $g\in G$ and the irreducible $V^G$-modules are classified. Moreover, the quantum dimensions of irreducible $V^G$-modules are determined, a global dimension formula for $V$ in terms of twisted modules is obtained and a super quantum Galois theory is established. In addition, the $S$-matrix of $V^G$ is computed


title: On the size distribution of spots within sunspot groups

abstract: Size distribution of sunspots provides key information about the generation and emergence processes of the solar magnetic field. Previous studies on the size distribution have primarily focused on either the whole group or individual spot areas. In this paper, we investigate the organization of spot areas within sunspot groups. In particular, we analyze the ratio, $\rm{R}$, of the area of the biggest spot ($\rm{A_{big\_spot}}$) inside a group, to the total area of that group ($\rm{A_{group}}$). We use sunspot observations from Kislovodsk, Pulkovo and Debrecen observatories, together covering solar cycles 17 to 24. We find that at the time when the group area reaches its maximum, the single biggest spot in a group typically occupies about 60% of the group area. For half of all groups, $\rm R$ lies in the range between roughly 50% and 70%. We also find R to change with the group area, $\rm{A_{group}}$, such that $\rm{R}$ reaches a maximum of about 0.65 for groups with $\rm{A_{group}}\approx 200\mu$Hem and then remains at about 0.6 for lager groups. Our findings imply a scale invariant emergence pattern, providing an observational constraint on the emergence process. Furthermore, extrapolation of our results to larger sunspot groups may have a bearing on the giant unresolved starspot features found in Doppler images of highly active sun-like stars. Our results suggest that such giant features are composed of multiple spots, with the largest spot occupying roughly 55--75% of the total group area (i.e. of the area of the giant starspots seen in Doppler images).


title: An Empirical Study of the Effects of Sample-Mixing Methods for Efficient Training of Generative Adversarial Networks

abstract: It is well-known that training of generative adversarial networks (GANs) requires huge iterations before the generator's providing good-quality samples. Although there are several studies to tackle this problem, there is still no universal solution. In this paper, we investigated the effect of sample mixing methods, that is, Mixup, CutMix, and newly proposed Smoothed Regional Mix (SRMix), to alleviate this problem. The sample-mixing methods are known to enhance the accuracy and robustness in the wide range of classification problems, and can naturally be applicable to GANs because the role of the discriminator can be interpreted as the classification between real and fake samples. We also proposed a new formalism applying the sample-mixing methods to GANs with the saturated losses which do not have a clear "label" of real and fake. We performed a vast amount of numerical experiments using LSUN and CelebA datasets. The results showed that Mixup and SRMix improved the quality of the generated images in terms of FID in most cases, in particular, SRMix showed the best improvement in most cases. Our analysis indicates that the mixed-samples can provide different properties from the vanilla fake samples, and the mixing pattern strongly affects the decision of the discriminators. The generated images of Mixup have good high-level feature but low-level feature is not so impressible. On the other hand, CutMix showed the opposite tendency. Our SRMix showed the middle tendency, that is, showed good high and low level features. We believe that our finding provides a new perspective to accelerate the GANs convergence and improve the quality of generated samples.


title: Velocity segregation in a clump-like outflow with a non-top hat velocity cross-section

abstract: High velocity clumps joined to the outflow source by emission with a "Hubble law" ramp of linearly increasing radial velocity vs. distance are observed in some planetary nebulae and in some outflows in star formation regions. We propose a simple model in which a "clump" is ejected from a source over a period $\tau_0$, with a strong axis to edge velocity stratification. This non-top hat cross section results in the production of a highly curved working surface (initially being pushed by the ejected material, and later coasting along due to its inertia). From both analytic models and numerical simulations we find that this working surface has a linear velocity vs. position ramp, and therefore reproduces in a qualitative way the "Hubble law clumps" in planetary nebulae and outflows from young stars.


title: Strong constraints from COSINE-100 on the DAMA dark matter results using the same sodium iodide target

abstract: We present new constraints on dark matter interactions using 1.7 years of COSINE-100 data. The COSINE-100 experiment, consisting of 106 kg of tallium-doped sodium iodide (NaI(Tl)) target material, is aimed at testing DAMA's claim of dark matter observation using the same NaI(Tl) detectors. Improved event selection requirements, a more precise understanding of the detector background and the use of a larger data set considerably enhances the COSINE-100 sensitivity for dark matter detection. No signal consistent with the dark matter interaction is identified, and rules out model-dependent dark matter interpretations of the DAMA signals in the specific context of standard halo model with the same NaI(Tl) target for various interaction hypotheses.


title: MetricGAN+: An Improved Version of MetricGAN for Speech Enhancement

abstract: The discrepancy between the cost function used for training a speech enhancement model and human auditory perception usually makes the quality of enhanced speech unsatisfactory. Objective evaluation metrics which consider human perception can hence serve as a bridge to reduce the gap. Our previously proposed MetricGAN was designed to optimize objective metrics by connecting the metric with a discriminator. Because only the scores of the target evaluation functions are needed during training, the metrics can even be non-differentiable. In this study, we propose a MetricGAN+ in which three training techniques incorporating domain-knowledge of speech processing are proposed. With these techniques, experimental results on the VoiceBank-DEMAND dataset show that MetricGAN+ can increase PESQ score by 0.3 compared to the previous MetricGAN and achieve state-of-the-art results (PESQ score = 3.15).


title: Black hole mass measurement using ALMA observations of [CI] and CO emissions in the Seyfert 1 galaxy NGC7469

abstract: We present a supermassive black hole (SMBH) mass measurement in the Seyfert 1 galaxy NGC7469 using Atacama Large Millimeter/submillimeter Array (ALMA) observations of the atomic-${\rm [CI]}$(1-0) and molecular-$^{12}$CO(1-0) emission lines at the spatial resolution of $\approx0.3$" (or $\approx$ 100 pc). These emissions reveal that NGC7469 hosts a circumnuclear gas disc (CND) with a ring-like structure and a two-arm/bi-symmetric spiral pattern within it, surrounded by a starbursting ring. The CND has a relatively low $\sigma/V\approx0.35$ ($r\sim0.5$") and $\sim0.19$ ($r>0.5"$), suggesting that the gas is dynamically settled and suitable for dynamically deriving the mass of its central source. As is expected from X-ray dominated region (XDR) effects that dramatically increase an atomic carbon abundance by dissociating CO molecules, we suggest that the atomic [CI](1-0) emission is a better probe of SMBH masses than CO emission in AGNs. Our dynamical model using the ${\rm [CI]}$(1-0) kinematics yields a $M_{\rm BH}=1.78^{+2.69}_{-1.10}\times10^7$M$_\odot$ and $M/L_{\rm F547M}=2.25^{+0.40}_{-0.43}$ (M$_\odot$/L$_\odot$). The model using the CO(1-0) kinematics also gives a consistent $M_{\rm BH}$ with a larger uncertainty, up to an order of magnitude, i.e.\ $M_{\rm BH}=1.60^{+11.52}_{-1.45}\times10^7$M$_\odot$. This newly dynamical $M_{\rm BH}$ is $\approx$ 2 times higher than the mass determined from the reverberation mapped (RM) method using emissions arising in the unresolved broad-line region (BLR). Given this new $M_{\rm BH}$, we are able to constrain the specific RM dimensionless scaling factor of $f=7.2^{+4.2}_{-3.4}$ for the AGN BLR in NGC7469. The gas within the unresolved BLR thus has a Keplerian virial velocity component and the inclination of $i\approx11.0^\circ$$_{-2.5}^{+2.2}$, confirming its face-on orientation in a Seyfert 1 AGN by assuming a geometrically thin BLR model.


title: Map-based Channel Modeling and Generation for U2V mmWave Communication

abstract: Unmanned aerial vehicle (UAV) aided millimeter wave (mmWave) technologies have a promising prospect in the future communication networks. By considering the factors of three-dimensional (3D) scattering space, 3D trajectory, and 3D antenna array, a non-stationary channel model for UAV-to-vehicle (U2V) mmWave communications is proposed. The computation and generation methods of channel parameters including interpath and intra-path are analyzed in detail. The inter-path parameters are calculated in a deterministic way, while the parameters of intra-path rays are generated in a stochastic way. The statistical properties are obtained by using a Gaussian mixture model (GMM) on the massive ray tracing (RT) data. Then, a modified method of equal areas (MMEA) is developed to generate the random intra-path variables. Meanwhile, to reduce the complexity of RT method, the 3D propagation space is reconstructed based on the user-defined digital map. The simulated and analyzed results show that the proposed model and generation method can reproduce non-stationary U2V channels in accord with U2V scenarios. The generated statistical properties are consistent with the theoretical and measured ones as well.


title: Multiple Object Tracking with Correlation Learning

abstract: Recent works have shown that convolutional networks have substantially improved the performance of multiple object tracking by simultaneously learning detection and appearance features. However, due to the local perception of the convolutional network structure itself, the long-range dependencies in both the spatial and temporal cannot be obtained efficiently. To incorporate the spatial layout, we propose to exploit the local correlation module to model the topological relationship between targets and their surrounding environment, which can enhance the discriminative power of our model in crowded scenes. Specifically, we establish dense correspondences of each spatial location and its context, and explicitly constrain the correlation volumes through self-supervised learning. To exploit the temporal context, existing approaches generally utilize two or more adjacent frames to construct an enhanced feature representation, but the dynamic motion scene is inherently difficult to depict via CNNs. Instead, our paper proposes a learnable correlation operator to establish frame-to-frame matches over convolutional feature maps in the different layers to align and propagate temporal context. With extensive experimental results on the MOT datasets, our approach demonstrates the effectiveness of correlation learning with the superior performance and obtains state-of-the-art MOTA of 76.5% and IDF1 of 73.6% on MOT17.


title: Muon $(g-2)$ in the B-LSSM

abstract: The difference between the updated experimental result on the muon anomalous magnetic dipole moment and the corresponding theoretical prediction of the standard model on that is about $4.2$ standard deviations. In this work, we calculate the muon anomalous MDM at the two-loop level in the supersymmetric $B-L$ extension of the standard model. Considering the experimental constraints on the lightest Higgs boson mass, Higgs boson decay modes $h\rightarrow \gamma\gamma,\;WW,\;ZZ,\; b\bar b,\;\tau\bar\tau$, B rare decay $\bar B\rightarrow X_s\gamma$, and the transition magnetic moments of Majorana neutrinos, we analyze the theoretical predictions of the muon anomalous magnetic dipole moment in the $B-L$ supersymmetric model. The numerical analyses indicate that the tension between the experimental measurement and the standard model prediction is remedied in the $B-L$ supersymmetric model.


title: Extended Parallel Corpus for Amharic-English Machine Translation

abstract: This paper describes the acquisition, preprocessing, segmentation, and alignment of an Amharic-English parallel corpus. It will be helpful for machine translation of a low-resource language, Amharic. We freely released the corpus for research purposes. Furthermore, we developed baseline statistical and neural machine translation systems; we trained statistical and neural machine translation models using the corpus. In the experiments, we also used a large monolingual corpus for the language model of statistical machine translation and back-translation of neural machine translation. In the automatic evaluation, neural machine translation models outperform statistical machine translation models by approximately six to seven Bilingual Evaluation Understudy (BLEU) points. Besides, among the neural machine translation models, the subword models outperform the word-based models by three to four BLEU points. Moreover, two other relevant automatic evaluation metrics, Translation Edit Rate on Character Level and Better Evaluation as Ranking, reflect corresponding differences among the trained models.


title: 1st Place Solution to ICDAR 2021 RRC-ICTEXT End-to-end Text Spotting and Aesthetic Assessment on Integrated Circuit

abstract: This paper presents our proposed methods to ICDAR 2021 Robust Reading Challenge - Integrated Circuit Text Spotting and Aesthetic Assessment (ICDAR RRC-ICTEXT 2021). For the text spotting task, we detect the characters on integrated circuit and classify them based on yolov5 detection model. We balance the lowercase and non-lowercase by using SynthText, generated data and data sampler. We adopt semi-supervised algorithm and distillation to furtherly improve the model's accuracy. For the aesthetic assessment task, we add a classification branch of 3 classes to differentiate the aesthetic classes of each character. Finally, we make model deployment to accelerate inference speed and reduce memory consumption based on NVIDIA Tensorrt. Our methods achieve 59.1 mAP on task 3.1 with 31 FPS and 306M memory (rank 1), 78.7\% F2 score on task 3.2 with 30 FPS and 306M memory (rank 1).


title: Embeddings and Attention in Predictive Modeling

abstract: We explore in depth how categorical data can be processed with embeddings in the context of claim severity modeling. We develop several models that range in complexity from simple neural networks to state-of-the-art attention based architectures that utilize embeddings. We illustrate the utility of learned embeddings from neural networks as pretrained features in generalized linear models, and discuss methods for visualizing and interpreting embeddings. Finally, we explore how attention based models can contextually augment embeddings, leading to enhanced predictive performance.


title: Graph Partitioning and Sparse Matrix Ordering using Reinforcement Learning and Graph Neural Networks

abstract: We present a novel method for graph partitioning, based on reinforcement learning and graph convolutional neural networks. Our approach is to recursively partition coarser representations of a given graph. The neural network is implemented using SAGE graph convolution layers, and trained using an advantage actor critic (A2C) agent. We present two variants, one for finding an edge separator that minimizes the normalized cut or quotient cut, and one that finds a small vertex separator. The vertex separators are then used to construct a nested dissection ordering to permute a sparse matrix so that its triangular factorization will incur less fill-in. The partitioning quality is compared with partitions obtained using METIS and SCOTCH, and the nested dissection ordering is evaluated in the sparse solver SuperLU. Our results show that the proposed method achieves similar partitioning quality as METIS and SCOTCH. Furthermore, the method generalizes across different classes of graphs, and works well on a variety of graphs from the SuiteSparse sparse matrix collection.


title: Seeing Thru Walls: Visualizing Mobile Robots in Augmented Reality

abstract: We present an approach for visualizing mobile robots through an Augmented Reality headset when there is no line-of-sight visibility between the robot and the human. Three elements are visualized in Augmented Reality: 1) Robot's 3D model to indicate its position, 2) An arrow emanating from the robot to indicate its planned movement direction, and 3) A 2D grid to represent the ground plane. We conduct a user study with 18 participants, in which each participant are asked to retrieve objects, one at a time, from stations at the two sides of a T-junction at the end of a hallway where a mobile robot is roaming. The results show that visualizations improved the perceived safety and efficiency of the task and led to participants being more comfortable with the robot within their personal spaces. Furthermore, visualizing the motion intent in addition to the robot model was found to be more effective than visualizing the robot model alone. The proposed system can improve the safety of automated warehouses by increasing the visibility and predictability of robots.


title: Investigation on the solar spectrum using Blackbody Radiation Inversion

abstract: The probability distribution of temperature of a blackbody can be determined from its power spectrum. This technique is called blackbody radiation inversion. In the present paper blackbody radiation inversion is applied on the spectrum of the Sun. The probability distribution of temperature and the mean temperature of the Sun are calculated without assuming a homogenous temperature and without using Stefan-Boltzmann law. Different properties of this distribution are characterized. This paper presents the very first mention and investigation of the distortions present within the Sun's spectrum.


title: M-Net with Bidirectional ConvLSTM for Cup and Disc Segmentation in Fundus Images

abstract: Glaucoma is a severe eye disease that is known to deteriorate optic never fibers, causing cup size to increase, which could result in permanent loss of vision. Glaucoma is the second leading cause of blindness after cataract, but glaucoma being more dangerous as it is not curable. Early diagnoses and treatment of glaucoma can help to slow the progression of glaucoma and its damages. For the detection of glaucoma, the Cup to Disc ratio (CDR) provides significant information. The CDR depends heavily on the accurate segmentation of cup and disc regions. In this paper, we have proposed a modified M-Net with bidirectional convolution long short-term memory (LSTM), based on joint cup and disc segmentation. The proposed network combines features of encoder and decoder, with bidirectional LSTM. Our proposed model segments cup and disc regions based on which the abnormalities in cup to disc ratio can be observed. The proposed model is tested on REFUGE2 data, where our model achieves a dice score of 0.92 for optic disc and an accuracy of 98.99% in segmenting cup and disc regions


title: Roadmap on multimode light shaping

abstract: Our ability to generate new distributions of light has been remarkably enhanced in recent years. At the most fundamental level, these light patterns are obtained by ingeniously combining different electromagnetic modes. Interestingly, the modal superposition occurs in the spatial, temporal as well as spatio-temporal domain. This generalized concept of structured light is being applied across the entire spectrum of optics: generating classical and quantum states of light, harnessing linear and nonlinear light-matter interactions, and advancing applications in microscopy, spectroscopy, holography, communication, and synchronization. This Roadmap highlights the common roots of these different techniques and thus establishes links between research areas that complement each other seamlessly. We provide an overview of all these areas, their backgrounds, current research, and future developments. We highlight the power of multimodal light manipulation and want to inspire new eclectic approaches in this vibrant research community.


title: Interacting quark matter effects on the structure of compact stars

abstract: In this work, we study the effects that interacting quark matter has on the stellar structure of strange and charm quark stars. Additionally, their stability against radial pulsations is analyzed using a first-order formalism for adiabatic general relativistic oscillations. Besides, the early stage of stellar evolution of neutron stars after the supernovae explosion, i.e. protoneutron stars, is investigated by considering the possibility of a first-order phase transition to quark matter rich in leptons, where the dynamics of conversion between phases is studied within a thermal nucleation model. For each kind of compact star mentioned we use for the quark phase the equation of state calculated within cold perturbative QCD (pQCD), parametrized only by its renormalization scale. We note that the original pQCD framework is manipulated appropriately to include neutrinos and extended to add heavy quarks to the original system composed only by up, down and strange quark flavors.


title: Nonparametric estimation of trend for SDEs with delay driven by fractional Brownian motion with small noise

abstract: We investigate the problem of nonparametric estimation of the trend for stochastic differential equations with delay and driven by a fractional Brownian motion through the method of kernel-type estimation for the estimation of a probability density function.


title: Solar wind current sheets and deHoffmann-Teller analysis: First results of DC electric field measurements by Solar Orbiter

abstract: Solar Orbiter was launched on February 10, 2020 with the purpose of investigating solar and heliospheric physics using a payload of instruments designed for both remote and in-situ sensing. Similar to the recently launched Parker Solar Probe, and unlike earlier missions, Solar Orbiter carries instruments designed to measure the low frequency DC electric fields. In this paper we assess the quality of the low-frequency DC electric field measured by the Radio and Plasma Waves instrument (RPW) on Solar Orbiter. In particular we investigate the possibility of using Solar Orbiter's DC electric and magnetic field data to estimate the solar wind speed. We use deHoffmann-Teller (HT) analysis based on measurements of the electric and magnetic fields to find the velocity of solar wind current sheets which minimizes a single component of the electric field. By comparing the HT velocity to proton velocity measured by the Proton and Alpha particle Sensor (PAS) we develop a simple model for the effective antenna length, $L_\text{eff}$ of the E-field probes. We then use the HT method to estimate the speed of the solar wind. Using the HT method, we find that the observed variations in $E_y$ are often in excellent agreement with the variations in the magnetic field. The magnitude of $E_y$, however, is uncertain due to the fact that the $L_\text{eff}$ depends on the plasma environment. We derive an empirical model relating $L_\text{eff}$ to the Debye length, which we can use to improve the estimate of $E_y$ and consequently the estimated solar wind speed. The low frequency electric field provided by RPW is of high quality. Using deHoffmann-Teller analysis, Solar Orbiter's magnetic and electric field measurements can be used to estimate the solar wind speed when plasma data is unavailable.


title: On $L^2$ extension from singular hypersurfaces

abstract: In $L^2$ extension theorems from a singular hypersurface in a complex manifold, important roles are played by certain measures such as the Ohsawa measure which determine when a given function can be extended. We show that the singularity of the Ohsawa measure can be identified in terms of singularity of pairs from algebraic geometry. Using this, we give an analytic proof of the inversion of adjunction in this setting. Then these considerations enable us to compare various positive and negative results on $L^2$ extension from singular hypersurfaces. In particular, we generalize a recent negative result of Guan and Li which places limitations on strengthening such $L^2$ extension by employing a less singular measure in the place of the Ohsawa measure.


title: Congruence Relations for B\"uchi Automata

abstract: We revisit here congruence relations for B\"uchi automata, which play a central role in the automata-based verification. The size of the classical congruence relation is in $3^{\mathcal{O}(n^2)}$, where $n$ is the number of states of a given B\"uchi automaton $\mathcal{A}$. Here we present improved congruence relations that can be exponentially coarser than the classical one. We further give asymptotically optimal congruence relations of size $2^{\mathcal{O}(n \log n)}$. Based on these optimal congruence relations, we obtain an optimal translation from B\"uchi automata to a family of deterministic finite automata (FDFW) that accepts the complementary language. To the best of our knowledge, our construction is the first direct and optimal translation from B\"uchi automata to FDFWs.


title: A Second-Order CASSCF Algorithm with the Cholesky Decomposition of the Two-Electron Integrals

abstract: In this contribution, we present the implementation of a second-order CASSCF algorithm in conjunction with the Cholesky decomposition of the two-electron repulsion integrals. The algorithm, called Norm-Extended Optimization, guarantees convergence of the optimization, but it involves the full Hessian of the wavefunction and is therefore computationally expensive. Coupling the second-order procedure with the Cholesky decomposition leads to a significant reduction in the computational cost, reduced memory requirements, and an improved parallel performance. As a result, CASSCF calculations of larger molecular systems become possible as a routine task. The performance of the new implementation is illustrated by means of benchmark calculations on molecules of increasing size, with up to about 3000 basis functions and 14 active orbitals.


title: Probing the interplay between lattice dynamics and short-range magnetic correlations in CuGeO3 with femtosecond RIXS

abstract: Investigations of magnetically ordered phases on the femtosecond timescale have provided significant insights into the influence of charge and lattice degrees of freedom on the magnetic sub-system. However, short-range magnetic correlations occurring in the absence of long-range order, for example in spin-frustrated systems, are inaccessible to many ultrafast techniques. Here, we show how time-resolved resonant inelastic X-ray scattering (trRIXS) is capable of probing such short-ranged magnetic dynamics in a charge-transfer insulator through the detection of a Zhang-Rice singlet exciton. Utilizing trRIXS measurements at the O K-edge, and in combination with model calculations, we probe the short-range spin-correlations in the frustrated spin chain material CuGeO3 following photo-excitation, revealing a strong coupling between the local lattice and spin sub-systems.


title: Shake It or Shrink It: Mass Transport and Kinetics in Surface Bioassays Using Agitation and Microfluidics

abstract: Surface assays, such as ELISA and immunofluorescence, are nothing short of ubiquitous in biotechnology and medical diagnostics today. The development and optimization of these assays generally focuses on three aspects: immobilization chemistry, ligand-receptor interaction and concentrations of ligands, buffers and sample. A fourth aspect, the transport of the analyte to the surface, is more rarely delved into during assay design and analysis. Improving transport is generally limited to the agitation of reagents, a mode of flow generation inherently difficult to control, often resulting in inconsistent reaction kinetics. However, with assay optimization reaching theoretical limits, the role of transport becomes decisive. This perspective develops an intuitive and practical understanding of transport in conventional agitation systems and in microfluidics, the latter underpinning many new life science technologies. We give rules of thumb to guide the user on system behavior, such as advection regimes and shear stress, and derive estimates for relevant quantities that delimit assay parameters. Illustrative cases with examples of experimental results are used to clarify the role of fundamental concepts such as boundary and depletion layers, mass diffusivity or surface tension.


title: The EOS/Resolution Conspiracy: Convergence in Proto-Planetary Collision Simulations

abstract: We investigate how the choice of equation of state (EOS) and resolution conspire to affect the outcomes of giant impact (GI) simulations. We focus on the simple case of equal mass collisions of two Earth-like $0.5\,M_\oplus$ proto-planets showing that the choice of EOS has a profound impact on the outcome of such collisions as well as on the numerical convergence with resolution. In simulations where the Tillotson EOS is used, impacts generate an excess amount of vapour due to the lack of a thermodynamically consistent treatment of phase transitions and mixtures. In oblique collisions this enhances the artificial angular momentum (AM) transport from the planet to the circum-planetary disc reducing the planet's rotation period over time. Even at a resolution of $1.3 \times 10^6$ particles the result is not converged. In head-on collisions the lack of a proper treatment of the solid/liquid-vapour phase transition allows the bound material to expand to very low densities which in turn results in very slow numerical convergence of the critical specific impact energy for catastrophic disruption $Q_{RD}^*$ with increasing resolution as reported in prior work. The simulations where ANEOS is used for oblique impacts are already converged at a modest resolution of $10^5$ particles, while head-on collisions converge when they evidence the post-shock formation of a dense iron-rich ring, which promotes gravitational re-accumulation of material. Once sufficient resolution is reached to resolve the liquid-vapour phase transition of iron in the ANEOS case, and this ring is resolved, the value of $Q_{RD}^*$ has then converged.


title: ASFlow: Unsupervised Optical Flow Learning with Adaptive Pyramid Sampling

abstract: We present an unsupervised optical flow estimation method by proposing an adaptive pyramid sampling in the deep pyramid network. Specifically, in the pyramid downsampling, we propose an Content Aware Pooling (CAP) module, which promotes local feature gathering by avoiding cross region pooling, so that the learned features become more representative. In the pyramid upsampling, we propose an Adaptive Flow Upsampling (AFU) module, where cross edge interpolation can be avoided, producing sharp motion boundaries. Equipped with these two modules, our method achieves the best performance for unsupervised optical flow estimation on multiple leading benchmarks, including MPI-SIntel, KITTI 2012 and KITTI 2015. Particuarlly, we achieve EPE=1.5 on KITTI 2012 and F1=9.67% KITTI 2015, which outperform the previous state-of-the-art methods by 16.7% and 13.1%, respectively.


title: Implementation of weak measurement amplification with the weak coherent light and optomechanical system

abstract: Most studies for postselected weak measurement in optomechanical system focus on using a single photon as a measured system. However, we find that using weak coherent light instead of a single photon can also amplify the mirror's position displacement of one photon. In the WVA regime (Weak Value Amplification regime), the weak value of one photon can lie outside the eigenvalue spectrum, proportional to the difference of the mirror's position displacement between the successful and failed postselection and its successful postselection probability is dependent of the mean photon number of the coherent light and improved by adjusting it accordingly. Outside the WVA regime, the amplification limit can reach the level of the vacuum fluctuations, and when the mean photon number and the optomechanical coupling parameter are selected appropriately, its successful postselection probability becomes higher, which is beneficial to observe the maximum amplification value under the current experimental conditions. This result breaks the constraint that it is difficult to detect outside the WVA regime. This opens up a new regime for the study of a single photon nonlinearity in optomechanical system.


title: Efficient time stepping for numerical integration using reinforcement learning

abstract: Many problems in science and engineering require an efficient numerical approximation of integrals or solutions to differential equations. For systems with rapidly changing dynamics, an equidistant discretization is often inadvisable as it either results in prohibitively large errors or computational effort. To this end, adaptive schemes, such as solvers based on Runge--Kutta pairs, have been developed which adapt the step size based on local error estimations at each step. While the classical schemes apply very generally and are highly efficient on regular systems, they can behave sub-optimal when an inefficient step rejection mechanism is triggered by structurally complex systems such as chaotic systems. To overcome these issues, we propose a method to tailor numerical schemes to the problem class at hand. This is achieved by combining simple, classical quadrature rules or ODE solvers with data-driven time-stepping controllers. Compared with learning solution operators to ODEs directly, it generalises better to unseen initial data as our approach employs classical numerical schemes as base methods. At the same time it can make use of identified structures of a problem class and, therefore, outperforms state-of-the-art adaptive schemes. Several examples demonstrate superior efficiency. Source code is available at https://github.com/lueckem/quadrature-ML.


title: Uniform asymptotics for the discrete Laguerre polynomials

abstract: In this paper, we consider the discrete Laguerre polynomials $P_{n, N}(z)$ orthogonal with respect to the weight function $w(x) = x^{\alpha} e^{-N cx}$ supported on the infinite nodes $L_N = \{ x_{k,N} = \frac{k^2}{N^2}, k \in \mathbb{N} \}$. We focus on the "band-saturated region" situation when the parameter $c > \frac{\pi^2}{4}$. As $n \to \infty$, uniform expansions for $P_{n, n}(z)$ are achieved for $z$ in different regions in the complex plane. Typically, the Airy-function expansions and Gamma-function expansions are derived for $z$ near the endpoints of the band and the origin, respectively. The asymptotics for the normalizing coefficient $h_{n, N}$, recurrence coefficients $\mathscr{B}_{n, N}$ and $\mathscr{A}_{n, N}^2$, are also obtained. Our method is based on the Deift-Zhou steepest descent method for Riemann-Hilbert problems.


title: A multimodal operando neutron study of the phase evolution in a graphite electrode

abstract: Obtaining a complete picture of local processes still poses a significant challenge in battery research. Here we demonstrate an in-situ combination of multimodal neutron imaging with neutron diffraction for spatially resolved operando observations of the lithiation-delithiation of a graphite electrode in a Li-ion battery cell. Throughout the lithiation-delithiation process we image the Li distribution based on the local beam attenuation. Simultaneously, we observe the development of the lithiated graphite phases as a function of cycling time and electrode thickness and integral throughout its volume by diffraction contrast imaging and diffraction, respectively. While the conventional imaging data allows to observe the Li uptake in graphite already during the formation of the solid electrolyte interphase, diffraction indicates the onset and development of the Li insertion/extraction globally, which supports the local structural transformation observations by diffraction contrast imaging.


title: Development of a miniaturized motion sensor for tracking warning signs of low-back pain

abstract: Low-back pain (LBP) is a widespread disease which can also be highly disabling, but physicians lack of basic understanding and diagnosis tools. During this study, we have designed and built a new wearable device capable of detecting features helpful in LBP follow-up while being non-invasive. The device has been carefully validated, and shows good metrological features, with small noise level ($\sigma$ = 1{\textdegree}) and no observable drift. Two simple exercises were proposed to two young volunteers, one of them with LBP history. These exercises are designed to target two characteristics: the lumbar lordosis angle and the hip \& shoulder dissociation. Even if no general rules can be extracted from this study, we have shown that Inertial Measurement Units (IMU) are able to pick up those characteristics and the obtained values are meaningful refereeing to LBP disease. Henceforth, we are confident in going to clinical studies to investigate the link between back related feature and LBP, in particular the hip \& shoulder dissociation which is poorly documented.


title: Characterization of Android malware based on subgraph isomorphism

abstract: The Android operating system is the most spread mobile platform in the world. Therefor attackers are producing an incredible number of malware applications for Android. Our aim is to detect Android's malware in order to protect the user. To do so really good results are obtained by dynamic analysis of software, but it requires complex environments. In order to achieve the same level of precision we analyze the machine code and investigate the frequencies of ngrams of opcodes in order to detect singular code blocks. This allow us to construct a database of infected code blocks. Then, because attacker may modify and organized differently the infected injected code in their new malware, we perform not only a semantic comparison of the tested software with the database of infected code blocks but also a structured comparison. To do such comparison we compute subgraph isomorphism. It allows us to characterize precisely if the tested software is a malware and if so in witch family it belongs. Our method is tested both on a laboratory database and a set of real data. It achieves an almost perfect detection rate.


title: On the resolution of a weak Fermi paradox

abstract: In this paper we consider the Fermi's paradox (FP) and propose a possible resolution in the context of super-advanced alien civilizations. In this sense it can be regarded as to be the weak Fermi paradox (WFP). By assuming that superadvanced extraterrestrials (ET) exist and are capable of constructing a huge ring-like megastructure around a pulsar or a main sequence star (MSS) to consume its emitted energy, we consider the stability problem of the ring, studying the out of plane dynamics. It has been shown that for normal pulsars the oscillation timescale, thus the timescale of the spectral variability is of the order of several days, whereas for MSS it can vary from minutes up to hundreds of years. We have shown that by means of the high resolving power and sensitivity, the European Southern Observatory's Very Large Telescope can detect either cold ($T=300$ K) or hot ($T=4000$ K) megastructures throughout the whole galaxy even for very small oscillation amplitudes of rings. As it is shown the observed variability can have characteristics similar to those of some other variables, which can be considered as one of the resolutions of the WFP.


title: Cutoff for permuted Markov chains

abstract: Let $P$ be a bistochastic matrix of size $n$, and let $\Pi$ be a permutation matrix of size $n$. In this paper, we are interested in the mixing time of the Markov chain whose transition matrix is given by $Q=P\Pi$. In other words, the chain alternates between random steps governed by $P$ and deterministic steps governed by $\Pi$. We show that if the permutation $\Pi$ is chosen uniformly at random, then under mild assumptions on $P$, with high probability, the chain $Q$ exhibits cutoff at time $\frac{\log n}{\mathbf{h}}$, where $\mathbf{h}$ is the entropic rate of $P$. Moreover, for deterministic permutations, we improve the upper bound on the mixing time obtained by Chatterjee and Diaconis (2020).


title: Uncovering Erosion Effects on Magnetic Flux Rope Twist

abstract: Magnetic clouds (MCs) are transient structures containing large-scale magnetic flux ropes from solar eruptions. The twist of magnetic field lines around the rope axis reveals information about flux rope formation processes and geoeffectivity. During propagation, MC flux ropes may erode via reconnection with the ambient solar wind. Any erosion reduces the magnetic flux and helicity of the ropes, and changes their cross-sectional twist profiles. This study relates twist profiles in MC flux ropes observed at 1 AU to the amount of erosion undergone by the MCs in interplanetary space. The twist profiles of two well-identified MC flux ropes associated with the clear appearance of post eruption arcades in the solar corona are analysed. To infer the amount of erosion, the magnetic flux content of the ropes in the solar atmosphere is estimated, and compared to estimates at 1 AU. The first MC shows a monotonically decreasing twist from the axis to periphery, while the second displays high twist at the axis, rising twist near the edges, and lower twist in between. The first MC displays a larger reduction in magnetic flux between the Sun and 1 AU, suggesting more erosion, than that seen in the second MC. In the second cloud, rising twist at the rope edges may have been due to an envelope of overlying coronal field lines with relatively high twist, formed by reconnection beneath the erupting flux rope in the low corona. This high-twist envelope remained almost intact from the Sun to 1 AU due to the low erosion levels. In contrast, the high-twist envelope of the first cloud may have been entirely peeled away via erosion by the time it reaches 1 AU.


title: The $p$-elastic flow for planar closed curves with constant parametrization

abstract: In this paper, we consider the $L^2$-gradient flow for the modified $p$-elastic energy defined on planar closed curves. We formulate a notion of weak solution for the flow and prove the existence of global-in-time weak solutions with $p \ge 2$ for initial curves in the energy space via minimizing movements. Moreover, we prove the existence of unique global-in-time solutions to the flow with $p=2$ and obtain their subconvergence to an elastica as $t \to \infty$.


title: On Mixed Iterated Revisions

abstract: Several forms of iterable belief change exist, differing in the kind of change and its strength: some operators introduce formulae, others remove them; some add formulae unconditionally, others only as additions to the previous beliefs; some only relative to the current situation, others in all possible cases. A sequence of changes may involve several of them: for example, the first step is a revision, the second a contraction and the third a refinement of the previous beliefs. The ten operators considered in this article are shown to be all reducible to three: lexicographic revision, refinement and severe withdrawal. In turn, these three can be expressed in terms of lexicographic revision at the cost of restructuring the sequence. This restructuring needs not to be done explicitly: an algorithm that works on the original sequence is shown. The complexity of mixed sequences of belief change operators is also analyzed. Most of them require only a polynomial number of calls to a satisfiability checker, some are even easier.


title: msolve: A Library for Solving Polynomial Systems

abstract: We present a new open source C library \texttt{msolve} dedicated to solving multivariate polynomial systems of dimension zero through computer algebra methods. The core algorithmic framework of \texttt{msolve} relies on Gr\''obner bases and linear algebra based algorithms for polynomial system solving. It relies on Gr\''obner basis computation w.r.t.\ the degree reverse lexicographical order, Gr\''obner conversion to a lexicographical Gr\''obner basis and real solving of univariate polynomials. We explain in detail how these three main steps of the solving process are implemented, how we exploit \texttt{AVX2} instruction processors and the more general implementation ideas we put into practice to better exploit the computational capabilities of this algorithmic framework. We compare the practical performances of \texttt{msolve} with leading computer algebra systems such as \textsc{Magma}, \textsc{Maple}, \textsc{Singular} on a wide range of systems with finitely many complex solutions, showing that \texttt{msolve} can tackle systems which were out of reach by the computer algebra software state-of-the-art.


title: MCBTE: A variance-reduced Monte Carlo solution of the linearized Boltzmann transport equation for phonons

abstract: MCBTE solves the linearized Boltzmann transport equation for phonons in three dimensions using a variance-reduced Monte Carlo solution approach. The algorithm is suited for both transient and steady-state analysis of thermal transport in structured materials with size features in the nanometer to hundreds of microns range. The code is portable and integrated with both first-principles density functional theory calculations and empirical relations for the input of phonon frequency, group velocity, and mean free path required for calculating the thermal properties. The program outputs space- and time-resolved temperature and heat flux for the transient study. For the steady-state simulations, the frequency-resolved contribution of phonons to temperature and heat flux is written to the output files, thus allowing the study of cumulative thermal conductivity as a function of phonon frequency or mean free path. We provide several illustrative examples, including ballistic and quasi-ballistic thermal transport, the thermal conductivity of thin films and periodic nanostructures, to demonstrate the functionality and to benchmark our code against available theoretical/analytical/computational results from the literature. Moreover, we parallelize the code using the Matlab Distributed Computing Server, providing near-linear scaling with the number of processors.


title: Deep learning of topological phase transitions from entanglement aspects for two-dimensional chiral p-wave superconductors

abstract: Applying deep learning to investigate topological phase transitions (TPTs) becomes a useful method due to not only its ability to recognize patterns but also its statistical excellency to examine the amount of information carried by different types of data inputs. Among possible data types, entanglement-related quantities, such as Majorana correlation matrices (MCMs), one-particle entanglement spectra (OPES), and entanglement eigenvectors (OPEEs), have been proved effective, however, are to date mostly restricted to one dimension. Here, we propose practical input data forms based on those quantities to study TPTs and to compare the efficiency of each form on classic two-dimensional chiral $p$-wave superconductors via the deep learning approach. First, we find that different input forms, either matrices or tensors both originated from real MCMs, can affect the precise locations of the predicted transition points. Next, due to the complex nature of OPEEs, we extract three spatially dependent quantities from OPEEs, one related to the "intensity", and the other two related to "phases" of particle and hole components. We show that similar to taking OPES directly as inputs, solely using "intensity" quantity can only distinguish topological phases from trivial ones, whereas using either whole MCMs or complete OPEE-extracted quantities can provide sufficient information for deep learning to distinguish between phases of matter with different $U(1)$ gauges or Chern numbers. Finally, we discuss certain characteristic features in the deep learning approach and, in particular, they reveal that our trained models indeed learn physically meaningful features, which confirms the potential use even at high dimensions.


title: BSTC: A Large-Scale Chinese-English Speech Translation Dataset

abstract: This paper presents BSTC (Baidu Speech Translation Corpus), a large-scale Chinese-English speech translation dataset. This dataset is constructed based on a collection of licensed videos of talks or lectures, including about 68 hours of Mandarin data, their manual transcripts and translations into English, as well as automated transcripts by an automatic speech recognition (ASR) model. We have further asked three experienced interpreters to simultaneously interpret the testing talks in a mock conference setting. This corpus is expected to promote the research of automatic simultaneous translation as well as the development of practical systems. We have organized simultaneous translation tasks and used this corpus to evaluate automatic simultaneous translation systems.


title: Atomistic deformation behavior of single and twin crystalline Cu nanopillars with preexisting dislocations

abstract: Molecular dynamics simulations are performed to investigate the role of a coherent {\Sigma}3 (111) twin boundary on the plastic deformation behavior of Cu nanopillars. Our work reveals that the mechanical response of pillars with and without the twin boundary is decisively driven by the characteristics of initial dislocation sources. In the condition of comparably large pillar size and abundant initial mobile dislocations, overall yield and flow stresses are controlled by the longest, available mobile dislocation. An inverse correlation of the yield and flow stresses with the length of the longest dislocation is established, and its extrapolation agrees well with experimental yield stress data. The experimentally reported subtle differences in yield and flow stresses between pillars with and without the twin boundary are thus likely related to the maximum lengths of the mobile dislocations. In the condition of comparably small pillar size, for which a reduction of mobile dislocations during heat treatment and mechanical loading occurs, the mechanical response of pillars with and without the twin boundary can be clearly distinguished. Dislocation starvation during deformation is more clearly present in pillars without the twin boundary than in pillars with the twin boundary because the twin boundary acts as a pinning surface for the dislocation network.


title: Stable deep neural network architectures for mitochondria segmentation on electron microscopy volumes

abstract: Electron microscopy (EM) allows the identification of intracellular organelles such as mitochondria, providing insights for clinical and scientific studies. In recent years, a number of novel deep learning architectures have been published reporting superior performance, or even human-level accuracy, compared to previous approaches on public mitochondria segmentation datasets. Unfortunately, many of these publications do not make neither the code nor the full training details public to support the results obtained, leading to reproducibility issues and dubious model comparisons. For that reason, and following a recent code of best practices for reporting experimental results, we present an extensive study of the state-of-the-art deep learning architectures for the segmentation of mitochondria on EM volumes, and evaluate the impact in performance of different variations of 2D and 3D U-Net-like models for this task. To better understand the contribution of each component, a common set of pre- and post-processing operations has been implemented and tested with each approach. Moreover, an exhaustive sweep of hyperparameters values for all architectures have been performed and each configuration has been run multiple times to report the mean and standard deviation values of the evaluation metrics. Using this methodology, we found very stable architectures and hyperparameter configurations that consistently obtain state-of-the-art results in the well-known EPFL Hippocampus mitochondria segmentation dataset. Furthermore, we have benchmarked our proposed models on two other available datasets, Lucchi++ and Kasthuri++, where they outperform all previous works. The code derived from this research and its documentation are publicly available.


title: A SDFEM for system of two singularly perturbed problems of convection-diffusion type with discontinuous source term

abstract: We consider a system of two singularly perturbed Boundary Value Problems (BVPs) of convection-diffusion type with discontinuous source terms and a small positive parameter multiplying the highest derivatives. Then their solutions exhibit boundary layers as well as weak interior layers. A numerical method based on finite element method (Shishkin and Bakhvalov-Shishkin meshes) is presented. We derive an error estimate of order $O(N^{-1}\ln^{3/2}{N})$ in the energy norm with respect to the perturbation parameter. Numerical experiments are also presented to support our theoretical results.


title: IRS Meets Relaying: Joint Resource Allocation and Passive Beamforming Optimization

abstract: Intelligent reflecting surface (IRS) has recently emerged as a new solution to enhance wireless communication performance via passive signal reflection. In this letter, we unlock the potential of IRS controller in relaying information and propose a novel IRS-assisted communication system with both IRS passive reflection and active relaying. Specifically, we jointly optimize the time allocations for decode-and-forward (DF) relaying by the IRS controller and the IRS passive beamforming to maximize the achievable rate of the proposed system. We also compare the rate performance of the proposed system with the conventional IRS without relaying, and reveal the conditions for one to outperform the other. Simulation results demonstrate that the proposed new design can significantly improve the coverage/rate performance of IRS-assisted systems.


title: Attack-Resilient Weighted $\ell_1$ Observer with Prior Pruning

abstract: Security related questions for Cyber Physical Systems (CPS) have attracted much research attention in searching for novel methods for attack-resilient control and/or estimation. Specifically, false data injection attacks (FDIAs) have been shown to be capable of bypassing bad data detection (BDD), while arbitrarily compromising the integrity of state estimators and robust controller even with very sparse measurements corruption. Moreover, based on the inherent sparsity of pragmatic attack signals, $\ell_1$-minimization scheme has been used extensively to improve the design of attack-resilient estimators. For this, the theoretical maximum for the percentage of compromised nodes that can be accommodated has been shown to be $50\%$. In order to guarantee correct state recoveries for larger percentage of attacked nodes, researchers have begun to incorporate prior information into the underlying resilient observer design framework. For the most pragmatic cases, this prior information is often obtained through some data-driven machine learning process. Existing results have shown strong positive correlation between the tolerated attack percentages and the precision of the prior information. In this paper, we present a pruning method to improve the precision of the prior information, given corresponding stochastic uncertainty characteristics of the underlying machine learning model. Then a weighted $\ell_1$-minimization is proposed based on the pruned prior. The theoretical and simulation results show that the pruning method significantly improves the observer performance for much larger attack percentages, even when moderately accurate machine learning model used.


title: Dyadic Green's function for the graphene-dielectric stack with arbitrary field and source points

abstract: In this paper, dyadic Green's function for a graphene-dielectric stack is formulated based on the scattering superposition method. To this end, scattering Green's function in each layer is expanded in terms of cylindrical vector wave functions with unknown coefficients. Using the Kronecker delta function in the field expansion, it is considered that the field and source points lie in the arbitrary layers. Afterward, recurrence relations for calculating the unknown expansion coefficients are derived by applying the impedance boundary conditions at the interface of a graphene sheet surrounded by two adjacent dielectric layers. The verification of the calculated coefficients is conducted by utilizing them in the analysis of graphene-based structures with different numbers of layers, including 1) free-standing frequency-selective surfaces (FSSs) and 2) parallel plates (PPs) with graphene walls. A potential application of our proposed structure is investigating the interaction of donor-acceptor pairs resided in the arbitrary layers of the graphene-dielectric stack with a desired number of layers.


title: Eigenvalue asymptotics and unique continuation of eigenfunctions on planar graphs

abstract: We study planar graphs with large negative curvature outside of a finite set and the spectral theory of Schr{\"o}dinger operators on these graphs. We obtain estimates on the first and second order term of the eigenvalue asymptotics. Moreover, we prove a unique continuation result for eigenfunctions and decay properties of general eigenfunctions. The proofs rely on a detailed analysis of the geometry which employs a Copy-and-Paste procedure based on the Gau{\ss}-Bonnet theorem.


title: Query Driven-Graph Neural Networks for Community Search: From Non-Attributed, Attributed, to Interactive Attributed

abstract: Given one or more query vertices, Community Search (CS) aims to find densely intra-connected and loosely inter-connected structures containing query vertices. Attributed Community Search (ACS), a related problem, is more challenging since it finds communities with both cohesive structures and homogeneous vertex attributes. However, most methods for the CS task rely on inflexible pre-defined structures and studies for ACS treat each attribute independently. Moreover, the most popular ACS strategies decompose ACS into two separate sub-problems, i.e., the CS task and subsequent attribute filtering task. However, in real-world graphs, the community structure and the vertex attributes are closely correlated to each other. This correlation is vital for the ACS problem. In this paper, we propose Graph Neural Network models for both CS and ACS problems, i.e., Query Driven-GNN and Attributed Query Driven-GNN. In QD-GNN, we combine the local query-dependent structure and global graph embedding. In order to extend QD-GNN to handle attributes, we model vertex attributes as a bipartite graph and capture the relation between attributes by constructing GNNs on this bipartite graph. With a Feature Fusion operator, AQD-GNN processes the structure and attribute simultaneously and predicts communities according to each attributed query. Experiments on real-world graphs with ground-truth communities demonstrate that the proposed models outperform existing CS and ACS algorithms in terms of both efficiency and effectiveness. More recently, an interactive setting for CS is proposed that allows users to adjust the predicted communities. We further verify our approaches under the interactive setting and extend to the attributed context. Our method achieves 2.37% and 6.29% improvements in F1-score than the state-of-the-art model without attributes and with attributes respectively.


title: PDO-eS2CNNs: Partial Differential Operator Based Equivariant Spherical CNNs

abstract: Spherical signals exist in many applications, e.g., planetary data, LiDAR scans and digitalization of 3D objects, calling for models that can process spherical data effectively. It does not perform well when simply projecting spherical data into the 2D plane and then using planar convolution neural networks (CNNs), because of the distortion from projection and ineffective translation equivariance. Actually, good principles of designing spherical CNNs are avoiding distortions and converting the shift equivariance property in planar CNNs to rotation equivariance in the spherical domain. In this work, we use partial differential operators (PDOs) to design a spherical equivariant CNN, PDO-eS2CNN, which is exactly rotation equivariant in the continuous domain. We then discretize PDO-eS2CNNs, and analyze the equivariance error resulted from discretization. This is the first time that the equivariance error is theoretically analyzed in the spherical domain. In experiments, PDO-eS2CNNs show greater parameter efficiency and outperform other spherical CNNs significantly on several tasks.


title: An alternative approach to sharp $L^1$ estimates for the dyadic maximal operator

abstract: We prove sharp $L^1$ inequalities for the dyadic maximal function $M_T\phi$ when $\phi$ satisfies certain $L^1$ and $L^{\infty}$ conditions


title: Characterization of Android malware based on opcode analysis

abstract: The Android operating system is the most spread mobile platform in the world. Therefor attackers are producing an incredible number of malware applications for Android. Our aim is to detect Android's malware in order to protect the user. To do so really good results are obtained by dynamic analysis of software, but it requires complex environments. In order to achieve the same level of precision we analyze the machine code and investigate the frequencies of ngrams of opcodes in order to detect singular code blocks. This allow us to construct a database of infected code blocks. Then, because attacker may modify and organized differently the infected injected code in their new malware, we perform not only a semantic comparison of the tested software with the database of infected code blocks but also a structured comparison. To do such comparison we compute subgraph isomorphism. It allows us to characterize precisely if the tested software is a malware and if so in witch family it belongs. Our method is tested both on a laboratory database and a set of real data. It achieves an almost perfect detection rate.


title: WNARS: WFST based Non-autoregressive Streaming End-to-End Speech Recognition

abstract: Recently, attention-based encoder-decoder (AED) end-to-end (E2E) models have drawn more and more attention in the field of automatic speech recognition (ASR). AED models, however, still have drawbacks when deploying in commercial applications. Autoregressive beam search decoding makes it inefficient for high-concurrency applications. It is also inconvenient to integrate external word-level language models. The most important thing is that AED models are difficult for streaming recognition due to global attention mechanism. In this paper, we propose a novel framework, namely WNARS, using hybrid CTC-attention AED models and weighted finite-state transducers (WFST) to solve these problems together. We switch from autoregressive beam search to CTC branch decoding, which performs first-pass decoding with WFST in chunk-wise streaming way. The decoder branch then performs second-pass rescoring on the generated hypotheses non-autoregressively. On the AISHELL-1 task, our WNARS achieves a character error rate of 5.22% with 640ms latency, to the best of our knowledge, which is the state-of-the-art performance for online ASR. Further experiments on our 10,000-hour Mandarin task show the proposed method achieves more than 20% improvements with 50% latency compared to a strong TDNN-BLSTM lattice-free MMI baseline.


title: Convergence of metric measure spaces satisfying the CD condition for negative values of the dimension parameter

abstract: We study the problem of whether the curvature-dimension condition with negative values of the generalized dimension parameter is stable under a suitable notion of convergence. To this purpose, first of all we introduce an appropriate setting to introduce the CD(K, N)-condition for $N < 0$, allowing metric measure structures in which the reference measure is quasi-Radon. Then in this class of spaces we introduce the distance $d_{\mathsf{iKRW}}$, which extends the already existing notions of distance between metric measure spaces. Finally, we prove that if a sequence of metric measure spaces satisfying the CD(K, N)-condition with $N < 0$ is converging with respect to the distance $d_{\mathsf{iKRW}}$ to some metric measure space, then this limit structure is still a CD(K, N) space.


title: PQA: Perceptual Question Answering

abstract: Perceptual organization remains one of the very few established theories on the human visual system. It underpinned many pre-deep seminal works on segmentation and detection, yet research has seen a rapid decline since the preferential shift to learning deep models. Of the limited attempts, most aimed at interpreting complex visual scenes using perceptual organizational rules. This has however been proven to be sub-optimal, since models were unable to effectively capture the visual complexity in real-world imagery. In this paper, we rejuvenate the study of perceptual organization, by advocating two positional changes: (i) we examine purposefully generated synthetic data, instead of complex real imagery, and (ii) we ask machines to synthesize novel perceptually-valid patterns, instead of explaining existing data. Our overall answer lies with the introduction of a novel visual challenge -- the challenge of perceptual question answering (PQA). Upon observing example perceptual question-answer pairs, the goal for PQA is to solve similar questions by generating answers entirely from scratch (see Figure 1). Our first contribution is therefore the first dataset of perceptual question-answer pairs, each generated specifically for a particular Gestalt principle. We then borrow insights from human psychology to design an agent that casts perceptual organization as a self-attention problem, where a proposed grid-to-grid mapping network directly generates answer patterns from scratch. Experiments show our agent to outperform a selection of naive and strong baselines. A human study however indicates that ours uses astronomically more data to learn when compared to an average human, necessitating future research (with or without our dataset).


title: The educational process organization in the distance learning model: problems and features

abstract: This article discusses the current issues of providing the educational process in a remote format on the example of the Tomsk State University of Control Systems and Radioelectronics (TUSUR). On the basis of the conducted re-search, the problems and features of distance learning are identified and analyzed. It is concluded that it is neces-sary to modernize education on the basis of constant monitoring of the effectiveness of providing distance learn-ing, taking into account the opinions of all participants in the educational process.


title: Unitary Subgroup Testing

abstract: We consider the problem of $\textit{subgroup testing}$ for a quantum circuit $C$: given access to $C$, determine whether it implements a unitary that is $a$-close or $b$-far from a subgroup $\mathcal{G}$ of the unitary group. It encompasses the problem of exact testing, property testing and tolerant testing. In this work, we study these problems with the group $\mathcal{G}$ as the trivial subgroup (i.e. identity testing) or the Pauli or Clifford group and their $q$-ary extension, and a $\textit{promise}$ version of these problems where $C$ is promised to be in some subgroup of the unitaries that contains $\mathcal{G}$ (e.g. identity testing for Clifford circuits). Our main result is an equivalence between Pauli testing, Clifford testing and Identity testing. We derive the equivalence between Clifford and Identity testing by showing a structural property of the Clifford unitaries. Namely, that their (normalized) trace lies in the discrete set $\{2^{-k/2}: k \in \mathbb{N}\} \cup \{0\}$, regardless of the dimension. We also state and prove the analogous property for the $q$-ary Cliffords. This result allows us to analyze a very simple single-query identity test under the Clifford/Pauli promise. To prove the equivalence between Pauli and Identity testing, we analyze the conjugation action of a non-Pauli unitary on the Pauli group and show that its distance from the Pauli group affects the number of fixed points. We believe that these results are of interest, independent of their application to establish the equivalences. We use the equivalences to compare (and thus establish) computational hardness for the problems of Pauli and Clifford testing.


title: A short-range structural insight into lithium substituted barium vanadate glasses using Raman and EPR spectroscopy as probes

abstract: We present a corroborative study of structural characterization of lithium substituted barium vanadate glasses using Raman and Electron Paramagnetic Resonance (EPR) spectroscopy. Investigation of the thermal and physical properties of these glasses showed a gradual increase in the concentration of non-bridging oxygen. Raman and EPR analysis gave an insight into the changing structure of the glasses. Both the spectroscopic techniques confirmed that vanadium is present in the glasses as distorted VO6 octahedra. From the analysis of both spectroscopic techniques, it is proposed that the lithium ion prefers to occupy planar positions of the VO6 octahedra thus reducing the tetragonal distortion and making the environment around the network forming unit in the glass matrix more homogenous as we increase lithium content. The concentration of V4+ showed a non-monotonic variation with an increase in Li2O as indicated by Raman studies and confirmed by EPR which indicates a structural change in the distorted VO6 octahedra.


title: Power-conjugate equations in symmetric groups

abstract: We investigate the solutions of the conjugate equation aya^(-1)=y^e in the symmetric group S_{n}. Here a is a fixed (constant), e is an integer exponent and y is a single unknown permutation (in S_{n}). It turns out that the existence of a non-trivial solution y heavily depends on e and the type of a.


title: Three Decades of Deception Techniques in Active Cyber Defense -- Retrospect and Outlook

abstract: Deception techniques have been widely seen as a game changer in cyber defense. In this paper, we review representative techniques in honeypots, honeytokens, and moving target defense, spanning from the late 1980s to the year 2021. Techniques from these three domains complement with each other and may be leveraged to build a holistic deception based defense. However, to the best of our knowledge, there has not been a work that provides a systematic retrospect of these three domains all together and investigates their integrated usage for orchestrated deceptions. Our paper aims to fill this gap. By utilizing a tailored cyber kill chain model which can reflect the current threat landscape and a four-layer deception stack, a two-dimensional taxonomy is developed, based on which the deception techniques are classified. The taxonomy literally answers which phases of a cyber attack campaign the techniques can disrupt and which layers of the deception stack they belong to. Cyber defenders may use the taxonomy as a reference to design an organized and comprehensive deception plan, or to prioritize deception efforts for a budget conscious solution. We also discuss two important points for achieving active and resilient cyber defense, namely deception in depth and deception lifecycle, where several notable proposals are illustrated. Finally, some outlooks on future research directions are presented, including dynamic integration of different deception techniques, quantified deception effects and deception operation cost, hardware-supported deception techniques, as well as techniques developed based on better understanding of the human element.


title: Solitary structure formation and self-guiding of electromagnetic beam in highly degenerate electron plasma

abstract: In the present paper we consider the nonlinear interaction of high frequency intense electromagnetic (EM) beam with degenerate electron plasmas. In a slowly varying envelop approximation the beam dynamics is described by the couple of nonlinear equations for the vector and scalar potentials. Numerical simulations demonstrate that for an arbitrary level of degeneracy the plasma supports existence of axially symmetric 2D solitons which are stable against small perturbations. The solitons exist if the power trapped in the structures, being the growing function of soliton amplitude, is above a certain critical value but below the value determining by electron cavitation. The robustness of obtained soliton solutions was verified by simulating the dynamics of initial Gaussian beams with parameters close to the solitonic ones. After few diffraction lengths the beam attains the profile close to the profile of the ground state soliton and propagates for a long distance without detectable distortion. The simulations have been performed for the input Gaussian beams with parameters far from ground state solutions. It is shown that the beam parameters are oscillating near the parameters of the ground soliton solution and thus the formation of oscillating waveguide structures takes place.


title: The observed mass distribution of Galactic black hole LMXBs is biased against massive black holes

abstract: The discovery of gravitational wave radiation from merging black holes (BHs) also uncovered BHs with masses in the range of ~20-160 Msun. In contrast, the most massive Galactic stellar-mass BH currently known has a mass ~21 Msun. While low-mass X-ray binaries (LMXBs) will never independently evolve into a binary BH system, and binary evolution effects can play an important role explaining the different BH masses found through studies of X-ray binaries and gravitational wave events, (electromagnetic) selection effects may also play a role in this discrepancy. Assuming BH LMXBs originate in the Galactic Plane, we show that the spatial distribution of the current sample of confirmed and candidate BH LMXBs are both biased to sources that lie at a large distance from the Plane. Specifically, most of the confirmed and candidate BH LMXBs are found at a Galactic height larger than 3 times the scale height for massive star formation. In addition, the confirmed BH LMXBs are found at larger distances to the Galactic Center than the candidate BH LMXBs. Interstellar absorption makes candidate BH LMXBs in the Plane and those in the Bulge too faint for a dynamical mass measurement using current instrumentation. Given the observed and theoretical evidence for BH natal and/or Blaauw kicks, their relation with BH mass and binary orbital period, and the relation between outburst recurrence time and BH mass, the observational selection effects imply that the current sample of confirmed BH LMXBs is biased against the most massive BHs.


title: GKD: Semi-supervised Graph Knowledge Distillation for Graph-Independent Inference

abstract: The increased amount of multi-modal medical data has opened the opportunities to simultaneously process various modalities such as imaging and non-imaging data to gain a comprehensive insight into the disease prediction domain. Recent studies using Graph Convolutional Networks (GCNs) provide novel semi-supervised approaches for integrating heterogeneous modalities while investigating the patients' associations for disease prediction. However, when the meta-data used for graph construction is not available at inference time (e.g., coming from a distinct population), the conventional methods exhibit poor performance. To address this issue, we propose a novel semi-supervised approach named GKD based on knowledge distillation. We train a teacher component that employs the label-propagation algorithm besides a deep neural network to benefit from the graph and non-graph modalities only in the training phase. The teacher component embeds all the available information into the soft pseudo-labels. The soft pseudo-labels are then used to train a deep student network for disease prediction of unseen test data for which the graph modality is unavailable. We perform our experiments on two public datasets for diagnosing Autism spectrum disorder, and Alzheimer's disease, along with a thorough analysis on synthetic multi-modal datasets. According to these experiments, GKD outperforms the previous graph-based deep learning methods in terms of accuracy, AUC, and Macro F1.


title: Sound Probabilistic Inference via Guide Types

abstract: Probabilistic programming languages aim to describe and automate Bayesian modeling and inference. Modern languages support programmable inference, which allows users to customize inference algorithms by incorporating guide programs to improve inference performance. For Bayesian inference to be sound, guide programs must be compatible with model programs. One pervasive but challenging condition for model-guide compatibility is absolute continuity, which requires that the model and guide programs define probability distributions with the same support. This paper presents a new probabilistic programming language that guarantees absolute continuity, and features general programming constructs, such as branching and recursion. Model and guide programs are implemented as coroutines that communicate with each other to synchronize the set of random variables they sample during their execution. Novel guide types describe and enforce communication protocols between coroutines. If the model and guide are well-typed using the same protocol, then they are guaranteed to enjoy absolute continuity. An efficient algorithm infers guide types from code so that users do not have to specify the types. The new programming language is evaluated with an implementation that includes the type-inference algorithm and a prototype compiler that targets Pyro. Experiments show that our language is capable of expressing a variety of probabilistic models with nontrivial control flow and recursion, and that the coroutine-based computation does not introduce significant overhead in actual Bayesian inference.


title: The primary cosmic-ray energy spectrum measured with the Tunka-133 array

abstract: The EAS Cherenkov light array Tunka-133, with $\sim$ 3 km$^2$ geometric area, is taking data since 2009.The array permits a detailed study of energy spectrum and mass composition of cosmic rays in the energy range from $6\cdot 10^{15}$ to $10^{18}$ eV. We describe the methods of time and amplitude calibration of the array and the methods of EAS parameters reconstruction. We present the all-particle energy spectrum, based on 7 seasons of operation.


title: Anisotropic c-f hybridization in the ferromagnetic quantum critical metal CeRh$_6$Ge$_4$

abstract: Heavy fermion compounds exhibiting a ferromagnetic quantum critical point have attracted considerable interest. Common to two known cases, i.e., CeRh$_6$Ge$_4$ and YbNi$_4$P$_2$, is that the 4f moments reside along chains with a large inter-chain distance, exhibiting strong magnetic anisotropy that was proposed to be vital for the ferromagnetic quantum criticality. Here we report an angle-resolved photoemission study on CeRh6Ge4, where we observe sharp momentum-dependent 4f bands and clear bending of the conduction bands near the Fermi level, indicating considerable hybridization between conduction and 4f electrons. The extracted hybridization strength is anisotropic in momentum space and is obviously stronger along the Ce chain direction. The hybridized 4f bands persist up to high temperatures, and the evolution of their intensity shows clear band dependence. Our results provide spectroscopic evidence for anisotropic hybridization between conduction and 4f electrons in CeRh$_6$Ge$_4$, which could be important for understanding the electronic origin of the ferromagnetic quantum criticality.


title: The ultimate performance of the Rasnik 3-point alignment system

abstract: The Rasnik system is a 3-point optical displacement monitor with sub-nanometer precision. The CCD-Rasnik alignment system was developed in 1993 for the monitoring of the alignment of the muon chambers of the ATLAS Muon Spectrometer at CERN. Since then, the development has continued as new CMOS imaging pixel chips became available. The system's processes and parameters that limit the precision have been studied in detail. We conclude that only the quantum fluctuations to which the light level content of sensor pixels are subject to, is limiting the spatial resolution. The results of two Rasnik systems are compared to results from simulations, which are in good agreement: the best reached precision of $\SI{7}{pm/\sqrt{Hz}}$ is reported. Finally, some applications of high-precision Rasnik systems are set out.


title: SiT: Self-supervised vIsion Transformer

abstract: Self-supervised learning methods are gaining increasing traction in computer vision due to their recent success in reducing the gap with supervised learning. In natural language processing (NLP) self-supervised learning and transformers are already the methods of choice. The recent literature suggests that the transformers are becoming increasingly popular also in computer vision. So far, the vision transformers have been shown to work well when pretrained either using a large scale supervised data or with some kind of co-supervision, e.g. in terms of teacher network. These supervised pretrained vision transformers achieve very good results in downstream tasks with minimal changes. In this work we investigate the merits of self-supervised learning for pretraining image/vision transformers and then using them for downstream classification tasks. We propose Self-supervised vIsion Transformers (SiT) and discuss several self-supervised training mechanisms to obtain a pretext model. The architectural flexibility of SiT allows us to use it as an autoencoder and work with multiple self-supervised tasks seamlessly. We show that a pretrained SiT can be finetuned for a downstream classification task on small scale datasets, consisting of a few thousand images rather than several millions. The proposed approach is evaluated on standard datasets using common protocols. The results demonstrate the strength of the transformers and their suitability for self-supervised learning. We outperformed existing self-supervised learning methods by large margin. We also observed that SiT is good for few shot learning and also showed that it is learning useful representation by simply training a linear classifier on top of the learned features from SiT. Pretraining, finetuning, and evaluation codes will be available under: https://github.com/Sara-Ahmed/SiT.


title: AISHELL-4: An Open Source Dataset for Speech Enhancement, Separation, Recognition and Speaker Diarization in Conference Scenario

abstract: In this paper, we present AISHELL-4, a sizable real-recorded Mandarin speech dataset collected by 8-channel circular microphone array for speech processing in conference scenario. The dataset consists of 211 recorded meeting sessions, each containing 4 to 8 speakers, with a total length of 120 hours. This dataset aims to bridge the advanced research on multi-speaker processing and the practical application scenario in three aspects. With real recorded meetings, AISHELL-4 provides realistic acoustics and rich natural speech characteristics in conversation such as short pause, speech overlap, quick speaker turn, noise, etc. Meanwhile, accurate transcription and speaker voice activity are provided for each meeting in AISHELL-4. This allows the researchers to explore different aspects in meeting processing, ranging from individual tasks such as speech front-end processing, speech recognition and speaker diarization, to multi-modality modeling and joint optimization of relevant tasks. Given most open source dataset for multi-speaker tasks are in English, AISHELL-4 is the only Mandarin dataset for conversation speech, providing additional value for data diversity in speech community. We also release a PyTorch-based training and evaluation framework as baseline system to promote reproducible research in this field.


title: Theory of Thermal Conductivity on Excitonic Insulator

abstract: We study the thermal conductivity in the excitonic insulator using a simple quasi one-dimensional two-band model consisting of electron and hole bands with the Coulomb interactions between these bands. Based on the linear response theory within a mean-field scheme, we develop a method to identify the contributions to thermal conductivity driven by excitonic insulator. It is found that there is an additional heat current operator owing to the excitonic phase transition, and that it gives contributions to thermal conductivity which are not expressed in the form of Sommerfeld-Bethe relations written in the form of an imaginary-time derivative of the electric current operator. Finally, we discuss the relationship between the newly-found additional contribution and the heat current carried by excitons.


title: An example of a simple double Lie algebra

abstract: We extend the correspondence between double Lie algebras and skew-symmetric Rota-Baxter operators of weight 0 on the matrix algebra for the infinite-dimensional case. We give the first example of a simple double Lie algebra.


title: Predominating a vertex in the connected domination game

abstract: The connected domination game is played just as the domination game, with an additional requirement that at each stage of the game the vertices played induce a connected subgraph. The number of moves in a D-game (an S-game, resp.) on a graph $G$ when both players play optimally is denoted by $\gamma_{\rm cg}(G)$ ($\gamma_{\rm cg}'(G)$, resp.). Connected Game Continuation Principle is established as a substitute for the classical Continuation Principle which does not hold for the connected domination game. Let $G|x$ denote the graph $G$ together with a declaration that the vertex $x$ is already dominated. The first main result asserts that if $G$ is a graph with $\gamma_{\rm cg}(G) \geq 3$ and $x \in V(G)$, then $\gamma_{\rm cg}(G|x) \leq 2 \gamma_{\rm cg}(G) - 3$ and the bound is sharp. The second main theorem states that if $G$ is a graph with $n(G) \geq 2$ and $x \in V(G)$, then $\gamma_{\rm cg}(G|x) \geq \left \lceil \frac12 \gamma_{\rm cg}(G) \right \rceil$ and the bound is sharp. Graphs $G$ and their vertices $x$ for which $\gamma_{\rm cg}'(G|x) = \infty$ holds are also characterized.


title: Identifying Topological Phase Transitions in Experiments Using Manifold Learning

abstract: We demonstrate the identification and classification of topological phase transitions from experimental data using Diffusion Maps: a nonlocal unsupervised machine learning method. We analyze experimental data from an optical system undergoing a topological phase transition and demonstrate the ability of this approach to identify topological phase transitions even when the data originates from a small part of the system, and does not even include edge states.