title: An extreme particle accelerator in the Galactic plane: HESS J1826$-$130

abstract: The unidentified very-high-energy (VHE; E $>$ 0.1 TeV) $\gamma$-ray source, HESS J1826$-$130, was discovered with the High Energy Stereoscopic System (HESS) in the Galactic plane. The analysis of 215 h of HESS data has revealed a steady $\gamma$-ray flux from HESS J1826$-$130, which appears extended with a half-width of 0.21$^{\circ}$ $\pm$ 0.02$^{\circ}_{\text{stat}}$ $\pm$ 0.05$^{\circ}_{\text{sys}}$. The source spectrum is best fit with either a power-law function with a spectral index $\Gamma$ = 1.78 $\pm$ 0.10$_{\text{stat}}$ $\pm$ 0.20$_{\text{sys}}$ and an exponential cut-off at 15.2$^{+5.5}_{-3.2}$ TeV, or a broken power-law with $\Gamma_{1}$ = 1.96 $\pm$ 0.06$_{\text{stat}}$ $\pm$ 0.20$_{\text{sys}}$, $\Gamma_{2}$ = 3.59 $\pm$ 0.69$_{\text{stat}}$ $\pm$ 0.20$_{\text{sys}}$ for energies below and above $E_{\rm{br}}$ = 11.2 $\pm$ 2.7 TeV, respectively. The VHE flux from HESS J1826$-$130 is contaminated by the extended emission of the bright, nearby pulsar wind nebula (PWN), HESS J1825$-$137, particularly at the low end of the energy spectrum. Leptonic scenarios for the origin of HESS J1826$-$130 VHE emission related to PSR J1826$-$1256 are confronted by our spectral and morphological analysis. In a hadronic framework, taking into account the properties of dense gas regions surrounding HESS J1826$-$130, the source spectrum would imply an astrophysical object capable of accelerating the parent particle population up to $\gtrsim$200 TeV. Our results are also discussed in a multiwavelength context, accounting for both the presence of nearby supernova remnants (SNRs), molecular clouds, and counterparts detected in radio, X-rays, and TeV energies.


title: Identification of orientation of galaxies in the Galaxy Zoo dataset using spectral clustering

abstract: This work identifies the orientation of galaxies in the Galaxy zoo data set. The images are first identified by the number of principal components required to represent 99 percent of the variance of the image. K means clustering is used to separate the galaxies on the basis of their central brightness along with outlier separation. Spectral clustering is then used to separate circularly symmetric galaxies and the remaining galaxies are identified according to their orientation as flat , left and right on the basis of the alignment of the main axis. It is also seen that spectral clustering fails to make this classification when the galaxy images are noisy and works only when applied on a smaller subset of the total number of images in the Galaxy zoo data set. This method also fails in the presence of multiple galaxies in the image, considering them as an individual entity.


title: LazyBatching: An SLA-aware Batching System for Cloud Machine Learning Inference

abstract: In cloud ML inference systems, batching is an essential technique to increase throughput which helps optimize total-cost-of-ownership. Prior graph batching combines the individual DNN graphs into a single one, allowing multiple inputs to be concurrently executed in parallel. We observe that the coarse-grained graph batching becomes suboptimal in effectively handling the dynamic inference request traffic, leaving significant performance left on the table. This paper proposes LazyBatching, an SLA-aware batching system that considers both scheduling and batching in the granularity of individual graph nodes, rather than the entire graph for flexible batching. We show that LazyBatching can intelligently determine the set of nodes that can be efficiently batched together, achieving an average 15x, 1.5x, and 5.5x improvement than graph batching in terms of average response time, throughput, and SLA satisfaction, respectively.


title: Gramian-Based Adaptive Combination Policies for Diffusion Learning over Networks

abstract: This paper presents an adaptive combination strategy for distributed learning over diffusion networks. Since learning relies on the collaborative processing of the stochastic information at the dispersed agents, the overall performance can be improved by designing combination policies that adjust the weights according to the quality of the data. Such policies are important because they would add a new degree of freedom and endow multi-agent systems with the ability to control the flow of information over their edges for enhanced performance. Most adaptive and static policies available in the literature optimize certain performance metrics related to steady-state behavior, to the detriment of transient behavior. In contrast, we develop an adaptive combination rule that aims at optimizing the transient learning performance, while maintaining the enhanced steady-state performance obtained using policies previously developed in the literature.


title: Two-stage Textual Knowledge Distillation for End-to-End Spoken Language Understanding

abstract: End-to-end approaches open a new way for more accurate and efficient spoken language understanding (SLU) systems by alleviating the drawbacks of traditional pipeline systems. Previous works exploit textual information for an SLU model via pre-training with automatic speech recognition or fine-tuning with knowledge distillation. To utilize textual information more effectively, this work proposes a two-stage textual knowledge distillation method that matches utterance-level representations and predicted logits of two modalities during pre-training and fine-tuning, sequentially. We use vq-wav2vec BERT as a speech encoder because it captures general and rich features. Furthermore, we improve the performance, especially in a low-resource scenario, with data augmentation methods by randomly masking spans of discrete audio tokens and contextualized hidden representations. Consequently, we push the state-of-the-art on the Fluent Speech Commands, achieving 99.7% test accuracy in the full dataset setting and 99.5% in the 10% subset setting. Throughout the ablation studies, we empirically verify that all used methods are crucial to the final performance, providing the best practice for spoken language understanding. Code is available at https://github.com/clovaai/textual-kd-slu.


title: Scribble-based Weakly Supervised Deep Learning for Road Surface Extraction from Remote Sensing Images

abstract: Road surface extraction from remote sensing images using deep learning methods has achieved good performance, while most of the existing methods are based on fully supervised learning, which requires a large amount of training data with laborious per-pixel annotation. In this paper, we propose a scribble-based weakly supervised road surface extraction method named ScRoadExtractor, which learns from easily accessible scribbles such as centerlines instead of densely annotated road surface ground-truths. To propagate semantic information from sparse scribbles to unlabeled pixels, we introduce a road label propagation algorithm which considers both the buffer-based properties of road networks and the color and spatial information of super-pixels. The proposal masks generated from the road label propagation algorithm are utilized to train a dual-branch encoder-decoder network we designed, which consists of a semantic segmentation branch and an auxiliary boundary detection branch. We perform experiments on three diverse road datasets that are comprised of highresolution remote sensing satellite and aerial images across the world. The results demonstrate that ScRoadExtractor exceed the classic scribble-supervised segmentation method by 20% for the intersection over union (IoU) indicator and outperform the state-of-the-art scribble-based weakly supervised methods at least 4%.


title: Coulombically-stabilized oxygen hole polarons enable fully reversible oxygen redox

abstract: Stabilizing high-valent redox couples and exotic electronic states necessitate an understanding of the stabilization mechanism. In oxides, whether they are being considered for energy storage or computing, highly oxidized oxide-anion species rehybridize to form short covalent bonds and are related to significant local structural distortions. In intercalation oxide electrodes for batteries, while such reorganization partially stabilizes oxygen redox, it also gives rise to substantial hysteresis. In this work, we investigate oxygen redox in layered Na2-XMn3O7, a positive electrode material with ordered Mn vacancies. We show that coulombic interactions between oxidized oxide-anions and the interlayer Na vacancies can disfavor rehybridization and stabilize hole polarons on oxygen at 4.2 V vs. Na/Na+. These coulombic interactions provide thermodynamic energy saving as large as O-O covalent bonding and enable ~ 40 mV voltage hysteresis over multiple electrochemical cycles with negligible voltage fade. Our results establish a complete picture of redox energetics by highlighting the role of coulombic interactions across several atomic distances and suggest avenues to stabilize highly oxidized oxygen for applications in energy storage and beyond.


title: Active and Interactive Mapping with Dynamic Gaussian Process Implicit Surfaces for Mobile Manipulators

abstract: In this letter, we present an interactive probabilistic mapping framework for a mobile manipulator picking objects from a pile. The aim is to map the scene, actively decide where to go next and which object to pick, make changes to the scene by picking the chosen object, and then map these changes alongside. The proposed framework uses a novel dynamic Gaussian Process (GP) Implicit Surface method to incrementally build and update the scene map that reflects environment changes. Actively the framework provides the next-best-view, balancing the need for picking object reachability with map information gain (IG). To enforce a priority of visiting boundary segments over unknown regions, the IG formulation includes an uncertainty gradient-based frontier score by exploiting the GP kernel derivative. This leads to an efficient strategy that addresses the often conflicting requirement of unknown environment exploration and object picking exploitation given a limited execution horizon. We demonstrate the effectiveness of our framework with software simulation and real-life experiments.


title: Rate-Memory Trade-Off for the Cache-Aided MISO Broadcast Channel with Hybrid CSIT

abstract: One of the famous problems in communications was the so-called "PN" problem in the Broadcast Channel, which refers to the setting where a fixed set of users provide perfect Channel State Information (CSI) to a multi-antenna transmitter, whereas the remaining users only provide finite-precision CSI or no CSI. The Degrees-of-Freedom (DoF) of that setting were recently derived by means of the Aligned Image Set approach. In this work, we resolve the cache-aided variant of this problem (i.e., the "PN" setting with side information) in the regime where the number of users providing perfect CSI is smaller or equal to the number of transmit antennas. In particular, we derive the optimal rate-memory trade-off under the assumption of uncoded placement and characterize the same trade-off within a factor of 2.01 for general placement. The result proves that the "PN" impact remains similar even in the presence of side information, but also that the optimal trade-off is not achievable through independently serving the two sets of users.


title: Learning Multi-Agent Coordination for Enhancing Target Coverage in Directional Sensor Networks

