title: An SEIR epidemic model of fractional order to analyze the evolution of the COVID-19 epidemic in Argentina

abstract: A pandemic caused by a new coronavirus (COVID-19) has spread worldwide, inducing an epidemic still active in Argentina. In this chapter, we present a case study using an SEIR (Susceptible-Exposed-Infected-Recovered) diffusion model of fractional order in time to analyze the evolution of the epidemic in Buenos Aires and neighboring areas (Regi\'on Metropolitana de Buenos Aires, (RMBA)) comprising about 15 million inhabitants. In the SEIR model, individuals are divided into four classes, namely, susceptible (S), exposed (E), infected (I) and recovered (R). The SEIR model of fractional order allows for the incorporation of memory, with hereditary properties of the system, being a generalization of the classic SEIR first-order system, where such effects are ignored. Furthermore, the fractional model provides one additional parameter to obtain a better fit of the data. The parameters of the model are calibrated by using as data the number of casualties officially reported. Since infinite solutions honour the data, we show a set of cases with different values of the lockdown parameters, fatality rate, and incubation and infectious periods. The different reproduction ratios R0 and infection fatality rates (IFR) so obtained indicate the results may differ from recent reported values, constituting possible alternative solutions. A comparison with results obtained with the classic SEIR model is also included. The analysis allows us to study how isolation and social distancing measures affect the time evolution of the epidemic.


title: Numerical investigation of internal plasma currents in a magnetic nozzle

abstract: Two-dimensional fully kinetic particle-in-cell simulations of an electrodeless plasma thruster, which uses a magnetic nozzle, were conducted to investigate the thrust generation induced by the internal plasma current. The results clearly show that the $\bf{E} \times \bf{B}$ and diamagnetic current densities are the major components of the internal plasma current. The simulated pressure structures reproduced the experimentally observed structures well. The results for various magnetic field strengths reveal that the $\bf{E} \times \bf{B}$ effect decreases and the diamagnetic effect becomes dominant with an increase in the magnetic field strength; this demonstrates the significant contribution of the diamagnetic effect in thrust generation.


title: Counting algebraic tori over $\mathbb{Q}$ by Artin conductor

abstract: In this paper we count the number $N_n^{\text{tor}}(X)$ of $n$-dimensional algebraic tori over $\mathbb{Q}$ whose Artin conductor of the associated character is bounded by $X$. This can be understood as a generalization of counting number fields of given degree by discriminant. We suggest a conjecture on the asymptotics of $N_n^{\text{tor}}(X)$ and prove that this conjecture follows from Malle's conjecture for tori over $\mathbb{Q}$. We also prove that $N_2^{\text{tor}}(X) \ll_{\varepsilon} X^{1 + \varepsilon}$, and this upper bound can be improved to $N_2^{\text{tor}}(X) \ll_{\varepsilon} X (\log X)^{1 + \varepsilon}$ under the assumption of the Cohen-Lenstra heuristics for $p=3$.


title: Irregular-Mapped Protograph LDPC-Coded Modulation: A Bandwidth-Efficient Solution for $5$G Networks with Massive Data-Storage Requirement

abstract: The huge amount of data produced in the fifth-generation (5G) networks not only brings new challenges to the reliability and efficiency of mobile devices but also drives rapid development of new storage techniques. With the benefits of fast access speed and high reliability, NAND flash memory has become a promising storage solution for the 5G networks. In this paper, we investigate a protograph-coded bit-interleaved coded modulation with iterative detection and decoding (BICM-ID) utilizing irregular mapping (IM) in the multi-level-cell (MLC) NAND flash-memory systems. First, we propose an enhanced protograph-based extrinsic information transfer (EPEXIT) algorithm to facilitate the analysis of protograph codes in the IM-BICM-ID systems. With the use of EPEXIT algorithm, a simple design method is conceived for the construction of a family of high-rate protograph codes, called irregular-mapped accumulate-repeat-accumulate (IMARA) codes, which possess both excellent decoding thresholds and linear-minimum-distance-growth property. Furthermore, motivated by the voltage-region iterative gain characteristics of IM-BICM-ID systems, a novel read-voltage optimization scheme is developed to acquire accurate read-voltage levels, thus minimizing the decoding thresholds of protograph codes. Theoretical analyses and error-rate simulations indicate that the proposed IMARA-aided IM-BICM-ID scheme and the proposed read-voltage optimization scheme remarkably improve the convergence and decoding performance of flash-memory systems. Thus, the proposed protograph-coded IM-BICM-ID flash-memory systems can be viewed as a reliable and efficient storage solution for the new-generation mobile networks with massive data-storage requirement.


title: Soft-Label Anonymous Gastric X-ray Image Distillation

abstract: This paper presents a soft-label anonymous gastric X-ray image distillation method based on a gradient descent approach. The sharing of medical data is demanded to construct high-accuracy computer-aided diagnosis (CAD) systems. However, the large size of the medical dataset and privacy protection are remaining problems in medical data sharing, which hindered the research of CAD systems. The idea of our distillation method is to extract the valid information of the medical dataset and generate a tiny distilled dataset that has a different data distribution. Different from model distillation, our method aims to find the optimal distilled images, distilled labels and the optimized learning rate. Experimental results show that the proposed method can not only effectively compress the medical dataset but also anonymize medical images to protect the patient's private information. The proposed approach can improve the efficiency and security of medical data sharing.


title: Capturing Multi-Resolution Context by Dilated Self-Attention

abstract: Self-attention has become an important and widely used neural network component that helped to establish new state-of-the-art results for various applications, such as machine translation and automatic speech recognition (ASR). However, the computational complexity of self-attention grows quadratically with the input sequence length. This can be particularly problematic for applications such as ASR, where an input sequence generated from an utterance can be relatively long. In this work, we propose a combination of restricted self-attention and a dilation mechanism, which we refer to as dilated self-attention. The restricted self-attention allows attention to neighboring frames of the query at a high resolution, and the dilation mechanism summarizes distant information to allow attending to it with a lower resolution. Different methods for summarizing distant frames are studied, such as subsampling, mean-pooling, and attention-based pooling. ASR results demonstrate substantial improvements compared to restricted self-attention alone, achieving similar results compared to full-sequence based self-attention with a fraction of the computational costs.


title: Noncommutative Effective LQC: inclusion of potential term

abstract: We construct and study a simple noncommutative scheme (theta-deformation) for the effective Loop Quantum Cosmology of the flat Friedmann-Lema\^itre-Robertson-Walker model in the presence of a homogeneous scalar field $\phi$ with a potential $\mathcal{V}(\phi)=\frac{1}{2}m^2\phi^2$. We first conduct a simple analysis from the corresponding Hamilton equations of motion considering a generic term $\mathcal V(\phi)$. It is observed that the characteristic Big Bounce of Loop Quantum Cosmology is preserved under such noncommutative extension. When specializing to the quadratic case, numerical solutions to the corresponding Hamilton equations exhibiting an early inflationary epoch with a sufficiently large number of e-foldings are found. It is concluded that, in this noncommutative setup, solutions exist which are in the overall compatible with the early universe predicted by standard (effective) Loop Quantum Cosmology (i.e. a bouncing and inflationary early universe). The issue of the genericness of a sufficiently long inflationary period on the space of solutions in this noncommutative construct remains to be addressed.


title: Thermodynamics of pairing transition for Odd-A nuclei

abstract: The hot nucleus $^{171}$Yb is investigated by the covariant density functional theory with the PC-PK1 effective interaction. The thermodynamic quantities are evaluated with the canonical ensemble theory. The pairing correlations is treated by the shell-model-like approach, in which the particle numbers are conserved strictly and in which the blocking effect is handled exactly. An S-shaped heat capacity versus temperature of $^{171}$Yb appears. It has been studied in terms of the blocking effect, the single-particle levels, the pairing gap, and defined seniority components, and compared to the heat capacity of $^{172}$Yb. The pairing transition from the superfluid state to the normal state can result in the S-shaped heat capacity of $^{172}$Yb where the one-pair-broken and two-pair-broken states dominate, while the single-particle level structure near the Fermi surface is associated with the S-shaped heat capacity of $^{171}$Yb. For odd-A nuclei, although the one-pair-broken and two-pair-broken states still contribute, the pairing gap and the pairing transition is relatively weak. The S-shaped heat capacity could be affected due to the blocking of the single-particle level near the Fermi surface.


title: Time-Data Tradeoffs in Structured Signals Recovery via the Proximal-Gradient Homotopy Method

abstract: In this paper, we characterize data-time tradeoffs of the proximal-gradient homotopy method used for solving linear inverse problems under sub-Gaussian measurements. Our results are sharp up to an absolute constant factor. We demonstrate that, in the absence of the strong convexity assumption, the proximal-gradient homotopy update can achieve a linear rate of convergence when the number of measurements is sufficiently large. Numerical simulations are provided to verify our theoretical results.


title: Farewell to Mutual Information: Variational Distillation for Cross-Modal Person Re-Identification

abstract: The Information Bottleneck (IB) provides an information theoretic principle for representation learning, by retaining all information relevant for predicting label while minimizing the redundancy. Though IB principle has been applied to a wide range of applications, its optimization remains a challenging problem which heavily relies on the accurate estimation of mutual information. In this paper, we present a new strategy, Variational Self-Distillation (VSD), which provides a scalable, flexible and analytic solution to essentially fitting the mutual information but without explicitly estimating it. Under rigorously theoretical guarantee, VSD enables the IB to grasp the intrinsic correlation between representation and label for supervised training. Furthermore, by extending VSD to multi-view learning, we introduce two other strategies, Variational Cross-Distillation (VCD) and Variational Mutual-Learning (VML), which significantly improve the robustness of representation to view-changes by eliminating view-specific and task-irrelevant information. To verify our theoretically grounded strategies, we apply our approaches to cross-modal person Re-ID, and conduct extensive experiments, where the superior performance against state-of-the-art methods are demonstrated. Our intriguing findings highlight the need to rethink the way to estimate mutual


title: The Value of Planning for Infinite-Horizon Model Predictive Control

abstract: Model Predictive Control (MPC) is a classic tool for optimal control of complex, real-world systems. Although it has been successfully applied to a wide range of challenging tasks in robotics, it is fundamentally limited by the prediction horizon, which, if too short, will result in myopic decisions. Recently, several papers have suggested using a learned value function as the terminal cost for MPC. If the value function is accurate, it effectively allows MPC to reason over an infinite horizon. Unfortunately, Reinforcement Learning (RL) solutions to value function approximation can be difficult to realize for robotics tasks. In this paper, we suggest a more efficient method for value function approximation that applies to goal-directed problems, like reaching and navigation. In these problems, MPC is often formulated to track a path or trajectory returned by a planner. However, this strategy is brittle in that unexpected perturbations to the robot will require replanning, which can be costly at runtime. Instead, we show how the intermediate data structures used by modern planners can be interpreted as an approximate value function. We show that that this value function can be used by MPC directly, resulting in more efficient and resilient behavior at runtime.


title: Self-Supervised Learning for Gastritis Detection with Gastric X-ray Images

abstract: Purpose: Manual annotation of gastric X-ray images by doctors for gastritis detection is time-consuming and expensive. To solve this, a self-supervised learning method is developed in this study. The effectiveness of the proposed self-supervised learning method in gastritis detection is verified using a few annotated gastric X-ray images. Methods: In this study, we develop a novel method that can perform explicit self-supervised learning and learn discriminative representations from gastric X-ray images. Models trained based on the proposed method were fine-tuned on datasets comprising a few annotated gastric X-ray images. Five self-supervised learning methods, i.e., SimSiam, BYOL, PIRL-jigsaw, PIRL-rotation, and SimCLR, were compared with the proposed method. Furthermore, three previous methods, one pretrained on ImageNet, one trained from scratch, and one semi-supervised learning method, were compared with the proposed method. Results: The proposed method's harmonic mean score of sensitivity and specificity after fine-tuning with the annotated data of 10, 20, 30, and 40 patients were 0.875, 0.911, 0.915, and 0.931, respectively. The proposed method outperformed all comparative methods, including the five self-supervised learning and three previous methods. Experimental results showed the effectiveness of the proposed method in gastritis detection using a few annotated gastric X-ray images. Conclusions: This paper proposes a novel self-supervised learning method based on a teacher-student architecture for gastritis detection using gastric X-ray images. The proposed method can perform explicit self-supervised learning and learn discriminative representations from gastric X-ray images. The proposed method exhibits potential clinical use in gastritis detection using a few annotated gastric X-ray images.


title: Quasi-Newton Quasi-Monte Carlo for variational Bayes

abstract: Many machine learning problems optimize an objective that must be measured with noise. The primary method is a first order stochastic gradient descent using one or more Monte Carlo (MC) samples at each step. There are settings where ill-conditioning makes second order methods such as L-BFGS more effective. We study the use of randomized quasi-Monte Carlo (RQMC) sampling for such problems. When MC sampling has a root mean squared error (RMSE) of $O(n^{-1/2})$ then RQMC has an RMSE of $o(n^{-1/2})$ that can be close to $O(n^{-3/2})$ in favorable settings. We prove that improved sampling accuracy translates directly to improved optimization. In our empirical investigations for variational Bayes, using RQMC with stochastic L-BFGS greatly speeds up the optimization, and sometimes finds a better parameter value than MC does.


title: Deep Transformers for Fast Small Intestine Grounding in Capsule Endoscope Video

abstract: Capsule endoscopy is an evolutional technique for examining and diagnosing intractable gastrointestinal diseases. Because of the huge amount of data, analyzing capsule endoscope videos is very time-consuming and labor-intensive for gastrointestinal medicalists. The development of intelligent long video analysis algorithms for regional positioning and analysis of capsule endoscopic video is therefore essential to reduce the workload of clinicians and assist in improving the accuracy of disease diagnosis. In this paper, we propose a deep model to ground shooting range of small intestine from a capsule endoscope video which has duration of tens of hours. This is the first attempt to attack the small intestine grounding task using deep neural network method. We model the task as a 3-way classification problem, in which every video frame is categorized into esophagus/stomach, small intestine or colorectum. To explore long-range temporal dependency, a transformer module is built to fuse features of multiple neighboring frames. Based on the classification model, we devise an efficient search algorithm to efficiently locate the starting and ending shooting boundaries of the small intestine. Without searching the small intestine exhaustively in the full video, our method is implemented via iteratively separating the video segment along the direction to the target boundary in the middle. We collect 113 videos from a local hospital to validate our method. In the 5-fold cross validation, the average IoU between the small intestine segments located by our method and the ground-truths annotated by broad-certificated gastroenterologists reaches 0.945.


title: Affordance Transfer Learning for Human-Object Interaction Detection

abstract: Reasoning the human-object interactions (HOI) is essential for deeper scene understanding, while object affordances (or functionalities) are of great importance for human to discover unseen HOIs with novel objects. Inspired by this, we introduce an affordance transfer learning approach to jointly detect HOIs with novel objects and recognize affordances. Specifically, HOI representations can be decoupled into a combination of affordance and object representations, making it possible to compose novel interactions by combining affordance representations and novel object representations from additional images, i.e. transferring the affordance to novel objects. With the proposed affordance transfer learning, the model is also capable of inferring the affordances of novel objects from known affordance representations. The proposed method can thus be used to 1) improve the performance of HOI detection, especially for the HOIs with unseen objects; and 2) infer the affordances of novel objects. Experimental results on two datasets, HICO-DET and HOI-COCO (from V-COCO), demonstrate significant improvements over recent state-of-the-art methods for HOI detection and object affordance detection. Code is available at https://github.com/zhihou7/HOI-CL


