title: COVID-19 and Big Data: Multi-faceted Analysis for Spatio-temporal Understanding of the Pandemic with Social Media Conversations

abstract: COVID-19 has been devastating the world since the end of 2019 and has continued to play a significant role in major national and worldwide events, and consequently, the news. In its wake, it has left no life unaffected. Having earned the world's attention, social media platforms have served as a vehicle for the global conversation about COVID-19. In particular, many people have used these sites in order to express their feelings, experiences, and observations about the pandemic. We provide a multi-faceted analysis of critical properties exhibited by these conversations on social media regarding the novel coronavirus pandemic. We present a framework for analysis, mining, and tracking the critical content and characteristics of social media conversations around the pandemic. Focusing on Twitter and Reddit, we have gathered a large-scale dataset on COVID-19 social media conversations. Our analyses cover tracking potential reports on virus acquisition, symptoms, conversation topics, and language complexity measures through time and by region across the United States. We also present a BERT-based model for recognizing instances of hateful tweets in COVID-19 conversations, which achieves a lower error-rate than the state-of-the-art performance. Our results provide empirical validation for the effectiveness of our proposed framework and further demonstrate that social media data can be efficiently leveraged to provide public health experts with inexpensive but thorough insight over the course of an outbreak.


title: Second order Expansions for Extreme Quantiles of Burr Distributions and Asymptotic Theory of Record Values

abstract: In this paper we investigate the Burr distributions family which contains twelve members. Second order expansions of quantiles of the Burr's distributions are provided on which may be based statistical methods, in particular in extreme value theory. Beyond the proper interest of these expansions, we apply them to characterize the asymptotic laws of their records of Burr's distributions, lead to new statistical tests.


title: Provable Limitations of Acquiring Meaning from Ungrounded Form: What Will Future Language Models Understand?

abstract: Language models trained on billions of tokens have recently led to unprecedented results on many NLP tasks. This success raises the question of whether, in principle, a system can ever ``understand'' raw text without access to some form of grounding. We formally investigate the abilities of ungrounded systems to acquire meaning. Our analysis focuses on the role of ``assertions'': textual contexts that provide indirect clues about the underlying semantics. We study whether assertions enable a system to emulate representations preserving semantic relations like equivalence. We find that assertions enable semantic emulation of languages that satisfy a strong notion of semantic transparency. However, for classes of languages where the same expression can take different values in different contexts, we show that emulation can become uncomputable. Finally, we discuss differences between our formal model and natural language, exploring how our results generalize to a modal setting and other semantic relations. Together, our results suggest that assertions in code or language do not provide sufficient signal to fully emulate semantic representations. We formalize ways in which ungrounded language models appear to be fundamentally limited in their ability to ``understand''.


title: A Short Survey of Pre-trained Language Models for Conversational AI-A NewAge in NLP

abstract: Building a dialogue system that can communicate naturally with humans is a challenging yet interesting problem of agent-based computing. The rapid growth in this area is usually hindered by the long-standing problem of data scarcity as these systems are expected to learn syntax, grammar, decision making, and reasoning from insufficient amounts of task-specific dataset. The recently introduced pre-trained language models have the potential to address the issue of data scarcity and bring considerable advantages by generating contextualized word embeddings. These models are considered counterpart of ImageNet in NLP and have demonstrated to capture different facets of language such as hierarchical relations, long-term dependency, and sentiment. In this short survey paper, we discuss the recent progress made in the field of pre-trained language models. We also deliberate that how the strengths of these language models can be leveraged in designing more engaging and more eloquent conversational agents. This paper, therefore, intends to establish whether these pre-trained models can overcome the challenges pertinent to dialogue systems, and how their architecture could be exploited in order to overcome these challenges. Open challenges in the field of dialogue systems have also been deliberated.


title: Antiferroelectric negative capacitance from a structural phase transition in zirconia

abstract: Crystalline materials with broken inversion symmetry can exhibit a spontaneous electric polarization, which originates from a microscopic electric dipole moment. Long-range polar or anti-polar order of such permanent dipoles gives rise to ferroelectricity or antiferroelectricity, respectively. However, the recently discovered antiferroelectrics of fluorite structure (HfO$_2$ and ZrO$_2$) are different: A non-polar phase transforms into a polar phase by spontaneous inversion symmetry breaking upon the application of an electric field. Here, we show that this structural transition in antiferroelectric ZrO$_2$ gives rise to a negative capacitance, which is promising for overcoming the fundamental limits of energy efficiency in electronics. Our findings provide insight into the thermodynamically 'forbidden' region of the antiferroelectric transition in ZrO$_2$ and extend the concept of negative capacitance beyond ferroelectricity. This shows that negative capacitance is a more general phenomenon than previously thought and can be expected in a much broader range of materials exhibiting structural phase transitions.


title: The latent structure of global scientific development

abstract: Science is essential to innovation and economic prosperity. Although studies have shown that national scientific development is affected by geographic, historic, and economic factors, it remains unclear whether there are universal structures and trajectories of national scientific development that can inform forecasting and policymaking. Here, by examining countries' scientific 'exports'-publications that are indexed in international databases-we reveal a three-cluster structure in the relatedness network of disciplines that underpin national scientific development and the organization of global science. Tracing the evolution of national research portfolios reveals that while nations are proceeding to more diverse research profiles individually, scientific production is increasingly specialized in global science over the past decades. By uncovering the underlying structure of scientific development and connecting it with economic development, our results may offer a new perspective on the evolution of global science.


title: Finding Fuzziness in Neural Network Models of Language Processing

abstract: Humans often communicate by using imprecise language, suggesting that fuzzy concepts with unclear boundaries are prevalent in language use. In this paper, we test the extent to which models trained to capture the distributional statistics of language show correspondence to fuzzy-membership patterns. Using the task of natural language inference, we test a recent state of the art model on the classical case of temperature, by examining its mapping of temperature data to fuzzy-perceptions such as "cool", "hot", etc. We find the model to show patterns that are similar to classical fuzzy-set theoretic formulations of linguistic hedges, albeit with a substantial amount of noise, suggesting that models trained solely on language show promise in encoding fuzziness.


title: Flocking-Segregative Swarming Behaviors using Gibbs Random Fields

abstract: This paper presents a novel approach that allows a swarm of heterogeneous robots to produce simultaneously segregative and flocking behaviors using only local sensing. These behaviors have been widely studied in swarm robotics and their combination allows the execution of several complex tasks, ranging from surveillance and reconnaissance, to search and rescue, to transport, and to foraging. Although there are several works in the literature proposing different strategies to achieve these behaviors, to the best of our knowledge, this paper is the first to propose an algorithm that emerges simultaneously behaviors and do not rely on global information or communication. Our approach consists of modeling the swarm as a Gibbs Random Field (GRF) and using appropriate potential functions to reach segregation, cohesion and consensus on the velocity of the swarm. Simulations and proof-of-concept experiments using real robots are presented to evaluate the performance of our methodology in comparison to some of the state-of-the-art works that tackle segregative behaviors.


title: Giant Kerr nonlinearities and magneto-optical rotations in a Rydberg-atom gas via double electromagnetically induced transparency

abstract: We investigate the Kerr and magneto-optical effects for a probe laser field with two orthogonally polarized components, propagating in a cold Rydberg atomic gas with an inverted-Y-type level configuration via double electromagnetically induced transparency (EIT). Through an approach beyond both mean-field and ground-state approximations, we make detailed calculations on third-order nonlinear optical susceptibilities and show that the system possesses giant nonlocal selfand cross-Kerr nonlinearities contributed by Rydberg-Rydberg interaction. The theoretical result of the cross-Kerr nonlinearity obtained for 85Rb atomic gas is very close to the experimental one reported recently. Moreover, we demonstrate that the probe laser field can acquire a very large magnetooptical rotation via the double EIT, which may be used to design atomic magnetometers with high precision. The results presented here are promising not only for the development of nonlocal nonlinear magneto-optics but also for applications in precision measurement and optical information processing and transmission based on Rydberg atomic gases.


title: Long time existence for semilinear wave equations with the inverse-square potential

abstract: In this paper, we study the semilinear wave equations with the inverse-square potential. By transferring the original equation to a "fractional dimensional" wave equation and analyzing the properties of its fundamental solution, we establish a long-time existence result, for sufficiently small, spherically symmetric initial data. Together with the previously known blow-up result, we determine the critical exponent which divides the global existence and finite time blow-up. Moreover, the sharp lower bounds of the lifespan are obtained, except for certain borderline case. In addition, our technology allows us to handle an extreme case for the potential, which has hardly been discussed in literature.


title: Lower bounds for the modified Szpiro ratio

abstract: Let $E/\mathbb{Q}$ be an elliptic curve. The modified Szpiro ratio of $E$ is the quantity $\sigma_{m}(E) =\log\max\left\{ \left\vert c_{4}^{3}\right\vert ,c_{6}^{2}\right\} /\log N_{E}$ where $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$, and $N_{E}$ denotes the conductor of $E$. In this article, we show that for each of the fifteen torsion subgroups $T$ allowed by Mazur's Torsion Theorem, there is a rational number $l_{T}$ such that if $T\hookrightarrow E(\mathbb{Q}) _{\text{tors}}$, then $\sigma_{m}(E) >l_{T}$. We also show that this bound is sharp.


title: XAI-N: Sensor-based Robot Navigation using Expert Policies and Decision Trees

