title: QFuzz: Quantitative Fuzzing for Side Channels

abstract: Side channels pose a significant threat to the confidentiality of software systems. Such vulnerabilities are challenging to detect and evaluate because they arise from non-functional properties of software such as execution times and require reasoning on multiple execution traces. Recently, noninterference notions have been adapted in static analysis, symbolic execution, and greybox fuzzing techniques. However, noninterference is a strict notion and may reject security even if the strength of information leaks are weak. A quantitative notion of security allows for the relaxation of noninterference and tolerates small (unavoidable) leaks. Despite progress in recent years, the existing quantitative approaches have scalability limitations in practice. In this work, we present QFuzz, a greybox fuzzing technique to quantitatively evaluate the strength of side channels with a focus on min entropy. Min entropy is a measure based on the number of distinguishable observations (partitions) to assess the resulting threat from an attacker who tries to compromise secrets in one try. We develop a novel greybox fuzzing equipped with two partitioning algorithms that try to maximize the number of distinguishable observations and the cost differences between them. We evaluate QFuzz on a large set of benchmarks from existing work and real-world libraries (with a total of 70 subjects). QFuzz compares favorably to three state-of-the-art detection techniques. QFuzz provides quantitative information about leaks beyond the capabilities of all three techniques. Crucially, we compare QFuzz to a state-of-the-art quantification tool and find that QFuzz significantly outperforms the tool in scalability while maintaining similar precision. Overall, we find that our approach scales well for real-world applications and provides useful information to evaluate resulting threats. Additionally, QFuzz identifies a zero-d...


title: Supermassive Star Formation in Magnetized Atomic-Cooling Gas Clouds: Enhanced Accretion, Intermittent Fragmentation, and Continuous Mergers

abstract: The origin of supermassive black holes (with $\gtrsim\!10^9\,M_{\odot}$) in the early universe (redshift $z \sim 7$) remains poorly understood. Gravitational collapse of a massive primordial gas cloud is a promising initial process, but theoretical studies have difficulty growing the black hole fast enough. We focus on the magnetic effects on star formation that occurs in an atomic-cooling gas cloud. Using a set of three-dimensional magnetohydrodynamic (MHD) simulations, we investigate the star formation process in the magnetized atomic-cooling gas cloud with different initial magnetic field strengths. Our simulations show that the primordial magnetic seed field can be quickly amplified during the early accretion phase after the first protostar formation. The strong magnetic field efficiently extracts angular momentum from accreting gas and increases the accretion rate, which results in the high fragmentation rate in the gravitationally unstable disk region. On the other hand, the coalescence rate of fragments is also enhanced by the angular momentum transfer due to the magnetic effects. Almost all the fragments coalesce to the primary star, so the mass growth rate of the massive star increases due to the magnetic effects. We conclude that the magnetic effects support the direct collapse scenario of supermassive star formation.


title: ViTAE: Vision Transformer Advanced by Exploring Intrinsic Inductive Bias

abstract: Transformers have shown great potential in various computer vision tasks owing to their strong capability in modeling long-range dependency using the self-attention mechanism. Nevertheless, vision transformers treat an image as 1D sequence of visual tokens, lacking an intrinsic inductive bias (IB) in modeling local visual structures and dealing with scale variance. Alternatively, they require large-scale training data and longer training schedules to learn the IB implicitly. In this paper, we propose a novel Vision Transformer Advanced by Exploring intrinsic IB from convolutions, ie, ViTAE. Technically, ViTAE has several spatial pyramid reduction modules to downsample and embed the input image into tokens with rich multi-scale context by using multiple convolutions with different dilation rates. In this way, it acquires an intrinsic scale invariance IB and is able to learn robust feature representation for objects at various scales. Moreover, in each transformer layer, ViTAE has a convolution block in parallel to the multi-head self-attention module, whose features are fused and fed into the feed-forward network. Consequently, it has the intrinsic locality IB and is able to learn local features and global dependencies collaboratively. Experiments on ImageNet as well as downstream tasks prove the superiority of ViTAE over the baseline transformer and concurrent works. Source code and pretrained models will be available at GitHub.


title: A Stochastic Model for Block Segmentation of Images Based on the Quadtree and the Bayes Code for It

abstract: In information theory, lossless compression of general data is based on an explicit assumption of a stochastic generative model on target data. However, in lossless image compression, the researchers have mainly focused on the coding procedure that outputs the coded sequence from the input image, and the assumption of the stochastic generative model is implicit. In these studies, there is a difficulty in confirming the information-theoretical optimality of the coding procedure to the stochastic generative model. Hence, in this paper, we propose a novel stochastic generative model of images by redefining the implicit stochastic generative model in a previous coding procedure. That is based on the quadtree so that our model effectively represents the variable block size segmentation of images. Then, we construct the Bayes code optimal for the proposed stochastic generative model. In general, the computational cost to calculate the posterior distribution required in the Bayes code increases exponentially for the image size. However, we introduce an efficient algorithm to calculate it in the polynomial order of the image size without loss of the optimality. Some experiments are performed to confirm the flexibility of the proposed stochastic model and the efficiency of the introduced algorithm.


title: Maximum likelihood estimation for sub-fractional Vasicek model

abstract: We investigate the asymptotic properties of maximum likelihood estimators of the drift parameter for fractional vasicek model driven by a sub-fractional Brownian motion.


title: Continual Active Learning for Efficient Adaptation of Machine Learning Models to Changing Image Acquisition

abstract: Imaging in clinical routine is subject to changing scanner protocols, hardware, or policies in a typically heterogeneous set of acquisition hardware. Accuracy and reliability of deep learning models suffer from those changes as data and targets become inconsistent with their initial static training set. Continual learning can adapt to a continuous data stream of a changing imaging environment. Here, we propose a method for continual active learning on a data stream of medical images. It recognizes shifts or additions of new imaging sources - domains -, adapts training accordingly, and selects optimal examples for labelling. Model training has to cope with a limited labelling budget, resembling typical real world scenarios. We demonstrate our method on T1-weighted magnetic resonance images from three different scanners with the task of brain age estimation. Results demonstrate that the proposed method outperforms naive active learning while requiring less manual labelling.


title: The Power of Exploiter: Provable Multi-Agent RL in Large State Spaces

abstract: Modern reinforcement learning (RL) commonly engages practical problems with large state spaces, where function approximation must be deployed to approximate either the value function or the policy. While recent progresses in RL theory address a rich set of RL problems with general function approximation, such successes are mostly restricted to the single-agent setting. It remains elusive how to extend these results to multi-agent RL, especially due to the new challenges arising from its game-theoretical nature. This paper considers two-player zero-sum Markov Games (MGs). We propose a new algorithm that can provably find the Nash equilibrium policy using a polynomial number of samples, for any MG with low multi-agent Bellman-Eluder dimension -- a new complexity measure adapted from its single-agent version (Jin et al., 2021). A key component of our new algorithm is the exploiter, which facilitates the learning of the main player by deliberately exploiting her weakness. Our theoretical framework is generic, which applies to a wide range of models including but not limited to tabular MGs, MGs with linear or kernel function approximation, and MGs with rich observations.


title: Understanding Neural Code Intelligence Through Program Simplification

abstract: A wide range of code intelligence (CI) tools, powered by deep neural networks, have been developed recently to improve programming productivity and perform program analysis. To reliably use such tools, developers often need to reason about the behavior of the underlying models and the factors that affect them. This is especially challenging for tools backed by deep neural networks. Various methods have tried to reduce this opacity in the vein of "transparent/interpretable-AI". However, these approaches are often specific to a particular set of network architectures, even requiring access to the network's parameters. This makes them difficult to use for the average programmer, which hinders the reliable adoption of neural CI systems. In this paper, we propose a simple, model-agnostic approach to identify critical input features for models in CI systems, by drawing on software debugging research, specifically delta debugging. Our approach, SIVAND, uses simplification techniques that reduce the size of input programs of a CI model while preserving the predictions of the model. We show that this approach yields remarkably small outputs and is broadly applicable across many model architectures and problem domains. We find that the models in our experiments often rely heavily on just a few syntactic features in input programs. We believe that SIVAND's extracted features may help understand neural CI systems' predictions and learned behavior.


title: AI without networks

abstract: Contemporary Artificial Intelligence (AI) stands on two legs: large training data corpora and many-parameter artificial neural networks (ANNs). The data corpora are needed to represent the complexity and heterogeneity of the world. The role of the networks is less transparent due to the obscure dependence of the network parameters and outputs on the training data and inputs. This raises problems, ranging from technical-scientific to legal-ethical. We hypothesize that a transparent approach to machine learning is possible without using networks at all. By generalizing a parameter-free, statistically consistent data interpolation method, which we analyze theoretically in detail, we develop a network-free framework for AI incorporating generative modeling. We demonstrate this framework with examples from three different disciplines - ethology, control theory, and mathematics. Our generative Hilbert framework applied to the trajectories of small groups of swimming fish outperformed state-of-the-art traditional mathematical behavioral models and current ANN-based models. We demonstrate pure data interpolation based control by stabilizing an inverted pendulum and a driven logistic map around unstable fixed points. Finally, we present a mathematical application by predicting zeros of the Riemann Zeta function, achieving comparable performance as a transformer network. We do not suggest that the proposed framework will always outperform networks as over-parameterized networks can interpolate. However, our framework is theoretically sound, transparent, deterministic, and parameter free: remarkably, it does not require any compute-expensive training, does not involve optimization, has no model selection, and is easily reproduced and ported. We also propose an easily computed method of credit assignment based on this framework, to help address ethical-legal challenges raised by generative AI.

categories: cs.LG cond-mat.stat-mech math.FA stat.ML


title: Sub-trajectory Similarity Join with Obfuscation

