title: Shadow of quantum extended Kruskal black hole and its super-radiance property

abstract: We perform the shadow calculation of the loop quantum gravity motivated regular black hole recently proposed by Ashtekar, Olmedo and Singh (will be termed AOS black hole hereafter). In the process, we also construct the rotating loop quantum gravity inspired solution of the originally proposed static spherically symmetric AOS black hole by applying the modified Newman-Janis algorithm. We study the quantum effects on the shadows of both the non-rotating and rotating loop quantum black hole solutions. It is observed that the general shape of the shadow for non-rotating AOS black hole is circular in shape as is expected for its classical counter part too, but the presence of loop quantum gravity inspired modification contracts the shadow radius and the effect reduces with the increase in the mass of the black hole. On a similar note, in the rotating situation, we find contraction in shadow radius due to quantum effects and the tapered nature of the shadow as expected from the classical Kerr case. However, instead of the symmetrical contraction, like non-rotating one, we found more contraction on one side relative to the other when we compare our result with the shadow of the Kerr black hole. We finally studied super-radiance in rotating AOS background and observed that the super-radiance condition for massless scalar field is identical to that of the Kerr case with the rotation of the BH being more compared to Kerr in the low mass regime. With an increase in mass of the rotating AOS black hole, the difference from Kerr starts to become insignificant.


title: DTNN: Energy-efficient Inference with Dendrite Tree Inspired Neural Networks for Edge Vision Applications

abstract: Deep neural networks (DNN) have achieved remarkable success in computer vision (CV). However, training and inference of DNN models are both memory and computation intensive, incurring significant overhead in terms of energy consumption and silicon area. In particular, inference is much more cost-sensitive than training because training can be done offline with powerful platforms, while inference may have to be done on battery powered devices with constrained form factors, especially for mobile or edge vision applications. In order to accelerate DNN inference, model quantization was proposed. However previous works only focus on the quantization rate without considering the efficiency of operations. In this paper, we propose Dendrite-Tree based Neural Network (DTNN) for energy-efficient inference with table lookup operations enabled by activation quantization. In DTNN both costly weight access and arithmetic computations are eliminated for inference. We conducted experiments on various kinds of DNN models such as LeNet-5, MobileNet, VGG, and ResNet with different datasets, including MNIST, Cifar10/Cifar100, SVHN, and ImageNet. DTNN achieved significant energy saving (19.4X and 64.9X improvement on ResNet-18 and VGG-11 with ImageNet, respectively) with negligible loss of accuracy. To further validate the effectiveness of DTNN and compare with state-of-the-art low energy implementation for edge vision, we design and implement DTNN based MLP image classifiers using off-the-shelf FPGAs. The results show that DTNN on the FPGA, with higher accuracy, could achieve orders of magnitude better energy consumption and latency compared with the state-of-the-art low energy approaches reported that use ASIC chips.


title: Magnetic susceptibility of crystals with crossing of their band-contact lines

abstract: We theoretically study the orbital magnetic susceptibility produced by electron states near a crossing point of two band-contact lines in a crystal. It is shown that this susceptibility can have an unusual dependence on the Fermi level and can change noticeably with the temperature when the Fermi level is in the vicinity of the crossing point. These features of the magnetic susceptibility can be useful in detecting the crossing points in crystal. The obtained results explain the well-known temperature dependence of the magnetic susceptibility of V$_3$Si.


title: Magnetization signature of topological surface states in a non-symmorphic superconductor

abstract: Superconductors with nontrivial band structure topology represent a class of materials with unconventional and potentially useful properties. Recent years have seen much success in creating artificial hybrid structures exhibiting main characteristics of two-dimensional (2D) topological superconductors. Yet, bulk materials known to combine inherent superconductivity with nontrivial topology remain scarce, largely because distinguishing their central characteristic -- topological surface states -- proved challenging due to a dominant contribution from the superconducting bulk. Reported here is a highly anomalous behaviour of surface superconductivity in topologically nontrivial 3D superconductor In2Bi where the surface states result from its nontrivial band structure, which itself is a consequence of the non-symmorphic crystal symmetry and strong spin-orbit coupling. In contrast to smoothly decreasing diamagnetic susceptibility above the bulk critical field Hc2, associated with surface superconductivity in conventional superconductors, we observe near-perfect, Meissner-like screening of low-frequency magnetic fields well above Hc2. The enhanced diamagnetism disappears at a new phase transition close to the critical field of surface superconductivity Hc3. Using theoretical modelling, we show that the anomalous screening is consistent with modification of surface superconductivity due to the presence of topological surface states. The demonstrated possibility to detect signatures of the surface states using macroscopic magnetization measurements provides an important new tool for discovery and identification of topological superconductors.


title: Simulation, Model Checking, and Execution of Activity Models

abstract: This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes. Each is needed to tackle system complexity and further research into behavioral modeling. We argue different models implicate different understandings and expectations. We emphasize some distinctions with demonstrations using the Discrete Event System Specification with an exemplary model. In particular, the continuous-time base in models helps observe some inherent limitations and strengths in acquiring each capability. The temporal characterization of input, output, and state, or the lack thereof, is at the core of developing behavioral specifications. We use DEVS to arrive at the capability of validating simulations for activity models. We use Constrained-DEVS for the verification of activity models. We show how some executions can be derived, whether from the specification itself or with considerations for simulation and model checking.


title: GCNBoost: Artwork Classification by Label Propagation through a Knowledge Graph

abstract: The rise of digitization of cultural documents offers large-scale contents, opening the road for development of AI systems in order to preserve, search, and deliver cultural heritage. To organize such cultural content also means to classify them, a task that is very familiar to modern computer science. Contextual information is often the key to structure such real world data, and we propose to use it in form of a knowledge graph. Such a knowledge graph, combined with content analysis, enhances the notion of proximity between artworks so it improves the performances in classification tasks. In this paper, we propose a novel use of a knowledge graph, that is constructed on annotated data and pseudo-labeled data. With label propagation, we boost artwork classification by training a model using a graph convolutional network, relying on the relationships between entities of the knowledge graph. Following a transductive learning framework, our experiments show that relying on a knowledge graph modeling the relations between labeled data and unlabeled data allows to achieve state-of-the-art results on multiple classification tasks on a dataset of paintings, and on a dataset of Buddha statues. Additionally, we show state-of-the-art results for the difficult case of dealing with unbalanced data, with the limitation of disregarding classes with extremely low degrees in the knowledge graph.


title: Quantum Embedding Search for Quantum Machine Learning

abstract: This paper introduces a novel quantum embedding search algorithm (QES, pronounced as "quest"), enabling search for optimal quantum embedding design for a specific dataset of interest. First, we establish the connection between the structures of quantum embedding and the representations of directed multi-graphs, enabling a well-defined search space. Second, we instigate the entanglement level to reduce the cardinality of the search space to a feasible size for practical implementations. Finally, we mitigate the cost of evaluating the true loss function by using surrogate models via sequential model-based optimization. We demonstrate the feasibility of our proposed approach on synthesis and Iris datasets, which empirically shows that found quantum embedding architecture by QES outperforms manual designs whereas achieving comparable performance to classical machine learning models.


title: Competing exchange and irreversible reactions in a linear co-polycondensation lead to a broad composition window where tunable high molecular weight polymers can be prepared

abstract: A co-polycondensation reaction is discussed analytically and by Monte-Carlo simulations where two reactive units compete for reactions with an alternating third reactive unit, whereby irreversible reactions replace bonds which are able to undergo exchange reactions. The resulting number average molar mass, $M_{\text{n}}$, exhibits only one distinct peak at the stoichiometric condition of both competitors with the alternating partner. The weight average molar mass, $M_{\text{w}}$, reaches an additional second peak at the stoichiometric condition between the dominating competitor and the alternating partner. Both peaks of $M_{\text{w}}$ surround a range of compositions where a rather high and approximately constant $M_{\text{w}}$ is obtained. The degree of polymerization of the dominating and alternating reaction partners is rather insensitive towards composition fluctuations if the reaction mixture remains within this composition window. This promotes high molecular weight species and more homogeneous weight distributions at incomplete mixing conditions. An ideal reference case (identical reaction rates for all reactions) is solved analytically to describe these reactions. The position of the stable composition window and the average molar masses inside this window can be tuned by choosing appropriate precursor molecules, reaction mixtures or post-tuning steps at later times.


title: Spectral Observations of Superthin Galaxies

abstract: We conduct spectral observations of 138 superthin galaxies (STGs) with high radial-to-vertical stellar disk scales ratio with the Dual Imaging Spectrograph (DIS) on the 3.5m telescope at the Apache Point Observatory (APO) to obtain the ionized gas rotation curves with R ~ 5000 resolution. We also performed near infrared (NIR) H and Ks photometry for 18 galaxies with the NICFPS camera on the 3.5m telescope. The spectra, the NIR photometry and published optical and NIR photometry are used for modeling that utilizes the thickness of the stellar disk and rotation curves simultaneously. The projection and dust extinction effects are taken into account. We evaluate eight models that differ by their free parameters and constraints. As a result, we estimated masses and scale lengths of the galactic dark halos. We find systematic differences between the properties of our red and blue STGs. The blue STGs have a large fraction of dynamically under-evolved galaxies whose vertical velocity dispersion is low in both gas and stellar disks. The dark halo-to-disk scale ratio is shorter in the red STGs than in the blue ones, but in a majority of all STGs this ratio is under 2. The optical color $(r-i)$ of the superthin galaxies correlates with their rotation curve maximum, vertical velocity dispersion in stellar disks, and mass of the dark halo. We conclude that there is a threshold central surface density of 50 $M_{\odot}$\,pc$^{-2}$ below which we do not observe very thin, rotationally supported galactic disks.


title: Spectrum Correction: Acoustic Scene Classification with Mismatched Recording Devices

