title: Signed spectral Tura\'{n} type theorems

abstract: A signed graph $\Sigma = (G, \sigma)$ is a graph where the function $\sigma$ assigns either $1$ or $-1$ to each edge of the simple graph $G$. The adjacency matrix of $\Sigma$, denoted by $A(\Sigma)$, is defined canonically. In a recent paper, Wang et al. extended the eigenvalue bounds of Hoffman and Cvetkovi\'{c} for the signed graphs. They proposed an open problem related to the balanced clique number and the largest eigenvalue of a signed graph. We solve a strengthened version of this open problem. As a byproduct, we give alternate proofs for some of the known classical bounds for the least eigenvalues of the unsigned graphs. We extend the Tur\'{a}n's inequality for the signed graphs. Besides, we study the Bollob\'{a}s and Nikiforov conjecture for the signed graphs and show that the conjecture need not be true for the signed graphs. Nevertheless, the conjecture holds for signed graphs under some assumptions. Finally, we study some of the relationships between the number of signed walks and the largest eigenvalue of a signed graph.


title: Physics vs. Learned Priors: Rethinking Camera and Algorithm Design for Task-Specific Imaging

abstract: Cameras were originally designed using physics-based heuristics to capture aesthetic images. In recent years, there has been a transformation in camera design from being purely physics-driven to increasingly data-driven and task-specific. In this paper, we present a framework to understand the building blocks of this nascent field of end-to-end design of camera hardware and algorithms. As part of this framework, we show how methods that exploit both physics and data have become prevalent in imaging and computer vision, underscoring a key trend that will continue to dominate the future of task-specific camera design. Finally, we share current barriers to progress in end-to-end design, and hypothesize how these barriers can be overcome.


title: Reciprocal distance energy of complete multipartite graphs

abstract: In this paper, first we compute the energy of a special partitioned matrix under some cases. As a consequence, we obtain the reciprocal distance energy of the complete multipartite graph and also we give various other energies of complete multipartite graphs. Next, we show that among all complete k-partite graphs on n vertices, the complete split graph has minimum reciprocal distance energy and the reciprocal distance energy is maximum for the Turan graph. At last, it is shown that the reciprocal distance energy of the complete bipartite graph km,m decreases under deletion of an edge if 2\le m\le 7, whereas the reciprocal distance energy increases if 8 \le m. Also, we show that the reciprocal distance energy of the complete tripartite graph does not increase under edge deletion


title: Gaussian Processes for real-time 3D motion and uncertainty estimation during MR-guided radiotherapy

abstract: Respiratory motion during radiotherapy causes uncertainty in the tumor's location, which is typically addressed by an increased radiation area and a decreased dose. As a result, the treatments' efficacy is reduced. The recently proposed hybrid MR-linac scanner holds the promise to efficiently deal with such respiratory motion through real-time adaptive MR-guided radiotherapy (MRgRT). For MRgRT, motion-fields should be estimated from MR-data and the radiotherapy plan should be adapted in real-time according to the estimated motion-fields. All of this should be performed with a total latency of maximally 200 ms, including data acquisition and reconstruction. A measure of confidence in such estimated motion-fields is highly desirable, for instance to ensure the patient's safety in case of unexpected and undesirable motion. In this work, we propose a framework based on Gaussian Processes to infer 3D motion-fields and uncertainty maps in real-time from only three readouts of MR-data. We demonstrated an inference frame rate up to 69 Hz including data acquisition and reconstruction, thereby exploiting the limited amount of required MR-data. Additionally, we designed a rejection criterion based on the motion-field uncertainty maps to demonstrate the framework's potential for quality assurance. The framework was validated in silico and in vivo on healthy volunteer data (n=5) acquired using an MR-linac, thereby taking into account different breathing patterns and controlled bulk motion. Results indicate end-point-errors with a 75th percentile below 1mm in silico, and a correct detection of erroneous motion estimates with the rejection criterion. Altogether, the results show the potential of the framework for application in real-time MR-guided radiotherapy with an MR-linac.


title: Is Neural Topic Modelling Better than Clustering? An Empirical Study on Clustering with Contextual Embeddings for Topics

abstract: Recent work incorporates pre-trained word embeddings such as BERT embeddings into Neural Topic Models (NTMs), generating highly coherent topics. However, with high-quality contextualized document representations, do we really need sophisticated neural models to obtain coherent and interpretable topics? In this paper, we conduct thorough experiments showing that directly clustering high-quality sentence embeddings with an appropriate word selecting method can generate more coherent and diverse topics than NTMs, achieving also higher efficiency and simplicity.


title: Persistent-Transient Duality in Human Behavior Modeling

abstract: We propose to model the persistent-transient duality in human behavior using a parent-child multi-channel neural network, which features a parent persistent channel that manages the global dynamics and children transient channels that are initiated and terminated on-demand to handle detailed interactive actions. The short-lived transient sessions are managed by a proposed Transient Switch. The neural framework is trained to discover the structure of the duality automatically. Our model shows superior performances in human-object interaction motion prediction.


title: On scattering and damping of Toroidal Alfven eigenmode by drift wave turbulence

abstract: We demonstrate analytically that, in toroidal plasmas, scattering by drift wave turbulence could lead to appreciable damping of toroidal Alfven eigenmodes via generation of short-wavelength electron Landau damped kinetic Alfven waves. A corresponding analytic expression of the damping rate is derived, and found to be, typically, comparable to the linear drive by energetic particles. The implications of this novel mechanism on the transport and heating processes in burning plasmas are also discussed.


title: Non-autoregressive Model for Full-line Code Completion

abstract: Code completion tools are frequently used by software developers to accelerate software development by suggesting the following code elements. Completing a sequence of code tokens (e.g., a full line of code) has been proved more efficient than predicting a single token at a time. To complete the code sequence, researchers are employing AutoRegressive (AR) decoders to generate tokens in a left-to-right, token-by-token fashion. Consequently, the prediction of the next token depends on all previously generated tokens, which leads to high latency in inference. To improve the efficiency and accuracy of full-line code completion, in this paper, we propose a Non-AutoRegressive (NAR) model for code completion boosted by a syntax-aware sampling strategy. Our experimental results on two widely used datasets suggest that our model outperforms both AR and NAR baselines on full-line code completion, and it is faster than the AR model with up to 9 times speed-up.


title: Computably totally disconnected locally compact groups

abstract: We study totally disconnected, locally compact (t.d.l.c.) groups from an algorithmic perspective. We give various approaches to defining computable presentations of t.d.l.c.\ groups, and show their equivalence. In the process, we obtain an algorithmic Stone-type duality between t.d.l.c.~groups and certain countable ordered groupoids given by the compact open cosets. We exploit the flexibility given by these different approaches to show that several natural groups, such as $\Aut(T_d)$ and $\SL_n(\QQ_p)$, have computable presentations. We show that many construction leading from t.d.l.c.\ groups to new t.d.l.c.\ groups have algorithmic versions that stay within the class of computably presented t.d.l.c.\ groups. This leads to further examples, such as $\PGL_n(\QQ_p)$. We study whether objects associated with computably t.d.l.c.\ groups are computable: the modular function, the scale function, and Cayley-Abels graphs in the compactly generated case. We give a criterion when computable presentations of t.d.l.c.~groups are unique up to computable isomorphism, and apply it to $\QQ_p$ as an additive group, and the semidirect product $\ZZ\ltimes \QQ_p$.


title: Evolution and Consequences of Coronal Mass Ejections in the Heliosphere

abstract: Investigating the heliospheric evolution and consequences of Coronal mass ejections (CMEs) is critical to understanding the solar-terrestrial relationship. For the first time, Heliospheric Imagers (HIs) onboard STEREO, providing multiple views of CMEs in the heliosphere, observed the vast and crucial observational gap between the Sun and the Earth. Using J-maps constructed from coronagraphs (CORs) and HIs observations, we continuously tracked different density enhanced features of CMEs. We implemented several reconstruction methods to estimate the three-dimensional (3D) kinematics of CMEs during their evolution from the Sun to Earth. Our study provides evidence that the 3D speeds of CMEs near the Sun are not reasonably sufficient for understanding the propagation and accurate forecasting of the arrival time at the Earth of a majority of CMEs. This finding can be due to many factors that significantly change the CME kinematics beyond the COR field of view, such as the interaction/collision of two or more CMEs or the interaction of CMEs with the ambient solar wind medium. We attempted to understand the evolution and consequences of the interacting/colliding CMEs in the heliosphere using STEREO/HI, WIND, and ACE observations. The study found a significant change in the dynamics of the CMEs after their collision and interaction. The in situ observations show the signatures of CME-CME interaction as heating and compression, formation of magnetic holes (MHs), and interaction region (IR). We also noticed that long-lasting IR, formed at the rear edge of preceding CME, is responsible for large geomagnetic perturbations. Our study highlights the significance of using HIs observations in studying heliospheric evolution of CMEs, CME-CME collision, identifying and associating the three-part structure of CMEs in their remote and in situ observations, and hence for improved space weather forecasting.


title: Helical magnetic fields and semi-classical asymptotics of the lowest eigenvalue

abstract: We study the 3D Neuman magnetic Laplacian in the presence of a semi-classical parameter and a non-uniform magnetic field with constant intensity. We determine a sharp two term asymptotics for the lowest eigenvalue, where the second term involves a quantity related to the magnetic field and the geometry of the domain. In the special case of the unit ball and a helical magnetic field, the concentration takes place on two symmetric points of the unit sphere.


title: CNLL: A Semi-supervised Approach For Continual Noisy Label Learning

abstract: The task of continual learning requires careful design of algorithms that can tackle catastrophic forgetting. However, the noisy label, which is inevitable in a real-world scenario, seems to exacerbate the situation. While very few studies have addressed the issue of continual learning under noisy labels, long training time and complicated training schemes limit their applications in most cases. In contrast, we propose a simple purification technique to effectively cleanse the online data stream that is both cost-effective and more accurate. After purification, we perform fine-tuning in a semi-supervised fashion that ensures the participation of all available samples. Training in this fashion helps us learn a better representation that results in state-of-the-art (SOTA) performance. Through extensive experimentation on 3 benchmark datasets, MNIST, CIFAR10 and CIFAR100, we show the effectiveness of our proposed approach. We achieve a 24.8% performance gain for CIFAR10 with 20% noise over previous SOTA methods. Our code is publicly available.