abstract: We present a novel sensor-based learning navigation algorithm to compute a collision-free trajectory for a robot in dense and dynamic environments with moving obstacles or targets. Our approach uses deep reinforcement learning-based expert policy that is trained using a sim2real paradigm. In order to increase the reliability and handle the failure cases of the expert policy, we combine with a policy extraction technique to transform the resulting policy into a decision tree format. The resulting decision tree has properties which we use to analyze and modify the policy and improve performance on navigation metrics including smoothness, frequency of oscillation, frequency of immobilization, and obstruction of target. We are able to modify the policy to address these imperfections without retraining, combining the learning power of deep learning with the control of domain-specific algorithms. We highlight the benefits of our algorithm in simulated environments and navigating a Clearpath Jackal robot among moving pedestrians. (Videos at this url: https://gamma.umd.edu/researchdirections/xrl/navviper)


title: An Accurate and Efficient Large-scale Regression Method through Best Friend Clustering

abstract: As the data size in Machine Learning fields grows exponentially, it is inevitable to accelerate the computation by utilizing the ever-growing large number of available cores provided by high-performance computing hardware. However, existing parallel methods for clustering or regression often suffer from problems of low accuracy, slow convergence, and complex hyperparameter-tuning. Furthermore, the parallel efficiency is usually difficult to improve while striking a balance between preserving model properties and partitioning computing workloads on distributed systems. In this paper, we propose a novel and simple data structure capturing the most important information among data samples. It has several advantageous properties supporting a hierarchical clustering strategy that is irrelevant to the hardware parallelism, well-defined metrics for determining optimal clustering, balanced partition for maintaining the compactness property, and efficient parallelization for accelerating computation phases. Then we combine the clustering with regression techniques as a parallel library and utilize a hybrid structure of data and model parallelism to make predictions. Experiments illustrate that our library obtains remarkable performance on convergence, accuracy, and scalability.


title: Quantum state transfer between two photons with polarization and orbital angular momentum via quantum teleportation technology

abstract: Quantum teleportation is a useful quantum information technology to transmit quantum states between different degrees of freedom. We here report a quantum state transfer experiment in the linear optical system, transferring a single photon state in the polarization degree of freedom (DoF) to another photon in the orbital angular momentum (OAM) quantum state via a biphoton OAM entangled channel. Our experimental method is based on quantum teleportation technology. The differences between ours and the original teleportation scheme is that the transfer state is known in ours, and our method is for different particles with different DoFs while the original one is for different particles with same DoF. Besides, our present experiment is implemented with a high Bell-efficiency since each of the four hybrid-entangled Bell states can be discriminated. We use six states of poles of the Bloch sphere to test our experiment, and the fidelity of the quantum state transfer is $91.8\pm1.3\%$.


title: Adjacency for special representations of a Weyl group

abstract: The special representations of a Weyl group can be regarded as the vertices of a graph with an involution i such that any edge e has the following property: either e or i(e) joins two vertices whose a-functions differ by 1.


title: Fundamental limits for reciprocal and non-reciprocal non-Hermitian quantum sensing

abstract: Non-Hermitian dynamics has been widely studied to enhance the precision of quantum sensing; and non-reciprocity can be a powerful resource for non-Hermitian quantum sensing, as non-reciprocity allows to arbitrarily exceed the fundamental bound on the measurement rate of any reciprocal sensors. Here we establish fundamental limits on signal-to-noise ratio for reciprocal and non-reciprocal non-Hermitian quantum sensing. In particular, for two-mode linear systems with two coherent drives, an approximately attainable uniform bound on the best possible measurement rate per photon is derived for both reciprocal and non-reciprocal sensors. This bound is only related to the coupling coefficients and, in principle, can be made arbitrarily large. Our results thus demonstrate that a conventional reciprocal sensor with two drives can simulate any non-reciprocal sensor. This work also demonstrates a clear signature on how the excitation signals affect the signal-to-noise ratio in non-Hermitian quantum sensing.


title: Resilient Ramp Control for Highways Facing Stochastic Perturbations

abstract: Highway capacity is often subject to stochastic perturbations due to the combined effects of weather, traffic mixture, driver behavior, etc. This paper is motivated by the need of a systematic approach to traffic control with performance guarantees in the face of such perturbations. We develop a novel control-theoretic method for designing perturbation-resilient ramp metering. We consider a cell-transmission model with 1) Markovian cell capacities and 2) buffers representing on-ramps and upstream mainline. Using this model, we analyze the stability of on-ramp queues by constructing piecewise Lyapunov functions that consider the nature of nonlinear traffic dynamics. Then, we design ramp controllers that guarantee bounds for throughput and queue sizes. We also formulate the problem of coordinated ramp metering as a bi-level optimization with non-convex inner sub-problems. To address the computational issue in solving this problem, we also consider localized and partially coordinated reformulations. A case study of a 18.1-km highway in Los Angeles, USA indicates a 8.3\% (resp. 9.9\%) reduction of vehicle-hours-traveled obtained by the localized (resp. partially coordinated) control, both outperforming the classical ALINEA and METALINE controllers.


title: Colonoscopy Polyp Detection and Classification: Dataset Creation and Comparative Evaluations

abstract: Colorectal cancer (CRC) is one of the most common types of cancer with a high mortality rate. Colonoscopy is the preferred procedure for CRC screening and has proven to be effective in reducing CRC mortality. Thus, a reliable computer-aided polyp detection and classification system can significantly increase the effectiveness of colonoscopy. In this paper, we create an endoscopic dataset collected from various sources and annotate the ground truth of polyp location and classification results with the help of experienced gastroenterologists. The dataset can serve as a benchmark platform to train and evaluate the machine learning models for polyp classification. We have also compared the performance of eight state-of-the-art deep learning-based object detection models. The results demonstrate that deep CNN models are promising in CRC screening. This work can serve as a baseline for future research in polyp detection and classification.


title: Transverse instability of the CH-KP-I equation

abstract: The Camassa-Holm-Kadomtsev-Petviashvili-I equation (CH-KP-I) is a two dimensional generalization of the Camassa-Holm equation (CH). In this paper, we prove transverse instability of the line solitary waves under periodic transverse perturbations. The proof is based on the framework of the paper written by Rousset and Tzvetkov. Due to the high nonlinearity, our proof requires necessary modification. Specifically, we first establish the linear instability of the line solitary waves. Then through an approximation procedure, we prove that the linear effect actually dominates the nonlinear behavior.


title: Self-optimizing loop sifting and majorization for 3D reconstruction

abstract: Visual simultaneous localization and mapping (vSLAM) and 3D reconstruction methods have gone through impressive progress. These methods are very promising for autonomous vehicle and consumer robot applications because they can map large-scale environments such as cities and indoor environments without the need for much human effort. However, when it comes to loop detection and optimization, there is still room for improvement. vSLAM systems tend to add the loops very conservatively to reduce the severe influence of the false loops. These conservative checks usually lead to correct loops rejected, thus decrease performance. In this paper, an algorithm that can sift and majorize loop detections is proposed. Our proposed algorithm can compare the usefulness and effectiveness of different loops with the dense map posterior (DMP) metric. The algorithm tests and decides the acceptance of each loop without a single user-defined threshold. Thus it is adaptive to different data conditions. The proposed method is general and agnostic to sensor type (as long as depth or LiDAR reading presents), loop detection, and optimization methods. Neither does it require a specific type of SLAM system. Thus it has great potential to be applied to various application scenarios. Experiments are conducted on public datasets. Results show that the proposed method outperforms state-of-the-art methods.


title: An Examination of Demographic Differences in Obtaining Investment and Financial Planning Information

abstract: Financial literacy and financial education are important components of modern life. The importance of financial literacy is increasing for financial consumers because of the weakening of both government and employer-based retirement systems. Unfortunately, empirical research shows that financial consumers are not fully informed and are not able to make proper choices even when appropriate information is available. More research is needed as to how financial consumers obtain investment and financial planning information. A primary data study was conducted to understand the differences between the demographic categories of gender, age, education-level, and income-level with the means of obtaining investment and financial planning information. In this research study, which selected a population from the LinkedIn platform, statistical differences between gender, age, education-level, and income-level were confirmed. These differences helped to confirm prior research in this field of study. Practical opportunities for commercial outreach to specific populations became evident through this type of research. Providers of investment and financial planning information can access their targeted audience more effectively by understanding the demographic profile of the audience, as well as the propensity of the demographic profile of the audience to respond. As this type of research is relatively easy to construct and administer, commercial outreach for providers of investment and financial planning information can be conducted in a cost-efficient and effective manner.


title: The perfect groups of order up to two million

abstract: We enumerate the 15768 perfect groups of order up to $2\cdot 10^6$, up to isomorphism, thus also completing the missing cases in the prior classification. The work supplements the by now well-understood computer classifications of solvable groups, illustrating scope and feasibility of the enumeration process for nonsolvable groups.


title: Transitions among metastable states underlie context-dependent working memories in a multiple timescale network

abstract: Transitions between metastable states are commonly observed in the neural system and underlie various cognitive functions such as working memory. In a previous study, we have developed a neural network model with the slow and fast populations, wherein simple Hebb-type learning enables stable and complex (e.g., non-Markov) transitions between neural states. This model is distinct from a network with asymmetric Hebbian connectivity and a network trained with supervised machine learning methods: the former generates simple Markov sequences. The latter generates complex but vulnerable sequences against perturbation and its learning methods are biologically implausible. By using our model, we propose and demonstrate a novel mechanism underlying stable working memories: sequentially stabilizing and destabilizing task-related states in the fast neural dynamics. The slow dynamics maintain a history of the applied inputs, e.g., context signals, and enable the task-related states to be stabilized in a context-dependent manner. We found that only a single (or a few) state(s) is stabilized in each epoch (i.e., a period in the presence of the context signal and a delayed period) in a working memory task, resulting in a robust performance against noise and change in a task protocol. These results suggest a simple mechanism underlying complex and stable processing in neural systems.


title: Fuzzy Classification of Multi-intent Utterances

abstract: Current intent classification approaches assign binary intent class memberships to natural language utterances while disregarding the inherent vagueness in language and the corresponding vagueness in intent class boundaries. In this work, we propose a scheme to address the ambiguity in single-intent as well as multi-intent natural language utterances by creating degree memberships over fuzzified intent classes. To our knowledge, this is the first work to address and quantify the impact of the fuzzy nature of natural language utterances over intent category memberships. Additionally, our approach overcomes the sparsity of multi-intent utterance data to train classification models by using a small database of single intent utterances to generate class memberships over multi-intent utterances. We evaluate our approach over two task-oriented dialog datasets, across different fuzzy membership generation techniques and approximate string similarity measures. Our results reveal the impact of lexical overlap between utterances of different intents, and the underlying data distributions, on the fuzzification of intent memberships. Moreover, we evaluate the accuracy of our approach by comparing the defuzzified memberships to their binary counterparts, across different combinations of membership functions and string similarity measures.


