title: Study of the $B^{-} \to \Lambda_{c}^{+} \bar{\Lambda}_{c}^{-} K^{-}$ decay

abstract: The decay $B^{-} \to \Lambda_{c}^{+} \bar{\Lambda}_{c}^{-} K^{-}$ is studied in proton-proton collisions at a center-of-mass energy of $\sqrt{s}=13$ TeV using data corresponding to an integrated luminosity of 5 $\mathrm{fb}^{-1}$ collected by the LHCb experiment. In the $\Lambda_{c}^+ K^{-}$ system, the $\Xi_{c}(2930)^{0}$ state observed at the BaBar and Belle experiments is resolved into two narrower states, $\Xi_{c}(2923)^{0}$ and $\Xi_{c}(2939)^{0}$, whose masses and widths are measured to be $$ m(\Xi_{c}(2923)^{0}) = 2924.5 \pm 0.4 \pm 1.1 \,\mathrm{MeV}, \\ m(\Xi_{c}(2939)^{0}) = 2938.5 \pm 0.9 \pm 2.3 \,\mathrm{MeV}, \\ \Gamma(\Xi_{c}(2923)^{0}) = \phantom{000}4.8 \pm 0.9 \pm 1.5 \,\mathrm{MeV},\\ \Gamma(\Xi_{c}(2939)^{0}) = \phantom{00}11.0 \pm 1.9 \pm 7.5 \,\mathrm{MeV}, $$ where the first uncertainties are statistical and the second systematic. The results are consistent with a previous LHCb measurement using a prompt $\Lambda_{c}^{+} K^{-}$ sample. Evidence of a new $\Xi_{c}(2880)^{0}$ state is found with a local significance of $3.8\,\sigma$, whose mass and width are measured to be $2881.8 \pm 3.1 \pm 8.5\,\mathrm{MeV}$ and $12.4 \pm 5.3 \pm 5.8 \,\mathrm{MeV}$, respectively. In addition, evidence of a new decay mode $\Xi_{c}(2790)^{0} \to \Lambda_{c}^{+} K^{-}$ is found with a significance of $3.7\,\sigma$. The relative branching fraction of $B^{-} \to \Lambda_{c}^{+} \bar{\Lambda}_{c}^{-} K^{-}$ with respect to the $B^{-} \to D^{+} D^{-} K^{-}$ decay is measured to be $2.36 \pm 0.11 \pm 0.22 \pm 0.25$, where the first uncertainty is statistical, the second systematic and the third originates from the branching fractions of charm hadron decays.


title: Signatures of quantum criticality in the complex inverse temperature plane

abstract: Concepts of complex partition functions and the Fisher zeros provide intrinsic statistical mechanisms for finite temperature and real time dynamical phase transitions. We extend the utility of these complexifications to quantum phase transitions. We exactly identify different Fisher zeros on lines or closed curves and elucidate their correspondence with domain-wall excitation or confined meson for the one-dimensional transverse field Ising model. The crossover behavior of Fisher zeros provides a fascinating picture for criticality near the quantum phase transition, where the excitation energy scales are quantitatively determined. We further confirm our results by tensor network calculation and demonstrate a clear signal of deconfined meson excitation from the breaking of the closed zero curves. Our results unambiguously show significant features of the Fisher zeros for a quantum phase transition and open up a new route to explore quantum criticality.

categories: cond-mat.str-el cond-mat.quant-gas hep-lat quant-ph


title: Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems

abstract: Stability, reachability, and safety are crucial properties of dynamical systems. While verification and control synthesis of reach-avoid-stay objectives can be effectively handled by abstraction-based formal methods, such approaches can be computationally expensive due to the use of state-space discretization. In contrast, Lyapunov methods qualitatively characterize stability and safety properties without any state-space discretization. Recent work on converse Lyapunov-barrier theorems also demonstrates an approximate completeness or verifying reach-avoid-stay specifications of systems modelled by nonlinear differential equations. In this paper, based on the topology of hybrid arcs, we extend the Lyapunov-barrier characterization to more general hybrid systems described by differential and difference inclusions. We show that Lyapunov-barrier functions are not only sufficient to guarantee reach-avoid-stay specifications for well-posed hybrid systems, but also necessary for arbitrarily slightly perturbed systems under mild conditions. Numerical examples are provided to illustrate the main results.


title: Build a SRE Challenge System: Lessons from VoxSRC 2022 and CNSRC 2022

abstract: Many speaker recognition challenges have been held to assess the speaker verification system in the wild and probe the performance limit. Voxceleb Speaker Recognition Challenge (VoxSRC), based on the voxceleb, is the most popular. Besides, another challenge called CN-Celeb Speaker Recognition Challenge (CNSRC) is also held this year, which is based on the Chinese celebrity multi-genre dataset CN-Celeb. This year, our team participated in both speaker verification closed tracks in CNSRC 2022 and VoxSRC 2022, and achieved the 1st place and 3rd place respectively. In most system reports, the authors usually only provide a description of their systems but lack an effective analysis of their methods. In this paper, we will outline how to build a strong speaker verification challenge system and give a detailed analysis of each method compared with some other popular technical means.


title: Probing time orientability of spacetime

abstract: In general relativity, cosmology and quantum field theory, spacetime is assumed to be an orientable manifold endowed with a Lorentz metric that makes it spatially and temporally orientable. The question as to whether the laws of physics require these orientability assumptions is ultimately of observational or experimental nature, or the answer might come from a fundamental theory of physics. The possibility that spacetime is time non-orientable lacks investigation, and so should not be dismissed straightaway. In this paper, we argue that it is possible to locally access a putative time non-orientability of Minkowski empty spacetime by physical effects involving quantum vacuum electromagnetic fluctuations. We set ourselves to study the influence of time non-orientability on the stochastic motions of a charged particle subject to these electromagnetic fluctuations in Minkowski spacetime equipped with a time non-orientable topology and with its time orientable counterpart. To this end, we introduce and derive analytic expressions for a statistical time orientability indicator. Then we show that it is possible to pinpoint the time non-orientable topology through an inversion pattern displayed by the corresponding orientability indicator, which is absent when the underlying manifold is time orientable.


title: An Information-Theoretic Approach for Estimating Scenario Generalization in Crowd Motion Prediction

abstract: Learning-based approaches to modeling crowd motion have become increasingly successful but require training and evaluation on large datasets, coupled with complex model selection and parameter tuning. To circumvent this tremendously time-consuming process, we propose a novel scoring method, which characterizes generalization of models trained on source crowd scenarios and applied to target crowd scenarios using a training-free, model-agnostic Interaction + Diversity Quantification score, ISDQ. The Interaction component aims to characterize the difficulty of scenario domains, while the diversity of a scenario domain is captured in the Diversity score. Both scores can be computed in a computation tractable manner. Our experimental results validate the efficacy of the proposed method on several simulated and real-world (source,target) generalization tasks, demonstrating its potential to select optimal domain pairs before training and testing a model.


title: CodePAD: Sequence-based Code Generation with Pushdown Automaton

abstract: In the process of code generation, it is essential to guarantee the generated code satisfies grammar constraints of programming language (PL). However, neglecting grammar constraints is a fatal drawback of commonly used sequence-based code generation. In this paper, we devise a pushdown automaton (PDA)-based methodology to address this problem, exploiting the principle that PL is a subset of PDA recognizable language and code accepted by PDA is grammatical. Specifically, we construct a PDA module and design an algorithm to constrain the generation of sequence-based models to ensure grammatical correctness. Guided by this methodology, we further propose CodePAD, a sequence-based code generation framework equipped with a PDA module, to integrate the deduction of PDA into deep learning. Additionally, this framework can leverage states of PDA deduction (including state representation, state prediction task, and joint prediction with state) to assist models in learning PDA deduction. To comprehensively evaluate CodePAD, we construct a PDA for Python and conduct extensive experiments on four public benchmark datasets. CodePAD can leverage existing sequence-based models, and we show that it can achieve 100\% grammatical correctness percentage on these benchmark datasets. Thus, it relatively improve 17\% CodeBLEU on CONALA, 8\% EM on DJANGO, and 15\% CodeBLEU on JUICE-10K compared to base models. In addition, our method significantly enhances pre-trained models, e.g., CodeBLEU of CodeGen-350M improvement from 3.21 to 21.54 on MBPP in zero-shot setting.


title: Interpretable estimation of the risk of heart failure hospitalization from a 30-second electrocardiogram

abstract: Survival modeling in healthcare relies on explainable statistical models; yet, their underlying assumptions are often simplistic and, thus, unrealistic. Machine learning models can estimate more complex relationships and lead to more accurate predictions, but are non-interpretable. This study shows it is possible to estimate hospitalization for congestive heart failure by a 30 seconds single-lead electrocardiogram signal. Using a machine learning approach not only results in greater predictive power but also provides clinically meaningful interpretations. We train an eXtreme Gradient Boosting accelerated failure time model and exploit SHapley Additive exPlanations values to explain the effect of each feature on predictions. Our model achieved a concordance index of 0.828 and an area under the curve of 0.853 at one year and 0.858 at two years on a held-out test set of 6,573 patients. These results show that a rapid test based on an electrocardiogram could be crucial in targeting and treating high-risk individuals.


title: A new method for determining Wasserstein 1 optimal transport maps from Kantorovich potentials, with deep learning applications

abstract: Wasserstein 1 optimal transport maps provide a natural correspondence between points from two probability distributions, $\mu$ and $\nu$, which is useful in many applications. Available algorithms for computing these maps do not appear to scale well to high dimensions. In deep learning applications, efficient algorithms have been developed for approximating solutions of the dual problem, known as Kantorovich potentials, using neural networks (e.g. [Gulrajani et al., 2017]). Importantly, such algorithms work well in high dimensions. In this paper we present an approach towards computing Wasserstein 1 optimal transport maps that relies only on Kantorovich potentials. In general, a Wasserstein 1 optimal transport map is not unique and is not computable from a potential alone. Our main result is to prove that if $\mu$ has a density and $\nu$ is supported on a submanifold of codimension at least 2, an optimal transport map is unique and can be written explicitly in terms of a potential. These assumptions are natural in many image processing contexts and other applications. When the Kantorovich potential is only known approximately, our result motivates an iterative procedure wherein data is moved in optimal directions and with the correct average displacement. Since this provides an approach for transforming one distribution to another, it can be used as a multipurpose algorithm for various transport problems; we demonstrate through several proof of concept experiments that this algorithm successfully performs various imaging tasks, such as denoising, generation, translation and deblurring, which normally require specialized techniques.