title: Darts-Conformer: Towards Efficient Gradient-Based Neural Architecture Search For End-to-End ASR

abstract: Neural architecture search (NAS) has been successfully applied to tasks like image classification and language modeling for finding efficient high-performance network architectures. In ASR field especially end-to-end ASR, the related research is still in its infancy. In this work, we focus on applying NAS on the most popular manually designed model: Conformer, and then propose an efficient ASR model searching method that benefits from the natural advantage of differentiable architecture search (Darts) in reducing computational overheads. We fuse Darts mutator and Conformer blocks to form a complete search space, within which a modified architecture called Darts-Conformer cell is found automatically. The entire searching process on AISHELL-1 dataset costs only 0.7 GPU days. Replacing the Conformer encoder by stacking searched cell, we get an end-to-end ASR model (named as Darts-Conformner) that outperforms the Conformer baseline by 4.7\% on the open-source AISHELL-1 dataset. Besides, we verify the transferability of the architecture searched on a small dataset to a larger 2k-hour dataset. To the best of our knowledge, this is the first successful attempt to apply gradient-based architecture search in the attention-based encoder-decoder ASR model.


title: Information Bottleneck Attribution for Visual Explanations of Diagnosis and Prognosis

abstract: Visual explanation methods have an important role in the prognosis of the patients where the annotated data is limited or unavailable. There have been several attempts to use gradient-based attribution methods to localize pathology from medical scans without using segmentation labels. This research direction has been impeded by the lack of robustness and reliability. These methods are highly sensitive to the network parameters. In this study, we introduce a robust visual explanation method to address this problem for medical applications. We provide an innovative visual explanation algorithm for general purpose and as an example application, we demonstrate its effectiveness for quantifying lesions in the lungs caused by the Covid-19 with high accuracy and robustness without using dense segmentation labels. This approach overcomes the drawbacks of commonly used Grad-CAM and its extended versions. The premise behind our proposed strategy is that the information flow is minimized while ensuring the classifier prediction stays similar. Our findings indicate that the bottleneck condition provides a more stable severity estimation than the similar attribution methods.


title: Electroweak and Left-Right Phase Transitions in $SO(5) \times U(1) \times SU(3)$ Gauge-Higgs Unification

abstract: The electroweak phase transition in GUT inspired $SO(5)\times U(1) \times SU(3)$ gauge-Higgs unification is shown to be weakly first order and occurs at $T = T_c^{\rm EW} \sim 163\,$GeV, which is very similar to the behavior in the standard model in perturbation theory. A new phase appears at higher temperatures. $SU(2)_L \times U(1)_Y$ ($\theta_H=0$) and $SU(2)_R \times U(1)_{Y'}$ ($\theta_H=\pi$) phases become almost degenerate above $T \sim m_{\rm KK}$ where $m_{\rm KK}$ is the Kaluza-Klein mass scale typically around 13$\,$TeV and $\theta_H$ is the Aharonov-Bohm phase along the fifth dimension. The two phases become degenerate at $T = T_c^{\rm LR} \sim m_{\rm KK}$. As the temperature drops in the evolution of the early Universe the $SU(2)_R \times U(1)_{Y'}$ phase becomes unstable. The tunneling rate from the $SU(2)_R \times U(1)_{Y'}$ phase to the $SU(2)_L \times U(1)_Y$ phase becomes sizable and a first-order phase transition takes place at $T=2.5 \sim 2.6\,$TeV. The amount of gravitational waves produced in this left-right phase transition is small, far below the reach of the sensitivity of Laser Interferometer Space Antenna (LISA). A detailed analysis of the $SU(2)_R \times U(1)_{Y'}$ phase is also given. It is shown that the $W$ boson, $Z$ boson and photon, with $\theta_H$ varying from 0 to $\pi$, are transformed to gauge bosons in the $SU(2)_R \times U(1)_{Y'}$ phase. Gauge couplings and wave functions of quarks, leptons and dark fermions in the $SU(2)_R \times U(1)_{Y'}$ phase are determined.


