title: BAR: Blockwise Adaptive Recoding for Batched Network Coding

abstract: Multi-hop networks become popular network topologies in various emerging Internet of things applications. Batched network coding (BNC) is a solution to reliable communications in such networks with packet loss. By grouping packets into small batches and restricting recoding to the packets belonging to the same batch, BNC has a much smaller computational and storage requirements at the intermediate nodes compared with a direct application of random linear network coding. In this paper, we propose a practical recoding scheme called blockwise adaptive recoding (BAR) which learns the latest channel knowledge from short observations so that BAR can adapt to the fluctuation of channel conditions. We focus on investigating practical concerns such as the design of efficient BAR algorithms. We also design and investigate feedback schemes for BAR under imperfect feedback systems. Our numerical evaluations show that BAR has significant throughput gain for small batch size compared with the existing baseline recoding scheme. More importantly, this gain is insensitive to inaccurate channel knowledge. This encouraging result suggests that BAR is suitable to be realized in practice as the exact channel model and its parameters could be unknown and subject to change from time to time.


title: Dissipation of Oscillation Energy and Distribution of Damping Power in a Multimachine Power System: A Small-signal Analysis

abstract: This paper revisits the concept of damping torque in a multimachine power system and its relation to the dissipation of oscillation energy in synchronous machine windings. As a multimachine extension of an existing result on a single-machine-infinite-bus (SMIB) system, we show that the total damping power for a mode stemming from the interaction of electromagnetic torques and rotor speeds is equal to the sum of average power dissipations in the generator windings corresponding to the modal oscillation. Further, counter-intuitive to the SMIB result, we demonstrate that, although the equality holds on an aggregate, such is not the case for individual machines in an interconnected system. To that end, distribution factors are derived for expressing the average damping power of each generator as a linear combination of average powers of modal energy dissipation in the windings of all machines in the system. These factors represent the distribution of damping power in a multimachine system. The results are validated on IEEE 4-machine and 16-machine test systems.


title: Alignment dependence of photoelectron momentum distributions for diatomic molecules N$_2$ in strong elliptical laser fields

abstract: We study ionization dynamics of aligned diatomic molecules N$_2$ in strong elliptical laser fields experimentally and theoretically. The alignment dependence of photoelectron momentum distributions (PMDs) of N$_2$ measured in experiments is highlighted with comparing to Ar measured synchronously. Our results show that the PMDs of N$_2$ depend strongly on the alignment of the molecule, relative to the main axis of the laser ellipse. In particular, the most-probable electron-emission angle which is often used in attosecond measurement, differs remarkably when changing the molecular alignment. We show that the interplay of two-center interference and tunneling when the electron goes through the laser-Coulomb-formed barrier, plays an important role in these phenomena. Our work gives suggestions on studying ultrafast electron motion inside aligned molecules.


title: APPL: Adaptive Planner Parameter Learning

abstract: While current autonomous navigation systems allow robots to successfully drive themselves from one point to another in specific environments, they typically require extensive manual parameter re-tuning by human robotics experts in order to function in new environments. Furthermore, even for just one complex environment, a single set of fine-tuned parameters may not work well in different regions of that environment. These problems prohibit reliable mobile robot deployment by non-expert users. As a remedy, we propose Adaptive Planner Parameter Learning (APPL), a machine learning framework that can leverage non-expert human interaction via several modalities -- including teleoperated demonstrations, corrective interventions, and evaluative feedback -- and also unsupervised reinforcement learning to learn a parameter policy that can dynamically adjust the parameters of classical navigation systems in response to changes in the environment. APPL inherits safety and explainability from classical navigation systems while also enjoying the benefits of machine learning, i.e., the ability to adapt and improve from experience. We present a suite of individual APPL methods and also a unifying cycle-of-learning scheme that combines all the proposed methods in a framework that can improve navigation performance through continual, iterative human interaction and simulation training.


title: Style-Restricted GAN: Multi-Modal Translation with Style Restriction Using Generative Adversarial Networks

abstract: Unpaired image-to-image translation using Generative Adversarial Networks (GAN) is successful in converting images among multiple domains. Moreover, recent studies have shown a way to diversify the outputs of the generator. However, since there are no restrictions on how the generator diversifies the results, it is likely to translate some unexpected features. In this paper, we propose Style-Restricted GAN (SRGAN) to demonstrate the importance of controlling the encoded features used in style diversifying process. More specifically, instead of KL divergence loss, we adopt three new losses to restrict the distribution of the encoded features: batch KL divergence loss, correlation loss, and histogram imitation loss. Further, the encoder is pre-trained with classification tasks before being used in translation process. The study reports quantitative as well as qualitative results with Precision, Recall, Density, and Coverage. The proposed three losses lead to the enhancement of the level of diversity compared to the conventional KL loss. In particular, SRGAN is found to be successful in translating with higher diversity and without changing the class-unrelated features in the CelebA face dataset. To conclude, the importance of the encoded features being well-regulated was proven with two experiments. Our implementation is available at https://github.com/shinshoji01/Style-Restricted_GAN.


title: Ensemble-based Transfer Learning for Low-resource Machine Translation Quality Estimation

abstract: Quality Estimation (QE) of Machine Translation (MT) is a task to estimate the quality scores for given translation outputs from an unknown MT system. However, QE scores for low-resource languages are usually intractable and hard to collect. In this paper, we focus on the Sentence-Level QE Shared Task of the Fifth Conference on Machine Translation (WMT20), but in a more challenging setting. We aim to predict QE scores of given translation outputs when barely none of QE scores of that paired languages are given during training. We propose an ensemble-based predictor-estimator QE model with transfer learning to overcome such QE data scarcity challenge by leveraging QE scores from other miscellaneous languages and translation results of targeted languages. Based on the evaluation results, we provide a detailed analysis of how each of our extension affects QE models on the reliability and the generalization ability to perform transfer learning under multilingual tasks. Finally, we achieve the best performance on the ensemble model combining the models pretrained by individual languages as well as different levels of parallel trained corpus with a Pearson's correlation of 0.298, which is 2.54 times higher than baselines.


title: Sentence Similarity Based on Contexts

abstract: Existing methods to measure sentence similarity are faced with two challenges: (1) labeled datasets are usually limited in size, making them insufficient to train supervised neural models; (2) there is a training-test gap for unsupervised language modeling (LM) based models to compute semantic scores between sentences, since sentence-level semantics are not explicitly modeled at training. This results in inferior performances in this task. In this work, we propose a new framework to address these two issues. The proposed framework is based on the core idea that the meaning of a sentence should be defined by its contexts, and that sentence similarity can be measured by comparing the probabilities of generating two sentences given the same context. The proposed framework is able to generate high-quality, large-scale dataset with semantic similarity scores between two sentences in an unsupervised manner, with which the train-test gap can be largely bridged. Extensive experiments show that the proposed framework achieves significant performance boosts over existing baselines under both the supervised and unsupervised settings across different datasets.


title: TAT-QA: A Question Answering Benchmark on a Hybrid of Tabular and Textual Content in Finance

abstract: Hybrid data combining both tabular and textual content (e.g., financial reports) are quite pervasive in the real world. However, Question Answering (QA) over such hybrid data is largely neglected in existing research. In this work, we extract samples from real financial reports to build a new large-scale QA dataset containing both Tabular And Textual data, named TAT-QA, where numerical reasoning is usually required to infer the answer, such as addition, subtraction, multiplication, division, counting, comparison/sorting, and the compositions. We further propose a novel QA model termed TAGOP, which is capable of reasoning over both tables and text. It adopts sequence tagging to extract relevant cells from the table along with relevant spans from the text to infer their semantics, and then applies symbolic reasoning over them with a set of aggregation operators to arrive at the final answer. TAGOPachieves 58.0% inF1, which is an 11.1% absolute increase over the previous best baseline model, according to our experiments on TAT-QA. But this result still lags far behind performance of expert human, i.e.90.8% in F1. It is demonstrated that our TAT-QA is very challenging and can serve as a benchmark for training and testing powerful QA models that address hybrid form data.


title: A Fine-Grained Visual Attention Approach for Fingerspelling Recognition in the Wild

abstract: Fingerspelling in sign language has been the means of communicating technical terms and proper nouns when they do not have dedicated sign language gestures. Automatic recognition of fingerspelling can help resolve communication barriers when interacting with deaf people. The main challenges prevalent in fingerspelling recognition are the ambiguity in the gestures and strong articulation of the hands. The automatic recognition model should address high inter-class visual similarity and high intra-class variation in the gestures. Most of the existing research in fingerspelling recognition has focused on the dataset collected in a controlled environment. The recent collection of a large-scale annotated fingerspelling dataset in the wild, from social media and online platforms, captures the challenges in a real-world scenario. In this work, we propose a fine-grained visual attention mechanism using the Transformer model for the sequence-to-sequence prediction task in the wild dataset. The fine-grained attention is achieved by utilizing the change in motion of the video frames (optical flow) in sequential context-based attention along with a Transformer encoder model. The unsegmented continuous video dataset is jointly trained by balancing the Connectionist Temporal Classification (CTC) loss and the maximum-entropy loss. The proposed approach can capture better fine-grained attention in a single iteration. Experiment evaluations show that it outperforms the state-of-the-art approaches.


title: Convective carbon dioxide dissolution in a closed porous medium at high-pressure real-gas conditions

abstract: We combine modeling and measurements to investigate the dynamics of convective carbon dioxide (CO$_2$) dissolution in a pressure-volume-temperature cell, extending a recent study by Wen et al. (J. Fluid Mech., vol. 854, 2018, pp. 56--87) at low-pressure under ideal-gas conditions to high-pressure and real-gas conditions. Pressure-dependent compressibility and solubility are included to model the evolution of CO$_2$ concentration in the gas phase and at the interface, respectively. Simple ordinary-differential-equation models are developed to capture the mean behavior of the convecting system at large Rayleigh number and are then verified by using both numerical simulations and laboratory experiments. The prefactor for the linear scaling of convective CO$_2$ dissolution is evaluated -- for the first time -- by using pressure-decay experiments in bead packs at reservoir conditions. The results show that our models could quantitatively predict the process of the convective CO$_2$ dissolution in pressure-decay experiments. Moreover, the results also reveal that for increasing gas pressure in closed systems, the negative feedback of the pressure drop -- resulting from the dissolution of CO$_2$ in the liquid -- is weakened due to the decrease of the solubility constant at real-gas conditions. Our analysis provides a new direction for determination and validation of the convective dissolution flux of CO$_2$ in porous media systems.