title: Color Invariant Skin Segmentation

abstract: This paper addresses the problem of automatically detecting human skin in images without reliance on color information. A primary motivation of the work has been to achieve results that are consistent across the full range of skin tones, even while using a training dataset that is significantly biased toward lighter skin tones. Previous skin-detection methods have used color cues almost exclusively, and we present a new approach that performs well in the absence of such information. A key aspect of the work is dataset repair through augmentation that is applied strategically during training, with the goal of color invariant feature learning to enhance generalization. We have demonstrated the concept using two architectures, and experimental results show improvements in both precision and recall for most Fitzpatrick skin tones in the benchmark ECU dataset. We further tested the system with the RFW dataset to show that the proposed method performs much more consistently across different ethnicities, thereby reducing the chance of bias based on skin color. To demonstrate the effectiveness of our work, extensive experiments were performed on grayscale images as well as images obtained under unconstrained illumination and with artificial filters. Source code: https://github.com/HanXuMartin/Color-Invariant-Skin-Segmentation


title: Layer-wise Fast Adaptation for End-to-End Multi-Accent Speech Recognition

abstract: Accent variability has posed a huge challenge to automatic speech recognition~(ASR) modeling. Although one-hot accent vector based adaptation systems are commonly used, they require prior knowledge about the target accent and cannot handle unseen accents. Furthermore, simply concatenating accent embeddings does not make good use of accent knowledge, which has limited improvements. In this work, we aim to tackle these problems with a novel layer-wise adaptation structure injected into the E2E ASR model encoder. The adapter layer encodes an arbitrary accent in the accent space and assists the ASR model in recognizing accented speech. Given an utterance, the adaptation structure extracts the corresponding accent information and transforms the input acoustic feature into an accent-related feature through the linear combination of all accent bases. We further explore the injection position of the adaptation layer, the number of accent bases, and different types of accent bases to achieve better accent adaptation. Experimental results show that the proposed adaptation structure brings 12\% and 10\% relative word error rate~(WER) reduction on the AESRC2020 accent dataset and the Librispeech dataset, respectively, compared to the baseline.


title: The maximum spectral radius of non-bipartite graphs forbidding short odd cycles

abstract: It is well-known that eigenvalues of graphs can be used to describe structural properties and parameters of graphs. A theorem of Nosal states that if $G$ is a triangle-free graph with $m$ edges, then $\lambda (G)\le \sqrt{m}$, equality holds if and only if $G$ is a complete bipartite graph. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a generalization for non-bipartite triangle-free graphs. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented a further improvement. In this paper, we present an alternative method for proving the improvement by Zhai and Shu. Furthermore, the method can allow us to give a refinement on the result of Zhai and Shu for non-bipartite graphs without short odd cycles.


title: An Attention-Based Model for Predicting Contextual Informativeness and Curriculum Learning Applications

abstract: Both humans and machines learn the meaning of unknown words through contextual information in a sentence, but not all contexts are equally helpful for learning. We introduce an effective method for capturing the level of contextual informativeness with respect to a given target word. Our study makes three main contributions. First, we develop models for estimating contextual informativeness, focusing on the instructional aspect of sentences. Our attention-based approach using pre-trained embeddings demonstrates state-of-the-art performance on our single-context dataset and an existing multi-sentence context dataset. Second, we show how our model identifies key contextual elements in a sentence that are likely to contribute most to a reader's understanding of the target word. Third, we examine how our contextual informativeness model, originally developed for vocabulary learning applications for students, can be used for developing better training curricula for word embedding models in batch learning and few-shot machine learning settings. We believe our results open new possibilities for applications that support language learning for both human and machine learners.


title: On the slice genus of quasipositive knots in indefinite 4-manifolds

abstract: Let $X$ be a closed indefinite $4$-manifold with $b_+(X) = 3 \; ({\rm mod} \; 4)$ and with non-vanishing mod $2$ Seiberg--Witten invariants. We prove a new lower bound on the genus of a properly embedded surface in $X \setminus B^4$ representing a given homology class and with boundary a quasipositive knot $K \subset S^3$. In the null-homologous case our inequality implies that the minimal genus of such a surface is equal to the slice genus of $K$. If $X$ is symplectic then our lower bound differs from the minimal genus by at most $1$ for any homology class that can be represented by a symplectic surface. Along the way, we also prove an extension of the adjunction inequality for closed $4$-manifolds to classes of negative self-intersection without requiring $X$ to be of simple type.


title: Two General Series Identities Involving Modified Bessel Functions and a Class of Arithmetical Functions

abstract: We consider two sequences $a(n)$ and $b(n)$, $1\leq n<\infty$, generated by Dirichlet series $$\sum_{n=1}^{\infty}\frac{a(n)}{\lambda_n^{s}}\qquad\text{and}\qquad \sum_{n=1}^{\infty}\frac{b(n)}{\mu_n^{s}},$$ satisfying a familiar functional equation involving the gamma function $\Gamma(s)$. Two general identities are established. The first involves the modified Bessel function $K_{\mu}(z)$, and can be thought of as a 'modular' or 'theta' relation wherein modified Bessel functions, instead of exponential functions, appear. Appearing in the second identity are $K_{\mu}(z)$, the Bessel functions of imaginary argument $I_{\mu}(z)$, and ordinary hypergeometric functions ${_2F_1}(a,b;c;z)$. Although certain special cases appear in the literature, the general identities are new. The arithmetical functions appearing in the identities include Ramanujan's arithmetical function $\tau(n)$; the number of representations of $n$ as a sum of $k$ squares $r_k(n)$; and primitive Dirichlet characters $\chi(n)$.


title: Fairness in Graph Mining: A Survey

abstract: Graph mining algorithms have been playing a significant role in myriad fields over the years. However, despite their promising performance on various graph analytical tasks, most of these algorithms lack fairness considerations. As a consequence, they could lead to discrimination towards certain populations when exploited in human-centered applications. Recently, algorithmic fairness has been extensively studied in graph-based applications. In contrast to algorithmic fairness on independent and identically distributed (i.i.d.) data, fairness in graph mining has exclusive backgrounds, taxonomies, and fulfilling techniques. In this survey, we provide a comprehensive and up-to-date introduction of existing literature under the context of fair graph mining. Specifically, we propose a novel taxonomy of fairness notions on graphs, which sheds light on their connections and differences. We further present an organized summary of existing techniques that promote fairness in graph mining. Finally, we summarize the widely used datasets in this emerging research field and provide insights on current research challenges and open questions, aiming at encouraging cross-breeding ideas and further advances.


title: Inducing Gaussian Process Networks

abstract: Gaussian processes (GPs) are powerful but computationally expensive machine learning models, requiring an estimate of the kernel covariance matrix for every prediction. In large and complex domains, such as graphs, sets, or images, the choice of suitable kernel can also be non-trivial to determine, providing an additional obstacle to the learning task. Over the last decade, these challenges have resulted in significant advances being made in terms of scalability and expressivity, exemplified by, e.g., the use of inducing points and neural network kernel approximations. In this paper, we propose inducing Gaussian process networks (IGN), a simple framework for simultaneously learning the feature space as well as the inducing points. The inducing points, in particular, are learned directly in the feature space, enabling a seamless representation of complex structured domains while also facilitating scalable gradient-based learning methods. We consider both regression and (binary) classification tasks and report on experimental results for real-world data sets showing that IGNs provide significant advances over state-of-the-art methods. We also demonstrate how IGNs can be used to effectively model complex domains using neural network architectures.


title: Spurious Correlations in Reference-Free Evaluation of Text Generation

abstract: Model-based, reference-free evaluation metrics have been proposed as a fast and cost-effective approach to evaluate Natural Language Generation (NLG) systems. Despite promising recent results, we find evidence that reference-free evaluation metrics of summarization and dialog generation may be relying on spurious correlations with measures such as word overlap, perplexity, and length. We further observe that for text summarization, these metrics have high error rates when ranking current state-of-the-art abstractive summarization systems. We demonstrate that these errors can be mitigated by explicitly designing evaluation metrics to avoid spurious features in reference-free evaluation.


title: Naked Singularities for the Einstein Vacuum Equations: The Interior Solution

abstract: In a previous work [I. Rodnianski and Y. Shlapentokh-Rothman, Naked Singularities for the Einstein Vacuum Equations: The Exterior Solution, arXiv:1912.08478] we constructed solutions to the Einstein vacuum equations in 3+1 dimensions which corresponded to the exterior region of a naked singularity. In this work we construct solutions which correspond to the interior region and show that the two solutions may be glued together to produce a naked singularity. Fundamental to our construction is the novel type of self-similarity for the Einstein vacuum equations that we introduced in our previous work and also the study of a new class of quasilinear PDE's of mixed degenerate elliptic-hyperbolic type.


title: Running Newton Coupling, Scale Identification and Black Hole Thermodynamics

abstract: We discuss the quantum improvement of black hole solutions in the context of asymptotic safety. The Newton coupling in this formulation depends on an energy scale, which must be identified with some length scale in order to study physical consequences to black holes. However, no physical principle has so far been known for the identification. Here we propose that the consistency of the first law of thermodynamics is the principle that should determine physically sensible scale identification, at least close to the horizon. We show that this leads to a natural solution that the Newton coupling should be a function of the horizon area and find a universal formula for the quantum entropy, which agrees with the standard Bekenstein-Hawking entropy for constant Newton coupling, for Kerr black holes and other higher-dimensional black holes. This suggests that the Newton coupling is a function of the area near the horizon, and also away to infinity, where the quantum effects may not be so important.


title: MAP-SNN: Mapping Spike Activities with Multiplicity, Adaptability, and Plasticity into Bio-Plausible Spiking Neural Networks