title: On the Critical Role of Conventions in Adaptive Human-AI Collaboration

abstract: Humans can quickly adapt to new partners in collaborative tasks (e.g. playing basketball), because they understand which fundamental skills of the task (e.g. how to dribble, how to shoot) carry over across new partners. Humans can also quickly adapt to similar tasks with the same partners by carrying over conventions that they have developed (e.g. raising hand signals pass the ball), without learning to coordinate from scratch. To collaborate seamlessly with humans, AI agents should adapt quickly to new partners and new tasks as well. However, current approaches have not attempted to distinguish between the complexities intrinsic to a task and the conventions used by a partner, and more generally there has been little focus on leveraging conventions for adapting to new settings. In this work, we propose a learning framework that teases apart rule-dependent representation from convention-dependent representation in a principled way. We show that, under some assumptions, our rule-dependent representation is a sufficient statistic of the distribution over best-response strategies across partners. Using this separation of representations, our agents are able to adapt quickly to new partners, and to coordinate with old partners on new tasks in a zero-shot manner. We experimentally validate our approach on three collaborative tasks varying in complexity: a contextual multi-armed bandit, a block placing task, and the card game Hanabi.


title: Harmless label noise and informative soft-labels in supervised classification

abstract: Manual labelling of training examples is common practice in supervised learning. When the labelling task is of non-trivial difficulty, the supplied labels may not be equal to the ground-truth labels, and label noise is introduced into the training dataset. If the manual annotation is carried out by multiple experts, the same training example can be given different class assignments by different experts, which is indicative of label noise. In the framework of model-based classification, a simple, but key observation is that when the manual labels are sampled using the posterior probabilities of class membership, the noisy labels are as valuable as the ground-truth labels in terms of statistical information. A relaxation of this process is a random effects model for imperfect labelling by a group that uses approximate posterior probabilities of class membership. The relative efficiency of logistic regression using the noisy labels compared to logistic regression using the ground-truth labels can then be derived. The main finding is that logistic regression can be robust to label noise when label noise and classification difficulty are positively correlated. In particular, when classification difficulty is the only source of label errors, multiple sets of noisy labels can supply more information for the estimation of a classification rule compared to the single set of ground-truth labels.


title: Speckles-Training-Based Denoising Convolutional Neural Network Ghost Imaging

abstract: Ghost imaging (GI) has been paid attention gradually because of its lens-less imaging capability, turbulence-free imaging and high detection sensitivity. However, low image quality and slow imaging speed restrict the application process of GI. In this paper, we propose a improved GI method based on Denoising Convolutional Neural Networks (DnCNN). Inspired by the corresponding between input (noisy image) and output (residual image) in DnCNN, we construct the mapping between speckles sequence and the corresponding noise distribution in GI through training. Then, the same speckles sequence is employed to illuminate unknown targets, and a de-noising target image will be obtained. The proposed method can be regarded as a general method for GI. Under two sampling rates, extensive experiments are carried out to compare with traditional GI method (basic correlation and compressed sensing) and DnCNN method on three data sets. Moreover, we set up a physical GI experiment system to verify the proposed method. The results show that the proposed method achieves promising performance.


title: Document Layout Analysis via Dynamic Residual Feature Fusion

abstract: The document layout analysis (DLA) aims to split the document image into different interest regions and understand the role of each region, which has wide application such as optical character recognition (OCR) systems and document retrieval. However, it is a challenge to build a DLA system because the training data is very limited and lacks an efficient model. In this paper, we propose an end-to-end united network named Dynamic Residual Fusion Network (DRFN) for the DLA task. Specifically, we design a dynamic residual feature fusion module which can fully utilize low-dimensional information and maintain high-dimensional category information. Besides, to deal with the model overfitting problem that is caused by lacking enough data, we propose the dynamic select mechanism for efficient fine-tuning in limited train data. We experiment with two challenging datasets and demonstrate the effectiveness of the proposed module.


title: A study of Si II and S II features in spectra of Type Ia supernova

abstract: We studied the spectral features of Si II $\lambda\lambda$4130, 5972, 6355 and S II W-trough for a large sample of Type Ia supernovae (SNe Ia). We find that in NV (Normal-Velocity) subclass of SNe Ia, these features tend to reach a maximum line strength near maximum light, except for Si II $\lambda$5972. Spectral features with higher excitation energy, such as S II W-trough, are relatively weak and have relatively low velocity. SNe Ia with larger $\Delta$m$_{15}$($B$) tend to have lower velocities especially at phases after maximum light. NV SNe show a trend of increasing line strength with increasing $\Delta$m$_{15}$($B$), while 91T/99aa-like SNe show an opposite trend. Near maximum light, the absorption depth of Si II $\lambda$5972 shows the strongest correlation with $\Delta$m$_{15}$($B$), while at early times the sum of the depths of Si II $\lambda\lambda$4130 and 5972 shows the strongest correlation with $\Delta$m$_{15}$($B$). The overall correlation between velocity and line strength is positive, but within NV SNe the correlation is negative or unrelated. In normal SNe Ia, the velocity-difference and depth-ratio of a longer-wavelength feature to a shorter-wavelength feature tend to increase with increasing $\Delta$m$_{15}$($B$). These results are mostly well explained with atomic physics, but some puzzles remain, possibly related to the effects of the saturation, line competition or other factors.


title: Finite Automata Encoding Functions: A Representation Using B-splines

abstract: Finite automata are used to encode geometric figures, functions and can be used for image compression and processing. The original approach is to represent each point of a figure (a graph of a function) in $\mathbb{R}^n$ as a convolution of its $n$ coordinates written in some base. Then a figure is said to be encoded as a finite automaton if the set of convolutions corresponding to points in this figure is accepted by a finite automaton. Jurgensen, Staiger and Yamasaki showed that the only continuously differentiable functions which can be encoded as a finite automaton in this way are linear. In this paper we propose a representation which enables to encode piecewise polynomial functions with arbitrary degrees of smoothness that substantially extends a family of functions which can be encoded as finite automata. This representation naturally comes from the framework of hierarchical tensor product B-splines utilized in numerical computational geometry. We show that finite automata provide a simple tool suitable for solving computational problem arising in this framework including the case when the support of a function is unbounded.


title: Hybrid QSS and Dynamic Extended-Term Simulation Based on Holomorphic Embedding

abstract: Power system simulations that extend over a time period of minutes, hours, or even longer are called extended-term simulations. As power systems evolve into complex systems with increasing interdependencies and richer dynamic behaviors across a wide range of timescales, extended-term simulation is needed for many power system analysis tasks (e.g., resilience analysis, renewable energy integration, cascading failures), and there is an urgent need for efficient and robust extended-term simulation approaches. The conventional approaches are insufficient for dealing with the extended-term simulation of multi-timescale processes. This paper proposes an extended-term simulation approach based on the holomorphic embedding (HE) methodology. Its accuracy and computational efficiency are backed by HE's high accuracy in event-driven simulation, larger and adaptive time steps, and flexible switching between full-dynamic and quasi-steady-state (QSS) models. We used this proposed extended-term simulation approach to evaluate bulk power system restoration plans, and it demonstrates satisfactory accuracy and efficiency in this complex simulation task.


title: Three-class Overlapped Speech Detection using a Convolutional Recurrent Neural Network

abstract: In this work, we propose an overlapped speech detection system trained as a three-class classifier. Unlike conventional systems that perform binary classification as to whether or not a frame contains overlapped speech, the proposed approach classifies into three classes: non-speech, single speaker speech, and overlapped speech. By training a network with the more detailed label definition, the model can learn a better notion on deciding the number of speakers included in a given frame. A convolutional recurrent neural network architecture is explored to benefit from both convolutional layer's capability to model local patterns and recurrent layer's ability to model sequential information. The proposed overlapped speech detection model establishes a state-of-the-art performance with a precision of 0.6648 and a recall of 0.3222 on the DIHARD II evaluation set, showing a 20% increase in recall along with higher precision. In addition, we also introduce a simple approach to utilize the proposed overlapped speech detection model for speaker diarization which ranked third place in the Track 1 of the DIHARD III challenge.


title: Adapting Speaker Embeddings for Speaker Diarisation

abstract: The goal of this paper is to adapt speaker embeddings for solving the problem of speaker diarisation. The quality of speaker embeddings is paramount to the performance of speaker diarisation systems. Despite this, prior works in the field have directly used embeddings designed only to be effective on the speaker verification task. In this paper, we propose three techniques that can be used to better adapt the speaker embeddings for diarisation: dimensionality reduction, attention-based embedding aggregation, and non-speech clustering. A wide range of experiments is performed on various challenging datasets. The results demonstrate that all three techniques contribute positively to the performance of the diarisation system achieving an average relative improvement of 25.07% in terms of diarisation error rate over the baseline.


title: Contingency Analysis Based on Partitioned and Parallel Holomorphic Embedding

abstract: In the steady-state contingency analysis, the traditional Newton-Raphson method suffers from non-convergence issues when solving post-outage power flow problems, which hinders the integrity and accuracy of security assessment. In this paper, we propose a novel robust contingency analysis approach based on holomorphic embedding (HE). The HE-based simulator guarantees convergence if the true power flow solution exists, which is desirable because it avoids the influence of numerical issues and provides a credible security assessment conclusion. In addition, based on the multi-area characteristics of real-world power systems, a partitioned HE (PHE) method is proposed with an interface-based partitioning of HE formulation. The PHE method does not undermine the numerical robustness of HE and significantly reduces the computation burden in large-scale contingency analysis. The PHE method is further enhanced by parallel or distributed computation to become parallel PHE (P${}^\mathrm{2}$HE). Tests on a 458-bus system, a synthetic 419-bus system and a large-scale 21447-bus system demonstrate the advantages of the proposed methods in robustness and efficiency.


title: Local stability of cooperation in a continuous model of indirect reciprocity