abstract: User trajectory data is becoming increasingly accessible due to the prevalence of GPS-equipped devices such as smartphones. Many existing studies focus on querying trajectories that are similar to each other in their entirety. We observe that trajectories partially similar to each other contain useful information about users' travel patterns which should not be ignored. Such partially similar trajectories are critical in applications such as epidemic contact tracing. We thus propose to query trajectories that are within a given distance range from each other for a given period of time. We formulate this problem as a sub-trajectory similarity join query named as the STS-Join. We further propose a distributed index structure and a query algorithm for STS-Join, where users retain their raw location data and only send obfuscated trajectories to a server for query processing. This helps preserve user location privacy which is vital when dealing with such data. Theoretical analysis and experiments on real data confirm the effectiveness and the efficiency of our proposed index structure and query algorithm.


title: DMBGN: Deep Multi-Behavior Graph Networks for Voucher Redemption Rate Prediction

abstract: In E-commerce, vouchers are important marketing tools to enhance users' engagement and boost sales and revenue. The likelihood that a user redeems a voucher is a key factor in voucher distribution decision. User-item Click-Through-Rate (CTR) models are often applied to predict the user-voucher redemption rate. However, the voucher scenario involves more complicated relations among users, items and vouchers. The users' historical behavior in a voucher collection activity reflects users' voucher usage patterns, which is nevertheless overlooked by the CTR-based solutions. In this paper, we propose a Deep Multi-behavior Graph Networks (DMBGN) to shed light on this field for the voucher redemption rate prediction. The complex structural user-voucher-item relationships are captured by a User-Behavior Voucher Graph (UVG). User behavior happening both before and after voucher collection is taken into consideration, and a high-level representation is extracted by Higher-order Graph Neural Networks. On top of a sequence of UVGs, an attention network is built which can help to learn users' long-term voucher redemption preference. Extensive experiments on three large-scale production datasets demonstrate the proposed DMBGN model is effective, with 10% to 16% relative AUC improvement over Deep Neural Networks (DNN), and 2% to 4% AUC improvement over Deep Interest Network (DIN). Source code and a sample dataset are made publicly available to facilitate future research.


title: Evaluating State-of-the-Art Classification Models Against Bayes Optimality

abstract: Evaluating the inherent difficulty of a given data-driven classification problem is important for establishing absolute benchmarks and evaluating progress in the field. To this end, a natural quantity to consider is the \emph{Bayes error}, which measures the optimal classification error theoretically achievable for a given data distribution. While generally an intractable quantity, we show that we can compute the exact Bayes error of generative models learned using normalizing flows. Our technique relies on a fundamental result, which states that the Bayes error is invariant under invertible transformation. Therefore, we can compute the exact Bayes error of the learned flow models by computing it for Gaussian base distributions, which can be done efficiently using Holmes-Diaconis-Ross integration. Moreover, we show that by varying the temperature of the learned flow models, we can generate synthetic datasets that closely resemble standard benchmark datasets, but with almost any desired Bayes error. We use our approach to conduct a thorough investigation of state-of-the-art classification models, and find that in some -- but not all -- cases, these models are capable of obtaining accuracy very near optimal. Finally, we use our method to evaluate the intrinsic "hardness" of standard benchmark datasets, and classes within those datasets.


title: Ray engineering from chaos to order in two-dimensional optical cavities

abstract: Chaos, namely exponential sensitivity to initial conditions, is generally considered a nuisance, inasmuch as it prevents long-term predictions in physical systems. Here, we present an easily accessible approach to undo deterministic chaos and tailor ray trajectories in arbitrary two-dimensional optical billiards, by introducing spatially varying refractive index therein. A new refractive index landscape is obtained by a conformal mapping, which makes the trajectories of the chaotic billiard fully predictable and the billiard fully integrable. Moreover, trajectory rectification can be pushed a step further by relating chaotic billiards with non-Euclidean geometries. Two examples are illustrated by projecting billiards built on a sphere as well as the deformed spacetime outside a Schwarzschild black hole, which respectively lead to all periodic orbits and spiraling trajectories in the resulting 2D billiards/cavities. An implementation of our method is proposed, which enables real-time control of chaos and could further contribute to a wealth of potential applications in the domain of optical microcavities.


title: Observation of ~100% valley-coherent excitons in monolayer MoS2 through giant enhancement of valley coherence time

abstract: In monolayer transition metal dichalcogenide semiconductors, valley coherence degrades rapidly due to a combination of fast scattering and inter-valley exchange interaction. This leads to a sub-picosecond valley coherence time, making coherent manipulation of exciton a highly challenging task. Using monolayer MoS2 sandwiched between top and bottom graphene, here we demonstrate fully valley coherent excitons by observing ~100% degree of linear polarization in steady state photoluminescence. This is achieved in this unique design through a combined effect of (a) suppression in exchange interaction due to enhanced dielectric screening, (b) reduction in exciton lifetime due to a fast inter-layer transfer to graphene, and (c) operating in the motional narrowing regime. We disentangle the role of the key parameters affecting valley coherence by using a combination of calculation (solutions of Bethe-Salpeter and Maialle-Silva-Sham equations) and a careful choice of design of experiments using four different stacks with systematic variation of screening and exciton lifetime. To the best of our knowledge, this is the first report in which the excitons are found to be valley coherent in the entire lifetime in monolayer semiconductors, allowing optical readout of valley coherence possible.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph quant-ph


title: The Computational and Latency Advantage of Quantum Communication Networks

abstract: This article summarises the current status of classical communication networks and identifies some critical open research challenges that can only be solved by leveraging quantum technologies. By now, the main goal of quantum communication networks has been security. However, quantum networks can do more than just exchange secure keys or serve the needs of quantum computers. In fact, the scientific community is still investigating on the possible use cases/benefits that quantum communication networks can bring. Thus, this article aims at pointing out and clearly describing how quantum communication networks can enhance in-network distributed computing and reduce the overall end-to-end latency, beyond the intrinsic limits of classical technologies. Furthermore, we also explain how entanglement can reduce the communication complexity (overhead) that future classical virtualised networks will experience.


title: Application of neural networks to classification of data of the TUS orbital telescope

abstract: We employ neural networks for classification of data of the TUS fluorescence telescope, the world's first orbital detector of ultra-high energy cosmic rays. We focus on two particular types of signals in the TUS data: track-like flashes produced by cosmic ray hits of the photodetector and flashes that originated from distant lightnings. We demonstrate that even simple neural networks combined with certain conventional methods of data analysis can be highly effective in tasks of classification of data of fluorescence telescopes.


title: Magnetostatics and micromagnetics with physics informed neural networks

abstract: Partial differential equations and variational problems can be solved with physics informed neural networks (PINNs). The unknown field is approximated with neural networks. Minimizing the residuals of the static Maxwell equation at collocation points or the magnetostatic energy, the weights of the neural network are adjusted so that the neural network solution approximates the magnetic vector potential. This way, the magnetic flux density for a given magnetization distribution can be estimated. With the magnetization as an additional unknown, inverse magnetostatic problems can be solved. Augmenting the magnetostatic energy with additional energy terms, micromagnetic problems can be solved. We demonstrate the use of physics informed neural networks for solving magnetostatic problems, computing the magnetization for inverse problems, and calculating the demagnetization curves for two-dimensional geometries.


title: Looking into the cradle of the grave: J22564-5910, a young post-merger hot subdwarf?

abstract: We present the discovery of J22564-5910, a new type of hot subdwarf (sdB) which shows evidence of gas present in the system and has shallow, multi-peaked hydrogen and helium lines which vary in shape over time. All observational evidence points towards J22564-5910 being observed very shortly after the merger phase that formed it. Using high-resolution, high signal-to-noise spectroscopy, combined with multi-band photometry, Gaia astrometry, and TESS light curves, we aim to interpret these unusual spectral features. The photometry, spectra and light curves are all analyzed, and their results are combined in order to support our interpretation of the observations: the likely presence of a magnetic field combined with gas features around the sdB. Based on the triple-peaked H lines, the magnetic field strength is estimated and, by using the shellspec code, qualitative models of gas configurations are fitted to the observations. All observations can either be explained by a magnetic field of ~650 kG which enables the formation of a centrifugal magnetosphere, or a non-magnetic hot subdwarf surrounded by a circumstellar gas disk/torus. Both scenarios are not mutually exclusive and both can be explained by a recent merger. J22564-5910 is the first object of its kind. It is a rapidly spinning sdB with gas still present in the system. It is the first post-merger star observed this early after the merger event, and as such is very valuable system to test merger theories. If the magnetic field can be confirmed, it is not only the first magnetic sdB, but it hosts the strongest magnetic field ever found in a pre-white dwarf object. Thus, it could represent the long-sought for immediate ancestor of strongly magnetic WDs.


title: Effect of Adaptive and Fixed Shared Steering Control on Distracted Driver Behavior

abstract: Driver distraction is a well-known cause for traffic collisions worldwide. Studies have indicated that shared steering control, which actively provides haptic guidance torque on the steering wheel, effectively improves the performance of distracted drivers. Recently, adaptive shared steering control based on the physiological status of the driver has been developed, although its effect on distracted driver behavior remains unclear. To this end, a high-fidelity driving simulator experiment was conducted involving 18 participants performing double lane changes. The experimental conditions comprised two driver states: attentive and distracted. Under each condition, evaluations were performed on three types of haptic guidance: none (manual), fixed authority, and adaptive authority based on feedback from the forearm surface electromyography of the driver. Evaluation results indicated that, for both attentive and distracted drivers, haptic guidance with adaptive authority yielded lower driver workload and reduced lane departure risk than manual driving and fixed authority. Moreover, there was a tendency for distracted drivers to reduce grip strength on the steering wheel to follow the haptic guidance with fixed authority, resulting in a relatively shorter double lane change duration.