abstract: Maximum target coverage by adjusting the orientation of distributed sensors is an important problem in directional sensor networks (DSNs). This problem is challenging as the targets usually move randomly but the coverage range of sensors is limited in angle and distance. Thus, it is required to coordinate sensors to get ideal target coverage with low power consumption, e.g. no missing targets or reducing redundant coverage. To realize this, we propose a Hierarchical Target-oriented Multi-Agent Coordination (HiT-MAC), which decomposes the target coverage problem into two-level tasks: targets assignment by a coordinator and tracking assigned targets by executors. Specifically, the coordinator periodically monitors the environment globally and allocates targets to each executor. In turn, the executor only needs to track its assigned targets. To effectively learn the HiT-MAC by reinforcement learning, we further introduce a bunch of practical methods, including a self-attention module, marginal contribution approximation for the coordinator, goal-conditional observation filter for the executor, etc. Empirical results demonstrate the advantage of HiT-MAC in coverage rate, learning efficiency,and scalability, comparing to baselines. We also conduct an ablative analysis on the effectiveness of the introduced components in the framework.


title: Develop Health Monitoring and Management System to Track Health Condition and Nutrient Balance for School Students

abstract: Health Monitoring and Management System (HMMS) is an emerging technology for decades. Researchers are working on this field to track health conditions for different users. Researchers emphasize tracking health conditions from an early stage to the human body. Therefore, different research works have been conducted to establish HMMS in schools. Researchers propose different frameworks and technologies for their HMMS to check student's health condition. In this paper, we introduce a complete and scalable HMMS to track health conditions and nutrient balance for students from primary school. We define procedures step by step to establish a robust HMMS where big data methodologies can be used for further prediction for diseases.


title: Distributed Saddle-Point Problems: Lower Bounds, Near-Optimal and Robust Algorithms

abstract: This paper focuses on the distributed optimization of stochastic saddle point problems. The first part of the paper is devoted to lower bounds for the cenralized and decentralized distributed methods for smooth (strongly) convex-(strongly) concave saddle-point problems as well as the near-optimal algorithms by which these bounds are achieved. Next, we present a new federated algorithm for cenralized distributed saddle point problems - Extra Step Local SGD. Theoretical analysis of the new method is carried out for strongly convex-strongly concave and non-convex-non-concave problems. In the experimental part of the paper, we show the effectiveness of our method in practice. In particular, we train GANs in a distributed manner.


title: Representations of the necklace braid group {NB}}_n of dimension (n=2,3,4)

abstract: We consider the irreducible representations each of dimension 2 of the necklace braid group $\mathcal{NB}_n$ ($n=2,3,4$). We then consider the tensor product of the representations of $\mathcal{NB}_n$ ($n=2,3,4$) and determine necessary and sufficient condition under which the constructed representations are irreducible. Finally, we determine conditions under which the irreducible representations of $\mathcal{NB}_n$ ($n=2,3,4$) of degree 2 are unitary relative to a hermitian positive definite matrix


title: Empowering Knowledge Distillation via Open Set Recognition for Robust 3D Point Cloud Classification

abstract: Real-world scenarios pose several challenges to deep learning based computer vision techniques despite their tremendous success in research. Deeper models provide better performance, but are challenging to deploy and knowledge distillation allows us to train smaller models with minimal loss in performance. The model also has to deal with open set samples from classes outside the ones it was trained on and should be able to identify them as unknown samples while classifying the known ones correctly. Finally, most existing image recognition research focuses only on using two-dimensional snapshots of the real world three-dimensional objects. In this work, we aim to bridge these three research fields, which have been developed independently until now, despite being deeply interrelated. We propose a joint Knowledge Distillation and Open Set recognition training methodology for three-dimensional object recognition. We demonstrate the effectiveness of the proposed method via various experiments on how it allows us to obtain a much smaller model, which takes a minimal hit in performance while being capable of open set recognition for 3D point cloud data.


title: The academic career in physics as a "deal": Choosing physics within a gendered power structure and excellence as an extra hurdle for women

abstract: The absence of women among academic staff in physics is in the focus of our research. To explore the causes of this gender imbalance, we conducted a nationwide representative survey among Ph.D. students and interviews with Ph.D. students and postdoctoral fellows. Studying both context factors and agency, we reveal the multiple and hidden ways in which gender operates as a power structure, putting up barriers to women's academic careers. This latent power structure influences women's decision-making and experiences in several ways. In the academic field, it produces unequal competition in a male dominated playground. In the social sphere, choosing a demanding academic career is seen as disrupting gender order. Within the family, women carry a greater burden of family work and give precedence to their partner's career and preferences. Within this social structure, women who decide to follow an academic career feel that they must excel. The demand for excellence acts as an invisible barrier within the gender power structure that prevents talented women from pursuing an academic career in physics.


title: An empirical study of domain-agnostic semi-supervised learning via energy-based models: joint-training and pre-training

abstract: A class of recent semi-supervised learning (SSL) methods heavily rely on domain-specific data augmentations. In contrast, generative SSL methods involve unsupervised learning based on generative models by either joint-training or pre-training, and are more appealing from the perspective of being domain-agnostic, since they do not inherently require data augmentations. Joint-training estimates the joint distribution of observations and labels, while pre-training is taken over observations only. Recently, energy-based models (EBMs) have achieved promising results for generative modeling. Joint-training via EBMs for SSL has been explored with encouraging results across different data modalities. In this paper, we make two contributions. First, we explore pre-training via EBMs for SSL and compare it to joint-training. Second, a suite of experiments are conducted over domains of image classification and natural language labeling to give a realistic whole picture of the performances of EBM based SSL methods. It is found that joint-training EBMs outperform pre-training EBMs marginally but nearly consistently.


title: Hyperparameter Transfer Across Developer Adjustments

abstract: After developer adjustments to a machine learning (ML) algorithm, how can the results of an old hyperparameter optimization (HPO) automatically be used to speedup a new HPO? This question poses a challenging problem, as developer adjustments can change which hyperparameter settings perform well, or even the hyperparameter search space itself. While many approaches exist that leverage knowledge obtained on previous tasks, so far, knowledge from previous development steps remains entirely untapped. In this work, we remedy this situation and propose a new research framework: hyperparameter transfer across adjustments (HT-AA). To lay a solid foundation for this research framework, we provide four simple HT-AA baseline algorithms and eight benchmarks changing various aspects of ML algorithms, their hyperparameter search spaces, and the neural architectures used. The best baseline, on average and depending on the budgets for the old and new HPO, reaches a given performance 1.2--2.6x faster than a prominent HPO algorithm without transfer. As HPO is a crucial step in ML development but requires extensive computational resources, this speedup would lead to faster development cycles, lower costs, and reduced environmental impacts. To make these benefits available to ML developers off-the-shelf and to facilitate future research on HT-AA, we provide python packages for our baselines and benchmarks.


title: Monocular Depth Estimation via Listwise Ranking using the Plackett-Luce Model

abstract: In many real-world applications, the relative depth of objects in an image is crucial for scene understanding. Recent approaches mainly tackle the problem of depth prediction in monocular images by treating the problem as a regression task. Yet, being interested in an order relation in the first place, ranking methods suggest themselves as a natural alternative to regression, and indeed, ranking approaches leveraging pairwise comparisons as training information ("object A is closer to the camera than B") have shown promising performance on this problem. In this paper, we elaborate on the use of so-called listwise ranking as a generalization of the pairwise approach. Our method is based on the Plackett-Luce (PL) model, a probability distribution on rankings, which we combine with a state-of-the-art neural network architecture and a simple sampling strategy to reduce training complexity. Moreover, taking advantage of the representation of PL as a random utility model, the proposed predictor offers a natural way to recover (shift-invariant) metric depth information from ranking-only data provided at training time. An empirical evaluation on several benchmark datasets in a "zero-shot" setting demonstrates the effectiveness of our approach compared to existing ranking and regression methods.


title: A Survey on Churn Analysis

abstract: In this paper, I present churn prediction techniques that have been released so far. Churn prediction is used in the fields of Internet services, games, insurance, and management. However, since it has been used intensively to increase the predictability of various industry/academic fields, there is a big difference in its definition and utilization. In this paper, I collected the definitions of churn used in the fields of business administration, marketing, IT, telecommunications, newspapers, insurance and psychology, and described their differences. Based on this, I classified and explained churn loss, feature engineering, and prediction models. Our study can be used to select the definition of churn and its associated models suitable for the service field that researchers are most interested in by integrating fragmented churn studies in industry/academic fields.


title: Exploring Network-Wide Flow Data with Flowyager

abstract: Many network operations, ranging from attack investigation and mitigation to traffic management, require answering network-wide flow queries in seconds. Although flow records are collected at each router, using available traffic capture utilities, querying the resulting datasets from hundreds of routers across sites and over time, remains a significant challenge due to the sheer traffic volume and distributed nature of flow records. In this paper, we investigate how to improve the response time for a priori unknown network-wide queries. We present Flowyager, a system that is built on top of existing traffic capture utilities. Flowyager generates and analyzes tree data structures, that we call Flowtrees, which are succinct summaries of the raw flow data available by capture utilities. Flowtrees are self-adjusted data structures that drastically reduce space and transfer requirements, by 75% to 95%, compared to raw flow records. Flowyager manages the storage and transfers of Flowtrees, supports Flowtree operators, and provides a structured query language for answering flow queries across sites and time periods. By deploying a Flowyager prototype at both a large Internet Exchange Point and a Tier-1 Internet Service Provider, we showcase its capabilities for networks with hundreds of router interfaces. Our results show that the query response time can be reduced by an order of magnitude when compared with alternative data analytics platforms. Thus, Flowyager enables interactive network-wide queries and offers unprecedented drill-down capabilities to, e.g., identify DDoS culprits, pinpoint the involved sites, and determine the length of the attack.


title: FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning

abstract: Temporal planning offers numerous advantages when based on an expressive representation. Timelines have been known to provide the required expressiveness but at the cost of search efficiency. We propose here a temporal planner, called FAPE, which supports many of the expressive temporal features of the ANML modeling language without loosing efficiency. FAPE's representation coherently integrates flexible timelines with hierarchical refinement methods that can provide efficient control knowledge. A novel reachability analysis technique is proposed and used to develop causal networks to constrain the search space. It is employed for the design of informed heuristics, inference methods and efficient search strategies. Experimental results on common benchmarks in the field permit to assess the components and search strategies of FAPE, and to compare it to IPC planners. The results show the proposed approach to be competitive with less expressive planners and often superior when hierarchical control knowledge is provided. FAPE, a freely available system, provides other features, not covered here, such as the integration of planning with acting, and the handling of sensing actions in partially observable environments.


