title: Best Buddies Registration for Point Clouds

abstract: We propose new, and robust, loss functions for the point cloud registration problem. Our loss functions are inspired by the Best Buddies Similarity (BBS) measure that counts the number of mutual nearest neighbors between two point sets. This measure has been shown to be robust to outliers and missing data in the case of template matching for images. We present several algorithms, collectively named Best Buddy Registration (BBR), where each algorithm consists of optimizing one of these loss functions with Adam gradient descent. The loss functions differ in several ways, including the distance function used (point-to-point vs. point-to-plane), and how the BBS measure is combined with the actual distances between pairs of points. Experiments on various data sets, both synthetic and real, demonstrate the effectiveness of the BBR algorithms, showing that they are quite robust to noise, outliers, and distractors, and cope well with extremely sparse point clouds. One variant, BBR-F, achieves state-of-the-art accuracy in the registration of automotive lidar scans taken up to several seconds apart, from the KITTI and Apollo-Southbay datasets.


title: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy

abstract: The COVID-19 pandemic has impacted on every human activity and, because of the urgency of finding the proper responses to such an unprecedented emergency, it generated a diffused societal debate. The online version of this discussion was not exempted by the presence of d/misinformation campaigns, but differently from what already witnessed in other debates, the COVID-19 -- intentional or not -- flow of false information put at severe risk the public health, reducing the effectiveness of governments' countermeasures. In the present manuscript, we study the effective impact of misinformation in the Italian societal debate on Twitter during the pandemic, focusing on the various discursive communities. In order to extract the discursive communities, we focus on verified users, i.e. accounts whose identity is officially certified by Twitter. We thus infer the various discursive communities based on how verified users are perceived by standard ones: if two verified accounts are considered as similar by non unverified ones, we link them in the network of certified accounts. We first observe that, beside being a mostly scientific subject, the COVID-19 discussion show a clear division in what results to be different political groups. At this point, by using a commonly available fact-checking software (NewsGuard), we assess the reputation of the pieces of news exchanged. We filter the network of retweets (i.e. users re-broadcasting the same elementary piece of information, or tweet) from random noise and check the presence of messages displaying an url. The impact of misinformation posts reaches the 22.1% in the right and center-right wing community and its contribution is even stronger in absolute numbers, due to the activity of this group: 96% of all non reputable urls shared by political groups come from this community.


title: Towards a Cognitive Computational Neuroscience of Auditory Phantom Perceptions

abstract: In order to gain a mechanistic understanding of how tinnitus emerges in the brain, we must build biologically plausible computational models that mimic both tinnitus development and perception, and test the tentative models with brain and behavioral experiments. With a special focus on tinnitus research, we review recent work at the intersection of artificial intelligence, psychology and neuroscience, indicating a new research agenda that follows the idea that experiments will yield theoretical insight only when employed to test brain-computational models. This view challenges the popular belief, that tinnitus research is primarily data limited, and that producing large, multi-modal, and complex datasets, analyzed with advanced data analysis algorithms, will finally lead to fundamental insights into how tinnitus emerges. However, there is converging evidence that although modern technologies allow assessing neural activity in unprecedentedly rich ways in both, animals and humans, empirical testing one verbally defined hypothesis about tinnitus after another, will never lead to a mechanistic understanding. Instead, hypothesis testing needs to be complemented with the construction of computational models that generate verifiable predictions. We argue, that even though, contemporary artificial intelligence and machine learning approaches largely lack biological plausibility, the models to be constructed will have to draw on concepts from these fields, since they have already proven to do well in modeling brain function. Nevertheless, biological fidelity will have to be increased successively, leading to ever better and fine-grained models, allowing at the end for even testing possible treatment strategies in silico, before application in animal or patient studies.


title: Direct radio discovery of a cold brown dwarf

abstract: Magnetospheric processes seen in gas-giants such as aurorae and circularly-polarized cyclotron maser radio emission have been detected from some brown dwarfs. However, previous radio observations targeted known brown dwarfs discovered via their infrared emission. Here we report the discovery of BDR J1750+3809, a circularly polarized radio source detected around 144 MHz with the LOFAR telescope. Follow-up near-infrared photometry and spectroscopy show that BDR J1750+3809 is a cold methane dwarf of spectral type T$6.5\pm 1$ at a distance of $65^{+9}_{-8}\,{\rm pc}$. The quasi-quiescent radio spectral luminosity of BDR J1750+3809 is $\approx 5\times 10^{15}\,{\rm erg}\,{\rm s}^{-1}\,{\rm Hz}^{-1}$ which is over two orders of magnitude larger than that of the known population of comparable spectral type. This could be due to a preferential geometric alignment or an electrodynamic interaction with a close companion. In addition, as the emission is expected to occur close to the electron gyro-frequency, the magnetic field strength at the emitter site in BDR J1750+3809 is $B\gtrsim 25\,{\rm G}$, which is comparable to planetary-scale magnetic fields. Our discovery suggests that low-frequency radio surveys can be employed to discover sub-stellar objects that are too cold to be detected in infrared surveys.


title: Temporal Positive-unlabeled Learning for Biomedical Hypothesis Generation via Risk Estimation

abstract: Understanding the relationships between biomedical terms like viruses, drugs, and symptoms is essential in the fight against diseases. Many attempts have been made to introduce the use of machine learning to the scientific process of hypothesis generation(HG), which refers to the discovery of meaningful implicit connections between biomedical terms. However, most existing methods fail to truly capture the temporal dynamics of scientific term relations and also assume unobserved connections to be irrelevant (i.e., in a positive-negative (PN) learning setting). To break these limits, we formulate this HG problem as future connectivity prediction task on a dynamic attributed graph via positive-unlabeled (PU) learning. Then, the key is to capture the temporal evolution of node pair (term pair) relations from just the positive and unlabeled data. We propose a variational inference model to estimate the positive prior, and incorporate it in the learning of node pair embeddings, which are then used for link prediction. Experiment results on real-world biomedical term relationship datasets and case study analyses on a COVID-19 dataset validate the effectiveness of the proposed model.


title: Multi-Loss Sub-Ensembles for Accurate Classification with Uncertainty Estimation

abstract: Deep neural networks (DNNs) have made a revolution in numerous fields during the last decade. However, in tasks with high safety requirements, such as medical or autonomous driving applications, providing an assessment of the models reliability can be vital. Uncertainty estimation for DNNs has been addressed using Bayesian methods, providing mathematically founded models for reliability assessment. These model are computationally expensive and generally impractical for many real-time use cases. Recently, non-Bayesian methods were proposed to tackle uncertainty estimation more efficiently. We propose an efficient method for uncertainty estimation in DNNs achieving high accuracy. We simulate the notion of multi-task learning on single-task problems by producing parallel predictions from similar models differing by their loss. This multi-loss approach allows one-phase training for single-task learning with uncertainty estimation. We keep our inference time relatively low by leveraging the advantage proposed by the Deep-Sub-Ensembles method. The novelty of this work resides in the proposed accurate variational inference with a simple and convenient training procedure, while remaining competitive in terms of computational time. We conduct experiments on SVHN, CIFAR10, CIFAR100 as well as Image-Net using different architectures. Our results show improved accuracy on the classification task and competitive results on several uncertainty measures.


title: An overall view of temperature oscillations in the solar chromosphere with ALMA

abstract: By direct measurements of the gas temperature, the Atacama Large Millimeter/sub-millimeter Array (ALMA) has yielded a new diagnostic tool to study the solar chromosphere. Here we present an overview of the brightness-temperature fluctuations from several high-quality and high-temporal-resolution (i.e., 1 and 2 sec cadence) time series of images obtained during the first two years of solar observations with ALMA, in Band 3 and Band 6, centred at around 3 mm (100 GHz) and 1.25 mm (239 GHz), respectively. The various datasets represent solar regions with different levels of magnetic flux. We perform Fast Fourier and Lomb-Scargle transforms to measure both the spatial structuring of dominant frequencies and the average global frequency distributions of the oscillations (i.e., averaged over the entire field of view). We find that the observed frequencies significantly vary from one dataset to another, which is discussed in terms of the solar regions captured by the observations (i.e., linked to their underlying magnetic topology). While the presence of enhanced power within the frequency range 3-5 mHz is found for the most magnetically quiescent datasets, lower frequencies dominate when there is significant influence from strong underlying magnetic field concentrations (present inside and/or in the immediate vicinity of the observed field of view). We discuss here a number of reasons which could possibly contribute to the power suppression at around 5.5 mHz in the ALMA observations. However, it remains unclear how other chromospheric diagnostics (with an exception of Halpha line-core intensity) are unaffected by similar effects, i.e., they show very pronounced 3-min oscillations dominating the dynamics of the chromosphere, whereas only a very small fraction of all the pixels in the ten ALMA data sets analysed here show peak power near 5.5 mHz.


title: Local Label Point Correction for Edge Detection of Overlapping Cervical Cells

abstract: Accurate labeling is essential for supervised deep learning methods. However, it is almost impossible to accurately and manually annotate thousands of images, which results in many labeling errors for most datasets. We proposes a local label point correction (LLPC) method to improve annotation quality for edge detection and image segmentation tasks. Our algorithm contains three steps: gradient-guided point correction, point interpolation and local point smoothing. We correct the labels of object contours by moving the annotated points to the pixel gradient peaks. This can improve the edge localization accuracy, but it also causes unsmooth contours due to the interference of image noise. Therefore, we design a point smoothing method based on local linear fitting to smooth the corrected edge. To verify the effectiveness of our LLPC, we construct a largest overlapping cervical cell edge detection dataset (CCEDD) with higher precision label corrected by our label correction method. Our LLPC only needs to set three parameters, but yields 30-40$\%$ average precision improvement on multiple networks. The qualitative and quantitative experimental results show that our LLPC can improve the quality of manual labels and the accuracy of overlapping cell edge detection. We hope that our study will give a strong boost to the development of the label correction for edge detection and image segmentation. We will release the dataset and code at https://github.com/nachifur/LLPC.