title: Generalized Linear Bandits with Local Differential Privacy

abstract: Contextual bandit algorithms are useful in personalized online decision-making. However, many applications such as personalized medicine and online advertising require the utilization of individual-specific information for effective learning, while user's data should remain private from the server due to privacy concerns. This motivates the introduction of local differential privacy (LDP), a stringent notion in privacy, to contextual bandits. In this paper, we design LDP algorithms for stochastic generalized linear bandits to achieve the same regret bound as in non-privacy settings. Our main idea is to develop a stochastic gradient-based estimator and update mechanism to ensure LDP. We then exploit the flexibility of stochastic gradient descent (SGD), whose theoretical guarantee for bandit problems is rarely explored, in dealing with generalized linear bandits. We also develop an estimator and update mechanism based on Ordinary Least Square (OLS) for linear bandits. Finally, we conduct experiments with both simulation and real-world datasets to demonstrate the consistently superb performance of our algorithms under LDP constraints with reasonably small parameters $(\varepsilon, \delta)$ to ensure strong privacy protection.


title: Spectral Independence via Stability and Applications to Holant-Type Problems

abstract: This paper formalizes connections between stability of polynomials and convergence rates of Markov Chain Monte Carlo (MCMC) algorithms. We prove that if a (multivariate) partition function is nonzero in a region around a real point $\lambda$ then spectral independence holds at $\lambda$. As a consequence, for Holant-type problems (e.g., spin systems) on bounded-degree graphs, we obtain optimal $O(n\log n)$ mixing time bounds for the single-site update Markov chain known as the Glauber dynamics. Our result significantly improves the running time guarantees obtained via the polynomial interpolation method of Barvinok (2017), refined by Patel and Regts (2017). There are a variety of applications of our results. In this paper, we focus on Holant-type (i.e., edge-coloring) problems, including weighted edge covers and weighted even subgraphs. For the weighted edge cover problem (and several natural generalizations) we obtain an $O(n\log{n})$ sampling algorithm on bounded-degree graphs. The even subgraphs problem corresponds to the high-temperature expansion of the ferromagnetic Ising model. We obtain an $O(n\log{n})$ sampling algorithm for the ferromagnetic Ising model with a nonzero external field on bounded-degree graphs, which improves upon the classical result of Jerrum and Sinclair (1993) for this class of graphs. We obtain further applications to antiferromagnetic two-spin models on line graphs, weighted graph homomorphisms, tensor networks, and more.


title: Modeling circulating cavity fields using the discrete linear canonical transform

abstract: Fabry-Perot cavities are central to many optical measurement systems. In high precision experiments, such as aLIGO and AdV, coupled cavities are often required leading to complex optical dynamics, particularly when optical imperfections are considered. We show, for the first time, that discrete LCTs can be used to compute circulating optical fields for cavities in which the optics have arbitrary apertures, reflectance and transmittance profiles, and shape. We compare the predictions of LCT models with those of alternative methods. To further highlight the utility of the LCT, we present a case study of point absorbers on the aLIGO mirrors and compare with recently published results.


title: Verification of Component Fault Trees Using Error Effect Simulations

abstract: The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe operation, is therefore a major challenge. In order to enable efficient safety assessment of complex architectures, we present an approach, which combines deductive safety analyses, in form of Component Fault Trees (CFTs), with an Error Effect Simulation (EES) for sanity checks. The combination reduces the drawbacks of both analyses, such as the subjective failure propagation assumptions in the CFTs or the determination of relevant fault scenarios for the EES. Both CFTs and the EES provide a modular, reusable and compositional safety analysis and are applicable throughout the whole design process. They support continuous model refinement and the reuse of conducted safety analysis and simulation models. Hence, safety goal violations can be identified in early design stages and the reuse of conducted safety analyses reduces the overhead for safety assessment.


title: Modeling refractory high-entropy alloys with efficient machine-learned interatomic potentials: defects and segregation

abstract: We develop a fast and accurate machine-learned interatomic potential for the Mo-Nb-Ta-V-W quinary system and use it to study segregation and defects in the body-centred cubic refractory high-entropy alloy MoNbTaVW. In the bulk alloy, we observe clear ordering of mainly Mo-Ta and V-W binaries at low temperatures. In damaged crystals, our simulations reveal clear segregation of vanadium, the smallest atom in the alloy, to compressed interstitial-rich regions like radiation-induced dislocation loops. Vanadium also dominates the population of single self-interstitial atoms. In contrast, due to its larger size and low surface energy, niobium segregates to spacious regions like the inner surfaces of voids. When annealing samples with supersaturated concentrations of defects, we find that in complete contrast to W, interstitial atoms in MoNbTaVW cluster to create only small ($\sim 1$ nm) experimentally invisible dislocation loops enriched by vanadium. By comparison to W, we explain this by the reduced but three-dimensional migration of interstitials, the immobility of dislocation loops, and the increased mobility of vacancies in the high-entropy alloy, which together promote defect recombination over clustering.


title: $p$-Selmer group and Modular symbols

abstract: In this paper, we prove that the dimension of the $p$-Selmer group for an elliptic curve is controlled by certain analytic quantities associated with modular symbols, which is conjectured by Kurihara.


title: User Behavior Assessment Towards Biometric Facial Recognition System: A SEM-Neural Network Approach

abstract: A smart home is grounded on the sensors that endure automation, safety, and structural integration. The security mechanism in digital setup possesses vibrant prominence and the biometric facial recognition system is novel addition to accrue the smart home features. Understanding the implementation of such technology is the outcome of user behavior modeling. However, there is the paucity of empirical research that explains the role of cognitive, functional, and social aspects of end-users acceptance behavior towards biometric facial recognition systems at homes. Therefore, a causal research survey was conducted to comprehend the behavioral intention towards the use of a biometric facial recognition system. Technology Acceptance Model (TAM)was implied with Perceived System Quality (PSQ) and Social Influence (SI)to hypothesize the conceptual framework. Data was collected from 475respondents through online questionnaires. Structural Equation Modeling(SEM) and Artificial Neural Network (ANN) were employed to analyze the surveyed data. The results showed that all the variables of the proposed framework significantly affected the behavioral intention to use the system. The PSQ appeared as the noteworthy predictor towards biometric facial recognition system usability through regression and sensitivity analyses. A multi-analytical approach towards understanding the technology user behavior will support the efficient decision-making process in Human-centric computing.


title: A consistent nonparametric test of the effect of dementia duration on mortality

abstract: A continuous-time multi-state history is semi-Markovian, if an intensity to migrate from one state into another, depends on the duration in the first state. Such duration can be formalised as covariate, entering the intensity process of the transition counts. We derive the integrated intensity process, prove its predictability and the martingale property of the residual. In particular, we verify the usual conditions for the respective filtration. As a consequence, according to Nielsen and Linton (1995), a kernel estimator of the transition intensity, including the duration dependence, converges point-wise at a slow rate, compared to the Markovian kernel estimator, i.e when ignoring dependence. By using the rate discrepancy, we follow Gozalo (1993) and show that the (properly scaled) maximal difference of the two kernel estimators on a random grid of points is asymptotically chi-square-1-distributed. As a data example, for a sample of 130,000 German women observed over a period of nine years, we model the mortality after dementia onset, potentially dependent on the disease duration. As usual, the models under both hypotheses need to be enlarged to allow for independent right-censoring. We find a significant effect of dementia duration, nearly independent of the bandwidth.


title: Pre-trained Language Model for Web-scale Retrieval in Baidu Search

abstract: Retrieval is a crucial stage in web search that identifies a small set of query-relevant candidates from a billion-scale corpus. Discovering more semantically-related candidates in the retrieval stage is very promising to expose more high-quality results to the end users. However, it still remains non-trivial challenges of building and deploying effective retrieval models for semantic matching in real search engine. In this paper, we describe the retrieval system that we developed and deployed in Baidu Search. The system exploits the recent state-of-the-art Chinese pretrained language model, namely Enhanced Representation through kNowledge IntEgration (ERNIE), which facilitates the system with expressive semantic matching. In particular, we developed an ERNIE-based retrieval model, which is equipped with 1) expressive Transformer-based semantic encoders, and 2) a comprehensive multi-stage training paradigm. More importantly, we present a practical system workflow for deploying the model in web-scale retrieval. Eventually, the system is fully deployed into production, where rigorous offline and online experiments were conducted. The results show that the system can perform high-quality candidate retrieval, especially for those tail queries with uncommon demands. Overall, the new retrieval system facilitated by pretrained language model (i.e., ERNIE) can largely improve the usability and applicability of our search engine.


title: RegMix: Data Mixing Augmentation for Regression

abstract: Data augmentation is becoming essential for improving regression performance in critical applications including manufacturing, climate prediction, and finance. Existing techniques for data augmentation largely focus on classification tasks and do not readily apply to regression tasks. In particular, the recent Mixup techniques for classification have succeeded in improving the model performance, which is reasonable due to the characteristics of the classification task, but has limitations in regression. We show that mixing examples that have large data distances using linear interpolations may have increasingly-negative effects on model performance. Our key idea is thus to limit the distances between examples that are mixed. We propose RegMix, a data augmentation framework for regression that learns for each example how many nearest neighbors it should be mixed with for the best model performance using a validation set. Our experiments conducted both on synthetic and real datasets show that RegMix outperforms state-of-the-art data augmentation baselines applicable to regression.


title: Commutative Lie Group VAE for Disentanglement Learning