title: LVI-SAM: Tightly-coupled Lidar-Visual-Inertial Odometry via Smoothing and Mapping

abstract: We propose a framework for tightly-coupled lidar-visual-inertial odometry via smoothing and mapping, LVI-SAM, that achieves real-time state estimation and map-building with high accuracy and robustness. LVI-SAM is built atop a factor graph and is composed of two sub-systems: a visual-inertial system (VIS) and a lidar-inertial system (LIS). The two sub-systems are designed in a tightly-coupled manner, in which the VIS leverages LIS estimation to facilitate initialization. The accuracy of the VIS is improved by extracting depth information for visual features using lidar measurements. In turn, the LIS utilizes VIS estimation for initial guesses to support scan-matching. Loop closures are first identified by the VIS and further refined by the LIS. LVI-SAM can also function when one of the two sub-systems fails, which increases its robustness in both texture-less and feature-less environments. LVI-SAM is extensively evaluated on datasets gathered from several platforms over a variety of scales and environments. Our implementation is available at https://git.io/lvi-sam


title: Building Bilingual and Code-Switched Voice Conversion with Limited Training Data Using Embedding Consistency Loss

abstract: Building cross-lingual voice conversion (VC) systems for multiple speakers and multiple languages has been a challenging task for a long time. This paper describes a parallel non-autoregressive network to achieve bilingual and code-switched voice conversion for multiple speakers when there are only mono-lingual corpora for each language. We achieve cross-lingual VC between Mandarin speech with multiple speakers and English speech with multiple speakers by applying bilingual bottleneck features. To boost voice cloning performance, we use an adversarial speaker classifier with a gradient reversal layer to reduce the source speaker's information from the output of encoder. Furthermore, in order to improve speaker similarity between reference speech and converted speech, we adopt an embedding consistency loss between the synthesized speech and its natural reference speech in our network. Experimental results show that our proposed method can achieve high quality converted speech with mean opinion score (MOS) around 4. The conversion system performs well in terms of speaker similarity for both in-set speaker conversion and out-set-of one-shot conversion.


title: Low Anisotropy Sense Retrofitting (LASeR) : Towards Isotropic and Sense Enriched Representations

abstract: Contextual word representation models have shown massive improvements on a multitude of NLP tasks, yet their word sense disambiguation capabilities remain poorly explained. To address this gap, we assess whether contextual word representations extracted from deep pretrained language models create distinguishable representations for different senses of a given word. We analyze the representation geometry and find that most layers of deep pretrained language models create highly anisotropic representations, pointing towards the existence of representation degeneration problem in contextual word representations. After accounting for anisotropy, our study further reveals that there is variability in sense learning capabilities across different language models. Finally, we propose LASeR, a 'Low Anisotropy Sense Retrofitting' approach that renders off-the-shelf representations isotropic and semantically more meaningful, resolving the representation degeneration problem as a post-processing step, and conducting sense-enrichment of contextualized representations extracted from deep neural language models.


title: DANNet: A One-Stage Domain Adaptation Network for Unsupervised Nighttime Semantic Segmentation

abstract: Semantic segmentation of nighttime images plays an equally important role as that of daytime images in autonomous driving, but the former is much more challenging due to poor illuminations and arduous human annotations. In this paper, we propose a novel domain adaptation network (DANNet) for nighttime semantic segmentation without using labeled nighttime image data. It employs an adversarial training with a labeled daytime dataset and an unlabeled dataset that contains coarsely aligned day-night image pairs. Specifically, for the unlabeled day-night image pairs, we use the pixel-level predictions of static object categories on a daytime image as a pseudo supervision to segment its counterpart nighttime image. We further design a re-weighting strategy to handle the inaccuracy caused by misalignment between day-night image pairs and wrong predictions of daytime images, as well as boost the prediction accuracy of small objects. The proposed DANNet is the first one stage adaptation framework for nighttime semantic segmentation, which does not train additional day-night image transfer models as a separate pre-processing stage. Extensive experiments on Dark Zurich and Nighttime Driving datasets show that our method achieves state-of-the-art performance for nighttime semantic segmentation.


title: Symmetry from Entanglement Suppression

abstract: Symmetry is among the most fundamental and powerful concepts in nature, whose existence is usually taken as given, without explanation. We explore whether symmetry can be derived from more fundamental principles from the perspective of quantum information. Starting with a two-qubit system, we show there are only two minimally entangling logic gates: the Identity and the SWAP, where SWAP interchanges the two states of the qubits. We further demonstrate that, when viewed as an entanglement operator in the spin-space, the $S$-matrix in the two-body scattering of fermions in the $s$-wave channel is uniquely determined by unitarity and rotational invariance to be a linear combination of the Identity and the SWAP. Realizing a minimally entangling $S$-matrix would give rise to global symmetries, as exemplified in Wigner's spin-flavor symmetry and Schr\"odinger's conformal invariance in low energy Quantum Chromodynamics. For $N_q$ species of qubit, the Identity gate is associated with an $[SU(2)]^{N_q}$ symmetry, which is enlarged to $SU(2N_q)$ when there is a species-universal coupling constant.


title: Receding Horizon Differential Dynamic Programming Under Parametric Uncertainty

abstract: Generalized Polynomial Chaos (gPC) theory has been widely used for representing parametric uncertainty in a system, thanks to its ability to propagate uncertainty evolution. In an optimal control context, gPC can be combined with several optimization techniques to achieve a control policy that handles effectively this type of uncertainty. Such a suitable method is Differential Dynamic Programming (DDP), leading to an algorithm that inherits the scalability to high-dimensional systems and fast convergence nature of the latter. In this paper, we expand this combination aiming to acquire probabilistic guarantees on the satisfaction of nonlinear constraints. In particular, we exploit the ability of gPC to express higher order moments of the uncertainty distribution - without any Gaussianity assumption - and we incorporate chance constraints that lead to expressions involving the state covariance. Furthermore, we demonstrate that by implementing our algorithm in a receding horizon fashion, we are able to compute control policies that effectively reduce the accumulation of uncertainty on the trajectory. The applicability of our method is verified through simulation results on a differential wheeled robot and a quadrotor that perform obstacle avoidance tasks.


title: Robust Certification for Laplace Learning on Geometric Graphs

abstract: Graph Laplacian (GL)-based semi-supervised learning is one of the most used approaches for classifying nodes in a graph. Understanding and certifying the adversarial robustness of machine learning (ML) algorithms has attracted large amounts of attention from different research communities due to its crucial importance in many security-critical applied domains. There is great interest in the theoretical certification of adversarial robustness for popular ML algorithms. In this paper, we provide the first adversarial robust certification for the GL classifier. More precisely we quantitatively bound the difference in the classification accuracy of the GL classifier before and after an adversarial attack. Numerically, we validate our theoretical certification results and show that leveraging existing adversarial defenses for the $k$-nearest neighbor classifier can remarkably improve the robustness of the GL classifier.


title: Spin orbit torque nano-oscillators by dipole field-localized spin wave modes

abstract: We demonstrate a high-quality spin orbit torque nano-oscillator comprised of spin wave modes confined by the magnetic field by the strongly inhomogeneous dipole field of a nearby micromagnet. This approach enables variable spatial confinement and systematic tuning of magnon spectrum and spectral separations for studying the impact of multi-mode interactions on auto-oscillations. We find these dipole field-localized spin wave modes exhibit good characteristic properties as auto-oscillators--narrow linewidth and large amplitude--while persisting up to room temperature. We find that the linewidth of the lowest-lying localized mode is approximately proportional to temperature in good agreement with theoretical analysis of the impact of thermal fluctuations. This demonstration of a clean oscillator with tunable properties provides a powerful tool for understanding the fundamental limitations and linewidth contributions to improve future spin-Hall oscillators.


title: Realizing quantum nodes in space for cost-effective, global quantum communication: in-orbit results and next steps

abstract: Quantum sources and receivers operating on-board satellites are an essential building block for global quantumnetworks. SpooQy-1 is a satellite developed at the Centre for Quantum Technologies, which has successfully demonstrated the operation of an entangled photon pair source on a resource-constrained CubeSat platform. This miniaturized and ruggedized photon pair source is being upgraded to be capable of space-to-ground quantum keydistribution and long-range entanglement distribution. In this paper, we share results from SpooQy-1, discuss their relevance for the engineering challenges of a small satellite quantum node, and report on the development of the new light source.


title: Conditional Selective Inference for Robust Regression and Outlier Detection using Piecewise-Linear Homotopy Continuation

abstract: In practical data analysis under noisy environment, it is common to first use robust methods to identify outliers, and then to conduct further analysis after removing the outliers. In this paper, we consider statistical inference of the model estimated after outliers are removed, which can be interpreted as a selective inference (SI) problem. To use conditional SI framework, it is necessary to characterize the events of how the robust method identifies outliers. Unfortunately, the existing methods cannot be directly used here because they are applicable to the case where the selection events can be represented by linear/quadratic constraints. In this paper, we propose a conditional SI method for popular robust regressions by using homotopy method. We show that the proposed conditional SI method is applicable to a wide class of robust regression and outlier detection methods and has good empirical performance on both synthetic data and real data experiments.


title: Uniqueness and stability for the solution of a nonlinear least squares problem