title: Low-energy constant $L_{10}$ in a two-representation lattice theory

abstract: We calculate the low-energy constant $L_{10}$ in a two-representation SU(4) lattice gauge theory that is close to a composite-Higgs model. From this we obtain the contribution of the new strong sector to the $S$ parameter. This leads to an upper bound on the vacuum misalignment parameter $\xi$ which is similar to current estimates of this bound. Our result agrees with large-$N_c$ scaling expectations, within large systematic uncertainties.


title: $\xi$-torch: differentiable scientific computing library

abstract: Physics-informed learning has shown to have a better generalization than learning without physical priors. However, training physics-informed deep neural networks requires some aspect of physical simulations to be written in a differentiable manner. Unfortunately, some operations and functionals commonly used in physical simulations are scattered, hard to integrate, and lack higher order derivatives which are needed in physical simulations. In this work, we present $\xi$-torch, a library of differentiable functionals for scientific simulations. Example functionals are a root finder and an initial value problem solver, among others. The gradient of functionals in $\xi$-torch are written based on their analytical expression to improve numerical stability and reduce memory requirements. $\xi$-torch also provides second and higher order derivatives of the functionals which are rarely available in existing packages. We show two applications of this library in optimizing parameters in physics simulations. The library and all test cases in this work can be found at https://github.com/xitorch/xitorch/ and the documentation at https://xitorch.readthedocs.io.


title: Forcing axioms and the complexity of non-stationary ideals

abstract: We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $\omega_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not decide whether the restriction of the non-stationary ideal on $\omega_2$ to sets of ordinals of countable cofinality is $\Delta_1$-definable by formulas with parameters in $H(\omega_3)$. The techniques developed in the proof of this result also allow us to prove analogous results for the full non-stationary ideal on $\omega_2$ and strong forcing axioms that are compatible with CH. Finally, we answer a question of S. Friedman, Wu and Zdomskyyshow by showing that the $\Delta_1$-definability of the non-stationary ideal on $\omega_2$ is compatible with arbitrary large values of the continuum function at $\omega_2$.


title: Learning from Context or Names? An Empirical Study on Neural Relation Extraction

abstract: Neural models have achieved remarkable success on relation extraction (RE) benchmarks. However, there is no clear understanding which type of information affects existing RE models to make decisions and how to further improve the performance of these models. To this end, we empirically study the effect of two main information sources in text: textual context and entity mentions (names). We find that (i) while context is the main source to support the predictions, RE models also heavily rely on the information from entity mentions, most of which is type information, and (ii) existing datasets may leak shallow heuristics via entity mentions and thus contribute to the high performance on RE benchmarks. Based on the analyses, we propose an entity-masked contrastive pre-training framework for RE to gain a deeper understanding on both textual context and type information while avoiding rote memorization of entities or use of superficial cues in mentions. We carry out extensive experiments to support our views, and show that our framework can improve the effectiveness and robustness of neural models in different RE scenarios. All the code and datasets are released at https://github.com/thunlp/RE-Context-or-Names.


title: On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation

abstract: Commit messages play an important role in software maintenance and evolution. Nonetheless, developers often do not produce high-quality messages. A number of commit message generation methods have been proposed in recent years to address this problem. Some of these methods are based on neural machine translation (NMT) techniques. Studies show that the nearest neighbor algorithm (NNGen) outperforms existing NMT-based methods, although NNGen is simpler and faster than NMT. In this paper, we show that NNGen does not take advantage of cross-project learning in the majority of the cases. We also show that there is an even simpler and faster variation of the existing NNGen method which outperforms it in terms of the BLEU_4 score without using cross-project learning.


title: Probing new light gauge bosons with gravitational-wave interferometers using an adapted semi-coherent method

abstract: We adapt a method, originally developed for searches for quasi-monochromatic, quasi-infinite gravitational-wave signals, to directly detect new light gauge bosons with laser interferometers, which could be candidates for dark matter. To search for these particles, we optimally choose the analysis coherence time as a function of boson mass, such that all of the signal power will be confined to one frequency bin. We focus on the dark photon, a gauge boson that could couple to baryon or baryon-lepton number, and explain that its interactions with gravitational-wave interferometers result in a narrow-band, stochastic signal. We provide an end-to-end analysis scheme, estimate its computational cost, and investigate follow-up techniques to confirm or rule out dark matter candidates. Furthermore, we derive a theoretical estimate of the sensitivity, and show that it is consistent with both the empirical sensitivity determined through simulations, and results from a cross-correlation search. Finally, we place Feldman-Cousins upper limits using data from LIGO Livingston's second observing run, which give a new and strong constraint on the coupling of gauge bosons to the interferometer.


title: Test-time Unsupervised Domain Adaptation

abstract: Convolutional neural networks trained on publicly available medical imaging datasets (source domain) rarely generalise to different scanners or acquisition protocols (target domain). This motivates the active field of domain adaptation. While some approaches to the problem require labeled data from the target domain, others adopt an unsupervised approach to domain adaptation (UDA). Evaluating UDA methods consists of measuring the model's ability to generalise to unseen data in the target domain. In this work, we argue that this is not as useful as adapting to the test set directly. We therefore propose an evaluation framework where we perform test-time UDA on each subject separately. We show that models adapted to a specific target subject from the target domain outperform a domain adaptation method which has seen more data of the target domain but not this specific target subject. This result supports the thesis that unsupervised domain adaptation should be used at test-time, even if only using a single target-domain subject


title: Modeling of Covid-19 Pandemic in Cyprus

abstract: The Republic of Cyprus is a small island in the southeast of Europe and member of the European Union. The first wave of COVID-19 in Cyprus started in early March, 2020 (imported cases) and peaked in late March-early April. The health authorities responded rapidly and rigorously to the COVID-19 pandemic by scaling-up testing, increasing efforts to trace and isolate contacts of cases, and implementing measures such as closures of educational institutions, and travel and movement restrictions. The pandemic was also a unique opportunity that brought together experts from various disciplines including epidemiologists, clinicians, mathematicians, and statisticians. The aim of this paper is to present the efforts of this new, multidisciplinary research team in modelling the COVID-19 pandemic in the Republic of Cyprus.


title: Slip detection for grasp stabilisation with a multi-fingered tactile robot hand

abstract: Tactile sensing is used by humans when grasping to prevent us dropping objects. One key facet of tactile sensing is slip detection, which allows a gripper to know when a grasp is failing and take action to prevent an object being dropped. This study demonstrates the slip detection capabilities of the recently developed Tactile Model O (T-MO) by using support vector machines to detect slip and test multiple slip scenarios including responding to the onset of slip in real time with eleven different objects in various grasps. We demonstrate the benefits of slip detection in grasping by testing two real-world scenarios: adding weight to destabilise a grasp and using slip detection to lift up objects at the first attempt. The T-MO is able to detect when an object is slipping, react to stabilise the grasp and be deployed in real-world scenarios. This shows the T-MO is a suitable platform for autonomous grasping by using reliable slip detection to ensure a stable grasp in unstructured environments. Supplementary video: https://youtu.be/wOwFHaiHuKY


title: EqCo: Equivalent Rules for Self-supervised Contrastive Learning

abstract: In this paper, we propose EqCo (Equivalent Rules for Contrastive Learning) to make self-supervised learning irrelevant to the number of negative samples in the contrastive learning framework. Inspired by the InfoMax principle, we point that the margin term in contrastive loss needs to be adaptively scaled according to the number of negative pairs in order to keep steady mutual information bound and gradient magnitude. EqCo bridges the performance gap among a wide range of negative sample sizes, so that for the first time, we can use only a few negative pairs (e.g., 16 per query) to perform self-supervised contrastive training on large-scale vision datasets like ImageNet, while with almost no accuracy drop. This is quite a contrast to the widely used large batch training or memory bank mechanism in current practices. Equipped with EqCo, our simplified MoCo (SiMo) achieves comparable accuracy with MoCov2 on ImageNet (linear evaluation protocol) while only involves 16 negative pairs per query instead of 65536, suggesting that large quantities of negative samples is not a critical factor in contrastive learning frameworks.


title: Neurally Augmented ALISTA

abstract: It is well-established that many iterative sparse reconstruction algorithms can be unrolled to yield a learnable neural network for improved empirical performance. A prime example is learned ISTA (LISTA) where weights, step sizes and thresholds are learned from training data. Recently, Analytic LISTA (ALISTA) has been introduced, combining the strong empirical performance of a fully learned approach like LISTA, while retaining theoretical guarantees of classical compressed sensing algorithms and significantly reducing the number of parameters to learn. However, these parameters are trained to work in expectation, often leading to suboptimal reconstruction of individual targets. In this work we therefore introduce Neurally Augmented ALISTA, in which an LSTM network is used to compute step sizes and thresholds individually for each target vector during reconstruction. This adaptive approach is theoretically motivated by revisiting the recovery guarantees of ALISTA. We show that our approach further improves empirical performance in sparse reconstruction, in particular outperforming existing algorithms by an increasing margin as the compression ratio becomes more challenging.


title: Offline Learning for Planning: A Summary

abstract: The training of autonomous agents often requires expensive and unsafe trial-and-error interactions with the environment. Nowadays several data sets containing recorded experiences of intelligent agents performing various tasks, spanning from the control of unmanned vehicles to human-robot interaction and medical applications are accessible on the internet. With the intention of limiting the costs of the learning procedure it is convenient to exploit the information that is already available rather than collecting new data. Nevertheless, the incapability to augment the batch can lead the autonomous agents to develop far from optimal behaviours when the sampled experiences do not allow for a good estimate of the true distribution of the environment. Offline learning is the area of machine learning concerned with efficiently obtaining an optimal policy with a batch of previously collected experiences without further interaction with the environment. In this paper we adumbrate the ideas motivating the development of the state-of-the-art offline learning baselines. The listed methods consist in the introduction of epistemic uncertainty dependent constraints during the classical resolution of a Markov Decision Process, with and without function approximators, that aims to alleviate the bad effects of the distributional mismatch between the available samples and real world. We provide comments on the practical utility of the theoretical bounds that justify the application of these algorithms and suggest the utilization of Generative Adversarial Networks to estimate the distributional shift that affects all of the proposed model-free and model-based approaches.