abstract: We view disentanglement learning as discovering an underlying structure that equivariantly reflects the factorized variations shown in data. Traditionally, such a structure is fixed to be a vector space with data variations represented by translations along individual latent dimensions. We argue this simple structure is suboptimal since it requires the model to learn to discard the properties (e.g. different scales of changes, different levels of abstractness) of data variations, which is an extra work than equivariance learning. Instead, we propose to encode the data variations with groups, a structure not only can equivariantly represent variations, but can also be adaptively optimized to preserve the properties of data variations. Considering it is hard to conduct training on group structures, we focus on Lie groups and adopt a parameterization using Lie algebra. Based on the parameterization, some disentanglement learning constraints are naturally derived. A simple model named Commutative Lie Group VAE is introduced to realize the group-based disentanglement learning. Experiments show that our model can effectively learn disentangled representations without supervision, and can achieve state-of-the-art performance without extra constraints.


title: A Globally Normalized Neural Model for Semantic Parsing

abstract: In this paper, we propose a globally normalized model for context-free grammar (CFG)-based semantic parsing. Instead of predicting a probability, our model predicts a real-valued score at each step and does not suffer from the label bias problem. Experiments show that our approach outperforms locally normalized models on small datasets, but it does not yield improvement on a large dataset.


title: On the Skew-Symmetric Binary Sequences and the Merit Factor Problem

abstract: The merit factor problem is of practical importance to manifold domains, such as digital communications engineering, radars, system modulation, system testing, information theory, physics, chemistry. However, the merit factor problem is referenced as one of the most difficult optimization problems and it was further conjectured that stochastic search procedures will not yield merit factors higher than 5 for long binary sequences (sequences with lengths greater than 200). Some useful mathematical properties related to the flip operation of the skew-symmetric binary sequences are presented in this work. By exploiting those properties, the memory complexity of state-of-the-art stochastic merit factor optimization algorithms could be reduced from $O(n^2)$ to $O(n)$. As a proof of concept, a lightweight stochastic algorithm was constructed, which can optimize pseudo-randomly generated skew-symmetric binary sequences with long lengths (up to ${10}^5+1$) to skew-symmetric binary sequences with a merit factor greater than 5. An approximation of the required time is also provided. The numerical experiments suggest that the algorithm is universal and could be applied to skew-symmetric binary sequences with arbitrary lengths.


title: Some Remarks on the Location of Non-Asymptotic Zeros of Whittaker and Kummer Hypergeometric Functions