abstract: In this paper, we focus on the nonlinear least squares: $\mbox{min}_{\mathbf{x} \in \mathbb{H}^d}\| |A\mathbf{x}|-\mathbf{b}\|$ where $A\in \mathbb{H}^{m\times d}$, $\mathbf{b} \in \mathbb{R}^m$ with $\mathbb{H} \in \{\mathbb{R},\mathbb{C} \}$ and consider the uniqueness and stability of solutions. Such problem arises, for instance, in phase retrieval and absolute value rectification neural networks. For the case where $\mathbf{b}=|A\mathbf{x}_0|$ for some $\mathbf{x}_0\in \mathbb{H}^d$, many results have been developed to characterize the uniqueness and stability of solutions. However, for the case where $\mathbf{b} \neq |A\mathbf{x}_0| $ for any $\mathbf{x}_0\in \mathbb{H}^d$, there is no existing result for it to the best of our knowledge. In this paper, we first focus on the uniqueness of solutions and show for any matrix $A\in \mathbb{H}^{m \times d}$ there always exists a vector $\mathbf{b} \in \mathbb{R}^m$ such that the solution is not unique. But, in real case, such ``bad'' vectors $\mathbf{b}$ are negligible, namely, if $\mathbf{b} \in \mathbb{R}_{+}^m$ does not lie in some measure zero set, then the solution is unique. We also present some conditions under which the solution is unique. For the stability of solutions, we prove that the solution is never uniformly stable. But if we restrict the vectors $\mathbf{b}$ to any convex set then it is stable.


title: Likely GeV emission from an old Supernova Remnant: SNR G206.9+2.3

abstract: A novel $\gamma$-ray supernova remnant (SNR) G206.9+2.3 is first reported in this study. We arrived at this conclusion after analyzing 12.4 years of observation data of the Fermi Large Area Telescope (Fermi-LAT). The photon flux of the remnant was (1.19$\pm$0.59) 10$^{-9}$ cm$^{-2}$ s$^{-1}$, and its power-law spectral index was 2.22$\pm$0.19 in the 0.2-500 GeV energy band. Moreover, we found that the test statistic values of the global fit from the four different energy bands were greater than 9. We identified that this was a real $\gamma$-ray signal. Furthermore, we found that its GeV spatial location was in good agreement with that of its radio band. Its spectral energy distribution and light curve properties were similar to those of SNRs. We suggest that the novel $\gamma$-ray source is a likely counterpart to SNR G206.9+2.3. Consequently, we discuss its likely leptonic or hadronic origin.


title: On the reliability of simulations of collisional stellar systems

abstract: It is well known that numerical errors grow exponentially in $N$-body simulations of gravitational bound stellar systems, but it is not well understood how the accuracy parameters of algorithms affect the physical evolution in simulations. By using the hybrid $N$-body code, PeTar, we investigate how escapers and the structure evolution of collisional stellar systems (e.g., star clusters) depend on the accuracy of long-range and short-range interactions. We study a group of simulations of ideal low-mass star clusters in which the accuracy parameters are varied. We find that although the number of escapers is different in individual simulations, its distribution from all simulations can be described by Poisson statistics. The density profile also has a similar feature. By using a self-consistent set-up of the accuracy parameters for long- and short-range interactions, such that orbits are resolved well enough, the physical evolution of the models is identical. But when the short-range accuracy is too low, a nonphysical dynamical evolution can easily occur; this is not the case for long-range interactions. This strengthens the need to include a proper algorithm (e.g. regularization methods) in the realistic modelling of collisional stellar systems. We also demonstrate that energy-conservation is not a good indicator to monitor the quality of the simulations. The energy error of the system is controlled by the hardest binary, and thus, it may not reflect the ensemble error of the global system.


title: Global strong solutions and large time behavior to the compressible co-rotation FENE dumbbell model of polymeric flows near equilibrium

abstract: In this paper, we mainly study global well-posedness and optimal decay rate for the strong solutions of the compressible co-rotation finite extensible nonlinear elastic (FENE) dumbbell model. This model is a coupling of the isentropic compressible Navier-Stokes equations with a nonlinear Fokker-Planck equation. We first prove that the FENE dumbbell model admits a unique global strong solution provided the initial data are close to equilibrium state for $d\geq 2$. Moreover, for $d\geq3$, we show that optimal decay rates of global strong solutions by the linear spectral theory and a more precise Hardy type inequality.


title: Optimize Neural Fictitious Self-Play in Regret Minimization Thinking

abstract: Optimization of deep learning algorithms to approach Nash Equilibrium remains a significant problem in imperfect information games, e.g. StarCraft and poker. Neural Fictitious Self-Play (NFSP) has provided an effective way to learn approximate Nash Equilibrium without prior domain knowledge in imperfect information games. However, optimality gap was left as an optimization problem of NFSP and by solving the problem, the performance of NFSP could be improved. In this study, focusing on the optimality gap of NFSP, we have proposed a new method replacing NFSP's best response computation with regret matching method. The new algorithm can make the optimality gap converge to zero as it iterates, thus converge faster than original NFSP. We have conduct experiments on three typical environments of perfect-information games and imperfect information games in OpenSpiel and all showed that our new algorithm performances better than original NFSP.


title: Electron-phonon superconductivity in C-doped topological nodal-line semimetal Zr$_5$Pt$_3$: A muon spin rotation and relaxation ($\mu$SR) study

abstract: In the present work we demonstrate that C-doped Zr$_{5}$Pt$_{3}$ is an electron-phonon superconductor (with critical temperature T$_\mathrm{C}$ = 3.7\,K) with a nonsymmorphic topological Dirac nodal-line semimetal state, which we report here for the first time. The superconducting properties of Zr$_{5}$Pt$_{3}$C$_{0.5}$ have been investigated by means of magnetization and muon spin rotation and relaxation ($\mu$SR) measurements. We find that at low temperatures the depolarization rate is almost constant and can be well described by a single-band $s-$wave model with a superconducting gap of $2\Delta(0)/k_\mathrm{B}T_\mathrm{C}$ = 3.84, close to the value of BCS theory. From transverse field $\mu$SR analysis we estimate the London penetration depth $\lambda_{L}$ = 469 nm, superconducting carrier density $n_{s}$ = 2$\times$10$^{26}$ $m^{-3}$, and effective mass m$^{*}$ = 1.584 $m_{e}$. Zero field $\mu$SR confirms the absence of any spontaneous magnetic moment in the superconducting ground state. To gain additional insights into the electronic ground state of C-doped Zr$_5$Pt$_3$, we have also performed first-principles calculations within the framework of density functional theory (DFT). The observed homogenous electronic character of the Fermi surface as well as the mutual decrease of $T_\mathrm{C}$ and density of states at the Fermi level are consistent with the experimental findings. However, the band structure reveals the presence of robust, gapless fourfold-degenarate nodal lines protected by $6_{3}$ screw rotations and glide mirror planes. Therefore, Zr$_5$Pt$_3$ represents a novel, unprecedented condensed matter system to investigate the intricate interplay between superconductivity and topology.


title: Localization of Ice-Rink for Broadcast Hockey Videos

abstract: In this work, an automatic and simple framework for hockey ice-rink localization from broadcast videos is introduced. First, video is broken into video-shots by a hierarchical partitioning of the video frames, and thresholding based on their histograms. To localize the frames on the ice-rink model, a ResNet18-based regressor is implemented and trained, which regresses to four control points on the model in a frame-by-frame fashion. This leads to the projection jittering problem in the video. To overcome this, in the inference phase, the trajectory of the control points on the ice-rink model are smoothed, for all the consecutive frames of a given video-shot, by convolving a Hann window with the achieved coordinates. Finally, the smoothed homography matrix is computed by using the direct linear transform on the four pairs of corresponding points. A hockey dataset for training and testing the regressor is gathered. The results show success of this simple and comprehensive procedure for localizing the hockey ice-rink and addressing the problem of jittering without affecting the accuracy of homography estimation.


title: Photonics of fungal cell wall

abstract: The cell wall serves as a mechanical protection for the fungi and controls the traffic of molecules entering the cell. However, the optical role of the cell wall has not been fully investigated. In this work, we use a computational simulation to evaluate the optical response of the fungal cell wall. The main advantage of this approach is that the scattering structure can be introduced within the simulation via transmission electronic microscope (TEM) images of its cross section which in this case correspond to real fungal cell walls. The obtained results indicate that the reflectivity of the fungal cell wall depends on the incident wavelength, and then, it modulates the light that reaches the interior of the cell. This suggests that the light stimulus that reaches the inner part of the cell could depend on the structural characteristics of the cell wall. Additionally, regarding the analysis of color, our finding opens up a new and interesting approach to investigate the ecological role of UV light in relation to fungal organisms and their microhabitat.


title: Transient Stability of Hybrid Power Systems Dominated by Different Types of Grid-Forming Devices

abstract: This paper investigates the transient stability of power systems co-dominated by different types of grid-forming (GFM) devices. Synchronous generators (SGs and VSGs) and droop-controlled inverters are typical GFM devices in modern power systems. SGs/VSGs are able to provide inertia while droop-controlled inverters are generally inertialess. The transient stability of power systems dominated by homogeneous GFM devices has been extensively studied. Regarding the hybrid system jointly dominated by heterogeneous GFM devices, the transient stability is rarely reported. This paper aims to fill this gap. It is found that the synchronization behavior of the hybrid system can be described by a second-order motion equation, resembling the swing equation of SGs. Moreover, two significant differences from conventional power systems are discovered. The first is that the droop control dramatically enhances the damping effect, greatly affecting the transient stability region. The second is that the frequency state variable exhibits a jump at the moment of fault disturbances, thus impacting the post-fault initial-state location and stability assessment. The underlying mechanism behind the two new characteristics is clarified and the impact on the transient stability performance is analyzed and verified. The findings provide new insights into transient stability of power systems hosting heterogeneous devices.


title: A Strong Baseline for Vehicle Re-Identification

abstract: Vehicle Re-Identification (Re-ID) aims to identify the same vehicle across different cameras, hence plays an important role in modern traffic management systems. The technical challenges require the algorithms must be robust in different views, resolution, occlusion and illumination conditions. In this paper, we first analyze the main factors hindering the Vehicle Re-ID performance. We then present our solutions, specifically targeting the dataset Track 2 of the 5th AI City Challenge, including (1) reducing the domain gap between real and synthetic data, (2) network modification by stacking multi heads with attention mechanism, (3) adaptive loss weight adjustment. Our method achieves 61.34% mAP on the private CityFlow testset without using external dataset or pseudo labeling, and outperforms all previous works at 87.1% mAP on the Veri benchmark. The code is available at https://github.com/cybercore-co-ltd/track2_aicity_2021.