title: Mono-top signature from stop decay at the HE-LHC

abstract: Searching for the top squark (stop) is a key task to test the naturalness of SUSY. Different from stop pair production, single stop production relies on its electroweak properties and can provide some unique signatures. Following the single production process $pp \to \tilde t_1 \tilde{\chi}^-_1 \to t \tilde{\chi}^0_1 \tilde{\chi}^-_1$, the top quark has two decay channels: leptonic channel and hadronic channel. In this paper, we probe the observability of these two channels in a simplified MSSM scenario. We find that, at the 27 TeV LHC with the integrated luminosity of ${\cal L} = 15~\text{ab}^{-1}$, $m_{\tilde{t}_1}<1900$ GeV and $\mu<750$ GeV can be excluded at $2\sigma$ through the leptonic mono-top channel, while $m_{\tilde{t}_1}<1200$ GeV and $\mu<350$ GeV can be excluded at $2\sigma$ through the hadronic channel.


title: Variational methods for a singular SPDE yielding the universality of the magnetization ripple

abstract: The magnetization ripple is a microstructure formed in thin ferromagnetic films. It can be described by minimizers of a nonconvex energy functional leading to a nonlocal and nonlinear elliptic SPDE in two dimensions driven by white noise, which is singular. We address the universal character of the magnetization ripple using variational methods based on $\Gamma$-convergence. Due to the infinite energy of the system, the (random) energy functional has to be renormalized. Using the topology of $\Gamma$-convergence, we give a sense to the law of the renormalized functional that is independent of the way white noise is approximated. More precisely, this universality holds in the class of (not necessarily Gaussian) approximations to white noise satisfying the spectral gap inequality, which allows us to obtain sharp stochastic estimates. As a corollary, we obtain the existence of minimizers with optimal regularity.


title: Topological Phase Transition Induced by Image Potential States in MXenes: A Theoretical Investigation

abstract: MXenes, a family of two-dimensional transition metal carbides and nitrides, have various tunable physical and chemical properties. Their diverse prospective applications in electronics and energy storage devices have triggered great interests in science and technology. MXenes can be functionalized by different surface terminations. Some O and F functionalized MXenes monolayers have been predicted to be topological insulators (TIs). However, the reported OH functionalized MXenes TIs are very few and their electronic structures need to be investigated in more detail. It has been revealed that the work functions of MXenes are reduced significantly by OH termination and the image potential (IP) states move close to the Fermi level. The wave functions of these IP states are spatially extensive outside the surfaces. By stacking the OH-functionalized MXenes, the energies of the IP states can be modulated by the interlayer distances of multilayers, because the overlap and hybridization of the wave functions between the neighboring layers are significant. Therefore, these stacking layers are interacted and coupled with IP states. Here, based on first-principles calculations, we demonstrate that the stacking of two-dimensional topologically trivial OH-functionalized MXenes, such as V$_2$HfC$_2$(OH)$_2$, possibly gives rise to the topologically nontrivial energy bands. In other words, the topological properties of V$_2$HfC$_2$(OH)$_2$ multilayers can be modulated by its interlayer distance. An energy band inversion involving IP states is proposed. We expect that these results can advance the future application of MXenes or other low work function multilayer materials as controllable TI devices.


title: Spiking Neural Network Based Low-Power Radioisotope Identification using FPGA

abstract: this paper presents a detailed methodology of a Spiking Neural Network (SNN) based low-power design for radioisotope identification. A low power cost of 72 mW has been achieved on FPGA with the inference accuracy of 100% at 10 cm test distance and 97% at 25 cm. The design verification and chip validation methods are presented. It also discusses SNN simulation on SpiNNaker for rapid prototyping and various considerations specific to the application such as test distance, integration time, and SNN hyperparameter selections.


title: The three jewels in the crown of the LHC

abstract: The ATLAS and CMS experiments have made three major discoveries: The discovery of an elementary spin-zero particle, the discovery of the mechanism that makes the weak interactions short-range, and the discovery of the mechanism that gives the third generation fermions their masses. I explain how this progress in our understanding of the basic laws of Nature was achieved.


title: Role of Fan Beam Model in Population Synthesis of Isolated Radio Pulsars

abstract: On the basis of the PSRPOPPY software package, we developed an evolution model of population synthesis for isolated radio pulsars by incorporating the fan beam model, an alternative radio emission beam model to the widely used conal beam model. With proper choice of related models and parameters, we succesfully reproduced the observational distributions of Galactic longitude ($l$) and latitude ($b$), spin period, period derivative, dispersion measure and 1.4-GHz flux density for the 1214 isolated pulsars discovered by the Parkes multibeam and Swinburne pulsar surveys. The number of underlying population of radio-loud pulsars is found to be $2.27\times10^6$, which is larger than the underlying population of radio-loud pulsars simulated with conal beam model. The model is used to estimate the number of isolated radio pulsars detected by the Galactic-plane pulsar survey with Five hundred-metre Aperture Spherical Telescope (FAST). Approximately 2700 and 240 new isolated pulsars are expected to be discovered in the inner galactic plane ($20^{\circ} < l < 90^{\circ}$, $|b| < 10^{\circ}$) and the outer galactic plane ($150^{\circ} < l < 210^{\circ}$, $|b| < 10^{\circ}$), respectively. These numbers are smaller than those estimated by the evolution models with conal beam and the snapshot models.


title: ExplanationLP: Abductive Reasoning for Explainable Science Question Answering

abstract: We propose a novel approach for answering and explaining multiple-choice science questions by reasoning on grounding and abstract inference chains. This paper frames question answering as an abductive reasoning problem, constructing plausible explanations for each choice and then selecting the candidate with the best explanation as the final answer. Our system, ExplanationLP, elicits explanations by constructing a weighted graph of relevant facts for each candidate answer and extracting the facts that satisfy certain structural and semantic constraints. To extract the explanations, we employ a linear programming formalism designed to select the optimal subgraph. The graphs' weighting function is composed of a set of parameters, which we fine-tune to optimize answer selection performance. We carry out our experiments on the WorldTree and ARC-Challenge corpus to empirically demonstrate the following conclusions: (1) Grounding-Abstract inference chains provides the semantic control to perform explainable abductive reasoning (2) Efficiency and robustness in learning with a fewer number of parameters by outperforming contemporary explainable and transformer-based approaches in a similar setting (3) Generalisability by outperforming SOTA explainable approaches on general science question sets.


title: ImitationFlow: Learning Deep Stable Stochastic Dynamic Systems by Normalizing Flows

abstract: We introduce ImitationFlow, a novel Deep generative model that allows learning complex globally stable, stochastic, nonlinear dynamics. Our approach extends the Normalizing Flows framework to learn stable Stochastic Differential Equations. We prove the Lyapunov stability for a class of Stochastic Differential Equations and we propose a learning algorithm to learn them from a set of demonstrated trajectories. Our model extends the set of stable dynamical systems that can be represented by state-of-the-art approaches, eliminates the Gaussian assumption on the demonstrations, and outperforms the previous algorithms in terms of representation accuracy. We show the effectiveness of our method with both standard datasets and a real robot experiment.


title: AutoSpeech 2020: The Second Automated Machine Learning Challenge for Speech Classification

abstract: The AutoSpeech challenge calls for automated machine learning (AutoML) solutions to automate the process of applying machine learning to speech processing tasks. These tasks, which cover a large variety of domains, will be shown to the automated system in a random order. Each time when the tasks are switched, the information of the new task will be hinted with its corresponding training set. Thus, every submitted solution should contain an adaptation routine which adapts the system to the new task. Compared to the first edition, the 2020 edition includes advances of 1) more speech tasks, 2) noisier data in each task, 3) a modified evaluation metric. This paper outlines the challenge and describe the competition protocol, datasets, evaluation metric, starting kit, and baseline systems.


title: H\"older continuity for the solutions of the p(x)-Laplace equation with general right-hand side

abstract: We show that bounded solutions of the quasilinear elliptic equation $\Delta_{p(x)} u=g+div(\textbf{F})$ are locally H\"{o}lder continuous provided that the functions $g$ and $\textbf{F}$ are in suitable Lebesgue spaces.


title: Multiscale Score Matching for Out-of-Distribution Detection

abstract: We present a new methodology for detecting out-of-distribution (OOD) images by utilizing norms of the score estimates at multiple noise scales. A score is defined to be the gradient of the log density with respect to the input data. Our methodology is completely unsupervised and follows a straight forward training scheme. First, we train a deep network to estimate scores for levels of noise. Once trained, we calculate the noisy score estimates for N in-distribution samples and take the L2-norms across the input dimensions (resulting in an NxL matrix). Then we train an auxiliary model (such as a Gaussian Mixture Model) to learn the in-distribution spatial regions in this L-dimensional space. This auxiliary model can now be used to identify points that reside outside the learned space. Despite its simplicity, our experiments show that this methodology significantly outperforms the state-of-the-art in detecting out-of-distribution images. For example, our method can effectively separate CIFAR-10 (inlier) and SVHN (OOD) images, a setting which has been previously shown to be difficult for deep likelihood models.


title: Criticality-enhanced quantum sensing in ferromagnetic Bose-Einstein condensates: role of readout measurement and detection noise

abstract: We theoretically investigate estimation of the control parameter in a ferromagnetic Bose-Einstein condensate near second order quantum phase transitions. We quantify sensitivity by quantum and classical Fisher information and using the error-propagation formula. For these different metrics, we find the same, beyond-standard-quantum-limit (SQL) scaling with atom number near critical points, and SQL scaling away from critical points. We find that both depletion of the $m_f=0$ Zeeman sub-level and transverse magnetization provide signals of sufficient quality to saturate the sensitivity scaling. To explore the effect of experimental imperfections, we study the scaling around criticality at nonzero temperature and with nonzero detection noise. Our results suggest the feasibility of sub-SQL sensing in ferromagnetic condensates with current experimental capabilities.


title: Stationary phase lemmas for general functions