title: Shared and Private VAEs with Generative Replay for Continual Learning

abstract: Continual learning tries to learn new tasks without forgetting previously learned ones. In reality, most of the existing artificial neural network(ANN) models fail, while humans do the same by remembering previous works throughout their life. Although simply storing all past data can alleviate the problem, it needs large memory and often infeasible in real-world applications where last data access is limited. We hypothesize that the model that learns to solve each task continually has some task-specific properties and some task-invariant characteristics. We propose a hybrid continual learning model that is more suitable in real case scenarios to address the issues that has a task-invariant shared variational autoencoder and T task-specific variational autoencoders. Our model combines generative replay and architectural growth to prevent catastrophic forgetting. We show our hybrid model effectively avoids forgetting and achieves state-of-the-art results on visual continual learning benchmarks such as MNIST, Permuted MNIST(QMNIST), CIFAR100, and miniImageNet datasets. We discuss results on a few more datasets, such as SVHN, Fashion-MNIST, EMNIST, and CIFAR10.


title: The $E_3$ page of the Adams spectral sequence

abstract: In the early 2000's, Baues computed the secondary Steenrod algebra, the algebra of all secondary cohomology operations. Together with Jibladze, they showed that this gives an algorithm that computes all Adams $d_2$ differentials for the sphere. The goal of this paper is to reinterpret their results in the language of synthetic spectra in order to achieve stronger computational results. Using this, we obtain an algorithm that computes hidden extensions on the $E_3$ page that jump by one filtration, in addition to the $d_2$ differentials of Baues--Jibladze. We then implement and run this algorithm for the sphere up to the 140th stem. Combined with a generalized version of the Leibniz rule, these hidden extensions allow us to compute many longer differentials with ease. In particular, we resolve all remaining unknown $d_2$, $d_3$, $d_4$ and $d_5$ differentials of the sphere up to the 95th stem.


title: Implication of Pulsar Timing Array Experiments on Cosmological Gravitational Wave Detection

abstract: Gravitational waves provide a new probe of the Universe which can reveal a number of cosmological and astrophysical phenomena that cannot be observed by electromagnetic waves. Different frequencies of gravitational waves are detected by different means. Among them, precision measurements of pulsar timing provides a natural detector for gravitational waves with light-year scale wavelengths. In this review, first a basic framework to detect a stochastic gravitational wave background using pulsar timing array is introduced, and then possible interpretations of the latest observational result of 12.5 year NANOGrav data are described.


title: Convex optimization for actionable \& plausible counterfactual explanations

abstract: Transparency is an essential requirement of machine learning based decision making systems that are deployed in real world. Often, transparency of a given system is achieved by providing explanations of the behavior and predictions of the given system. Counterfactual explanations are a prominent instance of particular intuitive explanations of decision making systems. While a lot of different methods for computing counterfactual explanations exist, only very few work (apart from work from the causality domain) considers feature dependencies as well as plausibility which might limit the set of possible counterfactual explanations. In this work we enhance our previous work on convex modeling for computing counterfactual explanations by a mechanism for ensuring actionability and plausibility of the resulting counterfactual explanations.


title: Herriott-Cavity-Assisted Closed-Loop Xe Isotope Comagnetometer

abstract: We present in this paper a Herriott-cavity-assisted closed-loop Xe isotope gas comagnetometer. In this system, $^{129}$Xe and $^{131}$Xe atoms are pumped and probed by polarized Rb atoms, and continuously driven by oscillating magnetic fields, whose frequencies are kept on resonance by phase-locked loops (PLLs). Different from other schemes, we use a Herriott cavity to improve the Rb magnetometer sensitivity instead of the parametric modulation method, and this passive method is aimed to improve the system stability while maintaining the sensitivity. This system has demonstrated an angle random walk (ARW) of 0.06 $^\circ$/h$^{1/2}$, and a bias instability of 0.2 $^\circ$/h (0.15 $\mu$Hz) with a bandwidth of 1.5 Hz. By adding a closed-loop Rb isotope comagnetometer, we can extend this system to dual simultaneously working comagnetometers sharing the same cell. This extended system has wide applications in precision measurements, where we can simultaneously and independently measure the coupling of anomalous fields with proton spin and neutron spin.


title: Dual-Stage Low-Complexity Reconfigurable Speech Enhancement

abstract: This paper proposes a dual-stage, low complexity, and reconfigurable technique to enhance the speech contaminated by various types of noise sources. Driven by input data and audio contents, the proposed dual-stage speech enhancement approach performs a coarse and fine processing in the first-stage and second-stage, respectively. In this paper, we demonstrate that the proposed speech enhancement solution significantly enhances the metrics of 3-fold QUality Evaluation of Speech in Telecommunication (3QUEST) consisting of speech mean-opinion-score (SMOS) and noise MOS (NMOS) for near-field and far-field applications. Moreover, the proposed speech enhancement approach greatly improves both the signal-to-noise ratio (SNR) and subjective listening experience. For comparisons, the traditional speech enhancement methods reduce the SMOS although they increase NMOS and SNR. In addition, the proposed speech enhancement scheme can be easily adopted in both capture path and speech render path for speech communication and conferencing systems, and voice-trigger applications.


title: Automorphisms of some solvable Leibniz algebras

abstract: In this paper, we describe the automorphisms of solvable Leibniz algebras with null-filiform nilradical. Moreover we describe the automorphisms of solvable Leibniz algebras with naturally graded non-Lie filiform nilradicals, whose the dimension of complementary space is maximal.


title: Improving Graph Neural Networks with Simple Architecture Design

abstract: Graph Neural Networks have emerged as a useful tool to learn on the data by applying additional constraints based on the graph structure. These graphs are often created with assumed intrinsic relations between the entities. In recent years, there have been tremendous improvements in the architecture design, pushing the performance up in various prediction tasks. In general, these neural architectures combine layer depth and node feature aggregation steps. This makes it challenging to analyze the importance of features at various hops and the expressiveness of the neural network layers. As different graph datasets show varying levels of homophily and heterophily in features and class label distribution, it becomes essential to understand which features are important for the prediction tasks without any prior information. In this work, we decouple the node feature aggregation step and depth of graph neural network and introduce several key design strategies for graph neural networks. More specifically, we propose to use softmax as a regularizer and "Soft-Selector" of features aggregated from neighbors at different hop distances; and "Hop-Normalization" over GNN layers. Combining these techniques, we present a simple and shallow model, Feature Selection Graph Neural Network (FSGNN), and show empirically that the proposed model outperforms other state of the art GNN models and achieves up to 64% improvements in accuracy on node classification tasks. Moreover, analyzing the learned soft-selection parameters of the model provides a simple way to study the importance of features in the prediction tasks. Finally, we demonstrate with experiments that the model is scalable for large graphs with millions of nodes and billions of edges.


title: Open-set Recognition based on the Combination of Deep Learning and Ensemble Method for Detecting Unknown Traffic Scenarios

abstract: An understanding and classification of driving scenarios are important for testing and development of autonomous driving functionalities. Machine learning models are useful for scenario classification but most of them assume that data received during the testing are from one of the classes used in the training. This assumption is not true always because of the open environment where vehicles operate. This is addressed by a new machine learning paradigm called open-set recognition. Open-set recognition is the problem of assigning test samples to one of the classes used in training or to an unknown class. This work proposes a combination of Convolutional Neural Networks (CNN) and Random Forest (RF) for open set recognition of traffic scenarios. CNNs are used for the feature generation and the RF algorithm along with extreme value theory for the detection of known and unknown classes. The proposed solution is featured by exploring the vote patterns of trees in RF instead of just majority voting. By inheriting the ensemble nature of RF, the vote pattern of all trees combined with extreme value theory is shown to be well suited for detecting unknown classes. The proposed method has been tested on the highD and OpenTraffic datasets and has demonstrated superior performance in various aspects compared to existing solutions.


title: DOC3-Deep One Class Classification using Contradictions

abstract: This paper introduces the notion of learning from contradictions (a.k.a Universum learning) for deep one class classification problems. We formalize this notion for the widely adopted one class large-margin loss, and propose the Deep One Class Classification using Contradictions (DOC3) algorithm. We show that learning from contradictions incurs lower generalization error by comparing the Empirical Rademacher Complexity (ERC) of DOC3 against its traditional inductive learning counterpart. Our empirical results demonstrate the efficacy of DOC3 compared to popular baseline algorithms on several real-life data sets.


title: Class-Incremental Few-Shot Object Detection

abstract: Conventional detection networks usually need abundant labeled training samples, while humans can learn new concepts incrementally with just a few examples. This paper focuses on a more challenging but realistic class-incremental few-shot object detection problem (iFSD). It aims to incrementally transfer the model for novel objects from only a few annotated samples without catastrophically forgetting the previously learned ones. To tackle this problem, we propose a novel method LEAST, which can transfer with Less forgetting, fEwer training resources, And Stronger Transfer capability. Specifically, we first present the transfer strategy to reduce unnecessary weight adaptation and improve the transfer capability for iFSD. On this basis, we then integrate the knowledge distillation technique using a less resource-consuming approach to alleviate forgetting and propose a novel clustering-based exemplar selection process to preserve more discriminative features previously learned. Being a generic and effective method, LEAST can largely improve the iFSD performance on various benchmarks.


title: On isolated singular solutions of semilinear Helmholtz equation

abstract: Our purpose of this paper is to study isolated singular solutions of semilinear Helmholtz equation $$ -\Delta u-u=Q|u|^{p-1}u \quad{\rm in}\ \ \mathbb{R}^N\setminus\{0\},\ \qquad\lim_{|x|\to0}u(x)=+\infty, $$ where $N\geq 2$, $p>1$ and the potential $Q: \mathbb{R}^N\to (0,+\infty)$ is a H\"older continuous function satisfying extra decaying conditions at infinity. We give the classification of the isolated singularity in the Serrin's subcritical case and then isolated singular solutions is derived with the form $u_k=k\Phi+v_k$ via the Schauder fixed point theorem for the integral equation $$v_k=\Phi\ast\big(Q|kw_\sigma+v_k|^{p-1}(kw_\sigma+v_k)\big)\quad{\rm in}\ \, \mathbb{R}^N,$$ where $\Phi$ is the real valued fundamental solution $-\Delta-1$ and $w_\sigma$ is a also a real valued solution $(-\Delta-1)w_\sigma=\delta_0$ with the asymptotic behavior at infinity controlled by $|x|^{-\sigma}$ for some $\sigma\leq \frac{N-1}{2}$.