abstract: Reputation is a powerful mechanism to enforce cooperation among unrelated individuals through indirect reciprocity, but it suffers from disagreement originating from private assessment, noise, and incomplete information. In this work, we investigate stability of cooperation in the donation game by regarding each player's reputation and behaviour as continuous variables. Through perturbative calculation, we derive a condition that a social norm should satisfy to give penalties to its close variants, provided that everyone initially cooperates with a good reputation, and this result is supported by numerical simulation. A crucial factor of the condition is whether a well-reputed player's donation to an ill-reputed co-player is appreciated by other members of the society, and the condition can be reduced to a threshold for the benefit-cost ratio of cooperation which depends on the reputational sensitivity to a donor's behaviour as well as on the behavioural sensitivity to a recipient's reputation. Our continuum formulation suggests how indirect reciprocity can work beyond the dichotomy between good and bad even in the presence of inhomogeneity, noise, and incomplete information.


title: FSR: Accelerating the Inference Process of Transducer-Based Models by Applying Fast-Skip Regularization

abstract: Transducer-based models, such as RNN-Transducer and transformer-transducer, have achieved great success in speech recognition. A typical transducer model decodes the output sequence conditioned on the current acoustic state and previously predicted tokens step by step. Statistically, The number of blank tokens in the prediction results accounts for nearly 90\% of all tokens. It takes a lot of computation and time to predict the blank tokens, but only the non-blank tokens will appear in the final output sequence. Therefore, we propose a method named fast-skip regularization, which tries to align the blank position predicted by a transducer with that predicted by a CTC model. During the inference, the transducer model can predict the blank tokens in advance by a simple CTC project layer without many complicated forward calculations of the transducer decoder and then skip them, which will reduce the computation and improve the inference speed greatly. All experiments are conducted on a public Chinese mandarin dataset AISHELL-1. The results show that the fast-skip regularization can indeed help the transducer model learn the blank position alignments. Besides, the inference with fast-skip can be speeded up nearly 4 times with only a little performance degradation.


title: Online Feature Screening for Data Streams with Concept Drift

abstract: Screening feature selection methods are often used as a preprocessing step for reducing the number of variables before training step. Traditional screening methods only focus on dealing with complete high dimensional datasets. Modern datasets not only have higher dimension and larger sample size, but also have properties such as streaming input, sparsity and concept drift. Therefore a considerable number of online feature selection methods were introduced to handle these kind of problems in recent years. Online screening methods are one of the categories of online feature selection methods. The methods that we proposed in this research are capable of handling all three situations mentioned above. Our research study focuses on classification datasets. Our experiments show proposed methods can generate the same feature importance as their offline version with faster speed and less storage consumption. Furthermore, the results show that online screening methods with integrated model adaptation have a higher true feature detection rate than without model adaptation on data streams with the concept drift property. Among the two large real datasets that potentially have the concept drift property, online screening methods with model adaptation show advantages in either saving computing time and space, reducing model complexity, or improving prediction accuracy.


title: Spin-helical detection in a semiconductor quantum device with ferromagnetic contacts

abstract: Spin-helical states, which arise in quasi-one-dimensional (1D) channels with spin-orbital (SO) coupling, underpin efforts to realize topologically-protected quantum bits based on Majorana modes in semiconductor nanowires. Detecting helical states is challenging due to non-idealities present in real devices. Here we show by means of tight-binding calculations that by using ferromagnetic contacts it is possible to detect helical modes with high sensitivity even in the presence of realistic device effects, such as quantum interference. This is possible because of the spin-selective transmission properties of helical modes. In addition, we show that spin-polarized contacts provide a unique path to investigate the spin texture and spin-momentum locking properties of helical states. Our results are of interest not only for the ongoing development of Majorana qubits, but also as for realizing possible spin-based quantum devices, such as quantum spin modulators and interconnects based on spin-helical channels.


title: 3D Beam Training in Terahertz Communication: A Quadruple-UPA Architecture

abstract: In this paper, we propose a quadruple-UPA architecture for realizing the beamforming with wide coverage in terahertz (THz) communication. Considering the severe path loss suffered in the THz wave propagation, the pilot signals of conventional channel estimation strategies may not be effectively detected. In sight of this, we propose a fast 3D beam training strategy to jointly realize the angle estimation and the beamforming. Specifically, we first develop a novel hierarchical codebook that predefines some codewords (including narrow beams and wide beams) stage by stage. The narrow beams are designed as the beamforming solution candidates, whereas the wide beams are designed for reducing the training complexity. Then, we propose a 3D beam training procedure to find the optimal beamforming solution, i.e., the optimal narrow-beam pair, in a fast manner. Numerical results are presented to validate the effectiveness of the proposed scheme.


title: On Salum's Algorithm for $\mathrm{X3SAT}$

abstract: This is a commentary on, and critique of, Latif Salum's paper titled "Tractability of One-in-three $\mathrm{3SAT}$: $\mathrm{P} = \mathrm{NP}$." Salum purports to give a polynomial-time algorithm that solves the $\mathrm{NP}$-complete problem $\mathrm{X3SAT}$, thereby claiming $\mathrm{P} = \mathrm{NP}$. The algorithm, in short, fixes the polarity of a variable, carries out simplifications over the resulting formula to decide whether to keep the value assigned or flip the polarity, and repeats with the remaining variables. One thing this algorithm does not do is backtrack. We give an illustrative counterexample showing why the lack of backtracking makes this algorithm flawed.


title: Variation on a comprehensive theme

abstract: The main result concerns a bicategorical factorization system on the bicategory $\mathrm{Cat}$ of categories and functors. Each functor $A\xra{f} B$ factors up to isomorphism as $A\xra{j}E\xra{p}B$ where $j$ is what we call an ultimate functor and $p$ is what we call a groupoid fibration. Every right adjoint functor is ultimate. Functors whose ultimate factor is a right adjoint are shown to have bearing on the theory of polynomial functors.


title: Data-fusion using factor analysis and low-rank matrix completion

abstract: Data-fusion involves the integration of multiple related datasets. The statistical file-matching problem is a canonical data-fusion problem in multivariate analysis, where the objective is to characterise the joint distribution of a set of variables when only strict subsets of marginal distributions have been observed. Estimation of the covariance matrix of the full set of variables is challenging given the missing-data pattern. Factor analysis models use lower-dimensional latent variables in the data-generating process, and this introduces low-rank components in the complete-data matrix and the population covariance matrix. The low-rank structure of the factor analysis model can be exploited to estimate the full covariance matrix from incomplete data via low-rank matrix completion. We prove the identifiability of the factor analysis model in the statistical file-matching problem under conditions on the number of factors and the number of shared variables over the observed marginal subsets. Additionally, we provide an EM algorithm for parameter estimation. On several real datasets, the factor model gives smaller reconstruction errors in file-matching problems than the common approaches for low-rank matrix completion.


title: Domain wall dynamics in the spinor Bose-Einstein condensates

abstract: A dynamical theory is presented for the domain wall in the spinor Bose-Einstein condensate of "effective"one-dimension. The formulation is based on the time-dependent Landau-Ginzburg (LG) theory written in terms of the spinor order parameter. The procedure is carried out in such a way that an adiabatic change of the collective coordinates; the kink position as well as the phase function built in the spinor, is adapted to the canonical term (alias geometric phase) in the LG Lagrangian. Two problems are discussed: The first one is to explore the translational motion of the kink center in the presence of the pinning potential, which results in the quantum potential problem. The other one concerns the "steering" of the domain wall by modulating the externally driven magnetic field assisted with dissipation. The present attempt would shed light on the spinor Bose- Einstein condensates from a novel viewpoint.


title: PrivGenDB: Efficient and privacy-preserving query executions over encrypted SNP-Phenotype database

abstract: Searchable symmetric encryption (SSE) has been used to protect the confidentiality of genomic data while providing substring search and range queries on a sequence of genomic data, but it has not been studied for protecting single nucleotide polymorphism (SNP)-phenotype data. In this article, we propose a novel model, PrivGenDB, for securely storing and efficiently conducting different queries on genomic data outsourced to an honest-but-curious cloud server. To instantiate PrivGenDB, we use SSE to ensure confidentiality while conducting different types of queries on encrypted genomic data, phenotype and other information of individuals to help analysts/clinicians in their analysis/care. To the best of our knowledge, PrivGenDB construction is the first SSE-based approach ensuring the confidentiality of shared SNP-phenotype data through encryption while making the computation/query process efficient and scalable for biomedical research and care. Furthermore, it supports a variety of query types on genomic data, including count queries, Boolean queries, and k'-out-of-k match queries. Finally, the PrivGenDB model handles the dataset containing both genotype and phenotype, and it also supports storing and managing other metadata like gender and ethnicity privately. Computer evaluations on a dataset with 5,000 records and 1,000 SNPs demonstrate that a count/Boolean query and a k'-out-of-k match query over 40 SNPs take approximately 4.3s and 86.4{\mu}s, respectively, that outperforms the existing schemes.


title: Bathymetry and friction estimation from transient velocity data for 1D shallow water flows in open channels with varying width

abstract: The shallow water equations (SWE) model a variety of geophysical flows. Flows in channels with rectangular cross sections may be modelled with a simplified one-dimensional SWE with varying width. Among other model parameters, information about the bathymetry and friction coefficient is needed for the correct and precise prediction of the flow. Although synthetic values of the model parameters may suffice for testing numerical schemes, approximations of the bathymetry and other parameters may be required for applications. Estimations may be obtained by experimental methods but some of those techniques may be expensive, time consuming, and not always available. In this work, we propose to solve the inverse problem to estimate the bathymetry and the Manning's friction coefficient from transient velocity data. This is done with the aid of a cost functional which includes the SWE through Lagrange multipliers. The solution is obtained by solving the constrained optimization problem by a continuous descent method. The direct and the adjoint problems are both solved numerically using a second-order accurate Roe-type upwind scheme. Numerical tests are included to show the merits of the algorithm.