title: Modeling and simulation of sintering process across scales

abstract: Sintering, as a thermal process at elevated temperature below the melting point, is widely used to bond contacting particles into engineering products such as ceramics, metals, polymers, and cemented carbides. Modelling and simulation as important complement to experiments are essential for understanding the sintering mechanisms and for the optimization and design of sintering process. We share in this article a state-to-the-art review on the major methods and models for the simulation of sintering process at various length scales. It starts with molecular dynamics simulations deciphering atomistic diffusion process, and then moves to microstructure-level approaches such as discrete element method, Monte--Carlo method, and phase-field models, which can reveal subtle mechanisms like grain coalescence, grain rotation, densification, grain coarsening, etc. Phenomenological/empirical models on the macroscopic scales for estimating densification, porosity and average grain size are also summarized. The features, merits, drawbacks, and applicability of these models and simulation technologies are expounded. In particular, the latest progress on the modelling and simulation of selective and direct-metal laser sintering based additive manufacturing is also reviewed. Finally, a summary and concluding remarks on the challenges and opportunities are given for the modelling and simulations of sintering process.


title: Effects of local minima and bifurcation delay on combinatorial optimization with continuous variables

abstract: Combinatorial optimization problems can be mapped onto Ising models, and their ground state is generally difficult to find. A lot of heuristics for these problems have been proposed, and one promising approach is to use continuous variables. In recent years, one such algorithm has been implemented by using parametric oscillators known as coherent Ising machines. Although these algorithms have been confirmed to have high performance through many experiments, unlike other familiar algorithms such as simulated annealing, their computational ability has not been fully investigated. In this paper, we propose a simple heuristic based on continuous variables whose static and dynamical properties are easy to investigate. Through the analyses of the proposed algorithm, we find that many local minima in the early stage of the optimization and bifurcation delay reduce its performance in a certain class of Ising models.


title: A sample-position-autocorrection system with precision better than 1 \um~in angle-resolved photoemission experiments

abstract: We present the development of a high-precision sample-position-autocorrection system for photoemission experiments. A binocular vision method based on image pattern matching calculations was realized to track the sample position with an accuracy better than 1 \um, which was much smaller than the spot size of the incident laser. We illustrate the performance of the sample-position-autocorrection system with representative photoemission data on the topological insulator Bi$_2$Se$_3$ and an optimally-doped cuprate superconductor \Bi. Our method provides new possibilities for studying the temperature-dependent electronic structures in quantum materials by laser-based or spatially resolved photoemission systems with high precision and efficiency.


title: Adversarial Auto-Augment with Label Preservation: A Representation Learning Principle Guided Approach

abstract: Data augmentation is a critical contributing factor to the success of deep learning but heavily relies on prior domain knowledge which is not always available. Recent works on automatic data augmentation learn a policy to form a sequence of augmentation operations, which are still pre-defined and restricted to limited options. In this paper, we show that a prior-free autonomous data augmentation's objective can be derived from a representation learning principle that aims to preserve the minimum sufficient information of the labels. Given an example, the objective aims at creating a distant "hard positive example" as the augmentation, while still preserving the original label. We then propose a practical surrogate to the objective that can be optimized efficiently and integrated seamlessly into existing methods for a broad class of machine learning tasks, e.g., supervised, semi-supervised, and noisy-label learning. Unlike previous works, our method does not require training an extra generative model but instead leverages the intermediate layer representations of the end-task model for generating data augmentations. In experiments, we show that our method consistently brings non-trivial improvements to the three aforementioned learning tasks from both efficiency and final performance, either or not combined with strong pre-defined augmentations, e.g., on medical images when domain knowledge is unavailable and the existing augmentation techniques perform poorly. Code is available at: https://github.com/kai-wen-yang/LPA3}{https://github.com/kai-wen-yang/LPA3.


title: LMD: A Learnable Mask Network to Detect Adversarial Examples for Speaker Verification

abstract: Although the security of automatic speaker verification (ASV) is seriously threatened by recently emerged adversarial attacks, there have been some countermeasures to alleviate the threat. However, many defense approaches not only require the prior knowledge of the attackers but also possess weak interpretability. To address this issue, in this paper, we propose an attacker-independent and interpretable method, named learnable mask detector (LMD), to separate adversarial examples from the genuine ones. It utilizes score variation as an indicator to detect adversarial examples, where the score variation is the absolute discrepancy between the ASV scores of an original audio recording and its transformed audio synthesized from its masked complex spectrogram. A core component of the score variation detector is to generate the masked spectrogram by a neural network. The neural network needs only genuine examples for training, which makes it an attacker-independent approach. Its interpretability lies that the neural network is trained to minimize the score variation of the targeted ASV, and maximize the number of the masked spectrogram bins of the genuine training examples. Its foundation is based on the observation that, masking out the vast majority of the spectrogram bins with little speaker information will inevitably introduce a large score variation to the adversarial example, and a small score variation to the genuine example. Experimental results with 12 attackers and two representative ASV systems show that our proposed method outperforms five state-of-the-art baselines. The extensive experimental results can also be a benchmark for the detection-based ASV defenses.


title: TSAA: A Two-Stage Anchor Assignment Method towards Anchor Drift in Crowded Object Detection

abstract: Among current anchor-based detectors, a positive anchor box will be intuitively assigned to the object that overlaps it the most. The assigned label to each anchor will directly determine the optimization direction of the corresponding prediction box, including the direction of box regression and category prediction. In our practice of crowded object detection, however, the results show that a positive anchor does not always regress toward the object that overlaps it the most when multiple objects overlap. We name it anchor drift. The anchor drift reflects that the anchor-object matching relation, which is determined by the degree of overlap between anchors and objects, is not always optimal. Conflicts between the fixed matching relation and learned experience in the past training process may cause ambiguous predictions and thus raise the false-positive rate. In this paper, a simple but efficient adaptive two-stage anchor assignment (TSAA) method is proposed. It utilizes the final prediction boxes rather than the fixed anchors to calculate the overlap degree with objects to determine which object to regress for each anchor. The participation of the prediction box makes the anchor-object assignment mechanism adaptive. Extensive experiments are conducted on three classic detectors RetinaNet, Faster-RCNN and YOLOv3 on CrowdHuman and COCO to evaluate the effectiveness of TSAA. The results show that TSAA can significantly improve the detectors' performance without additional computational costs or network structure changes.


title: Emerging versatile two-dimensional MoSi$_2$N$_4$ family

abstract: The discovery of two-dimensional (2D) layered MoSi$_2$N$_4$ and WSi$_2$N$_4$ without knowing their 3D parents by chemical vapor deposition in 2020 has stimulated extensive studies of 2D MA$_2$Z$_4$ system due to its structural complexity and diversity as well as versatile and intriguing properties. Here, a comprehensive overview on the state-of-the-art progress of this 2D MA$_2$Z$_4$ family is presented. Starting by describing the unique sandwich structural characteristics of the emerging monolayer MA$_2$Z$_4$, we summarize and anatomize their versatile properties including mechanics, piezoelectricity, thermal transport, electronics, optics/optoelectronics, and magnetism. The property tunability via strain engineering, surface functionalization and layered strategy is also elaborated. Theoretical and experimental attempts or advances in applying 2D MA$_2$Z$_4$ to transistors, photocatalysts, batteries and gas sensors are then reviewed to show its prospective applications over a vast territory. We further discuss new opportunities and suggest prospects for this emerging 2D family. The overview is anticipated to guide the further understanding and exploration on 2D MA$_2$Z$_4$.


title: Synthesizing Programs with Continuous Optimization

abstract: Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search problem with discrete parameters. In this paper, we present a novel formulation of program synthesis as a continuous optimization problem and use a state-of-the-art evolutionary approach, known as Covariance Matrix Adaptation Evolution Strategy to solve the problem. We then propose a mapping scheme to convert the continuous formulation into actual programs. We compare our system, called GENESYS, with several recent program synthesis techniques (in both discrete and continuous domains) and show that GENESYS synthesizes more programs within a fixed time budget than those existing schemes. For example, for programs of length 10, GENESYS synthesizes 28% more programs than those existing schemes within the same time budget.


title: Exploiting Spatial-temporal Correlations for Video Anomaly Detection

abstract: Video anomaly detection (VAD) remains a challenging task in the pattern recognition community due to the ambiguity and diversity of abnormal events. Existing deep learning-based VAD methods usually leverage proxy tasks to learn the normal patterns and discriminate the instances that deviate from such patterns as abnormal. However, most of them do not take full advantage of spatial-temporal correlations among video frames, which is critical for understanding normal patterns. In this paper, we address unsupervised VAD by learning the evolution regularity of appearance and motion in the long and short-term and exploit the spatial-temporal correlations among consecutive frames in normal videos more adequately. Specifically, we proposed to utilize the spatiotemporal long short-term memory (ST-LSTM) to extract and memorize spatial appearances and temporal variations in a unified memory cell. In addition, inspired by the generative adversarial network, we introduce a discriminator to perform adversarial learning with the ST-LSTM to enhance the learning capability. Experimental results on standard benchmarks demonstrate the effectiveness of spatial-temporal correlations for unsupervised VAD. Our method achieves competitive performance compared to the state-of-the-art methods with AUCs of 96.7%, 87.8%, and 73.1% on the UCSD Ped2, CUHK Avenue, and ShanghaiTech, respectively.