title: Traffic Scenario Clustering by Iterative Optimisation of Self-Supervised Networks Using a Random Forest Activation Pattern Similarity

abstract: Traffic scenario categorisation is an essential component of automated driving, for e.\,g., in motion planning algorithms and their validation. Finding new relevant scenarios without handcrafted steps reduce the required resources for the development of autonomous driving dramatically. In this work, a method is proposed to address this challenge by introducing a clustering technique based on a novel data-adaptive similarity measure, called Random Forest Activation Pattern (RFAP) similarity. The RFAP similarity is generated using a tree encoding scheme in a Random Forest algorithm. The clustering method proposed in this work takes into account that there are labelled scenarios available and the information from the labelled scenarios can help to guide the clustering of unlabelled scenarios. It consists of three steps. First, a self-supervised Convolutional Neural Network~(CNN) is trained on all available traffic scenarios using a defined self-supervised objective. Second, the CNN is fine-tuned for classification of the labelled scenarios. Third, using the labelled and unlabelled scenarios an iterative optimisation procedure is performed for clustering. In the third step at each epoch of the iterative optimisation, the CNN is used as a feature generator for an unsupervised Random Forest. The trained forest, in turn, provides the RFAP similarity to adapt iteratively the feature generation process implemented by the CNN. Extensive experiments and ablation studies have been done on the highD dataset. The proposed method shows superior performance compared to baseline clustering techniques.


title: Predication of topological states in the allotropes of group-IV elements

abstract: Three-dimensional topological insulators have been studied for approximately fifteen years, but those made from group-IV elements, especially Ge and Sn, seem particularly attractive owing to their nontoxicity, sizable intrinsic spin-orbit coupling (SOC) strength and natural compatibility with the current semiconductor industry. However, group-IV elemental TIs have rarely been reported, except for the low temperature phase of alpha-Sn under strain. Here, based on first-principles calculations, we propose new allotropes of Ge and Sn, named T5-Ge(Sn), as desirable TIs. These new allotropes are also highly anisotropic Dirac semimetals if the SOC is turned off. To the best of our knowledge, T5-Ge(Sn) are the first 3D allotropes of Ge(Sn) that possess topological states in their equilibrium state at room temperature. Additionally, their isostructures of C and Si are metastable indirect and direct semiconductors. Our work not only reveals two promising TIs, but more profoundly, we justify the advantages of group-IV elements as topological quantum materials (TQMs) for fundamental research and potential practical applications, and thus reveal a new direction in the search for desirable TQMs.


title: Eigenvalue distribution of a high-dimensional distance covariance matrix with application

abstract: We introduce a new random matrix model called distance covariance matrix in this paper, whose normalized trace is equivalent to the distance covariance. We first derive a deterministic limit for the eigenvalue distribution of the distance covariance matrix when the dimensions of the vectors and the sample size tend to infinity simultaneously. This limit is valid when the vectors are independent or weakly dependent through a finite-rank perturbation. It is also universal and independent of the details of the distributions of the vectors. Furthermore, the top eigenvalues of this distance covariance matrix are shown to obey an exact phase transition when the dependence of the vectors is of finite rank. This finding enables the construction of a new detector for such weak dependence where classical methods based on large sample covariance matrices or sample canonical correlations may fail in the considered high-dimensional framework.


title: Chiral Composite Asymmetric Dark Matter

abstract: The asymmetric dark matter (ADM) scenario solves the baryon-dark matter coincidence problem when the dark matter (DM) mass is of $\mathcal{O}(1)$GeV. Composite ADM models based on QCD-like strong dynamics are particularly motivated since the strong dynamics naturally provides the DM mass of $\mathcal{O}(1)$GeV and the large annihilation cross-section simultaneously. In those models, the sub-GeV dark photon often plays an essential role in transferring the excessive entropy in the dark sector into the visible sector, i.e., the Standard Model sector. This paper constructs a chiral composite ADM model where the $U(1)_D$ gauge symmetry is embedded into the chiral flavor symmetry. Due to the dynamical breaking of the chiral flavor symmetry, the model naturally provides the masses of the dark photon and the dark pions in the sub-GeV range, both of which play crucial roles for a successful ADM model.


title: Chip-scale terahertz frequency combs through integrated intersubband polariton bleaching

abstract: Quantum cascade lasers (QCLs) represent a fascinating accomplishment of quantum engineering and enable the direct generation of terahertz (THz) frequency radiation from an electrically-biased semiconductor heterostructure. Their large spectral bandwidth, high output powers and quantum-limited linewidths have facilitated the realization of THz pulses by active mode-locking and passive generation of optical frequency combs (FCs) through intracavity four-wave-mixing, albeit over a restricted operational regime. Here, we conceive an integrated architecture for the generation of high power (10 mW) THz FCs comprising an ultrafast THz polaritonic reflector, exploiting intersubband cavity polaritons, and a broad bandwidth (2.3-3.8 THz) heterogeneous THz QCL. Quantum cascade lasers (QCLs) represent a fascinating accomplishment of quantum engineering and enable the direct generation of terahertz (THz) frequency radiation from an electrically-biased semiconductor heterostructure. By tuning the group delay dispersion in an integrated geometry, through the exploitation of light induced bleaching of the intersubband-based THz polaritons, we demonstrate spectral reshaping of the QCL emission and stable FC operation over an operational dynamic range of up to 38%, characterized by a single and narrow (down to 700 Hz) intermode beatnote. Our concept provides design guidelines for a new generation of compact, cost-effective, electrically driven chip-scale FC sources based on ultrafast polariton dynamics, paving the way towards the generation of mode locked THz micro-lasers that will strongly impact a broad range of applications in ultrafast sciences, data storage, high-speed communication and spectroscopy.


title: Collaborative Mapping of Archaeological Sites using multiple UAVs

abstract: UAVs have found an important application in archaeological mapping. Majority of the existing methods employ an offline method to process the data collected from an archaeological site. They are time-consuming and computationally expensive. In this paper, we present a multi-UAV approach for faster mapping of archaeological sites. Employing a team of UAVs not only reduces the mapping time by distribution of coverage area, but also improves the map accuracy by exchange of information. Through extensive experiments in a realistic simulation (AirSim), we demonstrate the advantages of using a collaborative mapping approach. We then create the first 3D map of the Sadra Fort, a 15th Century Fort located in Gujarat, India using our proposed method. Additionally, we present two novel archaeological datasets recorded in both simulation and real-world to facilitate research on collaborative archaeological mapping. For the benefit of the community, we make the AirSim simulation environment, as well as the datasets publicly available.


title: Leveraging EfficientNet and Contrastive Learning for Accurate Global-scale Location Estimation

abstract: In this paper, we address the problem of global-scale image geolocation, proposing a mixed classification-retrieval scheme. Unlike other methods that strictly tackle the problem as a classification or retrieval task, we combine the two practices in a unified solution leveraging the advantages of each approach with two different modules. The first leverages the EfficientNet architecture to assign images to a specific geographic cell in a robust way. The second introduces a new residual architecture that is trained with contrastive learning to map input images to an embedding space that minimizes the pairwise geodesic distance of same-location images. For the final location estimation, the two modules are combined with a search-within-cell scheme, where the locations of most similar images from the predicted geographic cell are aggregated based on a spatial clustering scheme. Our approach demonstrates very competitive performance on four public datasets, achieving new state-of-the-art performance in fine granularity scales, i.e., 15.0% at 1km range on Im2GPS3k.


title: On Decentralization of Bitcoin: An Asset Perspective

abstract: Since its advent in 2009, Bitcoin, a cryptography-enabled peer-to-peer digital payment system, has been gaining increasing attention from both academia and industry. An effort designed to overcome a cluster of bottlenecks inherent in existing centralized financial systems, Bitcoin has always been championed by the crypto community as an example of the spirit of decentralization. While the decentralized nature of Bitcoin's Proof-of-Work consensus algorithm has often been discussed in great detail, no systematic study has so far been conducted to quantitatively measure the degree of decentralization of Bitcoin from an asset perspective -- How decentralized is Bitcoin as a financial asset? We present in this paper the first systematic investigation of the degree of decentralization for Bitcoin based on its entire transaction history. We proposed both static and dynamic analysis of Bitcoin transaction network with quantifiable decentralization measures developed based on network analysis and market efficiency study. Case studies are also conducted to demonstrate the effectiveness of our proposed metrics.


title: FGR: Frustum-Aware Geometric Reasoning for Weakly Supervised 3D Vehicle Detection

abstract: In this paper, we investigate the problem of weakly supervised 3D vehicle detection. Conventional methods for 3D object detection need vast amounts of manually labelled 3D data as supervision signals. However, annotating large datasets requires huge human efforts, especially for 3D area. To tackle this problem, we propose frustum-aware geometric reasoning (FGR) to detect vehicles in point clouds without any 3D annotations. Our method consists of two stages: coarse 3D segmentation and 3D bounding box estimation. For the first stage, a context-aware adaptive region growing algorithm is designed to segment objects based on 2D bounding boxes. Leveraging predicted segmentation masks, we develop an anti-noise approach to estimate 3D bounding boxes in the second stage. Finally 3D pseudo labels generated by our method are utilized to train a 3D detector. Independent of any 3D groundtruth, FGR reaches comparable performance with fully supervised methods on the KITTI dataset. The findings indicate that it is able to accurately detect objects in 3D space with only 2D bounding boxes and sparse point clouds.


title: A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems

abstract: Self-organization is a process where a stable pattern is formed by the cooperative behavior between parts of an initially disordered system without external control or influence. It has been introduced to multi-agent systems as an internal control process or mechanism to solve difficult problems spontaneously. However, because a self-organizing multi-agent system has autonomous agents and local interactions between them, it is difficult to predict the behavior of the system from the behavior of the local agents we design. This paper proposes a logic-based framework of self-organizing multi-agent systems, where agents interact with each other by following their prescribed local rules. The dependence relation between coalitions of agents regarding their contributions to the global behavior of the system is reasoned about from the structural and semantic perspectives. We show that the computational complexity of verifying such a self-organizing multi-agent system is in exponential time. We then combine our framework with graph theory to decompose a system into different coalitions located in different layers, which allows us to verify agents' full contributions more efficiently. The resulting information about agents' full contributions allows us to understand the complex link between local agent behavior and system level behavior in a self-organizing multi-agent system. Finally, we show how we can use our framework to model a constraint satisfaction problem.


title: When to sell an indivisible object: Optimal timing with Markovian buyers

abstract: We study the problem of when to sell an indivisible object. There is a monopolistic seller who owns an indivisible object and plans to sell it over a given span of time to the set of potential buyers whose valuations for the object evolve over time. We formulate the seller's problem as a dynamic mechanism design problem. We provide the procedure for finding the optimal solution and show how to check incentive compatibility. We also examine sufficient conditions for the optimality of myopic stopping rule and ex-post individual rationality. In addition, we present some comparative static results regarding the seller's revenue and the selling time.


title: Thermal Real Scalar Triplet Dark Matter

abstract: Real scalar triplet dark matter, which is known to be an attractive candidate for a thermal WIMP, is comprehensively studied paying particular attention to the Sommerfeld effect on the dark matter annihilation caused by the weak interaction and the other interaction between the dark matter and the Higgs boson. We find a parameter region that includes the so-called 'WIMP-Miracle' one is still surviving, i.e. it respects all constraints imposed by dark matter searches at collider experiments, underground experiments (direct detection) and astrophysical observations (indirect detection). The region is also found to be efficiently searched for by various near future experiments. In particular, the XENONnT experiment will cover almost the entire parameter region.


title: Modelling of thermal stratification at the top of a planetary core: Application to the cores of Earth and Mercury and the thermal coupling with their mantles

abstract: We present a new numerical scheme for one-dimensional conduction problems of a spherical shell. The scheme adopts a solution of the conduction equation in each interval of the chosen discretization that is valid if the fluxes at interval boundaries are constant in time. This piece-wise steady flux (PWSF) numerical scheme is continuous and differentiable in the space domain, which is convenient for implementing the numerical scheme in an energy-conserved thermal evolution model of a planetary core in which a conductive stratified layer develops below the core-mantle boundary when the heat flux is subadiabatic. The influence of a time-variable stratified region on the general evolution of the planetary body is examined, in comparison to imposing an adiabatic temperature profile for the core. By considering stratification in a planetary core where the heat flux is subadiabatic, radial variations in the cooling rate are accounted for whereas otherwise the distribution of energy in the core is fixed by the imposed adiabat. During the growth of the thermally stratified region, the deep part of the core cools more rapidly than the outer part of the core. Therefore, the inner core grows to a larger size and the temperature and heat flux at the core-mantle boundary are higher and larger, respectively, if a stratified region is considered. For the Earth, the implications are likely very minor and can be neglected in thermal evolution studies that are not specifically interested in the stratified region itself. For Mercury, these implications are much larger. For example, the age of the inner core can be underestimated by several billion years if thermal stratification is neglected. Consideration of thermal stratification in the core of Mercury also increases the mantle temperature, leads to a larger heat flux into the lithosphere, and prolongs mantle convection.


title: A note on weakly proregular sequences and local cohomology

abstract: In this note, we give an elementary proof of the result given by Schenzel that there are functorial isomorphisms between local cohomology groups and \v{C}ech cohomology groups, by using weakly proregular sequences. In [Sch03], he used notions of derived category theory in his proof, but we do not use them in this paper.


title: Traffic-Aware Service Relocation in Cloud-Oriented Elastic Optical Networks

abstract: In this paper, we study problem of efficient service relocation (i.e., changing assigned data center for a selected client node) in elastic optical networks (EONs) in order to increase network performance (measured by the volume of accepted traffic). To this end, we first propose novel traffic model for cloud ready transport networks. The model takes into account four flow types (i.e., city-to-city, city-to-data center, data center-to-data center and data center-to-data center) while the flow characteristics are based on real economical and geographical parameters of the cities related to network nodes. Then, we propose dedicated flow allocation algorithm that can be supported by the service relocation process. We also introduce 21 different relocation policies, which use three types of data for decision making - network topological characteristics, rejection history and traffic prediction. Eventually, we perform extensive numerical experiments in order to: (i) tune proposed optimization approaches and (ii) evaluate and compare their efficiency and select the best one. The results of the investigation prove high efficiency of the proposed policies. The propoerly designed relocation policy allowed to allocate up to 3% more traffic (compared to the allocation without that policy). The results also reveal that the most efficient relocation policy bases its decisions on two types of data simultaneously - the rejection history and traffic prediction.


title: Dependency Parsing as MRC-based Span-Span Prediction