abstract: We give some details about the stationary phase lemma. We first prove a special case where the high order terms are derived explicitly. Based on that, we prove a more general case by using Morse lemma.


title: Moduli dimensions of lattice polygons

abstract: Given a lattice polygon $P$ with $g$ interior lattice points, we associate to it the moduli space of tropical curves of genus $g$ with Newton polygon $P$. We completely classify the possible dimensions such a moduli space can have. For non-hyperelliptic polygons the dimension must be between $g$ and $2g+1$, and can take on any integer value in this range, with exceptions only in the cases of genus $3$, $4$, and $7$. We provide a similar result for hyperelliptic polygons, for which the range of dimensions is from $g$ to $2g-1$. In the case of non-hyperelliptic polygons, our results also hold for the moduli space of algebraic curves that are non-degenerate with respect to $P$.


title: Correspondence Learning via Linearly-invariant Embedding

abstract: In this paper, we propose a fully differentiable pipeline for estimating accurate dense correspondences between 3D point clouds. The proposed pipeline is an extension and a generalization of the functional maps framework. However, instead of using the Laplace-Beltrami eigenfunctions as done in virtually all previous works in this domain, we demonstrate that learning the basis from data can both improve robustness and lead to better accuracy in challenging settings. We interpret the basis as a learned embedding into a higher dimensional space. Following the functional map paradigm the optimal transformation in this embedding space must be linear and we propose a separate architecture aimed at estimating the transformation by learning optimal descriptor functions. This leads to the first end-to-end trainable functional map-based correspondence approach in which both the basis and the descriptors are learned from data. Interestingly, we also observe that learning a \emph{canonical} embedding leads to worse results, suggesting that leaving an extra linear degree of freedom to the embedding network gives it more robustness, thereby also shedding light onto the success of previous methods. Finally, we demonstrate that our approach achieves state-of-the-art results in challenging non-rigid 3D point cloud correspondence applications.


title: Absence of significant spin current generation in Ti/FeCoB bilayers with strong interfacial spin-orbit coupling

abstract: After one decade of the intensive theoretical and experimental explorations, whether interfacial spin-orbit coupling (ISOC) at metallic magnetic interfaces can effectively generate a spin current has remained in dispute. Here, utilizing the Ti/FeCoB bilayers that are unique for the negligible bulk spin Hall effect and the strong tunable ISOC, we establish that there is no significant charge-to-spin conversion at magnetic interfaces via spin-orbit filtering effect or Rashba-Edelstein(-like) effect even when the ISOC is stronger than that of a typical Pt/ferromagnet interface and can promote strong perpendicular magnetic anisotropy. We also find a minimal orbital Hall effect in 3d Ti.


title: Bounds for the accuracy of invalid normal approximation

abstract: In applied probability, the normal approximation is often used for the distribution of data with assumed additive structure. This tradition is based on the central limit theorem for sums of (independent) random variables. However, it is practically impossible to check the conditions providing the validity of the central limit theorem when the observed sample size is limited. Therefore it is very important to know what the real accuracy of the normal approximation is in the cases where it is used despite it is theoretically inapplicable. Moreover, in some situations related with computer simulation, if the distributions of separate summands in the sum belong to the domain of attraction of a stable law with characteristic exponent less than two, then the observed distance between the distribution of the normalized sum and the normal law first decreases as the number of summands grows and begins to increase only when the number of summands becomes large enough. In the present paper an attempt is undertaken to give some theoretical explanation to this effect.


title: Cumulative Tsallis Entropy for Maximum Ranked Set Sampling with Unequal Samples

abstract: In this paper, we consider the information content of maximum ranked set sampling procedure with unequal samples (MRSSU) in terms of Tsallis entropy which is a nonadditive generalization of Shannon entropy. We obtain several results of Tsallis entropy including bounds, monotonic properties, stochastic orders, and sharp bounds under some assumptions. We also compare the uncertainty and information content of MRSSU with its counterpart in the simple random sampling (SRS) data. Finally, we develop some characterization results in terms of cumulative Tsallis entropy and residual Tsallis entropy of MRSSU and SRS data.


title: Tracking solar wind flows from rapidly varying viewpoints by the Wide-field Imager for Parker Solar Probe

abstract: Aims: Our goal is to develop methodologies to seamlessly track transient solar wind flows viewed by coronagraphs or heliospheric imagers from rapidly varying viewpoints. Methods: We constructed maps of intensity versus time and elongation (J-maps) from Parker Solar Probe (PSP) Wide-field Imager (WISPR) observations during the fourth encounter of PSP. From the J-map, we built an intensity on impact-radius-on-Thomson-surface map (R-map). Finally, we constructed a latitudinal intensity versus time map (Lat-map). Our methodology satisfactorily addresses the challenges associated with the construction of such maps from data taken from rapidly varying viewpoint observations. Results: Our WISPR J-map exhibits several tracks, corresponding to transient solar wind flows ranging from a coronal mass ejection (CME) down to streamer blobs. The latter occurrence rate is about 4-5 per day, which is similar to the occurrence rate in a J-map made from $\sim1$ AU data obtained with the Heliospheric Imager-1 (HI-1) on board the Solar Terrestrial Relations Observatory Ahead spacecraft (STEREO-A). STEREO-A was radially aligned with PSP during the study period. The WISPR J-map tracks correspond to angular speeds of $2.28 \pm 0.7$$^{\circ}$/hour ($2.49 \pm 0.95$$^{\circ}$/hour), for linear (quadratic) time-elongation fittings, and radial speeds of about 150-300 km s$^{-1}$. The analysis of the Lat-map reveals a bifurcating streamer, which implies that PSP was flying through a slightly folded streamer during perihelion. Conclusions: We developed a framework to systematically capture and characterize transient solar wind flows from space platforms with rapidly varying vantage points. The methodology can be applied to PSP WISPR observations as well as to upcoming observations from instruments on board the Solar Orbiter mission.


title: Defect-driven shape transitions in elastic active nematic shells

abstract: Active matter is characterized by its ability to induce motion by self-generated stress. In the case of a solid, such motion can lead to shape transformations. The stress-generating components can be anisotropic endowing the material with mesoscopic orientational order. It is currently unknown how the specific postions and orientations of these active constituents influence morphological changes. We study theoretically the effects of imposing topological point defects in the arrangements of the stress-generating components on the morphology of elastic active nematic shells. We show that topological defects of charge +1 are uniquely capable of increasing, reducing or maintaining the intrinsic curvature of the shell. These changes depend on the nature of the active stress and the phase angle of the defect. We apply our theory to experiments conducted on contracting actomyosin sheets. By combining defects of different charges, we can generate shells with arbitrary complexity. We confirm this flexibility by reproducing the shape of the freshwater polyp Hydra, in which topological defects have been associated with morphological features of the animal. In addition to understanding morphogenetic processes, these principles can be applied to the design of programmable active mechanical metamaterials that form the basis of autonomous soft robots.


title: Stability of topological edge states under strong nonlinear effects

abstract: We examine the role of strong nonlinearity on the topologically-robust edge state in a one-dimensional system. We consider a chain inspired from the Su-Schrieffer-Heeger model, but with a finite-frequency edge state and the dynamics governed by second-order differential equations. We introduce a cubic onsite-nonlinearity and study this nonlinear effect on the edge state's frequency and linear stability. Nonlinear continuation reveals that the edge state loses its typical shape enforced by the chiral symmetry and becomes generally unstable due to various types of instabilities that we analyze using a combination of spectral stability and Krein signature analysis. This results in an initially-excited nonlinear-edge state shedding its energy into the bulk over a long time. However, the stability trends differ both qualitatively and quantitatively when softening and stiffening types of nonlinearity are considered. In the latter, we find a frequency regime where nonlinear edge states can be linearly stable. This enables high-amplitude edge states to remain spatially localized without shedding their energy, a feature that we have confirmed via long-time dynamical simulations. Finally, we examine the robustness of frequency and stability of nonlinear edge states against disorder, and find that those are more robust under a chiral disorder compared to a non-chiral disorder. Moreover, the frequency-regime where high-amplitude edge states were found to be linearly stable remains intact in the presence of small amount of disorder of both types.


title: Even the Easiest(?) Graph Coloring Problem is not Easy in Streaming!

abstract: We study a graph coloring problem that is otherwise easy but becomes quite non-trivial in the one-pass streaming model. In contrast to previous graph coloring problems in streaming that try to find an assignment of colors to vertices, our main work is on estimating the number of conflicting or monochromatic edges given a coloring function that is streaming along with the graph; we call the problem {\sc Conflict-Est}. The coloring function on a vertex can be read or accessed only when the vertex is revealed in the stream. If we need the color on a vertex that has streamed past, then that color, along with its vertex, has to be stored explicitly. We provide algorithms for a graph that is streaming in different variants of the one-pass vertex arrival streaming model, viz. the {\sc Vertex Arrival} ({\sc VA}), {Vertex Arrival With Degree Oracle} ({\sc VAdeg}), {\sc Vertex Arrival in Random Order} ({\sc VArand}) models, with special focus on the random order model. We also provide matching lower bounds for most of the cases. The mainstay of our work is in showing that the properties of a random order stream can be exploited to design streaming algorithms for estimating the number of conflicting edges. We have also obtained a lower bound, though not matching the upper bound, for the random order model. Among all the three models vis-a-vis this problem, we can show a clear separation of power in favor of the {\sc VArand} model.


title: Directed long-range transport of a nearly pure component atom clusters by the electromigration of a binary surface alloy

abstract: Assuming a vacancy-mediated diffusion, a continuum model for electromigration-driven transport of an embedded atom cluster across a surface terrace of a phase-separating A$_x$B$_{1-x}$ surface alloy, such as fcc AgPt(111), is presented. Computations show that the electron wind carries the cluster over hundreds of lattice spacings and in the set direction, while the cluster grows and its purity improves during the drift. Impacts of the current density, the diffusion anisotropy, the magnitude and sign of the ratio of the effective charges $q_A/q_B$, and the jump frequencies ratio $\Gamma_A/\Gamma_B$ on the cluster's drift speed, drift direction, purity and shape are demonstrated.