title: Internet Of Rights(IOR) In Role Based Block Chain

abstract: A large amount of data has been accumulated. with the development of the Internet industry. Many problems have been exposed with data explosion: 1. The contradiction between data privacy and data collaborations; 2. The contradiction between data ownership and the right of data usage; 3. The legality of data collection and data usage; 4. The relationship between the governance of data and the governance of rules; 5. Traceability of evidence chain. In order to face such a complicated situation, many algorithms were proposed and developed. This article tries to build a model from the perspective of blockchain to make some breakthroughs.Internet Of Rights(IOR) model uses multi-chain technology to logically break down the consensus mechanism into layers, including storage consensus, permission consensus, role consensus, transaction consensus etc. thus to build a new infrastructure, which enables data sources with complex organizational structures and interactions to collaborate smoothly on the premise of protecting data privacy. With blockchain's nature of decentralization, openness, autonomy, immutability, and controllable anonymity, Internet Of Rights(IOR) model registers the ownership of data, enables applications to build ecosystem based on responsibilities and rights. It also provides cross-domain processing with privacy protection, as well as the separation of data governance and rule governance. With the processing capabilities of artificial intelligence and big data technology, as well as the ubiquitous data collection capabilities of the Internet of Things, Internet Of Rights(IOR) model may provide a new infrastructure concept for realizing swarm intelligence and building a new paradigm of the Internet, i.e. intelligent governance.


title: Coexistence of directed momentum current and ballistic energy diffusion in coupled non-Hermitian kicked rotors

abstract: We numerically investigate the quantum transport in a coupled kicked rotors with the $\mathcal{PT}$-symmetric potential. We find that the spontaneous $\mathcal{PT}$-symmetry breaking of wavefunctions emerges when the amplitude of the imaginary part of the complex potential is beyond a threshold value, which can be modulated by the coupling strength effectively. In the regime of the $\mathcal{PT}$-symmetry breaking, the particles driven by the periodical kicks move unidirectionally in momentum space, indicating the emergence of a directed current. Meanwhile, with increasing the coupling strength, we find a transition from the ballistic energy diffusion to a kind of the modified ballistic energy diffusion where the width of the wavepacket also increases with time in a power law. Our findings suggest that the decoherence effect induced by the interplay between the inter-particle coupling and the non-Hermitian driving potential is responsible for these particular transport behaviors.


title: Distributed Massive MIMO for LEO Satellite Networks

abstract: The ultra-dense deployment of interconnected satellites will characterize future low Earth orbit (LEO) mega-constellations. Exploiting this towards a more efficient satellite network (SatNet), this paper proposes a novel LEO SatNet architecture based on distributed massive multiple-input multiple-output (DM-MIMO) technology allowing ground user terminals to be connected to a cluster of satellites. To this end, we investigate various aspects of DM-MIMO-based satellite network design, the benefits of using this architecture, the associated challenges, and the potential solutions. In addition, we propose a distributed joint power allocation and handover management (D-JPAHM) technique that jointly optimizes the power allocation and handover management processes in a cross-layer manner. This framework aims to maximize the network throughput and minimize the handover rate while considering the quality-of-service (QoS) demands of user terminals and the power capabilities of the satellites. Moreover, we devise an artificial intelligence (AI)-based solution to efficiently implement the proposed D-JPAHM framework in a manner suitable for real-time operation and the dynamic SatNet environment. To the best of our knowledge, this is the first work to introduce and study DM-MIMO technology in LEO SatNets. Extensive simulation results reveal the superiority of the proposed architecture and solutions compared to conventional approaches in the literature.


title: Learning a Condensed Frame for Memory-Efficient Video Class-Incremental Learning

abstract: Recent incremental learning for action recognition usually stores representative videos to mitigate catastrophic forgetting. However, only a few bulky videos can be stored due to the limited memory. To address this problem, we propose FrameMaker, a memory-efficient video class-incremental learning approach that learns to produce a condensed frame for each selected video. Specifically, FrameMaker is mainly composed of two crucial components: Frame Condensing and Instance-Specific Prompt. The former is to reduce the memory cost by preserving only one condensed frame instead of the whole video, while the latter aims to compensate the lost spatio-temporal details in the Frame Condensing stage. By this means, FrameMaker enables a remarkable reduction in memory but keep enough information that can be applied to following incremental tasks. Experimental results on multiple challenging benchmarks, i.e., HMDB51, UCF101 and Something-Something V2, demonstrate that FrameMaker can achieve better performance to recent advanced methods while consuming only 20% memory. Additionally, under the same memory consumption conditions, FrameMaker significantly outperforms existing state-of-the-arts by a convincing margin.


title: Singularity degree of non-facially exposed faces

abstract: In this paper, we study the facial structure of the linear image of a cone. We define the singularity degree of a face of a cone to be the minimum number of steps it takes to expose it using exposing vectors from the dual cone. We show that the singularity degree of the linear image of a cone is exactly the number of facial reduction steps to obtain the minimal face in a corresponding primal conic optimization problem. This result generalizes the relationship between the complexity of general facial reduction algorithms and facial exposedness of conic images under a linear transform by Drusvyatskiy, Pataki and Wolkowicz to arbitrary singularity degree. We present our results in the original form and also in its nullspace form. As a by-product, we show that frameworks underlying a chordal graph have at most one level of stress matrix.


title: The degree-restricted random process is far from uniform

abstract: The degree-restricted random process is a natural algorithmic model for generating graphs with degree sequence D_n=(d_1, \ldots, d_n): starting with an empty n-vertex graph, it sequentially adds new random edges so that the degree of each vertex v_i remains at most d_i. Wormald conjectured in 1999 that, for d-regular degree sequences D_n, the final graph of this process is similar to a uniform random d-regular graph. In this paper we show that, for degree sequences D_n that are not nearly regular, the final graph of the degree-restricted random process differs substantially from a uniform random graph with degree sequence D_n. The combinatorial proof technique is our main conceptual contribution: we adapt the switching method to the degree-restricted process, demonstrating that this enumeration technique can also be used to analyze stochastic processes (rather than just uniform random models, as before).


title: Some remarks on large-time behaviors for the linearized compressible Navier-Stokes equations

abstract: In this paper, we consider the linearized compressible Navier-Stokes equations in the whole space $\mathbb{R}^n$. Concerning initial datum with suitable regularities, we introduce a new threshold $|\mathbb{B}_0|=0$ to distinguish different large-time behaviors. Particularly in the lower-dimensions, optimal growth estimates ($n=1$ polynomial growth, $n=2$ logarithmic growth) hold when $|\mathbb{B}_0|>0$, whereas optimal decay estimates hold when $|\mathbb{B}_0|=0$. Furthermore, we derive asymptotic profiles of solutions with weighted $L^1$ datum as large-time.


title: Unsupervised Deraining: Where Asymmetric Contrastive Learning Meets Self-similarity

abstract: Most of the existing learning-based deraining methods are supervisedly trained on synthetic rainy-clean pairs. The domain gap between the synthetic and real rain makes them less generalized to complex real rainy scenes. Moreover, the existing methods mainly utilize the property of the image or rain layers independently, while few of them have considered their mutually exclusive relationship. To solve above dilemma, we explore the intrinsic intra-similarity within each layer and inter-exclusiveness between two layers and propose an unsupervised non-local contrastive learning (NLCL) deraining method. The non-local self-similarity image patches as the positives are tightly pulled together, rain patches as the negatives are remarkably pushed away, and vice versa. On one hand, the intrinsic self-similarity knowledge within positive/negative samples of each layer benefits us to discover more compact representation; on the other hand, the mutually exclusive property between the two layers enriches the discriminative decomposition. Thus, the internal self-similarity within each layer (similarity) and the external exclusive relationship of the two layers (dissimilarity) serving as a generic image prior jointly facilitate us to unsupervisedly differentiate the rain from clean image. We further discover that the intrinsic dimension of the non-local image patches is generally higher than that of the rain patches. This motivates us to design an asymmetric contrastive loss to precisely model the compactness discrepancy of the two layers for better discriminative decomposition. In addition, considering that the existing real rain datasets are of low quality, either small scale or downloaded from the internet, we collect a real large-scale dataset under various rainy kinds of weather that contains high-resolution rainy images.


title: Distributed Work Stealing in a Task-Based Dataflow Runtime

abstract: The task-based dataflow programming model has emerged as an alternative to the process-centric programming model for extreme-scale applications. However, load balancing is still a challenge in task-based dataflow runtimes. In this paper, we present extensions to the PaR-SEC runtime to demonstrate that distributed work stealing is an effective load-balancing method for task-based dataflow runtimes. In contrast to shared-memory work stealing, we find that each process should consider future tasks and the expected waiting time for execution when determining whether to steal. We demonstrate the effectiveness of the proposed work-stealing policies for a sparse Cholesky factorization, which shows a speedup of up to 35% compared to a static division of work.


title: RCD-SGD: Resource-Constrained Distributed SGD in Heterogeneous Environment via Submodular Partitioning

abstract: The convergence of SGD based distributed training algorithms is tied to the data distribution across workers. Standard partitioning techniques try to achieve equal-sized partitions with per-class population distribution in proportion to the total dataset. Partitions having the same overall population size or even the same number of samples per class may still have Non-IID distribution in the feature space. In heterogeneous computing environments, when devices have different computing capabilities, even-sized partitions across devices can lead to the straggler problem in distributed SGD. We develop a framework for distributed SGD in heterogeneous environments based on a novel data partitioning algorithm involving submodular optimization. Our data partitioning algorithm explicitly accounts for resource heterogeneity across workers while achieving similar class-level feature distribution and maintaining class balance. Based on this algorithm, we develop a distributed SGD framework that can accelerate existing SOTA distributed training algorithms by up to 32%.


title: Effective de la Valle Poussin style bounds on the first Chebyshev function