abstract: Higher-order methods for dependency parsing can partially but not fully address the issue that edges in dependency trees should be constructed at the text span/subtree level rather than word level. In this paper, we propose a new method for dependency parsing to address this issue. The proposed method constructs dependency trees by directly modeling span-span (in other words, subtree-subtree) relations. It consists of two modules: the {\it text span proposal module} which proposes candidate text spans, each of which represents a subtree in the dependency tree denoted by (root, start, end); and the {\it span linking module}, which constructs links between proposed spans. We use the machine reading comprehension (MRC) framework as the backbone to formalize the span linking module, where one span is used as a query to extract the text span/subtree it should be linked to. The proposed method has the following merits: (1) it addresses the fundamental problem that edges in a dependency tree should be constructed between subtrees; (2) the MRC framework allows the method to retrieve missing spans in the span proposal stage, which leads to higher recall for eligible spans. Extensive experiments on the PTB, CTB and Universal Dependencies (UD) benchmarks demonstrate the effectiveness of the proposed method. The code is available at \url{https://github.com/ShannonAI/mrc-for-dependency-parsing}


title: Explaining $g_{\mu}-2$ and $R_{K^{(*)}}$ using the light mediators of $U(1)_{T3R}$

abstract: Scenarios in which right-handed light Standard Model fermions couple to a new gauge group, $U(1)_{T3R}$ can naturally generate a sub-GeV dark matter candidate. But such models necessarily have large couplings to the Standard Model, generally yielding tight experimental constraints. We show that the contributions to $g_\mu-2$ from the dark photon and dark Higgs largely cancel out in the narrow window where all the experimental constraints are satisfied, leaving a net correction which is consistent with recent measurements from Fermilab. These models inherently violate lepton universality, and UV completions of these models can include quark flavor violation which can explain $R_{K^{(\ast)}}$ anomalies as observed at the LHCb experiment after satisfying constraints on $Br(B_s\rightarrow\mu\mu)$ and various other constraints in the allowed parameter space of the model. This scenario can be probed by FASER, SeaQuest, SHiP, LHCb, Belle, etc.


title: Thin-Film Smoothed Particle Hydrodynamics Fluid

abstract: We propose a particle-based method to simulate thin-film fluid that jointly facilitates aggressive surface deformation and vigorous tangential flows. We build our dynamics model from the surface tension driven Navier-Stokes equation with the dimensionality reduced using the asymptotic lubrication theory and customize a set of differential operators based on the weakly compressible Smoothed Particle Hydrodynamics (SPH) for evolving pointset surfaces. The key insight is that the compressible nature of SPH, which is unfavorable in its typical usage, is helpful in our application to co-evolve the thickness, calculate the surface tension, and enforce the fluid incompressibility on a thin film. In this way, we are able to two-way couple the surface deformation with the in-plane flows in a physically based manner. We can simulate complex vortical swirls, fingering effects due to Rayleigh-Taylor instability, capillary waves, Newton's interference fringes, and the Marangoni effect on liberally deforming surfaces by presenting both realistic visual results and numerical validations. The particle-based nature of our system also enables it to conveniently handle topology changes and codimension transitions, allowing us to marry the thin-film simulation with a wide gamut of 3D phenomena, such as pinch-off of unstable catenoids, dripping under gravity, merging of droplets, as well as bubble rupture.


title: Exclusive heavy vector meson electroproduction to NLO in collinear factorisation

abstract: We compute the exclusive electroproduction, $\gamma^* p \rightarrow V p$, of heavy quarkonia $V$ to NLO in the collinear factorisation scheme, which has been formally proven for this process. The inclusion of an off-shell virtuality $Q^2$ carried by the photon extends the photoproduction phase space of the exclusive heavy quarkonia observable to electroproduction kinematics. This process is relevant for diffractive scattering at HERA and the upcoming EIC, as well as at the proposed LHeC and FCC.


title: Comment on: "Geometric phase of neutrinos: differences between Dirac and Majorana neutrinos" [Phys. Lett. B 780, 216 (2018)]

abstract: In [Phys. Lett. B 780, 216 (2018)], Capolupo et al. calculate the noncyclic geometric phases associated with neutrino flavor transitions in the two-neutrino scenario, and claim that the results depend on the choice of representations of neutrino mixing matrix thus can be use to distinguish between Dirac and Majorana neutrinos. In this paper, we show that their calculation is flawed due to incorrect application of the definition of noncyclic geometric phase and the omission of one term in Wolfenstein effective Hamiltonian. Their results are neither gauge invariant nor lepton field rephasing invariant. We present an alternative calculation, which is solely in order to demonstrate that the Majorana CP-violating phase enters the geometric phase essentially by lepton field rephasing transformation. We point out that the seemingly nontrivial dependence of geometric phase on Majorana CP-violating phase presented in [Phys. Lett. B 780, 216 (2018)] is unphysical and thus unmeasurable.


title: Comparison of machine learning and deep learning techniques in promoter prediction across diverse species

abstract: Gene promoters are the key DNA regulatory elements positioned around the transcription start sites and are responsible for regulating gene transcription process. Various alignment-based, signal-based and content-based approaches are reported for the prediction of promoters. However, since all promoter sequences do not show explicit features, the prediction performance of these techniques is poor. Therefore, many machine learning and deep learning models have been proposed for promoter prediction. In this work, we studied methods for vector encoding and promoter classification using genome sequences of three distinct higher eukaryotes viz. yeast (Saccharomyces cerevisiae), A. thaliana (plant) and human (Homo sapiens). We compared one-hot vector encoding method with frequency-based tokenization (FBT) for data pre-processing on 1-D Convolutional Neural Network (CNN) model. We found that FBT gives a shorter input dimension reducing the training time without affecting the sensitivity and specificity of classification. We employed the deep learning techniques, mainly CNN and recurrent neural network with Long Short Term Memory (LSTM) and random forest (RF) classifier for promoter classification at k-mer sizes of 2, 4 and 8. We found CNN to be superior in classification of promoters from non-promoter sequences (binary classification) as well as species-specific classification of promoter sequences (multiclass classification). In summary, the contribution of this work lies in the use of synthetic shuffled negative dataset and frequency-based tokenization for pre-processing. This study provides a comprehensive and generic framework for classification tasks in genomic applications and can be extended to various classification problems.


title: Global Wheat Head Dataset 2021: more diversity to improve the benchmarking of wheat head localization methods

abstract: The Global Wheat Head Detection (GWHD) dataset was created in 2020 and has assembled 193,634 labelled wheat heads from 4,700 RGB images acquired from various acquisition platforms and 7 countries/institutions. With an associated competition hosted in Kaggle, GWHD has successfully attracted attention from both the computer vision and agricultural science communities. From this first experience in 2020, a few avenues for improvements have been identified, especially from the perspective of data size, head diversity and label reliability. To address these issues, the 2020 dataset has been reexamined, relabeled, and augmented by adding 1,722 images from 5 additional countries, allowing for 81,553 additional wheat heads to be added. We now release a new version of the Global Wheat Head Detection (GWHD) dataset in 2021, which is bigger, more diverse, and less noisy than the 2020 version. The GWHD 2021 is now publicly available at http://www.global-wheat.com/ and a new data challenge has been organized on AIcrowd to make use of this updated dataset.


title: Nodeless superconductivity in the centro- and noncentrosymmetric rhenium-boron superconductors

abstract: We report a comprehensive study of the centrosymmetric Re$_3$B and noncentrosymmetric Re$_7$B$_3$ superconductors. At a macroscopic level, their bulk superconductivity (SC), with $T_c$ = 5.1 K (Re$_3$B) and 3.3 K (Re$_7$B$_3$), was characterized via electrical-resistivity, magnetization, and heat-capacity measurements, while their microscopic superconducting properties were investigated by means of muon-spin rotation/relaxation ($\mu$SR). In both Re$_3$B and Re$_7$B$_3$ the low-$T$ zero-field electronic specific heat and the superfluid density (determined via tranverse-field $\mu$SR) suggest a nodeless SC. Both compounds exhibit some features of multigap SC, as evidenced by temperature-dependent upper critical fields $H_\mathrm{c2}(T)$, as well as by electronic band-structure calculations. The absence of spontaneous magnetic fields below the onset of SC, as determined from zero-field $\mu$SR measurements, indicates a preserved time-reversal symmetry in the superconducting state of both Re$_3$B and Re$_7$B$_3$. Our results suggest that a lack of inversion symmetry and the accompanying antisymmetric spin-orbit coupling effects are not essential for the occurrence of multigap SC in these rhenium-boron compounds.


title: Structure of $^{46,47}$Ca from the $\beta^-$ decay of $^{46,47}$K in the framework of nuclear shell model

abstract: In the present work, we report a comprehensive theoretical study of the $\log ft$ values for the allowed and forbidden $\beta^-$ decay transitions of $^{46}$K and $^{47}$K corresponding to recently available experimental data from the GRIFFIN spectrometer at TRIUMF-ISAC [Phys. Rev. C {\bf 100}, 054327 (2019); Phys. Rev. C {\bf 102}, 054314 (2020)]. We perform the nuclear shell-model calculation in $sdpf$-valence space, with the SDPF-MU interaction, to calculate low-lying energy spectra of $^{46,47}$K and $^{46,47}$Ca. For further investigation, we also calculate spectroscopic properties of $^{46,47}$K, $^{46,47}$Ca and compare the results with the experimental data. We suggest spin-parity of several levels, which were previously tentative, in both the calcium isotopes. Based on the energy and $\log ft$ values, we conclude that the state at 3.984 MeV in $^{46}$Ca could be either $3^{-}$ or $2^{+}$ and a state at 4.432 MeV might be $3^{-}$. The spin-parity of the states at 2.875, 3.951 and 4.453 MeV are predicted to be $1/2^-$, $3/2^-$ and $1/2^-$ or $1/2^+$, respectively, in $^{47}$Ca. We also give the confirmation to spin-parity of 2.850, 3.889 and 4.606 MeV states for $^{47}$Ca. Our results of level schemes of $^{46,47}$K are in a reasonable agreement with the experimental data, while the agreement of calculated $\log ft$ values for the $\beta^-$ decay with the experimental data is limited.


title: Summing Up Smart Transitions

abstract: Some of the most significant high-level properties of currencies are the sums of certain account balances. Properties of such sums can ensure the integrity of currencies and transactions. For example, the sum of balances should not be changed by a transfer operation. Currencies manipulated by code present a verification challenge to mathematically prove their integrity by reasoning about computer programs that operate over them, e.g., in Solidity. The ability to reason about sums is essential: even the simplest ERC-20 token standard of the Ethereum community provides a way to access the total supply of balances. Unfortunately, reasoning about code written against this interface is non-trivial: the number of addresses is unbounded, and establishing global invariants like the preservation of the sum of the balances by operations like transfer requires higher-order reasoning. In particular, automated reasoners do not provide ways to specify summations of arbitrary length. In this paper, we present a generalization of first-order logic which can express the unbounded sum of balances. We prove the decidablity of one of our extensions and the undecidability of a slightly richer one. We introduce first-order encodings to automate reasoning over software transitions with summations. We demonstrate the applicability of our results by using SMT solvers and first-order provers for validating the correctness of common transitions in smart contracts.


title: Optimal Spatial Signal Design for mmWave Positioning under Imperfect Synchronization

abstract: We consider the problem of spatial signal design for multipath-assisted mmWave positioning under limited prior knowledge on the user's location and clock bias. We propose an optimal robust design and, based on the low-dimensional precoder structure under perfect prior knowledge, a codebook-based heuristic design with optimized beam power allocation. Through numerical results, we characterize different position-error-bound (PEB) regimes with respect to clock bias uncertainty and show that the proposed low-complexity codebook-based designs outperform the conventional directional beam codebook and achieve near-optimal PEB performance for both analog and digital architectures.


title: Crofton formulas in pseudo-Riemannian space forms

abstract: Crofton formulas on simply-connected Riemannian space forms allow to compute the volumes, or more generally the Lipschitz-Killing curvature integrals of a submanifold with corners, by integrating the Euler characteristic of its intersection with all geodesic submanifolds. We develop a framework of Crofton formulas with distributions replacing measures, which has in its core Alesker's Radon transform on valuations. We then apply this framework, and our recent Hadwiger-type classification, to compute explicit Crofton formulas for all isometry-invariant valuations on all pseudospheres, pseudo-Euclidean and pseudohyperbolic spaces. We find that, in essence, a single measure which depends analytically on the metric, gives rise to all those Crofton formulas through its distributional boundary values at parts of the boundary corresponding to the different indefinite signatures. In particular, the Crofton formulas we obtain are formally independent of signature.


title: Cortado---An Interactive Tool for Data-Driven Process Discovery and Modeling

abstract: Process mining aims to diagnose and improve operational processes. Process mining techniques allow analyzing the event data generated and recorded during the execution of (business) processes to gain valuable insights. Process discovery is a key discipline in process mining that comprises the discovery of process models on the basis of the recorded event data. Most process discovery algorithms work in a fully automated fashion. Apart from adjusting their configuration parameters, conventional process discovery algorithms offer limited to no user interaction, i.e., we either edit the discovered process model by hand or change the algorithm's input by, for instance, filtering the event data. However, recent work indicates that the integration of domain knowledge in (semi-)automated process discovery algorithms often enhances the quality of the process models discovered. Therefore, this paper introduces Cortado, a novel process discovery tool that leverages domain knowledge while incrementally discovering a process model from given event data. Starting from an initial process model, Cortado enables the user to incrementally add new process behavior to the process model under construction in a visual and intuitive manner. As such, Cortado unifies the world of manual process modeling with that of automated process discovery.


title: AudioVisual Video Summarization

abstract: Audio and vision are two main modalities in video data. Multimodal learning, especially for audiovisual learning, has drawn considerable attention recently, which can boost the performance of various computer vision tasks. However, in video summarization, existing approaches just exploit the visual information while neglect the audio information. In this paper, we argue that the audio modality can assist vision modality to better understand the video content and structure, and further benefit the summarization process. Motivated by this, we propose to jointly exploit the audio and visual information for the video summarization task, and develop an AudioVisual Recurrent Network (AVRN) to achieve this. Specifically, the proposed AVRN can be separated into three parts: 1) the two-stream LSTM is utilized to encode the audio and visual feature sequentially by capturing their temporal dependency. 2) the audiovisual fusion LSTM is employed to fuse the two modalities by exploring the latent consistency between them. 3) the self-attention video encoder is adopted to capture the global dependency in the video. Finally, the fused audiovisual information, and the integrated temporal and global dependencies are jointly used to predict the video summary. Practically, the experimental results on the two benchmarks, \emph{i.e.,} SumMe and TVsum, have demonstrated the effectiveness of each part, and the superiority of AVRN compared to those approaches just exploiting visual information for video summarization.


title: Probabilistic Robust Linear Quadratic Regulators with Gaussian Processes

abstract: Probabilistic models such as Gaussian processes (GPs) are powerful tools to learn unknown dynamical systems from data for subsequent use in control design. While learning-based control has the potential to yield superior performance in demanding applications, robustness to uncertainty remains an important challenge. Since Bayesian methods quantify uncertainty of the learning results, it is natural to incorporate these uncertainties into a robust design. In contrast to most state-of-the-art approaches that consider worst-case estimates, we leverage the learning method's posterior distribution in the controller synthesis. The result is a more informed and, thus, more efficient trade-off between performance and robustness. We present a novel controller synthesis for linearized GP dynamics that yields robust controllers with respect to a probabilistic stability margin. The formulation is based on a recently proposed algorithm for linear quadratic control synthesis, which we extend by giving probabilistic robustness guarantees in the form of credibility bounds for the system's stability.Comparisons to existing methods based on worst-case and certainty-equivalence designs reveal superior performance and robustness properties of the proposed method.