abstract: This paper focuses on the location of the non-asymptotic zeros of Whittaker and Kummer confluent hypergeometric functions. Based on a technique by E. Hille for the analysis of solutions of some second-order ordinary differential equations, we characterize the sign of the real part of zeros of Whittaker and Kummer functions and provide estimates on the regions of the complex plane where those zeros can be located. Our main result is a correction of a previous statement by G. E. Tsvetkov whose propagation has induced mistakes in the literature. In particular, we review some results of E. B. Saff and R. S. Varga on the error of Pad{\'e}'s rational approximation of the exponential function, which are based on the latter.


title: LAWDR: Language-Agnostic Weighted Document Representations from Pre-trained Models

abstract: Cross-lingual document representations enable language understanding in multilingual contexts and allow transfer learning from high-resource to low-resource languages at the document level. Recently large pre-trained language models such as BERT, XLM and XLM-RoBERTa have achieved great success when fine-tuned on sentence-level downstream tasks. It is tempting to apply these cross-lingual models to document representation learning. However, there are two challenges: (1) these models impose high costs on long document processing and thus many of them have strict length limit; (2) model fine-tuning requires extra data and computational resources, which is not practical in resource-limited settings. In this work, we address these challenges by proposing unsupervised Language-Agnostic Weighted Document Representations (LAWDR). We study the geometry of pre-trained sentence embeddings and leverage it to derive document representations without fine-tuning. Evaluated on cross-lingual document alignment, LAWDR demonstrates comparable performance to state-of-the-art models on benchmark datasets.


title: Atomistic origin of metal versus charge-density-wave phase separation in indium atomic wires on Si(111)

abstract: We investigate in atomic scale the electronic phase separation occurring in the well known quasi 1D charge-density wave (CDW) phase of the In atomic wire array on a Si(111) surface. The characteristic atomic scale defects, originated from excess In atoms, are found to be actively involved in the formation of the phase boundary between the metallic and the CDW phases by extensive analysis of scanning tunneling microscopy images at various temperatures. These particular defects flip the phase of the quasi 1D CDW to impose strong local constraints in the CDW correlation. We show that such local constraints and the substantial interwire CDW interaction induce local condensates of CDW and the phase separation between the metallic and the CDW phases. This work unveils the atomistic origin of the electronic phase separation, highlighting the importance of atomic scale structures of defects and their collective interaction in electronically inhomogeneous materials.


title: Affleck-Dine Leptogenesis from Higgs Inflation

abstract: We find that the triplet Higgs of the Type II seesaw mechanism can simultaneously generate the neutrino masses and observed baryon asymmetry, while playing a role in inflation. We survey the allowed parameter space and determine that this is possible for triplet masses as low as a TeV, with a preference for a small vacuum expectation value for the triplet $v_\Delta < 10 $ keV. This requires that the triplet Higgs must decay dominantly into the leptonic channel. Additionally, this model will be probed at the future 100 TeV collider, upcoming lepton flavor violation experiments such as Mu3e, and neutrinoless double beta decay experiments. Thus, this simple framework provides a unified solution to the three major unknowns of modern physics - inflation, the neutrino masses, and the observed baryon asymmetry - while simultaneously providing unique phenomenological predictions that will be probed terrestrially at upcoming experiments.


title: ContourRender: Detecting Arbitrary Contour Shape For Instance Segmentation In One Pass

abstract: Direct contour regression for instance segmentation is a challenging task. Previous works usually achieve it by learning to progressively refine the contour prediction or adopting a shape representation with limited expressiveness. In this work, we argue that the difficulty in regressing the contour points in one pass is mainly due to the ambiguity when discretizing a smooth contour into a polygon. To address the ambiguity, we propose a novel differentiable rendering-based approach named \textbf{ContourRender}. During training, it first predicts a contour generated by an invertible shape signature, and then optimizes the contour with the more stable silhouette by converting it to a contour mesh and rendering the mesh to a 2D map. This method significantly improves the quality of contour without iterations or cascaded refinements. Moreover, as optimization is not needed during inference, the inference speed will not be influenced. Experiments show the proposed ContourRender outperforms all the contour-based instance segmentation approaches on COCO, while stays competitive with the iteration-based state-of-the-art on Cityscapes. In addition, we specifically select a subset from COCO val2017 named COCO ContourHard-val to further demonstrate the contour quality improvements. Codes, models, and dataset split will be released.


title: Phase ordering, topological defects, and turbulence in the 3D incompressible Toner-Tu equation

abstract: We investigate phase ordering dynamics of the incompressible Toner-Tu equation in three dimensions. We show that the phase ordering proceeds via defect merger events and the dynamics is controlled by the Reynolds number Re. At low Re, the dynamics is similar to that of the Ginzburg-Landau equation. At high Re, turbulence controls phase ordering. In particular, we observe a forward energy cascade from the coarsening length scale to the dissipation scale.


title: Vanishing or non-vanishing rainbow? Reduction formulas of electric dipole moment

abstract: In this paper, we derive a simplified formula of electric dipole moments (EDMs) of a fermion. In the Standard Model, it is well-known that non-trivial cancellations between some rainbow-type diagrams induced by $W$ boson exchanges occur in the calculation of the neutron EDM at the two-loop level due to the gauge symmetry. The fermion self-energy and the vertex correction are related through the Ward-Takahashi identity, and this relation causes the exact cancellation of the EDM. We derive EDM formulas for a more general setup by introducing the form factors for the fermion self-energy and the vertex correction so that the derived formulas can be applicable to a larger class of models. We conclude that the non-zero EDM contributions are induced from rainbow-type diagrams with the chirality flipping effects for internal fermions. We also discuss the other possible generalization of the EDM calculation which is applicable to the other classes of models.


title: Generating constrained run-and-tumble trajectories

abstract: We propose a method to exactly generate bridge run-and-tumble trajectories that are constrained to start at the origin with a given velocity and to return to the origin after a fixed time with another given velocity. The method extends the concept of effective Langevin equations, valid for Markovian stochastic processes such as Brownian motion, to a non-Markovian stochastic process driven by a telegraphic noise, with exponentially decaying correlations. We obtain effective space-time dependent tumbling rates that implicitly accounts for the bridge constraint. We extend the method to other types of constrained run-and-tumble particles such as excursions and meanders. The method is implemented numerically and is shown to be very efficient.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Corona Health -- A Study- and Sensor-based Mobile App Platform Exploring Aspects of the COVID-19 Pandemic

abstract: Physical and mental well-being during the COVID-19 pandemic is typically assessed via surveys, which might make it difficult to conduct longitudinal studies and might lead to data suffering from recall bias. Ecological momentary assessment (EMA) driven smartphone apps can help alleviate such issues, allowing for in situ recordings. Implementing such an app is not trivial, necessitates strict regulatory and legal requirements, and requires short development cycles to appropriately react to abrupt changes in the pandemic. Based on an existing app framework, we developed Corona Health, an app that serves as a platform for deploying questionnaire-based studies in combination with recordings of mobile sensors. In this paper, we present the technical details of Corona Health and provide first insights into the collected data. Through collaborative efforts from experts from public health, medicine, psychology, and computer science, we released Corona Health publicly on Google Play and the Apple App Store (in July, 2020) in 8 languages and attracted 7,290 installations so far. Currently, five studies related to physical and mental well-being are deployed and 17,241 questionnaires have been filled out. Corona Health proves to be a viable tool for conducting research related to the COVID-19 pandemic and can serve as a blueprint for future EMA-based studies. The data we collected will substantially improve our knowledge on mental and physical health states, traits and trajectories as well as its risk and protective factors over the course of the COVID-19 pandemic and its diverse prevention measures.


title: Difference methods for time discretization of stochastic wave equation

abstract: The time discretization of stochastic spectral fractional wave equation is studied by using the difference methods. Firstly, we exploit rectangle formula to get a low order time discretization, whose the strong convergence order is smaller than $1$ in the sense of mean-squared $L^2$-norm. Meanwhile, by modifying the low order method with trapezoidal rule, the convergence rate is improved at expenses of requiring some extra temporal regularity to the solution. The modified scheme has superlinear convergence rate under the mean-squared $L^2$-norm. Several numerical experiments are provided to confirm the theoretical error estimates.


title: DINs: Deep Interactive Networks for Neurofibroma Segmentation in Neurofibromatosis Type 1 on Whole-Body MRI

abstract: Neurofibromatosis type 1 (NF1) is an autosomal dominant tumor predisposition syndrome that involves the central and peripheral nervous systems. Accurate detection and segmentation of neurofibromas are essential for assessing tumor burden and longitudinal tumor size changes. Automatic convolutional neural networks (CNNs) are sensitive and vulnerable as tumors' variable anatomical location and heterogeneous appearance on MRI. In this study, we propose deep interactive networks (DINs) to address the above limitations. User interactions guide the model to recognize complicated tumors and quickly adapt to heterogeneous tumors. We introduce a simple but effective Exponential Distance Transform (ExpDT) that converts user interactions into guide maps regarded as the spatial and appearance prior. Comparing with popular Euclidean and geodesic distances, ExpDT is more robust to various image sizes, which reserves the distribution of interactive inputs. Furthermore, to enhance the tumor-related features, we design a deep interactive module to propagate the guides into deeper layers. We train and evaluate DINs on three MRI data sets from NF1 patients. The experiment results yield significant improvements of 44% and 14% in DSC comparing with automated and other interactive methods, respectively. We also experimentally demonstrate the efficiency of DINs in reducing user burden when comparing with conventional interactive methods. The source code of our method is available at \url{https://github.com/Jarvis73/DINs}.


title: Never guess what I heard... Rumor Detection in Finnish News: a Dataset and a Baseline

abstract: This study presents a new dataset on rumor detection in Finnish language news headlines. We have evaluated two different LSTM based models and two different BERT models, and have found very significant differences in the results. A fine-tuned FinBERT reaches the best overall accuracy of 94.3% and rumor label accuracy of 96.0% of the time. However, a model fine-tuned on Multilingual BERT reaches the best factual label accuracy of 97.2%. Our results suggest that the performance difference is due to a difference in the original training data. Furthermore, we find that a regular LSTM model works better than one trained with a pretrained word2vec model. These findings suggest that more work needs to be done for pretrained models in Finnish language as they have been trained on small and biased corpora.


title: Universal noise-precision relations in variational quantum algorithms

abstract: Variational quantum algorithms (VQAs) are expected to become a practical application of near-term noisy quantum computers. Although the effect of the noise crucially determines whether a VQA works or not, the heuristic nature of VQAs makes it difficult to establish analytic theories. Analytic estimations of the impact of the noise are urgent for searching for quantum advantages, as numerical simulations of noisy quantum computers on classical computers are heavy and quite limited to small scale problems. In this paper, we establish analytic estimations of the error in the cost function of VQAs due to the noise. The estimations are applicable to any typical VQAs under the Gaussian noise, which is equivalent to a class of stochastic noise models. Notably, the depolarizing noise is included in this model. As a result, we obtain estimations of the noise level to guarantee a required precision. Our formulae show how the Hessian of the cost function, the spectrum of the target operator, and the geometry of the ansatz affect the sensitivity to the noise. This insight implies trade-off relations between the trainability and the noise resilience of the cost function. We also obtain rough estimations which can be easily calculated without detailed information of the cost function. As a highlight of the applications of the formula, we propose a quantum error mitigation method which is different from the extrapolation and the probabilistic error cancellation.


title: Apurin\~a Universal Dependencies Treebank

abstract: This paper presents and discusses the first Universal Dependencies treebank for the Apurin\~a language. The treebank contains 76 fully annotated sentences, applies 14 parts-of-speech, as well as seven augmented or new features - some of which are unique to Apurin\~a. The construction of the treebank has also served as an opportunity to develop finite-state description of the language and facilitate the transfer of open-source infrastructure possibilities to an endangered language of the Amazon. The source materials used in the initial treebank represent fieldwork practices where not all tokens of all sentences are equally annotated. For this reason, establishing regular annotation practices for the entire Apurin\~a treebank is an ongoing project.


title: Analytical study on dynamic responses of sheet-pile groin subjected to transient lateral impulse

abstract: A novel structure of sheet-pile groin consists of row piles and tied sheet has been introduced to resist the impact of tidal bore in recent years. However, the dynamic responses of the structure under tidal bore have not been carefully studied before. This paper proposed an analytical solution for the dynamic responses of the sheet-pile groin subjected to a transient lateral excitation. In order to take the flexural and longitudinal vibrations into consideration, the piles and the sheet are modeled by the Timoshenko beam (TB) theory and a one-dimensional rod, respectively. The soil around the piles is simulated by the dynamic Winkler foundation model. The excitation is considered by a lateral concentrated point load acting on the front pile. On this basis, the governing equations are constructed in time domain and solved in frequency domain, while the time-domain responses are finally obtained using the discrete Inverse Fourier Transform. The accuracy of the presented analytical solution is validated by comparing with the results obtained from the FEM simulation and a model test. The effects of properties of the sheet, the piles and the soil on the dynamic responses are investigated through a comprehensive parametric study.


title: Adversarially Regularized Graph Attention Networks for Inductive Learning on Partially Labeled Graphs

abstract: The high cost of data labeling often results in node label shortage in real applications. To improve node classification accuracy, graph-based semi-supervised learning leverages the ample unlabeled nodes to train together with the scarce available labeled nodes. However, most existing methods require the information of all nodes, including those to be predicted, during model training, which is not practical for dynamic graphs with newly added nodes. To address this issue, an adversarially regularized graph attention model is proposed to classify newly added nodes in a partially labeled graph. An attention-based aggregator is designed to generate the representation of a node by aggregating information from its neighboring nodes, thus naturally generalizing to previously unseen nodes. In addition, adversarial training is employed to improve the model's robustness and generalization ability by enforcing node representations to match a prior distribution. Experiments on real-world datasets demonstrate the effectiveness of the proposed method in comparison with the state-of-the-art methods. The code is available at https://github.com/JiarenX/AGAIN.


title: A generative model for molecule generation based on chemical reaction trees

abstract: Deep generative models have been shown powerful in generating novel molecules with desired chemical properties via their representations such as strings, trees or graphs. However, these models are limited in recommending synthetic routes for the generated molecules in practice. We propose a generative model to generate molecules via multi-step chemical reaction trees. Specifically, our model first propose a chemical reaction tree with predicted reaction templates and commercially available molecules (starting molecules), and then perform forward synthetic steps to obtain product molecules. Experiments show that our model can generate chemical reactions whose product molecules are with desired chemical properties. Also, the complete synthetic routes for these product molecules are provided.


title: How to Evaluate Uncertainty Estimates in Machine Learning for Regression?

abstract: As neural networks become more popular, the need for accompanying uncertainty estimates increases. There are currently two main approaches to test the quality of these estimates. Most methods output a density. They can be compared by evaluating their loglikelihood on a test set. Other methods output a prediction interval directly. These methods are often tested by examining the fraction of test points that fall inside the corresponding prediction intervals. Intuitively both approaches seem logical. However, we demonstrate through both theoretical arguments and simulations that both ways of evaluating the quality of uncertainty estimates have serious flaws. Firstly, both approaches cannot disentangle the separate components that jointly create the predictive uncertainty, making it difficult to evaluate the quality of the estimates of these components. Secondly, a better loglikelihood does not guarantee better prediction intervals, which is what the methods are often used for in practice. Moreover, the current approach to test prediction intervals directly has additional flaws. We show why it is fundamentally flawed to test a prediction or confidence interval on a single test set. At best, marginal coverage is measured, implicitly averaging out overconfident and underconfident predictions. A much more desirable property is pointwise coverage, requiring the correct coverage for each prediction. We demonstrate through practical examples that these effects can result in favoring a method, based on the predictive uncertainty, that has undesirable behaviour of the confidence or prediction intervals. Finally, we propose a simulation-based testing approach that addresses these problems while still allowing easy comparison between different methods.


title: Topological entanglement and hyperbolic volume

abstract: The entanglement entropy of many quantum systems is difficult to compute in general. They are obtained as a limiting case of the R\'enyi entropy of index $m$, which captures the higher moments of the reduced density matrix. In this work, we study pure bipartite states associated with $S^3$ complements of a two-component link which is a connected sum of a knot $\mathcal{K}$ and the Hopf link. For this class of links, the Chern-Simons theory provides the necessary setting to visualise the $m$-moment of the reduced density matrix as a three-manifold invariant $Z(M_{\mathcal{K}_m})$, which is the partition function of $M_{\mathcal{K}_m}$. Here $M_{\mathcal{K}_m}$ is a closed 3-manifold associated with the knot $\mathcal K_m$, where $\mathcal K_m$ is a connected sum of $m$-copies of $\mathcal{K}$ (i.e., $\mathcal{K}\#\mathcal{K}\ldots\#\mathcal{K}$) which mimics the well-known replica method. We analyse the partition functions $Z(M_{\mathcal{K}_m})$ for SU(2) and SO(3) gauge groups, in the limit of the large Chern-Simons coupling $k$. For SU(2) group, we show that $Z(M_{\mathcal{K}_m})$ can grow at most polynomially in $k$. On the contrary, we conjecture that $Z(M_{\mathcal{K}_m})$ for SO(3) group shows an exponential growth in $k$, where the leading term of $\ln Z(M_{\mathcal{K}_m})$ is the hyperbolic volume of the knot complement $S^3\backslash \mathcal{K}_m$. We further propose that the R\'enyi entropies associated with SO(3) group converge to a finite value in the large $k$ limit. We present some examples to validate our conjecture and proposal.


title: MHD Flow Regimes in Annular Channel

abstract: One method and two results are contributed to the complete understanding about MHD laminar flow in annular channel with transverse magnetic field in this paper. In terms of the method, a computationally cheap semi-analytic algorithm is developed based on spectral method and perturbation expansion. By virtue of the fast computation, dense cases with almost continuous varying Hartmann number $M$, Reynolds number $Re$ and cross-section ratio $\eta$ are calculated to explore the flow patterns that are missed in previous research. In terms of the results of inertialess regime, we establish the average velocity map and electric-flow coupling delimitation in $\eta$-$M$ space. Seven phenomenological flow patterns and their analytical approaches are identified. In terms of the results of inertial regime, we examine the law of decreasing order-of-magnitude of inertial perturbation on primary flow with increasing Hartmann number. The proposed semi-analytic solution coincides with the $Re^2/M^{4}$ suppression theory of Baylis & Hunt (J. Fluid Mech., vol. 43, 1971, pp. 423-428) in the case of $M<40$. When $M>40$, the pair of trapezoid vortices of secondary flow begins to crack and there is therefore a faster drop in inertial perturbation as $Re^2/M^{5}$, which is a new suppression theory. When $M>80$, the anomalous reverse vortices are fully developed near Shercliff layers resulting in the slower suppression mode of $Re^2/M^{2.5}$, which confirms the prediction of Tabeling & Chabrerie (J. Fluid Mech., vol. 103, 1981, pp. 225-239).


title: Dark Matter Effects on Stellar Populations in Globular Clusters

abstract: According to the classical view of globular clusters, stars inside globular clusters are evolved from the same giant molecular cloud. Then their stars' chemical compositions must be the same. But recent photometric and spectroscopic studies of globular clusters reveal the presence of more-than-one stellar populations inside globular clusters. This finding challenges our classical view of globular clusters. In this work, we investigated the possibility of solving multiple stellar populations problem in globular clusters using dark matter assumptions. We showed that the presence of dark matter inside globular clusters changes the physical parameters (e.g. chemical composition, luminosity, temperature, age, etc.) of stars inside them. We supposed that dark matter distributed non-uniformly inside globular clusters. It means stars in high dark matter density environments (like the central region of globular clusters) are more affected by the presence of dark matter. Using this assumption, we showed that stars in different locations of globular clusters (corresponding to different dark matter densities) follow different evolutionary paths (e.g. on Hertzsprung-Russell diagram). We used this note to infer that the presence of dark matter inside globular clusters can be the reason for the multiple stellar populations.

categories: astro-ph.GA astro-ph.SR physics.comp-ph physics.space-ph


title: Scientific Dataset Discovery via Topic-level Recommendation

abstract: Data intensive research requires the support of appropriate datasets. However, it is often time-consuming to discover usable datasets matching a specific research topic. We formulate the dataset discovery problem on an attributed heterogeneous graph, which is composed of paper-paper citation, paper-dataset citation, and also paper content. We propose to characterize both paper and dataset nodes by their commonly shared latent topics, rather than learning user and item representations via canonical graph embedding models, because the usage of datasets and the themes of research projects can be understood on the common base of research topics. The relevant datasets to a given research project can then be inferred in the shared topic space. The experimental results show that our model can generate reasonable profiles for datasets, and recommend proper datasets for a query, which represents a research project linked with several papers.


title: Believe What You See: Implicit Constraint Approach for Offline Multi-Agent Reinforcement Learning

abstract: Learning from datasets without interaction with environments (Offline Learning) is an essential step to apply Reinforcement Learning (RL) algorithms in real-world scenarios. However, compared with the single-agent counterpart, offline multi-agent RL introduces more agents with the larger state and action space, which is more challenging but attracts little attention. We demonstrate current offline RL algorithms are ineffective in multi-agent systems due to the accumulated extrapolation error. In this paper, we propose a novel offline RL algorithm, named Implicit Constraint Q-learning (ICQ), which effectively alleviates the extrapolation error by only trusting the state-action pairs given in the dataset for value estimation. Moreover, we extend ICQ to multi-agent tasks by decomposing the joint-policy under the implicit constraint. Experimental results demonstrate that the extrapolation error is successfully controlled within a reasonable range and insensitive to the number of agents. We further show that ICQ achieves the state-of-the-art performance in the challenging multi-agent offline tasks (StarCraft II). Our code is public online at https://github.com/YiqinYang/ICQ.


title: Finite-frequency response of Rasba electron gas with two-particle scattering

abstract: Two-dimensional systems with Rashba spin-orbit coupling are not Galilean invariant and therefore electron--electron collisions in them may affect the current. However when taken alone, they cannot ensure a nonzero dc resistivity, so their effects are masked by impurity scattering. Here we calculate the related finite-frequency response and show that the electron--electron scattering in clean Rashba conductors decreases the Drude weight while resulting in a finite dissipative component of the response outside of the Drude peak.


title: On near-MDS codes and caps

abstract: Several classes of near-MDS codes of ${\rm PG}(3,q)$ are described. They are obtained either by considering the intersection of an elliptic quadric ovoid and a Suzuki-Tits ovoid of a symplectic polar space ${\cal W}(3, q)$ or starting from the $q+1$ points of a twisted cubic of ${\rm PG}(3, q)$. As a by-product two classes of complete caps of ${\rm PG}(4,q)$ of size $2q^2-q \pm \sqrt{2q} + 2$ are exhibited.


title: Network Inference and Influence Maximization from Samples

abstract: Influence maximization is the task of selecting a small number of seed nodes in a social network to maximize the influence spread from these seeds. It has been widely investigated in the past two decades. In the canonical setting, the social network and its diffusion parameters are given as input. In this paper, we consider the more realistic sampling setting where the network is unknown and we only have a set of passively observed cascades that record the sets of activated nodes at each diffusion step. We study the task of influence maximization from these cascade samples (IMS) and present constant approximation algorithms for it under mild conditions on the seed set distribution. To achieve the optimization goal, we also provide a novel solution to the network inference problem, that is, learning diffusion parameters and the network structure from the cascade data. Compared with prior solutions, our network inference algorithms require weaker assumptions and do not rely on maximum-likelihood estimation and convex programming. Our IMS algorithms enhance the learning-and-then-optimization approach by allowing a constant approximation ratio even when the diffusion parameters are hard to learn, and we do not need any assumption related to the network structure or diffusion parameters.


title: Detection of deuterated methylcyanoacetylene, CH$_2$DC$_3$N, in TMC-1

abstract: We report the first detection in space of the single deuterated isotopologue of methylcyanoacetylene, CH$_2$DC$_3$N. A total of fifteen rotational transitions, with $J$ = 8-12 and $K_a$ = 0 and 1, were identified for this species in TMC-1 in the 31.0-50.4 GHz range using the Yebes 40m radio telescope. The observed frequencies were used to derive for the first time the spectroscopic parameters of this deuterated isotopologue. We derive a column density of $(8.0\pm 0.4) \times 10^{10}$ cm$^{-2}$. The abundance ratio between CH$_3$C$_3$N and CH$_2$DC$_3$N is $\sim$22. We also theoretically computed the principal spectroscopic constants of $^{13}$C isotopologues of CH$_3$C$_3$N and CH$_3$C$_4$H and those of the deuterated isotopologues of CH$_3$C$_4$H for which we could expect a similar degree of deuteration enhancement. However, we have not detected either CH$_2$DC$_4$H nor CH$_3$C$_4$D nor any $^{13}$C isotopologue. The different observed deuterium ratios in TMC-1 are reasonably accounted for by a gas phase chemical model where the low temperature conditions favor deuteron transfer through reactions with H$_2$D$^+$.


title: Mechanisms for transient localization in a diatomic nonlinear chain

abstract: We investigate transient nonlinear localization, namely the self-excitation of energy bursts in an atomic lattice at finite temperature. As a basic model we consider the diatomic Lennard-Jones chain. Numerical simulations suggest that the effect originates from two different mechanisms. One is the thermal excitation of genuine discrete breathers with frequency in the phonon gap. The second is an effect of nonlinear coupling of fast, lighter particles with slow vibrations of the heavier ones. The quadratic term of the force generate an effective potential that can lead to transient grow of local energy on time scales the can be relatively long for small mass ratios. This heuristics is supported by a multiple-scale approximation based on the natural time-scale separation. For illustration, we consider a simplified single-particle model that allows for some insight of the localization dynamics.


title: The Pristine survey XIII: Uncovering the very metal-poor tail of the thin disc

abstract: We evaluate the rotational velocity of stars observed by the Pristine survey towards the Galactic anticentre, spanning a wide range of metallicities from the extremely metal-poor regime ($\mathrm{[Fe/H]}<-3$) to nearly solar metallicity. In the Galactic anticentre direction, the rotational velocity ($V_{\phi}$) is similar to the tangential velocity in the galactic longitude direction ($V_{\ell}$). This allows us to estimate $V_{\phi}$ from Gaia early data-release 3 (Gaia EDR3) proper motions for stars without radial velocity measurements. This substantially increases the sample of stars in the outer disc with estimated rotational velocities. Our stellar sample towards the anticentre is dominated by a kinematical thin disc with a mean rotation of $\sim -220$ km $\mathrm{s}^{-1}$. However, our analysis reveals the presence of more stellar substructures. The most intriguing is a well populated extension of the kinematical thin disc down to $\mathrm{[Fe/H]} \sim -2$. A scarser fast rotating population reaching the extremely metal-poor regime, down to $\mathrm{[Fe/H]} \sim -3.5$ is also detected, but without statistical significance to unambiguously state whether this is the extremely metal-poor extension of the thin disc or the high rotating tail of hotter structures (like the thick disc or the halo). In addition, a more slowly rotating kinematical thick disc component is also required to explain the observed $V_{\ell}$ distribution at $\mathrm{[Fe/H]} > -1.5$. Furthermore, we detect signatures of a "heated disc", the so-called Splash, at metallicities higher than $\sim-1.5$. Finally, at $\mathrm{[Fe/H]} < -1.5$ our anticentre sample is dominated by a kinematical halo with a net prograde motion.


title: Multi-goal path planning using multiple random trees

abstract: In this paper, we propose a novel sampling-based planner for multi-goal path planning among obstacles, where the objective is to visit predefined target locations while minimizing the travel costs. The order of visiting the targets is often achieved by solving the Traveling Salesman Problem (TSP) or its variants. TSP requires to define costs between the individual targets, which - in a map with obstacles - requires to compute mutual paths between the targets. These paths, found by path planning, are used both to define the costs (e.g., based on their length or time-to-traverse) and also they define paths that are later used in the final solution. To enable TSP finding a good-quality solution, it is necessary to find these target-to-target paths as short as possible. We propose a sampling-based planner called Space-Filling Forest (SFF*) that solves the part of finding collision-free paths. SFF* uses multiple trees (forest) constructed gradually and simultaneously from the targets and attempts to find connections with other trees to form the paths. Unlike Rapidly-exploring Random Tree (RRT), which uses the nearest-neighbor rule for selecting nodes for expansion, SFF* maintains an explicit list of nodes for expansion. Individual trees are grown in a RRT* manner, i.e., with rewiring the nodes to minimize their cost. Computational results show that SFF* provides shorter target-to-target paths than existing approaches, and consequently, the final TSP solutions also have a lower cost.


title: Antipodes of Label Differential Privacy: PATE and ALIBI

abstract: We consider the privacy-preserving machine learning (ML) setting where the trained model must satisfy differential privacy (DP) with respect to the labels of the training examples. We propose two novel approaches based on, respectively, the Laplace mechanism and the PATE framework, and demonstrate their effectiveness on standard benchmarks. While recent work by Ghazi et al. proposed Label DP schemes based on a randomized response mechanism, we argue that additive Laplace noise coupled with Bayesian inference (ALIBI) is a better fit for typical ML tasks. Moreover, we show how to achieve very strong privacy levels in some regimes, with our adaptation of the PATE framework that builds on recent advances in semi-supervised learning. We complement theoretical analysis of our algorithms' privacy guarantees with empirical evaluation of their memorization properties. Our evaluation suggests that comparing different algorithms according to their provable DP guarantees can be misleading and favor a less private algorithm with a tighter analysis. Code for implementation of algorithms and memorization attacks is available from https://github.com/facebookresearch/label_dp_antipodes.


title: Improving Lower Bounds for Equitable Chromatic Number

abstract: In many practical applications the underlying graph must be as equitable colored as possible. A coloring is called equitable if the number of vertices colored with each color differs by at most one, and the least number of colors for which a graph has such a coloring is called its equitable chromatic number. We introduce a new integer linear programming approach for studying the equitable coloring number of a graph and show how to use it for improving lower bounds for this number. The two stage method is based on finding or upper bounding the maximum cardinality of an equitable color class in a valid equitable coloring and, then, sequentially improving the lower bound for the equitable coloring number. The computational experiments were carried out on DIMACS graphs and other graphs from the literature.


title: Generating Relevant and Coherent Dialogue Responses using Self-separated Conditional Variational AutoEncoders

abstract: Conditional Variational AutoEncoder (CVAE) effectively increases the diversity and informativeness of responses in open-ended dialogue generation tasks through enriching the context vector with sampled latent variables. However, due to the inherent one-to-many and many-to-one phenomena in human dialogues, the sampled latent variables may not correctly reflect the contexts' semantics, leading to irrelevant and incoherent generated responses. To resolve this problem, we propose Self-separated Conditional Variational AutoEncoder (abbreviated as SepaCVAE) that introduces group information to regularize the latent variables, which enhances CVAE by improving the responses' relevance and coherence while maintaining their diversity and informativeness. SepaCVAE actively divides the input data into groups, and then widens the absolute difference between data pairs from distinct groups, while narrowing the relative distance between data pairs in the same group. Empirical results from automatic evaluation and detailed analysis demonstrate that SepaCVAE can significantly boost responses in well-established open-domain dialogue datasets.


title: Scalable Surface Area Characterization by Electrokinetic Analysis of Complex Anion Adsorption

abstract: By means of the in situ electrokinetic assessment of aqueous particles in conjunction with the addition of anionic adsorbates, we develop and examine a new approach to the scalable characterization of the specific accessible surface area of particles in water. For alumina powders of differing morphology in mildly acidic aqueous suspensions, the effective surface charge was modified by carboxylate anion adsorption through the incremental addition of oxalic and citric acids. The observed zeta potential variation as a function of the proportional reagent additive was found to exhibit inverse hyperbolic sine-type behavior predicted to arise from monolayer adsorption following the Grahame-Langmuir model. Through parameter optimization by inverse problem solving, the zeta potential shift with relative adsorbate addition revealed a nearly linear correlation of a defined surface-area-dependent parameter with the conventionally measured surface area values of the powders, demonstrating that the proposed analytical framework is applicable for the in situ surface area characterization of aqueous particulate matter. The investigated methods have advantages over some conventional surface analysis techniques owing to their direct applicability in aqueous environments at ambient temperature and the ability to modify analysis scales by variation of the adsorption cross section.


title: Resolution learning in deep convolutional networks using scale-space theory

abstract: Resolution in deep convolutional neural networks (CNNs) is typically bounded by the receptive field size through filter sizes, and subsampling layers or strided convolutions on feature maps. The optimal resolution may vary significantly depending on the dataset. Modern CNNs hard-code their resolution hyper-parameters in the network architecture which makes tuning such hyper-parameters cumbersome. We propose to do away with hard-coded resolution hyper-parameters and aim to learn the appropriate resolution from data. We use scale-space theory to obtain a self-similar parametrization of filters and make use of the N-Jet: a truncated Taylor series to approximate a filter by a learned combination of Gaussian derivative filters. The parameter sigma of the Gaussian basis controls both the amount of detail the filter encodes and the spatial extent of the filter. Since sigma is a continuous parameter, we can optimize it with respect to the loss. The proposed N-Jet layer achieves comparable performance when used in state-of-the art architectures, while learning the correct resolution in each layer automatically. We evaluate our N-Jet layer on both classification and segmentation, and we show that learning sigma is especially beneficial for inputs at multiple sizes.


title: Low-Temperature Spectroscopic Investigation of Lead-Vacancy Centers in Diamond Fabricated by High-Pressure and High-Temperature Treatment

abstract: We report the optical observation of lead-vacancy (PbV) centers in diamond fabricated by Pb ion implantation and subsequent high-temperature annealing (2100 {\deg}C) under high pressure (7.7 GPa). Their optical properties were characterized by photoluminescence at varying temperatures down to 5.7 K. We observed intense emission peaks at 550 and 554 nm with a large splitting of approximately 3900 GHz. The two lines are thought to correspond to the zero phonon line (ZPL) of PbV centers with split ground and excited states. A cubic trend of the ZPL width was observed while varying temperature. We performed polarization measurements of the two lines in a single PbV center, showing nearly orthogonal dipole polarizations. These optical measurements strongly indicate that the PbV center possesses D3d symmetry in the diamond lattice. The observed large ground state splitting significantly suppresses the phonon-mediated transition, which causes decoherence of the electron spin state of the group IV color centers in diamond, expecting a long spin coherence time at a temperature of approximately 8 K.


title: Intertwining connectivities for vertex-minors and pivot-minors

abstract: We show that for pairs $(Q,R)$ and $(S,T)$ of disjoint subsets of vertices of a graph $G$, if $G$ is sufficiently large, then there exists a vertex $v$ in $V(G)-(Q\cup R\cup S\cup T)$ such that there are two ways to reduce $G$ by a vertex-minor operation that removes $v$ while preserving the connectivity between $Q$ and $R$ and the connectivity between $S$ and $T$. Our theorem implies an analogous theorem of Chen and Whittle (2014) for matroids restricted to binary matroids.


title: Leveraging Tripartite Interaction Information from Live Stream E-Commerce for Improving Product Recommendation

abstract: Recently, a new form of online shopping becomes more and more popular, which combines live streaming with E-Commerce activity. The streamers introduce products and interact with their audiences, and hence greatly improve the performance of selling products. Despite of the successful applications in industries, the live stream E-commerce has not been well studied in the data science community. To fill this gap, we investigate this brand-new scenario and collect a real-world Live Stream E-Commerce (LSEC) dataset. Different from conventional E-commerce activities, the streamers play a pivotal role in the LSEC events. Hence, the key is to make full use of rich interaction information among streamers, users, and products. We first conduct data analysis on the tripartite interaction data and quantify the streamer's influence on users' purchase behavior. Based on the analysis results, we model the tripartite information as a heterogeneous graph, which can be decomposed to multiple bipartite graphs in order to better capture the influence. We propose a novel Live Stream E-Commerce Graph Neural Network framework (LSEC-GNN) to learn the node representations of each bipartite graph, and further design a multi-task learning approach to improve product recommendation. Extensive experiments on two real-world datasets with different scales show that our method can significantly outperform various baseline approaches.


title: High tensile strength and thermal conductivity in BeO monolayer: A first-principles study

abstract: In a latest experimental advance, graphene-like and insulating BeO monolayer was successfully grown over silver surface by molecular beam epitaxy (ACS Nano 15(2021), 2497). Inspired by this accomplishment, in this work we conduct first-principles based simulations to explore the electronic, mechanical properties and thermal conductivity of graphene-like BeO, MgO and CaO monolayers. The considered nanosheets are found to show desirable thermal and dynamical stability. BeO monolayer is found to show remarkably high elastic modulus and tensile strength of 408 and 53.3 GPa, respectively. The electronic band gap of BeO, MgO and CaO monolayers are predicted to be 6.72, 4.79, and 3.80 eV, respectively, using the HSE06 functional. On the basis of iterative solutions of the Boltzmann transport equation, the room temperature lattice thermal conductivity of BeO, MgO and CaO monolayers are predicted to be 385, 64 and 15 W/mK, respectively. Our results reveal substantial decline in the electronic band gap, mechanical strength and thermal conductivity by increasing the weight of metal atoms. This work highlights outstandingly high thermal conductivity, carrier mobility and mechanical strength of insulating BeO nanosheets and suggest them as promising candidates to design strong and insulating components with high thermal conductivities.


title: Dynamic Portfolio Cuts: A Spectral Approach to Graph-Theoretic Diversification

abstract: Stock market returns are typically analyzed using standard regression, yet they reside on irregular domains which is a natural scenario for graph signal processing. To this end, we consider a market graph as an intuitive way to represent the relationships between financial assets. Traditional methods for estimating asset-return covariance operate under the assumption of statistical time-invariance, and are thus unable to appropriately infer the underlying true structure of the market graph. This work introduces a class of graph spectral estimators which cater for the nonstationarity inherent to asset price movements, and serve as a basis to represent the time-varying interactions between assets through a dynamic spectral market graph. Such an account of the time-varying nature of the asset-return covariance allows us to introduce the notion of dynamic spectral portfolio cuts, whereby the graph is partitioned into time-evolving clusters, allowing for online and robust asset allocation. The advantages of the proposed framework over traditional methods are demonstrated through numerical case studies using real-world price data.


title: Multi-Target Domain Adaptation with Collaborative Consistency Learning

abstract: Recently unsupervised domain adaptation for the semantic segmentation task has become more and more popular due to high-cost of pixel-level annotation on real-world images. However, most domain adaptation methods are only restricted to single-source-single-target pair, and can not be directly extended to multiple target domains. In this work, we propose a collaborative learning framework to achieve unsupervised multi-target domain adaptation. An unsupervised domain adaptation expert model is first trained for each source-target pair and is further encouraged to collaborate with each other through a bridge built between different target domains. These expert models are further improved by adding the regularization of making the consistent pixel-wise prediction for each sample with the same structured context. To obtain a single model that works across multiple target domains, we propose to simultaneously learn a student model which is trained to not only imitate the output of each expert on the corresponding target domain, but also to pull different expert close to each other with regularization on their weights. Extensive experiments demonstrate that the proposed method can effectively exploit rich structured information contained in both labeled source domain and multiple unlabeled target domains. Not only does it perform well across multiple target domains but also performs favorably against state-of-the-art unsupervised domain adaptation methods specially trained on a single source-target pair


title: Data Augmentation Methods for End-to-end Speech Recognition on Distant-Talk Scenarios

abstract: Although end-to-end automatic speech recognition (E2E ASR) has achieved great performance in tasks that have numerous paired data, it is still challenging to make E2E ASR robust against noisy and low-resource conditions. In this study, we investigated data augmentation methods for E2E ASR in distant-talk scenarios. E2E ASR models are trained on the series of CHiME challenge datasets, which are suitable tasks for studying robustness against noisy and spontaneous speech. We propose to use three augmentation methods and thier combinations: 1) data augmentation using text-to-speech (TTS) data, 2) cycle-consistent generative adversarial network (Cycle-GAN) augmentation trained to map two different audio characteristics, the one of clean speech and of noisy recordings, to match the testing condition, and 3) pseudo-label augmentation provided by the pretrained ASR module for smoothing label distributions. Experimental results using the CHiME-6/CHiME-4 datasets show that each augmentation method individually improves the accuracy on top of the conventional SpecAugment; further improvements are obtained by combining these approaches. We achieved 4.3\% word error rate (WER) reduction, which was more significant than that of the SpecAugment, when we combine all three augmentations for the CHiME-6 task.