abstract: Spiking Neural Network (SNN) is considered more biologically realistic and power-efficient as it imitates the fundamental mechanism of the human brain. Recently, backpropagation (BP) based SNN learning algorithms that utilize deep learning frameworks have achieved good performance. However, bio-interpretability is partially neglected in those BP-based algorithms. Toward bio-plausible BP-based SNNs, we consider three properties in modeling spike activities: Multiplicity, Adaptability, and Plasticity (MAP). In terms of multiplicity, we propose a Multiple-Spike Pattern (MSP) with multiple spike transmission to strengthen model robustness in discrete time-iteration. To realize adaptability, we adopt Spike Frequency Adaption (SFA) under MSP to decrease spike activities for improved efficiency. For plasticity, we propose a trainable convolutional synapse that models spike response current to enhance the diversity of spiking neurons for temporal feature extraction. The proposed SNN model achieves competitive performances on neuromorphic datasets: N-MNIST and SHD. Furthermore, experimental results demonstrate that the proposed three aspects are significant to iterative robustness, spike efficiency, and temporal feature extraction capability of spike activities. In summary, this work proposes a feasible scheme for bio-inspired spike activities with MAP, offering a new neuromorphic perspective to embed biological characteristics into spiking neural networks.


title: The Bounded Euler Class and the Symplectic Rotation Number

abstract: Ghys established the relationship between the bounded Euler class in $H_{b}^{2}(\mathrm{Homeo}_{+}(S^{1});\mathbb{Z})$ and the Poincar\'{e} rotation number, that is, he proved that the pullback of the bounded Euler class under a homomorphism $\varphi \colon \mathbb{Z} \to \mathrm{Homeo}_{+}(S^{1})$ coincides with the Poincar\'{e} rotation number of $\varphi(1)$. In this paper, we extend the above result to the symplectic group in some sense, and clarify the relationship between the bounded Euler class in $H_{b}^{2}(Sp(2n;\mathbb{R});\mathbb{Z})$ and the symplectic rotation number investigated by Barge and Ghys.


title: Non-linear excitation of low frequency modes by overstable convective modes in rotating stars

abstract: We discuss non-linear excitation and amplitude saturation of $g$-modes, $r$-modes and overstable convective (OsC) modes in early type main sequence stars, taking account of the effects of three-mode couplings on amplitude evolutions. OsC modes are rotationally stabilized convective modes in the convective core and they resonantly excite low frequency $g$-modes to obtain large amplitudes in the envelope when the rotation rate of the core is larger than critical rates. We use, for a network of three-mode couplings, amplitude equations governing the time evolution of the mode amplitudes where each of three-mode couplings is assumed to occur between two stable modes and one unstable mode. Assuming that the unstable modes in the couplings are OsC modes in the core and the stable modes are $g$- and $r$-modes in the envelope, we integrate the amplitude equations to see how the $g$- and $r$-modes are non-linearly excited by the OsC modes and whether or not the amplitude evolutions tend toward a state of finite amplitudes. We find that the non-linear three-mode couplings do excite low frequency $g$- and $r$-modes but they are not necessarily effective to achieve amplitude saturation since the three-mode couplings between the OsC modes with large growth rates and $g$- and $r$-modes with small damping rates tend to destabilize amplitude evolutions.