title: Continuous Learning and Adaptation with Membrane Potential and Activation Threshold Homeostasis

abstract: Most classical (non-spiking) neural network models disregard internal neuron dynamics and treat neurons as simple input integrators. However, biological neurons have an internal state governed by complex dynamics that plays a crucial role in learning, adaptation and the overall network activity and behaviour. This paper presents the Membrane Potential and Activation Threshold Homeostasis (MPATH) neuron model, which combines several biologically inspired mechanisms to efficiently simulate internal neuron dynamics with a single parameter analogous to the membrane time constant in biological neurons. The model allows neurons to maintain a form of dynamic equilibrium by automatically regulating their activity when presented with fluctuating input. One consequence of the MPATH model is that it imbues neurons with a sense of time without recurrent connections, paving the way for modelling processes that depend on temporal aspects of neuron activity. Experiments demonstrate the model's ability to adapt to and continually learn from its input.


title: On the effect of disorder in a $p$-wave flat-band superconductor

abstract: We present a theoretical study of flat-band superconductivity for fully spin-polarized triplet pairing with $p$-wave symmetry. We consider the effect of disorder and calculate the disorder-averaged Green's functions diagrammatically in first-order Born approximation. In the clean limit, we find that, similarly to the case of $s$-wave pairing in a flat-band, both the gap and the critical temperature depend linearly on the attractive interaction strength. We derive the critical-temperature suppression formula for the flat-band case and find that $p$-wave flat-band superconductivity is more robust than the standard case of a band with finite density of states, particularly in more disordered samples.


title: InstantNet: Automated Generation and Deployment of Instantaneously Switchable-Precision Networks

abstract: The promise of Deep Neural Network (DNN) powered Internet of Thing (IoT) devices has motivated a tremendous demand for automated solutions to enable fast development and deployment of efficient (1) DNNs equipped with instantaneous accuracy-efficiency trade-off capability to accommodate the time-varying resources at IoT devices and (2) dataflows to optimize DNNs' execution efficiency on different devices. Therefore, we propose InstantNet to automatically generate and deploy instantaneously switchable-precision networks which operate at variable bit-widths. Extensive experiments show that the proposed InstantNet consistently outperforms state-of-the-art designs.


title: ExoMol molecular line lists -- XLII: Rovibronic molecular line list for the low-lying states of NO

abstract: An accurate line list, called XABC, is computed for nitric oxide which covers its pure rotational, vibrational and rovibronic spectra. A mixture of empirical and theoretical electronic transition dipole moments are used for the final calculation of $^{14}\mathrm{N}^{16}\mathrm{O}$ rovibronic $\mathrm{A}\,^2\Sigma^+$ -- $\mathrm{X}\,^2\Pi$, $\mathrm{B}\,^2\Pi$ -- $\mathrm{X}^2\Pi$ and $\mathrm{C}\,^2\Pi$ -- $\mathrm{X}\,^2\Pi$ which correspond to the $\gamma$, $\beta$ and $\delta$ band systems, respectively, as well as minor improvements to transitions within the $\mathrm{X}\,^2\Pi$ ground state. The work is a major update of the ExoMol NOname line list. It provides a high-accuracy NO ultraviolet line list covering the complicated regions where the $\mathrm{B}\,^2\Pi$-$\mathrm{C}\,^2\Pi$ states interact. XABC provides comprehensive data for the lowest four doublet states of NO in the region of $\lambda > 160 ~ \mathrm{nm}$ ($\tilde{\nu} < 63~000~\mathrm{cm}^{-1}$) for the analysis of atmospheric NO on Earth, Venus or Mars, other astronomical observations and applications. The data is available via www.exomol.com.


title: A compact and stable incidence-plane-rotating second harmonics detector

abstract: We describe a compact and stable setup for detecting the optical second harmonics, in which the incident plane rotates with respect to the sample. The setup is composed of rotating Fresnel-rhomb optics and a femtosecond ytterbium-doped fiber-laser source operating at the repetition frequency of 10 MHz. The setup including the laser source occupies an area of 1 m2 and is stable so that the intensity fluctuation of the laser harmonics can be less than 0.2 % for 4 h. We present the isotropic harmonic signal of a gold mirror of 0.5 pW and demonstrate the integrity and sensitivity of the setup. We also show the polarization-dependent six-fold pattern of the harmonics of a few-layer WSe2, from which we infer the degree of local-field effects. Finally, we describe the extendibility of the setup to investigate the samples in various conditions such as cryogenic, strained, ultrafast non-equilibrium, and high magnetic fields.


title: Frequency Domain Loss Function for Deep Exposure Correction of Dark Images

abstract: We address the problem of exposure correction of dark, blurry and noisy images captured in low-light conditions in the wild. Classical image-denoising filters work well in the frequency space but are constrained by several factors such as the correct choice of thresholds, frequency estimates etc. On the other hand, traditional deep networks are trained end-to-end in the RGB space by formulating this task as an image-translation problem. However, that is done without any explicit constraints on the inherent noise of the dark images and thus produce noisy and blurry outputs. To this end we propose a DCT/FFT based multi-scale loss function, which when combined with traditional losses, trains a network to translate the important features for visually pleasing output. Our loss function is end-to-end differentiable, scale-agnostic, and generic; i.e., it can be applied to both RAW and JPEG images in most existing frameworks without additional overhead. Using this loss function, we report significant improvements over the state-of-the-art using quantitative metrics and subjective tests.


title: Attribute-Modulated Generative Meta Learning for Zero-Shot Classification

abstract: Zero-shot learning (ZSL) aims to transfer knowledge from seen classes to semantically related unseen classes, which are absent during training. The promising strategies for ZSL are to synthesize visual features of unseen classes conditioned on semantic side information and to incorporate meta-learning to eliminate the model's inherent bias towards seen classes. While existing meta generative approaches pursue a common model shared across task distributions, we aim to construct a generative network adaptive to task characteristics. To this end, we propose an Attribute-Modulated generAtive meta-model for Zero-shot learning (AMAZ). Our model consists of an attribute-aware modulation network, an attribute-augmented generative network, and an attribute-weighted classifier. Given unseen classes, the modulation network adaptively modulates the generator by applying task-specific transformations so that the generative network can adapt to highly diverse tasks. The weighted classifier utilizes the data quality to enhance the training procedure, further improving the model performance. Our empirical evaluations on four widely-used benchmarks show that AMAZ outperforms state-of-the-art methods by 3.8% and 3.1% in ZSL and generalized ZSL settings, respectively, demonstrating the superiority of our method. Our experiments on a zero-shot image retrieval task show AMAZ's ability to synthesize instances that portray real visual characteristics.


title: All Tokens Matter: Token Labeling for Training Better Vision Transformers

abstract: In this paper, we present token labeling -- a new training objective for training high-performance vision transformers (ViTs). Different from the standard training objective of ViTs that computes the classification loss on an additional trainable class token, our proposed one takes advantage of all the image patch tokens to compute the training loss in a dense manner. Specifically, token labeling reformulates the image classification problem into multiple token-level recognition problems and assigns each patch token with an individual location-specific supervision generated by a machine annotator. Experiments show that token labeling can clearly and consistently improve the performance of various ViT models across a wide spectrum. For a vision transformer with 26M learnable parameters serving as an example, with token labeling, the model can achieve 84.4% Top-1 accuracy on ImageNet. The result can be further increased to 86.4% by slightly scaling the model size up to 150M, delivering the minimal-sized model among previous models (250M+) reaching 86%. We also show that token labeling can clearly improve the generalization capability of the pre-trained models on downstream tasks with dense prediction, such as semantic segmentation. Our code and all the training details will be made publicly available at https://github.com/zihangJiang/TokenLabeling.


title: Dynamic Spin Fluctuations in the Frustrated Spin Chain Compound Li$_3$Cu$_2$SbO$_6$

abstract: We report the signatures of dynamic spin fluctuations in the layered honeycomb Li$_3$Cu$_2$SbO$_6$ compound, with a 3$d$ S = 1/2 $d^9$ Cu$^{2+}$ configuration, through muon spin rotation and relaxation ($\mu$SR) and neutron scattering studies. Our zero-field (ZF) and longitudinal-field (LF)-$\mu$SR results demonstrate the slowing down of the Cu$^{2+}$ spin fluctuations below 4.0 K. The saturation of the ZF relaxation rate at low temperature, together with its weak dependence on the longitudinal field between 0 and 3.2 kG, indicates the presence of dynamic spin fluctuations persisting even at 80 mK without static order. Neutron scattering study reveals the gaped magnetic excitations with three modes at 7.7, 13.5 and 33 meV. Our DFT calculations reveal that the next nearest neighbors (NNN) AFM exchange ($J_{AFM}$ = 31 meV) is stronger than the NN FM exchange ($J_{FM}$ = -21 meV) indicating the importance of the orbital degrees of freedom. Our results suggest that the physics of Li$_3$Cu$_2$SbO$_6$ can be explained by an alternating AFM chain rather than the honeycomb lattice.


title: Positive scalar curvature and homology cobordism invariants

abstract: We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^{1} \times S^{3}$ with a positive scalar curvature metric so that $Y$ generates the third homology. The main tool of the proof is a relative Bauer-Furuta-type invariant on a periodic-end 4-manifold. As a consequence, we give obstructions to positive scalar curvature metrics on spin rational homology $S^{1} \times S^{3}$, typically described as the coincidence of various Fr{\o}yshov-type invariants. This coincidence also yields alternative proofs of two known obstructions by Jianfeng Lin and by the authors for the same class of 4-manifolds.


title: Compact bilinear operators on asymmetric normed spaces