categories: cond-mat.mtrl-sci cond-mat.mes-hall nlin.PS physics.app-ph physics.comp-ph


title: Euclidean Artin-Tits groups are acylindrically hyperbolic

abstract: In this paper we show the statement in the title. To any Garside group of finite type, Wiest and the author associated a hyperbolic graph called the \emph{additional length graph} and they used it to show that central quotients of Artin-Tits groups of spherical type are acylindrically hyperbolic. In general, a euclidean Artin-Tits group is not \emph{a priori} a Garside group but McCammond and Sulway have shown that it embeds into an \emph{infinite-type} Garside group which they call a \emph{crystallographic Garside group}. We associate a \emph{hyperbolic} additional length graph to this crystallographic Garside group and we exhibit elements of the euclidean Artin-Tits group which act loxodromically and WPD on this hyperbolic graph.


title: XLVIN: eXecuted Latent Value Iteration Nets

abstract: Value Iteration Networks (VINs) have emerged as a popular method to incorporate planning algorithms within deep reinforcement learning, enabling performance improvements on tasks requiring long-range reasoning and understanding of environment dynamics. This came with several limitations, however: the model is not incentivised in any way to perform meaningful planning computations, the underlying state space is assumed to be discrete, and the Markov decision process (MDP) is assumed fixed and known. We propose eXecuted Latent Value Iteration Networks (XLVINs), which combine recent developments across contrastive self-supervised learning, graph representation learning and neural algorithmic reasoning to alleviate all of the above limitations, successfully deploying VIN-style models on generic environments. XLVINs match the performance of VIN-like models when the underlying MDP is discrete, fixed and known, and provides significant improvements to model-free baselines across three general MDP setups.


title: How to Find the Convex Hull of All Integer Points in a Polyhedron?

abstract: We propose a cut-based algorithm for finding all vertices and all facets of the convex hull of all integer points of a polyhedron defined by a system of linear inequalities. Our algorithm DDM Cuts is based on the Gomory cuts and the dynamic version of the double description method. We describe the computer implementation of the algorithm and present the results of computational experiments comparing our algorithm with a naive one.


title: Continuous-time Gaussian Process Trajectory Generation for Multi-robot Formation via Probabilistic Inference

abstract: In this paper, we extend a famous motion planning approach GPMP2 to multi-robot cases, yielding a novel centralized trajectory generation method for the multi-robot formation. A sparse Gaussian Process model is employed to represent the continuous-time trajectories of all robots as a limited number of states, which improves computational efficiency due to the sparsity. We add constraints to guarantee collision avoidance between individuals as well as formation maintenance, then all constraints and kinematics are formulated on a factor graph. By introducing a global planner, our proposed method can generate trajectories efficiently for a team of robots which have to get through a width-varying area by adaptive formation change. Finally, we provide the implementation of an incremental replanning algorithm to demonstrate the online operation potential of our proposed framework. The experiments in simulation and real world illustrate the feasibility, efficiency and scalability of our approach.


title: Approximating Aggregated SQL Queries With LSTM Networks

abstract: Despite continuous investments in data technologies, the latency of querying data still poses a significant challenge. Modern analytic solutions require near real-time responsiveness both to make them interactive and to support automated processing. Current technologies (Hadoop, Spark, Dataflow) scan the dataset to execute queries. They focus on providing a scalable data storage to maximize task execution speed. We argue that these solutions fail to offer an adequate level of interactivity since they depend on continual access to data. In this paper we present a method for query approximation, also known as approximate query processing (AQP), that reduce the need to scan data during inference (query calculation), thus enabling a rapid query processing tool. We use LSTM network to learn the relationship between queries and their results, and to provide a rapid inference layer for predicting query results. Our method (referred as ``Hunch``) produces a lightweight LSTM network which provides a high query throughput. We evaluated our method using twelve datasets and compared to state-of-the-art AQP engines (VerdictDB, BlinkDB) from query latency, model weight and accuracy perspectives. The results show that our method predicted queries' results with a normalized root mean squared error (NRMSE) ranging from approximately 1\% to 4\% which in the majority of our data sets was better then the compared benchmarks. Moreover, our method was able to predict up to 120,000 queries in a second (streamed together), and with a single query latency of no more than 2ms.


title: Towards High-Performance Solid-State-LiDAR-Inertial Odometry and Mapping

abstract: We present a novel tightly-coupled LiDAR-inertial odometry and mapping scheme for both solid-state and mechanical LiDARs. As frontend, a feature-based lightweight LiDAR odometry provides fast motion estimates for adaptive keyframe selection. As backend, a hierarchical keyframe-based sliding window optimization is performed through marginalization for directly fusing IMU and LiDAR measurements. For the Livox Horizon, a newly released solid-state LiDAR, a novel feature extraction method is proposed to handle its irregular scan pattern during preprocessing. LiLi-OM (Livox LiDAR-inertial odometry and mapping) is real-time capable and achieves superior accuracy over state-of-the-art systems for both LiDAR types on public data sets of mechanical LiDARs and in experiments using the Livox Horizon. Source code and recorded experimental data sets are available at https://github.com/KIT-ISAS/lili-om.


title: Four solutions for fractional p-Laplacian equations with asymmetric reactions

abstract: We consider a Dirichlet type problem for a nonlinear, nonlocal equation driven by the degenerate fractional p-Laplacian, whose reaction combines a sublinear term depending on a positive parameter and an asymmetric perturbation (superlinear at positive infinity, at most linear at negative infinity). By means of critical point theory and Morse theory, we prove that, for small enough values of the parameter, such problem admits at least four nontrivial solutions: two positive, one negative, and one nodal. As a tool, we prove a Brezis-Oswald type comparison result.


title: A Simple Spectral Failure Mode for Graph Convolutional Networks

abstract: Neural networks have achieved remarkable successes in machine learning tasks. This has recently been extended to graph learning using neural networks. However, there is limited theoretical work in understanding how and when they perform well, especially relative to established statistical learning techniques such as spectral embedding. In this short paper, we present a simple generative model where unsupervised graph convolutional network fails, while the adjacency spectral embedding succeeds. Specifically, unsupervised graph convolutional network is unable to look beyond the first eigenvector in certain approximately regular graphs, thus missing inference signals in non-leading eigenvectors. The phenomenon is demonstrated by visual illustrations and comprehensive simulations.


title: Dim and bright void regimes in capacitively-coupled RF complex plasmas

abstract: We demonstrate experimentally that the void in capacitively-coupled RF complex plasmas can exist in two qualitative different regimes. The "bright" void is characterized by bright plasma emission associated with the void, whereas the "dim" void possesses no detectable emission feature. The transition from the dim to the bright regime occurs with an increase of the discharge power and has a discontinuous character. The discontinuity is manifested by a kink in the void size power dependencies. We reproduce the bright void (mechanically stabilized due to the balance of ion drag and electrostatic forces) by a simplified time-averaged 1D fluid model. To reproduce the dim void, we artificially include the radial ion diffusion into the continuity equation for ions, which allows to mechanically stabilize the void boundary due to very weak electrostatic forces. The electric field at the void boundary occurs to be so small that it, in accordance with the experimental observation, causes no void-related emission feature.


title: Attention is All You Need in Speech Separation

abstract: Recurrent Neural Networks (RNNs) have long been the dominant architecture in sequence-to-sequence learning. RNNs, however, are inherently sequential models that do not allow parallelization of their computations. Transformers are emerging as a natural alternative to standard RNNs, replacing recurrent computations with a multi-head attention mechanism. In this paper, we propose the SepFormer, a novel RNN-free Transformer-based neural network for speech separation. The SepFormer learns short and long-term dependencies with a multi-scale approach that employs transformers. The proposed model achieves state-of-the-art (SOTA) performance on the standard WSJ0-2/3mix datasets. It reaches an SI-SNRi of 22.3 dB on WSJ0-2mix and an SI-SNRi of 19.5 dB on WSJ0-3mix. The SepFormer inherits the parallelization advantages of Transformers and achieves a competitive performance even when downsampling the encoded representation by a factor of 8. It is thus significantly faster and it is less memory-demanding than the latest speech separation systems with comparable performance.


title: Security Assessment of Interposer-based Chiplet Integration

abstract: With transistor scaling reaching its limits, interposer-based integration of dies (chiplets) is gaining traction. Such an interposer-based integration enables finer and tighter interconnect pitch than traditional system-on-packages and offers two key benefits: 1. It reduces design-to-market time by bypassing the time-consuming process of verification and fabrication. 2. It reduces the design cost by reusing chiplets. While black-boxing of the slow design stages cuts down the design time, it raises significant security concerns. We study the security implications of the emerging interposer-based integration methodology. The black-boxed design stages deploy security measures against hardware Trojans, reverse engineering, and intellectual property piracy in traditional systems-on-chip (SoC) designs and hence are not suitable for interposer-based integration. We propose using functionally diverse chiplets to detect and thwart hardware Trojans and use the inherent logic redundancy to shore up anti-piracy measures. Our proposals do not rely on access to the black-box design stages. We evaluate the security, time and cost benefits of our plan by implementing a MIPS processor, a DCT core, and an AES core using various IPs from the Xilinx CORE GENERATOR IP catalog, on an interposer-based Xilinx FPGA.


title: In-medium $J/\psi$ mass shift by the $D$ meson loop effect

abstract: By an effective Lagrangian plus QCD sum-rule approach, we investigate the mass shift of the $J/\psi$ state in medium, in symmetric nuclear matter with zero and finite temperature, and cold strange matter. The in-medium mass of the $J/\psi$ state is evaluated through the intermediate pseudoscalar $D$-meson loop for the $J/\psi$ self-energy. The effect of medium is incorporated through the in-medium mass of $D$ meson calculated using chiral SU(3) model plus QCD sum-rule approach. The self energy loop integral is regularized using the phenomenological form factor of the dipole form. We compare our results with some of the results in the literature. The present results should be helpful to understand better the expected data from heavy ion collision experiments, such as CBM and PANDA.


title: Searching for new physics with a levitated-sensor-based gravitational-wave detector