title: {A direct construction of the Wiener measure on $\textbf{C}[0, \infty)$

abstract: Our construction of the Wiener measure on $\textbf{C}=\textbf{C}[0, \infty)$ consists in first defining a set function $\varphi$\ on the class of all compact sets based on certain $n$-dimensional normal distributions, $n = 1,\ 2,\ldots$\ using the structural relation at (\ref{E1.2}) below. This structural relation, discovered by the first author, is recorded in his book (2013) on page 130. We then define a measure $\mu$ on the Borel $\sigma$-field of subsets of $\textbf{C}$ which is the Wiener measure. This is done via a similar construction of the Wiener measure on $\textbf{C}_a=\textbf{C}[0, a)$ where $a > 0$ is an arbitrary real number. The traditional way is to first construct the Brownian Motion process (BMP) and then, by proving it is a measurable mapping into $(\textbf{C},\ \mathscr{C}_\infty)$, call the measure induced by the BMP on $\textbf{C}$\ the Wiener measure. In the present paper, we define the Wiener measure directly.


title: Two-particle coalescence conditions revisited

abstract: The notion of the n-th order local energy, generated by the n-th power of the Hamiltonian, has been introduced. The n-th order two-particle coalescence conditions have been derived from the requirements that the n-th order local energy at the coalescence point is non-singular and equal to the n-th power of the Hamiltonian eigenvalue. The first condition leads to energy-independent constraints. The second one is state-specific. The analysis has been done using a radial, one-dimensional, model Hamiltonian. The model is valid in the asymptotic region of r ~ 0. The coalescence conditions set the relations between the expansion coefficients of the radial wave function into a power series with respect to r.


title: Functional Horseshoe Smoothing for Functional Trend Estimation

abstract: Due to developments in instruments and computers, functional observations are increasingly popular. However, effective methodologies for flexibly estimating the underlying trends with valid uncertainty quantification for a sequence of functional data (e.g. functional time series) are still scarce. In this work, we develop a locally adaptive smoothing method, called functional horseshoe smoothing, by introducing a shrinkage prior to the general order of differences of functional variables. This allows us to capture abrupt changes by making the most of the shrinkage capability and also to assess uncertainty by Bayesian inference. The fully Bayesian framework allows the selection of the number of basis functions via the posterior predictive loss. We provide theoretical properties of the model, which support the shrinkage ability. Also, by taking advantage of the nature of functional data, this method is able to handle heterogeneously observed data without data augmentation. Simulation studies and real data analysis demonstrate that the proposed method has desirable properties.


title: Multiple-photon bundle emission in the $n$-photon Jaynes-Cummings model

abstract: We study the multiple-photon bundle emission in the $n$-photon Jaynes-Cummings model composed of a two-level system coupled to a single-mode optical field via the $n$-photon exciting process. Here, the two-level system is strongly driven by a near-resonant monochromatic field, and hence the system can work in the Mollow regime, in which a super-Rabi oscillation between the zero-photon state and the $n$-photon state can take place under proper resonant conditions. We calculate the photon number populations and the standard equal-time high-order correlation functions, and find that the multiple-photon bundle emission can occur in this system. The multiple-photon bundle emission is also confirmed by investigating the quantum trajectories of the state populations and both the standard and generalized time-delay second-order correlation functions for multiple-photon bundle. Our work paves the way towards the study of multiple-photon quantum coherent devices, with potential application in quantum information sciences and technologies.


title: Unsupervised Video Interpolation by Learning Multilayered 2.5D Motion Fields

abstract: The problem of video frame interpolation is to increase the temporal resolution of a low frame-rate video, by interpolating novel frames between existing temporally sparse frames. This paper presents a self-supervised approach to video frame interpolation that requires only a single video. We pose the video as a set of layers. Each layer is parameterized by two implicit neural networks -- one for learning a static frame and the other for a time-varying motion field corresponding to video dynamics. Together they represent an occlusion-free subset of the scene with a pseudo-depth channel. To model inter-layer occlusions, all layers are lifted to the 2.5D space so that the frontal layer occludes distant layers. This is done by assigning each layer a depth channel, which we call `pseudo-depth', whose partial order defines the occlusion between layers. The pseudo-depths are converted to visibility values through a fully differentiable SoftMin function so that closer layers are more visible than layers in a distance. On the other hand, we parameterize the video motions by solving an ordinary differentiable equation (ODE) defined on a time-varying neural velocity field that guarantees valid motions. This implicit neural representation learns the video as a space-time continuum, allowing frame interpolation at any temporal resolution. We demonstrate the effectiveness of our method on real-world datasets, where our method achieves comparable performance to state-of-the-arts that require ground truth labels for training.


title: Joint Trajectory Design and User Scheduling of Aerial Cognitive Radio Networks

abstract: Unmanned aerial vehicles (UAVs) have been widely employed to enhance the end-to-end performance of wireless communications since the links between UAVs and terrestrial nodes are line-of-sight (LoS) with high probability. However, the broadcast characteristics of signal propagation in LoS links make it vulnerable to being wiretapped by malicious eavesdroppers, which poses a considerable challenge to the security of wireless communications. This paper investigates the security of aerial cognitive radio networks (CRNs). An airborne base station transmits confidential messages to secondary users utilizing the same spectrum as the primary network. An aerial base station transmits jamming signals to suppress the eavesdropper to enhance secrecy performance. The uncertainty of eavesdropping node locations is considered, and the average secrecy rate of the cognitive user is maximized by optimizing multiple users' scheduling, the UAVs' trajectory, and transmit power. To solve the non-convex optimization problem with mixed multiple integers variable problem, we propose an iterative algorithm based on block coordinate descent and successive convex approximation. Numerical results verify the effectiveness of our proposed algorithm and demonstrate that our scheme is beneficial to improving the secrecy performance of aerial CRNs.


title: Transition operator approach for the description of spontaneous decay in a multi-qubit system

abstract: In this paper we discuss the use of the transition operator method for the theoretical description of a multi-qubit system in a one-dimensional waveguide. A general calculation has been performed for the N-qubit system, which was then applied to the case of spontaneous decay for one and two qubits. The probabilities of transitions in such systems, as well as the emission spectra, are investigated in detail.


title: Beyond the Prototype: Divide-and-conquer Proxies for Few-shot Segmentation

abstract: Few-shot segmentation, which aims to segment unseen-class objects given only a handful of densely labeled samples, has received widespread attention from the community. Existing approaches typically follow the prototype learning paradigm to perform meta-inference, which fails to fully exploit the underlying information from support image-mask pairs, resulting in various segmentation failures, e.g., incomplete objects, ambiguous boundaries, and distractor activation. To this end, we propose a simple yet versatile framework in the spirit of divide-and-conquer. Specifically, a novel self-reasoning scheme is first implemented on the annotated support image, and then the coarse segmentation mask is divided into multiple regions with different properties. Leveraging effective masked average pooling operations, a series of support-induced proxies are thus derived, each playing a specific role in conquering the above challenges. Moreover, we devise a unique parallel decoder structure that integrates proxies with similar attributes to boost the discrimination power. Our proposed approach, named divide-and-conquer proxies (DCP), allows for the development of appropriate and reliable information as a guide at the "episode" level, not just about the object cues themselves. Extensive experiments on PASCAL-5i and COCO-20i demonstrate the superiority of DCP over conventional prototype-based approaches (up to 5~10% on average), which also establishes a new state-of-the-art. Code is available at github.com/chunbolang/DCP.


title: Infographics Wizard: Flexible Infographics Authoring and Design Exploration

abstract: Infographics are an aesthetic visual representation of information following specific design principles of human perception. Designing infographics can be a tedious process for non-experts and time-consuming, even for professional designers. With the help of designers, we propose a semi-automated infographic framework for general structured and flow-based infographic design generation. For novice designers, our framework automatically creates and ranks infographic designs for a user-provided text with no requirement for design input. However, expert designers can still provide custom design inputs to customize the infographics. We will also contribute an individual visual group (VG) designs dataset (in SVG), along with a 1k complete infographic image dataset with segmented VGs in this work. Evaluation results confirm that by using our framework, designers from all expertise levels can generate generic infographic designs faster than existing methods while maintaining the same quality as hand-designed infographics templates.


title: Liouville quantum gravity weighted by conformal loop ensemble nesting statistics

abstract: We study Liouville quantum gravity (LQG) surfaces whose law has been reweighted according to nesting statistics for a conformal loop ensemble (CLE) relative to $n\in \{0,1,2,\dots\}$ marked points $z_1,\dots,z_n$. The idea is to consider a reweighting by $\prod_{B\subseteq [n]} e^{\sigma_B N_B}$, where $\sigma_B$ are real constants and $N_B$ is the number of CLE loops surrounding the points $z_i$ for $i\in B$. This is made precise via an approximation procedure where as part of the proof we derive strong spatial independence results for CLE. The reweighting induces logarithmic singularities for the Liouville field at $z_1,\dots,z_n$ with a magnitude depending explicitly on $\sigma_1,\dots,\sigma_n$. We define the partition function of the surface and explain its relationship to Liouville conformal field theory (CFT) correlation functions and a potential relationship with a CFT for CLE. In the case of $n\in\{0,1\}$ points we derive an explicit formula for the partition function. Furthermore, we obtain a recursive formula for the partition functions where we express the $n$ point partition function in terms of the partition function for disks with $k<n$ marked points, and we use this to partially determine for which values of $(\sigma_B\colon B\subseteq [n])$ the partition function is finite. The recursive formula is derived via a continuum counterpart of the peeling process on planar maps, which was earlier studied in works of Miller, Sheffield, and Werner in the setting of $n=0$ marked points. We also find an explicit formula for the generator of the Markov process describing the LQG boundary lengths in the continuum peeling process. Via an explicit calculation for this Markov process for $n=0$ we give a new proof for the law of the conformal radius of the outermost CLE loop in the unit disk around 0, which was earlier established by Schramm, Sheffield, and Wilson.


title: The Self-energy of Nucleon for the Pion-nucleon Scattering Parameter

abstract: The scattering amplitude of the pion-nucleon elastic scattering is calculated by the lowest-order approximation of the perturbative expansion with the non-perturbative term. The self-energy of nucleon is determined so as to give the scattering parameters of the $S$-wave. It is shown that the scattering process mediated by the $\sigma$-meson plays a decisive role together with the pseudovector pion interaction.


title: Vibrationally-excited Lines of HC$_{3}$N Associated with the Molecular Disk around the G24.78+0.08 A1 Hyper-compact H$_{\rm {II}}$ Region

abstract: We have analyzed Atacama Large Millimeter/submillimeter Array Band 6 data of the hyper-compact H$_{\rm {II}}$ region G24.78+0.08 A1 (G24 HC H$_{\rm {II}}$) and report the detection of vibrationally-excited lines of HC$_{3}$N ($v_{7}=2$, $J=24-23$). The spatial distribution and kinematics of a vibrationally-excited line of HC$_{3}$N ($v_{7}=2$, $J=24-23$, $l=2e$) are found to be similar to the CH$_{3}$CN vibrationally-excited line ($v_{8}=1$), which indicates that the HC$_{3}$N emission is tracing the disk around the G24 HC H$_{\rm {II}}$ region previously identified by the CH$_{3}$CN lines. We derive the $^{13}$CH$_{3}$CN/HC$^{13}$CCN abundance ratios around G24 and compare them to the CH$_{3}$CN/HC$_{3}$N abundance ratios in disks around Herbig Ae and T Tauri stars. The $^{13}$CH$_{3}$CN/HC$^{13}$CCN ratios around G24 ($\sim 3.0-3.5$) are higher than the CH$_{3}$CN/HC$_{3}$N ratios in the other disks ($\sim 0.03-0.11$) by more than one order of magnitude. The higher CH$_{3}$CN/HC$_{3}$N ratios around G24 suggest that the thermal desorption of CH$_{3}$CN in the hot dense gas and efficient destruction of HC$_{3}$N in the region irradiated by the strong UV radiation are occurring. Our results indicate that the vibrationally-excited HC$_{3}$N lines can be used as a disk tracer of massive protostars at the HC H$_{\rm {II}}$ region stage, and the combination of these nitrile species will provide information of not only chemistry but also physical conditions of the disk structures.


title: XMM-Newton Observations of the Narrow-Line Seyfert 1 Galaxy IRAS 13224$-$3809 : X-ray Spectral Analysis II

abstract: Previously, we modelled the X-ray spectra of the narrow-line Seyfert 1 galaxy IRAS 13224$-$3809 using a disc reflection model with a fixed electron density of $10^{15}$ cm$^{-3}$. An additional blackbody component was required to fit the soft X-ray excess below 2 keV. In this work, we analyse simultaneously five flux-resolved XMM-Newton spectra of this source comprising data collected over 2 Ms. A disc reflection model with an electron density of $n_{\rm e}\approx10^{20}$ cm$^{-3}$ and an iron abundance of $Z_{\rm Fe}=3.2\pm0.5Z_{\odot}$ is used to fit the broad-band spectra of this source. No additional component is required to fit the soft excess. Our best-fit model provides consistent measurements of black hole spin and disc inclination angle as in previous models where a low disc density was assumed. In the end, we calculate the average illumination distance between the corona and the reflection region in the disc of IRAS 13224$-$3809 based on best-fit density and ionisation parameters, which changes from 0.43$\sqrt{f_{\rm AD}/f_{\rm INF}}$ $r_{\rm g}$ in the lowest flux state to 1.71$\sqrt{f_{\rm AD}/f_{\rm INF}}$ $r_{\rm g}$ in the highest flux state assuming a black hole mass of $2\times10^{6}M_{\odot}$. $f_{\rm AD}/f_{\rm INF}$ is the ratio between the flux of the coronal emission that reaches the accretion disc and infinity. This ratio depends on the geometry of the coronal region in IRAS 13224$-$3809. So we only discuss its value based on the simple `lamp-post' model, although detailed modelling of the disc emissivity profile of IRAS 13224$-$3809 is required in future to reveal the exact geometry of the corona.


title: An Efficient End-to-End Deep Neural Network for Interstitial Lung Disease Recognition and Classification

abstract: The automated Interstitial Lung Diseases (ILDs) classification technique is essential for assisting clinicians during the diagnosis process. Detecting and classifying ILDs patterns is a challenging problem. This paper introduces an end-to-end deep convolution neural network (CNN) for classifying ILDs patterns. The proposed model comprises four convolutional layers with different kernel sizes and Rectified Linear Unit (ReLU) activation function, followed by batch normalization and max-pooling with a size equal to the final feature map size well as four dense layers. We used the ADAM optimizer to minimize categorical cross-entropy. A dataset consisting of 21328 image patches of 128 CT scans with five classes is taken to train and assess the proposed model. A comparison study showed that the presented model outperformed pre-trained CNNs and five-fold cross-validation on the same dataset. For ILDs pattern classification, the proposed approach achieved the accuracy scores of 99.09% and the average F score of 97.9%, outperforming three pre-trained CNNs. These outcomes show that the proposed model is relatively state-of-the-art in precision, recall, f score, and accuracy.


title: Some remarks and conjectures about Hankel determinants of polynomials which are related to Motzkin paths

abstract: This note collects some results and conjectures for the generating functions of the Hankel determinants of certain polynomials which are related to Motzkin paths.


title: STFT-Domain Neural Speech Enhancement with Very Low Algorithmic Latency

abstract: Deep learning based speech enhancement in the short-time Fourier transform (STFT) domain typically uses a large window length such as 32 ms. A larger window can lead to higher frequency resolution and potentially better enhancement. This however incurs an algorithmic latency of 32 ms in an online setup, because the overlap-add algorithm used in the inverse STFT (iSTFT) is also performed using the same window size. To reduce this inherent latency, we adapt a conventional dual-window-size approach, where a regular input window size is used for STFT but a shorter output window is used for overlap-add, for STFT-domain deep learning based frame-online speech enhancement. Based on this STFT-iSTFT configuration, we employ complex spectral mapping for frame-online enhancement, where a deep neural network (DNN) is trained to predict the real and imaginary (RI) components of target speech from the mixture RI components. In addition, we use the DNN-predicted RI components to conduct frame-online beamforming, the results of which are used as extra features for a second DNN to perform frame-online post-filtering. The frequency-domain beamformer can be easily integrated with our DNNs and is designed to not incur any algorithmic latency. Additionally, we propose a future-frame prediction technique to further reduce the algorithmic latency. Evaluation on noisy-reverberant speech enhancement shows the effectiveness of the proposed algorithms. Compared with Conv-TasNet, our STFT-domain system can achieve better enhancement performance for a comparable amount of computation, or comparable performance with less computation, maintaining strong performance at an algorithmic latency as low as 2 ms.


title: Interstellar detection and chemical modeling of iso-propanol and its normal isomer

abstract: The detection of a branched alkyl molecule in the high-mass star forming protocluster Sgr B2(N) permitted by the advent of ALMA revealed a new dimension of interstellar chemistry. Astrochemical simulations subsequently predicted that beyond a certain degree of molecular complexity, branched molecules could even dominate over their straight-chain isomers. More generally, we aim at probing further the presence in the ISM of complex organic molecules with the capacity to exhibit both a normal and iso form, via the attachment of a functional group to either a primary or secondary carbon atom. We used the imaging spectral line survey survey ReMoCA performed with ALMA and the results of a recent spectroscopic study of propanol to search for the iso and normal isomers of this molecule in the hot molecular core Sgr B2(N2). We expanded the network of the astrochemical model MAGICKAL to explore the formation routes of propanol. We report the first interstellar detection of iso-propanol toward a position of Sgr B2(N2) that shows narrow linewidths. We also report the first secure detection of normal-propanol in a hot core. i-Propanol is found to be nearly as abundant as n-propanol, with an abundance ratio of 0.6 similar to the ratio of 0.4 that we obtained previously for i- and n-propyl cyanide in Sgr B2(N2). The results are in good agreement with the outcomes of our astrochemical models, which indicate that OH-radical addition to propylene in dust-grain ice mantles, driven by water photodissociation, can produce appropriate quantities of n- and i-propanol. The n-to-i ratio in Sgr B2(N2) may be a direct inheritance of the branching ratio of this reaction process. The detection of n- and i-propanol and their ratio indicate that the modest preference toward the normal form of propyl cyanide determined previously may be a more general feature among similarly sized interstellar molecules. [abridged]


title: A note on commutators in compact semisimple Lie algebras

abstract: Given two elements $A,B$ in a compact semisimple Lie algebra, we show that there is a regular element $X$ and elements $Y,Z$ with $A=[X,Y]$ and $B=[X,Z]$. In the course of the proof we show also that every linear subspace $V$ of codimension at most 2 in the Lie algebra contains a CSA.


title: CPGNet: Cascade Point-Grid Fusion Network for Real-Time LiDAR Semantic Segmentation

abstract: LiDAR semantic segmentation essential for advanced autonomous driving is required to be accurate, fast, and easy-deployed on mobile platforms. Previous point-based or sparse voxel-based methods are far away from real-time applications since time-consuming neighbor searching or sparse 3D convolution are employed. Recent 2D projection-based methods, including range view and multi-view fusion, can run in real time, but suffer from lower accuracy due to information loss during the 2D projection. Besides, to improve the performance, previous methods usually adopt test time augmentation (TTA), which further slows down the inference process. To achieve a better speed-accuracy trade-off, we propose Cascade Point-Grid Fusion Network (CPGNet), which ensures both effectiveness and efficiency mainly by the following two techniques: 1) the novel Point-Grid (PG) fusion block extracts semantic features mainly on the 2D projected grid for efficiency, while summarizes both 2D and 3D features on 3D point for minimal information loss; 2) the proposed transformation consistency loss narrows the gap between the single-time model inference and TTA. The experiments on the SemanticKITTI and nuScenes benchmarks demonstrate that the CPGNet without ensemble models or TTA is comparable with the state-of-the-art RPVNet, while it runs 4.7 times faster.