abstract: The paper is concerned with compact bilinear operators on asymmetric normed spaces. The study of multilinear operators on asymmetric normed spaces was initiated by Latreche and Dahia, Colloq. Math. (2020). We go further in this direction and prove a Schauder type theorem on the compactness of the adjoint of a compact bilinear operator and study the ideal properties of spaces of compact bilinear operators. These extend some results of Ramanujan and Schock, Linear and Multilinear Algebra (1985), and Ruch, ibid. (1989), on compact bilinear operators on Banach spaces. On the space of bilinear forms one introduces the analog of the weak$^*$-topology, called the $w^2$-topology, and one proves an Alaoglu-Bourbaki type theorem -- the $w^2$-compactness of the closed unit ball.


title: A Conditional Value-at-Risk Based Planning Model for Integrated Energy System with Energy Storage and Renewables

abstract: Owing to the potential higher energy supply efficiency and operation flexibility, integrated energy system (IES), which usually includes electric power, gas and heating/cooling systems, is considered as one of the primary forms of energy carrier in the future. However, with the increasing complexity of multiple energy devices and systems integration, IES planning is facing a significant challenge in terms of risk assessment. To this end, an energy hub (EH) planning model considering renewable energy sources (RES) and energy storage system (ESS) integration is proposed in this paper, in which the risk is measured by Conditional Value-at-Risk (CVaR). The proposed IES planning model includes two stages: 1) investment planning on equipment types and capacity (e.g., energy converters, distributed RES and ESS) and 2) optimizing the potential risk loss in operation scenarios along with confidence level and risk preference. The problem solving is accelerated by Benders Decomposition and Improved Backward Scenario Reduction Method. The numerical results illustrate the effectiveness of proposed method in balancing the potential operation risk and investment cost. Moreover, the effectiveness of reducing potential operation risk by introducing ESS and RES are also verified.


title: Benders decomposition approach to solve the capacitated facility location problem

abstract: Facility Location (FL) problems as one of the most important problems in operations research aim to determine the location of a set of facilities in a way that the total costs, including costs of opening facilities and transportation costs, are minimized. This study addresses an FL problem in which the capacity of each facility is limited. Because this problem is in the category of np-hard problems, we use the Benders Decomposition (BD) approach to efficiently solve the FL problem. In this paper, we implement the classic BD algorithm and some accelerating BD methods such as Pareto-optimality cut and L-shaped decomposition methods. Furthermore, we propose and implement the hybrid Pareto-L-shaped (PL) method, and evaluate the performance of the implemented algorithms. The results show that the L-shaped decomposition outperforms the other algorithms in terms of time and the number of iteration, while the classic BD converges slowly especially on large scales.


title: Misinformation, Believability, and Vaccine Acceptance Over 40 Countries: Takeaways From the Initial Phase of The COVID-19 Infodemic

abstract: The COVID-19 pandemic has been damaging to the lives of people all around the world. Accompanied by the pandemic is an infodemic, an abundant and uncontrolled spreading of potentially harmful misinformation. The infodemic may severely change the pandemic's course by interfering with public health interventions such as wearing masks, social distancing, and vaccination. In particular, the impact of the infodemic on vaccination is critical because it holds the key to reverting to pre-pandemic normalcy. This paper presents findings from a global survey on the extent of worldwide exposure to the COVID-19 infodemic, assesses different populations' susceptibility to false claims, and analyzes its association with vaccine acceptance. Based on responses gathered from over 18,400 individuals from 40 countries, we find a strong association between perceived believability of misinformation and vaccination hesitancy. Additionally, our study shows that only half of the online users exposed to rumors might have seen the fact-checked information. Moreover, depending on the country, between 6% and 37% of individuals considered these rumors believable. Our survey also shows that poorer regions are more susceptible to encountering and believing COVID-19 misinformation. We discuss implications of our findings on public campaigns that proactively spread accurate information to countries that are more susceptible to the infodemic. We also highlight fact-checking platforms' role in better identifying and prioritizing claims that are perceived to be believable and have wide exposure. Our findings give insights into better handling of risk communication during the initial phase of a future pandemic.


title: Predictive Mutation Analysis via Natural Language Channel in Source Code

abstract: Mutation analysis can provide valuable insights into both System Under Test (SUT) and its test suite. However, it is not scalable due to the cost of building and testing a large number of mutants. Predictive Mutation Testing (PMT) has been proposed to reduce the cost of mutation testing, but it can only provide statistical inference about whether a mutant will be killed or not by the entire test suite. We propose Seshat, a Predictive Mutation Analysis (PMA) technique that can accurately predict the entire kill matrix, not just the mutation score of the given test suite. Seshat exploits the natural language channel in code, and learns the relationship between the syntactic and semantic concepts of each test case and the mutants it can kill, from a given kill matrix. The learnt model can later be used to predict the kill matrices for subsequent versions of the program, even after both the source and test code have changed significantly. Empirical evaluation using the programs in the Defects4J shows that Seshat can predict kill matrices with the average F-score of 0.83 for versions that are up to years apart. This is an improvement of F-score by 0.14 and 0.45 point over the state-of-the-art predictive mutation testing technique, and a simple coverage based heuristic, respectively. Seshat also performs as well as PMT for the prediction of mutation scores only. Once Seshat trains its model using a concrete mutation analysis, the subsequent predictions made by Seshat are on average 39 times faster than actual test-based analysis.


title: Automatic Qubit Characterization and Gate Optimization with QubiC

abstract: As the size and complexity of a quantum computer increases, quantum bit (qubit) characterization and gate optimization become complex and time-consuming tasks. Current calibration techniques require complicated and verbose measurements to tune up qubits and gates, which cannot easily expand to the large-scale quantum systems. We develop a concise and automatic calibration protocol to characterize qubits and optimize gates using QubiC, which is an open source FPGA (field-programmable gate array) based control and measurement system for superconducting quantum information processors. We propose mutli-dimensional loss-based optimization of single-qubit gates and full XY-plane measurement method for the two-qubit CNOT gate calibration. We demonstrate the QubiC automatic calibration protocols are capable of delivering high-fidelity gates on the state-of-the-art transmon-type processor operating at the Advanced Quantum Testbed at Lawrence Berkeley National Laboratory. The single-qubit and two-qubit Clifford gate infidelities measured by randomized benchmarking are of $4.9(1.1) \times 10^{-4}$ and $1.4(3) \times 10^{-2}$, respectively.


title: Forbidden subgraphs in generating graphs of finite groups

abstract: Let $G$ be a $2$-generated group. The generating graph $\Gamma(G)$ is the graph whose vertices are the elements of $G$ and where two vertices $g_1$ and $g_2$ are adjacent if $G = \langle g_1, g_2 \rangle.$ This graph encodes the combinatorial structure of the distribution of generating pairs across $G.$ In this paper we study some graph theoretic properties of $\Gamma(G)$, with particular emphasis on those properties that can be formulated in terms of forbidden induced subgraphs. In particular we investigate when the generating graph $\Gamma(G)$ is a cograph (giving a complete description when $G$ is soluble) and when it is perfect (giving a complete description when $G$ is nilpotent and proving, among the others, that $\Gamma(S_n)$ and $\Gamma(A_n)$ are perfect if and only if $n\leq 4$). Finally we prove that for a finite group $G$, the properties that $\Gamma(G)$ is split, chordal or $C_4$-free are equivalent.


title: Towards Adversarial Patch Analysis and Certified Defense against Crowd Counting

abstract: Crowd counting has drawn much attention due to its importance in safety-critical surveillance systems. Especially, deep neural network (DNN) methods have significantly reduced estimation errors for crowd counting missions. Recent studies have demonstrated that DNNs are vulnerable to adversarial attacks, i.e., normal images with human-imperceptible perturbations could mislead DNNs to make false predictions. In this work, we propose a robust attack strategy called Adversarial Patch Attack with Momentum (APAM) to systematically evaluate the robustness of crowd counting models, where the attacker's goal is to create an adversarial perturbation that severely degrades their performances, thus leading to public safety accidents (e.g., stampede accidents). Especially, the proposed attack leverages the extreme-density background information of input images to generate robust adversarial patches via a series of transformations (e.g., interpolation, rotation, etc.). We observe that by perturbing less than 6\% of image pixels, our attacks severely degrade the performance of crowd counting systems, both digitally and physically. To better enhance the adversarial robustness of crowd counting models, we propose the first regression model-based Randomized Ablation (RA), which is more sufficient than Adversarial Training (ADT) (Mean Absolute Error of RA is 5 lower than ADT on clean samples and 30 lower than ADT on adversarial examples). Extensive experiments on five crowd counting models demonstrate the effectiveness and generality of the proposed method. The supplementary materials and certificate retrained models are available at \url{https://www.dropbox.com/s/hc4fdx133vht0qb/ACM_MM2021_Supp.pdf?dl=0}


title: CrysXPP:An Explainable Property Predictor for Crystalline Materials

abstract: We present a deep-learning framework, CrysXPP, to allow rapid prediction of electronic, magnetic and elastic properties of a wide range of materials with reasonable precision. Although our work is consistent with several recent attempts to build deep learning-based property predictors, it overcomes some of their limitations. CrysXPP lowers the need for a large volume of tagged data to train a deep learning model by intelligently designing an autoencoder CrysAE and passing the structural information to the property prediction process. The autoencoder in turn is trained on a huge volume of untagged crystal graphs, the designed loss function helps in capturing all their important structural and chemical information. Moreover, CrysXPP uses only a small amount of tagged data for property prediction, and also trains a feature selector that provides interpretability to the results obtained. We demonstrate that CrysXPP convincingly performs better than all the competing and recent baseline algorithms across seven diverse set of properties. Most notably, when given a small amount of experimental data, CrysXPP is consistently able to outperform conventional DFT. We release the large pretrained model CrysAE so that it could be fine-tuned using small amount of tagged data by the research community on various applications with restricted data source.


title: Population synthesis of accreting white dwarfs: Rates and evolutionary pathways of H and He novae