title: Is Information Theory Inherently a Theory of Causation?

abstract: Information theory gives rise to a novel method for causal skeleton discovery by expressing associations between variables as tensors. This tensor-based approach reduces the dimensionality of the data needed to test for conditional independence, e.g., for systems comprising three variables, the causal skeleton can be determined using pair-wise determined tensors. To arrive at this result, an additional information measure, path information, is proposed.


title: Finite temperature spin dynamics of a two-dimensional Bose-Bose atomic mixture

abstract: We examine the role of thermal fluctuations in uniform two-dimensional binary Bose mixtures of dilute ultracold atomic gases. We use a mean-field Hartree-Fock theory to derive analytical predictions for the miscible-immiscible transition. A nontrivial result of this theory is that a fully miscible phase at $T=0$ may become unstable at $T\neq0$, as a consequence of a divergent behaviour in the spin susceptibility. We test this prediction by performing numerical simulations with the Stochastic (Projected) Gross-Pitaevskii equation, which includes beyond mean-field effects. We calculate the equilibrium configurations at different temperatures and interaction strengths and we simulate spin oscillations produced by a weak external perturbation. Despite some qualitative agreement, the comparison between the two theories shows that the mean-field approximation is not able to properly describe the behavior of the two-dimensional mixture near the miscible-immiscible transition, as thermal fluctuations smoothen all sharp features both in the phase diagram and in spin dynamics, except for temperature well below the critical temperature for superfluidity.


title: Orbital entanglement and correlation from pCCD-tailored Coupled Cluster wave functions

abstract: Wave functions based on electron-pair states provide inexpensive and reliable models to describe quantum many-body problems containing strongly-correlated electrons, given that broken-pair states have been appropriately accounted for by, for instance, a posteriori corrections. In this article, we analyse the performance of electron-pair methods in predicting orbital-based correlation spectra. We focus on the (orbital-optimized) pair-coupled cluster Doubles (pCCD) ansatz with a linearized coupled-cluster (LCC) correction. Specifically, we scrutinize how orbital-based entanglement and correlation measures can be determined from a pCCD-tailored CC wave function. Furthermore, we employ the single-orbital entropy, the orbital-pair mutual information, and the eigenvalue spectra of the two-orbital reduced density matrices to benchmark the performance of the LCC correction for the one-dimensional Hubbard model with periodic boundary condition as well as the N$_2$ and F$_2$ molecules against DMRG reference calculations. Our study indicates that pCCD-LCC accurately reproduces the orbital-pair correlation patterns in the weak-correlation limit and for molecules close to their equilibrium structure. Hence, we can conclude that pCCD-LCC predicts reliable wave functions in this regime. In the strong-correlation limit and for molecules with stretched bonds, the LCC correction, generally, overestimates orbital-pair correlations.


title: Algorithms for Nonnegative Matrix Factorization with the Kullback-Leibler Divergence

abstract: Nonnegative matrix factorization (NMF) is a standard linear dimensionality reduction technique for nonnegative data sets. In order to measure the discrepancy between the input data and the low-rank approximation, the Kullback-Leibler (KL) divergence is one of the most widely used objective function for NMF. It corresponds to the maximum likehood estimator when the underlying statistics of the observed data sample follows a Poisson distribution, and KL NMF is particularly meaningful for count data sets, such as documents or images. In this paper, we first collect important properties of the KL objective function that are essential to study the convergence of KL NMF algorithms. Second, together with reviewing existing algorithms for solving KL NMF, we propose three new algorithms that guarantee the non-increasingness of the objective function. We also provide a global convergence guarantee for one of our proposed algorithms. Finally, we conduct extensive numerical experiments to provide a comprehensive picture of the performances of the KL NMF algorithms.


title: A linear relation approach to port-Hamiltonian differential-algebraic equations

abstract: We consider linear port-Hamiltonian differential-algebraic equations (pH-DAEs). Inspired by the geometric approach of Maschke and van der Schaft and the linear algebraic approach of Mehl, Mehrmann and Wojtylak, we present another view by using the theory of linear relations. We show that this allows to elaborate the differences and mutualities of the geometric and linear algebraic views, and we introduce a class of DAEs which comprises these two approaches. We further study the properties of matrix pencils arising from our approach via linear relations.


title: Mini-EUSO mission to study Earth UV emissions on board the ISS

abstract: Mini-EUSO is a telescope observing the Earth in the ultraviolet band from the International Space Station. It is a part of the JEM-EUSO program, paving the way to future larger missions, such as KEUSO and POEMMA, devoted primarily to the observation of Ultra High Energy Cosmic Rays from space. Mini-EUSO is capable of observing Extensive Air Showers generated by Ultra-High Energy Cosmic Rays with an energy above 10^21 eV and detect artificial showers generated with lasers from the ground. Other main scientific objectives of the mission are the search for nuclearites and Strange Quark Matter, the study of atmospheric phenomena such as Transient Luminous Events, meteors and meteoroids, the observation of sea bioluminescence and of artificial satellites and man-made space debris. Mini-EUSO will map the night-time Earth in the UV range (290 - 430 nm), with a spatial resolution of about 6.3 km and a temporal resolution of 2.5 microseconds, through a nadir-facing UV-transparent window in the Russian Zvezda module. The instrument, launched on August 22, 2019 from the Baikonur cosmodrome, is based on an optical system employing two Fresnel lenses and a focal surface composed of 36 Multi-Anode Photomultiplier tubes, 64 channels each, for a total of 2304 channels with single photon counting sensitivity and an overall field of view of 44 degrees. Mini-EUSO also contains two ancillary cameras to complement measurements in the near infrared and visible ranges. In this paper we describe the detector and present the various phenomena observed in the first months of operations.


title: ZF*-Extensionality interprets full ZF

abstract: Dana Scott had shown that removing Extensionality from ZF set theory formalized in the customary manner would weaken it down to Zermelo set theory. The following proof is my personal attempt to solve the question of whether we can have a version of replacement that can withstand removal of Extensionality when ZF is formalized with it instead of the standard axiom schema of replacement. Dana Scott had investigated that, the general lines of the proof here are similar to his; however, the form of Replacement suggested here is different.


title: Robust High-dimensional Memory-augmented Neural Networks

abstract: Traditional neural networks require enormous amounts of data to build their complex mappings during a slow training procedure that hinders their abilities for relearning and adapting to new data. Memory-augmented neural networks enhance neural networks with an explicit memory to overcome these issues. Access to this explicit memory, however, occurs via soft read and write operations involving every individual memory entry, resulting in a bottleneck when implemented using the conventional von Neumann computer architecture. To overcome this bottleneck, we propose a robust architecture that employs a computational memory unit as the explicit memory performing analog in-memory computation on high-dimensional (HD) vectors, while closely matching 32-bit software-equivalent accuracy. This is achieved by a content-based attention mechanism that represents unrelated items in the computational memory with uncorrelated HD vectors, whose real-valued components can be readily approximated by binary, or bipolar components. Experimental results demonstrate the efficacy of our approach on few-shot image classification tasks on the Omniglot dataset using more than 256,000 phase-change memory devices. Our approach effectively merges the richness of deep neural network representations with HD computing that paves the way for robust vector-symbolic manipulations applicable in reasoning, fusion, and compression.


title: Worm quantum Monte-Carlo study of phase diagram of extended Jaynes-Cummings-Hubbard model

abstract: Herein, we study the extended Jaynes-Cummings-Hubbard model mainly by the large-scale worm quantum Monte-Carlo method to check whether or not a light supersolid phase exists in various geometries, such as the one-dimensional chain, square lattices and triangular lattices. To achieve our purpose, the ground state phase diagrams are investigated. For the one-dimensional chain and square lattices, a first-order transition occurs between the superfluid phase and the solid phase and therefore there is no stable supersolid phase existing in these geometries. Interestingly, soliton/beats of the local densities arise if the chemical potential is adjusted in the finite-size chain. However, this soliton-superfluid coexistence can not be considered as a supersolid in the thermodynamic limit. Searching for a light supersolid, we also studied the Jaynes-Cummings-Hubbard model on triangular lattices, and the phase diagrams are obtained. Through measurement of the structural factor, momentum distribution and superfluid stiffness for various system sizes, a supersolid phase exists stably in the triangular lattices geometry and the regime of the supersolid phase is smaller than that of the mean field results. The light supersolid in the Jaynes-Cummings-Hubbard model is attractive because it has superreliance, which is absent in the pure Bose-Hubbard model. We believe the results in this paper could help search for new novel phases in cold-atom experiments


title: Block Chain and Internet of Nano-Things for Optimizing Chemical Sensing in Smart Farming

abstract: The use of Internet of Things (IoT) with the Internet of Nano Things (IoNT) can further expand decision making systems (DMS) to improve reliability as it provides a new spectrum of more granular level data to make decisions. However, growing concerns such as data security, transparency and processing capability challenge their use in real-world applications. DMS integrated with Block Chain (BC) technology can contribute immensely to overcome such challenges. The use of IoNT and IoT along with BC for making DMS has not yet been investigated. This study proposes a BC-powered IoNT (BC-IoNT) system for sensing chemicals level in the context of farm management. This is a critical application for smart farming, which aims to improve sustainable farm practices through controlled delivery of chemicals. BC-IoNT system includes a novel machine learning model formed by using the Langmuir molecular binding model and the Bayesian theory, and is used as a smart contract for sensing the level of the chemicals. A credit model is used to quantify the traceability and credibility of farms to determine if they are compliant with the chemical standards. The accuracy of detecting the chemicals of the distributed BC-IoNT approach was >90% and the centralized approach was <80%. Also, the efficiency of sensing the level of chemicals depends on the sampling frequency and variability in chemical level among farms.