abstract: In 1898 Charles Jean de la Valle Poussin, as part of his famed proof of the prime number theorem, developed an ineffective bound on the first Chebyshev function of the form: \[ |\theta(x)-x| = \mathcal{O}\left(x \exp(-K \sqrt{\ln x})\right). \] This bound holds for $x$ sufficiently large, $x\geq x_0$, and $K$ some unspecified positive constant. To the best of my knowledge this bound has never been made effective -- I have never yet seen this bound made fully explicit, with precise values being given for $x_0$ and $K$. Herein, using a number of effective results established over the past 50 years, I shall develop two very simple explicit fully effective bounds of this type: \[ |\theta(x)-x| < \; {x} \;\exp\left( - {1\over4} \sqrt{\ln x}\right); \qquad (x\geq 2). \] \[ |\theta(x)-x| < \; {x} \;\exp\left( - {1\over3} \sqrt{\ln x}\right); \qquad (x\geq 3). \] Many other fully explicit bounds along these lines can easily be developed. For instance one can trade off stringency against range of validity: \[ |\theta(x)-x| < \; {1\over 2} \; {x} \;\exp\left( - {1\over4} \sqrt{\ln x}\right); \qquad (x\geq 29), \] \[ |\theta(x)-x| < \; {1\over 2} \; {x} \;\exp\left( - {1\over3} \sqrt{\ln x}\right); \qquad (x\geq 41). \] With hindsight, some of these effective bounds could have been established almost 50 years ago.


title: Polarization Entanglement from Parametric Down-Conversion with a LED Pump

abstract: Spontaneous parametric down-conversion (SPDC) is a reliable platform for entanglement generation. Routinely, a coherent laser beam is an essential prerequisite for pumping the nonlinear crystal. Here we break this barrier to generate polarization entangled photon pairs by using a commercial light-emitting diode (LED) source to serve as the pump beam. This effect is counterintuitive, as the LED source is of extremely low spatial coherence, which is transferred during the down-conversion process to the biphoton wavefunction. However, the type-II phase-matching condition naturally filters the specific frequency and wavelength of LED light exclusively to participate in SPDC such that localized polarization Bell states can be generated, regardless of the global incoherence over the full transverse plane. In our experiment, we characterize the degree of LED light-induced polarization entanglement in the standard framework of the violation of Bell inequality. We have achieved the Bell value $S=2.33\pm 0.097$, obviously surpassing the classical bound $S=2$ and thus witnessing the quantum entanglement. Our work can be extended to prepare polarization entanglement by using other natural light sources, such as sunlight and bio-light, which holds promise for electricity-free quantum communications in outer space.


title: Delivery by Drones with Arbitrary Energy Consumption Models: A New Formulation Approach

abstract: This paper presents a new approach for formulating the delivery problem by drones with general energy consumption models where the drones visit a set of places to deliver parcels to customers. Drones can perform multiple trips that start and end at a central depot while visiting several customers along their paths. The problem determines the routing and scheduling decisions of the drones in order to minimize the total transportation cost of serving customers. For the first time, the new formulation approach enables us to use the best available energy consumption model without the need of any extra approximations. Though the approach works in a very general setting including non-convex energy consumption models, it is also computationally efficient as the resulting optimization model has a linear relaxation. A numerical study on 255 benchmark instances with up to 50 customers and a specific energy function indicate that all the instances can be solved 20 times faster on average using the new formulation when compared to the best existing branch-and-cut algorithm. All the 15 benchmark instances with 50 customers are solved exactly, whereas none of them has been solved optimally before. Moreover, new instances with up to 150 customers are solved with small error bounds within a few hours. The new approach can be simply applied to consider the extra energy required when a drone needs to continue hovering until opening the delivery time window. It can also be applied to the case where the flight time is dependent on the drone's payload weight. Owing to the flexibility of the new approach, these challenging extensions are formulated as linear optimization models for the first time.


title: Weak antilocalization induced by Se substitution in layered BiCh$_2$-based (Ch = S, Se) superconductors LaO$_{1-x}$F$_x$BiS$_{2-y}$Se$_y$

abstract: We report transport properties for layered BiCh2-based (Ch = S, Se) superconductors LaO1-xFxBiS2-ySey (x = 0.2, 0.5, y = 0-1.05) and the observation of weak antilocalization (WAL). Electrical resistivity and Hall coefficients for the Se-poor samples increase with decreasing temperature. The increase becomes less pronounced with increasing Se concentration indicating a loss of insulating behavior. Interestingly, the moderately Se-substituted samples exhibit metallic behavior in the high-temperature region and a weak increase in the resistivity in the low-temperature regions, which indicates the existence of carrier localization. The heavily Se-substituted compounds show metallic behavior in the entire-temperature region. Sign changes of the Hall coefficients are observed for the x = 0.2 samples, which possibly is related to a charge-density wave (CDW). Magnetoresistance measurements indicate that WAL is realized in the heavily Se-substituted systems. The WAL behavior is weakened by the changes in F and Se concentrations. A crossover state of the WAL and WL emerges around the moderately F-doped and Se-free LaO0.8F0.2BiS2. The change of the resistivity behavior by the F and Se substitution clearly correlates to the difference of the magnetoconductance. Moreover, the localization regions of the WAL-WL crossover and weak WAL states are possibly associated with the CDW. We propose that the BiCh2-based system is a good platform for studying relationship between WAL, superconductivity, and electronic ordering because those states are tunable by element substitutions with bulk single crystals.


title: Introducing the Quantum Research Kernels: Lessons from Classical Parallel Computing

abstract: Quantum computing represents a paradigm shift for computation requiring an entirely new computer architecture. However, there is much that can be learned from traditional classical computer engineering. In this paper, we describe the Parallel Research Kernels (PRK), a tool that was very useful for designing classical parallel computing systems. The PRK are simple kernels written to expose bottlenecks that limit classical parallel computing performance. We hypothesize that an analogous tool for quantum computing, Quantum Research Kernels (QRK), may similarly aid the co-design of software and hardware for quantum computing systems, and we give a few examples of representative QRKs.


title: Determining the $CP$ Property of $ht\bar{t}$ Coupling via a Novel Jet Substructure Observable

abstract: Determining the $CP$ property of the Higgs boson is important for a precision test of the Standard Model as well as for the search for new physics. We propose a novel jet substructure observable based on the azimuthal anisotropy in a linearly polarized gluon jet that is produced in association with a Higgs boson at hadron colliders, and demonstrate that it provides a new $CP$-odd observable for determining the $CP$ property of the Higgs-top interaction. We introduce a factorization formalism to define a polarized gluon jet function with the insertion of an infrared-safe azimuthal observable to capture the linear polarization.


title: 2D-Double transition metal MXenes for spintronics applications: surface functionalization induced ferromagnetic half-metallic complexes