title: On Achievable Rates of Line Networks with Generalized Batched Network Coding

abstract: To better understand the wireless network design with a large number of hops, we investigate a line network formed by general discrete memoryless channels (DMCs), which may not be identical. Our focus lies on Generalized Batched Network Coding (GBNC) that encompasses most existing schemes as special cases and achieves the min-cut upper bounds as the parameters batch size and inner block length tend to infinity. The inner blocklength of GBNC provides upper bounds on the required latency and buffer size at intermediate network nodes. By employing a bottleneck status technique, we derive new upper bounds on the achievable rates of GBNCs These bounds surpass the min-cut bound for large network lengths when the inner blocklength and batch size are small. For line networks of canonical channels, certain upper bounds hold even with relaxed inner blocklength constraints. Additionally, we employ a channel reduction technique to generalize the existing achievability results for line networks with identical DMCs to networks with non-identical DMCs. For line networks with packet erasure channels, we make refinement in both the upper bound and the coding scheme, and showcase their proximity through numerical evaluations.


title: Upper bounds on the heights of polynomials and rational fractions from their values

abstract: Let $F$ be a univariate polynomial or rational fraction of degree $d$ defined over a number field. We give bounds from above on the absolute logarithmic Weil height of $F$ in terms of the heights of its values at small integers: we review well-known bounds obtained from interpolation algorithms given values at $d+1$ (resp. $2d+1$) points, and obtain tighter results when considering a larger number of evaluation points.


title: Classifying variety of customer's online engagement for churn prediction with mixed-penalty logistic regression

abstract: Using big data to analyze consumer behavior can provide effective decision-making tools for preventing customer attrition (churn) in customer relationship management (CRM). Focusing on a CRM dataset with several different categories of factors that impact customer heterogeneity (i.e., usage of self-care service channels, duration of service, and responsiveness to marketing actions), we provide new predictive analytics of customer churn rate based on a machine learning method that enhances the classification of logistic regression by adding a mixed penalty term. The proposed penalized logistic regression can prevent overfitting when dealing with big data and minimize the loss function when balancing the cost from the median (absolute value) and mean (squared value) regularization. We show the analytical properties of the proposed method and its computational advantage in this research. In addition, we investigate the performance of the proposed method with a CRM data set (that has a large number of features) under different settings by efficiently eliminating the disturbance of (1) least important features and (2) sensitivity from the minority (churn) class. Our empirical results confirm the expected performance of the proposed method in full compliance with the common classification criteria (i.e., accuracy, precision, and recall) for evaluating machine learning methods.


title: Voxel-level Siamese Representation Learning for Abdominal Multi-Organ Segmentation

abstract: Recent works in medical image segmentation have actively explored various deep learning architectures or objective functions to encode high-level features from volumetric data owing to limited image annotations. However, most existing approaches tend to ignore cross-volume global context and define context relations in the decision space. In this work, we propose a novel voxel-level Siamese representation learning method for abdominal multi-organ segmentation to improve representation space. The proposed method enforces voxel-wise feature relations in the representation space for leveraging limited datasets more comprehensively to achieve better performance. Inspired by recent progress in contrastive learning, we suppressed voxel-wise relations from the same class to be projected to the same point without using negative samples. Moreover, we introduce a multi-resolution context aggregation method that aggregates features from multiple hidden layers, which encodes both the global and local contexts for segmentation. Our experiments on the multi-organ dataset outperformed the existing approaches by 2% in Dice score coefficient. The qualitative visualizations of the representation spaces demonstrate that the improvements were gained primarily by a disentangled feature space.


title: EA-Net: Edge-Aware Network for Flow-based Video Frame Interpolation

abstract: Video frame interpolation can up-convert the frame rate and enhance the video quality. In recent years, although the interpolation performance has achieved great success, image blur usually occurs at the object boundaries owing to the large motion. It has been a long-standing problem, and has not been addressed yet. In this paper, we propose to reduce the image blur and get the clear shape of objects by preserving the edges in the interpolated frames. To this end, the proposed Edge-Aware Network (EA-Net) integrates the edge information into the frame interpolation task. It follows an end-to-end architecture and can be separated into two stages, \emph{i.e.}, edge-guided flow estimation and edge-protected frame synthesis. Specifically, in the flow estimation stage, three edge-aware mechanisms are developed to emphasize the frame edges in estimating flow maps, so that the edge-maps are taken as the auxiliary information to provide more guidance to boost the flow accuracy. In the frame synthesis stage, the flow refinement module is designed to refine the flow map, and the attention module is carried out to adaptively focus on the bidirectional flow maps when synthesizing the intermediate frames. Furthermore, the frame and edge discriminators are adopted to conduct the adversarial training strategy, so as to enhance the reality and clarity of synthesized frames. Experiments on three benchmarks, including Vimeo90k, UCF101 for single-frame interpolation and Adobe240-fps for multi-frame interpolation, have demonstrated the superiority of the proposed EA-Net for the video frame interpolation task.


title: Continual Learning with Echo State Networks

abstract: Continual Learning (CL) refers to a learning setup where data is non stationary and the model has to learn without forgetting existing knowledge. The study of CL for sequential patterns revolves around trained recurrent networks. In this work, instead, we introduce CL in the context of Echo State Networks (ESNs), where the recurrent component is kept fixed. We provide the first evaluation of catastrophic forgetting in ESNs and we highlight the benefits in using CL strategies which are not applicable to trained recurrent models. Our results confirm the ESN as a promising model for CL and open to its use in streaming scenarios.


title: Accelerator Vacuum

abstract: This lecture introduces major physics and technology aspects of accelerator vacuum systems. Following an introduction, in the second section generic vacuum quantities such as pressure, gas density, the gas equation, pumping speed, conductance are introduced. Since accelerators typically have lengthy vacuum tubes, one-dimensional calculation is in many cases sufficient to compute a pressure profile for an accelerator, and methods for doing so are developed in the next section. In the fourth section accelerator specific aspects of vacuum are considered. This includes lifetime limiting effects for the particle beam, such as bremsstrahlung, elastic and inelastic scattering. Requirements for vacuum properties are derived. In the fifth section types of components and suitable materials for accelerator vacuum systems are described. Such components are for example flange systems, vacuum chambers for accelerators and the different types of pumps.


title: Generation of the special linear group by elementary matrices in some measure Banach algebras

abstract: For a commutative unital ring $R$, and $n\in \mathbb{N}$, let $\textrm{SL}_n(R)$ denote the special linear group over $R$, and $\textrm{E}_n(R)$ the subgroup of elementary matrices. Let ${\mathcal{M}}^+$ be the Banach algebra of all complex Borel measures on $[0,+\infty)$ with the norm given by the total variation, the usual operations of addition and scalar multiplication, and with convolution. It is shown that $\textrm{SL}_n(A)=\textrm{E}_n(A)$ for Banach subalgebras $A$ of ${\mathcal{M}}^+$ that are closed under the operation ${\mathcal{M}}^+\owns \mu \mapsto \mu_t$, $t\in [0,1]$, where $\mu_t(E):=\int_E (1-t)^x d\mu(x)$ for $t\in [0,1)$, and Borel subsets $E$ of $[0,+\infty)$, and $\mu_1:=\mu(\{0\})\delta$, where $\delta\in {\mathcal{M}}^+$ is the Dirac measure. Many illustrative examples of such Banach algebras $A$ are given. An example of a Banach subalgebra $A\subset {\mathcal{M}}^+$, that does not possess the closure property above, but for which $\textrm{SL}_n(A)=\textrm{E}_n(A)$ neverthess holds, is also given.


title: Theoretical and Experimental Study of LiBH4-LiBr Phase Diagram

abstract: Because substitutions of BH4- anion with Br can stabilize the hexagonal structure of the LiBH4 at room temperature, leading to a high Li-ion conductivity, its thermodynamic stability has been investigated in this work. The binary LiBH4-LiBr system has been explored by means of X-ray diffraction and differential scanning calorimetry, combined with an assessment of thermodynamic properties. The monophasic zone of the hexagonal Li(BH4)1-x(Br)x solid solution has been defined from x=0.30 to x=0.55 at room temperature. Solubility limits have been determined by in-situ X-ray diffraction at various temperatures. For the formation of the h-Li(BH4)0.6(Br)0.4 solid solution, a value of the enthalpy of mixing has been determined experimentally equal to 1.0 kJ/mol. In addition, the enthalpy of melting has been measured for various compositions. Lattice stabilities of LiBH4 and LiBr have been determined by ab initio calculations, using CRYSTAL and VASP codes. Combining results of experiments and theoretical calculations, the LiBH4-LiBr phase diagram has been determined in all composition and temperature range by the CALPHAD method.


title: A sufficient condition for $k$-contraction of the series connection of two systems

abstract: The flow of contracting systems contracts 1-dimensional parallelotopes, i.e., line segments, at an exponential rate. One reason for the usefulness of contracting systems is that many interconnections of contracting sub-systems yield an overall contracting system. A generalization of contracting systems is $k$-contracting systems, where $k\in\{1,\dots,n\}$. The flow of such systems contracts the volume of $k$-dimensional parallelotopes at an exponential rate, and in particular they reduce to contracting systems when $k=1$. It was shown by Muldowney and Li that time-invariant $2$-contracting systems have a well-ordered asymptotic behaviour: all bounded trajectories converge to the set of equilibria. Here, we derive a sufficient condition guaranteeing that the system obtained from the series interconnection of two sub-systems is $k$-contracting. This is based on a new formula for the $k$th multiplicative and additive compounds of a block-diagonal matrix, which may be of independent interest. As an application, we find conditions guaranteeing that $2$-contracting systems with an exponentially decaying input retain the well-ordered behaviour of time-invariant 2-contracting systems.


title: A complete picture of the four-party linear inequalities in terms of the 0-entropy