title: Do Human Mobility Network Analyses Produced from Different Location-based Data Sources Yield Similar Results across Scales?

abstract: The burgeoning availability of sensing technology and location-based data is driving the expansion of analysis of human mobility networks in science and engineering research, as well as in epidemic forecasting and mitigation, urban planning, traffic engineering, emergency response, and business development. However, studies employ datasets provided by different location-based data providers, and the extent to which the human mobility measures and results obtained from different datasets are comparable is not known. To address this gap, in this study, we examined three prominent location-based data sources: Spectus, X-Mode, and Veraset to analyze human mobility networks across metropolitan areas at different scales: global, sub-structure, and microscopic. Dissimilar results were obtained from the three datasets, suggesting the sensitivity of network models and measures to datasets. This finding has important implications for building generalized theories of human mobility and urban dynamics based on different datasets. The findings also highlighted the need for ground-truthed human movement datasets to serve as the benchmark for testing the representativeness of human mobility datasets. Researchers and decision-makers across different fields of science and technology should recognize the sensitivity of human mobility results to dataset choice and develop procedures for ground-truthing the selected datasets in terms of representativeness of data points and transferability of results.


title: The Higgs boson as a self-similar system: Towards a new solution to the hierarchy problem

abstract: We propose a new solution to the hierarchy (naturalness) problem, concerning quantum corrections of the Higgs mass. Assuming the Higgs boson as a system with a self-similar internal structure, we calculate its two-point function and find that the quadratic divergence is replaced by a logarithmic one in the mass corrections. It is shown that the partonic-like distribution follows the Tsallis statistics and also high energy physics experimental data for the Higgs transverse momentum distribution can be described by a self-similar statistical model.


title: SinTra: Learning an inspiration model from a single multi-track music segment

abstract: In this paper, we propose SinTra, an auto-regressive sequential generative model that can learn from a single multi-track music segment, to generate coherent, aesthetic, and variable polyphonic music of multi-instruments with an arbitrary length of bar. For this task, to ensure the relevance of generated samples and training music, we present a novel pitch-group representation. SinTra, consisting of a pyramid of Transformer-XL with a multi-scale training strategy, can learn both the musical structure and the relative positional relationship between notes of the single training music segment. Additionally, for maintaining the inter-track correlation, we use the convolution operation to process multi-track music, and when decoding, the tracks are independent to each other to prevent interference. We evaluate SinTra with both subjective study and objective metrics. The comparison results show that our framework can learn information from a single music segment more sufficiently than Music Transformer. Also the comparison between SinTra and its variant, i.e., the single-stage SinTra with the first stage only, shows that the pyramid structure can effectively suppress overly-fragmented notes.


title: MRAM-based Analog Sigmoid Function for In-memory Computing

abstract: We propose an analog implementation of the transcendental activation function leveraging two spin-orbit torque magnetoresistive random-access memory (SOT-MRAM) devices and a CMOS inverter. The proposed analog neuron circuit consumes 1.8-27x less power, and occupies 2.5-4931x smaller area, compared to the state-of-the-art analog and digital implementations. Moreover, the developed neuron can be readily integrated with memristive crossbars without requiring any intermediate signal conversion units. The architecture-level analyses show that a fully-analog in-memory computing (IMC) circuit that use our SOT-MRAM neuron along with an SOT-MRAM based crossbar can achieve more than 1.1x, 12x, and 13.3x reduction in power, latency, and energy, respectively, compared to a mixed-signal implementation with analog memristive crossbars and digital neurons. Finally, through cross-layer analyses, we provide a guide on how varying the device-level parameters in our neuron can affect the accuracy of multilayer perceptron (MLP) for MNIST classification.


title: Sonic Interactions in Virtual Environments: the Egocentric Audio Perspective of the Digital Twin

abstract: The relationships between the listener, physical world and virtual environment (VE) should not only inspire the design of natural multimodal interfaces but should be discovered to make sense of the mediating action of VR technologies. This chapter aims to transform an archipelago of studies related to sonic interactions in virtual environments (SIVE) into a research field equipped with a first theoretical framework with an inclusive vision of the challenges to come: the egocentric perspective of the auditory digital twin. In a VE with immersive audio technologies implemented, the role of VR simulations must be enacted by a participatory exploration of sense-making in a network of human and non-human agents, called actors. The guardian of such locus of agency is the auditory digital twin that fosters intra-actions between humans and technology, dynamically and fluidly redefining all those configurations that are crucial for an immersive and coherent experience. The idea of entanglement theory is here mainly declined in an egocentric-spatial perspective related to emerging knowledge of the listener's perceptual capabilities. This is an actively transformative relation with the digital twin potentials to create movement, transparency, and provocative activities in VEs. The chapter contains an original theoretical perspective complemented by several bibliographical references and links to the other book chapters that have contributed significantly to the proposal presented here.


title: Perception Visualization: Seeing Through the Eyes of a DNN

abstract: Artificial intelligence (AI) systems power the world we live in. Deep neural networks (DNNs) are able to solve tasks in an ever-expanding landscape of scenarios, but our eagerness to apply these powerful models leads us to focus on their performance and deprioritises our ability to understand them. Current research in the field of explainable AI tries to bridge this gap by developing various perturbation or gradient-based explanation techniques. For images, these techniques fail to fully capture and convey the semantic information needed to elucidate why the model makes the predictions it does. In this work, we develop a new form of explanation that is radically different in nature from current explanation methods, such as Grad-CAM. Perception visualization provides a visual representation of what the DNN perceives in the input image by depicting what visual patterns the latent representation corresponds to. Visualizations are obtained through a reconstruction model that inverts the encoded features, such that the parameters and predictions of the original models are not modified. Results of our user study demonstrate that humans can better understand and predict the system's decisions when perception visualizations are available, thus easing the debugging and deployment of deep models as trusted systems.


title: Measurement of the effective weak mixing angle at the CEPC

abstract: We present a study of the measurement of the effective weak mixing angle parameter ($\sin^2\theta^{\ell}_\text{eff}$) at the Circular Electron Positron Collider (CEPC). As a fundamental physics parameter, $\sin^2\theta^{\ell}_\text{eff}$ plays a key role not only in the global test of the standard model electroweak sector, but also in constraining the potential beyond standard model new physics at high energy frontier. CEPC proposes a two year running period around the Z boson mass pole at high instataneous luminosity, providing a large data sample with $4\times 10^{12}$ $Z$ candidates generated in total. It allows a high precision measurement of $\sin^2\theta^{\ell}_\text{eff}$ both in the lepton and quark final states, of which the uncertainty can be one order of magnitude lower than any previous measurement at the LEP, SLC, Tevatron and LHC. It will not only improve the overall precision of the $\sin^2\theta^\ell_\text{eff}$ experimental determination to be comparable to the preicision of the theoretical calculation with two-loop radiative corrections, but also provide direct comparisons between different final states. In this paper, we also study the measurement of $\sin^2\theta^{\ell}_\text{eff}$ at high mass region. With one month data taken, the precision of $\sin^2\theta^{\ell}_\text{eff}$ measured at 130 GeV from $b$ quark final state is 0.00010, which will be an important experimental observation on the energy-running effect of $\sin^2\theta^{\ell}_\text{eff}$.


title: Information Flow in Non-Unitary Quantum Cellular Automata