abstract: The Levitated Sensor Detector (LSD) is a compact resonant gravitational-wave (GW) detector based on optically trapped dielectric particles that is under construction. The LSD sensitivity has more favorable frequency scaling at high frequencies compared to laser interferometer detectors such as LIGO. We propose a method to substantially improve the sensitivity by optically levitating a multi-layered stack of dielectric discs. These stacks allow the use of a more massive levitated object while exhibiting minimal photon recoil heating due to light scattering. Over an order of magnitude of unexplored frequency space for GWs above 10 kHz is accessible with an instrument 10 to 100 meters in size. Particularly motivated sources in this frequency range are gravitationally bound states of QCD axions with decay constant near the grand unified theory (GUT) scale that form through black hole superradiance and annihilate to GWs. The LSD is also sensitive to GWs from binary coalescence of sub-solar-mass primordial black holes and as-yet unexplored new physics in the high-frequency GW window.


title: A "DIY" data acquisition system for acoustic field measurements under harsh conditions

abstract: Monitoring active volcanos is an ongoing and important task helping to understand and predict volcanic eruptions. In recent years, analysing the acoustic properties of eruptions became more relevant. We present an inexpensive, lightweight, portable, easy to use and modular acoustic data acquisition system for field measurements that can record data with up to 100~kHz. The system is based on a Raspberry Pi 3 B running a custom build bare metal operating system. It connects to an external analog - digital converter with the microphone sensor. A GPS receiver allows the logging of the position and in addition the recording of a very accurate time signal synchronously to the acoustic data. With that, it is possible for multiple modules to effectively work as a single microphone array. The whole system can be build with low cost and demands only minimal technical infrastructure. We demonstrate a possible use of such a microphone array by deploying 20 modules on the active volcano \textit{Stromboli} in the Aeolian Islands by Sicily, Italy. We use the collected acoustic data to indentify the sound source position for all recorded eruptions.


title: Symmetric spaces uniformizing Shimura varieties in the Torelli locus

abstract: An algebraic subvariety Z of A_g is totally geodesic if it is the image via the natural projection map of some totally geodesic submanifold X of the Siegel space. We say that X is the symmetric space uniformizing Z. In this paper we determine which symmetric space uniformizes each of the low genus counterexamples to the Coleman-Oort conjecture obtained studying Galois covers of curves. It is known that the counterexamples obtained via Galois covers of elliptic curves admit two fibrations in totally geodesic subvarieties. The second result of the paper studies the relationship between these fibrations and the uniformizing symmetric space of the examples.


title: Neuron Merging: Compensating for Pruned Neurons

abstract: Network pruning is widely used to lighten and accelerate neural network models. Structured network pruning discards the whole neuron or filter, leading to accuracy loss. In this work, we propose a novel concept of neuron merging applicable to both fully connected layers and convolution layers, which compensates for the information loss due to the pruned neurons/filters. Neuron merging starts with decomposing the original weights into two matrices/tensors. One of them becomes the new weights for the current layer, and the other is what we name a scaling matrix, guiding the combination of neurons. If the activation function is ReLU, the scaling matrix can be absorbed into the next layer under certain conditions, compensating for the removed neurons. We also propose a data-free and inexpensive method to decompose the weights by utilizing the cosine similarity between neurons. Compared to the pruned model with the same topology, our merged model better preserves the output feature map of the original model; thus, it maintains the accuracy after pruning without fine-tuning. We demonstrate the effectiveness of our approach over network pruning for various model architectures and datasets. As an example, for VGG-16 on CIFAR-10, we achieve an accuracy of 93.16% while reducing 64% of total parameters, without any fine-tuning. The code can be found here: https://github.com/friendshipkim/neuron-merging


title: First-Order Aspects of Coxeter Groups

abstract: We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the $2$-spherical non-affine case (which we leave open), we characterize the superstable Coxeter groups of finite rank, which we show to be essentially the Coxeter groups of affine type. Secondly, we characterize the Coxeter groups of finite rank which are domains, a central assumption in the theory of algebraic geometry over groups, which in many respects (e.g. $\lambda$-stability) reduces the model theory of a given Coxeter system to the model theory of its associated irreducible components. In the second part of the paper we move to specific definability questions in right-angled Coxeter groups (RACGs) and $2$-spherical Coxeter groups. In this respect, firstly, we prove that RACGs of finite rank do not have proper elementary subgroups which are Coxeter groups, and prove further that reflection independent ones do not have proper elementary subgroups at all. Secondly, we prove that if the monoid $Sim(W, S)$ of $S$-self-similarities of $W$ is finitely generated, then $W$ is a prime model of its theory. Thirdly, we prove that in reflection independent RACGs of finite rank the Coxeter elements are type-determined. We then move to $2$-spherical Coxeter groups, proving that if $(W, S)$ is irreducible, $2$-spherical even and not affine, then $W$ is a prime model of its theory, and that if $W_{\Gamma}$ and $W_{\Theta}$ are as in the previous sentence, then $W_{\Gamma}$ is elementary equivalent to $W_{\Theta}$ if and only if $\Gamma \cong \Theta$, thus solving the elementary equivalence problem for most of the $2$-spherical Coxeter groups. In the last part of the paper we focus on model theoretic applications of the notion of reflection length from Coxeter group theory, proving in particular that affine Coxeter groups are not connected.


title: 4-dimensional aspects of tight contact 3-manifolds

abstract: In this article we conjecture a 4-dimensional characterization of tightness: a contact structure is tight if and only if a slice-Bennequin inequality holds for smoothly embedded surfaces in Yx[0,1]. An affirmative answer to our conjecture would imply an analogue of the Milnor conjecture for torus knots: if a fibered link L induces a tight contact structure on Y then its fiber surface maximize Euler characteristic amongst all surfaces in Yx[0,1] with boundary L. We provide evidence for both conjectures by proving them for contact structures with non-vanishing Ozsv\'ath-Szab\'o contact invariant. We also show that any subsurface of a page of an open book inducing a contact structure with non-trivial invariant maximize "slice" Euler-characteristic for its boundary, and conjecture that this holds more generally for open books inducing tight contact structures.


title: Graded Modal Dependent Type Theory