abstract: Multipartite quantum system is complex. Characterizing the relations among the three bipartite reduced density operators $\rho_{AB}$, $\rho_{AC}$ and $\rho_{BC}$ of a tripartite state $\rho_{ABC}$ has been an open problem in quantum information. One of such relations has been reduced by [Cadney et al, LAA. 452, 153, 2014] to a conjectured inequality in terms of matrix rank, namely $r(\rho_{AB}) \cdot r(\rho_{AC})\ge r(\rho_{BC})$ for any $\rho_{ABC}$. It is denoted as open problem $41$ in the website "Open quantum problems-IQOQI Vienna". We prove the inequality, and thus establish a complete picture of the four-party linear inequalities in terms of the $0$-entropy. Our proof is based on the construction of a novel canonical form of bipartite matrices under local equivalence. We apply our result to the marginal problem and the extension of inequalities in the multipartite systems, as well as the condition when the inequality is saturated.


title: Electrochemical Degradation of Methylene Blue Using Ce(IV) Ionic Mediator in the Presence of Ag(I) Ion Catalyst for Environmental Remediation

abstract: Methylene blue (MB) is often used in textile industries and is actively present in the wastewater runs-off. Recently, mediated electrochemical oxidation (MEO) offers a fast, reliable and promising results for environmental remediation. Thus, we aimed to evaluate the electro-degradation potential of MB by MEO using Ce(IV) ionic mediator. Furthermore, we also observed the influence of addition Ag(I) ion catalyst in MEO for degradation of MB. The electro-degradation of MB was evaluated by cyclic voltammetry technique and was confirmed by UV-Vis spectrophotometry, high performance liquid chromatography (HPLC) analysis and back-titration analysis. The results showed that in the absence of Ag(I) ion catalyst, about 89 % of MB was decolorized within 30 minutes. When 2 mM of Ag(I) ion catalyst was applied, the electro-degradation of MB was increased to maximum value of 100%. The UV-Vis spectrum confirmed the electro-degradation of MB as suggested by decreased maximum absorbance value at {\lambda} 668 nm from 2.125 to 0.059. The HPLC analysis showed the formation of five new peaks at retention time of 1.331, 1.495, 1.757, 1.908 and 2.017 minutes, confirming the electro-degradation of MB. The back-titration analysis showed about 52.9% of CO2 was produced during electro-degradation of MB by MEO. More importantly, more than 97% of Ce(IV) ionic mediator were recovered in our investigation. Our results reveal the potential of MEO using Ce(IV) ionic mediator to improve the wastewater runs-off quality from textile as well as other industries containing methylene blue.


title: Strictly nef divisors on singular threefolds

abstract: Let $X$ be a normal projective threefold with mild singularities, and $L_X$ a strictly nef $\mathbb{Q}$-divisor on $X$. First, we show the ampleness of $K_X+tL_X$ with sufficiently large $t$ if either the Kodaira dimension $\kappa(X)\neq 0$ or the augmented irregularity $q^{\circ}(X)\neq 0$. Second, we show that, if $(X,\Delta)$ is a projective klt threefold pair with the anti-log canonical divisor $-(K_X+\Delta)$ being strictly nef, then $X$ is rationally connected.


title: Internal Smith-Purcell radiation and its interplay with Cherenkov diffraction radiation in silicon -- a combined time and frequency domain numerical study

abstract: We consider radiation generated by an electron travelling parallel to a planar rectangular silicon grating: Smith-Purcell radiation to the vacuum side, internal Smith-Purcell radiation into the dielectric, and Cherenkov radiation into the dielectric. Internal Smith-Purcell radiation dominates over the other two radiation mechanisms in the range where conventional Smith-Purcell radiation is forbidden. This observation may lead to improved design of contactless particle beam monitors.


title: On the linear independence of values of $G$-functions

abstract: We consider a $G$-function $F(z)=\sum_{k=0}^{\infty} A_k z^k \in \mathbb{K}[[z]]$, where $\mathbb{K}$ is a number field, of radius of convergence $R$ and annihilated by the $G$-operator $L \in \mathbb{K}(z)[\mathrm{d}/\mathrm{d}z]$, and a parameter $\beta \in \mathbb{Q} \setminus \mathbb{Z}_{\leqslant 0}$. We define a family of $G$-functions $F_{\beta,n}^{[s]}(z)=\sum_{k=0}^{\infty} \frac{A_k}{(k+\beta+n)^s} z^{k+n}$ indexed by the integers $s$ and $n$. Fix $\alpha \in \mathbb{K}^* \cap D(0,R)$. Let $\Phi_{\alpha,\beta,S}$ be the $\mathbb{K}$-vector space generated by the values $F_{\beta,n}^{[s]}(\alpha)$, $n \in \mathbb{N}$, $0 \leqslant s \leqslant S$. We show that there exist some positive constants $u_{\mathbb{K},F,\beta}$ and $v_{F,\beta}$ such that $u_{\mathbb{K},F,\beta} \log(S) \leqslant \dim_{\mathbb{K}} \Phi_{\alpha,\beta,S} \leqslant v_{F,\beta} S$. This generalizes a previous theorem of Fischler and Rivoal (2017), which is the case $\beta=0$. Our proof is an adaptation of their article "Linear independence of values of $G$-functions'' ([FR]), making use of the Andr\'e-Chudnovsky-Katz Theorem on the structure of the $G$-operators and of the saddle point method.


title: Quantization-based approximation of reflected BSDEs with extended upper bounds for recursive quantization

abstract: We establish upper bounds for the $L^p$-quantization error, p in (1, 2+d), induced by the recursive Markovian quantization of a d-dimensional diffusion discretized via the Euler scheme. We introduce a hybrid recursive quantization scheme, easier to implement in the high-dimensional framework, and establish upper bounds to the corresponding $L^p$-quantization error. To take advantage of these extensions, we propose a time discretization scheme and a recursive quantization-based discretization scheme associated to a reflected Backward Stochastic Differential Equation and estimate $L^p$-error bounds induced by the space approximation. We will explain how to numerically compute the solution of the reflected BSDE relying on the recursive quantization and compare it to other types of quantization.


title: Time-lag bias induced by unobserved heterogeneity: comparing treated patients to controls with a different start of follow-up

abstract: In comparative effectiveness research, treated and control patients might have a different start of follow-up as treatment is often started later in the disease trajectory. This typically occurs when data from treated and controls are not collected within the same source. Only patients who did not yet experience the event of interest whilst in the control condition end up in the treatment data source. In case of unobserved heterogeneity, these treated patients will have a lower average risk than the controls. We illustrate how failing to account for this time-lag between treated and controls leads to bias in the estimated treatment effect. We define estimands and time axes, then explore five methods to adjust for this time-lag bias by utilising the time between diagnosis and treatment initiation in different ways. We conducted a simulation study to evaluate whether these methods reduce the bias and then applied the methods to a comparison between fertility patients treated with insemination and similar but untreated patients. We conclude that time-lag bias can be vast and that the time between diagnosis and treatment initiation should be taken into account in the analysis to respect the chronology of the disease and treatment trajectory.


title: Halogen Vacancy Migration at Surfaces of CsPbBr$_3$ Perovskites: Insights from Density Functional Theory

abstract: Migration of halogen vacancies is one of the primary sources of phase segregation and material degradation in lead-halide perovskites. Here we use first principles density functional theory to compare migration energy barriers and paths of bromine vacancies in the bulk and at a (001) surface of cubic CsPbBr$_3$. Our calculations indicate that surfaces might facilitate bromine vacancy migration in these perovskites, due to their soft structure that allows for bond lengths variations larger than in the bulk. We calculate the migration energy for axial-to-axial bromine vacancy migration at the surface to be only half of the value in the bulk. Furthermore, we study the effect of modifying the surface with four different alkali halide monolayers, finding an increase of the migration barrier to almost the bulk value for the NaCl-passivated system. Migration barriers are found to be correlated to the lattice mismatch between the CsPbBr$_3$ surface and the alkali halide monolayer. Our calculations suggest that surfaces might play a significant role in mediating vacancy migration in halide perovskites, a result with relevance for perovskite nanocrystals with large surface-to-volume ratios. Moreover, we propose viable ways for suppressing this undesirable process through passivation with alkali halide salts.


title: Structure and dynamics of the inner nebula around the symbiotic stellar system R Aqr

abstract: We investigate the structure, dynamics, and chemistry of the molecule-rich nebula around the stellar symbiotic system R Aqr, which is significantly affected by the presence of a white dwarf (WD) companion. We study the effects of the strong dynamical interaction between the AGB wind and the WD and of photodissociation by the WD UV radiation on the circumstellar shells. We obtained high-quality ALMA maps of the 12CO J=2-1, J=3-2, and J=6-5 lines and of 13CO J=3-2. The maps were analyzed by means of a heuristic 3D model that is able to reproduce the observations. In order to interpret this description of the molecule-rich nebula, we performed sophisticated calculations of hydrodynamical interaction and photoinduced chemistry. We find that the CO-emitting gas is distributed within a relatively small region <~ 1.5". Its structure consists of a central dense component plus strongly disrupted outer regions, which seem to be parts of spiral arms that are highly focused on the orbital plane. The structure and dynamics of these spiral arms are compatible with our hydrodynamical calculations. We argue that the observed nebula is the result of the dynamical interaction between the wind and the gravitational attraction of the WD. We also find that UV emission from the hot companion efficiently photodissociates molecules except in the densest and best-shielded regions, that is, in the close surroundings of the AGB star and some shreds of the spiral arms from which the detected lines come. We can offer a faithful description of the distribution of nebular gas in this prototypical source, which will be a useful template for studying material around other tight binary systems.


title: OntoEA: Ontology-guided Entity Alignment via Joint Knowledge Graph Embedding

abstract: Semantic embedding has been widely investigated for aligning knowledge graph (KG) entities. Current methods have explored and utilized the graph structure, the entity names and attributes, but ignore the ontology (or ontological schema) which contains critical meta information such as classes and their membership relationships with entities. In this paper, we propose an ontology-guided entity alignment method named OntoEA, where both KGs and their ontologies are jointly embedded, and the class hierarchy and the class disjointness are utilized to avoid false mappings. Extensive experiments on seven public and industrial benchmarks have demonstrated the state-of-the-art performance of OntoEA and the effectiveness of the ontologies.