abstract: The information flow in a quantum system is a fundamental feature of its dynamics. An important class of dynamics are quantum cellular automata (QCA), systems with discrete updates invariant in time and space, for which an index theory has been proposed for the quantification of the net flow of quantum information across a boundary. While the index is rigid in the sense of begin invariant under finite-depth local circuits, it is not defined when the system is coupled to an environment, i.e. for non-unitary time evolution of open quantum systems. We propose a new measure of information flow for non-unitary QCA denoted the information current which is not rigid, but can be computed locally based on the matrix-product operator representation of the map.


title: Transport theory for topological Josephson junctions with a Majorana qubit

abstract: We construct a semiclassical theory for the transport of topological junctions starting from a microscopic Hamiltonian that comprehensively includes the interplay among the Majorana qubit, the Josephson phase, and the dissipation process. With the path integral approach, we derive a set of semiclassical equations of motion that can be used to calculate the time evolution of the Josephson phase and the Majorana qubit. In the equations we reveal rich dynamical phenomena such as the qubit induced charge pumping, the effective spin-orbit torque, and the Gilbert damping. We demonstrate the influence of these dynamical phenomena on the transport signatures of the junction. We apply the theory to study the Shapiro steps of the junction, and find the suppression of the first Shapiro step due to the dynamical feedback of the Majorana qubit.


title: Progressive Training of A Two-Stage Framework for Video Restoration

abstract: As a widely studied task, video restoration aims to enhance the quality of the videos with multiple potential degradations, such as noises, blurs and compression artifacts. Among video restorations, compressed video quality enhancement and video super-resolution are two of the main tacks with significant values in practical scenarios. Recently, recurrent neural networks and transformers attract increasing research interests in this field, due to their impressive capability in sequence-to-sequence modeling. However, the training of these models is not only costly but also relatively hard to converge, with gradient exploding and vanishing problems. To cope with these problems, we proposed a two-stage framework including a multi-frame recurrent network and a single-frame transformer. Besides, multiple training strategies, such as transfer learning and progressive training, are developed to shorten the training time and improve the model performance. Benefiting from the above technical contributions, our solution wins two champions and a runner-up in the NTIRE 2022 super-resolution and quality enhancement of compressed video challenges. Code is available at https://github.com/ryanxingql/winner-ntire22-vqe.


title: Honing in on a topological zero-bias conductance peak

abstract: A popular signature of Majorana bound states in topological superconductors is the zero-energy conductance peak with a height of $2e^2/h$. However, a similar zero energy conductance peak with almost the same height can also arise due to non-topological reasons. Here we show that these trivial and topological zero energy conductance peaks can be distinguished via the zero energy local density of states and local magnetization density of states. We find that the zero-energy local density of states exhibits oscillations with a finite period for a trivial zero-bias conductance peak. In contrast, these oscillations disappear for the topological zero-bias conductance peak. On the other hand, zero energy local magnetization density of states shows a periodic oscillation for trivial zero-bias conductance peak, while for topological ZBCP, they vanish. Our results suggest that zero-energy local density of states and local magnetization density of states can be used as an experimental probe to distinguish trivial zero energy conductance peak from topological zero energy conductance peak.

categories: cond-mat.mes-hall hep-th physics.app-ph quant-ph


title: Power structures of directed spaces

abstract: Powerdomains in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages.\ In this paper,\ we extend the notion of powerdomain to the category of directed spaces,\ which is equivalent to the notion of the\ $T_0$\ monotone-determined space\ \cite{EN2009}.\ We define the notion of upper,\ lower and convex powerspace of a directed space by the way of free algebras.\ We show that the upper,\ lower and convex powerspace over any directed space exist and give their concrete structures.\ Generally,\ the upper,\ lower and convex powerspaces of a directed spaces are different from the upper,\ lower and convex powerdomains of a dcpos endowed with the Scott topology and the observationally-induced upper and lower powerspaces introduced by Battenfeld and Sch\"{o}der in 2015. Keywords: powerdomain,\ directed lower powerspace of directed spaces,\ directed upper powerspace of directed spaces,\ directed convex powerspace of directed spaces,\ observationally-induced lower powerspace,\ observationally-induced lower powerspace


title: Partial compactification of metabelian Lie groups with prescribed varieties of minimal rational tangents

abstract: We study minimal rational curves on a complex manifold that are tangent to a distribution. In this setting, the variety of minimal rational tangents (VMRT) has to be isotropic with respect to the Levi tensor of the distribution. Our main result is a converse of this: any smooth projective variety isotropic with respect to a vector-valued anti-symmetric form can be realized as VMRT of minimal rational curves tangent to a distribution on a complex manifold. The complex manifold is constructed as a partial equivariant compactification of a metabelian group, which is a result of independent interest.


title: Bures-Wasserstein minimizing geodesics between covariance matrices of different ranks

abstract: The set of covariance matrices equipped with the Bures-Wasserstein distance is the orbit space of the smooth, proper and isometric action of the orthogonal group on the Euclidean space of square matrices. This construction induces a natural orbit stratification on covariance matrices, which is exactly the stratification by the rank. Thus, the strata are the manifolds of symmetric positive semi-definite (PSD) matrices of fixed rank endowed with the Bures-Wasserstein Riemannian metric. In this work, we study the geodesics of the Bures-Wasserstein distance. Firstly, we complete the literature on geodesics in each stratum by clarifying the set of preimages of the exponential map and by specifying the injection domain. We also give explicit formulae of the horizontal lift, the exponential map and the Riemannian logarithms that were kept implicit in previous works. Secondly, we give the expression of all the minimizing geodesic segments joining two covariance matrices of any rank. More precisely, we show that the set of all minimizing geodesics between two covariance matrices $\Sigma$ and $\Lambda$ is parametrized by the closed unit ball of $\mathbb{R}^{(k-r)\times(l-r)}$ for the spectral norm, where $k, l, r$ are the respective ranks of $\Sigma$, $\Lambda$, $\Sigma$$\Lambda$. In particular, the minimizing geodesic is unique if and only if $r = \min(k, l)$. Otherwise, there are infinitely many.


title: Normalization procedure for obtaining the local density of states from high-bias scanning tunneling spectroscopy

abstract: Differential conductance spectroscopy performed in the high bias regime -- in which the applied voltage exceeds the sample work function -- is a poor measure of the local density of states due to the effects of the changing tunnel barrier. Additionally, the large applied voltage oftentimes makes constant-height measurement experimentally impractical, lending constant-current spectroscopy an advantageous edge; but the differential conductance in that case is even further removed from the local density of states due to the changing tip height. Here, we present a normalization scheme for extracting the local density of states from high bias scanning tunneling spectroscopy, obtained in either constant-current or constant-height mode. We extend this model to account for the effects of the in-plane momentum of the probed states to the overall current. We demonstrate the validity of the proposed scheme by applying it to laterally confined field-emission resonances, which appear as peak-shaped spectroscopic features with a well-defined in-plane momentum.


title: Multi-task recommendation system for scientific papers with high-way networks

abstract: Finding and selecting the most relevant scientific papers from a large number of papers written in a research community is one of the key challenges for researchers these days. As we know, much information around research interest for scholars and academicians belongs to papers they read. Analysis and extracting contextual features from these papers could help us to suggest the most related paper to them. In this paper, we present a multi-task recommendation system (RS) that predicts a paper recommendation and generates its meta-data such as keywords. The system is implemented as a three-stage deep neural network encoder that tries to maps longer sequences of text to an embedding vector and learns simultaneously to predict the recommendation rate for a particular user and the paper's keywords. The motivation behind this approach is that the paper's topics expressed as keywords are a useful predictor of preferences of researchers. To achieve this goal, we use a system combination of RNNs, Highway and Convolutional Neural Networks to train end-to-end a context-aware collaborative matrix. Our application uses Highway networks to train the system very deep, combine the benefits of RNN and CNN to find the most important factor and make latent representation. Highway Networks allow us to enhance the traditional RNN and CNN pipeline by learning more sophisticated semantic structural representations. Using this method we can also overcome the cold start problem and learn latent features over large sequences of text.


title: Learning to Purification for Unsupervised Person Re-identification

abstract: Unsupervised person re-identification is a challenging and promising task in computer vision. Nowadays unsupervised person re-identification methods have achieved great progress by training with pseudo labels. However, how to purify feature and label noise is less explicitly studied in the unsupervised manner. To purify the feature, we take into account two types of additional features from different local views to enrich the feature representation. The proposed multi-view features are carefully integrated into our cluster contrast learning to leverage more discriminative cues that the global feature easily ignored and biased. To purify the label noise, we propose to take advantage of the knowledge of teacher model in an offline scheme. Specifically, we first train a teacher model from noisy pseudo labels, and then use the teacher model to guide the learning of our student model. In our setting, the student model could converge fast with the supervision of the teacher model thus reduce the interference of noisy labels as the teacher model greatly suffered. After carefully handling the noise and bias in the feature learning, our purification modules are proven to be very effective for unsupervised person re-identification. Extensive experiments on three popular person re-identification datasets demonstrate the superiority of our method. Especially, our approach achieves a state-of-the-art accuracy 85.8\% @mAP and 94.5\% @Rank-1 on the challenging Market-1501 benchmark with ResNet-50 under the fully unsupervised setting. The code will be released.


title: Topological contribution to magnetism in the Kane-Mele model: An explicit wave function approach

abstract: In our previous publication [S. Ozaki and M. Ogata, Phys. Rev. Research 3, 013058], the quantization of the orbital-Zeeman (OZ) cross term in the magnetic susceptibility, or the cross term of spin Zeeman and orbital effect, was shown for the Kane-Mele model using the expansion around the Dirac points. In the present study, we accurately evaluate the orbital, spin-Zeeman, and OZ cross term of the Kane-Mele model using a recently developed formulation. This formula is written in terms of the explicit Bloch wave functions, and enables us to evaluate each contribution taking account of the integration over the whole Brillouin zone and the summation over all the bands. As a result, additional contributions such as core-electron diamagnetism are found. Furthermore, our evaluation confirms the quantization of the OZ cross term and reveals its behavior including the metallic case. The possibility of experimental detection of the quantization is discussed.