title: Theory of the Kitaev model in a [111] magnetic field

abstract: Recent numerical studies indicate that the antiferromagnetic Kitaev honeycomb lattice model undergoes a magnetic-field-induced quantum phase transition into a new spin-liquid phase. This intermediate-field phase has been previously characterized as a gapless spin liquid. By implementing a recently developed variational approach based on the exact fractionalized excitations of the zero-field model, we demonstrate that the field-induced spin liquid is gapped and belongs to Kitaev's 16-fold way. Specifically, the low-field non-Abelian liquid with Chern number $C=\pm 1$ transitions into an Abelian liquid with $C=\pm 4$. The critical field and the field-dependent behaviors of key physical quantities are in good quantitative agreement with published numerical results. Furthermore, we derive an effective field theory for the field-induced critical point which readily explains the ostensibly gapless nature of the intermediate-field spin liquid.


title: Combined Microwave and Laser Rayleigh Scattering Diagnostics for Pin-to-Pin Nanosecond Discharges

abstract: In this work, the temporal decay of electrons produced by an atmospheric pin-to-pin nanosecond discharge operating in the spark regime was measured via a combination of microwave Rayleigh scattering (MRS) and laser Rayleigh scattering (LRS). Due to the initial energy deposition of the nanosecond pulse, a variance in local gas density occurs on the timescale of electron decay. Thus, the assumption of a constant collisional frequency is no longer applicable when electron number data is extracted from the MRS measurements. To recalibrate the MRS measurements throughout the electron decay period, temporally-resolved LRS measurements of the local gas density were performed over the event duration. Local gas density was measured to be 30% of the ambient level during the later stages of electron decay and recovers at about 1 ms after the discharge. A shock front traveling approximately 500 m/s was additionally observed. Coupled with plasma volume calibration via temporally-resolved ICCD imaging, the corrected decay curves of the electron number and electron number density are presented with a measured peak electron number density of 4.5*10^15 cm^-3 and decay rate of ~ 0.1-0.35*10^7 s^-1. A hybrid MRS and LRS diagnostic technique can be applied for a broad spectrum of atmospheric-pressure microplasmas where a variation in number gas density is expected due to an energy deposition in the discharge.


title: Facial Attribute Transformers for Precise and Robust Makeup Transfer

abstract: In this paper, we address the problem of makeup transfer, which aims at transplanting the makeup from the reference face to the source face while preserving the identity of the source. Existing makeup transfer methods have made notable progress in generating realistic makeup faces, but do not perform well in terms of color fidelity and spatial transformation. To tackle these issues, we propose a novel Facial Attribute Transformer (FAT) and its variant Spatial FAT for high-quality makeup transfer. Drawing inspirations from the Transformer in NLP, FAT is able to model the semantic correspondences and interactions between the source face and reference face, and then precisely estimate and transfer the facial attributes. To further facilitate shape deformation and transformation of facial parts, we also integrate thin plate splines (TPS) into FAT, thus creating Spatial FAT, which is the first method that can transfer geometric attributes in addition to color and texture. Extensive qualitative and quantitative experiments demonstrate the effectiveness and superiority of our proposed FATs in the following aspects: (1) ensuring high-fidelity color transfer; (2) allowing for geometric transformation of facial parts; (3) handling facial variations (such as poses and shadows) and (4) supporting high-resolution face generation.


title: PyNET-CA: Enhanced PyNET with Channel Attention for End-to-End Mobile Image Signal Processing

abstract: Reconstructing RGB image from RAW data obtained with a mobile device is related to a number of image signal processing (ISP) tasks, such as demosaicing, denoising, etc. Deep neural networks have shown promising results over hand-crafted ISP algorithms on solving these tasks separately, or even replacing the whole reconstruction process with one model. Here, we propose PyNET-CA, an end-to-end mobile ISP deep learning algorithm for RAW to RGB reconstruction. The model enhances PyNET, a recently proposed state-of-the-art model for mobile ISP, and improve its performance with channel attention and subpixel reconstruction module. We demonstrate the performance of the proposed method with comparative experiments and results from the AIM 2020 learned smartphone ISP challenge. The source code of our implementation is available at https://github.com/egyptdj/skyb-aim2020-public


title: HCN (1-0) opacity of outflowing gas in Arp 220W

abstract: Context. We present our findings for the HCN/H13CN 1-0 line ratio in the molecular outflow of Arp 220 west based on high-resolution ALMA data. Aims. Molecular gas masses in the outflowing gas of galaxies driven by active galactic nuclei (AGNs) or starbursts are important parameters for understanding the feedback of these latter two phenomena and star-formation quenching. The conversion factor of line luminosities to masses is related to the optical depth of the molecular lines. Methods. Using H13CN 1-0, the isotopic line of HCN 1-0, to obtain the line ratio of HCN/H13CN 1-0 is an ideal way to derive the optical depth of HCN 1-0 in outflowing gas. Results. With the nondetection of H13CN 1-0 in the outflowing gas, a 3{\sigma} lower limit of HCN/H13CN 1-0 line ratio is obtained, which is at least three times higher than that found in the whole of the whole system of Arp 220. The high HCN/H13CN 1-0 line ratio indicates low opacity of HCN 1-0 in the outflowing gas, even though the upper limit of HCN 1-0 opacity obtained here is still not good enough to draw any robust conclusions if HCN 1-0 is optically thin. A lower conversion factor of HCN 1-0 luminosity to dense gas mass in the outflowing gas should be used than that used for the host galaxy of Arp 220.


title: Intelligent Reflecting Surface Assisted Terahertz Communications toward 6G

abstract: Terahertz (THz) communications have emerged as a promising candidate to support the heavy data traffic and exploding network capacity in the future 6G wireless networks. However, THz communications are facing many challenges for practical implementation, such as propagation loss, signal blockage, and hardware cost. In this article, an emerging paradigm of intelligent reflecting surface (IRS) assisted THz communications is analyzed, to address the above issues, by leveraging the joint active and passive beamforming to enhance the communication quality and reduce overheads. Aiming at practical implementation, an overview of the currently available approaches of realizing THz active/passive beam steering at transmitter and IRS is presented. Based on these approaches, a beam training strategy for establishing joint beamforming is then investigated in THz communications. Moreover, various emerging and appealing 6G scenarios that integrate IRS into THz communications are envisioned. Open challenges and future research directions for this new paradigm are finally highlighted.


title: Quantum metrology based on symmetry-protected adiabatic transformation: Imperfection, finite time duration, and dephasing

abstract: The aim of quantum metrology is to estimate target parameters as precisely as possible. In this paper, we consider quantum metrology based on symmetry-protected adiabatic transformation. We introduce a ferromagnetic Ising model with a transverse field as a probe and consider the estimation of a longitudinal field. Without the transverse field, the ground state of the probe is given by the Greenberger-Horne-Zeilinger state, and thus the Heisenberg limit estimation of the longitudinal field can be achieved through parity measurement. In our scheme, full information of the longitudinal field encoded on parity is exactly mapped to global magnetization by symmetry-protected adiabatic transformation, and thus the parity measurement can be replaced with global magnetization measurement. Moreover, this scheme requires neither accurate control of individual qubits nor that of interaction strength. We discuss the effects of the finite transverse field and nonadiabatic transitions as imperfection of adiabatic transformation. By taking into account finite time duration for state preparation, sensing, and readout, we also compare performance of the present scheme with a classical scheme in the absence and presence of dephasing.


title: Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units

abstract: Automated mathematical reasoning is a challenging problem that requires an agent to learn algebraic patterns that contain long-range dependencies. Two particular tasks that test this type of reasoning are (1) mathematical equation verification, which requires determining whether trigonometric and linear algebraic statements are valid identities or not, and (2) equation completion, which entails filling in a blank within an expression to make it true. Solving these tasks with deep learning requires that the neural model learn how to manipulate and compose various algebraic symbols, carrying this ability over to previously unseen expressions. Artificial neural networks, including recurrent networks and transformers, struggle to generalize on these kinds of difficult compositional problems, often exhibiting poor extrapolation performance. In contrast, recursive neural networks (recursive-NNs) are, theoretically, capable of achieving better extrapolation due to their tree-like design but are difficult to optimize as the depth of their underlying tree structure increases. To overcome this issue, we extend recursive-NNs to utilize multiplicative, higher-order synaptic connections and, furthermore, to learn to dynamically control and manipulate an external memory. We argue that this key modification gives the neural system the ability to capture powerful transition functions for each possible input. We demonstrate the effectiveness of our proposed higher-order, memory-augmented recursive-NN models on two challenging mathematical equation tasks, showing improved extrapolation, stable performance, and faster convergence. Our models achieve a 1.53% average improvement over current state-of-the-art methods in equation verification and achieve a 2.22% Top-1 average accuracy and 2.96% Top-5 average accuracy for equation completion.


title: Fluorescence-Detected Mid-Infrared Photothermal Microscopy

abstract: We demonstrate instrumentation and methods to enable fluorescence-detected photothermal infrared (F-PTIR) microscopy, then demonstrate the utility of F-PTIR to characterize the composition within phase-separated domains of model amorphous solid dispersions (ASDs) induced by water sorption. In F-PTIR, temperature-dependent changes in fluorescence quantum efficiency are shown to sensitively report on highly localized absorption of mid-infrared radiation. The spatial resolution with which infrared spectroscopy can be performed is dictated by fluorescence microscopy, rather than the infrared wavelength. Following proof of concept F-PTIR demonstration on model systems of polyethylene glycol (PEG) and silica gel, F-PTIR enabled the characterization of chemical composition within inhomogeneous ritonavir / polyvinylpyrrolidone-vinyl acetate (PVPVA) amorphous dispersions. Phase separation is implicated in the observation of critical behaviors in ASD dissolution kinetics, with the results of F-PTIR supporting the formation of phase-separated drug-rich domains upon water absorption in spin-cast films.