title: Simplices and Regular Polygonal Tori in Euclidean Ramsey Theory

abstract: We show that any finite affinely independent set can be isometrically embedded into a regular polygonal torus, that is, a finite product of regular polygons. As a consequence, with a straightforward application of K\v{r}\'{i}\v{z}'s theorem, we get an alternative proof of the fact that all finite affinely independent sets are Ramsey, a result which was originally proved by Frankl and R\"{o}dl.


title: Variation on a Zernike wavefront sensor theme: optimal use of photons

abstract: The Zernike wavefront sensor (ZWFS) is a concept belonging to the wide class Fourier-filtering wavefront sensor (FFWFS). The ZWFS is known for its extremely high sensitivity while having a low dynamic range, which makes it a unique sensor for second stage adaptive optics (AO) systems or quasi-static aberrations calibration sensor. This sensor is composed of a focal plane mask made of a phase shifting dot fully described by two parameters: its diameter and depth. In this letter, we aim to improve the performance of this sensor by changing the diameter of its phase shifting dot. We begin with a general theoretical framework providing an analytical description of the FFWFS properties, then we predict the expected ZWFS sensitivity for different configurations of dot diameters and depths. The analytical predictions are then validated with end-to-end simulations. From this, we propose a variation of the classical ZWFS shape which exhibits extremely appealing properties. We show that the ZWFS sensitivity can be optimized by modifying the dot diameter and even reach the optimal theoretical limit, with a trade-off for low spatial frequencies sensitivity. As an example, we show that a ZWFS with a 2{\lambda}/D dot diameter (where {\lambda} is the sensing wavelength and D the telescope diameter), hereafter called Z2WFS, exhibits a sensitivity twice higher than the classical 1.06{\lambda}/D ZWFS for all the phase spatial components except for tip-tilt modes. Furthermore, this gain in sensitivity does not impact the dynamic range of the sensor, and the Z2WFS exhibits a similar dynamical range as the classical 1.06{\lambda}/D ZWFS. This study opens the path to the conception of diameter-optimized ZWFS.


title: Approximate Novelty Search

abstract: Width-based search algorithms seek plans by prioritizing states according to a suitably defined measure of novelty, that maps states into a set of novelty categories. Space and time complexity to evaluate state novelty is known to be exponential on the cardinality of the set. We present novel methods to obtain polynomial approximations of novelty and width-based search. First, we approximate novelty computation via random sampling and Bloom filters, reducing the runtime and memory footprint. Second, we approximate the best-first search using an adaptive policy that decides whether to forgo the expansion of nodes in the open list. These two techniques are integrated into existing width-based algorithms, resulting in new planners that perform significantly better than other state-of-the-art planners over benchmarks from the International Planning Competitions.


title: Cryptanalysis of Semidirect Product Key Exchange Using Matrices Over Non-Commutative Rings

abstract: It was recently demonstrated that the Matrix Action Key Exchange (MAKE) algorithm, a new type of key exchange protocol using the semidirect product of matrix groups, is vulnerable to a linear algebraic attack if the matrices are over a commutative ring. In this note, we establish conditions under which protocols using matrices over a non-commutative ring are also vulnerable to this attack. We then demonstrate that group rings $R[G]$ are examples of non-commutative rings that satisfy these conditions.


title: Efficient Stochastic Optimal Control through Approximate Bayesian Input Inference

abstract: Optimal control under uncertainty is a prevailing challenge for many reasons. One of the critical difficulties lies in producing tractable solutions for the underlying stochastic optimization problem. We show how advanced approximate inference techniques can be used to handle the statistical approximations principled and practically by framing the control problem as a problem of input estimation. Analyzing the Gaussian setting, we present an inference-based solver that is effective in stochastic and deterministic settings and was found to be superior to popular baselines on nonlinear simulated tasks. We draw connections that relate this inference formulation to previous approaches for stochastic optimal control and outline several advantages that this inference view brings due to its statistical nature.


title: Primordial black holes and secondary gravitational waves from string inspired general no-scale supergravity

abstract: The formation of primordial black hole (PBH) dark matter and the generation of scalar induced secondary gravitational waves (SIGWs) have been studied in the generic no-scale supergravity inflationary models. By adding an exponential term to the K\"ahler potential, the inflaton experiences a period of ultraslow-roll and the amplitude of primordial power spectrum at small scales is enhanced to $\mathcal{O}(10^{-2})$. The enhanced power spectra of primordial curvature perturbations can have both sharp and broad peaks. A wide mass range of PBHs can be produced in our model, and the frequencies of the accompanied SIGWs are ranged form nanohertz to kilohertz. We show four benchmark points where the generated PBH masses are around $\mathcal{O}(10^{-16}M_{\odot})$, $\mathcal{O}(10^{-12}M_{\odot})$, $\mathcal{O}(10^{-2}M_{\odot})$ and $\mathcal{O}(10^{2}M_{\odot})$. The PBHs with masses around $\mathcal{O}(10^{-16}M_{\odot})$ and $ \mathcal{O}(10^{-12}M_{\odot})$ can make up almost all the dark matter, and the accompanied SIGWs can be probed by the upcoming space-based gravitational wave observatory. Also, the SIGWs accompanied with the formation of stellar mass PBHs can be used to interpret the stochastic GW background in the nanohertz band, detected by the North American Nanohertz Observatory for gravitational waves, and can be tested by future interferometric gravitational wave observatory.


title: Matter-antimatter asymmetry induced by non-linear electrodynamics

abstract: In this work, we propose an economical model to address some open cosmological problems such as the absence of the initial cosmological singularity, an early acceleration of the Universe and the generation of matter-antimatter asymmetry. The model is based on a scenario in which the early Universe consists of a non-linear electrodynamics fields. It is found that the non-linear electrodynamics model has an equation of state $p=\frac{1}{3} \rho - \frac{4}{3} \beta \rho^{1+\alpha}$ which shows that the Universe undergoes an early epoch acceleration to a radiation era given by $p =\frac{1}{3} \rho$. We show that the singularities in the energy density, pressure and curvature are absent at early stages. In our scenario, the baryon asymmetry is generated by the non-linearity parameter $\beta$. Additionally, we calculate the resulting baryon asymmetry and discuss how a successful gravitational baryogenesis is obtained for different values of the model's parameter space.


title: Nuclear energy density functionals from machine learning

abstract: Machine learning is employed to build an energy density functional for self-bound nuclear systems for the first time. By learning the kinetic energy as a functional of the nucleon density alone, a robust and accurate orbital-free density functional for nuclei is established. Self-consistent calculations that bypass the Kohn-Sham equations provide the ground-state densities, total energies, and root-mean-square radii with a high accuracy in comparison with the Kohn-Sham solutions. No existing orbital-free density functional theory comes close to this performance for nuclei. Therefore, it provides a new promising way for future developments of nuclear energy density functionals for the whole nuclear chart.


title: Contractions of hyper-K\"ahler fourfolds and the Brauer group

abstract: We study the geometry of exceptional loci of birational contractions of hyper-K\"ahler fourfolds that are of K3$^{[2]}$-type. These loci are conic bundles over K3 surfaces and we determine their classes in the Brauer group. For this we use the results on twisted sheaves on K3 surfaces, on contractions and on the corresponding Heegner divisors. For a general K3 surface of fixed degree there are three (T-equivalence) classes of order two Brauer group elements. The elements in exactly two of these classes are represented by conic bundles on such fourfolds. We also discuss various examples of such conic bundles.


title: Automatic Fake News Detection: Are Models Learning to Reason?

abstract: Most fact checking models for automatic fake news detection are based on reasoning: given a claim with associated evidence, the models aim to estimate the claim veracity based on the supporting or refuting content within the evidence. When these models perform well, it is generally assumed to be due to the models having learned to reason over the evidence with regards to the claim. In this paper, we investigate this assumption of reasoning, by exploring the relationship and importance of both claim and evidence. Surprisingly, we find on political fact checking datasets that most often the highest effectiveness is obtained by utilizing only the evidence, as the impact of including the claim is either negligible or harmful to the effectiveness. This highlights an important problem in what constitutes evidence in existing approaches for automatic fake news detection.


title: Completeness of coherent state subsystems for nilpotent Lie groups

abstract: Let $G$ be a nilpotent Lie group and let $\pi$ be a coherent state representation of $G$. The interplay between the cyclicity of the restriction $\pi|_{\Gamma}$ to a lattice $\Gamma \leq G$ and the completeness of subsystems of coherent states based on a homogeneous $G$-space is considered. In particular, it is shown that necessary density conditions for Perelomov's completeness problem can be obtained via density conditions for the cyclicity of $\pi|_{\Gamma}$.


title: On Properties of a Regular Simplex Inscribed into a Ball

abstract: Let $B$ be a Euclidean ball in ${\mathbb R}^n$ and let $C(B)$ be a space of~continuous functions $f:B\to{\mathbb R}$ with the uniform norm $\|f\|_{C(B)}:=\max_{x\in B}|f(x)|.$ By $\Pi_1\left({\mathbb R}^n\right)$ we mean a set of polynomials of degree $\leq 1$, i.e., a set of linear functions upon ${\mathbb R}^n$. The interpolation projector $P:C(B)\to \Pi_1({\mathbb R}^n)$ with the nodes $x^{(j)}\in B$ is defined by the equalities $Pf\left(x^{(j)}\right)= f\left(x^{(j)}\right)$, $j=1,$ $\ldots,$ $ n+1$. The norm of $P$ as an operator from $C(B)$ to $C(B)$ can be calculated by the formula $\|P\|_B=\max_{x\in B}\sum |\lambda_j(x)|.$ Here $\lambda_j$ are the basic Lagrange polynomials corresponding to the $n$-dimensional nondegenerate simplex $S$ with the vertices $x^{(j)}$. Let $P^\prime$ be a projector having the nodes in the vertices \linebreak of a regular simplex inscribed into the ball. We describe the points $y\in B$ with the property $\|P^\prime\|_B=\sum |\lambda_j(y)|$. Also we formulate a geometric conjecture which implies that $\|P^\prime\|_B$ is equal to the minimal norm of an interpolation projector with nodes in $B$. We prove that this conjecture holds true at least for $n=1,2,3,4$. Keywords: regular simplex, ball, linear interpolation, projector, norm