title: Exact solution of single impurity problem in non-reciprocal lattices: impurity induced size-dependent non-Hermitian skin effect

abstract: Non-Hermitian non-reciprocal systems are known to be extremely sensitive to boundary conditions, exhibiting diverse localizing behaviors and spectrum structures when translational invariance is locally broken, either by tuning the boundary coupling strength, or by introducing an effective boundary using impurities or defects. In this work, we consider the single impurity problem in the Hatano-Nelson model and the Su-Schreieffer-Heeger model, which can be exactly solved with the single impurity being treated as an effective boundary of the system. From our exact solutions for finite-size systems, we unveil that increasing the impurity strength can lead to a transition of the bulk states from non-skin states to skin states, accompanied by the change of the spectrum structure from an ellipse in the complex plane to a segment along the real axis. These exact results indicate that the critical value of impurity strength is size-dependent, and increases exponentially with the lattice size when the impurity is strong or the system is large enough. OUr exact solutions are also useful for determining the point-gap topological transition in the concerned models.


title: $q$-Selberg Integrals and Koornwinder Polynomials

abstract: We prove a generalization of the $q$-Selberg integral evaluation formula. The integrand is that of $q$-Selberg integral multiplied by a factor of the same form with respect to part of the variables. The proof relies on the quadratic norm formula of Koornwinder polynomials. We also derive generalizations of Mehta's integral formula as limit cases of our integral.