abstract: Graded type theories are an emerging paradigm for augmenting the reasoning power of types with parameterizable, fine-grained analyses of program properties. There have been many such theories in recent years which equip a type theory with quantitative dataflow tracking, usually via a semiring-like structure which provides analysis on variables (often called `quantitative' or `coeffect' theories). We present Graded Modal Dependent Type Theory (GrTT for short), which equips a dependent type theory with a general, parameterizable analysis of the flow of data, both in and between computational terms and types. In this theory, it is possible to study, restrict, and reason about data use in programs and types, enabling, for example, parametric quantifiers and linearity to be captured in a dependent setting. We propose GrTT, study its metatheory, and explore various case studies of its use in reasoning about programs and studying other type theories. We have implemented the theory and highlight the interesting details, including showing an application of grading to optimising the type checking procedure itself.


title: A Hierarchical Graph Signal Processing Approach to Inference from Spatiotemporal Signals

abstract: Motivated by the emerging area of graph signal processing (GSP), we introduce a novel method to draw inference from spatiotemporal signals. Data acquisition in different locations over time is common in sensor networks, for diverse applications ranging from object tracking in wireless networks to medical uses such as electroencephalography (EEG) signal processing. In this paper we leverage novel techniques of GSP to develop a hierarchical feature extraction approach by mapping the data onto a series of spatiotemporal graphs. Such a model maps signals onto vertices of a graph and the time-space dependencies among signals are modeled by the edge weights. Signal components acquired from different locations and time often have complicated functional dependencies. Accordingly, their corresponding graph weights are learned from data and used in two ways. First, they are used as a part of the embedding related to the topology of graph, such as density. Second, they provide the connectivities of the base graph for extracting higher level GSP-based features. The latter include the energies of the signal's graph Fourier transform in different frequency bands. We test our approach on the intracranial EEG (iEEG) data set of the Kaggle epileptic seizure detection contest. In comparison to the winning code, the results show a slight net improvement and up to 6 percent improvement in per subject analysis, while the number of features are decreased by 75 percent on average.


title: A Dynamical View on Optimization Algorithms of Overparameterized Neural Networks

abstract: When equipped with efficient optimization algorithms, the over-parameterized neural networks have demonstrated high level of performance even though the loss function is non-convex and non-smooth. While many works have been focusing on understanding the loss dynamics by training neural networks with the gradient descent (GD), in this work, we consider a broad class of optimization algorithms that are commonly used in practice. For example, we show from a dynamical system perspective that the Heavy Ball (HB) method can converge to global minimum on mean squared error (MSE) at a linear rate (similar to GD); however, the Nesterov accelerated gradient descent (NAG) may only converges to global minimum sublinearly. Our results rely on the connection between neural tangent kernel (NTK) and finite over-parameterized neural networks with ReLU activation, which leads to analyzing the limiting ordinary differential equations (ODE) for optimization algorithms. We show that, optimizing the non-convex loss over the weights corresponds to optimizing some strongly convex loss over the prediction error. As a consequence, we can leverage the classical convex optimization theory to understand the convergence behavior of neural networks. We believe our approach can also be extended to other optimization algorithms and network architectures.


title: A Survey on Curriculum Learning

abstract: Curriculum learning (CL) is a training strategy that trains a machine learning model from easier data to harder data, which imitates the meaningful learning order in human curricula. As an easy-to-use plug-in, the CL strategy has demonstrated its power in improving the generalization capacity and convergence rate of various models in a wide range of scenarios such as computer vision and natural language processing etc. In this survey article, we comprehensively review CL from various aspects including motivations, definitions, theories, and applications. We discuss works on curriculum learning within a general CL framework, elaborating on how to design a manually predefined curriculum or an automatic curriculum. In particular, we summarize existing CL designs based on the general framework of Difficulty Measurer+Training Scheduler and further categorize the methodologies for automatic CL into four groups, i.e., Self-paced Learning, Transfer Teacher, RL Teacher, and Other Automatic CL. We also analyze principles to select different CL designs that may benefit practical applications. Finally, we present our insights on the relationships connecting CL and other machine learning concepts including transfer learning, meta-learning, continual learning and active learning, etc., then point out challenges in CL as well as potential future research directions deserving further investigations.


title: Computable Scott Sentences for Quasi-Hopfian Finitely Presented Structures

abstract: We prove that every quasi-Hopfian finitely presented structure $A$ has a $d$-$\Sigma_2$ Scott sentence, and that if in addition $A$ is computable and $Aut(A)$ satisfies a natural computable condition, then $A$ has a computable $d$-$\Sigma_2$ Scott sentence. This unifies several known results on Scott sentences of finitely presented structures and it is used to prove that other not previously considered algebraic structures of interest have computable $d$-$\Sigma_2$ Scott sentences. In particular, we show that every right-angled Coxeter group of finite rank has a computable $d$-$\Sigma_2$ Scott sentence, as well as any strongly rigid Coxeter group of finite rank. Finally, we show that the free projective plane of rank $4$ has a computable $d$-$\Sigma_2$ Scott sentence, thus exhibiting a natural example where the assumption of quasi-Hopfianity is used (since this structure is not Hopfian).


title: Fair Embedding Engine: A Library for Analyzing and Mitigating Gender Bias in Word Embeddings

abstract: Non-contextual word embedding models have been shown to inherit human-like stereotypical biases of gender, race and religion from the training corpora. To counter this issue, a large body of research has emerged which aims to mitigate these biases while keeping the syntactic and semantic utility of embeddings intact. This paper describes Fair Embedding Engine (FEE), a library for analysing and mitigating gender bias in word embeddings. FEE combines various state of the art techniques for quantifying, visualising and mitigating gender bias in word embeddings under a standard abstraction. FEE will aid practitioners in fast track analysis of existing debiasing methods on their embedding models. Further, it will allow rapid prototyping of new methods by evaluating their performance on a suite of standard metrics.


title: Spaces of Pants Decompositions for Surfaces of Infinite Type

abstract: We study the pants complex of surfaces of infinite type. When $S$ is a surface of infinite type, the usual definition of the pants graph $\mathcal{P}(S)$ yields a graph with infinitely many connected-components. In the first part of our paper, we study this disconnected graph. In particular, we show that the extended mapping class group $\mathrm{Mod}(S)$ is isomorphic to a proper subgroup of $\mathrm{Aut}(\mathcal{P})$, in contrast to the finite-type case where $\mathrm{Mod}(S)\cong \mathrm{Aut}(\mathcal{P}(S))$. In the second part of the paper, motivated by the Metaconjecture of Ivanov, we seek to endow $\mathcal{P}(S)$ with additional structure. To this end, we define a coarser topology on $\mathcal{P}(S)$ than the topology inherited from the graph structure. We show that our new space is path-connected, and that its automorphism group is isomorphic to $\mathrm{Mod}(S)$.


title: An Improved Sketching Algorithm for Edit Distance

abstract: We provide improved upper bounds for the simultaneous sketching complexity of edit distance. Consider two parties, Alice with input $x\in\Sigma^n$ and Bob with input $y\in\Sigma^n$, that share public randomness and are given a promise that the edit distance $\mathsf{ed}(x,y)$ between their two strings is at most some given value $k$. Alice must send a message $sx$ and Bob must send $sy$ to a third party Charlie, who does not know the inputs but shares the same public randomness and also knows $k$. Charlie must output $\mathsf{ed}(x,y)$ precisely as well as a sequence of $\mathsf{ed}(x,y)$ edits required to transform $x$ into $y$. The goal is to minimize the lengths $|sx|, |sy|$ of the messages sent. The protocol of Belazzougui and Zhang (FOCS 2016), building upon the random walk method of Chakraborty, Goldenberg, and Kouck\'y (STOC 2016), achieves a maximum message length of $\tilde O(k^8)$ bits, where $\tilde O(\cdot)$ hides $\mathrm{poly}(\log n)$ factors. In this work we build upon Belazzougui and Zhang's protocol and provide an improved analysis demonstrating that a slight modification of their construction achieves a bound of $\tilde O(k^3)$.


title: Compressed Fourier-Domain Convolutional Beamforming for Wireless Ultrasound imaging

abstract: Wireless ultrasound (US) systems that produce high-quality images can improve current clinical diagnosis capabilities by making the imaging process much more efficient, affordable, and accessible to users. The most common technique for generating B-mode US images is delay and sum (DAS) beamforming, where an appropriate delay is introduced to signals sampled and processed at each transducer element. However, sampling rates that are much higher than the Nyquist rate of the signal are required for high resolution DAS beamforming, leading to large amounts of data, making transmission of channel data over WIFI impractical. Moreover, the production of US images that exhibit high resolution and good image contrast requires a large set of transducers which further increases the data size. Previous works suggest methods for reduction in sampling rate and in array size. In this work, we introduce compressed Fourier domain convolutional beamforming, combining Fourier domain beamforming, sparse convolutional beamforming, and compressed sensing methods. This allows reducing both the number of array elements and the sampling rate in each element, while achieving high resolution images. Using in vivo data we demonstrate that the proposed method can generate B-mode images using 142 times less data than DAS. Our results pave the way towards wireless US and demonstrate that high resolution US images can be produced using sub-Nyquist sampling and a small number of receiving channels.


title: Unsupervised Super-Resolution: Creating High-Resolution Medical Images from Low-Resolution Anisotropic Examples

abstract: Although high resolution isotropic 3D medical images are desired in clinical practice, their acquisition is not always feasible. Instead, lower resolution images are upsampled to higher resolution using conventional interpolation methods. Sophisticated learning-based super-resolution approaches are frequently unavailable in clinical setting, because such methods require training with high-resolution isotropic examples. To address this issue, we propose a learning-based super-resolution approach that can be trained using solely anisotropic images, i.e. without high-resolution ground truth data. The method exploits the latent space, generated by autoencoders trained on anisotropic images, to increase spatial resolution in low-resolution images. The method was trained and evaluated using 100 publicly available cardiac cine MR scans from the Automated Cardiac Diagnosis Challenge (ACDC). The quantitative results show that the proposed method performs better than conventional interpolation methods. Furthermore, the qualitative results indicate that especially finer cardiac structures are synthesized with high quality. The method has the potential to be applied to other anatomies and modalities and can be easily applied to any 3D anisotropic medical image dataset.


title: Weighted-CEL0 sparse regularisation for molecule localisation in super-resolution microscopy with Poisson data

abstract: We propose a continuous non-convex variational model for Single Molecule Localisation Microscopy (SMLM) super-resolution in order to overcome light diffraction barriers. Namely, we consider a variation of the Continuous Exact $\ell_0$ (CEL0) penalty recently introduced to relax the $\ell_2-\ell_0$ problem where a weighted-$\ell_2$ data fidelity is considered to model signal-dependent Poisson noise. For the numerical solution of the associated minimisation problem, we consider an iterative reweighted $\ell_1$ (IRL1) strategy for which we detail efficient parameter computation strategies. We report qualitative and quantitative molecule localisation results showing that the proposed weighted-CEL0 (wCEL0) model improves the results obtained by CEL0 and state-of-the art deep-learning approaches for the high-density SMLM ISBI 2013 dataset.


title: Exciting extreme events in the damped and AC-driven NLS equation through plane wave initial conditions

abstract: We investigate, by direct numerical simulations, the dynamics of the damped and forced nonlinear Schr\"odinger (NLS) equation in the presence of a time periodic forcing and for certain parametric regimes. It is thus revealed, that the wave-number of a plane-wave initial condition dictates the number of emerged Peregrine type rogue waves at the early stages of modulation instability. The formation of these events gives rise to the same number of transient "triangular" spatio-temporal patterns, each of which is reminiscent of the one emerging in the dynamics of the integrable NLS in its semiclassical limit, when supplemented with vanishing initial conditions. We find that the $L^2$-norm of the spatial derivative and the $L^4$-norm detect the appearance of rogue waves as local extrema in their evolution. The impact of the various parameters and noisy perturbations of the initial condition in affecting the above behavior is also discussed. The long time behaviour, in the parametric regimes where the extreme wave events are observable, is explained in terms of the global attractor possessed by the system and the asymptotic orbital stability of spatially uniform continuous wave solutions.


title: Amodal Segmentation through Out-of-Task and Out-of-Distribution Generalization with a Bayesian Model

abstract: Amodal completion is a visual task that humans perform easily but which is difficult for computer vision algorithms. The aim is to segment those object boundaries which are occluded and hence invisible. This task is particularly challenging for deep neural networks because data is difficult to obtain and annotate. Therefore, we formulate amodal segmentation as an out-of-task and out-of-distribution generalization problem. Specifically, we replace the fully connected classifier in neural networks with a Bayesian generative model of the neural network features. The model is trained from non-occluded images using bounding box annotations and class labels only, but is applied to generalize out-of-task to object segmentation and to generalize out-of-distribution to segment occluded objects. We demonstrate how such Bayesian models can naturally generalize beyond the training task labels when they learn a prior that models the object's background context and shape. Moreover, by leveraging an outlier process, Bayesian models can further generalize out-of-distribution to segment partially occluded objects and to predict their amodal object boundaries. Our algorithm outperforms alternative methods that use the same supervision by a large margin, and even outperforms methods where annotated amodal segmentations are used during training, when the amount of occlusion is large. Code is publicly available at https://github.com/YihongSun/Bayesian-Amodal.


title: The space of circular orderings and semiconjugacy

abstract: Work of Linnell shows that the space of left-orderings of a group is either finite or uncountable, and in the case that the space is finite, the isomorphism type of the group is known---it is what is known as a Tararin group. By defining semiconjugacy of circular orderings in a general setting (that is, for arbitrary circular orderings of groups that may not act on $S^1$), we can view the subspace of left-orderings of any group as a single semiconjugacy class of circular orderings. Taking this perspective, we generalize the result of Linnell, to show that every semiconjugacy class of circular orderings is either finite or uncountable, and when a semiconjugacy class is finite, the group has a prescribed structure. We also investigate the space of left-orderings as a subspace of the space of circular orderings, addressing a question of Baik and Samperton.


title: Abelian mirror symmetry of $\mathcal{N}=(2,2)$ boundary conditions

abstract: We evaluate half-indices of $\mathcal{N}=(2,2)$ half-BPS boundary conditions in 3d $\mathcal{N}=4$ supersymmetric Abelian gauge theories. We confirm that the Neumann boundary condition is dual to the generic Dirichlet boundary condition for its mirror theory as the half-indices perfectly match with each other. We find that a naive mirror symmetry between the exceptional Dirichlet boundary conditions defining the Verma modules of the quantum Coulomb and Higgs branch algebras does not always hold. The triangular matrix obtained from the elliptic stable envelope describes the precise mirror transformation of a collection of half-indices for the exceptional Dirichlet boundary conditions.

categories: hep-th math-ph math.AG math.MP math.QA math.RT


title: Geometric Exploration for Online Control

abstract: We study the control of an \emph{unknown} linear dynamical system under general convex costs. The objective is minimizing regret vs. the class of disturbance-feedback-controllers, which encompasses all stabilizing linear-dynamical-controllers. In this work, we first consider the case of known cost functions, for which we design the first polynomial-time algorithm with $n^3\sqrt{T}$-regret, where $n$ is the dimension of the state plus the dimension of control input. The $\sqrt{T}$-horizon dependence is optimal, and improves upon the previous best known bound of $T^{2/3}$. The main component of our algorithm is a novel geometric exploration strategy: we adaptively construct a sequence of barycentric spanners in the policy space. Second, we consider the case of bandit feedback, for which we give the first polynomial-time algorithm with $poly(n)\sqrt{T}$-regret, building on Stochastic Bandit Convex Optimization.


title: Learning Sparse Graph Laplacian with K Eigenvector Prior via Iterative GLASSO and Projection

abstract: Learning a suitable graph is an important precursor to many graph signal processing (GSP) pipelines, such as graph spectral signal compression and denoising. Previous graph learning algorithms either i) make some assumptions on connectivity (e.g., graph sparsity), or ii) make simple graph edge assumptions such as positive edges only. In this paper, given an empirical covariance matrix $\bar{C}$ computed from data as input, we consider a structural assumption on the graph Laplacian matrix $L$: the first $K$ eigenvectors of $L$ are pre-selected, e.g., based on domain-specific criteria, such as computation requirement, and the remaining eigenvectors are then learned from data. One example use case is image coding, where the first eigenvector is pre-chosen to be constant, regardless of available observed data. We first prove that the subspace of symmetric positive semi-definite (PSD) matrices $H_{u}^+$ with the first $K$ eigenvectors being $\{u_k\}$ in a defined Hilbert space is a convex cone. We then construct an operator to project a given positive definite (PD) matrix $L$ to $H_{u}^+$, inspired by the Gram-Schmidt procedure. Finally, we design an efficient hybrid graphical lasso/projection algorithm to compute the most suitable graph Laplacian matrix $L^* \in H_{u}^+$ given $\bar{C}$. Experimental results show that given the first $K$ eigenvectors as a prior, our algorithm outperforms competing graph learning schemes using a variety of graph comparison metrics.