abstract: Novae are some of the most commonly detected optical transients and have the potential to provide valuable information about binary evolution. Binary population synthesis codes have emerged as the most effective tool for modelling populations of binary systems, but such codes have traditionally employed greatly simplified nova physics, precluding detailed study. In this work, we implement a model treating H and He novae as individual events into the binary population synthesis code \binaryc. This treatment of novae represents a significant improvement on the `averaging' treatment currently employed in modern population synthesis codes. We discuss the evolutionary pathways leading to these phenomena and present nova event rates and distributions of several important physical parameters. Most novae are produced on massive white dwarfs, with approximately 70 and 55 per cent of nova events occurring on O/Ne white dwarfs for H and He novae respectively. Only 15 per cent of H-nova systems undergo a common-envelope phase, but these systems are responsible for the majority of H nova events. All He-accreting He-nova systems are considered post-common-envelope systems, and almost all will merge with their donor star in a gravitational-wave driven inspiral. We estimate the current annual rate of novae in M31 (Andromeda) to be approximately $41 \pm 4$ for H novae, underpredicting the current observational estimate of $65^{+15}_{-16}$, and $0.14\pm0.015$ for He novae. When varying common-envelope parameters, the H nova rate varies between 20 and 80 events per year.


title: 7-dimensional closed simply-connected and spin manifolds having 2nd integral cohomology classes whose squares are not divisible by 2 and stable fold maps on them

abstract: This article presents families of 7-dimensional closed and simply-connected manifolds and fold maps on them such that squares of 2nd integral cohomology classes may not be divisible by 2. Fold maps are higher dimensional versions of Morse functions. The author has launched and been challenging the following new area: geometric and constructive studies of higher dimensional, closed and simply-connected manifolds. They are central objects in classical algebraic topology and differential topology. They were classified via algebraic and abstract objects in the last century and their understanding has been studied via concrete algebraic topological theory such as concrete bordism theory since the beginning of this century by Crowley, Kreck, Wang and so on. Fold maps are fundamental objects in the new area and the author has obtained families of these manifolds and fold maps on the manifolds. The present paper presents a new explicit result on the new area.


title: Competing Epidemics on Graphs -- Global Convergence and Coexistence

abstract: The dynamics of the spread of contagions such as viruses, infectious diseases or even rumors/opinions over contact networks (graphs) have effectively been captured by the well known \textit{Susceptible-Infected-Susceptible} ($SIS$) epidemic model in recent years. When it comes to competition between two such contagions spreading on overlaid graphs, their propagation is captured by so-called \textit{bi-virus} epidemic models. Analysis of such dynamical systems involve the identification of equilibrium points and its convergence properties, which determine whether either of the viruses dies out, or both survive together. We demonstrate how the existing works are unsuccessful in characterizing a large subset of the model parameter space, including all parameters for which the competitiveness of the bi-virus system is significant enough to attain coexistence of the epidemics. In this paper, we fill in this void and obtain convergence results for the entirety of the model parameter space; giving precise conditions (necessary and sufficient) under which the system \textit{globally converges} to a \textit{trichotomy} of possible outcomes: a virus-free state, a single-virus state, and to a coexistence state -- the first such result.

categories: eess.SY cs.SI cs.SY physics.soc-ph q-bio.PE


title: Mosaic Flows: A Transferable Deep Learning Framework for Solving PDEs on Unseen Domains

abstract: Physics-informed neural networks (PINNs) are increasingly employed to replace/augment traditional numerical methods in solving partial differential equations (PDEs). While state-of-the-art PINNs have many attractive features, they approximate a specific realization of a PDE system and hence are problem-specific. That is, the model needs to be re-trained each time the boundary conditions (BCs) and domain shape/size change. This limitation prohibits the application of PINNs to realistic or large-scale engineering problems especially since the costs and efforts associated with their training are considerable. We introduce a transferable framework for solving boundary value problems (BVPs) via deep neural networks which can be trained once and used forever for various unseen domains and BCs. We first introduce genomic flow network(GFNet), a neural network that can infer the solution of a BVP across arbitrary BCson a small square domain called genome. Then, we proposed mosaic flow(MF) predictor, a novel iterative algorithm that assembles the GFNet's inferences for BVPs on large domains with unseen sizes/shapes and BCs while preserving the spatial regularity of the solution. We demonstrate that our framework can estimate the solution of Laplace and Navier-Stokes equations in domains of unseen shapes and BCs that are, respectively, 1200 and 12 times larger than the training domains. Since our framework eliminates the need to re-train models for unseen domains and BCs, it demonstrates up to 3 orders-of-magnitude speedups compared to the state-of-the-art.


title: Focusing on Shadows for Predicting Heightmaps from Single Remotely Sensed RGB Images with Deep Learning

abstract: Estimating the heightmaps of buildings and vegetation in single remotely sensed images is a challenging problem. Effective solutions to this problem can comprise the stepping stone for solving complex and demanding problems that require 3D information of aerial imagery in the remote sensing discipline, which might be expensive or not feasible to require. We propose a task-focused Deep Learning (DL) model that takes advantage of the shadow map of a remotely sensed image to calculate its heightmap. The shadow is computed efficiently and does not add significant computation complexity. The model is trained with aerial images and their Lidar measurements, achieving superior performance on the task. We validate the model with a dataset covering a large area of Manchester, UK, as well as the 2018 IEEE GRSS Data Fusion Contest Lidar dataset. Our work suggests that the proposed DL architecture and the technique of injecting shadows information into the model are valuable for improving the heightmap estimation task for single remotely sensed imagery.


title: Joint Time and Power Allocation for 5G NR Unlicensed Systems

abstract: The fifth-generation (5G) and beyond networks are designed to efficiently utilize the spectrum resources to meet various quality of service (QoS) requirements. The unlicensed frequency bands used by WiFi are mainly deployed for indoor applications and are not always fully occupied. The cellular industry has been working to enable cellular and WiFi coexistence. In particular, 5G New Radio in unlicensed channel spectrum (NR-U) supports the uplink and downlink transmission on the maximum channel occupation time (MCOT) duration. In this paper, we consider maximizing the total throughput of both downlink and uplink in NR-U by jointly optimizing the time and power allocation during MCOT while ensuring fair coexistence with WiFi. Fairness is guaranteed in two steps: 1) tuning the access related parameters of NR-U to achieve proportional fairness, and 2) including 3GPP fairness from the throughput perspective as a constraint in NR-U throughput maximization. Numerical analysis and simulation have demonstrated the superior performance of the proposed resource allocation algorithm compared to conventional deployment strategies.


title: A journey of exploration to the polar regions of a star: probing the solar poles and the heliosphere from high helio-latitude

abstract: A mission to view the solar poles from high helio-latitudes (above 60$^\circ$) will build on the experience of Solar Orbiter as well as a long heritage of successful solar missions and instrumentation (e.g. SOHO \cite{SOHO}, STEREO \cite{stereo}, Hinode \cite{Hinode}, SDO \cite{SDO}), but will focus for the first time on the solar poles, enabling scientific investigations that cannot be done by any other mission. One of the major mysteries of the Sun is the solar cycle. The activity cycle of the Sun drives the structure and behaviour of the heliosphere and is, of course, the driver of space weather. In addition, solar activity and variability provides fluctuating input into the Earth climate models, and these same physical processes are applicable to stellar systems hosting exoplanets. One of the main obstructions to understanding the solar cycle, and hence all solar activity, is our current lack of understanding of the polar regions. In this White Paper, submitted to the European Space Agency in response to the Voyage 2050 call, we describe a mission concept that aims to address this fundamental issue. In parallel, we recognise that viewing the Sun from above the polar regions enables further scientific advantages, beyond those related to the solar cycle, such as unique and powerful studies of coronal mass ejection processes, from a global perspective, and studies of coronal structure and activity in polar regions. Not only will these provide important scientific advances for fundamental stellar physics research, they will feed into our understanding of impacts on the Earth and other planets' space environment.


title: Approximate option pricing formula for Barndorff-Nielsen and Shephard model

abstract: For the Barndorff-Nielsen and Shephard model, we present approximate expressions of call option prices based on the decomposition formula developed by Arai (2021). Besides, some numerical experiments are also implemented to make sure how effective our approximations are.


title: Comparing regional and provincial-wide COVID-19 models with physical distancing in British Columbia

abstract: We study the effects of physical distancing measures for the spread of COVID-19 in regional areas within British Columbia, using the reported cases of the five provincial Health Authorities. Building on the Bayesian epidemiological model of Anderson et al. (2020), we propose a hierarchical regional Bayesian model with time-varying regional parameters between March to December of 2020. In the absence of COVID-19 variants and vaccinations during this period, we examine the regionalized basic reproduction number, modelled prevalence, relative reduction in contact due to physical distancing, and proportion of anticipated cases that have been tested and reported. We observe significant differences between the regional and provincial-wide models and demonstrate the hierarchical regional model can better estimate regional prevalence, especially in rural regions. These results indicate that it can be useful to apply similar regional models to other parts of Canada or other countries.


title: Efficient LiDAR Odometry for Autonomous Driving

abstract: LiDAR odometry plays an important role in self-localization and mapping for autonomous navigation, which is usually treated as a scan registration problem. Although having achieved promising performance on KITTI odometry benchmark, the conventional searching tree-based approach still has the difficulty in dealing with the large scale point cloud efficiently. The recent spherical range image-based method enjoys the merits of fast nearest neighbor search by spherical mapping. However, it is not very effective to deal with the ground points nearly parallel to LiDAR beams. To address these issues, we propose a novel efficient LiDAR odometry approach by taking advantage of both non-ground spherical range image and bird's-eye-view map for ground points. Moreover, a range adaptive method is introduced to robustly estimate the local surface normal. Additionally, a very fast and memory-efficient model update scheme is proposed to fuse the points and their corresponding normals at different time-stamps. We have conducted extensive experiments on KITTI odometry benchmark, whose promising results demonstrate that our proposed approach is effective.


title: Efficient Relation-aware Scoring Function Search for Knowledge Graph Embedding

abstract: The scoring function, which measures the plausibility of triplets in knowledge graphs (KGs), is the key to ensure the excellent performance of KG embedding, and its design is also an important problem in the literature. Automated machine learning (AutoML) techniques have recently been introduced into KG to design task-aware scoring functions, which achieve state-of-the-art performance in KG embedding. However, the effectiveness of searched scoring functions is still not as good as desired. In this paper, observing that existing scoring functions can exhibit distinct performance on different semantic patterns, we are motivated to explore such semantics by searching relation-aware scoring functions. But the relation-aware search requires a much larger search space than the previous one. Hence, we propose to encode the space as a supernet and propose an efficient alternative minimization algorithm to search through the supernet in a one-shot manner. Finally, experimental results on benchmark datasets demonstrate that the proposed method can efficiently search relation-aware scoring functions, and achieve better embedding performance than state-of-the-art methods.


title: Size-Sieving Separation of Hard-Sphere Mixtures through Cylindrical Pores

abstract: The collision dynamics of hard spheres and cylindrical pores is solved exactly, which is the minimal model for a regularly porous membrane. Nonequilibrium event-driven molecular dynamics simulations are used to show that the permeability $P$ of hard spheres of size $\sigma$ through cylinderical pores of size $d$ follow the hindered diffusion mechanism due to size exclusion as $P \propto (1-\sigma/d)^2$. Under this law, the separation of binary mixtures of large and small particles exhibits a linear relationship between $\alpha^{-1/2}$ and $P^{-1/2}$, where $\alpha$ and $P$ are the selectivity and permeability of the smaller particle, respectively. The mean permeability through polydisperse pores is the sum of permeabilities of individual pores, weighted by the fraction of the single pore area over the total pore area.


title: Matrices of simple spectrum in irreducible representations of cyclic extensions of simple algebraic groups

abstract: Let $H$ be a linear algebraic group whose connected component $G\neq 1$ is simple and $H/G$ is cyclic. We determine the irreducible projective representations $\phi$ of $H$ such that $\phi(G)$ is irreducible and $\phi(h)$ has simple spectrum for some $h\in H$. The latter means that all irreducible constituents of the group $\phi( \langle h\rangle)$ are of multiplicity 1. (Here $\langle h\rangle$ is the subgroup of $H$ generated by $h$.) This extends an earlier known result for $H=G$.


title: Eigenvalue embedding problem for quadratic regular matrix polynomials with symmetry structures

abstract: In this paper, we propose a unified approach for solving structure-preserving eigenvalue embedding problem (SEEP) for quadratic regular matrix polynomials with symmetry structures. First, we determine perturbations of a quadratic matrix polynomial, unstructured or structured, such that the perturbed polynomials reproduce a desired invariant pair while maintaining the invariance of another invariant pair of the unperturbed polynomial. If the latter is unknown, it is referred to as no spillover perturbation. Then we use these results for solving the SEEP for structured quadratic matrix polynomials that include: symmetric, Hermitian, $\star$-even and $\star$-odd quadratic matrix polynomials. Finally, we show that the obtained analytical expressions of perturbations can realize existing results for structured polynomials that arise in real-world applications, as special cases. The obtained results are supported with numerical examples.


title: X-ray Absorption Spectroscopy Study of La$_{1-y}$Sr$_{y}$Co$_{1-x}$Nb$_x$O$_3$

abstract: We use x-ray absorption spectroscopy to investigate the local structure and electronic properties of bulk La$_{1-y}$Sr$_{y}$Co$_{1-x}$Nb$_x$O$_3$ ($y=$ 2$x$ as LSCNO and $y=$ 0 as LCNO) samples. The x-ray absorption near-edge spectra (XANES) of LSCNO at Co K-edge affirm the valence state of Co in 3+. However, in the case of the LCNO, a subtle variation in the valence state of Co ions from 3+ to 2+ is evident with Nb substitution. The detailed analysis of the Fourier transform (FT) of the extended x-ray absorption fine structure (EXAFS) for the LSCNO samples exhibit the two groups of the bond-lengths owing to the Jahn-Teller (JT) distortion in the CoO$_6$ octahedra, which manifest that the Co$^{3+}$ ions exist in the intermediate spin-state (t$^5_{2g}$e$^1_g$) at room temperature. However, we find that the JT distortion is not present in LCNO samples for $x>$0.025 due to an increase in the high-spin Co$^{2+}$/Co$^{3+}$ ions accompanied by the Nb--induced structural transformation. Intriguingly, the La L$_3$-edge spectra for the LSCNO samples exhibit that the La ions exist in the trivalent state and the local disorder around La atoms decreases with Sr and Nb substitution. Interestingly, the simulated FT of the EXAFS spectra at the La L$_3$-edge demonstrates the three groups of La--O bond lengths, which exhibit a monotonous change with Sr and Nb substitution. Moreover, the XANES measured at Sr and Nb K-edges confirm their oxidation state to be in 2+ and 5+, respectively.


title: Revisiting the compatibility problem between the gauge principle and the observability of the canonical orbital angular momentum in the Landau problem

abstract: As is widely-known, the eigen-functions of the Landau problem in the symmetric gauge are specified by two quantum numbers. The first is the familiar Landau quantum number $n$, whereas the second is the magnetic quantum number $m$, which is the eigen-value of the canonical orbital angular momentum (OAM) operator of the electron. The eigen-energies of the system depend only on the first quantum number $n$, and the second quantum number $m$ does not correspond to any direct observables. This seems natural since the canonical OAM is generally believed to be a {\it gauge-variant} quantity, and observation of a gauge-variant quantity would contradict a fundamental principle of physics called the {\it gauge principle}. In recent researches, however, Bliohk et al. analyzed the motion of helical electron beam along the direction of a uniform magnetic field, which was mostly neglected in past analyses of the Landau states. Their analyses revealed highly non-trivial $m$-dependent rotational dynamics of the Landau electron, but the problem is that their papers give an impression that the quantum number $m$ in the Landau eigen-states corresponds to a genuine observable. This compatibility problem between the gauge principle and the observability of the quantum number $m$ in the Landau eigen-states was attacked in our previous letter paper. In the present paper, we try to give more convincing answer to this delicate problem of physics, especially by paying attention not only to the {\it particle-like} aspect but also to the {\it wave-like} aspect of the Landau electron.


title: The DAQ and control system for JadePix3

abstract: The silicon pixel sensor is the core component of the vertex detector for the Circular Electron Positron Collider~(CEPC). The JadePix3 is a full-function large-size CMOS chip designed for the CEPC vertex detector. To test all the functions and the performance of this chip, we designed a test system based on the IPbus framework. The test system controls the parameters and monitors the status of the pixel chip. By integrating the jumbo frame feature into the IPbus suite, the block read/write speed is further extended in order to meet the specifications of the JadePix3. The robustness, scalability, and portability of this system have been verified by pulse test, cosmic test and laser test in the laboratory. This paper summarizes the DAQ and control system of the JadePix3 and presents the first results of the tests.


title: Parametric control of self-sustained and self-modulated optomechanical oscillations

abstract: Optomechanical systems are known to exhibit a rich set of complex dynamical features including various types of chaotic behavior and multi-stability. Although this exotic behavior has attracted an intense research interest, the utilization of optomechanical systems in technological applications, in most cases necessitates a complex, yet predictable and controllable, oscillatory response. In fact, the various types of robust oscillations supported by optomechanical systems are nested in either the same or neighboring regions of the parameter space, where chaos exists. In this work we systematically dissect the parameter space of the fundamental optomechanical oscillator in order to identify regions where stable self-sustained and self-modulated oscillations exist, by utilizing bifurcation analysis and advanced numerical continuation techniques. Moreover,in cases where bistability occurs, we study the accessibility of these oscillatory states in terms of initial conditions and their location with respect to well-defined basins of attraction. The results provide specific knowledge for the parameter sets enabling the appropriate oscillatory response for different types of applications.


title: Machine learning aided materials design platform for predicting the mechanical properties of Na-ion solid-state electrolytes

abstract: Na-ion solid-state electrolytes (Na-SSE) exhibit high potential for electrical energy storage owing to their high energy densities and low manufacturing cost. However, their mechanical properties critical to maintain structural stability at the interface are still insufficiently understood. In this study, a machine learning based regression model was developed for predicting the mechanical properties of Na-SSEs. As a training set, 12,361 materials were obtained from a well-known materials database (Materials Project) and were represented with their respective chemical and structural descriptors. The developed surrogate model exhibited a remarkable accuracy (R2 score) of 0.72 and 0.87, with a mean absolute error of 11.8 GPa and 15.3 GPa for the shear and bulk modulus, respectively. This model was then applied to predict the mechanical properties of 2,432 Na-SSEs, the properties of which have been validated with first principles calculations. Finally, the optimization process was performed to develop an ideal materials screening platform by adding the new minimized dataset, wherein the prediction uncertainty is reduced. We believe that the platform proposed in this study can accelerate the search for Na-SSEs with ideal mechanical properties at minimum cost.


title: Fast MILP-based Task and Motion Planning for Pick-and-Place with Hard/Soft Constraints of Collision-Free Route

abstract: We present new models of optimization-based task and motion planning (TAMP) for robotic pick-and-place (P&P), which plan action sequences and motion trajectory with low computational costs. We improved an existing state-of-the-art TAMP model integrated with the collision avoidance, which is formulated as a mixed-integer linear programing (MILP) problem. To enable the MILP solver to search for solutions efficiently, we introduced two approaches leveraging features of collision avoidance in robotic P&P. The first approach reduces number of binary variables, which are related to the collision avoidance of delivery objects, by reformulating them as continuous variables with additional hard constraints. These hard constraints maintain consistency by conditionally propagating binary values, which are related to the carry action state and collision avoidance of robots, to the reformulated continuous variables. The second approach is more aware of the branch-and-bound method, which is the fundamental algorithm of modern MILP solvers. This approach guides the MILP solver to find integer solutions with shallower branching by adding a soft constraint, which softly restricts a robot's routes around delivery objects. We demonstrate the effectiveness of the proposed approaches with a modern MILP solver.