title: Source-Free Open Compound Domain Adaptation in Semantic Segmentation

abstract: In this work, we introduce a new concept, named source-free open compound domain adaptation (SF-OCDA), and study it in semantic segmentation. SF-OCDA is more challenging than the traditional domain adaptation but it is more practical. It jointly considers (1) the issues of data privacy and data storage and (2) the scenario of multiple target domains and unseen open domains. In SF-OCDA, only the source pre-trained model and the target data are available to learn the target model. The model is evaluated on the samples from the target and unseen open domains. To solve this problem, we present an effective framework by separating the training process into two stages: (1) pre-training a generalized source model and (2) adapting a target model with self-supervised learning. In our framework, we propose the Cross-Patch Style Swap (CPSS) to diversify samples with various patch styles in the feature-level, which can benefit the training of both stages. First, CPSS can significantly improve the generalization ability of the source model, providing more accurate pseudo-labels for the latter stage. Second, CPSS can reduce the influence of noisy pseudo-labels and also avoid the model overfitting to the target domain during self-supervised learning, consistently boosting the performance on the target and open domains. Experiments demonstrate that our method produces state-of-the-art results on the C-Driving dataset. Furthermore, our model also achieves the leading performance on CityScapes for domain generalization.


title: The Faber-Krahn inequality for the Short-time Fourier transform