title: Unsupervised Region-based Anomaly Detection in Brain MRI with Adversarial Image Inpainting

abstract: Medical segmentation is performed to determine the bounds of regions of interest (ROI) prior to surgery. By allowing the study of growth, structure, and behaviour of the ROI in the planning phase, critical information can be obtained, increasing the likelihood of a successful operation. Usually, segmentations are performed manually or via machine learning methods trained on manual annotations. In contrast, this paper proposes a fully automatic, unsupervised inpainting-based brain tumour segmentation system for T1-weighted MRI. First, a deep convolutional neural network (DCNN) is trained to reconstruct missing healthy brain regions. Then, upon application, anomalous regions are determined by identifying areas of highest reconstruction loss. Finally, superpixel segmentation is performed to segment those regions. We show the proposed system is able to segment various sized and abstract tumours and achieves a mean and standard deviation Dice score of 0.771 and 0.176, respectively.


title: Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

abstract: Bergstra and Klop have shown that bisimilarity has a finite equational axiomatisation over ACP/CCS extended with the binary left and communication merge operators. Moller proved that auxiliary operators are necessary to obtain a finite axiomatisation of bisimilarity over CCS, and Aceto et al. showed that this remains true when Hennessy's merge is added to that language. These results raise the question of whether there is one auxiliary binary operator whose addition to CCS leads to a finite axiomatisation of bisimilarity. We contribute to answering this question in the simplified setting of the recursion-, relabelling-, and restriction-free fragment of CCS. We formulate three natural assumptions pertaining to the operational semantics of auxiliary operators and their relationship to parallel composition, and prove that an auxiliary binary operator facilitating a finite axiomatisation of bisimilarity in the simplified setting cannot satisfy all three assumptions.


title: Actors in VR storytelling

abstract: Virtual Reality (VR) storytelling enhances the immersion of users into virtual environments (VE). Its use in virtual cultural heritage presentations helps the revival of the genius loci (the spirit of the place) of cultural monuments. This paper aims to show that the use of actors in VR storytelling adds to the quality of user experience and improves the edutainment value of virtual cultural heritage applications. We will describe the Baiae dry visit application which takes us to a time travel in the city considered by the Roman elite as "Little Rome (Pusilla Roma)" and presently is only partially preserved under the sea.


title: Factorization of Dual Quaternion Polynomials Without Study's Condition

abstract: In this paper we investigate factorizations of polynomials over the ring of dual quaternions into linear factors. While earlier results assume that the norm polynomial is real ("motion polynomials"), we only require the absence of real polynomial factors in the primal part and factorizability of the norm polynomial over the dual numbers into monic quadratic factors. This obviously necessary condition is also sufficient for existence of factorizations. We present an algorithm to compute factorizations of these polynomials and use it for new constructions of mechanisms which cannot be obtained by existing factorization algorithms for motion polynomials. While they produce mechanisms with rotational or translational joints, our approach yields mechanisms consisting of "vertical Darboux joints". They exhibit mechanical deficiencies so that we explore ways to replace them by cylindrical joints while keeping the overall mechanism sufficiently constrained.


title: The Limit Shape of the Leaky Abelian Sandpile Model

abstract: The leaky abelian sandpile model (Leaky-ASM) is a growth model in which $n$ grains of sand start at the origin in $\mathbb{Z}^2$ and diffuse along the vertices according to a toppling rule. A site can topple if its amount of sand is above a threshold. In each topple a site sends some sand to each neighbor and leaks a portion $1-1/d$ of its sand. We compute the limit shape as a function of $d$ in the symmetric case where each topple sends an equal amount of sand to each neighbor. The limit shape converges to a circle as $d\to 1$ and a diamond as $d\to\infty$. We compute the limit shape by comparing the odometer function at a site to the probability that a killed random walk dies at that site. When $d\to 1$ the Leaky-ASM converges to the abelian sandpile model (ASM) with a modified initial configuration. We also prove the limit shape is a circle when simultaneously with $n\to\infty$ we have that $d=d_n$ converges to $1$ slower than any power of $n$. To gain information about the ASM faster convergence is necessary.

categories: math.PR cond-mat.stat-mech math.AP math.CO


title: A Comparative Study of Existing and New Deep Learning Methods for Detecting Knee Injuries using the MRNet Dataset

abstract: This work presents a comparative study of existing and new techniques to detect knee injuries by leveraging Stanford's MRNet Dataset. All approaches are based on deep learning and we explore the comparative performances of transfer learning and a deep residual network trained from scratch. We also exploit some characteristics of Magnetic Resonance Imaging (MRI) data by, for example, using a fixed number of slices or 2D images from each of the axial, coronal and sagittal planes as well as combining the three planes into one multi-plane network. Overall we achieved a performance of 93.4% AUC on the validation data by using the more recent deep learning architectures and data augmentation strategies. More flexible architectures are also proposed that might help with the development and training of models that process MRIs. We found that transfer learning and a carefully tuned data augmentation strategy were the crucial factors in determining best performance.


title: Approximate solution of two dimensional disc-like systems by one dimensional reduction: an approach through the Green function formalism using the Finite Elements Method

abstract: We present a comprehensive study for common second order PDE's in two dimensional disk-like systems and show how their solution can be approximated by finding the Green function of an effective one dimensional system. After elaborating on the formalism, we propose to secure an exact solution via a Fourier expansion of the Green function, which entails to solve an infinitely countable system of differential equations for the Green-Fourier modes that in the simplest case yields the source-free Green distribution. We present results on non separable systems$-$or such whose solution cannot be obtained by the usual variable separation technique$-$on both annulus and disc geometries, and show how the resulting one dimensional Fourier modes potentially generate a near-exact solution. Numerical solutions will be obtained via finite differentiation using FDM or FEM with the three-point stencil approximation to derivatives. Comparing to known exact solutions, our results achieve an estimated numerical relative error below $10^{-6}$.


title: Improving Device Directedness Classification of Utterances with Semantic Lexical Features

abstract: User interactions with personal assistants like Alexa, Google Home and Siri are typically initiated by a wake term or wakeword. Several personal assistants feature "follow-up" modes that allow users to make additional interactions without the need of a wakeword. For the system to only respond when appropriate, and to ignore speech not intended for it, utterances must be classified as device-directed or non-device-directed. State-of-the-art systems have largely used acoustic features for this task, while others have used only lexical features or have added LM-based lexical features. We propose a directedness classifier that combines semantic lexical features with a lightweight acoustic feature and show it is effective in classifying directedness. The mixed-domain lexical and acoustic feature model is able to achieve 14% relative reduction of EER over a state-of-the-art acoustic-only baseline model. Finally, we successfully apply transfer learning and semi-supervised learning to the model to improve accuracy even further.


title: Torchattacks: A PyTorch Repository for Adversarial Attacks

abstract: Torchattacks is a PyTorch library that contains adversarial attacks to generate adversarial examples and to verify the robustness of deep learning models. The code can be found at https://github.com/Harry24k/adversarial-attacks-pytorch.


title: LEAPME: Learning-based Property Matching with Embeddings

abstract: Data integration tasks such as the creation and extension of knowledge graphs involve the fusion of heterogeneous entities from many sources. Matching and fusion of such entities require to also match and combine their properties (attributes). However, previous schema matching approaches mostly focus on two sources only and often rely on simple similarity measurements. They thus face problems in challenging use cases such as the integration of heterogeneous product entities from many sources. We therefore present a new machine learning-based property matching approach called LEAPME (LEArning-based Property Matching with Embeddings) that utilizes numerous features of both property names and instance values. The approach heavily makes use of word embeddings to better utilize the domain-specific semantics of both property names and instance values. The use of supervised machine learning helps exploit the predictive power of word embeddings. Our comparative evaluation against five baselines for several multi-source datasets with real-world data shows the high effectiveness of LEAPME. We also show that our approach is even effective when training data from another domain (transfer learning) is used.


title: On the existence of three non-negative solutions for a $(p,q)$-Laplacian system