abstract: Machine learning algorithms, when trained on audio recordings from a limited set of devices, may not generalize well to samples recorded using other devices with different frequency responses. In this work, a relatively straightforward method is introduced to address this problem. Two variants of the approach are presented. First requires aligned examples from multiple devices, the second approach alleviates this requirement. This method works for both time and frequency domain representations of audio recordings. Further, a relation to standardization and Cepstral Mean Subtraction is analysed. The proposed approach becomes effective even when very few examples are provided. This method was developed during the Detection and Classification of Acoustic Scenes and Events (DCASE) 2019 challenge and won the 1st place in the scenario with mis-matched recording devices with the accuracy of 75%. Source code for the experiments can be found online.


title: Estimates of maize plant density from UAV RGB images using Faster-RCNN detection model: impact of the spatial resolution

abstract: Early-stage plant density is an essential trait that determines the fate of a genotype under given environmental conditions and management practices. The use of RGB images taken from UAVs may replace traditional visual counting in fields with improved throughput, accuracy and access to plant localization. However, high-resolution (HR) images are required to detect small plants present at early stages. This study explores the impact of image ground sampling distance (GSD) on the performances of maize plant detection at 3-5 leaves stage using Faster-RCNN. Data collected at HR (GSD=0.3cm) over 6 contrasted sites were used for model training. Two additional sites with images acquired both at high and low (GSD=0.6cm) resolution were used for model evaluation. Results show that Faster-RCNN achieved very good plant detection and counting (rRMSE=0.08) performances when native HR images are used both for training and validation. Similarly, good performances were observed (rRMSE=0.11) when the model is trained over synthetic low-resolution (LR) images obtained by down-sampling the native training HR images, and applied to the synthetic LR validation images. Conversely, poor performances are obtained when the model is trained on a given spatial resolution and applied to another spatial resolution. Training on a mix of HR and LR images allows to get very good performances on the native HR (rRMSE=0.06) and synthetic LR (rRMSE=0.10) images. However, very low performances are still observed over the native LR images (rRMSE=0.48), mainly due to the poor quality of the native LR images. Finally, an advanced super-resolution method based on GAN (generative adversarial network) that introduces additional textural information derived from the native HR images was applied to the native LR validation images. Results show some significant improvement (rRMSE=0.22) compared to bicubic up-sampling approach.


title: Soft photon radiation and entanglement

abstract: We study the entanglement between soft and hard particles produced in generic scattering processes in QED. The reduced density matrix for the hard particles, obtained via tracing over the entire spectrum of soft photons, is shown to have a large eigenvalue, which governs the behavior of the Renyi entropies and of the non-analytic part of the entanglement entropy at low orders in perturbation theory. The leading perturbative entanglement entropy is logarithmically IR divergent. The coefficient of the IR divergence exhibits certain universality properties, irrespectively of the dressing of the asymptotic charged particles and the detailed properties of the initial state. In a certain kinematical limit, the coefficient is proportional to the cusp anomalous dimension in QED. For Fock basis computations associated with two-electron scattering, we derive an exact expression for the large eigenvalue of the density matrix in terms of hard scattering amplitudes, which is valid at any finite order in perturbation theory. As a result, the IR logarithmic divergences appearing in the expressions for the Renyi and entanglement entropies persist at any finite order of the perturbative expansion. To all orders, however, the IR logarithmic divergences exponentiate, rendering the large eigenvalue of the density matrix IR finite. The all-orders Renyi entropies (per unit time, per particle flux), which are shown to be proportional to the total inclusive cross-section in the initial state, are also free of IR divergences. The entanglement entropy, on the other hand, retains non-analytic, logarithmic behavior with respect to the size of the box (which provides the IR cutoff) even to all orders in perturbation theory.


title: A two-year intercomparison of CW focusing wind lidar and tall mast wind measurements at Cabauw

abstract: A two-year measurement campaign of the ZephIR 300 vertical profiling continuous-wave (CW) focusing wind lidar has been carried out by the Royal Netherlands Meteorological Institute (KNMI) at the Cabauw site. We focus on the (height-dependent) data availability of the wind lidar under various meteorological conditions and the data quality through a comparison with in situ wind measurements at several levels in the 213-m tall meteorological mast. We find an overall availability of quality controlled wind lidar data of 97 % to 98 %, where the missing part is mainly due to precipitation events exceeding 1 mm/h or fog or low clouds below 100 m. The mean bias in the horizontal wind speed is within 0.1 m/s with a high correlation between the mast and wind lidar measurements, although under some specific conditions (very high wind speed, fog or low clouds) larger deviations are observed. The mean bias in the wind direction is within 2 degrees, which is on the same order as the combined uncertainty in the alignment of the wind lidars and the mast wind vanes. The well-known 180 degree error in the wind direction output for this type of instrument occurs about 9 % of the time. A correction scheme based on data of an auxiliary wind vane at a height of 10 m is applied, leading to a reduction of the 180 degree error below 2 %. This scheme can be applied in real-time applications in case a nearby, freely exposed, mast with wind direction measurements at a single height is available.


title: The Gau-Wu Number for $4\times 4$ and Select Arrowhead Matrices

abstract: The notion of dichotomous matrices is introduced as a natural generalization of essentially Hermitian matrices. A criterion for arrowhead matrices to be dichotomous is established, along with necessary and sufficient conditions for such matrices to be unitarily irreducible. The Gau--Wu number (i.e., the maximal number $k(A)$ of orthonormal vectors $x_j$ such that the scalar products $\langle Ax_j,x_j\rangle$ lie on the boundary of the numerical range of $A$) is computed for a class of arrowhead matrices $A$ of arbitrary size, including dichotomous ones. These results are then used to completely classify all $4\times4$ matrices according to the values of their Gau--Wu numbers.


title: On the Saxl graphs of primitive groups with soluble stabilisers

abstract: Let $G$ be a transitive permutation group on a finite set $\Omega$ and recall that a base for $G$ is a subset of $\Omega$ with trivial pointwise stabiliser. The base size of $G$, denoted $b(G)$, is the minimal size of a base. If $b(G)=2$ then we can study the Saxl graph $\Sigma(G)$ of $G$, which has vertex set $\Omega$ and two vertices are adjacent if they form a base. This is a vertex-transitive graph, which is conjectured to be connected with diameter at most $2$ when $G$ is primitive. In this paper, we combine probabilistic and computational methods to prove a strong form of this conjecture for all almost simple primitive groups with soluble point stabilisers. In this setting, we also establish best possible lower bounds on the clique and independence numbers of $\Sigma(G)$ and we determine the groups with a unique regular suborbit, which can be interpreted in terms of the valency of $\Sigma(G)$.


title: A Prototype of Reconfigurable Intelligent Surface with Continuous Control of the Reflection Phase

abstract: With the development of the next generation of mobile networks, new research challenges have emerged, and new technologies have been proposed to face them. On the one hand, the reconfigurable intelligent surface (RIS) technology is being investigated for partially controlling the wireless channels. The RIS is a promising technology for improving the signal quality by controlling the scattering of the electromagnetic waves in a nearly passive manner. On the other hand, ambient backscatter communications (AmBC) is another promising technology that is tailored for addressing the energy efficiency requirements for the Internet of Things (IoT). This technique enables low-power communications by backscattering ambient signals and, thus, reusing existing electromagnetic waves for communications. RIS technology can be utilized in the context of AmBC for improving the system performance. In this paper, we report a prototype of an RIS that offers the capability of controlling the phase shift of the reflected waves in a continuous manner, and we characterize its characteristics by using full-wave simulations and through experimental measurements. Specifically, we introduce a phase shift model for predicting the signal reflected by the RIS prototype. We apply the proposed model for optimizing an RISassisted AmBC system and we demonstrate that the use of an RIS can significantly improve the system performance.


title: CoRSAI: A System for Robust Interpretation of CT Scans of COVID-19 Patients Using Deep Learning

abstract: Analysis of chest CT scans can be used in detecting parts of lungs that are affected by infectious diseases such as COVID-19.Determining the volume of lungs affected by lesions is essential for formulating treatment recommendations and prioritizingpatients by severity of the disease. In this paper we adopted an approach based on using an ensemble of deep convolutionalneural networks for segmentation of slices of lung CT scans. Using our models we are able to segment the lesions, evaluatepatients dynamics, estimate relative volume of lungs affected by lesions and evaluate the lung damage stage. Our modelswere trained on data from different medical centers. We compared predictions of our models with those of six experiencedradiologists and our segmentation model outperformed most of them. On the task of classification of disease severity, ourmodel outperformed all the radiologists.


title: Predicting Human Card Selection in Magic: The Gathering with Contextual Preference Ranking

abstract: Drafting, i.e., the selection of a subset of items from a larger candidate set, is a key element of many games and related problems. It encompasses team formation in sports or e-sports, as well as deck selection in many modern card games. The key difficulty of drafting is that it is typically not sufficient to simply evaluate each item in a vacuum and to select the best items. The evaluation of an item depends on the context of the set of items that were already selected earlier, as the value of a set is not just the sum of the values of its members - it must include a notion of how well items go together. In this paper, we study drafting in the context of the card game Magic: The Gathering. We propose the use of a contextual preference network, which learns to compare two possible extensions of a given deck of cards. We demonstrate that the resulting network is better able to evaluate card decks in this game than previous attempts.


title: A Simulation Framework for Contention-Free Scheduling on WiGig