title: S2VC: A Framework for Any-to-Any Voice Conversion with Self-Supervised Pretrained Representations

abstract: Any-to-any voice conversion (VC) aims to convert the timbre of utterances from and to any speakers seen or unseen during training. Various any-to-any VC approaches have been proposed like AUTOVC, AdaINVC, and FragmentVC. AUTOVC, and AdaINVC utilize source and target encoders to disentangle the content and speaker information of the features. FragmentVC utilizes two encoders to encode source and target information and adopts cross attention to align the source and target features with similar phonetic content. Moreover, pre-trained features are adopted. AUTOVC used dvector to extract speaker information, and self-supervised learning (SSL) features like wav2vec 2.0 is used in FragmentVC to extract the phonetic content information. Different from previous works, we proposed S2VC that utilizes Self-Supervised features as both source and target features for VC model. Supervised phoneme posteriororgram (PPG), which is believed to be speaker-independent and widely used in VC to extract content information, is chosen as a strong baseline for SSL features. The objective evaluation and subjective evaluation both show models taking SSL feature CPC as both source and target features outperforms that taking PPG as source feature, suggesting that SSL features have great potential in improving VC.


title: Spectral analysis of climate dynamics with operator-theoretic approaches

abstract: The Earth's climate system is a classical example of a multiscale, multiphysics dynamical system with an extremely large number of active degrees of freedom, exhibiting variability on scales ranging from micrometers and seconds in cloud microphysics, to thousands of kilometers and centuries in ocean dynamics. Yet, despite this dynamical complexity, climate dynamics is known to exhibit coherent modes of variability. A primary example is the El Ni\~no Southern Oscillation (ENSO), the dominant mode of interannual (3-5 yr) variability in the climate system. The objective and robust characterization of this and other important phenomena presents a long-standing challenge in Earth system science, the resolution of which would lead to improved scientific understanding and prediction of climate dynamics, as well as assessment of their impacts on human and natural systems. Here, we show that the spectral theory of dynamical systems, combined with techniques from data science, provides an effective means for extracting coherent modes of climate variability from high-dimensional model and observational data, requiring no frequency prefiltering, but recovering multiple timescales and their interactions. Lifecycle composites of ENSO are shown to improve upon results from conventional indices in terms of dynamical consistency and physical interpretability. In addition, the role of combination modes between ENSO and the annual cycle in ENSO diversity is elucidated.


title: A Priori Analysis of Stable Neural Network Solutions to Numerical PDEs

abstract: Methods for solving PDEs using neural networks have recently become a very important topic. We provide an a priori error analysis for such methods which is based on the $\mathcal{K}_1(\mathbb{D})$-norm of the solution. We show that the resulting constrained optimization problem can be efficiently solved using a greedy algorithm, which replaces stochastic gradient descent. Following this, we show that the error arising from discretizing the energy integrals is bounded both in the deterministic case, i.e. when using numerical quadrature, and also in the stochastic case, i.e. when sampling points to approximate the integrals. In the later case, we use a Rademacher complexity analysis, and in the former we use standard numerical quadrature bounds. This extends existing results to methods which use a general dictionary of functions to learn solutions to PDEs and importantly gives a consistent analysis which incorporates the optimization, approximation, and generalization aspects of the problem. In addition, the Rademacher complexity analysis is simplified and generalized, which enables application to a wide range of problems.


title: Multimodal Object Detection via Probabilistic Ensembling

abstract: Object detection with multimodal inputs can improve many safety-critical systems such as autonomous vehicles (AVs). Motivated by AVs that operate in both day and night, we study multimodal object detection with RGB and thermal cameras, since the latter provides much stronger object signatures under poor illumination. We explore strategies for fusing information from different modalities. Our key contribution is a probabilistic ensembling technique, ProbEn, a simple non-learned method that fuses together detections from multi-modalities. We derive ProbEn from Bayes' rule and first principles that assume conditional independence across modalities. Through probabilistic marginalization, ProbEn elegantly handles missing modalities when detectors do not fire on the same object. Importantly, ProbEn also notably improves multimodal detection even when the conditional independence assumption does not hold, e.g., fusing outputs from other fusion methods (both off-the-shelf and trained in-house). We validate ProbEn on two benchmarks containing both aligned (KAIST) and unaligned (FLIR) multimodal images, showing that ProbEn outperforms prior work by more than 13% in relative performance!


title: Compatibility of transport effects in non-Hermitian nonreciprocal systems

abstract: Based on a general transport theory for non-reciprocal non-Hermitian systems and a topological model that encompasses a wide range of previously studied models, we (i) provide conditions for effects such as reflectionless and transparent transport, lasing, and coherent perfect absorption, (ii) identify which effects are compatible and linked with each other, and (iii) determine by which levers they can be tuned independently. For instance, the directed amplification inherent in the non-Hermitian skin effect does not enter the spectral conditions for reflectionless transport, lasing, or coherent perfect absorption, but allows to adjust the transparency of the system. In addition, in the topological model the conditions for reflectionless transport depend on the topological phase, but those for coherent perfect absorption do not. This then allows us to establish a number of distinct transport signatures of non-Hermitian, nonreciprocal, and topological behaviour, in particular (I) reflectionless transport in a direction that depends on the topological phase, (II) invisibility coinciding with the skin-effect phase transition of topological edge states, and (III) coherent perfect absorption in a system that is transparent when probed from one side.


title: Non-Hermitian topological end breathers

abstract: Nonlinearities in lattices with topologically nontrivial band structures can give rise to topological solitons, whose properties differ from both conventional lattice solitons and linear topological boundary states. We show that a Su-Schrieffer-Heeger-type lattice with both nonlinearity and nonreciprocal non-Hermiticity hosts a novel oscillatory soliton, which we call a topological end breather. The end breather is strongly localized to a self-induced topological domain near the end of the lattice, in sharp contrast to the extended topological solitons previously found in one-dimensional lattices. Its stable oscillatory dynamics can be interpreted as a Rabi oscillation between two self-induced topological boundary states, emerging from a combination of chiral lattice symmetry and the non-Hermitian skin effect. This demonstrates that non-Hermitian effects can give rise to a wider variety of topological solitons than was previously known to exist.


title: Some characterizations of rectifying curves on a smooth surface in Euclidean 3-space

abstract: In this paper, we investigate sufficient condition for the invariance of a rectifying curve on a smooth surface immersed in Euclidean 3-space under isometry by using Darboux frame $\left\lbrace T, P, U\right\rbrace$. Further, we find the deviations of the position vector of a rectifying curve on the smooth surface along any tangent vector $T = a\phi_u + b\phi_v$ with respect to the isometry. We also find the deviations of the position vector of a rectifying curve on the smooth surface along the unit normal $U$ to the surface and along $P (= U \times T)$ with respect to the isometry.


title: Observation of Topologically Robust Localized Magnetic Plasmon Skyrmions

abstract: Optical skyrmions have recently been constructed by tailoring electric or spin field distributions through the interference of multiple surface plasmon polaritons, offering promising features for advanced information processing, transport and storage. Here, we construct topologically robust plasmonic skyrmions in a wisely tailored space-coiling meta-structure supporting magnetic localized spoof plasmons (LSPs), which are strongly squeezed down to {\lambda}3/106 and do not require stringent external interference conditions. By directly measuring the spatial profile of all three vectorial magnetic fields, we reveal multiple {\pi}-twist target skyrmion configurations mapped to multi-resonant near-equidistant LSP eigen-modes. The real-space topological robustness of these skyrmion configurations is confirmed by arbitrary deformations of the meta-structure, demonstrating flexible skyrmionic textures with arbitrary shapes. The observed magnetic LSP skyrmions pave the way to ultra-compact and topologically robust plasmonic devices, such as flexible sensors, wearable electronics and ultra-compact antennas.


title: Thermophysical model for realistic surface layers on airless small bodies: applied to study the spin orientation and surface dust properties of (24) Themis from WISE/NEOWISE multi-epoch thermal lightcurves

abstract: This work proposes a thermophysical model for realistic surface layers on airless small bodies (RSTPM), for the use of interpreting their multi-epoch thermal lightcurves (e.g WISE/NEOWISE). RSTPM considers real orbital cycle, rotation cycle, rough surface, temperature dependent thermal parameters, as well as contributions of sunlight reflection to observations, hence being able to produce precise temperature distribution and thermal emission of airless small bodies regarding the variations in orbital time scales. Details of the physics, mathematics and numerical algorithms of RSTPM are presented. When used to interpret multi-epoch thermal lightcurves by WISE/NEOWISE, RSTPM can give constraints on the spin orientation and surface physical properties, like mean thermal inertia or mean size of dust grains, roughness fraction, albedo and so on via radiometric procedure. As an application example, we apply this model to the main-belt object (24) Themis, the largest object of the Themis family, which is believed to be the source region of many main-belt comets. We find multi-epoch (2010, 2014-2018) observations of Themis by WISE/NEOWISE, yielding 18 thermal lightcurves. By fitting these data with RSTPM, best-fit spin orientation of Themis is derived to be ($\lambda=137^\circ$, $\beta=59^\circ$) in ecliptic coordinates, the mean radius of dust grains on the surface is estimated to be $\tilde{b}=140^{+500}_{-114}(6\sim640)~\mu$m, indicating the surface thermal inertia to vary from $\sim3\rm~Jm^{-2}s^{-0.5}K^{-1}$ to $\sim60\rm~Jm^{-2}s^{-0.5}K^{-1}$ due to seasonal temperature variation. Further analysis found that thermal light curves of Themis show a weak rotation-phase dependent feature, indicative of heterogeneous thermal properties or imperfections of lightcurve inversion shape model.


title: Rotation-Activity Relation of Ca II and Mg I Infrared Emission Lines of Young Stars