abstract: MXenes are rapidly emerging two-dimensional (2D) materials with thickness, composition, and functionalization-dependent outstanding properties having applications in diverse fields. To disclose nano-spintronic applications of 2D-double transition metal (DTM) carbide and nitride-based pristine and surface-functionalized MXenes (M'2M"X2Tx, M' and M" = Cr, Mo, W; X = C/N; T = -F/-OH/=O), a systematic investigation has been performed on structural stability, magnetic properties and electronic structure using spin-polarized first-principles calculations. 36 stables functionalized MXenes were screened from 144 explored DTM based MXenes. The explored materials exhibit striking properties, having wide range of magnetic ground states, from non-magnetic to ferromagnetic, and then to antiferromagnetic, accompanied by metallic to half-metallic or gapless half-metallic properties, depending on transition metal(s) and terminating group. Mo and W-based MXenes are found to be nonmagnetic and metallic, whereas Cr-Mo and Cr-W-based MXenes are magnetic with varying metallic behavior. W2CrN2O2 and Mo2CrN2O2 systems are found to be ferromagnetic half-metallic 2D materials with a direct band gap of 1.35 eV and 0.77 eV respectively, in the minority spin channel. The comprehensive study on DTM MXenes, provide intrinsic half-metallic properties along with robust ferromagnetism, opens up a class of promising new 2D materials with tunable magnetic and electronic properties for potential device applications in nano-spintronics and electronics.


title: Langevin picture of anomalous diffusion processes in expanding medium

abstract: Expanding medium is very common in many different fields, such as biology and cosmology. It brings a nonnegligible influence on particle's diffusion, which is quite different from the effect of an external force field. The dynamic mechanism of particle's motion in expanding medium has only been investigated in the framework of continuous-time random walk. To focus on more diffusion processes and physical observables, we build the Langevin picture of anomalous diffusion in expanding medium, and conduct detailed analyses in the framework of Langevin equation. With the help of a subordinator, both subdiffusion process and superdiffusion process in expanding medium are discussed. We find that the expanding medium with different changing rate (exponential form and power-law form) leads to quite different diffusion phenomena. The particle's intrinsic diffusion behavior also plays an important role. Our detailed theoretical analyses and simulations present a panoramic view of investigating anomalous diffusion in expanding medium under the framework of Langevin equation.


title: Heterogeneous Trajectory Forecasting via Risk and Scene Graph Learning

abstract: Heterogeneous trajectory forecasting is critical for intelligent transportation systems, but it is challenging because of the difficulty of modeling the complex interaction relations among the heterogeneous road agents as well as their agent-environment constraints. In this work, we propose a risk and scene graph learning method for trajectory forecasting of heterogeneous road agents, which consists of a Heterogeneous Risk Graph (HRG) and a Hierarchical Scene Graph (HSG) from the aspects of agent category and their movable semantic regions. HRG groups each kind of road agent and calculates their interaction adjacency matrix based on an effective collision risk metric. HSG of the driving scene is modeled by inferring the relationship between road agents and road semantic layout aligned by the road scene grammar. Based on this formulation, we can obtain effective trajectory forecasting in driving situations, and superior performance to other state-of-the-art approaches is demonstrated by exhaustive experiments on the nuScenes, ApolloScape, and Argoverse datasets.


title: Fine-grained Visual-Text Prompt-Driven Self-Training for Open-Vocabulary Object Detection

abstract: Inspired by the success of vision-language methods (VLMs) in zero-shot classification, recent works attempt to extend this line of work into object detection by leveraging the localization ability of pre-trained VLMs and generating pseudo labels for unseen classes in a self-training manner. However, since the current VLMs are usually pre-trained with aligning sentence embedding with global image embedding, the direct use of them lacks fine-grained alignment for object instances, which is the core of detection. In this paper, we propose a simple but effective fine-grained Visual-Text Prompt-driven self-training paradigm for Open-Vocabulary Detection (VTP-OVD) that introduces a fine-grained visual-text prompt adapting stage to enhance the current self-training paradigm with a more powerful fine-grained alignment. During the adapting stage, we enable VLM to obtain fine-grained alignment by using learnable text prompts to resolve an auxiliary dense pixel-wise prediction task. Furthermore, we propose a visual prompt module to provide the prior task information (i.e., the categories need to be predicted) for the vision branch to better adapt the pre-trained VLM to the downstream tasks. Experiments show that our method achieves the state-of-the-art performance for open-vocabulary object detection, e.g., 31.5% mAP on unseen classes of COCO.


title: The dust properties of star-forming galaxies in the first billion years

abstract: The Atacama Large Millimetre/Sub-millimetre Array (ALMA) is obtaining the deepest observations of early galaxies ever achieved at (sub-)millimetre wavelengths, and detecting the dust emission of young galaxies in the first billion years of cosmic history, well in the epoch of reionization. Here I review some of the latest results from these observations, with special focus on the REBELS large programme, which targets a sample of 40 star-forming galaxies at z~7. ALMA detects significant amounts of dust in very young galaxies, and this dust might have different properties to dust in lower-redshift galaxies. I describe the evidence for this, and discuss theoretical/modelling efforts to explain the dust properties of these young galaxies. Finally, I describe two additional surprising results to come out of the REBELS survey: (i) a new population of completely dust-obscured galaxies at z~7, and (ii) the prevalence of spatial offsets between the ultraviolet and infrared emission of UV-bright, high-redshift star-forming galaxies.


title: Dual-Polarized Massive MIMO-RSMA Networks: Tackling Imperfect SIC

abstract: The polarization domain provides an extra degree of freedom (DoF) for improving the performance of multiple-input multiple-output (MIMO) systems. This paper takes advantage of this additional DoF to alleviate practical issues of successive interference cancellation (SIC) in rate-splitting multiple access (RSMA) schemes. Specifically, we propose three dual-polarized downlink transmission approaches for a massive MIMO-RSMA network under the effects of polarization interference and residual errors of imperfect SIC. The first approach implements polarization multiplexing for transmitting the users' data messages, which removes the need to execute SIC in the reception. The second approach transmits replicas of users' messages in the two polarizations, which enables users to exploit diversity through the polarization domain. The third approach, in its turn, employs the original SIC-based RSMA technique per polarization, and this allows the BS to transmit two independent superimposed data streams simultaneously. An in-depth theoretical analysis is carried out, in which we derive tight closed-form approximations for the outage probabilities of the three proposed approaches. Accurate approximations for the ergodic sum-rates of the two first schemes are also derived. Simulation results validate the theoretical analysis and confirm the effectiveness of the proposed schemes. For instance, under low to moderate cross-polar interference, the results show that, even under high levels of residual SIC error, our dual-polarized MIMO-RSMA strategies outperform the conventional single-polarized MIMO-RSMA counterpart. It is also shown that the performance of all RSMA schemes is impressively higher than that of single and dual-polarized massive MIMO systems employing non-orthogonal multiple access (NOMA) and orthogonal multiple access (OMA) techniques.


title: A linear second-order maximum bound principle-preserving BDF scheme for the Allen-Cahn equation with a general mobility

abstract: In this paper, we propose and analyze a linear second-order numerical method for solving the Allen-Cahn equation with a general mobility. The proposed fully-discrete scheme is carefully constructed based on the combination of first and second-order backward differentiation formulas with nonuniform time steps for temporal approximation and the central finite difference for spatial discretization. The discrete maximum bound principle is proved of the proposed scheme by using the kernel recombination technique under certain mild constraints on the time steps and the ratios of adjacent time step sizes. Furthermore, we rigorously derive the discrete $H^{1}$ error estimate and energy stability for the classic constant mobility case and the $L^{\infty}$ error estimate for the general mobility case. Various numerical experiments are also presented to validate the theoretical results and demonstrate the performance of the proposed method with a time adaptive strategy.


title: Questions about extreme points

abstract: We discuss the geometry of the unit ball -- specifically, the structure of its extreme points (if any) -- in subspaces of $L^1$ and $L^\infty$ on the circle that are formed by functions with prescribed spectral gaps. A similar issue is considered for kernels of Toeplitz operators in $H^\infty$.


title: More Speaking or More Speakers?

abstract: Self-training (ST) and self-supervised learning (SSL) methods have demonstrated strong improvements in automatic speech recognition (ASR). In spite of these advances, to the best of our knowledge, there is no analysis of how the composition of the labelled and unlabelled datasets used in these methods affects the results. In this work we aim to analyse the effect of number of speakers in the training data on a recent SSL algorithm (wav2vec 2.0), and a recent ST algorithm (slimIPL). We perform a systematic analysis on both labeled and unlabeled data by varying the number of speakers while keeping the number of hours fixed and vice versa. Our findings suggest that SSL requires a large amount of unlabeled data to produce high accuracy results, while ST requires a sufficient number of speakers in the labelled data, especially in the low-regime setting. In this manner these two approaches improve supervised learning in different regimes of data composition.


title: Michael-Simon type inequalities in hyperbolic space $\mathbb{H}^{n+1}$ via Brendle-Guan-Li's flows

abstract: In the present paper, we first establish and verify a new sharp hyperbolic version of the Michael-Simon inequality for mean curvatures in hyperbolic space $\mathbb{H}^{n+1}$ based on the locally constrained inverse curvature flow introduced by Brendle, Guan and Li, provided that $M$ is $h$-convex and $f$ is a positive smooth function, where $\lambda^{'}(r)=\rm{cosh}$$r$. In particular, when $f$ is of constant, (0.1) coincides with the Minkowski type inequality stated by Brendle, Hung, and Wang. Further, we also establish and confirm a new sharp Michael-Simon inequality for the $k$-th mean curvatures in $\mathbb{H}^{n+1}$ by virtue of the Brendle-Guan-Li's flow, provided that $M$ is $h$-convex and $\Omega$ is the domain enclosed by $M$. In particular, when $f$ is of constant and $k$ is odd, (0.2) is exactly the weighted Alexandrov-Fenchel inequalities proven by Hu, Li, and Wei.


title: Deep Virtual-to-Real Distillation for Pedestrian Crossing Prediction

abstract: Pedestrian crossing is one of the most typical behavior which conflicts with natural driving behavior of vehicles. Consequently, pedestrian crossing prediction is one of the primary task that influences the vehicle planning for safe driving. However, current methods that rely on the practically collected data in real driving scenes cannot depict and cover all kinds of scene condition in real traffic world. To this end, we formulate a deep virtual to real distillation framework by introducing the synthetic data that can be generated conveniently, and borrow the abundant information of pedestrian movement in synthetic videos for the pedestrian crossing prediction in real data with a simple and lightweight implementation. In order to verify this framework, we construct a benchmark with 4667 virtual videos owning about 745k frames (called Virtual-PedCross-4667), and evaluate the proposed method on two challenging datasets collected in real driving situations, i.e., JAAD and PIE datasets. State-of-the-art performance of this framework is demonstrated by exhaustive experiment analysis. The dataset and code can be downloaded from the website \url{http://www.lotvs.net/code_data/}.


title: Rank Selection for Non-negative Matrix Factorization

abstract: Non-Negative Matrix Factorization (NMF) is a widely used dimension reduction method that factorizes a non-negative data matrix into two lower dimensional non-negative matrices: One is the basis or feature matrix which consists of the variables and the other is the coefficients matrix which is the projections of data points to the new basis. The features can be interpreted as sub-structures of the data. The number of sub-structures in the feature matrix is also called the rank which is the only tuning parameter in NMF. An appropriate rank will extract the key latent features while minimizing the noise from the original data. In this paper, we develop a novel rank selection method based on hypothesis testing, using a deconvolved bootstrap distribution to assess the significance level accurately despite the large amount of optimization error. In the simulation section, we compare our method with a rank selection method based on hypothesis testing using bootstrap distribution without deconvolution, and with a cross-validated imputation method1. Through simulations, we demonstrate that our method is not only accurate at estimating the true ranks for NMF especially when the features are hard to distinguish but also efficient at computation. When applied to real microbiome data (e.g. OTU data and functional metagenomic data), our method also shows the ability to extract interpretable sub-communities in the data.


title: Conversation-oriented ASR with multi-look-ahead CBS architecture

abstract: During conversations, humans are capable of inferring the intention of the speaker at any point of the speech to prepare the following action promptly. Such ability is also the key for conversational systems to achieve rhythmic and natural conversation. To perform this, the automatic speech recognition (ASR) used for transcribing the speech in real-time must achieve high accuracy without delay. In streaming ASR, high accuracy is assured by attending to look-ahead frames, which leads to delay increments. To tackle this trade-off issue, we propose a multiple latency streaming ASR to achieve high accuracy with zero look-ahead. The proposed system contains two encoders that operate in parallel, where a primary encoder generates accurate outputs utilizing look-ahead frames, and the auxiliary encoder recognizes the look-ahead portion of the primary encoder without look-ahead. The proposed system is constructed based on contextual block streaming (CBS) architecture, which leverages block processing and has a high affinity for the multiple latency architecture. Various methods are also studied for architecting the system, including shifting the network to perform as different encoders; as well as generating both encoders' outputs in one encoding pass.


title: Decoupled Cross-Scale Cross-View Interaction for Stereo Image Enhancement in The Dark

abstract: Low-light stereo image enhancement (LLSIE) is a relatively new task to enhance the quality of visually unpleasant stereo images captured in dark condition. However, current methods achieve inferior performance on detail recovery and illumination adjustment. We find it is because: 1) the insufficient single-scale inter-view interaction makes the cross-view cues unable to be fully exploited; 2) lacking long-range dependency leads to the inability to deal with the spatial long-range effects caused by illumination degradation. To alleviate such limitations, we propose a LLSIE model termed Decoupled Cross-scale Cross-view Interaction Network (DCI-Net). Specifically, we present a decoupled interaction module (DIM) that aims for sufficient dual-view information interaction. DIM decouples the dual-view information exchange into discovering multi-scale cross-view correlations and further exploring cross-scale information flow. Besides, we present a spatial-channel information mining block (SIMB) for intra-view feature extraction, and the benefits are twofold. One is the long-range dependency capture to build spatial long-range relationship, and the other is expanded channel information refinement that enhances information flow in channel dimension. Extensive experiments on Flickr1024, KITTI 2012, KITTI 2015 and Middlebury datasets show that our method obtains better illumination adjustment and detail recovery, and achieves SOTA performance compared to other related methods. Our codes, datasets and models will be publicly available.


title: Insight into cloud processes from unsupervised classification with a rotationally invariant autoencoder

abstract: Clouds play a critical role in the Earth's energy budget and their potential changes are one of the largest uncertainties in future climate projections. However, the use of satellite observations to understand cloud feedbacks in a warming climate has been hampered by the simplicity of existing cloud classification schemes, which are based on single-pixel cloud properties rather than utilizing spatial structures and textures. Recent advances in computer vision enable the grouping of different patterns of images without using human-predefined labels, providing a novel means of automated cloud classification. This unsupervised learning approach allows discovery of unknown climate-relevant cloud patterns, and the automated processing of large datasets. We describe here the use of such methods to generate a new AI-driven Cloud Classification Atlas (AICCA), which leverages 22 years and 800 terabytes of MODIS satellite observations over the global ocean. We use a rotation-invariant cloud clustering (RICC) method to classify those observations into 42 AI-generated cloud class labels at ~100 km spatial resolution. As a case study, we use AICCA to examine a recent finding of decreasing cloudiness in a critical part of the subtropical stratocumulus deck, and show that the change is accompanied by strong trends in cloud classes.


title: Virtual screening of DrugBank database for hERG blockers using topological Laplacian-assisted AI models

abstract: The human {\it ether-a-go-go} (hERG) potassium channel (K$_\text{v}11.1$) plays a critical role in mediating cardiac action potential. The blockade of this ion channel can potentially lead fatal disorder and/or long QT syndrome. Many drugs have been withdrawn because of their serious hERG-cardiotoxicity. It is crucial to assess the hERG blockade activity in the early stage of drug discovery. We are particularly interested in the hERG-cardiotoxicity of compounds collected in the DrugBank database considering that many DrugBank compounds have been approved for therapeutic treatments or have high potential to become drugs. Machine learning-based in silico tools offer a rapid and economical platform to virtually screen DrugBank compounds. We design accurate and robust classifiers for blockers/non-blockers and then build regressors to quantitatively analyze the binding potency of the DrugBank compounds on the hERG channel. Molecular sequences are embedded with two natural language processing (NPL) methods, namely, autoencoder and transformer. Complementary three-dimensional (3D) molecular structures are embedded with two advanced mathematical approaches, i.e., topological Laplacians and algebraic graphs. With our state-of-the-art tools, we reveal that 227 out of the 8641 DrugBank compounds are potential hERG blockers, suggesting serious drug safety problems. Our predictions provide guidance for the further experimental interrogation of DrugBank compounds' hERG-cardiotoxicity .


title: Pictures of compact Lie groups (after Serre)

abstract: We fill in the details in a procedure outlined by Serre for drawing pictures of compact real Lie groups. In the case of Sp($2n$), the picture generated by the method is connected with abelian varieties over a number field or a finite field. We follow the procedure to produce pictures for the three simply connected simple groups of rank 2. The pictures for two of these have previously been discussed in the literature in a different setting. The remaining one, type $G_2$, has the most complicated picture.


title: Behavior Prior Representation learning for Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) struggles in environments with rich and noisy inputs, where the agent only has access to a fixed dataset without environment interactions. Past works have proposed common workarounds based on the pre-training of state representations, followed by policy training. In this work, we introduce a simple, yet effective approach for learning state representations. Our method, Behavior Prior Representation (BPR), learns state representations with an easy-to-integrate objective based on behavior cloning of the dataset: we first learn a state representation by mimicking actions from the dataset, and then train a policy on top of the fixed representation, using any off-the-shelf Offline RL algorithm. Theoretically, we prove that BPR carries out performance guarantees when integrated into algorithms that have either policy improvement guarantees (conservative algorithms) or produce lower bounds of the policy values (pessimistic algorithms). Empirically, we show that BPR combined with existing state-of-the-art Offline RL algorithms leads to significant improvements across several offline control benchmarks. The code is available at \url{https://github.com/bit1029public/offline_bpr}.


title: Multi-task Learning for Source Attribution and Field Reconstruction for Methane Monitoring

abstract: Inferring the source information of greenhouse gases, such as methane, from spatially sparse sensor observations is an essential element in mitigating climate change. While it is well understood that the complex behavior of the atmospheric dispersion of such pollutants is governed by the Advection-Diffusion equation, it is difficult to directly apply the governing equations to identify the source location and magnitude (inverse problem) because of the spatially sparse and noisy observations, i.e., the pollution concentration is known only at the sensor locations and sensors sensitivity is limited. Here, we develop a multi-task learning framework that can provide high-fidelity reconstruction of the concentration field and identify emission characteristics of the pollution sources such as their location, emission strength, etc. from sparse sensor observations. We demonstrate that our proposed framework is able to achieve accurate reconstruction of the methane concentrations from sparse sensor measurements as well as precisely pin-point the location and emission strength of these pollution sources.


title: On the cohomological triviality of the center of the Frattini subgroup

abstract: We improve the existing lower bounds on the order of counterexamples to a conjecture by P. Schmid, determine some properties of the possible counterexamples of minimum order for each prime, and the isomorphism type of the center of the Frattini subgroup for the counterexamples of order 256. We also show that nonabelian metacyclic p-groups, nonabelian groups of maximal nilpotency class and 2-groups of coclass two satisfy the conjecture.


title: Gradient Descent and the Power Method: Exploiting their connection to find the leftmost eigen-pair and escape saddle points

abstract: This work shows that applying Gradient Descent (GD) with a fixed step size to minimize a (possibly nonconvex) quadratic function is equivalent to running the Power Method (PM) on the gradients. The connection between GD with a fixed step size and the PM, both with and without fixed momentum, is thus established. Consequently, valuable eigen-information is available via GD. Recent examples show that GD with a fixed step size, applied to locally quadratic nonconvex functions, can take exponential time to escape saddle points (Simon S. Du, Chi Jin, Jason D. Lee, Michael I. Jordan, Aarti Singh, and Barnabas Poczos: "Gradient descent can take exponential time to escape saddle points"; S. Paternain, A. Mokhtari, and A. Ribeiro: "A newton-based method for nonconvex optimization with fast evasion of saddle points"). Here, those examples are revisited and it is shown that eigenvalue information was missing, so that the examples may not provide a complete picture of the potential practical behaviour of GD. Thus, ongoing investigation of the behaviour of GD on nonconvex functions, possibly with an \emph{adaptive} or \emph{variable} step size, is warranted. It is shown that, in the special case of a quadratic in $R^2$, if an eigenvalue is known, then GD with a fixed step size will converge in two iterations, and a complete eigen-decomposition is available. By considering the dynamics of the gradients and iterates, new step size strategies are proposed to improve the practical performance of GD. Several numerical examples are presented, which demonstrate the advantages of exploiting the GD--PM connection.


title: Heavy-Tailed Pitman--Yor Mixture Models

abstract: Heavy tails are often found in practice, and yet they are an Achilles heel of a variety of mainstream random probability measures such as the Dirichlet process. The first contribution of this paper focuses on the characterization of the tails of the so-called Pitman--Yor process, which includes the Dirichlet process as a particular case. We show that the right tail of a Pitman--Yor process, known as the stable law process, is heavy-tailed, provided that the centering distribution is itself heavy-tailed. A second contribution of the paper rests on the development of two classes of heavy-tailed mixture models and the assessment of their relative merits. Multivariate extensions of the proposed heavy-tailed mixtures are here devised along with a predictor-dependent version so to learn about the effect of covariates on a multivariate heavy-tailed response. The simulation study suggests that the proposed method performs well in a variety of scenarios, and we showcase the application of the proposed methods in a neuroscience dataset.


title: tSF: Transformer-based Semantic Filter for Few-Shot Learning

abstract: Few-Shot Learning (FSL) alleviates the data shortage challenge via embedding discriminative target-aware features among plenty seen (base) and few unseen (novel) labeled samples. Most feature embedding modules in recent FSL methods are specially designed for corresponding learning tasks (e.g., classification, segmentation, and object detection), which limits the utility of embedding features. To this end, we propose a light and universal module named transformer-based Semantic Filter (tSF), which can be applied for different FSL tasks. The proposed tSF redesigns the inputs of a transformer-based structure by a semantic filter, which not only embeds the knowledge from whole base set to novel set but also filters semantic features for target category. Furthermore, the parameters of tSF is equal to half of a standard transformer block (less than 1M). In the experiments, our tSF is able to boost the performances in different classic few-shot learning tasks (about 2% improvement), especially outperforms the state-of-the-arts on multiple benchmark datasets in few-shot classification task.


title: Title2Event: Benchmarking Open Event Extraction with a Large-scale Chinese Title Dataset

abstract: Event extraction (EE) is crucial to downstream tasks such as new aggregation and event knowledge graph construction. Most existing EE datasets manually define fixed event types and design specific schema for each of them, failing to cover diverse events emerging from the online text. Moreover, news titles, an important source of event mentions, have not gained enough attention in current EE research. In this paper, We present Title2Event, a large-scale sentence-level dataset benchmarking Open Event Extraction without restricting event types. Title2Event contains more than 42,000 news titles in 34 topics collected from Chinese web pages. To the best of our knowledge, it is currently the largest manually-annotated Chinese dataset for open event extraction. We further conduct experiments on Title2Event with different models and show that the characteristics of titles make it challenging for event extraction, addressing the significance of advanced study on this problem. The dataset and baseline codes are available at https://open-event-hub.github.io/title2event.


title: Particle Filter based Massive MIMO Channel Estimation

abstract: Massive multiple-input multiple-output (MIMO) communication systems have drawn significant interest recently in next-generation wireless communications. The use of a large number of antennas in massive MIMO makes the estimation of channel state information very challenging. Accurate channel state information is essential in capitalizing the advantages of the massive MIMO technology. This paper proposes the application of the Ensemble Square Root Filter (EnSRF) and a variant of EnSRF, namely a Particle wise Update version of the Ensemble Square Root Filter (PUEnSRF) to estimate the time-selective frequency-flat fading channel coefficients in the massive MIMO scenario. Simulation results clearly indicate the remarkably superior accuracy and filter convergence of PUEnSRF estimates as compared to the conventional particle filters.


title: State-dependent Asset Allocation Using Neural Networks

abstract: Changes in market conditions present challenges for investors as they cause performance to deviate from the ranges predicted by long-term averages of means and covariances. The aim of conditional asset allocation strategies is to overcome this issue by adjusting portfolio allocations to hedge changes in the investment opportunity set. This paper proposes a new approach to conditional asset allocation that is based on machine learning; it analyzes historical market states and asset returns and identifies the optimal portfolio choice in a new period when new observations become available. In this approach, we directly relate state variables to portfolio weights, rather than firstly modeling the return distribution and subsequently estimating the portfolio choice. The method captures nonlinearity among the state (predicting) variables and portfolio weights without assuming any particular distribution of returns and other data, without fitting a model with a fixed number of predicting variables to data and without estimating any parameters. The empirical results for a portfolio of stock and bond indices show the proposed approach generates a more efficient outcome compared to traditional methods and is robust in using different objective functions across different sample periods.


title: ADPTriage: Approximate Dynamic Programming for Bug Triage

abstract: Bug triaging is a critical task in any software development project. It entails triagers going over a list of open bugs, deciding whether each is required to be addressed, and, if so, which developer should fix it. However, the manual bug assignment in issue tracking systems (ITS) offers only a limited solution and might easily fail when triagers must handle a large number of bug reports. During the automated assignment, there are multiple sources of uncertainties in the ITS, which should be addressed meticulously. In this study, we develop a Markov decision process (MDP) model for an online bug triage task. In addition to an optimization-based myopic technique, we provide an ADP-based bug triage solution, called ADPTriage, which has the ability to reflect the downstream uncertainty in the bug arrivals and developers' timetables. Specifically, without placing any limits on the underlying stochastic process, this technique enables real-time decision-making on bug assignments while taking into consideration developers' expertise, bug type, and bug fixing time. Our result shows a significant improvement over the myopic approach in terms of assignment accuracy and fixing time. We also demonstrate the empirical convergence of the model and conduct sensitivity analysis with various model parameters. Accordingly, this work constitutes a significant step forward in addressing the uncertainty in bug triage solutions


title: Effects of syndication network on specialisation and performance of venture capital firms

abstract: The Chinese venture capital (VC) market is a young and rapidly expanding financial subsector. Gaining a deeper understanding of the investment behaviours of VC firms is crucial for the development of a more sustainable and healthier market and economy. Contrasting evidence supports that either specialisation or diversification helps to achieve a better investment performance. However, the impact of the syndication network is overlooked. Syndication network has a great influence on the propagation of information and trust. By exploiting an authoritative VC dataset of thirty-five-year investment information in China, we construct a joint-investment network of VC firms and analyse the effects of syndication and diversification on specialisation and investment performance. There is a clear correlation between the syndication network degree and specialisation level of VC firms, which implies that the well-connected VC firms are diversified. More connections generally bring about more information or other resources, and VC firms are more likely to enter a new stage or industry with some new co-investing VC firms when compared to a randomised null model. Moreover, autocorrelation analysis of both specialisation and success rate on the syndication network indicates that clustering of similar VC firms is roughly limited to the secondary neighbourhood. When analysing local clustering patterns, we discover that, contrary to popular beliefs, there is no apparent successful club of investors. In contrast, investors with low success rates are more likely to cluster. Our discoveries enrich the understanding of VC investment behaviours and can assist policymakers in designing better strategies to promote the development of the VC industry.


title: Age of Information of Multi-user Mobile Edge Computing Systems

abstract: In this paper, we analyze the average age of information (AoI) and the average peak AoI (PAoI) of a multiuser mobile edge computing (MEC) system where a base station (BS) generates and transmits computation-intensive packets to user equipments (UEs). In this MEC system, we focus on three computing schemes: (i) The local computing scheme where all computational tasks are computed by the local server at the UE, (ii) The edge computing scheme where all computational tasks are computed by the edge server at the BS, and (iii) The partial computing scheme where computational tasks are partially allocated at the edge server and the rest are computed by the local server. Considering exponentially distributed transmission time and computation time and adopting the first come first serve (FCFS) queuing policy, we derive closed-form expressions for the average AoI and average PAoI. To address the complexity of the average AoI expression, we derive simple upper and lower bounds on the average AoI, which allow us to explicitly examine the dependence of the optimal offloading decision on the MEC system parameters. Aided by simulation results, we verify our analysis and illustrate the impact of system parameters on the AoI performance.


title: First-principles analysis of energy exchange in time-varying capacitors for energy trapping applications

abstract: Time-varying networks, consisting of lumped elements, such as resistors, capacitors, and inductors, actively modulated in time, have introduced a host of novel wave phenomena and witnessed a remarkable development during recent years. This paper investigates the scattering from a time varying capacitor and how such a load can be fully reflectionless when the capacitance is suitably modulated in time. We analytically derive the required temporal dependence of the capacitance and show how in contrast to other techniques it avoids extreme and negative values and, as a result, can be implemented in a feasible way, when the capacitor is charged with a DC voltage source. We also derive from first principles the energy balance of such a time-varying capacitor, proving that the energy of an incoming pulse is transferred to the modulation source. Our findings clarify scattering of waves from time-varying capacitors and open up a new way to matching of broadband pulses.


title: Enhancements of Discretization Approaches for Non-Convex Mixed-Integer Quadratically Constraint Quadratic Programming: Part I

abstract: We study mixed-integer programming (MIP) relaxation techniques for the solution of non convex mixed-integer quadratically constrained quadratic programs (MIQCQPs). We present MIP relaxation methods for non convex continuous variable products. In Part I, we consider MIP relaxations based on separable reformulation. The main focus is the introduction of the enhanced separable MIP relaxation for nonconvex quadratic products of the form z=xy, called hybrid separable (HybS). Additionally, we introduce a logarithmic MIP relaxation for univariate quadratic terms, called sawtooth relaxation. We combine the latter with HybS and existing separable reformulations to derive MIP relaxations of MIQCQPs. We provide a comprehensive theoretical analysis of these techniques, underlining the theoretical advantages of HybS compared to its predecessors. We perform a broad computational study to demonstrate the effectiveness of the enhanced MIP relaxation in terms of producing tight dual bounds for MIQCQPs. In Part II, we study MIP relaxations that extend the well-known MIP relaxation normalized multiparametric disaggregation technique (NMDT) and present further theoretical and computational analyses.


title: On representation matrices of boundary conditions in $SU(n)$ gauge theories compactified on two-dimensional orbifolds

abstract: We study the existence of diagonal representatives in each equivalence class of representation matrices of boundary conditions in $SU(n)$ or $U(n)$ gauge theories compactified on the orbifolds $T^2/{\mathbb Z}_N$ ($N = 2, 3, 4, 6$). We suppose that the theory has a global $G' = U(n)$ symmetry. Using constraints, unitary transformations and gauge transformations, we examine whether the representation matrices can simultaneously become diagonal or not. We show that at least one diagonal representative necessarily exists in each equivalence class on $T^2/{\mathbb Z}_2$ and $T^2/{\mathbb Z}_3$, but the representation matrices on $T^2/{\mathbb Z}_4$ and $T^2/{\mathbb Z}_6$ can contain not only diagonal matrices but also non-diagonal $2 \times 2$ ones and non-diagonal $3 \times 3$ and $2 \times 2$ ones, respectively, as members of block-diagonal submatrices. These non-diagonal matrices have discrete parameters, which means that the rank-reducing symmetry breaking can be caused by the discrete Wilson line phases.


title: Neural Fourier Shift for Binaural Speech Rendering

abstract: We present a neural network for rendering binaural speech from given monaural audio, position, and orientation of the source. Most of the previous works have focused on synthesizing binaural speeches by conditioning the positions and orientations in the feature space of convolutional neural networks. These synthesis approaches are powerful in estimating the target binaural speeches even for in-the-wild data but are difficult to generalize for rendering the audio from out-of-distribution domains. To alleviate this, we propose Neural Fourier Shift (NFS), a novel network architecture that enables binaural speech rendering in the Fourier space. Specifically, utilizing a geometric time delay based on the distance between the source and the receiver, NFS is trained to predict the delays and scales of various early reflections. NFS is efficient in both memory and computational cost, is interpretable, and operates independently of the source domain by its design. Experimental results show that NFS performs comparable to the previous studies on the benchmark dataset, even with its 25 times lighter memory and 6 times fewer calculations.


title: Fair Allocation of Two Types of Chores

abstract: We consider the problem of fair allocation of indivisible chores under additive valuations. We assume that the chores are divided into two types and under this scenario, we present several results. Our first result is a new characterization of Pareto optimal allocations in our setting, and a polynomial-time algorithm to compute an envy-free up to one item (EF1) and Pareto optimal allocation. We then turn to the question of whether we can achieve a stronger fairness concept called envy-free up any item (EFX). We present a polynomial-time algorithm that returns an EFX allocation. Finally, we show that for our setting, it can be checked in polynomial time whether an envy-free allocation exists or not.


title: DeepTrace: Learning to Optimize Contact Tracing in Epidemic Networks with Graph Neural Networks

abstract: Digital contact tracing aims to curb epidemics by identifying and mitigating public health emergencies through technology. Backward contact tracing, which tracks the sources of infection, proved crucial in places like Japan for identifying COVID-19 infections from superspreading events. This paper presents a novel perspective of digital contact tracing as online graph exploration and addresses the forward and backward contact tracing problem as a maximum-likelihood (ML) estimation problem using iterative epidemic network data sampling. The challenge lies in the combinatorial complexity and rapid spread of infections. We introduce DeepTrace, an algorithm based on a Graph Neural Network (GNN) that iteratively updates its estimations as new contact tracing data is collected, learning to optimize the maximum likelihood estimation by utilizing topological features to accelerate learning and improve convergence. The contact tracing process combines either BFS or DFS to expand the network and trace the infection source, ensuring comprehensive and efficient exploration. Additionally, the GNN model is fine-tuned through a two-phase approach: pre-training with synthetic networks to approximate likelihood probabilities and fine-tuning with high-quality data to refine the model. Using COVID-19 variant data, we illustrate that DeepTrace surpasses current methods in identifying superspreaders, providing a robust basis for a scalable digital contact tracing strategy.


title: Unsupervised Syntactically Controlled Paraphrase Generation with Abstract Meaning Representations

abstract: Syntactically controlled paraphrase generation has become an emerging research direction in recent years. Most existing approaches require annotated paraphrase pairs for training and are thus costly to extend to new domains. Unsupervised approaches, on the other hand, do not need paraphrase pairs but suffer from relatively poor performance in terms of syntactic control and quality of generated paraphrases. In this paper, we demonstrate that leveraging Abstract Meaning Representations (AMR) can greatly improve the performance of unsupervised syntactically controlled paraphrase generation. Our proposed model, AMR-enhanced Paraphrase Generator (AMRPG), separately encodes the AMR graph and the constituency parse of the input sentence into two disentangled semantic and syntactic embeddings. A decoder is then learned to reconstruct the input sentence from the semantic and syntactic embeddings. Our experiments show that AMRPG generates more accurate syntactically controlled paraphrases, both quantitatively and qualitatively, compared to the existing unsupervised approaches. We also demonstrate that the paraphrases generated by AMRPG can be used for data augmentation to improve the robustness of NLP models.


title: DyAnNet: A Scene Dynamicity Guided Self-Trained Video Anomaly Detection Network

abstract: Unsupervised approaches for video anomaly detection may not perform as good as supervised approaches. However, learning unknown types of anomalies using an unsupervised approach is more practical than a supervised approach as annotation is an extra burden. In this paper, we use isolation tree-based unsupervised clustering to partition the deep feature space of the video segments. The RGB- stream generates a pseudo anomaly score and the flow stream generates a pseudo dynamicity score of a video segment. These scores are then fused using a majority voting scheme to generate preliminary bags of positive and negative segments. However, these bags may not be accurate as the scores are generated only using the current segment which does not represent the global behavior of a typical anomalous event. We then use a refinement strategy based on a cross-branch feed-forward network designed using a popular I3D network to refine both scores. The bags are then refined through a segment re-mapping strategy. The intuition of adding the dynamicity score of a segment with the anomaly score is to enhance the quality of the evidence. The method has been evaluated on three popular video anomaly datasets, i.e., UCF-Crime, CCTV-Fights, and UBI-Fights. Experimental results reveal that the proposed framework achieves competitive accuracy as compared to the state-of-the-art video anomaly detection methods.


title: Long-Range Repulsion Between Chromosomes in Mammalian Oocyte Spindles

abstract: During eukaryotic cell division, a microtubule-based structure called the spindle exerts forces on chromosomes, thereby organizing and segregating them Extensive work demonstrates that the forces acting parallel to the spindle axis, including those responsible for separating sister chromatids, are generated by microtubule polymerization and depolymerization, and molecular-motors. In contrast, little is known about the forces acting perpendicular to the spindle axis, which determine the configuration of chromosomes at the metaphase plate, and thus impact nuclear localization and rates of segregation errors. Here, we use quantitative live-cell microscopy to show that metaphase chromosomes are spatially anti-correlated in mouse oocyte spindles, indicating the existence of hitherto unknown long-range forces acting perpendicular to the spindle axis. We explain this observation by first demonstrating that the spindle's microtubule network behaves as a nematic liquid crystal, and then arguing that deformation of the nematic field around embedded chromosomes causes long-range repulsion between them. Our work highlights the surprising relevance of materials physics in understanding the structure, dynamics, and mechanics of cellular structures, and presents a novel and potentially generic mode of chromosome organization in large spindles.


title: Alternating Phase Langevin Sampling with Implicit Denoiser Priors for Phase Retrieval

abstract: Phase retrieval is the nonlinear inverse problem of recovering a true signal from its Fourier magnitude measurements. It arises in many applications such as astronomical imaging, X-Ray crystallography, microscopy, and more. The problem is highly ill-posed due to the phase-induced ambiguities and the large number of possible images that can fit to the given measurements. Thus, there's a rich history of enforcing structural priors to improve solutions including sparsity priors and deep-learning-based generative models. However, such priors are often limited in their representational capacity or generalizability to slightly different distributions. Recent advancements in using denoisers as regularizers for non-convex optimization algorithms have shown promising performance and generalization. We present a way of leveraging the prior implicitly learned by a denoiser to solve phase retrieval problems by incorporating it in a classical alternating minimization framework. Compared to performant denoising-based algorithms for phase retrieval, we showcase competitive performance with Fourier measurements on in-distribution images and notable improvement on out-of-distribution images.


title: Residue functions and Extension problems

abstract: The "qualitative" extension theorem of Demailly guarantees existence of holomorphic extensions of holomorphic sections on some subvariety under certain positive-curvature assumption, but that comes without any estimate of the extensions, especially when the singular locus of the subvariety is non-empty and the holomorphic section to be extended does not vanish identically there. Residue functions are analytic functions which connect the $L^2$ norms on the subvarieties (or their singular loci) to $L^2$ norms with specific weights on the ambient space. Motivated by the conjectural "dlt extension", this note discusses the possibility of retrieving the $L^2$ estimates for the extensions in the general situation via the use of the residue functions. It is also shown in this note that the $1$-lc-measure defined via the residue function of index $1$ is indeed equal to the Ohsawa measure in the Ohsawa--Takegoshi $L^2$ extension theorem.


title: Elliptic asymptotics for the complete third Painlev\'e transcendents

abstract: For a general solution of the third Painlev\'e equation of complete type we show the Boutroux ansatz near the point at infinity. It admits an asymptotic representation in terms of the Jacobi sn-function in cheese-like strips along generic directions. The expression is derived by using isomonodromy deformation of a linear system governed by the third Painlev\'e equation of this type. In our calculation of the WKB analysis, the treated Stokes curve ranges on both upper and lower sheets of the two sheeted Riemann surface.


title: Certified Robustness of Quantum Classifiers against Adversarial Examples through Quantum Noise

abstract: Recently, quantum classifiers have been found to be vulnerable to adversarial attacks, in which quantum classifiers are deceived by imperceptible noises, leading to misclassification. In this paper, we propose the first theoretical study demonstrating that adding quantum random rotation noise can improve robustness in quantum classifiers against adversarial attacks. We link the definition of differential privacy and show that the quantum classifier trained with the natural presence of additive noise is differentially private. Finally, we derive a certified robustness bound to enable quantum classifiers to defend against adversarial examples, supported by experimental results simulated with noises from IBM's 7-qubits device.


title: How causation is rooted into thermodynamics

abstract: The notions of cause and effect are widely employed in science. I discuss why and how they are rooted into thermodynamics. The entropy gradient (i) explains in which sense interventions affect the future rather than the past, and (ii) underpins the time orientation of the subject of knowledge as a physical system. Via these two distinct paths, it is this gradient, and only this gradient, the source of the time orientation of causation, namely the fact the cause comes before its effects.


title: Accelerating Parallel Stochastic Gradient Descent via Non-blocking Mini-batches

abstract: SOTA decentralized SGD algorithms can overcome the bandwidth bottleneck at the parameter server by using communication collectives like Ring All-Reduce for synchronization. While the parameter updates in distributed SGD may happen asynchronously there is still a synchronization barrier to make sure that the local training epoch at every learner is complete before the learners can advance to the next epoch. The delays in waiting for the slowest learners(stragglers) remain to be a problem in the synchronization steps of these state-of-the-art decentralized frameworks. In this paper, we propose the (de)centralized Non-blocking SGD (Non-blocking SGD) which can address the straggler problem in a heterogeneous environment. The main idea of Non-blocking SGD is to split the original batch into mini-batches, then accumulate the gradients and update the model based on finished mini-batches. The Non-blocking idea can be implemented using decentralized algorithms including Ring All-reduce, D-PSGD, and MATCHA to solve the straggler problem. Moreover, using gradient accumulation to update the model also guarantees convergence and avoids gradient staleness. Run-time analysis with random straggler delays and computational efficiency/throughput of devices is also presented to show the advantage of Non-blocking SGD. Experiments on a suite of datasets and deep learning networks validate the theoretical analyses and demonstrate that Non-blocking SGD speeds up the training and fastens the convergence. Compared with the state-of-the-art decentralized asynchronous algorithms like D-PSGD and MACHA, Non-blocking SGD takes up to 2x fewer time to reach the same training loss in a heterogeneous environment.