title: A flow method for a generalization of $L_{p}$ Christofell-Minkowski problem

abstract: In this paper, a generalization of the $L_{p}$-Christoffel-Minkowski problem is studied. We consider an anisotropic curvature flow and derive the long-time existence of the flow. Then under some initial data, we obtain the existence of smooth solutions to this problem for $c=1$.


title: FastDiff: A Fast Conditional Diffusion Model for High-Quality Speech Synthesis

abstract: Denoising diffusion probabilistic models (DDPMs) have recently achieved leading performances in many generative tasks. However, the inherited iterative sampling process costs hindered their applications to speech synthesis. This paper proposes FastDiff, a fast conditional diffusion model for high-quality speech synthesis. FastDiff employs a stack of time-aware location-variable convolutions of diverse receptive field patterns to efficiently model long-term time dependencies with adaptive conditions. A noise schedule predictor is also adopted to reduce the sampling steps without sacrificing the generation quality. Based on FastDiff, we design an end-to-end text-to-speech synthesizer, FastDiff-TTS, which generates high-fidelity speech waveforms without any intermediate feature (e.g., Mel-spectrogram). Our evaluation of FastDiff demonstrates the state-of-the-art results with higher-quality (MOS 4.28) speech samples. Also, FastDiff enables a sampling speed of 58x faster than real-time on a V100 GPU, making diffusion models practically applicable to speech synthesis deployment for the first time. We further show that FastDiff generalized well to the mel-spectrogram inversion of unseen speakers, and FastDiff-TTS outperformed other competing methods in end-to-end text-to-speech synthesis. Audio samples are available at \url{https://FastDiff.github.io/}.


title: Dynamic Tomography Reconstruction by Projection-Domain Separable Modeling

abstract: In dynamic tomography the object undergoes changes while projections are being acquired sequentially in time. The resulting inconsistent set of projections cannot be used directly to reconstruct an object corresponding to a time instant. Instead, the objective is to reconstruct a spatio-temporal representation of the object, which can be displayed as a movie. We analyze conditions for unique and stable solution of this ill-posed inverse problem, and present a recovery algorithm, validating it experimentally. We compare our approach to one based on the recently proposed GMLR variation on deep prior for video, demonstrating the advantages of the proposed approach.


title: Profinite groups with few conjugacy classes of $p$-elements

abstract: It is proved that a profinite group $G$ has fewer than $2^{\aleph_0}$ conjugacy classes of $p$-elements for an odd prime $p$ if and only if its $p$-Sylow subgroups are finite. (Here, by a $p$-element one understands an element that either has $p$-power order or topologically generates a group isomorphic to ${\mathbb Z}_p$.) A weaker result is proved for $p=2$.


title: SPIKE: Secure and Private Investigation of the Kidney Exchange problem

abstract: Background: The kidney exchange problem (KEP) addresses the matching of patients in need for a replacement organ with compatible living donors. Ideally many medical institutions should participate in a matching program to increase the chance for successful matches. However, to fulfill legal requirements current systems use complicated policy-based data protection mechanisms that effectively exclude smaller medical facilities to participate. Employing secure multi-party computation (MPC) techniques provides a technical way to satisfy data protection requirements for highly sensitive personal health information while simultaneously reducing the regulatory burdens. Results: We have designed, implemented, and benchmarked SPIKE, a secure MPC-based privacy-preserving KEP which computes a solution by finding matching donor-recipient pairs in a graph structure. SPIKE matches 40 pairs in cycles of length 2 in less than 4 minutes and outperforms the previous state-of-the-art protocol by a factor of 400x in runtime while providing medically more robust solutions. Conclusions: We show how to solve the KEP in a robust and privacy-preserving manner achieving practical performance. The usage of MPC techniques fulfills many data protection requirements on a technical level, allowing smaller health care providers to directly participate in a kidney exchange with reduced legal processes.


title: Ultra-marginal Feature Importance: Learning from Data with Causal Guarantees

abstract: Scientists frequently prioritize learning from data rather than training the best possible model; however, research in machine learning often prioritizes the latter. Marginal contribution feature importance (MCI) was developed to break this trend by providing a useful framework for quantifying the relationships in data. In this work, we aim to improve upon the theoretical properties, performance, and runtime of MCI by introducing ultra-marginal feature importance (UMFI), which uses dependence removal techniques from the AI fairness literature as its foundation. We first propose axioms for feature importance methods that seek to explain the causal and associative relationships in data, and we prove that UMFI satisfies these axioms under basic assumptions. We then show on real and simulated data that UMFI performs better than MCI, especially in the presence of correlated interactions and unrelated features, while partially learning the structure of the causal graph and reducing the exponential runtime of MCI to super-linear.


title: Relation between fluctuations and efficiency at maximum power for small heat engines

abstract: We study the ratio between the variances of work output and heat input, $\eta^{(2)}$, for a class of four-stroke heat engines which covers various typical cycles. Recent studies on the upper and lower bounds of $\eta^{(2)}$ are based on the quasistatic limit and the linear response regime, respectively. We extend these relations to the finite-time regime within the endoreversible approximation. We consider the ratio $\eta_{\text{MP}}^{(2)}$ at maximum power and find that the square of the Curzon-Ahlborn efficiency, $\eta_{\text{CA}}^2$, gives a good estimate of $\eta_{\text{MP}}^{(2)}$ for the class of heat engines considered, i.e., $\eta_{\text{MP}}^{(2)} \simeq \eta_{\text{CA}}^2$. This resembles the situation where the Curzon-Ahlborn efficiency gives a good estimate of the efficiency at maximum power for various kinds of finite-time heat engines. Taking an overdamped Brownian particle in a harmonic potential as an example, we can realize such endoreversible small heat engines and give an expression of the cumulants of work output and heat input. The approximate relation $\eta_{\text{MP}}^{(2)} \simeq \eta_{\text{CA}}^2$ is verified by numerical simulations. This relation also suggests a trade-off between the efficiency and the stability of finite-time heat engines at maximum power.


title: On Quantum-Assisted LDPC Decoding Augmented with Classical Post-Processing

abstract: Utilizing present and futuristic Quantum Computers to solve difficult problems in different domains has become one of the main endeavors at this moment. Of course, in arriving at the requisite solution both quantum and classical computers work in conjunction. With the continued popularity of Low Density Parity Check (LDPC) codes and hence their decoding, this paper looks into the latter as a Quadratic Unconstrained Binary Optimization (QUBO) and utilized D-Wave 2000Q Quantum Annealer to solve it. The outputs from the Annealer are classically post-processed using simple minimum distance decoding to further improve the performance. We evaluated and compared this implementation against the decoding performance obtained using Simulated Annealing (SA) and belief propagation (BP) decoding with classical computers. The results show that implementations of annealing (both simulated and quantum) are superior to BP decoding and suggest that the advantage becomes more prominent as block lengths increase. Reduced Bit Error Rate (BER) and Frame Error Rate (FER) are observed for simulated annealing and quantum annealing, at useful SNR range - a trend that persists for various codeword lengths.


title: Singularity-Avoiding Multi-Dimensional Root-Finder

abstract: We proposed in this paper a new method, which we named the W4 method, to solve nonlinear equation systems. It may be regarded as an extension of the Newton-Raphson~(NR) method to be used when the method fails. Indeed our method can be applied not only to ordinary problems with non-singular Jacobian matrices but also to problems with singular Jacobians, which essentially all previous methods that employ the inversion of the Jacobian matrix have failed to solve. In this article, we demonstrate that (i) our new scheme can define a non-singular iteration map even for those problems by utilizing the singular value decomposition, (ii) a series of vectors in the new iteration map converges to the right solution under a certain condition, (iii) the standard two-dimensional problems in the literature that no single method proposed so far has been able to solve completely are all solved by our new method.


title: Hybrid Cloud-Edge Collaborative Data Anomaly Detection in Industrial Sensor Networks

abstract: Industrial control systems (ICSs) are facing increasing cyber-physical attacks that can cause catastrophes in the physical system. Efficient anomaly detection models in the industrial sensor networks are essential for enhancing ICS reliability and security, due to the sensor data is related to the operational state of the ICS. Considering the limited availability of computing resources, this paper proposes a hybrid anomaly detection approach in cloud-edge collaboration industrial sensor networks. The hybrid approach consists of sensor data detection models deployed at the edges and a sensor data analysis model deployed in the cloud. The sensor data detection model based on Gaussian and Bayesian algorithms can detect the anomalous sensor data in real-time and upload them to the cloud for further analysis, filtering the normal sensor data and reducing traffic load. The sensor data analysis model based on Graph convolutional network, Residual algorithm and Long short-term memory network (GCRL) can effectively extract the spatial and temporal features and then identify the attack precisely. The proposed hybrid anomaly detection approach is evaluated using a benchmark dataset and baseline anomaly detection models. The experimental results show that the proposed approach can achieve an overall 11.19% increase in Recall and an impressive 14.29% improvement in F1-score, compared with the existing models.


title: A novel formulation for the evolution of relativistic rotating stars

abstract: We present a new formulation to construct numerically equilibrium configurations of rotating stars in general relativity. Having in mind the application to their quasi static evolutions, we adopt a Lagrangian formulation of our own devising, in which we solve force balance equations to seek for the positions of fluid elements assigned to the grid points, instead of the ordinary Eulerian formulation. Unlike previous works in the literature, we do not employ the first integral of the Euler equation, which is not obtained by an analytic integration in general. We assign a mass, specific angular momentum and entropy to each fluid element in contrast to the previous methods, in which the spatial distribution of the angular velocity or angular momentum is specified. Those distributions are determined after the positions of all fluid elements (or grid points) are derived in our formulation. We solve the large system of algebraic nonlinear equations that are obtained by discretizing the time-independent Euler and Einstein equations in the finite-elements method by using our new multi-dimensional root-finding scheme, named the W4 method. To demonstrate the capability of our new formulation, we construct some rotational configurations both barotropic and baroclinic. We also solve three evolutionary sequences that mimic the cooling, mass-loss, and mass-accretion as simple toy models.


title: A Quantitative version of Korovkin-type theorems on Banach Function Spaces

abstract: In 1953, P.P. Korovkin discovered a simple criterion to decide whether a sequence of positive linear operators on C[0,1] is an approximation process or not by only testing the convergence on the functions \{1, t, t^2\} (the test set). This result is known as the first Korovkin theorem. This outstanding result led to a new theory called Korovkin-type Approximation Theory. In 1968, O. Shisha and B. Mond formulated and proved a quantitative form of this theorem. This estimation theorem gives the convergence of a sequence of positive linear operators to the identity operator in terms of the convergence of the test functions and a quantity called modulus of continuity. Later in 1972, Ronald A DeVore proved an extension to this theorem. T. Nishishiraho obtained extensions of such results in various settings in the 1980's. These quantitative versions give inequalities that cover the approximation results and provide the convergence rate depending on the smoothness of the function. In a recent article, Yusuf Zeren, Migdad Ismailov and Cemil Karacam proved Korovkin-type theorems on Banach function spaces. They also derived an analogue of the Korovkin theorem for Kantorovich polynomials. These results are applicable in various concrete examples such as Lebesgue spaces, grand-Lebesgue spaces, Morrey-type spaces and their weighted versions, weak Lebesgue spaces, Orlicz spaces, etc. This article discusses the quantitative versions of these results, in line with the classical quantitative versions by O. Shisha, B. Mond and Ronald A DeVore. We obtained estimation theorems in terms of the modulus of continuity for functions in C[0,1] under weaker conditions. These quantitative forms apply to the case of Kantorovich polynomials on several spaces such as Lebesgue spaces, Grand Lebesgue spaces, Morrey-type spaces etc. We also discuss the special forms of the inequalities in these various examples.


title: Active Learning of Discriminative Subgraph Patterns for API Misuse Detection

abstract: A common cause of bugs and vulnerabilities are the violations of usage constraints associated with Application Programming Interfaces (APIs). API misuses are common in software projects, and while there have been techniques proposed to detect such misuses, studies have shown that they fail to reliably detect misuses while reporting many false positives. One limitation of prior work is the inability to reliably identify correct patterns of usage. Many approaches confuse a usage pattern's frequency for correctness. Due to the variety of alternative usage patterns that may be uncommon but correct, anomaly detection-based techniques have limited success in identifying misuses. We address these challenges and propose ALP (Actively Learned Patterns), reformulating API misuse detection as a classification problem. After representing programs as graphs, ALP mines discriminative subgraphs. While still incorporating frequency information, through limited human supervision, we reduce the reliance on the assumption relating frequency and correctness. The principles of active learning are incorporated to shift human attention away from the most frequent patterns. Instead, ALP samples informative and representative examples while minimizing labeling effort. In our empirical evaluation, ALP substantially outperforms prior approaches on both MUBench, an API Misuse benchmark, and a new dataset that we constructed from real-world software projects.


title: Reduced atmospheres of post-impact worlds: The early Earth

abstract: Impacts may have had a significant effect on the atmospheric chemistry of the early Earth. Reduced phases in the impactor (e.g., metallic iron) can reduce the planet's H$_2$O inventory to produce massive atmospheres rich in H$_2$. Whilst previous studies have focused on the interactions between the impactor and atmosphere in such scenarios, we investigate two further effects, 1) the distribution of the impactor's iron inventory during impact between the target interior, target atmosphere, and escaping the target, and 2) interactions between the post-impact atmosphere and the impact-generated melt phase. We find that these two effects can potentially counterbalance each other, with the melt-atmosphere interactions acting to restore reducing power to the atmosphere that was initially accreted by the melt phase. For a $\sim10^{22}\,\mathrm{kg}$ impactor, when the iron accreted by the melt phase is fully available to reduce this melt, we find an equilibrium atmosphere with H$_2$ column density $\sim10^4\,\mathrm{moles\,cm^{-2}}$ ($p\mathrm{H2}\sim120\,\mathrm{bars}\mathrm{,}~X_\mathrm{H2}\sim0.77$), consistent with previous estimates. However, when the iron is not available to reduce the melt (e.g., sinking out in large diameter blobs), we find significantly less H$_2$ ($7\times10^2-5\times10^3\,\mathrm{moles\,cm^{-2}}$, $p\mathrm{H2}\lesssim60\,\mathrm{bars}\mathrm{,}~X_\mathrm{H2}\lesssim0.41$). These lower H$_2$ abundances are sufficiently high that species important to prebiotic chemistry can form (e.g., NH3, HCN), but sufficiently low that the greenhouse heating effects associated with highly reducing atmospheres, which are problematic to such chemistry, are suppressed. The manner in which iron is accreted by the impact-generated melt phase is critical in determining the reducing power of the atmosphere and re-solidified melt pool in the aftermath of impact.