abstract: To reveal the detail of the internal structure, the relationship between chromospheric activity and the Rossby number, N_R (= rotational period P / convective turnover time tau_c), has been extensively examined for main-sequence stars. The goal of our work is to apply the same methods to pre-main-sequence (PMS) stars and identify the appropriate model of tau_c for them. Yamashita et al. (2020) investigated the relationship between N_R and strengths of the Ca II infrared triplet (IRT; lambda 8498, 8542, 8662 A) emission lines of 60 PMS stars. Their equivalent widths are converted into the emission line to stellar bolometric luminosity ratio (R'). The 54 PMS stars have N_R < 10^{-1.0} and show R' \sim 10^{-4.2} as large as the maximum R' of the zero-age main-sequence (ZAMS) stars. However, because all R' was saturated against N_R, it was not possible to estimate the appropriate tau_c model for the PMS stars. We noticed that Mg I emission lines at 8808 A is an optically thin chromospheric line, appropriate for determination of the adequate tau_c for PMS stars. Using the archive data of the Anglo-Australian Telescope (AAT)/the University College London Echelle Spectrograph (UCLES), we investigated the Mg I line of 52 ZAMS stars. After subtracting photospheric absorption component, the Mg I line is detected as an emission line in 45 ZAMS stars, whose R' is between 10^{-5.9} and 10^{-4.1}. The Mg I line is not saturated yet in "the saturated regime for the Ca II emission lines", i.e. 10^{-1.6} < N_R < 10^{-0.8}. Therefore, the adequate tau_c for PMS stars can be determined by measuring of their R' values.


title: Unifying theory of quantum state estimation using past and future information

abstract: Quantum state estimation for continuously monitored dynamical systems involves assigning a quantum state to an individual system at some time, conditioned on the results of continuous observations. The quality of the estimation depends on how much observed information is used and on how optimality is defined for the estimate. In this work, we consider problems of quantum state estimation where some of the measurement records are not available, but where the available records come from both before (past) and after (future) the estimation time, enabling better estimates than is possible using the past information alone. Past-future information for quantum systems has been used in various ways in the literature, in particular, the quantum state smoothing, the most-likely path, and the two-state vector and related formalisms. To unify these seemingly unrelated approaches, we propose a framework for partially-observed quantum system with continuous monitoring, wherein the first two existing formalisms can be accommodated, with some generalization. The unifying framework is based on state estimation with expected cost minimization, where the cost can be defined either in the space of the unknown record or in the space of the unknown true state. Moreover, we connect all three existing approaches conceptually by defining five new cost functions, and thus new types of estimators, which bridge the gaps between them. We illustrate the applicability of our method by calculating all seven estimators we consider for the example of a driven two-level system dissipatively coupled to bosonic baths. Our theory also allows connections to classical state estimation, which create further conceptual links between our quantum state estimators.


title: An Iteratively Reweighted Method for Sparse Optimization on Nonconvex $\ell_{p}$ Ball

abstract: This paper is intended to solve the nonconvex $\ell_{p}$-ball constrained nonlinear optimization problems. An iteratively reweighted method is proposed, which solves a sequence of weighted $\ell_{1}$-ball projection subproblems. At each iteration, the next iterate is obtained by moving along the negative gradient with a stepsize and then projecting the resulted point onto the weighted $\ell_{1}$ ball to approximate the $\ell_{p}$ ball. Specifically, if the current iterate is in the interior of the feasible set, then the weighted $\ell_{1}$ ball is formed by linearizing the $\ell_{p}$ norm at the current iterate. If the current iterate is on the boundary of the feasible set, then the weighted $\ell_{1}$ ball is formed differently by keeping those zero components in the current iterate still zero. In our analysis, we prove that the generated iterates converge to a first-order stationary point. Numerical experiments demonstrate the effectiveness of the proposed method.


title: Robot Development and Path Planning for Indoor Ultraviolet Light Disinfection

abstract: Regular irradiation of indoor environments with ultraviolet C (UVC) light has become a regular task for many indoor settings as a result of COVID-19, but current robotic systems attempting to automate it suffer from high costs and inefficient irradiation. In this paper, we propose a purpose-made inexpensive robotic platform with off-the-shelf components and standard navigation software that, with a novel algorithm for finding optimal irradiation locations, addresses both shortcomings to offer affordable and efficient solutions for UVC irradiation. We demonstrate in simulations the efficacy of the algorithm and show a prototypical run of the autonomous integrated robotic system in an indoor environment. In our sample instances, our proposed algorithm reduces the time needed by roughly 30\% while it increases the coverage by a factor of 35\% (when compared to the best possible placement of a static light).


title: Geometry of Peterson Schubert calculus in type A and left-right diagrams

abstract: We introduce an additive basis of the integral cohomology ring of the Peterson variety which reflects the geometry of certain subvarieties of the Peterson variety. We explain the positivity of the structure constants from a geometric viewpoint, and provide a manifestly positive combinatorial formula for them. We also prove that our basis coincides with the additive basis introduced by Harada-Tymoczko.


title: A Central-Upwind Scheme for Two-layer Shallow-water Flows with Friction and Entrainment along Channels

abstract: We present a new high-resolution, non-oscillatory semi-discrete central-upwind scheme for one-dimensional two-layer shallow-water flows with friction and entrainment along channels with arbitrary cross sections and bottom topography. These flows are described by a conditionally hyperbolic balance law with non-conservative products. A detailed description of the properties of the model is provided, including entropy inequalities and asymptotic approximations of the eigenvalues of the corresponding coefficient matrix. The scheme extends existing central-upwind semi-discrete numerical methods for hyperbolic conservation and balance laws and it satisfies two properties crucial for the accurate simulation of shallow-water flows: it {\it preserves the positivity} of the water depth for each layer, and it is {\it well balanced}, i.e., the source terms arising from the geometry of the channel are discretized so as to balance the non-linear hyperbolic flux gradients. Along with the description of the scheme and proofs of these two properties, we present several numerical experiments that demonstrate the robustness of the numerical algorithm.


title: Deterministic Assembly of Single Emitters in Sub-5 Nanometer Optical Cavity Formed by Gold Nanorod Dimers on Three-Dimensional DNA Origami

abstract: Controllable strong interactions between a nanocavity and a single emitter is important to manipulating optical emission in a nanophotonic systems but challenging to achieve. Here a three-dimensional DNA origami, named as DNA rack (DR) is proposed and demonstrated to deterministically and precisely assemble single emitters within ultra-small plasmonic nanocavities formed by closely coupled gold nanorods (AuNRs). The DR uniquely possesses a saddle shape with two tubular grooves that geometrically allows a snug fit and linearly align two AuNRs with a bending angle <10{\deg}. It also includes a spacer at the saddle point to maintain the gap between AuNRs as small as 2-3 nm, forming a nanocavity estimated to be 20 nm3 and an experimentally measured Q factor of 7.3. A DNA docking strand is designed at the spacer to position a single fluorescent emitter at nanometer accuracy within the cavity. Using Cy5 as a model emitter, a ~30-fold fluorescence enhancement and a significantly reduced emission lifetime (from 1.6 ns to 670 ps) were experimentally verified, confirming significant emitter-cavity interactions. This DR-templated assembly method is capable of fitting AuNRs of variable length-to-width aspect ratios to form anisotropic nanocavities and deterministically incorporating different single emitters, thus enabling flexible design of both cavity resonance and emission wavelengths to tailor light-matter interactions at nanometer scale.


title: Mechanisms of Molecular Ferroelectrics Made Simple

abstract: Molecular ferroelectrics have captured immense attention due to their superiority over inorganic oxide ferroelectrics, such as environmentally friendly, low-cost, flexible, foldable. However, the mechanisms of ferroelectric switching and phase transition for the molecular ferroelectrics are still missing, leaving the development of novel molecular ferroelectrics less efficient. In this work, we have provided a methodology combining molecular dynamics (MD) simulation on a polarized force field named polarized crystal charge (PCC) and enhanced sampling technique, replica-exchange molecular dynamics (REMD) to simulate such mechanisms. With this procedure, we have investigated a promising molecular ferroelectric material, (R)/(S)-3-quinuclidinol crystal. We have simulated the ferroelectric hysteresis loops of both enantiomers and obtained spontaneous polarization of 7/8 \mu C cm-2 and a corresponding coercive electric field of 15 kV cm-1. We also find the Curie temperature as 380/385 K for ferro-/para-electric phase transition of both enantiomers. All of the simulated results are highly compatible with experimental values. Besides of that, we predict a novel Curie temperature of about 600 K. This finding is further validated by principal component analysis (PCA). Our work would significantly promote the future exploration of multifunctional molecular ferroelectrics for the next generation of intelligent devices.


title: An Eigenvalue Analysis of Damping in Optical Thin Plasmas

abstract: In this work, the behavior of magnetohydrodynamic waves in optically thin plasmas considering dissipative processes, thermal and magnetic diffusion, a given ionization, and the heating and cooling functions are investigated for several particular cases. A numerical eigenvalues analysis of the dimensionless secular equations according to various cases is performed for the entire set of MHD equations.


title: Moduli theory associated to Hochschild pairs

abstract: We consider an $A$-linear stable infinity-category $\mathcal{C}$ and the pair $(\mathcal{HH}^\bullet(\mathcal{C}/A),\mathcal{HH}_\bullet(\mathcal{C}/A))$ of the Hochschild cohomology spectrum (Hochschild cochain complex) and the Hochschild homology spectrum (Hochschild chain complex). The purpose of this paper is to provide a moduli-theoretic interpretation of the algebraic structure on the Hochschild pair of $\mathcal{C}$. The algebraic structure on the Hochschild pair is encoded by means of a two-colored topological operad called Kontsevich-Soibelman operad. The notions of cyclic deformations and equivariant deformations (of the Hochschild chain complex) associated to deformations of $\mathcal{C}$ play a central role.


title: Visualization of the Computation Process of a Universal Register Machine

abstract: Universal register machine, a formal model of computation, can be emulated on the array of the Game of Life, a two-dimensional cellular automaton. We perform spectral analysis on the computation dynamical process of the universal register machine on the Game of Life. The array is divided into small sectors and the power spectrum is calculated from the evolution in each sector. The power spectrum can be classified into four categories by its shape; null, white noise, sharp peaks, and power law. By representing the shape of power spectrum by a mark, we can visualize the activity of the sector during the computation process. For example, the track of pulse moving between components of the universal register machine and the position of frequently modified registers can be identified. This method can expose the functional difference in each region of computing machine.


title: Unsupervised Visual Attention and Invariance for Reinforcement Learning

abstract: Vision-based reinforcement learning (RL) is successful, but how to generalize it to unknown test environments remains challenging. Existing methods focus on training an RL policy that is universal to changing visual domains, whereas we focus on extracting visual foreground that is universal, feeding clean invariant vision to the RL policy learner. Our method is completely unsupervised, without manual annotations or access to environment internals. Given videos of actions in a training environment, we learn how to extract foregrounds with unsupervised keypoint detection, followed by unsupervised visual attention to automatically generate a foreground mask per video frame. We can then introduce artificial distractors and train a model to reconstruct the clean foreground mask from noisy observations. Only this learned model is needed during test to provide distraction-free visual input to the RL policy learner. Our Visual Attention and Invariance (VAI) method significantly outperforms the state-of-the-art on visual domain generalization, gaining 15 to 49% (61 to 229%) more cumulative rewards per episode on DeepMind Control (our DrawerWorld Manipulation) benchmarks. Our results demonstrate that it is not only possible to learn domain-invariant vision without any supervision, but freeing RL from visual distractions also makes the policy more focused and thus far better.


title: Sparse Oblique Decision Trees: A Tool to Understand and Manipulate Neural Net Features

abstract: The widespread deployment of deep nets in practical applications has lead to a growing desire to understand how and why such black-box methods perform prediction. Much work has focused on understanding what part of the input pattern (an image, say) is responsible for a particular class being predicted, and how the input may be manipulated to predict a different class. We focus instead on understanding which of the internal features computed by the neural net are responsible for a particular class. We achieve this by mimicking part of the neural net with an oblique decision tree having sparse weight vectors at the decision nodes. Using the recently proposed Tree Alternating Optimization (TAO) algorithm, we are able to learn trees that are both highly accurate and interpretable. Such trees can faithfully mimic the part of the neural net they replaced, and hence they can provide insights into the deep net black box. Further, we show we can easily manipulate the neural net features in order to make the net predict, or not predict, a given class, thus showing that it is possible to carry out adversarial attacks at the level of the features. These insights and manipulations apply globally to the entire training and test set, not just at a local (single-instance) level. We demonstrate this robustly in the MNIST and ImageNet datasets with LeNet5 and VGG networks.


title: On D-modules of categories I

abstract: In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is based on a canonical extension of factorization homology to the mapping stack and relation between sheaves on free loop space and D-modules. The second one uses the algebraic structure on Hochschild pairs, its moduli-theoretic interpretation, Kodaira-Spencer morphisms, and the relation between dg Lie algebras and pointed formal stacks.


title: Forecasting Elections from Partial Information Using a Bayesian Model for a Multinomial Sequence of Data

abstract: Predicting the winner of an election is of importance to multiple stakeholders. To formulate the problem, we consider an independent sequence of categorical data with a finite number of possible outcomes in each. The data is assumed to be observed in batches, each of which is based on a large number of such trials and can be modeled via multinomial distributions. We postulate that the multinomial probabilities of the categories vary randomly depending on batches. The challenge is to predict accurately on cumulative data based on data up to a few batches as early as possible. On the theoretical front, we first derive sufficient conditions of asymptotic normality of the estimates of the multinomial cell probabilities and present corresponding suitable transformations. Then, in a Bayesian framework, we consider hierarchical priors using multivariate normal and inverse Wishart distributions and establish the posterior convergence. The desired inference is arrived at using these results and ensuing Gibbs sampling. The methodology is demonstrated with election data from two different settings -- one from India and the other from the United States of America. Additional insights of the effectiveness of the proposed methodology are attained through a simulation study.


title: Pretrained equivariant features improve unsupervised landmark discovery

abstract: Locating semantically meaningful landmark points is a crucial component of a large number of computer vision pipelines. Because of the small number of available datasets with ground truth landmark annotations, it is important to design robust unsupervised and semi-supervised methods for landmark detection. Many of the recent unsupervised learning methods rely on the equivariance properties of landmarks to synthetic image deformations. Our work focuses on such widely used methods and sheds light on its core problem, its inability to produce equivariant intermediate convolutional features. This finding leads us to formulate a two-step unsupervised approach that overcomes this challenge by first learning powerful pixel-based features and then use the pre-trained features to learn a landmark detector by the traditional equivariance method. Our method produces state-of-the-art results in several challenging landmark detection datasets such as the BBC Pose dataset and the Cat-Head dataset. It performs comparably on a range of other benchmarks.


title: SREDS: A dichromatic separation based measure of skin color

abstract: Face recognition (FR) systems are fast becoming ubiquitous. However, differential performance among certain demographics was identified in several widely used FR models. The skin tone of the subject is an important factor in addressing the differential performance. Previous work has used modeling methods to propose skin tone measures of subjects across different illuminations or utilized subjective labels of skin color and demographic information. However, such models heavily rely on consistent background and lighting for calibration, or utilize labeled datasets, which are time-consuming to generate or are unavailable. In this work, we have developed a novel and data-driven skin color measure capable of accurately representing subjects' skin tone from a single image, without requiring a consistent background or illumination. Our measure leverages the dichromatic reflection model in RGB space to decompose skin patches into diffuse and specular bases.


title: Topological interaction of neutrino with photon in the magnetic field -- Electroweak Hall effect

abstract: The effective interaction of a neutrino with a photon in magnetized plasma is obtained from a strong field expansion in the electroweak standard model. The interaction is expressed by a Chern-Simons form of the neutrino current and the electromagnetic vector potential of the coupling strength proportional to $\frac{n_e}{B} \times e G_F$. The derivation of the interaction Lagrangian and its properties are presented.


title: Circulant association schemes on triples

abstract: Association Schemes and coherent configurations (and the related Bose-Mesner algebra and coherent algebras) are well known in combinatorics with many applications. In the 1990s, Mesner and Bhattacharya introduced a three-dimensional generalisation of association schemes which they called an association scheme on triples (AST) and constructed examples of several families of ASTs. Many of their examples used 2-transitive permutation groups: the non-trivial ternary relations of the ASTs were sets of ordered triples of pairwise distinct points of the underlying set left invariant by the group; and the given permutation group was a subgroup of automorphisms of the AST. In this paper, we consider ASTs that do not necessarily admit 2-transitive groups as automorphism groups but instead a transitive cyclic subgroup of the symmetric group acts as automorphisms. Such ASTs are called circulant ASTs and the corresponding ternary relations are called circulant relations. We give a complete characterisation of circulant ASTs in terms of AST-regular partitions of the underlying set. We also show that a special type of circulant, that we call a thin circulant, plays a key role in describing the structure of circulant ASTs. We outline several open questions.


title: Minimax Kernel Machine Learning for a Class of Doubly Robust Functionals with Application to Proximal Causal Inference

abstract: Robins et al. (2008) introduced a class of influence functions (IFs) which could be used to obtain doubly robust moment functions for the corresponding parameters. However, that class does not include the IF of parameters for which the nuisance functions are solutions to integral equations. Such parameters are particularly important in the field of causal inference, specifically in the recently proposed proximal causal inference framework of Tchetgen Tchetgen et al. (2020), which allows for estimating the causal effect in the presence of latent confounders. In this paper, we first extend the class of Robins et al. to include doubly robust IFs in which the nuisance functions are solutions to integral equations. Then we demonstrate that the double robustness property of these IFs can be leveraged to construct estimating equations for the nuisance functions, which enables us to solve the integral equations without resorting to parametric models. We frame the estimation of the nuisance functions as a minimax optimization problem. We provide convergence rates for the nuisance functions and conditions required for asymptotic linearity of the estimator of the parameter of interest. The experiment results demonstrate that our proposed methodology leads to robust and high-performance estimators for average causal effect in the proximal causal inference framework.


title: Proof of a Conjecture on Wiener Index and Eccentricity of a graph due to edge contraction

abstract: For a connected graph $G$, the Wiener index, denoted by $W(G)$, is the sum of the distance of all pairs of distinct vertices and the eccentricity, denoted by $\varepsilon(G)$, is the sum of the eccentricity of individual vertices. In \cite{Kc}, the authors posed a conjecture which states that given a graph $G$ with at least three vertices, the difference between $W(G)$ and $\varepsilon(G)$ decreases when an edge is contracted and proved that the conjecture is true when $e$ is a bridge. In this manuscript, we confirm that the conjecture is true for any connected graph $G$ with at least three vertices irrespective of the nature of the edge chosen.


title: Measurement of Neutron Lifetime and Purcell Effect

abstract: Purcell effect predicts that spontaneous radiation is not an intrinsic property of matter, but is affected by the environment in which it is located, and is the result of the interaction of matter and field. Purcell effect can be inferred from Fermi Gold rule through strict quantum electrodynamics (QED), and through it can achieve the enhancement or suppression of radiation. We suggest that, in principle, the Purcell effect can be detected at the percentage level of neutron decay in experiments with trapped ultra-cold neutrons. As a test of our claim, we propose a currently achievable experimental protocol that can detect whether Purcell effect has occurred in an trapped ultra-cold neutron lifetime measurement experiment. Finally, we discuss the discrepancy in current methods of measuring neutron lifetime, which may be caused by different experimental setups.