title: On Updating and Querying Submatrices

abstract: In this paper, we study the $d$-dimensional update-query problem. We provide lower bounds on update and query running times, assuming a long-standing conjecture on min-plus matrix multiplication, as well as algorithms that are close to the lower bounds. Given a $d$-dimensional matrix, an \textit{update} changes each element in a given submatrix from $x$ to $x\bigtriangledown v$, where $v$ is a given constant. A \textit{query} returns the $\bigtriangleup$ of all elements in a given submatrix. We study the cases where $\bigtriangledown$ and $\bigtriangleup$ are both commutative and associative binary operators. When $d = 1$, updates and queries can be performed in $O(\log N)$ worst-case time for many $(\bigtriangledown,\bigtriangleup)$ by using a segment tree with lazy propagation. However, when $d\ge 2$, similar techniques usually cannot be generalized. We show that if min-plus matrix multiplication cannot be computed in $O(N^{3-\varepsilon})$ time for any $\varepsilon>0$ (which is widely believed to be the case), then for $(\bigtriangledown,\bigtriangleup)=(+,\min)$, either updates or queries cannot both run in $O(N^{1-\varepsilon})$ time for any constant $\varepsilon>0$, or preprocessing cannot run in polynomial time. Finally, we show a special case where lazy propagation can be generalized for $d\ge 2$ and where updates and queries can run in $O(\log^d N)$ worst-case time. We present an algorithm that meets this running time and is simpler than similar algorithms of previous works.


title: Dynamical evolution of a young planetary system: stellar flybys in co-planar orbital configuration

abstract: Stellar flybys in star clusters may perturb the evolution of young planetary systems in terms of disk truncation, planetary migration and planetary mass accretion. We investigate the feedback of a young planetary system during a single close stellar encounter in a typical open young stellar cluster. We consider 5 masses for the stellar perturbers: 0.5, 0.8, 1, 3 and 8 M$_{Sun}$, in coplanar, prograde and retrograde orbits respect to the planetary disk, varying the pertruber-host star orbital periastron from 100 AU to 500 AU. We have made 3D modelizations with the smooth particle hydrodynamics code GaSPH of a system composed by a solar type star surrounded by a low density disk where a giant planet is embedded in. We focus on the dynamical evolution of global parameters characterizing the disk and the planet, like the Lagrangian radius containing the $63.2\%$ of the mass of the disk, the distance of the planet to its host star, the planet orbital eccentricity and the planetary mass accretion. We find that the most part of the simulated systems show a significant disk truncation after a single close encounter, a final orbital distance of the Jovian, from the central star, lower than the unperturbed case and, finally, the perturbed systems show a final mass accretion of the Jovian planet larger than the non-perturbed case. Therefore, stellar flybys significantly perturb the dynamics of a young planetary system, regardless the orbital configuration of the stellar perturber. In such experiments, the final disk radius and the orbital parameters of the Jovian planet are considerably affected by the stellar close encounter.


title: Manipulating Giant Rashba Valley Splitting and Quantum Hall States in Few-Layer Black Arsenic by Electrostatic Gating

abstract: Exciting phenomena may emerge in non-centrosymmetric two-dimensional (2D) electronic systems when spin-orbit coupling (SOC) interplays dynamically with Coulomb interactions, band topology, and external modulating forces, etc. Here, we report illuminating synergetic effects between SOC and Stark in centrosymmetric few-layer black arsenic (BAs), manifested as giant Rashba valley splitting and exotic quantum Hall states (QHS) reversibly controlled by electrostatic gating. The unusual finding is rooted in the puckering square lattice of BAs, in which heavy $4p$ orbitals form highly asymmetric $\Gamma$ valley with the $p_{z}$ symmetry and $D$ valleys of the $p_{x}$ origin, located at the Brillouin zone (BZ) center and near the time reversal invariant momenta of $X$, respectively. When the structure inversion symmetry is broken by perpendicular electric field, giant Rashba SOC is activated for the $p_{x}$ bands to produce strong spin-polarized $D^{+}$ and $D^{-}$ valleys related by time-reversal symmetry, coexisting with weak $\Gamma$ Rashba bands constrained by the $p_{z}$ symmetry. Intriguingly, strong Stark effect shows the same $p_{x}$-orbital selectiveness for $D$, collectively shifting the valence band maximum of $D^{\pm}$ valleys to exceed the $\Gamma$ pockets. Such an orchestrating effect between SOC and Stark allows us to realize gate-tunable spin valley manipulations for 2D hole gas, as revealed by unconventional magnetic field triggered even-to-odd transitions in QHS. For electron doping, the quantization of the $\Gamma$ Rashba bands is characterized by peculiar density-dependent transitions in band topology from two parabolic valleys to a unique inner-outer helical structure when charge carrier concentrations increase.


title: Low-mass dielectron measurements in pp, p-Pb, and Pb-Pb collisions with ALICE at the LHC

abstract: Dielectrons are an excellent probe for the QCD matter created in created in ultra-relativistic heavy-ion collisions, since they are emitted during the whole evolution of the collision and do not interact strongly with the medium. To isolate the QGP signals, measurement of the dielectron production in vacuum and its modifications due to the presence of cold nuclear matter is necessary. We present and discuss results from a low magnetic field detector setup in proton-proton collisions at $\sqrt{s} = 13$ TeV, as well as the measurement of dielectron production in pp, p-Pb, and Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 5$ TeV.


title: Nonlinear scalar field equation with competing nonlocal terms

abstract: We find radial and nonradial solutions to the following nonlocal problem $$-\Delta u +\omega u= \big(I_\alpha\ast F(u)\big)f(u)-\big(I_\beta\ast G(u)\big)g(u) \text{ in } \mathbb{R}^N$$ under general assumptions, in the spirit of Berestycki and Lions, imposed on $f$ and $g$, where $N\geq 3$, $0\leq \beta \leq \alpha<N$, $\omega\geq 0$, $f,g:\mathbb{R}\to \mathbb{R}$ are continuous functions with corresponding primitives $F,G$, and $I_\alpha,I_\beta$ are the Riesz potentials. If $\beta>0$, then we deal with two competing nonlocal terms modelling attractive and repulsive interaction potentials.


title: Cascaded all-pass filters with randomized center frequencies and phase polarity for acoustic and speech measurement and data augmentation

abstract: We introduce a new member of TSP (Time Stretched Pulse) for acoustic and speech measurement infrastructure, based on a simple all-pass filter and systematic randomization. This new infrastructure fundamentally upgrades our previous measurement procedure, which enables simultaneous measurement of multiple attributes, including non-linear ones without requiring extra filtering nor post-processing. Our new proposal establishes a theoretically solid, flexible, and extensible foundation in acoustic measurement. Moreover, it is general enough to provide versatile research tools for other fields, such as biological signal analysis. We illustrate using acoustic measurements and data augmentation as representative examples among various prospective applications. We open-sourced MATLAB implementation. It consists of an interactive and real-time acoustic tool, MATLAB functions, and supporting materials.