abstract: The latest IEEE 802.11 amendments provide support to directional communications in the Millimeter Wave spectrum and, thanks to the wide bandwidth available at such frequencies, makes it possible to wirelessly approach several emergent use cases, such as virtual and augmented reality, telepresence, and remote control of industrial facilities. However, these applications require stringent Quality of Service, that only contention-free scheduling algorithms can guarantee. In this paper, we propose an end-to-end framework for the joint admission control and scheduling of periodic traffic streams over mmWave Wireless Local Area Networks based on Network Simulator 3, a popular full-stack open-source network simulator. Moreover, we design a baseline algorithm to handle scheduling requests, and we evaluate its performance with a full-stack perspective. The algorithm is tested in three scenarios, where we investigated different configurations and features to highlight the differences and trade-offs between contention-based and contention-free access strategies.


title: GraphFM: Graph Factorization Machines for Feature Interaction Modeling

abstract: Factorization machine (FM) is a prevalent approach to modeling pairwise (second-order) feature interactions when dealing with high-dimensional sparse data. However, on the one hand, FM fails to capture higher-order feature interactions suffering from combinatorial expansion. On the other hand, taking into account interactions between every pair of features may introduce noise and degrade prediction accuracy. To solve the problems, we propose a novel approach, Graph Factorization Machine (GraphFM), by naturally representing features in the graph structure. In particular, we design a mechanism to select the beneficial feature interactions and formulate them as edges between features. Then the proposed model, which integrates the interaction function of FM into the feature aggregation strategy of Graph Neural Network (GNN), can model arbitrary-order feature interactions on the graph-structured features by stacking layers. Experimental results on several real-world datasets have demonstrated the rationality and effectiveness of our proposed approach. The code and data are available at \href{https://github.com/CRIPAC-DIG/GraphCTR}{https://github.com/CRIPAC-DIG/GraphCTR}.


title: Algorithms to generate saturated random sequential adsorption packings built of rounded polygons

abstract: We present the algorithm for generating strictly saturated random sequential adsorption packings built of rounded polygons. It can be used to study various properties of such packings built of a wide variety of different shapes and in modelling monolayers obtained during the irreversible adsorption processes of complex molecules. Here, we apply the algorithm to study the densities of packings built of rounded regular polygons. Contrary to packings built of regular polygons, where packing fraction grows with an increasing number of polygon sides, the packing fraction reaches its maximum for packings built of rounded regular triangles. With a growing number of polygon sides and increasing rounding radius, the packing fractions tend to the limit given by a packing built of disks. However, they are still slightly denser, even for the rounded 25-gon, which is the highest-sided regular polygon studied here.


title: Detection and blind channel estimation for UAV-aided wireless sensor networks in smart cities under mobile jamming attack

abstract: Unmanned aerial vehicles (UAVs) can be integrated into wireless sensor networks (WSNs) for smart city applications in several ways. Among them, a UAV can be employed as a relay in a "store-carry and forward" fashion by uploading data from ground sensors and metering devices and, then, downloading it to a central unit. However, both the uploading and downloading phases can be prone to potential threats and attacks. As a legacy from traditional wireless networks, the jamming attack is still one of the major and serious threats to UAV-aided communications, especially when also the jammer is mobile, e.g., it is mounted on a UAV or inside a terrestrial vehicle. In this paper, we investigate anti-jamming communications for UAV-aided WSNs operating over doubly-selective channels in the downloading phase. In such a scenario, the signals transmitted by the UAV and the malicious mobile jammer undergo both time dispersion due to multipath propagation effects and frequency dispersion caused by their mobility. To suppress high-power jamming signals, we propose a blind physical-layer technique that jointly detects the UAV and jammer symbols through serial disturbance cancellation based on symbol-level post-sorting of the detector output. Amplitudes, phases, time delays, and Doppler shifts - required to implement the proposed detection strategy - are blindly estimated from data through the use of algorithms that exploit the almost-cyclostationarity properties of the received signal and the detailed structure of multicarrier modulation format. Simulation results corroborate the anti-jamming capabilities of the proposed method, for different mobility scenarios of the jammer.


title: Conjugate and cut points in ideal fluid motion

abstract: Two fluid configurations along a flow are conjugate if there is a one parameter family of geodesics (fluid flows) joining them to infinitesimal order. Geometrically, they can be seen as a consequence of the (infinite dimensional) group of volume preserving diffeomorphisms having sufficiently strong positive curvatures which `pull' nearby flows together. Physically, they indicate a form of (transient) stability in the configuration space of particle positions: a family of flows starting with the same configuration deviate initially and subsequently re-converge (resonate) with each other at some later moment in time. Here, we first establish existence of conjugate points in an infinite family of Kolmogorov flows - a class of stationary solutions of the Euler equations - on the rectangular flat torus of any aspect ratio. The analysis is facilitated by a general criterion for identifying conjugate points in the group of volume preserving diffeomorphisms. Next, we show non-existence of conjugate points along Arnold stable steady states on the annulus, disk and channel. Finally, we discuss cut points, their relation to non-injectivity of the exponential map (impossibility of determining a flow from a particle configuration at a given instant) and show that the closest cut point to the identity is either a conjugate point or the midpoint of a time periodic Lagrangian fluid flow.

categories: math.AP math-ph math.DG math.MP physics.flu-dyn


title: The search for the universality class of metric quantum gravity

abstract: On the basis of a limited number of reasonable axioms, we discuss the classification of all the possible universality classes of diffeomorphisms invariant metric theories of quantum gravity. We use the language of the renormalization group and adopt several ideas which originate in the context of statistical mechanics and quantum field theory. Our discussion leads to several ideas that could affect the status of the asymptotic safety conjecture of quantum gravity and give universal arguments towards its proof.


title: TransNAS-Bench-101: Improving Transferability and Generalizability of Cross-Task Neural Architecture Search

abstract: Recent breakthroughs of Neural Architecture Search (NAS) extend the field's research scope towards a broader range of vision tasks and more diversified search spaces. While existing NAS methods mostly design architectures on a single task, algorithms that look beyond single-task search are surging to pursue a more efficient and universal solution across various tasks. Many of them leverage transfer learning and seek to preserve, reuse, and refine network design knowledge to achieve higher efficiency in future tasks. However, the enormous computational cost and experiment complexity of cross-task NAS are imposing barriers for valuable research in this direction. Existing NAS benchmarks all focus on one type of vision task, i.e., classification. In this work, we propose TransNAS-Bench-101, a benchmark dataset containing network performance across seven tasks, covering classification, regression, pixel-level prediction, and self-supervised tasks. This diversity provides opportunities to transfer NAS methods among tasks and allows for more complex transfer schemes to evolve. We explore two fundamentally different types of search space: cell-level search space and macro-level search space. With 7,352 backbones evaluated on seven tasks, 51,464 trained models with detailed training information are provided. With TransNAS-Bench-101, we hope to encourage the advent of exceptional NAS algorithms that raise cross-task search efficiency and generalizability to the next level. Our dataset file will be available at Mindspore, VEGA.


title: Empirical Error Modeling Improves Robustness of Noisy Neural Sequence Labeling

abstract: Despite recent advances, standard sequence labeling systems often fail when processing noisy user-generated text or consuming the output of an Optical Character Recognition (OCR) process. In this paper, we improve the noise-aware training method by proposing an empirical error generation approach that employs a sequence-to-sequence model trained to perform translation from error-free to erroneous text. Using an OCR engine, we generated a large parallel text corpus for training and produced several real-world noisy sequence labeling benchmarks for evaluation. Moreover, to overcome the data sparsity problem that exacerbates in the case of imperfect textual input, we learned noisy language model-based embeddings. Our approach outperformed the baseline noise generation and error correction techniques on the erroneous sequence labeling data sets. To facilitate future research on robustness, we make our code, embeddings, and data conversion scripts publicly available.


title: On the estimation of locally stationary functional time series

abstract: This study develops an asymptotic theory for estimating the time-varying characteristics of locally stationary functional time series (LSFTS). We investigate a kernel-based method to estimate the time-varying covariance operator and the time-varying mean function of an LSFTS. In particular, we derive the convergence rate of the kernel estimator of the covariance operator and associated eigenvalue and eigenfunctions and establish a central limit theorem for the kernel-based locally weighted sample mean. As applications of our results, we discuss methods for testing the equality of time-varying mean functions in two functional samples.


title: Few-Shot Learning with Part Discovery and Augmentation from Unlabeled Images

abstract: Few-shot learning is a challenging task since only few instances are given for recognizing an unseen class. One way to alleviate this problem is to acquire a strong inductive bias via meta-learning on similar tasks. In this paper, we show that such inductive bias can be learned from a flat collection of unlabeled images, and instantiated as transferable representations among seen and unseen classes. Specifically, we propose a novel part-based self-supervised representation learning scheme to learn transferable representations by maximizing the similarity of an image to its discriminative part. To mitigate the overfitting in few-shot classification caused by data scarcity, we further propose a part augmentation strategy by retrieving extra images from a base dataset. We conduct systematic studies on miniImageNet and tieredImageNet benchmarks. Remarkably, our method yields impressive results, outperforming the previous best unsupervised methods by 7.74% and 9.24% under 5-way 1-shot and 5-way 5-shot settings, which are comparable with state-of-the-art supervised methods.


title: Robust solutions for stochastic and distributionally robust chance-constrained binary knapsack problems

abstract: We consider chance-constrained binary knapsack problems, where the weights of items are independent random variables with the means and standard deviations known. The chance constraint can be reformulated as a second-order cone constraint under some assumptions for the probability distribution of the weights. The problem becomes a second-order cone-constrained binary knapsack problem, which is equivalent to a robust binary knapsack problem with an ellipsoidal uncertainty set. We demonstrate that optimal solutions to robust binary knapsack problems with inner and outer polyhedral approximations of the ellipsoidal uncertainty set can provide both upper and lower bounds on the optimal value of the second-order cone-constrained binary knapsack problem, and they can be obtained by solving ordinary binary knapsack problems repeatedly. Moreover, we prove that the solution providing the upper bound converges to the optimal solution to the second-order cone-constrained binary knapsack problem as the approximation of the uncertainty set becomes more accurate. Based on this, a pseudo-polynomial time algorithm is obtained under the assumption that the coefficients of the problem are integer-valued. We also propose an exact algorithm, which iteratively improves the accuracy of the approximation until an exact optimal solution is obtained. The exact algorithm also runs in pseudo-polynomial time. Computational results are presented to show the quality of the upper and lower bounds and efficiency of the exact algorithm compared to CPLEX and a previous study.


title: Criterion-based Heterogeneous Collaborative Filtering for Multi-behavior Implicit Recommendation

abstract: Recent years have witnessed the explosive growth of interaction behaviors in multimedia information systems, where multi-behavior recommender systems have received increasing attention by leveraging data from various auxiliary behaviors such as tip and collect. Among various multi-behavior recommendation methods, non-sampling methods have shown superiority over negative sampling methods. However, two observations are usually ignored in existing state-of-the-art non-sampling methods based on binary regression: (1) users have different preference strengths for different items, so they cannot be measured simply by binary implicit data; (2) the dependency across multiple behaviors varies for different users and items. To tackle the above issue, we propose a novel non-sampling learning framework named Criterion-guided Heterogeneous Collaborative Filtering (CHCF). CHCF introduces both upper and lower thresholds to indicate selection criteria, which will guide user preference learning. Besides, CHCF integrates criterion learning and user preference learning into a unified framework, which can be trained jointly for the interaction prediction of the target behavior. We further theoretically demonstrate that the optimization of Collaborative Metric Learning can be approximately achieved by the CHCF learning framework in a non-sampling form effectively. Extensive experiments on three real-world datasets show the effectiveness of CHCF in heterogeneous scenarios.


title: Analogical discovery of disordered perovskite oxides by crystal structure information hidden in unsupervised material fingerprints

abstract: Compositional disorder induces myriad captivating phenomena in perovskites. Target-driven discovery of perovskite solid solutions has been a great challenge due to the analytical complexity introduced by disorder. Here, we demonstrate that an unsupervised deep learning strategy can find fingerprints of disordered materials that embed perovskite formability and underlying crystal structure information by learning only from the chemical composition, manifested in (A1-xA'x)BO3 and A(B1-xB'x)O3 formulae. This phenomenon can be capitalized to predict the crystal symmetry of experimental compositions, outperforming several supervised machine learning (ML) algorithms. The educated nature of material fingerprints has led to the conception of analogical materials discovery that facilitates inverse exploration of promising perovskites based on similarity investigation with known materials. The search space of unstudied perovskites is screened from ~600,000 feasible compounds using experimental data powered ML models and automated web mining tools at a 94% success rate. This concept further provides insights on possible phase transitions and computational modelling of complex compositions. The proposed quantitative analysis of materials analogies is expected to bridge the gap between the existing materials literature and the undiscovered terrain.


title: Pruned Collapsed Projection-Aggregation Decoding of Reed-Muller Codes

abstract: The paper proposes to decode Reed-Muller (RM) codes by projecting onto only a few subspaces such that the number of projections is significantly reduced. It reveals that the probability that error pairs are canceled simultaneously in two different projections is determined by their intersection size. Then, correlation coefficient which indicates the intersection size of two subspaces in a collection is introduced for collecting subspaces. Simulation results show that our proposed approach with a small number of projections onto collected subspaces performs close to the original approach.


title: Flexible Table Recognition and Semantic Interpretation System

abstract: Table extraction is an important but still unsolved problem. In this paper, we introduce a flexible and modular table extraction system. We develop two rule-based algorithms that perform the complete table recognition process, including table detection and segmentation, and support the most frequent table formats. Moreover, to incorporate the extraction of semantic information, we develop a graph-based table interpretation method. We conduct extensive experiments on the challenging table recognition benchmarks ICDAR 2013 and ICDAR 2019, achieving results competitive with state-of-the-art approaches. Our complete information extraction system exhibited a high F1 score of 0.7380. To support future research on information extraction from documents, we make the resources (ground-truth annotations, evaluation scripts, algorithm parameters) from our table interpretation experiment publicly available.


title: Searching for signals of inhomogeneity using multiple probes of the cosmic expansion rate H(z)

abstract: It is argued that cosmic chronometers yield estimates of the spatially averaged expansion rate even in a universe that is not well described by a global FLRW model - as long as the Universe is statistically homogeneous and isotropic with a sufficiently small homogeneity scale. On the other hand, measurements of the expansion rate based on observations of redshift drift will not in general yield estimates of the spatially averaged expansion rate - but it will in the case where the universe is described well by a single FLRW model on large scales. Therefore, a disagreement between measurements of the expansion rate based on cosmic chronometers versus redshift drift is an expected signal of non-negligible cosmic backreaction.


title: Loophole free interferometric test of macrorealism using heralded single photons

abstract: We show unambiguous violations of different macrorealist inequalities, like the LGI and the WLGI using a heralded, single-photon based experimental setup comprising one Mach-Zehnder interferometer followed by a displaced Sagnac one. The negative result measurements (NRM) are implemented in order to validate the presumption of non-invasive measurability used in defining macrorealism. Among all the experiments to date testing macrorealism, the present experiment stands out in comprehensively addressing the relevant loopholes. The clumsiness loophole is addressed through precision testing of any classical invasiveness involved in the implementation of NRMs. This is done by suitably choosing the experimental parameters so that the quantum mechanically (QM) predicted validity of all the relevant two-time no-signalling in time (NSIT) conditions is maintained in all the three pairwise experiments performed to show LGI/WLGI violation. Further, importantly, the detection efficiency loophole is addressed by adopting suitable modifications in the measurement strategy enabling the demonstration of the violation of LGI/WLGI for any non-zero detection efficiency. We also show how other relevant loopholes like the multiphoton emission loophole, coincidence loophole, and the preparation state loophole are all closed in the present experiment. We report the LGI violation of $1.32 \pm 0.04$ and the WLGI violation of $0.10 \pm 0.02$, where the magnitudes of violation are respectively 8 times and 5 times the corresponding error values, while agreeing perfectly with the ranges of the QM predicted values of the LGI, WLGI expressions that we estimate by taking into account the non-idealities of the actual experiment. Simultaneously, the experimentally observed probabilities satisfy all the two-time NSIT conditions up to the order of $10^{-2}$, which ensures non-invasiveness in the implemented NRMs.


title: Magnetic ordering phase transition and abnormal brittleness in dilute Fe-Mn solid solution

abstract: Experiments showed that solute Mn in bcc iron is in antiferromagnetic (AFM) coupling with iron neighbours below 2 at.% Mn, but is in ferromagnetic (FM) coupling at higher concentrations. Surprisingly, although Mn is an important alloying element in high-strength steels, it induces brittleness just at around 2 at.% Mn and higher concentrations. However, the mechanisms for the magnetic ordering phase transition and the abnormal brittleness remain unclear. Based on magnetism-constrained/unconstrained calculations and ab initio molecular dynamics simulations within density functional theory, we show that while the AFM phase prevails at low Mn contents, the FM phase becomes dominant at 1.85 at.% Mn and elevated temperatures. Our results suggest that the AFM-FM phase transition with increasing Mn concentration can be ascribed to the thermal effect. Furthermore, we find that the brittleness of the Fe-Mn alloys at intermediate Mn content might be related to the stress variations within the grains accompanying the local magnetic ordering changes.


title: Hartree-Fock study of the moir\'e Hubbard model for twisted bilayer transition metal dichalcogenides

abstract: Twisted bilayer transition metal dichalcogenides have emerged as important model systems for the investigation of correlated electron physics because their interaction strength, carrier concentration, band structure, and inversion symmetry breaking are controllable by device fabrication, twist angle, and most importantly, gate voltage, which can be varied in situ. The low energy physics of some of these materials has been shown to be described by a "moir\'e Hubbard model" generalized from the usual Hubbard model by the addition of strong, tunable spin orbit coupling and inversion symmetry breaking. In this work, we use a Hartree-Fock approximation to reach a comprehensive understanding of the moir\'e Hubbard model on the mean field level. We determine the magnetic and metal-insulator phase diagrams, and assess the effects of spin orbit coupling, inversion symmetry breaking, and the tunable van Hove singularity. We also consider the spin and orbital effects of applied magnetic fields. This work provides guidance for experiments and sets the stage for beyond mean-field calculations.


title: Factorisations of some partially ordered sets and small categories

abstract: Orbits of automorphism groups of partially ordered sets are not necessarily congruence classes, i.e. images of an order homomorphism. Based on so-called orbit categories a framework of factorisations and unfoldings is developed that preserves the antisymmetry of the order Relation. Finally some suggestions are given, how the orbit categories can be represented by simple directed and annotated graphs and annotated binary relations. These relations are reflexive, and, in many cases, they can be chosen to be antisymmetric. From these constructions arise different suggestions for fundamental systems of partially ordered sets and reconstruction data which are illustrated by examples from mathematical music theory.


title: On the Use of the Smith-McMillan Form in Decoupling System Dynamics

abstract: In this paper, the use of the Smith-McMillan form in decoupling multiple-input multiple-output system dynamics is analyzed. In short, from a transfer matrix plant model one can obtain a decoupling compensator which leads to a decoupled plant that contains the same transmission poles and zeros of the transfer matrix of the original system. As a result, full decoupling of the plant transfer matrix is obtained for all frequencies, which can be individually addressed by single-input single-output control. The aim of this paper is to present conditions for the decoupled system that guarantee internal stability and performance requirements for the overall control system. Performance specifications are defined in terms of magnitude limits for the maximum singular value of the closed-loop transfer matrices. The potential of the decoupling procedure is shown in a simulation study of a mechanical system.


title: Conformal Anomaly Detection on Spatio-Temporal Observations with Missing Data

abstract: We develop a distribution-free, unsupervised anomaly detection method called ECAD, which wraps around any regression algorithm and sequentially detects anomalies. Rooted in conformal prediction, ECAD does not require data exchangeability but approximately controls the Type-I error when data are normal. Computationally, it involves no data-splitting and efficiently trains ensemble predictors to increase statistical power. We demonstrate the superior performance of ECAD on detecting anomalous spatio-temporal traffic flow.


title: Every Salami has two ends

abstract: A salami is a connected, locally finite, weighted graph with non-negative Ollivier Ricci curvature and at least two ends of infinite volume. We show that every salami has exactly two ends and no vertices with positive curvature. We moreover show that every salami is recurrent and admits harmonic functions with constant gradient. The proofs are based on extremal Lipschitz extensions, a variational principle and the study of harmonic functions. Assuming a lower bound on the edge weight, we prove that salamis are quasi-isometric to the line, that the space of all harmonic functions has finite dimension, and that the space of subexponentially growing harmonic functions is two-dimensional. Moreover, we give a Cheng-Yau gradient estimate for harmonic functions on balls.


title: Bi-objective Search with Bi-directional A*

abstract: Bi-objective search is a well-known algorithmic problem, concerned with finding a set of optimal solutions in a two-dimensional domain. This problem has a wide variety of applications such as planning in transport systems or optimal control in energy systems. Recently, bi-objective A*-based search (BOA*) has shown state-of-the-art performance in large networks. This paper develops a bi-directional and parallel variant of BOA*, enriched with several speed-up heuristics. Our experimental results on 1,000 benchmark cases show that our bi-directional A* algorithm for bi-objective search (BOBA*) can optimally solve all of the benchmark cases within the time limit, outperforming the state of the art BOA*, bi-objective Dijkstra and bi-directional bi-objective Dijkstra by an average runtime improvement of a factor of five over all of the benchmark instances.


title: Parallel Quantum Algorithm for Hamiltonian Simulation

abstract: We study how parallelism can speed up quantum simulation. A parallel quantum algorithm is proposed for simulating the dynamics of a large class of Hamiltonians with good sparse structures, called uniform-structured Hamiltonians, including various Hamiltonians of practical interest like local Hamiltonians and Pauli sums. Given the oracle access to the target sparse Hamiltonian, in both query and gate complexity, the running time of our parallel quantum simulation algorithm measured by the quantum circuit depth has a doubly (poly-)logarithmic dependence $\operatorname{polylog}\log(1/\epsilon)$ on the simulation precision $\epsilon$. This presents an exponential improvement over the dependence $\operatorname{polylog}(1/\epsilon)$ of previous optimal sparse Hamiltonian simulation algorithm without parallelism. To obtain this result, we introduce a novel notion of parallel quantum walk, based on Childs' quantum walk. The target evolution unitary is approximated by a truncated Taylor series, which is obtained by combining these quantum walks in a parallel way. A lower bound $\Omega(\log \log (1/\epsilon))$ is established, showing that the $\epsilon$-dependence of the gate depth achieved in this work cannot be significantly improved. Our algorithm is applied to simulating three physical models: the Heisenberg model, the Sachdev-Ye-Kitaev model and a quantum chemistry model in second quantization. By explicitly calculating the gate complexity for implementing the oracles, we show that on all these models, the total gate depth of our algorithm has a $\operatorname{polylog}\log(1/\epsilon)$ dependence in the parallel setting.


title: Bifurcation and Multiplicity Results for Elliptic Problems with Subcritical Nonlinearity on the Boundary

abstract: We consider an elliptic problem with nonlinear boundary condition involving nonlinearity with superlinear and subcritical growth at infinity and a bifurcation parameter as a factor. We use re-scaling method, degree theory and continuation theorem to prove that there exists a connected branch of positive solutions bifurcating from infinity when the parameter goes to zero. Moreover, if the nonlinearity satisfies additional conditions near zero, we establish a global bifurcation result, and discuss the number of positive solution(s) with respect to the parameter using bifurcation theory and degree theory.


title: The optical Stark shift to control the dark exciton occupation of a quantum dot in a tilted magnetic field

abstract: When a detuned and strong laser pulse acts on an optical transition, a Stark shift of the corresponding energies occurs. We analyze how this optical Stark effect can be used to prepare and control the dark exciton occupation in a semiconductor quantum dot. The coupling between the bright and dark exciton states is facilitated by an external magnetic field. Using sequences of laser pulses, we show how the dark exciton and different superposition states can be prepared. We give simple analytic formulas, which yield a good estimate for optimal preparation parameters. The preparation scheme is quite robust against the influence of acoustic phonons. We further discuss the experimental feasibility of the used Stark pulses. Giving a clear physical picture our results will stimulate the usage of dark excitons in schemes to generate photons from quantum dots.


title: Measuring Financial Advice: aligning client elicited and revealed risk

abstract: Financial advisors use questionnaires and discussions with clients to determine a suitable portfolio of assets that will allow clients to reach their investment objectives. Financial institutions assign risk ratings to each security they offer, and those ratings are used to guide clients and advisors to choose an investment portfolio risk that suits their stated risk tolerance. This paper compares client Know Your Client (KYC) profile risk allocations to their investment portfolio risk selections using a value-at-risk discrepancy methodology. Value-at-risk is used to measure elicited and revealed risk to show whether clients are over-risked or under-risked, changes in KYC risk lead to changes in portfolio configuration, and cash flow affects a client's portfolio risk. We demonstrate the effectiveness of value-at-risk at measuring clients' elicited and revealed risk on a dataset provided by a private Canadian financial dealership of over $50,000$ accounts for over $27,000$ clients and $300$ advisors. By measuring both elicited and revealed risk using the same measure, we can determine how well a client's portfolio aligns with their stated goals. We believe that using value-at-risk to measure client risk provides valuable insight to advisors to ensure that their practice is KYC compliant, to better tailor their client portfolios to stated goals, communicate advice to clients to either align their portfolios to stated goals or refresh their goals, and to monitor changes to the clients' risk positions across their practice.


title: Investigation by STEM-EELS of helium density in nanobubbles formed in aged palladium tritides

abstract: 3He nanobubbles created by radioactive decay of tritium in palladium tritide are investigated after several years of aging. Scanning Transmission Electron Microscopy Electron Energy-Loss Spectroscopy (STEM-EELS) has been used to measure helium density from the helium K-edge around 23 eV. Helium densities were found between 20 and 140 (+/-30) He/nm3 and the corresponding nanobubble pressures range between 0.1 and 3 (+/-0.2) GPa. Measuring helium density and mapping He atoms by STEM-EELS enables to differentiate bubbles from empty cavities in the palladium tritide matrix.


title: Microscopic processes during ultra-fast laser generation of Frenkel defects in diamond

abstract: Engineering single atomic defects into wide bandgap materials has become an attractive field in recent years due to emerging applications such as solid-state quantum bits and sensors. The simplest atomic-scale defect is the lattice vacancy which is often a constituent part of more complex defects such as the nitrogen-vacancy (NV) centre in diamond, therefore an understanding of the formation mechanisms and precision engineering of vacancies is desirable. We present a theoretical and experimental study into the ultra-fast laser generation of vacancy-interstitial pairs (Frenkel defects) in diamond. The process is described by a set of coupled rate equations of the pulsed laser interaction with the material and of the non-equilibrium dynamics of charge carriers during and in the wake of the pulse. We find that a model for Frenkel defect generation via the recombination of a bound biexciton as the electron plasma cools provides good agreement with experimental data, reproducing an effective non-linearity of $\sim$ 40 for Frenkel defect generation with respect to laser pulse energy.


title: The Component Diagnosability of General Networks

abstract: The processor failures in a multiprocessor system have a negative impact on its distributed computing efficiency. Because of the rapid expansion of multiprocessor systems, the importance of fault diagnosis is becoming increasingly prominent. The $h$-component diagnosability of $G$, denoted by $ct_{h}(G)$, is the maximum number of nodes of the faulty set $F$ that is correctly identified in a system, and the number of components in $G-F$ is at least $h$. In this paper, we determine the $(h+1)$-component diagnosability of general networks under the PMC model and MM$^{*}$ model. As applications, the component diagnosability is explored for some well-known networks, including complete cubic networks, hierarchical cubic networks, generalized exchanged hypercubes, dual-cube-like networks, hierarchical hypercubes, Cayley graphs generated by transposition trees (except star graphs), and DQcube as well. Furthermore, we provide some comparison results between the component diagnosability and other fault diagnosabilities.


title: Tracking Captured Variables in Types

abstract: Type systems usually characterize the shape of values but not their free variables. However, there are many desirable safety properties one could guarantee if one could track how references can escape. For example, one may implement algebraic effect handlers using capabilities -- a value which permits one to perform the effect -- safely if one can guarantee that the capability itself does not escape the scope bound by the effect handler. To this end, we study the $\textrm{CF}_{<:}$ calculus, a conservative and lightweight extension of $\textrm{System F}_{<:}$, to track how values and their references can be captured and escape. We show that existing terms in $\textrm{System F}_{<:}$ embed naturally in our calculus, and that many natural problems can be expressed in a system that tracks variable references like we do in $\textrm{CF}_{<:}$. We also give mechanized proofs of the soundness properties of $\textrm{CF}_{<:}$ in Coq. The type system presented in $\textrm{CF}_{<:}$ is powerful enough to reason about safety in the context of many natural extensions of $\textrm{CF}_{<:}$ such as region-based memory-management, non-local returns, and effect handlers.


title: High-Energy Molecular-Frame Photoelectron Angular Distributions: A Molecular Bond-Length Ruler

abstract: We present an experimental and theoretical study of core-level ionization of small hetero- and homo-nuclear molecules employing circularly polarized light and address molecular-frame photoelectron angular distributions in the light's polarization plane (CP-MFPADs). We find that the main forward-scattering peaks of CP-MFPADs are slightly tilted with respect to the molecular axis. We show that this tilt angle can be directly connected to the molecular bond length by a simple, universal formula. The extraction of the bond length becomes more accurate as the photoelectron energy is increased. We apply the derived formula to several examples of CP-MFPADs of C 1s and O 1s photoelectrons of CO, which have been measured experimentally or obtained by means of ab initio modeling. The photoelectron kinetic energies range from 70 to 1000~eV and the extracted bond lengths agree well with the known bond length of the CO molecule in its ground state. In addition, we discuss the influence of the back-scattering contribution that is superimposed over the analyzed forward-scattering peak in case of homo-nuclear diatomic molecules as N$_2$.


title: A Numeration System for Fibonacci-like Wang Shifts

abstract: Motivated by the study of Fibonacci-like Wang shifts, we define a numeration system for $\mathbb{Z}$ and $\mathbb{Z}^2$ based on the binary alphabet $\{0,1\}$. We introduce a set of 16 Wang tiles that admits a valid tiling of the plane described by a deterministic finite automaton taking as input the representation of a position $(m,n)\in\mathbb{Z}^2$ and outputting a Wang tile.


title: Irreducible inclusions of simple C$^*$-algebras

abstract: The literature contains interesting examples of inclusions of simple C$^*$-algebras with the property that all intermediate C$^*$-algebras likewise are simple. In this article we take up a systematic study of such inclusions, which we refer to as being C$^*$-irreducible by the analogy that all intermediate von Neumann algebras of an inclusion of factors are again factors precisely when the given inclusion is irreducible. We give an intrinsic characterization of when an inclusion of C$^*$-algebras is C$^*$-irreducible, and use this to revisit known and exhibit new C$^*$-irreducible inclusions arising from groups and dynamical systems. Using a theorem of Popa one can show that an inclusion of II$_1$-factors is C$^*$-irreducible if and only if it is irreducible with finite Jones index. We further show how one can construct C$^*$-irreducible inclusions from inductive limits, and we discuss how the notion of C$^*$-irreducibility behaves under tensor products.


title: Hollow-core fibers with ultralow loss in the ultraviolet range and sub-thermodynamic equilibrium surface-roughness

abstract: We report on hollow-core fibers displaying rms core roughness under the surface capillary waves thermodynamic limit and record loss in the short-wavelength range (50.0 dB/km at 290 nm, 9.7 dB/km at 369 nm, 5.0 dB/km at 480 nm, 0.9 dB/km at 558 nm, 1.8 dB/km at 719 nm).


title: An efficient iterative method for solving parameter-dependent and random convention-diffusion problems

abstract: This paper develops and analyzes a general iterative framework for solving parameter-dependent and random convection-diffusion problems. It is inspired by the multi-modes method of [7,8] and the ensemble method of [20] and extends those methods into a more general and unified framework. The main idea of the framework is to reformulate the underlying problem into another problem with parameter-independent convection and diffusion coefficients and a parameter-dependent (and solution-dependent) right-hand side, a fixed-point iteration is then employed to compute the solution of the reformulated problem. The main benefit of the proposed approach is that an efficient direct solver and a block Krylov subspace iterative solver can be used at each iteration, allowing to reuse the $LU$ matrix factorization or to do an efficient matrix-matrix multiplication for all parameters, which in turn results in significant computation saving. Convergence and rates of convergence are established for the iterative method both at the variational continuous level and at the finite element discrete level under some structure conditions. Several strategies for establishing reformulations of parameter-dependent and random diffusion and convection-diffusion problems are proposed and their computational complexity is analyzed. Several 1-D and 2-D numerical experiments are also provided to demonstrate the efficiency of the proposed iterative method and to validate the theoretical convergence results.


title: Unsupervised Sentiment Analysis by Transferring Multi-source Knowledge

abstract: Sentiment analysis (SA) is an important research area in cognitive computation-thus in-depth studies of patterns of sentiment analysis are necessary. At present, rich resource data-based SA has been well developed, while the more challenging and practical multi-source unsupervised SA (i.e. a target domain SA by transferring from multiple source domains) is seldom studied. The challenges behind this problem mainly locate in the lack of supervision information, the semantic gaps among domains (i.e., domain shifts), and the loss of knowledge. However, existing methods either lack the distinguishable capacity of the semantic gaps among domains or lose private knowledge. To alleviate these problems, we propose a two-stage domain adaptation framework. In the first stage, a multi-task methodology-based shared-private architecture is employed to explicitly model the domain common features and the domain-specific features for the labeled source domains. In the second stage, two elaborate mechanisms are embedded in the shared private architecture to transfer knowledge from multiple source domains. The first mechanism is a selective domain adaptation (SDA) method, which transfers knowledge from the closest source domain. And the second mechanism is a target-oriented ensemble (TOE) method, in which knowledge is transferred through a well-designed ensemble method. Extensive experiment evaluations verify that the performance of the proposed framework outperforms unsupervised state-of-the-art competitors. What can be concluded from the experiments is that transferring from very different distributed source domains may degrade the target-domain performance, and it is crucial to choose the proper source domains to transfer from.


title: Towards an Online Empathetic Chatbot with Emotion Causes

abstract: Existing emotion-aware conversational models usually focus on controlling the response contents to align with a specific emotion class, whereas empathy is the ability to understand and concern the feelings and experience of others. Hence, it is critical to learn the causes that evoke the users' emotion for empathetic responding, a.k.a. emotion causes. To gather emotion causes in online environments, we leverage counseling strategies and develop an empathetic chatbot to utilize the causal emotion information. On a real-world online dataset, we verify the effectiveness of the proposed approach by comparing our chatbot with several SOTA methods using automatic metrics, expert-based human judgements as well as user-based online evaluation.


title: Ensemble Making Few-Shot Learning Stronger

abstract: Few-shot learning has been proposed and rapidly emerging as a viable means for completing various tasks. Many few-shot models have been widely used for relation learning tasks. However, each of these models has a shortage of capturing a certain aspect of semantic features, for example, CNN on long-range dependencies part, Transformer on local features. It is difficult for a single model to adapt to various relation learning, which results in the high variance problem. Ensemble strategy could be competitive on improving the accuracy of few-shot relation extraction and mitigating high variance risks. This paper explores an ensemble approach to reduce the variance and introduces fine-tuning and feature attention strategies to calibrate relation-level features. Results on several few-shot relation learning tasks show that our model significantly outperforms the previous state-of-the-art models.


title: Exploiting Adapters for Cross-lingual Low-resource Speech Recognition

abstract: Cross-lingual speech adaptation aims to solve the problem of leveraging multiple rich-resource languages to build models for a low-resource target language. Since the low-resource language has limited training data, speech recognition models can easily overfit. In this paper, we propose to use adapters to investigate the performance of multiple adapters for parameter-efficient cross-lingual speech adaptation. Based on our previous MetaAdapter that implicitly leverages adapters, we propose a novel algorithms called SimAdapter for explicitly learning knowledge from adapters. Our algorithm leverages adapters which can be easily integrated into the Transformer structure.MetaAdapter leverages meta-learning to transfer the general knowledge from training data to the test language. SimAdapter aims to learn the similarities between the source and target languages during fine-tuning using the adapters. We conduct extensive experiments on five-low-resource languages in Common Voice dataset. Results demonstrate that our MetaAdapter and SimAdapter methods can reduce WER by 2.98% and 2.55% with only 2.5% and 15.5% of trainable parameters compared to the strong full-model fine-tuning baseline. Moreover, we also show that these two novel algorithms can be integrated for better performance with up to 3.55% relative WER reduction.


title: Radio relics in PSZ2 G096.88+24.18: A connection with pre-existing plasma

abstract: Giant radio relics are arc-like structures of diffuse, non-thermal synchrotron radiation that trace shock waves induced by galaxy cluster mergers. The particle (re-)acceleration mechanism producing such radio relics is unclear. One major open question is whether relics can be formed directly from a population of thermal seed electrons, or if pre-existing relativistic seed electrons are required. In some cases AGN can provide such a population of sub-GeV electrons. However, it is unclear how common this connection is. In this paper we present LOFAR 140 MHz and VLA L-band radio observations, as well as Chandra data of PSZ2 G096.88+24.18, a merging galaxy cluster system hosting a pair of radio relics. A large patch of diffuse emission connects a bright radio galaxy with one of the relics, likely affecting the properties of the relic. We find that the most plausible explanation for the connection is that the merger shock wave has passed over an AGN lobe. The shock passing over this seed population of electrons has led to an increased brightness in the relic only in the region filled with seed electrons.


title: Generalized cross curvature flow

abstract: In this paper, for a given compact 3-manifold with an initial Riemannian metric and a symmetric tensor, we establish the short-time existence and uniqueness theorem for extension of cross curvature flow. We give an example of this flow on manifolds.


title: Analysis of GraphSum's Attention Weights to Improve the Explainability of Multi-Document Summarization

abstract: Modern multi-document summarization (MDS) methods are based on transformer architectures. They generate state of the art summaries, but lack explainability. We focus on graph-based transformer models for MDS as they gained recent popularity. We aim to improve the explainability of the graph-based MDS by analyzing their attention weights. In a graph-based MDS such as GraphSum, vertices represent the textual units, while the edges form some similarity graph over the units. We compare GraphSum's performance utilizing different textual units, i. e., sentences versus paragraphs, on two news benchmark datasets, namely WikiSum and MultiNews. Our experiments show that paragraph-level representations provide the best summarization performance. Thus, we subsequently focus oAnalysisn analyzing the paragraph-level attention weights of GraphSum's multi-heads and decoding layers in order to improve the explainability of a transformer-based MDS model. As a reference metric, we calculate the ROUGE scores between the input paragraphs and each sentence in the generated summary, which indicate source origin information via text similarity. We observe a high correlation between the attention weights and this reference metric, especially on the the later decoding layers of the transformer architecture. Finally, we investigate if the generated summaries follow a pattern of positional bias by extracting which paragraph provided the most information for each generated summary. Our results show that there is a high correlation between the position in the summary and the source origin.


title: Immersive virtual reality methods in cognitive neuroscience and neuropsychology: Meeting the criteria of the National Academy of Neuropsychology and American Academy of Clinical Neuropsychology

abstract: Clinical tools involving immersive virtual reality (VR) may bring several advantages to cognitive neuroscience and neuropsychology. However, there are some technical and methodological pitfalls. The American Academy of Clinical Neuropsychology (AACN) and the National Academy of Neuropsychology (NAN) raised 8 key issues pertaining to Computerized Neuropsychological Assessment Devices. These issues pertain to: (1) the safety and effectivity; (2) the identity of the end-user; (3) the technical hardware and software features; (4) privacy and data security; (5) the psychometric properties; (6) examinee issues; (7) the use of reporting services; and (8) the reliability of the responses and results. The VR Everyday Assessment Lab (VR-EAL) is the first immersive VR neuropsychological battery with enhanced ecological validity for the assessment of everyday cognitive functions by offering a pleasant testing experience without inducing cybersickness. The VR-EAL meets the criteria of the NAN and AACN, addresses the methodological pitfalls, and brings advantages for neuropsychological testing. However, there are still shortcomings of the VR-EAL, which should be addressed. Future iterations should strive to improve the embodiment illusion in VR-EAL and the creation of an open access VR software library should be attempted. The discussed studies demonstrate the utility of VR methods in cognitive neuroscience and neuropsychology.


title: MBIC -- A Media Bias Annotation Dataset Including Annotator Characteristics

abstract: Many people consider news articles to be a reliable source of information on current events. However, due to the range of factors influencing news agencies, such coverage may not always be impartial. Media bias, or slanted news coverage, can have a substantial impact on public perception of events, and, accordingly, can potentially alter the beliefs and views of the public. The main data gap in current research on media bias detection is a robust, representative, and diverse dataset containing annotations of biased words and sentences. In particular, existing datasets do not control for the individual background of annotators, which may affect their assessment and, thus, represents critical information for contextualizing their annotations. In this poster, we present a matrix-based methodology to crowdsource such data using a self-developed annotation platform. We also present MBIC (Media Bias Including Characteristics) - the first sample of 1,700 statements representing various media bias instances. The statements were reviewed by ten annotators each and contain labels for media bias identification both on the word and sentence level. MBIC is the first available dataset about media bias reporting detailed information on annotator characteristics and their individual background. The current dataset already significantly extends existing data in this domain providing unique and more reliable insights into the perception of bias. In future, we will further extend it both with respect to the number of articles and annotators per article.


title: Automata Learning for Automated Test Generation of Real Time Localization Systems

abstract: Cyber Physical Systems (CPSs) are often black box systems for which no exact model exists. Automata learning allows to build abstract models of CPSs and is used in several scenarios, i.e. simulation, monitoring, and test case generation. Real time localization systems (RTLSs) are an example of particularly complex and often safety critical CPSs. We present a procedure for automatic test case generation with automata learning and apply this approach in a case study to a localization system.


title: A possible use of the cubit rod in Ancient Egypt to measure and draw lengths based on fractions

abstract: We will discuss about a possible method of using the cubit rod by the architects and the surveyors of Ancient Egypt to measure and draw lengths, comparing it with the other interpretations present in Literature. Instead of the modern decimal notation, which sees the use of comma to represent a number or a measure, at that time there was a wide use of fractions in calculations. The current work proposes that, through the cubit rod and its partitions of the finger into fractions, it could be possible to obtain very accurate measurements.


title: Nonequilibrium Thermo Field Dynamics Using 4x4-Matrix Transformation for System with Bose--Einstein Condensation

abstract: This study aims to construct a theoretical formulation of a nonequilibrium process for a system of Bose--Einstein condensate associated with a spontaneous symmetry breakdown. For this, Thermo Field Dynamics is used. We then describe the most general forms of a 4x4 transformation and an unperturbed Hamiltonian. After calculating the $4\times 4$ self-energy and identifying its on-shell, we impose the renormalization condition in which the entire on-shell self-energy should vanish. This condition provides a sufficient number of independent equations to determine all of the parameters in an unperturbed Hamiltonian, among which the quantum transport equations for normal and anomalous number distributions are included.


title: Theory and Design of Super-resolution Haptic Skins

abstract: Haptic feedback is important to make robots more dexterous and effective in unstructured environments. High-resolution haptic sensors are still not widely available, and their application is often bound by the resolution-robustness dilemma. A route towards high-resolution and robust skin embeds a few sensor units (taxels) into a flexible surface material and uses signal processing to achieve sensing with super-resolution accuracy. We propose a theory for geometric super-resolution to guide the development of haptic sensors of this kind and link it to machine learning techniques for signal processing. This theory is based on sensor isolines and allows us to predict force sensitivity and accuracy in contact position and force magnitude as a spatial quantity. We evaluate the influence of different factors, such as elastic properties of the material, structure design, and transduction methods, using finite element simulations and by implementing real sensors. We empirically determine sensor isolines and validate the theory in two custom-built sensors with barometric units for 1D and 2D measurement surfaces. Using machine learning methods for the inference of contact information, our sensors obtain an unparalleled average super-resolution factor of over 100 and 1200, respectively. Our theory can guide future haptic sensor designs and inform various design choices.


title: Temperature in Nonequilibrium Quantum Systems

abstract: We extend on ideas from standard thermodynamics to show that temperature can be assigned to a general nonequilibrium quantum system. By choosing a physically motivated complete set of observables and expanding the system state thereupon, one can read a set of relevant, independent thermodynamic variables which include internal energy. This expansion allows us to read a nonequilibrium temperature as the partial derivative of the von Neumann entropy with respect to internal energy. We show that this definition of temperature is one of a set of thermodynamics parameters unambiguously describing the system state. It has appealing features such as positivity for passive states and consistency with the standard temperature for thermal states. By attributing temperature to correlations in a bipartite system, we obtain a universal relation which connects the temperatures of subsystems, total system as a whole, and correlation. All these temperatures can be different even when the composite system is in a well-defined Gibbsian thermal state.


title: Dynamics of particles with cubic magnetic anisotropy in a viscous liquid

abstract: The specific absorption rate (SAR) of a dilute assembly of spherical iron nanoparticles with cubic anisotropy distributed in a viscous liquid is calculated using the solution of stochastic Landau - Lifshitz equation for unit magnetization vector and stochastic equations for multiple particle directors that specify the spatial orientation of the nanoparticle in a liquid. The viscous and magnetic magnetization reversal modes of particles are revealed at low and sufficiently high amplitudes of alternating magnetic field, respectively. The SAR of iron nanoparticle assembly is shown to exceed significantly that of iron oxide nanoparticles with uniaxial anisotropy at the same amplitudes and frequencies of applied magnetic field. The linear response theory is shown to be valid only at small magnetic field amplitudes, H0 < 50 - 70 Oe.


title: On the Tail Behaviour of Aggregated Random Variables

abstract: In many areas of interest, modern risk assessment requires estimation of the extremal behaviour of sums of random variables. We derive the first order upper-tail behaviour of the weighted sum of bivariate random variables under weak assumptions on their marginal distributions and their copula. The extremal behaviour of the marginal variables is characterised by the generalised Pareto distribution and their extremal dependence through subclasses of the limiting representations of Ledford and Tawn (1997) and Heffernan and Tawn (2004). We find that the upper tail behaviour of the aggregate is driven by different factors dependent on the signs of the marginal shape parameters; if they are both negative, the extremal behaviour of the aggregate is determined by both marginal shape parameters and the coefficient of asymptotic independence (Ledford and Tawn, 1996); if they are both positive or have different signs, the upper-tail behaviour of the aggregate is given solely by the largest marginal shape. We also derive the aggregate upper-tail behaviour for some well known copulae which reveals further insight into the tail structure when the copula falls outside the conditions for the subclasses of the limiting dependence representations.


title: Approaching meV level for transition energies in the radium monofluoride molecule RaF and radium cation Ra$^+$ by including quantum-electrodynamics effects

abstract: Highly accurate theoretical predictions of transition energies in the radium monofluoride molecule, $^{226}$RaF and radium cation, $^{226}$Ra$^+$, are reported. The considered transition $X~^2\Sigma_{1/2} \to A~^2\Pi_{1/2}$ in RaF is one of the main features of this molecule and can be used to laser cool RaF for subsequent measurement of the electron electric dipole moment. For molecular and atomic predictions we go beyond the Dirac-Coulomb Hamiltonian and treat high-order electron correlation effects within the coupled cluster theory with the inclusion of quadruple and ever higher amplitudes. Effects of quantum electrodynamics (QED) are included non-perturbatively using the model QED operator that is implemented now for molecules. It is shown that the inclusion of QED effects in molecular and atomic calculations is a key ingredient in resolving the discrepancy between the theoretical values obtained within the Dirac-Coulomb-Breit Hamiltonian and the experiment. The remaining deviation from the experimental values is within a few meV. This is more than an order of magnitude better than the "chemical accuracy", 1 kcal/mol=43 meV, that is usually considered as a guiding thread in theoretical molecular physics.


title: Minmax-optimal list searching with $O(\log_2\log_2 n)$ average cost

abstract: We find a searching method on ordered lists that surprisingly outperforms binary searching with respect to average query complexity while retaining minmax optimality. The method is shown to require $O(\log_2\log_2 n)$ queries on average while never exceeding $\lceil \log_2 n \rceil$ queries in the worst case, i.e. the minmax bound of binary searching. Our average results assume a uniform distribution hypothesis similar to those of prevous authors under which the expected query complexity of interpolation search of $O(\log_2\log_2 n)$ is known to be optimal. Hence our method turns out to be optimal with respect to both minmax and average performance. We further provide robustness guarantees and perform several numerical experiments with both artificial and real data. Our results suggest that time savings range roughly from a constant factor of 10\% to 50\% to a logarithmic factor spanning orders of magnitude when different metrics are considered.


title: On the quality of the $k-$PSD closure approximation

abstract: Postive semidefinite (PSD) cone is the cone of positive semidefinite matrices, and is the object of interest in semidefinite programming (SDP). A computational efficient approximation of the PSD cone is the $k$-PSD closure, $1 \leq k < n$, cone of $n\times n$ real symmetric matrices such that all of their $k\times k$ principal submatrices are positive semidefinite. For $k=1$, one obtains a polyhedral approximation, while $k=2$ yields a second order conic (SOC) approximation of the PSD cone. These approximations of the PSD cone have been used extensively in real-world applications such as AC Optimal Power Flow (ACOPF) to address computational inefficiencies where SDP relaxations are utilized for convexification the non-convexities. In a recent series of articles Blekharman et al. provided bounds on the quality of these approximations. In this work, we revisit some of their results and also propose a new dominant bound on quality of the $k$-PSD closure approximation of the PSD cone. In addition, we characterize the extreme rays of the $2$-PSD closure.


title: Focus Attention: Promoting Faithfulness and Diversity in Summarization

abstract: Professional summaries are written with document-level information, such as the theme of the document, in mind. This is in contrast with most seq2seq decoders which simultaneously learn to focus on salient content, while deciding what to generate, at each decoding step. With the motivation to narrow this gap, we introduce Focus Attention Mechanism, a simple yet effective method to encourage decoders to proactively generate tokens that are similar or topical to the input document. Further, we propose a Focus Sampling method to enable generation of diverse summaries, an area currently understudied in summarization. When evaluated on the BBC extreme summarization task, two state-of-the-art models augmented with Focus Attention generate summaries that are closer to the target and more faithful to their input documents, outperforming their vanilla counterparts on \rouge and multiple faithfulness measures. We also empirically demonstrate that Focus Sampling is more effective in generating diverse and faithful summaries than top-$k$ or nucleus sampling-based decoding methods.


title: General Couplings of Four Dimensional Maxwell-Klein-Gordon System: Global Existence

abstract: In this paper, we consider the multi component fields interactions of the complex scalar fields and the electromagnetic fields (Maxwell-Klein-Gordon system) on four dimensional Minkowski spacetime with general gauge couplings and the scalar potential turned on. Moreover, the complex scalar fields span an internal manifold assumed to be K\"{a}hler. Then, by taking the K\"{a}hler potential to be bounded above $U(1)^N$ symmetric K\"{a}hler potential, the gauge couplings to be bounded functions, and the scalar potential to be the form of either polynomial, sine-Gordon, or Toda potential, we prove the global existence of the system.


title: The Complexity of Subelection Isomorphism Problems

abstract: We study extensions of the Election Isomorphism problem, focused on the existence of isomorphic subelections. Specifically, we propose the Subelection Isomorphism and the Maximum Common Subelection problems and study their computational complexity and approximability. Using our problems in experiments, we provide some insights into the nature of several statistical models of elections.


title: Weak damping of propagating MHD kink waves in the quiescent corona

abstract: Propagating transverse waves are thought to be a key transporter of Poynting flux throughout the Sun's atmosphere. Recent studies have shown that these transverse motions, interpreted as the magnetohydrodynamic kink mode, are prevalent throughout the corona. The associated energy estimates suggest the waves carry enough energy to meet the demands of the coronal radiative losses in the quiescent Sun. However, it is still unclear how the waves deposit their energy into the coronal plasma. We present the results from a large-scale study of propagating kink waves in the quiescent corona using data from the Coronal Multi-channel Polarimeter (CoMP). The analysis reveals that the kink waves appear to be weakly damped, which would imply low rates of energy transfer from the large-scale transverse motions to smaller-scales via either uni-turbulence or resonant absorption. This raises questions about how the observed kink modes would deposit their energy into the coronal plasma. Moreover, these observations, combined with the results of Monte Carlo simulations, lead us to infer that the solar corona displays a spectrum of density ratios, with a smaller density ratio (relative to the ambient corona) in quiescent coronal loops and a higher density ratio in active region coronal loops.


title: Review on Indoor RGB-D Semantic Segmentation with Deep Convolutional Neural Networks

abstract: Many research works focus on leveraging the complementary geometric information of indoor depth sensors in vision tasks performed by deep convolutional neural networks, notably semantic segmentation. These works deal with a specific vision task known as "RGB-D Indoor Semantic Segmentation". The challenges and resulting solutions of this task differ from its standard RGB counterpart. This results in a new active research topic. The objective of this paper is to introduce the field of Deep Convolutional Neural Networks for RGB-D Indoor Semantic Segmentation. This review presents the most popular public datasets, proposes a categorization of the strategies employed by recent contributions, evaluates the performance of the current state-of-the-art, and discusses the remaining challenges and promising directions for future works.


title: ConQuer-92 -- The revised report on the conceptual query language LISA-D

abstract: In this report the conceptual query language ConQuer-92 is introduced. This query language serves as the backbone of InfoAssistant's query facilities. Furthermore, this language can also be used for the specification of derivation rules (e.g. subtype defining rules) and textual constraints in InfoModeler. This report is solely concerned with a formal definition, and the explanation thereof, of ConQuer-92. The implementation of ConQuer-92 in SQL-92 will be treated in a separate report.


title: Hyperspectral Image Denoising with Log-Based Robust PCA

abstract: It is a challenging task to remove heavy and mixed types of noise from Hyperspectral images (HSIs). In this paper, we propose a novel nonconvex approach to RPCA for HSI denoising, which adopts the log-determinant rank approximation and a novel $\ell_{2,\log}$ norm, to restrict the low-rank or column-wise sparse properties for the component matrices, respectively.For the $\ell_{2,\log}$-regularized shrinkage problem, we develop an efficient, closed-form solution, which is named $\ell_{2,\log}$-shrinkage operator, which can be generally used in other problems. Extensive experiments on both simulated and real HSIs demonstrate the effectiveness of the proposed method in denoising HSIs.


title: VerLoc: Verifiable Localization in Decentralized Systems

abstract: We tackle the challenge of reliably determining the geo-location of nodes in decentralized networks, considering adversarial settings and without depending on any trusted landmarks. In particular, we consider active adversaries that control a subset of nodes, announce false locations and strategically manipulate measurements. To address this problem we propose, implement and evaluate VerLoc, a system that allows verifying the claimed geo-locations of network nodes in a fully decentralized manner. VerLoc securely schedules roundtrip time (RTT) measurements between randomly chosen pairs of nodes. Trilateration is then applied to the set of measurements to verify claimed geo-locations. We evaluate VerLoc both with simulations and in the wild using a prototype implementation integrated in the Nym network (currently run by thousands of nodes). We find that VerLoc can localize nodes in the wild with a median error of 60 km, and that in attack simulations it is capable of detecting and filtering out adversarial timing manipulations for network setups with up to 20 % malicious nodes.


title: Rare extinction events in cyclic predator-prey games

abstract: In the May-Leonard model of three cyclically competing species, we analyze the statistics of rare events in which all three species go extinct due to strong but rare fluctuations. These fluctuations are from the tails of the probability distribution of species concentrations. They render a coexistence of three populations unstable even if the coexistence is stable in the deterministic limit. We determine the mean time to extinction (MTE) by using a WKB-ansatz in the master equation that represents the stochastic description of this model. This way, the calculation is reduced to a problem of classical mechanics and amounts to solving a Hamilton-Jacobi equation with zero-energy Hamiltonian. We solve the corresponding Hamilton's equations of motion in six-dimensional phase space numerically by using the Iterative Action Minimization Method. This allows to project on the optimal path to extinction, starting from a parameter choice where the three-species coexistence-fixed point undergoes a Hopf bifurcation and becomes stable. Specifically for our system of three species, extinction events can be triggered along various paths to extinction, differing in their intermediate steps. We compare our analytical predictions with results from Gillespie simulations for two-species extinctions, complemented by an analytical calculation of the MTE in which the remaining third species goes extinct. From Gillespie simulations we also analyze how the distributions of times to extinction change upon varying the bifurcation parameter. Even within the same model and the same dynamical regime, the MTE depends on the distance from the bifurcation point in a way that contains the system size dependence in the exponent. It is challenging and worthwhile to quantify how rare the rare events of extinction are.


title: Star-shaped Centrosymmetric Curves under Gage's Area-preserving Flow

abstract: It is proved that Gage's area-preserving flow can evolve a centrosymmetric star-shaped initial curve smoothly, make it convex in a finite time and deform it into a circle as time tends to infinity.


title: Towards Scalable Verification of Deep Reinforcement Learning

abstract: Deep neural networks (DNNs) have gained significant popularity in recent years, becoming the state of the art in a variety of domains. In particular, deep reinforcement learning (DRL) has recently been employed to train DNNs that realize control policies for various types of real-world systems. In this work, we present the whiRL 2.0 tool, which implements a new approach for verifying complex properties of interest for DRL systems. To demonstrate the benefits of whiRL 2.0, we apply it to case studies from the communication networks domain that have recently been used to motivate formal verification of DRL systems, and which exhibit characteristics that are conducive for scalable verification. We propose techniques for performing k-induction and semi-automated invariant inference on such systems, and leverage these techniques for proving safety and liveness properties that were previously impossible to verify due to the scalability barriers of prior approaches. Furthermore, we show how our proposed techniques provide insights into the inner workings and the generalizability of DRL systems. whiRL 2.0 is publicly available online.