title: Towards Reliable Neural Generative Modeling of Detectors

abstract: The increasing luminosities of future data taking at Large Hadron Collider and next generation collider experiments require an unprecedented amount of simulated events to be produced. Such large scale productions demand a significant amount of valuable computing resources. This brings a demand to use new approaches to event generation and simulation of detector responses. In this paper, we discuss the application of generative adversarial networks (GANs) to the simulation of the LHCb experiment events. We emphasize main pitfalls in the application of GANs and study the systematic effects in detail. The presented results are based on the Geant4 simulation of the LHCb Cherenkov detector.


title: Reliable event detection for Taylor methods in astrodynamics

abstract: We present a novel approach for the detection of events in systems of ordinary differential equations. The new method combines the unique features of Taylor integrators with state-of-the-art polynomial root finding techniques to yield a novel algorithm ensuring strong event detection guarantees at a modest computational overhead. Detailed tests and benchmarks focused on problems in astrodynamics and celestial mechanics (such as collisional N-body systems, spacecraft dynamics around irregular bodies accounting for eclipses, computation of Poincare' sections, etc.) show how our approach is superior in both performance and detection accuracy to strategies commonly employed in modern numerical integration works. The new algorithm is available in our open source Taylor integration package heyoka.

categories: astro-ph.EP astro-ph.IM cs.CE physics.comp-ph


title: Faster Approximate Covering of Subcurves under the Fr\'echet Distance

abstract: Subtrajectory clustering is an important variant of the trajectory clustering problem, where the start and endpoints of trajectory patterns within the collected trajectory data are not known in advance. We study this problem in the form of a set cover problem for a given polygonal curve: find the smallest number $k$ of representative curves such that any point on the input curve is contained in a subcurve that has Fr\'echet distance at most a given $\Delta$ to a representative curve. We focus on the case where the representative curves are line segments and approach this NP-hard problem with classical techniques from the area of geometric set cover: we use a variant of the multiplicative weights update method which was first suggested by Br\"onniman and Goodrich for set cover instances with small VC-dimension. We obtain a bicriteria-approximation algorithm that computes a set of $O(k\log(k))$ line segments that cover a given polygonal curve of $n$ vertices under Fr\'echet distance at most $O(\Delta)$. We show that the algorithm runs in $\widetilde{O}(k^2 n + k n^3)$ time in expectation and uses $ \widetilde{O}(k n + n^3)$ space. For two dimensional input curves that are $c$-packed, we bound the expected running time by $\widetilde{O}(k^2 c^2 n)$ and the space by $ \widetilde{O}(kn + c^2 n)$. In $\mathbb{R}^d$ the dependency on $n$ instead is quadratic. In addition, we present a variant of the algorithm that uses implicit weight updates on the candidate set and thereby achieves near-linear running time in $n$ without any assumptions on the input curve, while keeping the same approximation bounds. This comes at the expense of a small (polylogarithmic) dependency on the relative arclength.


title: Exchange bias in van der Waals MnBi$_2$Te$_4$/Cr$_2$Ge$_2$Te$_6$ heterostructure

abstract: The layered van der Waals (vdW) material MnBi$_2$Te$_4$ is an intrinsic magnetic topological insulator with various topological phases such as quantum anomalous Hall effect (QAHE) and axion states. However, both the zero-field and high-temperature QAHE are not easy to realize. It is theoretically proposed that the exchange bias can be introduced in the MnBi2Te4/ferromagnetic (FM) insulator heterostructures and thus opens the surface states gap, making it easier to realize the zero-field or high-temperature QAHE. Here we report the electrically tunable exchange bias in the van der Waals MnBi$_2$Te$_4$/Cr$_2$Ge$_2$Te$_6$ heterostructure. The exchange bias emerges over a critical magnetic field and reaches the maximum value near the magnetic band gap. Moreover, the exchange bias was experienced by the antiferromagnetic (AFM) MnBi$_2$Te$_4$ layer rather than the FM layer. Such van der Waals heterostructure provides a promising platform to study the novel exchange bias effect and explore the possible high-temperature QAHE.


title: Motif Cut Sparsifiers

abstract: A motif is a frequently occurring subgraph of a given directed or undirected graph $G$. Motifs capture higher order organizational structure of $G$ beyond edge relationships, and, therefore, have found wide applications such as in graph clustering, community detection, and analysis of biological and physical networks to name a few. In these applications, the cut structure of motifs plays a crucial role as vertices are partitioned into clusters by cuts whose conductance is based on the number of instances of a particular motif, as opposed to just the number of edges, crossing the cuts. In this paper, we introduce the concept of a motif cut sparsifier. We show that one can compute in polynomial time a sparse weighted subgraph $G'$ with only $\widetilde{O}(n/\epsilon^2)$ edges such that for every cut, the weighted number of copies of $M$ crossing the cut in $G'$ is within a $1+\epsilon$ factor of the number of copies of $M$ crossing the cut in $G$, for every constant size motif $M$. Our work carefully combines the viewpoints of both graph sparsification and hypergraph sparsification. We sample edges which requires us to extend and strengthen the concept of cut sparsifiers introduced in the seminal work of to the motif setting. We adapt the importance sampling framework through the viewpoint of hypergraph sparsification by deriving the edge sampling probabilities from the strong connectivity values of a hypergraph whose hyperedges represent motif instances. Finally, an iterative sparsification primitive inspired by both viewpoints is used to reduce the number of edges in $G$ to nearly linear. In addition, we present a strong lower bound ruling out a similar result for sparsification with respect to induced occurrences of motifs.