abstract: The present paper studies the existence of weak solutions for \begin{equation*} (\mathcal{P}) \left\{\begin{aligned} (-\Delta)^{s_1}_{p_1} u &=\la f_1\,(x,u,v) +g_1(x,u) \,\mbox{ in }\, \Om, \\ (-\Delta)^{s_2}_{p_2} v &=\la f_2\,(x,u,v) +g_2(x,v) \,\mbox{ in }\, \Om, \\ u=v &= 0 \,\mbox{in }\, \Rn \setminus \Om, \\ \end{aligned} \right. \end{equation*} where $\Om \subset \Rn$ is a smooth bounded domain with smooth boundary, $s_1,s_2 \in (0,1)$, $1<p_i<\frac{N}{s_i}$, $i=1,2$, $f_i$ and $g_i$ has certain growth assumptions for $i=1,2$. We prove existence of at least three non negative solutions of $(\mathcal P)$ under restrictive range of $\lambda$ using variational methods. As a consequence, we also conclude that a similar result can be obtained when we consider a more general non local operator $\mathcal L_{\phi_i}$ instead of $(-\Delta)^{s_i}_{p_i}$ in $(\mathcal P)$.


title: On the grain-size distribution of turbulent dust growth

abstract: It has recently been shown that turbulence in the interstellar medium (ISM) can significantly accelerate the growth of dust grains by accretion of molecules, but the turbulent gas-density distribution also plays a crucial role in shaping the grain-size distribution. The growth velocity, i.e., the rate of change of the mean grain radius, is proportional to the local gas density if the growth species (molecules) are well-mixed in the gas. As a consequence, grain growth happens at vastly different rates in different locations, since the gas-density distribution of the ISM shows a considerable variance. Here, it is shown that grain-size distribution (GSD) rapidly becomes a reflection of the gas-density distribution, irrespective of the shape of the initial GSD. This result is obtained by modelling ISM turbulence as a Markov process, which in the special case of an Ornstein-Uhlenbeck process leads to a lognormal gas-density distribution, consistent with numerical simulations of isothermal compressible turbulence. This yields an approximately lognormal GSD; the sizes of dust grains in cold ISM clouds may thus not follow the commonly adopted power-law GSD with index -3.5, but corroborates the use of a log-nomral GSD for large grains, suggested by several studies. It is also concluded that the very wide range of gas densities obtained in the high Mach-number turbulence of molecular clouds must allow formation of a tail of very large grains reaching radii of several microns.


title: Vector magneto-optical magnetometer based on the resonant all-dielectric gratings with highly anisotropic iron-garnet films

abstract: A sensitive vector magnetometry with high spatial resolution is important for various practical applications, such as magnetocardiography, magnetoencephalography, explosive materials detection and many others. We propose a magnetometer based on the magnetic iron-garnet film possessing a very high magnetic anisotropy, placed in the rotating external magnetic field. Each of the measured magnetic field spatial components produces different temporal harmonics in the out-of-plane magnetization dependence. The dielectric resonant grating placed on the top of an ultrathin film enhanced the magneto-optical response 10 times which makes it possible to achieve 10 times higher spatial resolution in the perpendicular to the film direction. The reported magneto-optical magnetometer allows one to measure simultaneously all three spatial components of the magnetic field with high spatial resolution and sensitivity up to 100 pT/Hz$^{1/2}$.


title: Existence and uniqueness of solutions of SDEs with discontinuous drift and finite activity jumps

abstract: In this letter we prove existence and uniqueness of strong solutions to multi-dimensional SDEs with discontinuous drift and finite activity jumps.


title: Distributed Optimization Over Dependent Random Networks

abstract: We study the averaging-based distributed optimization solvers over random networks. We show a general result on the convergence of such schemes using weight-matrices that are row-stochastic almost surely and column-stochastic in expectation for a broad class of dependent weight-matrix sequences. In addition to implying many of the previously known results on this domain, our work shows the robustness of distributed optimization results to link-failure. Also, it provides a new tool for synthesizing distributed optimization algorithms. {To prove our main theorem, we establish new results on the rate of convergence analysis of averaging dynamics over (dependent) random networks. These secondary results, along with the required martingale-type results to establish them, might be of interest to broader research endeavors in distributed computation over random networks.


title: Surface temperature analysis of a hot titanium target in argon magnetron sputtering system

abstract: Target temperature in magnetron sputtering systems is a significant parameter which not only affects the physical and chemical properties of the deposited film but also stimulates the reactive sputtering process. Therefore, it is of great interest to establish a relationship between the target temperature and other parameters of magnetron sputtering process such as the gas pressure and the discharge power. This paper is devoted to the experimental and numerical studies on titanium target temperature in Argon medium. Numerical simulations for the target temperature are performed by solving the Heat equation for the magnetron sputtering system enclosed in Argon filled chamber. The simulations are compared with the experimental temperature data. The difference between the simulated results and experimental data on the power dependence of target temperature is explained by an empirical model of heat transfer from the ions to the gas.


title: Real-space imaging of acoustic plasmons in large-area CVD graphene

abstract: An acoustic plasmonic mode in a graphene-dielectric-metal heterostructure has recently been spotlighted as a superior platform for strong light-matter interaction. It originates from the coupling of graphene plasmon with its mirror image and exhibits the largest field confinement in the limit of a nm-thick dielectric. Although recently detected in the far-field regime, optical near-fields of this mode are yet to be observed and characterized. Direct optical probing of the plasmonic fields reflected by the edges of graphene via near-field scattering microscope reveals a relatively small damping rate of the mid-IR acoustic plasmons in our devices, which allows for their real-space mapping even with unprotected, chemically grown, large-area graphene at ambient conditions. We show an acoustic mode that is twice as confined - yet 1.4 times less damped - compared to the graphene surface plasmon under similar conditions. We also image the resonant acoustic Bloch state in a 1D array of gold nanoribbons responsible for the high efficiency of the far-field coupling. Our results highlight the importance of acoustic plasmons as an exceptionally promising platform for large-area graphene-based optoelectronic devices operating in mid-IR.


title: Topological Analysis of Magnetic Reconnection in Kinetic Plasma Simulations

abstract: Magnetic reconnection is a ubiquitous plasma process in which oppositely directed magnetic field lines break and rejoin, resulting in a change of the magnetic field topology. Reconnection generates magnetic islands: regions enclosed by magnetic field lines and separated by reconnection points. Proper identification of these features is important to understand particle acceleration and overall behavior of plasma. We present a contour-tree based visualization for robust and objective identification of islands and reconnection points in two-dimensional (2D) magnetic reconnection simulations. The application of this visualization to a simple simulation has revealed a physical phenomenon previously not reported, resulting in a more comprehensive understanding of magnetic reconnection.


title: Phonon-assisted transport through double-dot Aharonov-Bohm interferometer in the Kondo regime

abstract: The effect of electron-phonon coupling on transport through a pair of strongly correlated quantum dots embedded in the Aharonov-Bohm ring is considered in the mean field slave boson Kotliar-Ruckenstein approach. It is shown that coupling with phonons opens transport gap in the region of double occupancy. Low-bias conductance and thermopower provide information on electron-phonon coupling strength.


title: A Finite-Time Technological Singularity Model With Artificial Intelligence Self-Improvement

abstract: Recent advances in the development of artificial intelligence, technological progress acceleration, long-term trends of macroeconomic dynamics increase the relevance of technological singularity hypothesis. In this paper, we build a model of finite-time technological singularity assuming that artificial intelligence will replace humans for artificial intelligence engineers after some point in time when it is developed enough. This model implies the following: let A be the level of development of artificial intelligence. Then, the moment of technological singularity n is defined as the point in time where artificial intelligence development function approaches infinity. Thus, it happens in finite time. Although infinite level of development of artificial intelligence cannot be reached practically, this approximation is useful for several reasons, firstly because it allows modeling a phase transition or a change of regime. In the model, intelligence growth function appears to be hyperbolic function under relatively broad conditions which we list and compare. Subsequently, we also add a stochastic term (Brownian motion) to the model and investigate the changes in its behavior. The results can be applied for the modeling of dynamics of various processes characterized by multiplicative growth.


title: Molecular Insights into the Mechanical Properties of Polymer-Fullerene Bulk Heterojunctions for Organic Photovoltaic Applications

abstract: We investigate the mechanical properties of $\pi$-conjugated polymeric materials composed of regioregular poly(3-hexylthiophene) (P3HT) and fullerene C$_{60}$ using coarse-grained molecular dynamics simulations. Specifically, we perform tensile simulations of P3HT:C$_{60}$ composites with varied degrees of polymerization and C$_{60}$ mass fractions to obtain their stress-strain responses. Decomposition of stress tensor into kinetic energy and virial contributions indicates that the tensile moduli of the pure P3HT samples are greatly dependent on non-bonded interactions and on bonded interactions associated with bond-stretching, while the addition of C$_{60}$ leads to an increase in the tensile modulus originating from enhanced non-bonded interactions associated with C$_{60}$. Additionally, the tensile strength of the P3HT:C$_{60}$ samples correlates well with molecular chain entanglements, which are characterized by the average number of kinks per chain obtained from primitive path analysis. We also find that the upper and lower yield points characterizing strain softening become more pronounced with increasing C$_{60}$ mass fraction. Persistent homology analysis indicates that the emergence of the yield points correlates well with the coalescence of microvoids in the course of tensile deformation, resulting in the generation of larger voids. These results provide a fundamental understanding of the molecular determinants of the mechanical properties of $\pi$-conjugated polymer-fullerene composites, which can also help to interpret and predict the mechanical properties of other polymer composites containing fullerene.


title: Automatic CAD-RADS Scoring Using Deep Learning

abstract: Coronary CT angiography (CCTA) has established its role as a non-invasive modality for the diagnosis of coronary artery disease (CAD). The CAD-Reporting and Data System (CAD-RADS) has been developed to standardize communication and aid in decision making based on CCTA findings. The CAD-RADS score is determined by manual assessment of all coronary vessels and the grading of lesions within the coronary artery tree. We propose a bottom-up approach for fully-automated prediction of this score using deep-learning operating on a segment-wise representation of the coronary arteries. The method relies solely on a prior fully-automated centerline extraction and segment labeling and predicts the segment-wise stenosis degree and the overall calcification grade as auxiliary tasks in a multi-task learning setup. We evaluate our approach on a data collection consisting of 2,867 patients. On the task of identifying patients with a CAD-RADS score indicating the need for further invasive investigation our approach reaches an area under curve (AUC) of 0.923 and an AUC of 0.914 for determining whether the patient suffers from CAD. This level of performance enables our approach to be used in a fully-automated screening setup or to assist diagnostic CCTA reading, especially due to its neural architecture design -- which allows comprehensive predictions.


title: Prospects for near-field interferometric tests of Collapse Models

abstract: Near-field interferometry with large dielectric nano-particles opens the way to test fundamental modification of standard quantum mechanics at an unprecedented level. We showcase the capabilities of such platform, in a state-of-the-art ground-based experimental set-up, to set new stringent bounds on the parameters space of collapse models and highlight the future perspective for this class of experiments.


title: Possibility to create a coronavirus sensor using an optically excited electrical signal

abstract: The research of our team has led to a series of new experimental results, revealing the so-called electromagnetic echo effect (EMEE). The EMEE signal is highly sensitive even to small changes in the composition and properties of the object under study - gas, liquid, or solid. The method is fast and contactless, provides real-time analysis, and can be considered universal. We have an idea to create a sensor to detect COVID-19 in three cases -- in the air, on hard surfaces, and in fluids from the human body. The approach involves detecting specific reactions to the virus, even if they are invisible without specialized equipment. Our experience shows that the EMEE signal is very sensitive to weak or practically imperceptible reactions. Therefore, we believe that it is quite possible to register the presence of COVID-19. We have many experimental results in this regard that support this idea. We have experience in creating sensors to monitor the processes, composition, and properties of fluids (including biological ones), as well as to detect pollution and contamination in the atmosphere.


title: Theoretical study of current-induced domain wall motion in magnetic nanotubes with azimuthal domains, including {\OE}rsted field and spin-transfer torques

abstract: We report a theoretical overview of the magnetic domain wall behavior under an electric current in infinitely-long nanotubes with azimuthal magnetization, combining the $1$D analytic model and micromagnetic simulations. We highlight effects that, besides spin-transfer torques already largely understood in flat strips, arise specifically in the tubular geometry: the \OErsted field and curvature-induced magnetic anisotropy resulting both from exchange and material growth. Depending on both the geometry of the tube and the strength of the azimuthal anisotropy, Bloch or N\'eel walls arise at rest, resulting in two regimes of motion largely dominated by either spin-transfer torques or the \OErsted field. We determine the Walker breakdown current in all cases, and highlight the most suitable parameters to achieve high domain wall speed.


title: Invariant sets and nilpotency of endomorphisms of algebraic sofic shifts

abstract: Let $G$ be a group and let $V$ be an algebraic variety over an algebraically closed field $K$. Let $A$ denote the set of $K$-points of $V$. We introduce algebraic sofic subshifts $\Sigma \subset A^G$ and study endomorphisms $\tau \colon \Sigma \to \Sigma$. We generalize several results for dynamical invariant sets and nilpotency of $\tau$ that are well known for finite alphabet cellular automata. Under mild assumptions, we prove that $\tau$ is nilpotent if and only if its limit set, i.e., the intersection of the images of its iterates, is a singleton. If moreover $G$ is infinite, finitely generated and $\Sigma$ is topologically mixing, we show that $\tau$ is nilpotent if and only if its limit set consists of periodic configurations and has a finite set of alphabet values.


title: Machine Learning and Computer Vision Techniques to Predict Thermal Properties of Particulate Composites

abstract: Accurate thermal analysis of composites and porous media requires detailed characterization of local thermal properties in small scale. For some important applications such as lithium-ion batteries, changes in the properties during the operation makes the analysis even more challenging, necessitating a rapid characterization. We propose a new method to characterize the thermal properties of particulate composites based on actual micro-images. Our computer-vision-based approach constructs 3D images from stacks of 2D SEM images and then extracts several representative elemental volumes (REVs) from the reconstructed images at random places, which leads to having a range of geometrical features for different REVs. A deep learning algorithm is designed based on convolutional neural nets to take the shape of the geometry and result in the effective conductivity of the REV. The training of the network is performed in two methods: First, based on implementing a coarser grid that uses the average values of conductivities from the fine grid and the resulted effective conductivity from the DNS solution of the fine grid. The other method uses conductivity values on cross sections from each REV in different directions. The results of training based on averaging show that using a coarser grid in the network does not have a meaningful effect on the network error; however, it decreases the training time up to three orders of magnitude. We showed that one general network can make accurate predictions using different types of electrode images, representing the difference in the geometry and constituents. Moreover, training based on averaging is more accurate than training based on cross sections. The study of the robustness of implementing a machine learning technique in predicting the thermal percolation shows the prediction error is almost half of the error from predictions based on the volume fraction.

categories: physics.app-ph cs.CV cs.LG physics.data-an


title: Waveguide integrated high performance magneto-optical isolators and circulators on silicon nitride platforms

abstract: Optical isolators and circulators are indispensable for photonic integrated circuits (PICs). Despite of significant progress in silicon-on-insulator (SOI) platforms, integrated optical isolators and circulators have been rarely reported on silicon nitride (SiN) platforms. In this paper, we report monolithic integration of magneto-optical (MO) isolators on SiN platforms with record high performances based on standard silicon photonics foundry process and magneto-optical thin film deposition. We successfully grow high quality MO garnet thin films on SiN with large Faraday rotation up to -5900 deg/cm. We show a superior magneto-optical figure of merit (FoM) of MO/SiN waveguides compared to that of MO/SOI in an optimized device design. We demonstrate TM/TE mode broadband and narrow band optical isolators and circulators on SiN with high isolation ratio, low cross talk and low insertion loss. In particular, we observe 1 dB insertion loss and 28 dB isolation ratio in a SiN racetrack resonator-based isolator at 1570.2 nm wavelength. The low thermo-optic coefficient of SiN also ensures excellent temperature stability of the device. Our work paves the way for integration of high performance nonreciprocal photonic devices on SiN platforms.


title: Detection of the Orbital Hall Effect by the Orbital-Spin Conversion

abstract: The intrinsic orbital Hall effect (OHE), the orbital counterpart of the spin Hall effect, was predicted and studied theoretically for more than one decade, yet to be observed in experiments. Here we propose a strategy to convert the orbital current in OHE to the spin current via the spin-orbit coupling from the contact. Furthermore, we find that OHE can induce large nonreciprocal magnetoresistance when employing magnetic contact. Both the generated spin current and the orbital Hall magnetoresistance can be applied to probe the OHE in experiments and design orbitronic devices.


title: Combined fit to the cross sections of $e^+e^- \rightarrow \pi Z_c(3900) \rightarrow \pi\pi J/\psi$ and $e^+e^- \rightarrow \pi Z_c(3900) \rightarrow \pi D\bar{D}^{*}$

abstract: The cross sections of $e^+e^- \rightarrow \pi Z_c(3900) \rightarrow \pi\pi J/\psi$ and $e^+e^- \rightarrow \pi Z_c(3900) \rightarrow \pi D\bar{D}^{*}$ have been measured by BESIII experiment. We try to perform a combined fit to the cross sections with one Breit-Wigner function, the fit results show the structure's mass and width are $M=(4232\pm5)$ MeV/$c^2$, $\Gamma=(65\pm21)$ MeV. The ratio $\frac{\mathcal{B}(Z_c(3900)\rightarrow D\bar{D}^{*})}{\mathcal{B}(Z_c(3900)\rightarrow\pi J/\psi)}$ is determined to be $(16\pm6)$. We also try to fit the cross sections with two Breit-Wigner functions, while we can't come to any definitive conclusions about the second structure. More measurements are desired to improve the understanding of $e^+e^- \rightarrow \pi Z_c(3900)$ line shape.


title: Convolution Based Special Affine Wavelet Transform and Associated Multi-resolution Analysis

abstract: In this paper, we study the convolution structure in the special affine Fourier domain to combine the advantages of the well known special affine Fourier and wavelet transforms into a novel integral transform coined as special affine wavelet transform and investigate the associated constant Q-property in the joint time-frequency domain. The preliminary analysis encompasses the derivation of the fundamental properties, orthogonality relation, inversion formula and range theorem. Finally, we extend the scope of the present study by introducing the notion of multi-resolution analysis associated with special affine wavelet transform and the construction of orthogonal special affine wavelets. We call it special affine multi-resolution analysis. The necessary and sufficient conditions pertaining to special affine Fourier domain under which the integer shifts of a chirp modulated functions form a Riesz basis or an orthonormal basis for a multi-resolution subspace is established.


title: Why Older Adults (Don't) Use Password Managers

abstract: Password managers (PMs) are considered highly effective tools for increasing security, and a recent study by Pearman et al. (SOUPS'19) highlighted the motivations and barriers to adopting PMs. We expand these findings by replicating Pearman et al.'s protocol and interview instrument applied to a sample of strictly older adults (>60 years of age), as the prior work focused on a predominantly younger cohort. We conducted n=26 semi-structured interviews with PM users, built-in browser/operating system PM users, and non-PM users. The average participant age was 70.4 years. Using the same codebook from Pearman et al., we showcase differences and similarities in PM adoption between the samples, including fears of a single point of failure and the importance of having control over one's private information. Meanwhile, older adults were found to have higher mistrust of cloud storage of passwords and cross-device synchronization. We also highlight PM adoption motivators for older adults, including the power of recommendations from family members and the importance of education and outreach to improve familiarity.


title: Feeding and feedback in nuclei of galaxies

abstract: Our aim is to explore the close environment of Active Galactic Nuclei (AGN) and its connection to the host galaxy through the morphology and dynamics of the cold gas inside the central kpc in nearby AGN. We report Atacama Large Millimeter/submillimeter Array (ALMA) observations of AGN feeding and feedback caught in action in NGC613 and NGC1808 at high resolution (few pc), part of the NUclei of GAlaxies (NUGA) project. We detected trailing spirals inside the central 100pc, efficiently driving the molecular gas into the SMBH, and molecular outflows driven by the AGN. We present preliminary results of the impact of massive winds induced by radio jets on galaxy evolution, based on observations of radio galaxies from the ALMA Radio-source Catalogue.


title: Super-exponential diffusion in nonlinear non-Hermitian systems

abstract: We investigate the quantum diffusion of a periodically kicked particle subjecting to both nonlinearity induced self-interactions and $\mathcal{PT}$-symmetric potentials. We find that, due to the interplay between the nonlinearity and non-Hermiticity, the expectation value of mean square of momentum scales with time in a super-exponential form $\langle p^2(t)\rangle\propto\exp[\beta\exp(\alpha t)]$, which is faster than any known rates of quantum diffusion. In the $\mathcal{PT}$-symmetry-breaking phase, the intensity of a state increases exponentially with time, leading to the exponential growth of the interaction strength. The feedback of the intensity-dependent nonlinearity further turns the interaction energy into the kinetic energy, resulting in a super-exponential growth of the mean energy. These theoretical predictions are in good agreement with numerical simulations in a $\cal{PT}$-symmetric nonlinear kicked particle. Our discovery establishes a new mechanism of diffusion in interacting and dissipative quantum systems. Important implications and possible experimental observations are discussed.


title: Computational study of crystal defects formation in Mo by machine learned molecular dynamics simulations

abstract: In this work, we study the damage in crystalline molybdenum material samples due to neutron bombardment in a primary knock-on atom range of 0.5-10 keV at room temperature. We perform machine learned molecular dynamics (MD) simulations with a previously developed interatomic potential based on the Gaussian Approximation Potential (GAP) framework. We utilize a recently developed software workflow for fingerprinting and visualizing defects in damage crystal structures to analyze the damaged Mo samples by computing the formation of point defects during and after a collision cascade. As a benchmark, we report results for the total number of Frenkel pairs (a self-interstitial atom and a single vacancy) formed and atom displacement as a function of the PKA energy. A comparison to results obtained by using an Embedded Atom Method (EAM) potential is presented to discuss the advantages and limits of the machine learned MD simulations. The formation of Frenkel pairs follows a sublinear scaling law related to the PKA energy with $E^{0.54}_\mathrm{PKA}$ to the GAP MD results and $E^{0.667}_\mathrm{PKA}$ for the EAM simulations. Although the average number total defects is similar for both methods, we notice that MD potentials model different atomic geometries for the complex point defects, where the formation of crowdions is more favorable for the GAP potential. Finally, ion beam mixing results for GAP MD simulations are reported and discussed.


title: DLT federation for Edge robotics

abstract: The concept of federation in 5G and NFV networks aims to provide orchestration of services across multiple administrative domains. Edge robotics, as a field of robotics, implements the robot control on the network edge by relying on low-latency and reliable access connectivity. In this paper, we propose a solution that enables Edge robotics service to expand its service footprint or access coverage over multiple administrative domains. We propose application of Distributed ledger technologies (DLTs) for the federation procedures to enable private, secure and trusty interactions between undisclosed administrative domains. The solution is applied on a real-case Edge robotics experimental scenario. The results show that it takes around 19 seconds to deploy & federate a Edge robotics service in an external/anonymous domain without any service down-time.


title: Bolometric Night Sky Temperature and Subcooling of Telescope Structures

abstract: Context. The term sky temperature is used in the literature in different contexts which often leads to confusion. In this work, we study $T_\text{sky}$, the effective bolometric sky temperature at which a hemispherical black body would radiate the same power onto a flat horizontal structure on the ground as the night sky, integrated over the entire thermal wavelength range of $1-100\,\mu$m. We then analyze the thermal physics of radiative cooling with special focus on telescopes and discuss mitigation strategies. Aims. The quantity $T_\text{sky}$ is useful to quantify the subcooling in telescopes which can deteriorate the image quality by introducing an Optical Path Difference (OPD) and induce thermal stress and mechanical deflections on structures. Methods. We employ the Cerro Paranal Sky Model of the European Southern Observatory to derive a simple formula of $T_\text{sky}$ as a function of atmospheric parameters. The structural subcooling and the induced OPD are then expressed as a function of surface emissivity, sky view factor, local air speed and structure dimensions. Results. At Cerro Paranal (2600 m) and Cerro Armazones (3060 m) in the Atacama desert, $T_\text{sky}$ towards the zenith mostly lies $20-50$ Kelvin below the ambient temperature near the ground, depending strongly on the precipitable water vapor (PWV) column in the atmosphere. The temperature difference can decrease by several Kelvin for higher zenith distances. The subcooling OPD scales linearly to quadratically with the telescope diameter and is inversely proportional to the local air speed near the telescope structure.


title: BayesAdapter: Being Bayesian, Inexpensively and Reliably, via Bayesian Fine-tuning

abstract: Despite their theoretical appealingness, Bayesian neural networks (BNNs) are left behind in real-world adoption, mainly due to persistent concerns on their scalability, accessibility, and reliability. In this work, we develop the BayesAdapter framework to relieve these concerns. In particular, we propose to adapt pre-trained deterministic NNs to be variational BNNs via cost-effective Bayesian fine-tuning. Technically, we develop a modularized implementation for the learning of variational BNNs, and refurbish the generally applicable exemplar reparameterization trick through exemplar parallelization to efficiently reduce the gradient variance in stochastic variational inference. Based on the lightweight Bayesian learning paradigm, we conduct extensive experiments on a variety of benchmarks, and show that our method can consistently induce posteriors with higher quality than competitive baselines, yet significantly reducing training overheads. Code is available at https://github.com/thudzj/ScalableBDL.


title: Locally refined spline surfaces for terrain and sea bed data: tailored approximation, export and analysis tools

abstract: The novel Locally Refined B-spline (LR B-spline) surface format is suited for representing terrain and seabed data in a compact way. It provides an alternative to the well know raster and triangulated surface representations. An LR B-spline surface has an overall smooth behaviour and allows the modelling of local details with only a limited growth in data volume. In regions where many data points belong to the same smooth area LR B-splines allow a very lean representation of the shape by locally adapting the resolution of the spline space to the size and local shape variations of the region. The surfaces generated approximate the smooth component of a cloud of data points within user specified tolerances. The method can be modified to improve the accuracy in particular domains and selected data points. The resulting surfaces are well suited for analysis and computing secondary information such as contour curves and minimum and maximum points. The surfaces can be translated into a raster or a tessellated surface of desired quality or exported as collections of tensor product spline surfaces. Data transfer can also be performed using Part 42 of ISO 10303 (the STEP standard) where LR B-splines were published in 2018.


title: Filling a theatre in times of corona

abstract: In this paper, we introduce an optimization problem posed by the Music Building Eindhoven (MBE) to deal with the economical consequences of the COVID-19 pandemic for theatre halls. We propose a model for maximizing the number of guests in a theatre hall that respects social distancing rules, and is based on trapezoid packings. Computational results show that up to 40% of the normal capacity can be used for a single show setting, and up to 70% in case artists opt for two consecutive performances per evening.


title: Automatic Deep Learning System for COVID-19 Infection Quantification in chest CT

abstract: Coronavirus Disease spread globally and infected millions of people quickly, causing high pressure on the health-system facilities. PCR screening is the adopted diagnostic testing method for COVID-19 detection. However, PCR is criticized due its low sensitivity ratios, also, it is time-consuming and manual complicated process. CT imaging proved its ability to detect the disease even for asymptotic patients, which make it a trustworthy alternative for PCR. In addition, the appearance of COVID-19 infections in CT slices, offers high potential to support in disease evolution monitoring using automated infection segmentation methods. However, COVID-19 infection areas include high variations in term of size, shape, contrast and intensity homogeneity, which impose a big challenge on segmentation process. To address these challenges, this paper proposed an automatic deep learning system for COVID-19 infection areas segmentation. The system include different steps to enhance and improve infection areas appearance in the CT slices so they can be learned efficiently using the deep network. The system start prepare the region of interest by segmenting the lung organ, which then undergo edge enhancing diffusion filtering (EED) to improve the infection areas contrast and intensity homogeneity. The proposed FCN is implemented using U-net architecture with modified residual block with concatenation skip connection. The block improves the learning of gradient values by forwarding the infection area features through the network. To demonstrate the generalization and effectiveness of the proposed system, it is trained and tested using many 2D CT slices extracted from diverse datasets from different sources. The proposed system is evaluated using different measures and achieved dice overlapping score of 0.961 and 0.780 for lung and infection areas segmentation, respectively.


title: Transfinite dimensions

abstract: Let H be a Hilbert space and let F be the family of all countable subsets of an orthonormal basis of H. We show that if F is infinite then F is equipollent with every linear basis of the vector space H. In doing so we also present a short proof of the Erd\"os-Kaplansky theorem more natural and much easier than the one by Bourbaki.


title: Introducing a new intrinsic metric

abstract: A new intrinsic metric called $t$-metric is introduced. Several sharp inequalities between this metric and the most common hyperbolic type metrics are proven for various domains $G\subsetneq\mathbb{R}^n$. The behaviour of the new metric is also studied under a few examples of conformal and quasiconformal mappings, and the differences between the balls drawn with all the metrics considered are compared by both graphical and analytical means.


title: Measuring the Complexity of Domains Used to Evaluate AI Systems

abstract: There is currently a rapid increase in the number of challenge problem, benchmarking datasets and algorithmic optimization tests for evaluating AI systems. However, there does not currently exist an objective measure to determine the complexity between these newly created domains. This lack of cross-domain examination creates an obstacle to effectively research more general AI systems. We propose a theory for measuring the complexity between varied domains. This theory is then evaluated using approximations by a population of neural network based AI systems. The approximations are compared to other well known standards and show it meets intuitions of complexity. An application of this measure is then demonstrated to show its effectiveness as a tool in varied situations. The experimental results show this measure has promise as an effective tool for aiding in the evaluation of AI systems. We propose the future use of such a complexity metric for use in computing an AI system's intelligence.


title: A Spherical Hidden Markov Model for Semantics-Rich Human Mobility Modeling

abstract: We study the problem of modeling human mobility from semantic trace data, wherein each GPS record in a trace is associated with a text message that describes the user's activity. Existing methods fall short in unveiling human movement regularities, because they either do not model the text data at all or suffer from text sparsity severely. We propose SHMM, a multi-modal spherical hidden Markov model for semantics-rich human mobility modeling. Under the hidden Markov assumption, SHMM models the generation process of a given trace by jointly considering the observed location, time, and text at each step of the trace. The distinguishing characteristic of SHMM is the text modeling part. We use fixed-size vector representations to encode the semantics of the text messages, and model the generation of the l2-normalized text embeddings on a unit sphere with the von Mises-Fisher (vMF) distribution. Compared with other alternatives like multi-variate Gaussian, our choice of the vMF distribution not only incurs much fewer parameters, but also better leverages the discriminative power of text embeddings in a directional metric space. The parameter inference for the vMF distribution is non-trivial since it involves functional inversion of ratios of Bessel functions. We theoretically prove that: 1) the classical Expectation-Maximization algorithm can work with vMF distributions; and 2) while closed-form solutions are hard to be obtained for the M-step, Newton's method is guaranteed to converge to the optimal solution with quadratic convergence rate. We have performed extensive experiments on both synthetic and real-life data. The results on synthetic data verify our theoretical analysis; while the results on real-life data demonstrate that SHMM learns meaningful semantics-rich mobility models, outperforms state-of-the-art mobility models for next location prediction, and incurs lower training cost.


title: Strong data processing constant is achieved by binary inputs

abstract: For any channel $P_{Y|X}$ the strong data processing constant is defined as the smallest number $\eta_{KL}\in[0,1]$ such that $I(U;Y)\le \eta_{KL} I(U;X)$ holds for any Markov chain $U-X-Y$. It is shown that the value of $\eta_{KL}$ is given by that of the best binary-input subchannel of $P_{Y|X}$. The same result holds for any $f$-divergence, verifying a conjecture of Cohen, Kemperman and Zbaganu (1998).


title: Electronic structure and optical properties of quantum crystals from first principles calculations in the Born-Oppenheimer approximation

abstract: We develop a formalism to accurately account for the renormalization of electronic structure due to quantum and thermal nuclear motions within the Born-Oppenheimer approximation. We focus on the fundamental energy gap obtained from electronic addition and removal energies from Quantum Monte Carlo calculations in either the canonical or grand canonical ensembles. The formalism applies as well to effective single electron theories such as those based on Density Functional Theory. We show that electronic (Bloch) crystal momentum can be restored by marginalizing the total electron-ion wave function with respect to the nuclear equilibrium distribution, and we describe an explicit procedure to establish the band structure of electronic excitations for quantum crystals within the Born-Oppenheimer approximation. Based on the Kubo-Greenwood equation, we discuss the effects of nuclear motion on optical conductivity. Our methodology applies to the low temperature regime where nuclear motion is quantized and in general differs from the semi-classical approximation. We apply our method to study the electronic structure of C2/c-24 crystalline hydrogen at 200K and 250 GPa and discuss the optical absorption profile of hydrogen crystal at 200K and carbon diamond at 297K.


title: Two-loop matching of renormalizable operators: general considerations and applications

abstract: Low-energy effective field theories (EFT) encode information about the physics at high energies--i.e., the high-energy theory (HET). To extract this information the EFT and the HET have to be matched to each other. At the one-loop level, general results for the matching of renormalizable operators have already been obtained in the literature. In the present paper, we take a step towards a better understanding of renormalizable operator matching at the two-loop level: Focusing on the diagrammatic method, we discuss in detail the various contributions to two-loop matching conditions and compare different approaches to derive them. Moreover, we discuss which observables are best suited for the derivation of matching conditions. As a concrete application, we calculate the $\mathcal{O}\left(\alpha_t \alpha_s \right)$ and $\mathcal{O} \left(\alpha_t^2 \right)$ matching conditions of the scalar four-point couplings between the Standard Model (SM) and the Two-Higgs-Doublet Model (THDM) as well as the THDM and the Minimal Supersymmetric Standard Model (MSSM). We use the derived formulas to improve the prediction of the SM-like Higgs mass in the MSSM using the THDM as EFT.


title: An all-leader agent-based model for turning and flocking birds

abstract: Starting from recent experimental observations of starlings and jackdaws, we propose a minimal agent-based mathematical model for bird flocks based on a system of second-order delayed stochastic differential equations with discontinuous (both in space and time) right-hand side. The model is specifically designed to reproduce self-organized spontaneous sudden changes of direction, not caused by external stimuli like predator's attacks. The main novelty of the model is that every bird is a potential turn initiator, thus leadership is formed in a group of indistinguishable agents. We investigate some theoretical properties of the model and we show the numerical results. Biological insights are also discussed.


title: Universal Features of Annealing and Aging in Compaction of Granular Piles

abstract: We explore the compaction dynamics of a granular pile after a hard quench from a liquid into the glassy regime. First, we establish that the otherwise athermal granular pile during tapping exhibits annealing behavior comparable to glassy polymer or colloidal systems. Like those other systems, the pile undergoes a glass transition and "freezes" into different non-equilibrium glassy states at low agitation for different annealing speeds, starting from the same initial equilibrium state at high agitation. Then, we quench the system instantaneously from the highly-agitated state to below the glass transition regime to study the ensuing aging dynamics. In this classical aging protocol, the density increases (i.e., the potential energy of the pile decreases) logarithmically over several decades in time. Instead of system-wide, thermodynamic measures, here we identify the intermittent, irreversible events ("quakes") that actually drive the glassy relaxation process. We find that the event rate decelerates hyperbolically, which explains the observed increase in density when the integrated contribution to the downward displacements is evaluated. We argue that such a hyperbolically decelerating event rate is consistent with a log-Poisson process, also found as a universal feature of aging in many thermal glasses.


title: Improving Few-Shot Learning through Multi-task Representation Learning Theory

abstract: In this paper, we consider the framework of multi-task representation (MTR) learning where the goal is to use source tasks to learn a representation that reduces the sample complexity of solving a target task. We start by reviewing recent advances in MTR theory and show that they can provide novel insights for popular meta-learning algorithms when analyzed within this framework. In particular, we highlight a fundamental difference between gradient-based and metric-based algorithms in practice and put forward a theoretical analysis to explain it. Finally, we use the derived insights to improve the performance of meta-learning methods via a new spectral-based regularization term and confirm its efficiency through experimental studies on few-shot classification benchmarks. To the best of our knowledge, this is the first contribution that puts the most recent learning bounds of MTR theory into practice for the task of few-shot classification.


title: K2-111: an old system with two planets in near-resonance

abstract: This paper reports on the detailed characterisation of the K2-111 planetary system with K2, WASP, and ASAS-SN photometry as well as high-resolution spectroscopic data from HARPS-N and ESPRESSO. The host, K2-111, is confirmed to be a mildly evolved ($\log g=4.17$), iron-poor ([Fe/H]$=-0.46$), but alpha-enhanced ([$\alpha$/Fe]$=0.27$), chromospherically quiet, very old thick disc G2 star. A global fit, performed by using PyORBIT shows that the transiting planet, K2-111b, orbits with a period $P_b=5.3518\pm0.0004$ d, and has a planet radius of $1.82^{+0.11}_{-0.09}$ R$_\oplus$ and a mass of $5.29^{+0.76}_{-0.77}$ M$_\oplus$, resulting in a bulk density slightly lower than that of the Earth. The stellar chemical composition and the planet properties are consistent with K2-111b being a terrestrial planet with an iron core mass fraction lower than the Earth. We announce the existence of a second signal in the radial velocity data that we attribute to a non-transiting planet, K2-111c, with an orbital period of $15.6785\pm 0.0064$ days, orbiting in near-3:1 mean-motion resonance with the transiting planet, and a minimum planet mass of $11.3\pm1.1$ M$_\oplus$. Both planet signals are independently detected in the HARPS-N and ESPRESSO data when fitted separately. There are potentially more planets in this resonant system, but more well-sampled data are required to confirm their presence and physical parameters.


title: Rigidity of riemannian manifolds containing an equator

abstract: In this paper, we prove that a Riemannian $n$-manifold $M$ with sectional curvature bounded above by $1$ that contains a minimal $2$-sphere of area $4\pi$ which has index at least $n-2$ has constant sectional curvature $1$. The proof uses the construction of ancient mean curvature flows that flow out of a minimal submanifold. As a consequence we also prove a rigidity result for the Simon-Smith minimal spheres.


title: Nonlinearly Charged Black Hole Chemistry with Massive Gravitons in the Grand Canonical Ensemble

abstract: In the context of Black Hole Chemistry (BHC), holographic phase transitions of asymptotically anti-de Sitter (AdS) charged topological black holes (TBHs) in massive gravity coupled to Power Maxwell Invariant (PMI) electrodynamics are discussed in the grand canonical (fixed $U(1)$ potential, $\Phi$) ensemble. Considering all higher-order graviton's self-interactions of (dRGT) massive gravitational field theory in arbitrary dimensions, exact TBH solutions are derived, the explicit form of the on-shell action is computed, and the associated thermodynamic quantities in the Grand Canonical Ensemble (GCE) are calculated. In addition, the validity of the first law of thermodynamics and Smarr relation are examined in the extended phase space. Regarding this model, it is shown that a van der Waals (vdW) behavior takes place in $d \ge 4$ dimensions, a typical reentrant phase transition is observed in $d \ge 5$, and both anomalous vdW and triple point phenomena are recognized in $d \ge 6$. So, the results are quite different from their counterparts in the GCE of Maxwell-massive gravity. Besides, we briefly study the critical behaviors of higher-dimensional TBHs with a conformally invariant Maxwell source as a special subgroup of our solutions for both Einstein and massive gravity theories in various ensembles.


title: Evaluation of company investment value based on machine learning

abstract: In this paper, company investment value evaluation models are established based on comprehensive company information. After data mining and extracting a set of 436 feature parameters, an optimal subset of features is obtained by dimension reduction through tree-based feature selection, followed by the 5-fold cross-validation using XGBoost and LightGBM models. The results show that the Root-Mean-Square Error (RMSE) reached 3.098 and 3.059, respectively. In order to further improve the stability and generalization capability, Bayesian Ridge Regression has been used to train a stacking model based on the XGBoost and LightGBM models. The corresponding RMSE is up to 3.047. Finally, the importance of different features to the LightGBM model is analysed.


title: Immigration Document Classification and Automated Response Generation

abstract: In this paper, we consider the problem of organizing supporting documents vital to U.S. work visa petitions, as well as responding to Requests For Evidence (RFE) issued by the U.S.~Citizenship and Immigration Services (USCIS). Typically, both processes require a significant amount of repetitive manual effort. To reduce the burden of mechanical work, we apply machine learning methods to automate these processes, with humans in the loop to review and edit output for submission. In particular, we use an ensemble of image and text classifiers to categorize supporting documents. We also use a text classifier to automatically identify the types of evidence being requested in an RFE, and used the identified types in conjunction with response templates and extracted fields to assemble draft responses. Empirical results suggest that our approach achieves considerable accuracy while significantly reducing processing time.