abstract: In this paper we solve an open problem concerning the characterization of those measurable sets $\Omega\subset \mathbb{R}^{2d}$ that, among all sets having a prescribed Lebesgue measure, can trap the largest possible energy fraction in time-frequency space, where the energy density of a generic function $f\in L^2(\mathbb{R}^d)$ is defined in terms of its Short-time Fourier transform (STFT) $\mathcal{V} f(x,\omega)$, with Gaussian window. More precisely, given a measurable set $\Omega\subset\mathbb{R}^{2d}$ having measure $s> 0$, we prove that the quantity \[ \Phi_\Omega=\max\Big\{\int_\Omega|\mathcal{V} f(x,\omega)|^2\,dxd\omega: f\in L^2(\mathbb{R}^d),\ \|f\|_{L^2}=1\Big\}, \] is largest possible if and only if $\Omega$ is equivalent, up to a negligible set, to a ball of measure $s$, and in this case we characterize all functions $f$ that achieve equality. This result leads to a sharp uncertainty principle for the "essential support" of the STFT (when $d=1$, this can be summarized by the optimal bound $\Phi_\Omega\leq 1-e^{-|\Omega|}$, with equality if and only if $\Omega$ is a ball). Our approach, using techniques from measure theory after suitably rephrasing the problem in the Fock space, also leads to a local version of Lieb's uncertainty inequality for the STFT in $L^p$ when $p\in [2,\infty)$, as well as to $L^p$-concentration estimates when $p\in [1,\infty)$, thus proving a related conjecture. In all cases we identify the corresponding extremals.


title: Axion-Like Particle Searches with IACTs

abstract: The growing interest in axion-like particles (ALPs) stems from the fact that they provide successful theoretical explanations of physics phenomena, from the anomaly of the CP-symmetry conservation in strong interactions to the observation of an unexpectedly large TeV photon flux from astrophysical sources, at distances where the strong absorption by the intergalactic medium should make the signal very dim. In this latter condition, which is the focus of this review, a possible explanation is that TeV photons convert to ALPs in the presence of strong and/or extended magnetic fields, such as those in the core of galaxy clusters or around compact objects, or even those in the intergalactic space. This mixing affects the observed ${\gamma}$-ray spectrum of distant sources, either by signal recovery or the production of irregularities in the spectrum, called "wiggles", according to the specific microscopic realization of the ALP and the ambient magnetic field at the source, and in the Milky Way, where ALPs may be converted back to ${\gamma}$ rays. ALPs are also proposed as candidate particles for the Dark Matter. Imaging Atmospheric Cherenkov telescopes (IACTs) have the potential to detect the imprint of ALPs in the TeV spectrum from several classes of sources. In this contribution, we present the ALP case and review the past decade of searches for ALPs with this class of instruments.