title: Causality and Robust Optimization

abstract: A decision-maker must consider cofounding bias when attempting to apply machine learning prediction, and, while feature selection is widely recognized as important process in data-analysis, it could cause cofounding bias. A causal Bayesian network is a standard tool for describing causal relationships, and if relationships are known, then adjustment criteria can determine with which features cofounding bias disappears. A standard modification would thus utilize causal discovery algorithms for preventing cofounding bias in feature selection. Causal discovery algorithms, however, essentially rely on the faithfulness assumption, which turn out to be easily violated in practical feature selection settings. In this paper, we propose a meta-algorithm that can remedy existing feature selection algorithms in terms of cofounding bias. Our algorithm is induced from a novel adjustment criterion that requires rather than faithfulness, an assumption which can be induced from another well-known assumption of the causal sufficiency. We further prove that the features added through our modification convert cofounding bias into prediction variance. With the aid of existing robust optimization technologies that regularize risky strategies with high variance, then, we are able to successfully improve the throughput performance of decision-making optimization, as is shown in our experimental results.


title: Critical Galton-Watson branching processes with countably infinitely many types and infinite second moments

abstract: We consider an indecomposable Galton-Watson branching process with countably infinitely many types. Assuming that the process is critical and allowing for infinite variance of the offspring sizes of some (or all) types of particles we describe the asymptotic behavior of the survival probability of the process and establish a Yaglom-type conditional limit theorem for the infinite-dimensional vector of the number of particles of all types.


title: Numerical simulation of sky localization for LISA-TAIJI joint observation

abstract: LISA is considered to be launched alongside the Athena to probe the energetic astrophysical processes. LISA can determine the direction of sources for Athena's follow-up observation. As another space gravitational wave mission, TAIJI is expected to be launched in the 2030s. The LISA-TAIJI network would provide abundant merits for sources understanding. In this work, we simulate the joint LISA-TAIJI observations for gravitational waves from coalescing supermassive black hole binaries and monochromatic sources. By using the numerical mission orbits, we evaluate the performances of sky localization for various time-delay interferometry channels. For 30 days observation until coalescence, the LISA-TAIJI network in optimal operation can localize all simulated binary sources, $(10^7,\ 3.3 \times 10^6)\ M_\odot$, $(10^6,\ 3.3 \times 10^5)\ M_\odot$ and $(10^5,\ 3.3 \times 10^4)\ M_\odot$ at redshift $z=2$, in 0.4 deg$^2$ (field of view of Wide Field Imager on Athena). The angular resolution can be improved by more than 10 times comparing to LISA or TAIJI single detector at a given percentage of population. The improvements for monochromatic sources at 3 mHz and 10 mHz are relatively moderate in one-year observation. The precision of sky localization could be improved by around 1 to 3 times comparing to single LISA at a given percentage of sources. For a simulated 90 days observation for monochromatic waves, the LISA-TAIJI network still represents a considerable localization advantage which could be more than 10 times better.


title: Determinant formula for the field form factor in the anyonic Lieb-Liniger model

abstract: We derive an exact formula for the field form factor in the anyonic Lieb-Liniger model, valid for arbitrary values of the interaction $c$, anyonic parameter $\kappa$, and number of particles $N$. Analogously to the bosonic case, the form factor is expressed in terms of the determinant of a $N\times N$ matrix, whose elements are rational functions of the Bethe quasimomenta but explicitly depend on $\kappa$. The formula is efficient to evaluate, and provide an essential ingredient for several numerical and analytical calculations. Its derivation consists of three steps. First, we show that the anyonic form factor is equal to the bosonic one between two special off-shell Bethe states, in the standard Lieb-Liniger model. Second, we characterize its analytic properties and provide a set of conditions that uniquely specify it. Finally, we show that our determinant formula satisfies these conditions.

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


title: Supersoft Stops

abstract: In a supersymmetric (SUSY) theory, the IR-contributions to the Higgs mass are calculable below the mediation scale $\Lambda_{\text{UV}}$ in terms of the IR field content and parameters. However, logarithmic sensitivity to physics at $\Lambda_{\text{UV}}$ remains. In this work we present a first example of a framework, dictated by symmetries, to supersoften these logarithms from the matter sector. The result is a model with finite, IR-calculable corrections to the Higgs mass. This requires the introduction of new fields -- the `lumberjacks' -- whose role is to screen the UV-sensitive logs. These models have considerably reduced fine-tuning, by more than an order of magnitude for high scale supersymmetry. This impacts interpretations of the natural parameter space, suggesting it may be premature to declare a naturalness crisis for high-scale SUSY.


title: Weighted least squares estimators for the Parzen tail index

abstract: Estimation of the tail index of heavy-tailed distributions and its applications are essential in many research areas. We propose a class of weighted least squares (WLS) estimators for the Parzen tail index. Our approach is based on the method developed by \cite{Holan2010}. We investigate consistency and asymptotic normality of the WLS estimators. Through a simulation study, we make a comparison with the Hill, Pickands, DEdH (Dekkers, Einmahl and de Haan) and ordinary least squares (OLS) estimators using the mean square error as criterion. The results show that in a restricted model some members of the WLS estimators are competitive with the Pickands, DEdH and OLS estimators.


title: The Atrial Fibrillation Risk Score for Hyperthyroidism Patients

abstract: Thyrotoxicosis (TT) is associated with an increase in both total and cardiovascu-lar mortality. One of the main thyrotoxicosis risks is Atrial Fibrillation (AF). Right AF predicts help medical personal prescribe the correct medicaments and correct surgical or radioiodine therapy. The main goal of this study is creating a method for practical treatment and diagnostic AF. This study proposes a new method for assessing the risk of occurrence atrial fibrillation for patients with TT. This method considers both the features of the complication and the specifics of the chronic disease. A model is created based on case histories of patients with thyrotoxicosis. We used Machine Learning methods for creating several models. Each model has advantages and disadvantages depending on the diagnostic and medical purposes. The resulting models show high results in the different metrics of the prediction of AF. These models interpreted and simple for use. Therefore, models can be used as part of the support and decision-making system (DSS) by medical specialists in the treatment and diagnostic of AF.


title: Development of a low-$\alpha$-emitting $\mu$-PIC as a readout device for direction-sensitive dark matter detectors

abstract: Direction sensitivity could provide robust evidence for the direct detection of weakly interacting massive particles constituting dark matter. However, the sensitivity of this method remains low due to the radioactive backgrounds. The purpose of this study is to develop a low-background detector as a two-dimensional imaging device for a gaseous time projection chamber. In direction-sensitive dark matter experiments~(e.g. NEWAGE), $\alpha$-rays emitted from the detector components often create substantial radioactive backgrounds. Based on the study of the background of NEWAGE, a new detector "low-$\alpha$ $\mu$-PIC" is developed. The produced $\mu$-PIC performs well as a gas detector and the $\alpha$-ray emission rate from the $\mu$-PIC reduced by a factor of 100.


title: Regression estimators for the tail index

abstract: We propose a class of weighted least squares estimators for the tail index of a distribution function with a regularly varying upper tail. Our approach is based on the method developed by \cite{Holan2010} for the Parzen tail index. Asymptotic normality of the estimators is proved. Through a simulation study, these and earlier estimators are compared in the Pareto and Hall models using the mean squared error as criterion. The results show that the weighted least squares estimator is better than the other estimators investigated.


title: Breakdown of the electric dipole approximation at Cooper minima in direct two-photon ionisation

abstract: We predict breakdown of the electric dipole approximation at nonlinear Cooper minimum in direct two-photon $K-$shell atomic ionisation by circularly polarised light. According to predictions based on the electric dipole approximation, we expect that tuning the incident photon energy to the Cooper minimum in two-photon ionisation results in pure depletion of one spin projection of the initially bound $1s$ electrons, and hence, leaves the ionised atom in a fully oriented state. We show that by inclusion of electric quadrupole interaction, dramatic drop of orientation purity is obtained. The low degree of the remaining ion orientation provides a direct access to contributions of the electron-photon interaction beyond the electric dipole approximation in the two-photon ionisation of atoms and molecules. The orientation of the photoions can be experimentally detected either directly by a Stern-Gerlach analyzer, or by means of subsequent $K\alpha$ fluorescence emission, which has the information about the ion orientation imprinted in the polarisation of the emitted photons.


title: Reinforcement Learning through Active Inference

abstract: The central tenet of reinforcement learning (RL) is that agents seek to maximize the sum of cumulative rewards. In contrast, active inference, an emerging framework within cognitive and computational neuroscience, proposes that agents act to maximize the evidence for a biased generative model. Here, we illustrate how ideas from active inference can augment traditional RL approaches by (i) furnishing an inherent balance of exploration and exploitation, and (ii) providing a more flexible conceptualization of reward. Inspired by active inference, we develop and implement a novel objective for decision making, which we term the free energy of the expected future. We demonstrate that the resulting algorithm successfully balances exploration and exploitation, simultaneously achieving robust performance on several challenging RL benchmarks with sparse, well-shaped, and no rewards.

categories: cs.LG cs.AI cs.IT cs.SY eess.SY math.IT stat.ML


title: Forces from Lipids and Ionic Diffusion: Probing lateral membrane effects by an optimized filter region of voltage dependent K+ channels

abstract: We investigate the possible influence of poly unsaturated fatty acids (PUFAs) in the lipid bilayer of cell membranes on the conduction properties of the selectivity filter of voltage gated ion channels. Any change of this conductivity can have major consequences on electrical signalling in brain and other cells. At the microscopic level a change in the concentration of PUFAs can cause a change in the pressure distribution within the lipid bilayer, and this in turn can lead to a change in the length of the selectivity filter. In order to estimate the consequences this might entail for the ion channel's conductivity we performed high resolution molecular dynamics (MD) simulations of the passage of K+ ions and H2O molecules through the selectivity filter of the KcsA potassium ion channel. Our results show that a change in length of the selectivity filter of as little as 4%, independent of whether the filter is made longer or shorter, will reduce the K+ ion current by around 50%. And further squeezing or stretching by about 10% can effectively stop the current. For instructive purposes and to facilitate further interpretation of the results, we give details of the force models employed in the MD simulations. We finally discuss the present results in the context of possible effects of membrane lipid compositions on Kv ion permeation.


title: Possible phason-polaron effect on purely one dimensional charge order of Mo6Se6 nanowires

abstract: In one-dimensional (1D) metallic systems, the diverging electron susceptibility and electron-phonon coupling collaboratively drive the electrons into a charge density wave (CDW) state. However, strictly 1D system is unstable against perturbations, whose effect on CDW order requires clarification ideally with altered coupling to surroundings. Here, we fabricate such a system with nanowires of Mo6Se6 bundles, which are either attached to edges of monolayer MoSe2 or isolated freely, by post-annealing the preformed MoSe2. Using scanning tunneling microscopy (STM), we visualized charge modulations and CDW gaps with prominent coherent peaks in the edge-attached nanowires. Astonishingly, the CDW order becomes suppressed in the isolated nanowires, showing CDW correlation gaps without coherent peaks. The contrasting behavior, as revealed with theoretical modeling, is interpreted as the effect of phason-polarons on the 1D CDW state. Our work elucidates a possibly unprecedented many body effect that may be generic to strictly 1D system but undermined in quasi-1D system.


title: Transfer ideals and torsion in the Morava $E$-theory of abelian groups

abstract: Let $A$ be a finite abelian $p$ group of rank at least $2$. We show that $E^0(BA)/I_{tr}$, the quotient of the Morava $E$-cohomology of $A$ by the ideal generated by the image of the transfers along all proper subgroups, contains $p$-torsion. The proof makes use of transchromatic character theory.


title: A Spectral Analysis of Dot-product Kernels

abstract: We present eigenvalue decay estimates of integral operators associated with compositional dot-product kernels. The estimates improve on previous ones established for power series kernels on spheres. This allows us to obtain the volumes of balls in the corresponding reproducing kernel Hilbert spaces. We discuss the consequences on statistical estimation with compositional dot product kernels and highlight interesting trade-offs between the approximation error and the statistical error depending on the number of compositions and the smoothness of the kernels.


title: AdarGCN: Adaptive Aggregation GCN for Few-Shot Learning

abstract: Existing few-shot learning (FSL) methods assume that there exist sufficient training samples from source classes for knowledge transfer to target classes with few training samples. However, this assumption is often invalid, especially when it comes to fine-grained recognition. In this work, we define a new FSL setting termed few-shot fewshot learning (FSFSL), under which both the source and target classes have limited training samples. To overcome the source class data scarcity problem, a natural option is to crawl images from the web with class names as search keywords. However, the crawled images are inevitably corrupted by large amount of noise (irrelevant images) and thus may harm the performance. To address this problem, we propose a graph convolutional network (GCN)-based label denoising (LDN) method to remove the irrelevant images. Further, with the cleaned web images as well as the original clean training images, we propose a GCN-based FSL method. For both the LDN and FSL tasks, a novel adaptive aggregation GCN (AdarGCN) model is proposed, which differs from existing GCN models in that adaptive aggregation is performed based on a multi-head multi-level aggregation module. With AdarGCN, how much and how far information carried by each graph node is propagated in the graph structure can be determined automatically, therefore alleviating the effects of both noisy and outlying training samples. Extensive experiments show the superior performance of our AdarGCN under both the new FSFSL and the conventional FSL settings.


title: Do optimization methods in deep learning applications matter?

abstract: With advances in deep learning, exponential data growth and increasing model complexity, developing efficient optimization methods are attracting much research attention. Several implementations favor the use of Conjugate Gradient (CG) and Stochastic Gradient Descent (SGD) as being practical and elegant solutions to achieve quick convergence, however, these optimization processes also present many limitations in learning across deep learning applications. Recent research is exploring higher-order optimization functions as better approaches, but these present very complex computational challenges for practical use. Comparing first and higher-order optimization functions, in this paper, our experiments reveal that Levemberg-Marquardt (LM) significantly supersedes optimal convergence but suffers from very large processing time increasing the training complexity of both, classification and reinforcement learning problems. Our experiments compare off-the-shelf optimization functions(CG, SGD, LM and L-BFGS) in standard CIFAR, MNIST, CartPole and FlappyBird experiments.The paper presents arguments on which optimization functions to use and further, which functions would benefit from parallelization efforts to improve pretraining time and learning rate convergence.


title: On cherry and pitchfork distributions of random rooted and unrooted phylogenetic trees

abstract: Tree shape statistics are important for investigating evolutionary mechanisms mediating phylogenetic trees. As a step towards bridging shape statistics between rooted and unrooted trees, we present a comparison study on two subtree statistics known as numbers of cherries and pitchforks for the proportional to distinguishable arrangements (PDA) and the Yule-Harding-Kingman (YHK) models. Based on recursive formulas on the joint distribution of the number of cherries and that of pitchforks, it is shown that cherry distributions are log-concave for both rooted and unrooted trees under these two models. Furthermore, the mean number of cherries and that of pitchforks for unrooted trees converge respectively to those for rooted trees under the YHK model while there exists a limiting gap of 1/4 for the PDA model. Finally, the total variation distances between the cherry distributions of rooted and those of unrooted trees converge for both models. Our results indicate that caution is required for conducting statistical analysis for tree shapes involving both rooted and unrooted trees.


title: Linear fractional transformations and non-linear leaping convergents of some continued fractions

abstract: For $\alpha_0 = \left[a_0, a_1, \ldots\right]$ an infinite continued fraction and $\sigma$ a linear fractional transformation, we study the continued fraction expansion of $\sigma(\alpha_0)$ and its convergents. We provide the continued fraction expansion of $\sigma(\alpha_0)$ for four general families of continued fractions and when $\left|\det \sigma\right| = 2$. We also find nonlinear recurrence relations among the convergents of $\sigma(\alpha_0)$ which allow us to highlight relations between convergents of $\alpha_0$ and $\sigma(\alpha_0)$. Finally, we apply our results to some special and well-studied continued fractions, like Hurwitzian and Tasoevian ones, giving a first study about leaping convergents having steps provided by nonlinear functions.


title: Comparison of Speech Representations for Automatic Quality Estimation in Multi-Speaker Text-to-Speech Synthesis

abstract: We aim to characterize how different speakers contribute to the perceived output quality of multi-speaker Text-to-Speech (TTS) synthesis. We automatically rate the quality of TTS using a neural network (NN) trained on human mean opinion score (MOS) ratings. First, we train and evaluate our NN model on 13 different TTS and voice conversion (VC) systems from the ASVSpoof 2019 Logical Access (LA) Dataset. Since it is not known how best to represent speech for this task, we compare 8 different representations alongside MOSNet frame-based features. Our representations include image-based spectrogram features and x-vector embeddings that explicitly model different types of noise such as T60 reverberation time. Our NN predicts MOS with a high correlation to human judgments. We report prediction correlation and error. A key finding is the quality achieved for certain speakers seems consistent, regardless of the TTS or VC system. It is widely accepted that some speakers give higher quality than others for building a TTS system: our method provides an automatic way to identify such speakers. Finally, to see if our quality prediction models generalize, we predict quality scores for synthetic speech using a separate multi-speaker TTS system that was trained on LibriTTS data, and conduct our own MOS listening test to compare human ratings with our NN predictions.


title: IoT Connectivity Technologies and Applications: A Survey

abstract: The Internet of Things (IoT) is rapidly becoming an integral part of our life and also multiple industries. We expect to see the number of IoT connected devices explosively grows and will reach hundreds of billions during the next few years. To support such a massive connectivity, various wireless technologies are investigated. In this survey, we provide a broad view of the existing wireless IoT connectivity technologies and discuss several new emerging technologies and solutions that can be effectively used to enable massive connectivity for IoT. In particular, we categorize the existing wireless IoT connectivity technologies based on coverage range and review diverse types of connectivity technologies with different specifications. We also point out key technical challenges of the existing connectivity technologies for enabling massive IoT connectivity. To address the challenges, we further review and discuss some examples of promising technologies such as compressive sensing (CS) random access, non-orthogonal multiple access (NOMA), and massive multiple input multiple output (mMIMO) based random access that could be employed in future standards for supporting IoT connectivity. Finally, a classification of IoT applications is considered in terms of various service requirements. For each group of classified applications, we outline its suitable IoT connectivity options.


title: REGNet: REgion-based Grasp Network for End-to-end Grasp Detection in Point Clouds

abstract: Reliable robotic grasping in unstructured environments is a crucial but challenging task. The main problem is to generate the optimal grasp of novel objects from partial noisy observations. This paper presents an end-to-end grasp detection network taking one single-view point cloud as input to tackle the problem. Our network includes three stages: Score Network (SN), Grasp Region Network (GRN), and Refine Network (RN). Specifically, SN regresses point grasp confidence and selects positive points with high confidence. Then GRN conducts grasp proposal prediction on the selected positive points. RN generates more accurate grasps by refining proposals predicted by GRN. To further improve the performance, we propose a grasp anchor mechanism, in which grasp anchors with assigned gripper orientations are introduced to generate grasp proposals. Experiments demonstrate that REGNet achieves a success rate of 79.34% and a completion rate of 96% in real-world clutter, which significantly outperforms several state-of-the-art point-cloud based methods, including GPD, PointNetGPD, and S4G. The code is available at https://github.com/zhaobinglei/REGNet_for_3D_Grasping.


title: Fast and Accurate Optical Fiber Channel Modeling Using Generative Adversarial Network

abstract: In this work, a new data-driven fiber channel modeling method, generative adversarial network (GAN) is investigated to learn the distribution of fiber channel transfer function. Our investigation focuses on joint channel effects of attenuation, chromic dispersion, self-phase modulation (SPM), and amplified spontaneous emission (ASE) noise. To achieve the success of GAN for channel modeling, we modify the loss function, design the condition vector of input and address the mode collapse for the long-haul transmission. The effective architecture, parameters, and training skills of GAN are also displayed in the paper. The results show that the proposed method can learn the accurate transfer function of the fiber channel. The transmission distance of modeling can be up to 1000 km and can be extended to arbitrary distance theoretically. Moreover, GAN shows robust generalization abilities under different optical launch powers, modulation formats, and input signal distributions. Comparing the complexity of GAN with the split-step Fourier method (SSFM), the total multiplication number is only 2% of SSFM and the running time is less than 0.1 seconds for 1000-km transmission, versus 400 seconds using the SSFM under the same hardware and software conditions, which highlights the remarkable reduction in complexity of the fiber channel modeling.


title: On the determinant of multiplication map of a monomial complete intersection ring

abstract: In this article, we consider the monomial complete intersection algebra $\mathbb{K}[x,y]/\langle x^d,y^q\rangle$ in two variables. For elements $l_1,\ldots,l_{d+q-2k}$ of degree $1$, we give a formula of the deteminant of linear map from the homogeneous component of degree $k$ to the homogenous component of degree $d+q-k$ defined by the multiplication of $l_1 \cdots l_{d+q-2k}$.


title: Indexing Exoplanets with Physical Conditions Potentially Suitable for Rock-Dependent Extremophiles

abstract: The search for different life forms elsewhere in the universe is a fascinating area of research in astrophysics and astrobiology. Currently, according to the NASA Exoplanet Archive database, 3876 exoplanets have been discovered. The Earth Similarity Index (ESI) is defined as the geometric mean of radius, density, escape velocity, and surface temperature and ranges from 0 (dissimilar to Earth) to 1 (similar to Earth). The ESI was created to index exoplanets on the basis of their similarity to Earth. In this paper, we examined rocky exoplanets whose physical conditions are potentially suitable for the survival of rock-dependent extremophiles, such as the cyanobacteria Chroococcidiopsis and the lichen Acarospora. The Rock Similarity Index (RSI) is first introduced and then applied to 1659 rocky exoplanets. The RSI represents a measure for Earth-like planets on which physical conditions are potentially suitable for rocky extremophiles that can survive in Earth-like extreme habitats (i.e., hot deserts and cold, frozen lands).


title: Generalization of port-based teleportation and controlled teleportation capability

abstract: As a variant of the original quantum teleportation, the port-based teleportation has been proposed, and its various kinds of useful applications in quantum information processing have been explored. Two users in the port-based teleportation initially share an arbitrary pure state, which can be represented by applying one user's local operation to a bipartite maximally entangled state. If the maximally entangled state is a $2M$-qudit state, then it can be expressed as $M$ copies of a two-qudit maximally entangled state, where $M$ is the number of the ports. We here consider a generalization of the original port-based teleportation obtained from employing copies of an arbitrary bipartite (mixed) resource instead of copies of a pure maximally entangled one. By means of the generalization, we construct a concept of the controlled port-based teleportation by combining the controlled teleportation with the port-based teleportation, and analyze its performance in terms of several meaningful quantities such as the teleportation fidelity, the entanglement fidelity, and the fully entangled fraction. In addition, we present new quantities called the control power and the minimal control power for the new controlled version on a given tripartite quantum state.


title: Hyperbolic Knot Theory

abstract: This book is an introduction to hyperbolic geometry in dimension three, and its applications to knot theory and to geometric problems arising in knot theory. It has three parts. The first part covers basic tools in hyperbolic geometry and geometric structures on 3-manifolds. The second part focuses on families of knots and links that have been amenable to study via hyperbolic geometry, particularly twist knots, 2-bridge knots, and alternating knots. It also develops geometric techniques used to study these families, such as angle structures and normal surfaces. The third part gives more detail on three important knot invariants that come directly from hyperbolic geometry, namely volume, canonical polyhedra, and the A-polynomial.


title: Probabilistic Learning on Manifolds

abstract: This paper presents mathematical results in support of the methodology of the probabilistic learning on manifolds (PLoM) recently introduced by the authors, which has been used with success for analyzing complex engineering systems. The PLoM considers a given initial dataset constituted of a small number of points given in an Euclidean space, which are interpreted as independent realizations of a vector-valued random variable for which its non-Gaussian probability measure is unknown but is, \textit{a priori}, concentrated in an unknown subset of the Euclidean space. The objective is to construct a learned dataset constituted of additional realizations that allow the evaluation of converged statistics. A transport of the probability measure estimated with the initial dataset is done through a linear transformation constructed using a reduced-order diffusion-maps basis. In this paper, it is proven that this transported measure is a marginal distribution of the invariant measure of a reduced-order It\^o stochastic differential equation that corresponds to a dissipative Hamiltonian dynamical system. This construction allows for preserving the concentration of the probability measure. This property is shown by analyzing a distance between the random matrix constructed with the PLoM and the matrix representing the initial dataset, as a function of the dimension of the basis. It is further proven that this distance has a minimum for a dimension of the reduced-order diffusion-maps basis that is strictly smaller than the number of points in the initial dataset. Finally, a brief numerical application illustrates the mathematical results.


title: Real time Smart Contracts for IoT using Blockchain and Collaborative Intelligence based Dynamic Pricing for the next generation Smart Toll Application

abstract: The confluence of Internet of Things(IoT) , Blockchain(BC) and Artificial Intelligence(AI) acts as a key accelerator for enabling Machine Economy. To be ready for future businesses these technologies needs to be adapted by extending the IoT capabilities to Economy of Things (EoT) capabilities. In this paper we focus on one such implementation experience for Smart Toll Transaction application in the domain of mobility. Our paper showcases a possible solution by leveraging negotiations, decision making, distributed learning capabilities at the devices level using AI-enabled Multi-Agent Systems and the real-time smart contracts between the Cars and Tolls using Blockchain. This solution also showcases the monetization of real time data coming from various IoT devices which are part of vehicles and infrastructure. While blockchain secures the privacy of the participants it also acts as an economic transactional layer and governance layer between the devices in the networ


title: A U-Net Based Discriminator for Generative Adversarial Networks

abstract: Among the major remaining challenges for generative adversarial networks (GANs) is the capacity to synthesize globally and locally coherent images with object shapes and textures indistinguishable from real images. To target this issue we propose an alternative U-Net based discriminator architecture, borrowing the insights from the segmentation literature. The proposed U-Net based architecture allows to provide detailed per-pixel feedback to the generator while maintaining the global coherence of synthesized images, by providing the global image feedback as well. Empowered by the per-pixel response of the discriminator, we further propose a per-pixel consistency regularization technique based on the CutMix data augmentation, encouraging the U-Net discriminator to focus more on semantic and structural changes between real and fake images. This improves the U-Net discriminator training, further enhancing the quality of generated samples. The novel discriminator improves over the state of the art in terms of the standard distribution and image quality metrics, enabling the generator to synthesize images with varying structure, appearance and levels of detail, maintaining global and local realism. Compared to the BigGAN baseline, we achieve an average improvement of 2.7 FID points across FFHQ, CelebA, and the newly introduced COCO-Animals dataset. The code is available at https://github.com/boschresearch/unetgan.


title: Let there be more variability in two gamma Cas stars

abstract: We investigate the short-term optical variability of two gamma Cas analogs, pi Aqr and BZ Cru, thanks to intensive ground-based spectroscopic and space-borne photometric monitorings. For both stars, low-amplitude (mmag) coherent photometric variability is detected. The associated signals display long-term amplitude variations, as in other Be stars. However, these signals appear at high frequencies, especially in pi Aqr, indicating p-modes with a high degree l, a quite unusual feature amongst Be stars. While BZ Cru presents only low-level spectral variability, without clear periodicity, this is not the case of pi Aqr. In this star, the dominant photometric frequencies, near ~12/d, are confirmed spectroscopically in separate monitorings taken during very different disk activity levels ; the spectroscopic analysis suggests a probable tesseral nature for the mode.


title: The Local versus the Global in the History of Relativity: The Case of Belgium

abstract: This article contributes to a global history of relativity, by exploring how Einstein's theory was appropriated in Belgium. This may sound as a contradiction in terms, yet the early-twentieth-century Belgian context, because of its cultural diversity and reflectiveness of global conditions (the principal example being the First World War), proves well-suited to expose transnational flows and patterns in the global history of relativity. The attempts of Belgian physicist Th\'eophile de Donder to contribute to relativity physics during the 1910s and 1920s illustrate the role of the war in shaping the transnational networks through which relativity circulated. The local attitudes of conservative Belgian Catholic scientists and philosophers, who denied that relativity was philosophically significant, exemplify a global pattern: while critics of relativity feared to become marginalized by the scientific, political, and cultural revolutions that Einstein and his theory were taken to represent, supporters sympathized with these revolutions.


title: Filtering techniques to enhance optical turbulence forecast performances at short time scales

abstract: The efficiency of the management of top-class ground-based astronomical facilities supported by Adaptive Optics (AO) relies on our ability to forecast the optical turbulence (OT) and a set of relevant atmospheric parameters. Indeed, in spite of the fact that the AO is able to achieve, at present, excellent levels of wavefront corrections (a Strehl Ratio up to 90% in H band), its performances strongly depend on the atmospheric conditions. Knowing in advance the turbulence conditions allows an optimization of the AO use. It has already been proven that it is possible to provide reliable forecasts of the optical turbulence (CN2 profiles and integrated astroclimatic parameters such as seeing, isoplanantic angle, wavefront coherence time, ...) for the next night. In this paper we prove that it is possible to improve the forecast performances on shorter time scales (order of one or two hours) with consistent gains (order of 2 to 8) using filtering techniques. This has permitted us to achieve forecasts accuracies never obtained before and reach a fundamental milestone for the astronomical applications. The time scale of one or two hours is the most critical one for an efficient management of the ground-based telescopes supported by AO. Results shown here open, therefore, to an important revolution in the field. We implemented this method in the operational forecast system of the Large Binocular Telescope, named ALTA Center that is, at our knowledge, the first operational system providing forecasts of turbulence and atmospheric parameters at short time scales to support science operations.


title: On Standard Quadratic Programs with Exact and Inexact Doubly Nonnegative Relaxations

abstract: The problem of minimizing a (nonconvex) quadratic form over the unit simplex, referred to as a standard quadratic program, admits an exact convex conic formulation over the computationally intractable cone of completely positive matrices. Replacing the intractable cone in this formulation by the larger but tractable cone of doubly nonnegative matrices, i.e., the cone of positive semidefinite and componentwise nonnegative matrices, one obtains the so-called doubly nonnegative relaxation, whose optimal value yields a lower bound on that of the original problem. We present a full algebraic characterization of the set of instances of standard quadratic programs that admit an exact doubly nonnegative relaxation. This characterization yields an algorithmic recipe for constructing such an instance. In addition, we explicitly identify three families of instances for which the doubly nonnegative relaxation is exact. We establish several relations between the so-called convexity graph of an instance and the tightness of the doubly nonnegative relaxation. We also provide an algebraic characterization of the set of instances for which the doubly nonnegative relaxation has a positive gap and show how to construct such an instance using this characterization.


title: Synchronization in 5G: a Bayesian Approach

abstract: In this work, we propose a hybrid approach to synchronize large scale networks. In particular, we draw on Kalman Filtering (KF) along with time-stamps generated by the Precision Time Protocol (PTP) for pairwise node synchronization. Furthermore, we investigate the merit of Factor Graphs (FGs) along with Belief Propagation (BP) algorithm in achieving high precision end-to-end network synchronization. Finally, we present the idea of dividing the large-scale network into local synchronization domains, for each of which a suitable sync algorithm is utilized. The simulation results indicate that, despite the simplifications in the hybrid approach, the error in the offset estimation remains below 5 ns.


title: One-loop beta-functions for renormalisable gravity

abstract: We compute the one-loop beta-functions for renormalisable quantum gravity coupled to scalars using the co-ordinate space approach and generalised Schwinger De Witt technique. We resolve apparent contradictions with the corresponding momentum space calculations, and indicate how our results also resolve similar inconsistencies in the fermion case.


title: Fast Indexes for Gapped Pattern Matching

abstract: We describe indexes for searching large data sets for variable-length-gapped (VLG) patterns. VLG patterns are composed of two or more subpatterns, between each adjacent pair of which is a gap-constraint specifying upper and lower bounds on the distance allowed between subpatterns. VLG patterns have numerous applications in computational biology (motif search), information retrieval (e.g., for language models, snippet generation, machine translation) and capture a useful subclass of the regular expressions commonly used in practice for searching source code. Our best approach provides search speeds several times faster than prior art across a broad range of patterns and texts.


title: HOTCAKE: Higher Order Tucker Articulated Kernels for Deeper CNN Compression

abstract: The emerging edge computing has promoted immense interests in compacting a neural network without sacrificing much accuracy. In this regard, low-rank tensor decomposition constitutes a powerful tool to compress convolutional neural networks (CNNs) by decomposing the 4-way kernel tensor into multi-stage smaller ones. Building on top of Tucker-2 decomposition, we propose a generalized Higher Order Tucker Articulated Kernels (HOTCAKE) scheme comprising four steps: input channel decomposition, guided Tucker rank selection, higher order Tucker decomposition and fine-tuning. By subjecting each CONV layer to HOTCAKE, a highly compressed CNN model with graceful accuracy trade-off is obtained. Experiments show HOTCAKE can compress even pre-compressed models and produce state-of-the-art lightweight networks.


title: Comprehensive Framework of RDMA-enabled Concurrency Control Protocols

abstract: In this paper, we develop RCC, the first unified and comprehensive RDMA-enabled distributed transaction processing framework supporting six serializable concurrency control protocols: not only the classical protocols NOWAIT, WAITDIE, and OCC, but also more advanced MVCC and SUNDIAL, and even CALVIN, the deterministic concurrency control protocol. Our goal is to unbiasedly compare the protocols in a common execution environment with the concurrency control protocol being the only changeable component. We focus on the correct and efficient implementation using key techniques, such as co-routines, outstanding requests, and doorbell batching, with two-sided and one-sided communication primitives. Based on RCC, we get the deep insights that cannot be obtained by any existing systems. Most importantly, we obtain the execution stage latency breakdowns with one-sided and two-sided primitive for each protocol, which are analyzed to develop more efficient hybrid implementations. Our results show that three hybrid designs are indeed better than both one-sided and two-sided implementations by up to 17.8%. We believe that RCC is a significant advance over the state-of-the-art; it can both provide performance insights and be used as the common infrastructure for fast prototyping new implementations.


title: Super-resolution SAXS based on PSF engineering and sub-pixel detector translations

abstract: Small-angle X-ray scattering (SAXS) technique enables convenient nanoscopic characterization for various systems and conditions. Nonetheless, lab-based SAXS systems intrinsically suffer from insufficient x-ray flux and limited angular resolution. Here, we develop a two-step reconstruction methodology to enhance the angular resolution for given experimental conditions. Using minute hardware additions, we show that translating the x-ray detector in subpixel steps and modifying the incoming beam shape results in a set of 2D scattering images which is sufficient for super-resolution SAXS reconstruction. The technique is verified experimentally to show above 25\% increase in resolution. Such advantages have a direct impact on the ability to resolve faster and finer nanoscopic structures and can be implemented in most existing SAXS apparatuses.


title: Site-monotonicity properties for reflection positive measures with applications to quantum spin systems

abstract: We consider a general statistical mechanics model on a product of local spaces and prove that, if the corresponding measure is reflection positive, then several site-monotonicity properties for the two-point function hold. As an application of such a general theorem, we derive site-monotonicity properties for the spin-spin correlation of the quantum Heisenberg antiferromagnet and $XY$ model, we prove that such spin-spin correlations are point-wise uniformly positive on vertices with all odd coordinates -- improving previous positivity results which hold for the Ces\`aro sum -- and we derive site-monotonicity properties for the probability that a loop connects two vertices in various random loop models, including the loop representation of the spin O(N) model, the double-dimer model, the loop O(N) model, lattice permutations, thus extending the previous results of \textit{Lees and Taggi (2019)}.


title: Fractal structure of Yang-Mills fields

abstract: The origin of non-extensive thermodynamics in physical systems has been under intense debate for the last decades. Recent results indicate a connection between non-extensive statistics and thermofractals. After reviewing this connection, we analyze how scaling properties of Yang-Mills theory allow the appearance of self-similar structures in gauge fields. The presence of such structures, which actually behave as fractals, allows for recurrent non-perturbative calculations of vertices. It is argued that when a statistical approach is used, the non-extensive statistics is obtained, and the Tsallis entropic index, $q$, is deduced in terms of the field theory parameters. The results are applied to QCD in the one-loop approximation, resulting in a good agreement with the value of $q$ obtained experimentally.


title: Localized waves in the nonlinear rhombic waveguide array

abstract: Solitary electromagnetic waves propagating along the waveguides forming a rhombic one-dimensional lattice are considered. Two waveguides that are part of the unit cell are assumed to be made of an optical linear material, while the third waveguide from the same array is composed of material with the cubic nonlinearity. The equations of the coupled waves spreading in each waveguide are solved under some approximation. These solutions represent the breather like solitary waves, which are akin to three component soliton.


title: Photosensitivity and reflectivity of the active layer in Tamm plasmon polariton based organic solar cell

abstract: The paper proposes a model of an organic solar cell based on Tamm plasmon polariton localized at the boundary of the active layer doped with plasmon nanoparticles and a multilayer mirror. It is shown that the integral absorption in the active layer can be increased by 10% compared to the optimized planar solar cell.


title: An inertial alternating direction method of multipliers for solving a two-block separable convex minimization problem

abstract: The alternating direction method of multipliers (ADMM) is a widely used method for solving many convex minimization models arising in signal and image processing. In this paper, we propose an inertial ADMM for solving a two-block separable convex minimization problem with linear equality constraints. This algorithm is obtained by making use of the inertial Douglas-Rachford splitting algorithm to the corresponding dual of the primal problem. We study the convergence analysis of the proposed algorithm in infinite-dimensional Hilbert spaces. Furthermore, we apply the proposed algorithm on the robust principal component pursuit problem and also compare it with other state-of-the-art algorithms. Numerical results demonstrate the advantage of the proposed algorithm.


title: Analyzing large frequency disruptions in power systems using large deviations theory

abstract: We propose a method for determining the most likely cause, in terms of conventional generator outages and renewable fluctuations, of power system frequency reaching a predetermined level that is deemed unacceptable to the system operator. Our parsimonious model of system frequency incorporates primary and secondary control mechanisms, and supposes that conventional outages occur according to a Poisson process and renewable fluctuations follow a diffusion process. We utilize a large deviations theory based approach that outputs the most likely cause of a large excursion of frequency from its desired level. These results yield the insight that current levels of renewable power generation do not significantly increase system vulnerability in terms of frequency deviations relative to conventional failures. However, for a large range of model parameters it is possible that such vulnerabilities may arise as renewable penetration increases.


title: On kernels of Toeplitz operators

abstract: We apply the theory of de Branges-Rovnyak spaces to describe kernels of some Toeplitz operators on the classical Hardy space $H^2$. In particular, we discuss the kernels of the operators $T_{\bar f/ f}$ and $T_{\bar I\bar f/ f}$, where $f$ is an outer function in $H^2$ and $I$ is inner such that $I(0)=0$. We also obtain results on de Branges-Rovnyak spaces generated by nonextreme functions.


title: The Spatial Evolution of Young Massive Clusters II. Looking for Imprints of Star Formation in NGC 2264 with Gaia DR2

abstract: Aims. To demonstrate that `INDICATE' is a powerful spatial analysis tool which when combined with kinematic data from Gaia DR2 can be used to robustly probe star formation history. Methods. We compared the dynamic & spatial distributions of young stellar objects (YSOs) at various evolutionary stages in NGC 2264 using Gaia DR2 proper motion data and INDICATE. Results. The dynamic & spatial behaviours of YSOs at different evolutionary stages are distinct. Dynamically, Class II YSOs predominately have non-random trajectories that are consistent with known substructures, whereas Class III YSOs have random trajectories with no clear expansion or contraction patterns. Spatially, there is a correlation between the evolutionary stage and source concentration: 69.4% of Class 0/I, 27.9% of Class II, and 7.7% of Class III objects are found to be clustered. The proportion of YSOs clustered with objects of the same class also follows this trend. Class 0/I objects are both found to be more tightly clustered with the general populous/objects of the same class than Class IIs and IIIs by a factor of 1.2/4.1 and 1.9/6.6, respectively. An exception to these findings is within 0.05deg of S Mon where Class III objects mimic the behaviours of Class II sources across the wider cluster region. Our results suggest (i) current YSOs distributions are a result of dynamical evolution, (ii) prolonged star formation has been occurring sequentially, and (iii) stellar feedback from S Mon is causing YSOs to appear as more evolved sources. Conclusions. Designed to provide a quantitative measure of clustering behaviours, INDICATE is a powerful tool with which to perform rigorous spatial analyses. Our findings are consistent with what is known about NGC 2264, effectively demonstrating that when combined with kinematic data from Gaia DR2 INDICATE can be used to robustly study the star formation history of a cluster.


title: Inverse Graphics GAN: Learning to Generate 3D Shapes from Unstructured 2D Data

abstract: Recent work has shown the ability to learn generative models for 3D shapes from only unstructured 2D images. However, training such models requires differentiating through the rasterization step of the rendering process, therefore past work has focused on developing bespoke rendering models which smooth over this non-differentiable process in various ways. Such models are thus unable to take advantage of the photo-realistic, fully featured, industrial renderers built by the gaming and graphics industry. In this paper we introduce the first scalable training technique for 3D generative models from 2D data which utilizes an off-the-shelf non-differentiable renderer. To account for the non-differentiability, we introduce a proxy neural renderer to match the output of the non-differentiable renderer. We further propose discriminator output matching to ensure that the neural renderer learns to smooth over the rasterization appropriately. We evaluate our model on images rendered from our generated 3D shapes, and show that our model can consistently learn to generate better shapes than existing models when trained with exclusively unstructured 2D images.


title: Ranking transmission lines by overload probability using the empirical rate function

abstract: We develop a non-parametric procedure for ranking transmission lines in a power system according to the probability that they will overload due to stochastic renewable generation or demand-side load fluctuations, and compare this procedure to several benchmark approaches. Using the IEEE 39-bus test network we provide evidence that our approach, which statistically estimates the rate function for each line, is highly promising relative to alternative methods which count overload events or use incorrect parametric assumptions.


title: Quantum Damping of Skyrmion Crystal Eigenmodes due to Spontaneous Quasiparticle Decay

abstract: The elementary excitations of skyrmion crystals experience both emergent magnetic fields and anharmonic interactions brought about by the topologically nontrivial noncollinear texture. The resulting flat bands cause strong spontaneous quasiparticle decay, dressing the eigenmodes of skyrmion crystals with a finite zero-temperature quantum lifetime. Sweeping the flat bands through the spectrum by changing the magnetic field leads to an externally controllable energy-selective magnon breakdown. In particular, we uncover that the three fundamental modes, i.e., the anticlockwise, breathing, and clockwise mode, exhibit distinct decay behavior, with the clockwise (anticlockwise) mode being the least (most) stable mode out of the three.


title: Every separable complex Fr\'echet space with a continuous norm is isomorphic to a space of holomorphic functions

abstract: Extending a result of Mashreghi and Ransford, we prove that every complex separable infinite dimensional Fr\'echet space with a continuous norm is isomorphic to a space continuously included in a space of holomorphic functions on the unit disc or the complex plane, which contains the polynomials as a dense subspace. As a consequence examples of nuclear Fr\'echet spaces of holomorphic functions without the bounded approximation exist.


title: Differential inclusions involving oscillatory terms

abstract: Motivated by mechanical problems where external forces are non-smooth, we consider the differential inclusion problem \[ \begin{cases} -\Delta u(x)\in \partial F(u(x))+\lambda \partial G(u(x))\ \mbox{in}\ \Omega \newline u\geq 0\ \mbox{in}\ \Omega \newline u= 0\ \mbox{on}\ \partial\Omega, \end{cases} \ \ \ \ \ \ \ \ \ \ \ \ {({\mathcal D}_\lambda)} \] where $\Omega \subset {\mathbb R}^n$ is a bounded open domain, and $\partial F$ and $\partial G$ stand for the generalized gradients of the locally Lipschitz functions $F$ and $G$. In this paper we provide a quite complete picture on the number of solutions of $({\mathcal D}_\lambda)$ whenever $\partial F$ oscillates near the origin/infinity and $\partial G$ is a generic perturbation of order $p>0$ at the origin/infinity, respectively. Our results extend in several aspects those of Krist\'aly and Moro\c{s}anu [J. Math. Pures Appl., 2010].


title: Homotopy lifting property in symmetric products

abstract: In this paper we prove the homotopy lifting property for symmetric products $SP_{m}(X)$ and $F_{m}(X)$, with $X$ a Hausdorff topological space. Furthermore, we introduce a new tool, the theory of topological puzzles, to get a useful decomposition of $X^{m}$.


title: A Spatiotemporal Volumetric Interpolation Network for 4D Dynamic Medical Image

abstract: Dynamic medical imaging is usually limited in application due to the large radiation doses and longer image scanning and reconstruction times. Existing methods attempt to reduce the dynamic sequence by interpolating the volumes between the acquired image volumes. However, these methods are limited to either 2D images and/or are unable to support large variations in the motion between the image volume sequences. In this paper, we present a spatiotemporal volumetric interpolation network (SVIN) designed for 4D dynamic medical images. SVIN introduces dual networks: first is the spatiotemporal motion network that leverages the 3D convolutional neural network (CNN) for unsupervised parametric volumetric registration to derive spatiotemporal motion field from two-image volumes; the second is the sequential volumetric interpolation network, which uses the derived motion field to interpolate image volumes, together with a new regression-based module to characterize the periodic motion cycles in functional organ structures. We also introduce an adaptive multi-scale architecture to capture the volumetric large anatomy motions. Experimental results demonstrated that our SVIN outperformed state-of-the-art temporal medical interpolation methods and natural video interpolation methods that have been extended to support volumetric images. Our ablation study further exemplified that our motion network was able to better represent the large functional motion compared with the state-of-the-art unsupervised medical registration methods.


title: Constant-roll in the Palatini-$R^2$ models

abstract: We consider models of a scalar field coupled to quadratic $R\!+\!R^2$ gravity in the framework of the Palatini formulation. The resulting Einstein-frame generalized $k$-inflation effective theory is analyzed assuming that the constant-roll condition holds. We focus on a quartic self-interaction potential, a case of particular appeal modelling Higgs inflation, considering the cases of minimal and non-minimal coupling of the inflaton to gravity. For an appropriate range of the model parameters in the large field domain the obtained values for the inflationary observables are found in agreement with current observations.


title: MORLAB -- The Model Order Reduction LABoratory

abstract: For an easy use of model order reduction techniques in applications, software solutions are needed. In this paper, we describe the MORLAB, Model Order Reduction LABoratory, toolbox as an efficient implementation of model reduction techniques for dense, medium-scale linear time-invariant systems. Giving an introduction to the underlying programming principles of the toolbox, we show the basic idea of spectral splitting and present an overview about implemented model reduction techniques. Two numerical examples are used to illustrate different use cases of the MORLAB toolbox.

categories: cs.MS cs.NA cs.SY eess.SY math.NA math.OC


title: RP-DNN: A Tweet level propagation context based deep neural networks for early rumor detection in Social Media

abstract: Early rumor detection (ERD) on social media platform is very challenging when limited, incomplete and noisy information is available. Most of the existing methods have largely worked on event-level detection that requires the collection of posts relevant to a specific event and relied only on user-generated content. They are not appropriate to detect rumor sources in the very early stages, before an event unfolds and becomes widespread. In this paper, we address the task of ERD at the message level. We present a novel hybrid neural network architecture, which combines a task-specific character-based bidirectional language model and stacked Long Short-Term Memory (LSTM) networks to represent textual contents and social-temporal contexts of input source tweets, for modelling propagation patterns of rumors in the early stages of their development. We apply multi-layered attention models to jointly learn attentive context embeddings over multiple context inputs. Our experiments employ a stringent leave-one-out cross-validation (LOO-CV) evaluation setup on seven publicly available real-life rumor event data sets. Our models achieve state-of-the-art(SoA) performance for detecting unseen rumors on large augmented data which covers more than 12 events and 2,967 rumors. An ablation study is conducted to understand the relative contribution of each component of our proposed model.


title: Distributing Memory Effects in an Open Two-Qubit System

abstract: We introduce a method to distribute memory effects among different subspaces of an open two-qubit system's state space. Within the linear optical framework, our system of interest is the polarization of two photons, while the environment consists of their frequency degree of freedom. By exploiting initially correlated frequency distributions and initial frequency-dependent phase factors, we are able to control all the four decoherence functions for polarization -- corresponding to different open system subspace divisions -- almost independently of each other. Hence, our results demonstrate how, in a multipartite dephasing system, Markovian and non-Markovian dynamics can be arbitrarily divided between the subsystems, and giving rise to a novel concept of memory partitions. We also discuss further implications the results have, e.g., on the dynamics of purity and entropy within the two-qubit system.


title: Advances in centerline estimation for autonomous lateral control

abstract: The ability of autonomous vehicles to maintain an accurate trajectory within their road lane is crucial for safe operation. This requires detecting the road lines and estimating the car relative pose within its lane. Lateral lines are usually retrieved from camera images. Still, most of the works on line detection are limited to image mask retrieval and do not provide a usable representation in world coordinates. What we propose in this paper is a complete perception pipeline based on monocular vision and able to retrieve all the information required by a vehicle lateral control system: road lines equation, centerline, vehicle heading and lateral displacement. We evaluate our system by acquiring data with accurate geometric ground truth. To act as a benchmark for further research, we make this new dataset publicly available at http://airlab.deib.polimi.it/datasets/.


title: Achieving the required mobility in the solar system through Direct Fusion Drive

abstract: To develop a spacefaring civilization, humankind must develop technologies which enable safe, affordable and repeatable mobility through the solar system. One such technology is nuclear fusion propulsion which is at present under study mostly as a breakthrough toward the first interstellar probes. The aim of the present paper is to show that fusion drive is even more important in human planetary exploration and constitutes the natural solution to the problem of exploring and colonizing the solar system.


title: KeypointNet: A Large-scale 3D Keypoint Dataset Aggregated from Numerous Human Annotations

abstract: Detecting 3D objects keypoints is of great interest to the areas of both graphics and computer vision. There have been several 2D and 3D keypoint datasets aiming to address this problem in a data-driven way. These datasets, however, either lack scalability or bring ambiguity to the definition of keypoints. Therefore, we present KeypointNet: the first large-scale and diverse 3D keypoint dataset that contains 103,450 keypoints and 8,234 3D models from 16 object categories, by leveraging numerous human annotations. To handle the inconsistency between annotations from different people, we propose a novel method to aggregate these keypoints automatically, through minimization of a fidelity loss. Finally, ten state-of-the-art methods are benchmarked on our proposed dataset. Our code and data are available on https://github.com/qq456cvb/KeypointNet.


title: Decentralized gradient methods: does topology matter?

abstract: Consensus-based distributed optimization methods have recently been advocated as alternatives to parameter server and ring all-reduce paradigms for large scale training of machine learning models. In this case, each worker maintains a local estimate of the optimal parameter vector and iteratively updates it by averaging the estimates obtained from its neighbors, and applying a correction on the basis of its local dataset. While theoretical results suggest that worker communication topology should have strong impact on the number of epochs needed to converge, previous experiments have shown the opposite conclusion. This paper sheds lights on this apparent contradiction and show how sparse topologies can lead to faster convergence even in the absence of communication delays.


title: A major optical & X-ray outburst from the Magellanic Bridge source RX J0209.6-7427

abstract: RX J0209.6-7427 is an X-ray source in the Magellanic Bridge that was first detected in 1993, but not seen again till 2019. It has been identified as a member of the Be/X-ray binary class, a category of objects that are well established as bright, often-unpredictable transients. Such systems are rarely known in the Bridge, possibly because they lie outside the area most commonly studied by X-ray telescopes. Whatever the reason for the sparse number of such systems in the Bridge, they can provide useful tools for trying to understand the result of the tidal dynamics of the two Magellanic Clouds. In this paper the nature of the object is explored with the help of new data obtained during the latest outburst. In particular, the first optical spectrum of the counterpart is presented to help classify the star, plus measurements of the Balmer emission lines over several years are used to investigate changes in the size and structure of the circumstellar disk.


title: Criteria for the numerical constant recognition

abstract: The need for recognition/approximation of functions in terms of elementary functions/operations emerges in many areas of experimental mathematics, numerical analysis, computer algebra systems, model building, machine learning, approximation and data compression. One of the most underestimated methods is the symbolic regression. In the article, reductionist approach is applied, reducing full problem to constant functions, i.e, pure numbers (decimal, floating-point). However, existing solutions are plagued by lack of solid criteria distinguishing between random formula, matching approximately or literally decimal expansion and probable ''exact'' (the best) expression match in the sense of Occam's razor. In particular, convincing STOP criteria for search were never developed. In the article, such a criteria, working in statistical sense, are provided. Recognition process can be viewed as (1) enumeration of all formulas in order of increasing Kolmogorov complexity K (2) random process with appropriate statistical distribution (3) compression of a decimal string. All three approaches are remarkably consistent, and provide essentially the same limit for practical depth of search. Tested unique formulas count must not exceed 1/sigma, where sigma is relative numerical error of the target constant. Beyond that, further search is pointless, because, in the view of approach (1), number of equivalent expressions within error bounds grows exponentially; in view of (2), probability of random match approaches 1; in view of (3) compression ratio much smaller than 1.


title: The Feynman integral path a Henstock integral: a survey and open problems

abstract: The Feynman path integral is defined over the space $\mathbb{R}^T$ of all possible paths; it has been a powerful tool to develop Quantum Mechanics. The absolute value of Feynman's integrand is not integrable, then Lebesgue integration theory could not be used by Feynman. However, it exists formally as a Henstock integral (which does not require the measure concept) and is a suitable alternative to the ordinary integrals that normally appear in path integrals. Feynman proved the equivalence of his theory with the traditional formulation of Quantum Mechanics, since his path integral satisfies Schr\"odinger's equation. On the other hand, Feynman's path integral is related to the diagrams of Feynman. For the application of this integral in Feynman's diagrams it is necessary to exchange the integral $\int_{\mathbb{R}^T}$ and the series. We discuss the impossibility to exchange the integral and the sum, considering integral of Henstock and the version of Dominated Convergence Theorem. Even it has not been proved through the several mathematical formalisms that have been used.


title: [CII] 158 {\mu}m self-absorption and optical depth effects

abstract: Context. The [CII] 158 {\mu}m far-infrared (FIR) fine-structure line is one of the most important cooling lines of the star-forming interstellar medium (ISM). High spectral resolution observations have shown complex structures in the line profiles of the [CII] emission. Aims. Our aim is to determine whether the complex profiles observed in [^{12}CII] are due to individual velocity components along the line-of-sight or to self-absorption based on a comparison of the [^{12}CII] and isotopic [^{13}CII] line profiles. Methods. Deep integrations with the SOFIA/upGREAT 7-pixel array receiver in M43, Horsehead~PDR, Monoceros~R2, and M17~SW allow for the detection of optically thin [^{13}CII] emission lines, along with the [^{12}CII] emission lines, with a high signal-to-noise ratio. We first derived the [^{12}CII] optical depth and the [CII] column density from a single component model. However, the complex line profiles observed require a double layer model with an emitting background and an absorbing foreground. A multi-component velocity fit allows us to derive the physical conditions of the [CII] gas: column density and excitation temperature. Results. We find moderate to high [^{12}CII] optical depths in all four sources and self-absorption of [^{12}CII] in Mon R2 and M17 SW. The high column density of the warm background emission corresponds to an equivalent Av of up to 41 mag. The foreground absorption requires substantial column densities of cold and dense [CII] gas, with an equivalent Av ranging up to about 13 mag. Conclusions. The column density of the warm background material requires multiple photon-dominated region (PDR) surfaces stacked along the line of sight and in velocity. The substantial column density of dense and cold foreground [CII] gas detected in absorption cannot be explained with any known scenario and we can only speculate on its origins


title: A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks

abstract: Motivated by problems from Chemical Reaction Network Theory, we investigate whether steady state ideals of reversible reaction networks are generated by binomials. We take an algebraic approach considering, besides concentrations of species, also rate constants as indeterminates. This leads us to the concept of unconditional binomiality, meaning binomiality for all values of the rate constants. This concept is different from conditional binomiality that applies when rate constant values or relations among rate constants are given. We start by representing the generators of a steady state ideal as sums of binomials, which yields a corresponding coefficient matrix. On these grounds we propose an efficient algorithm for detecting unconditional binomiality. That algorithm uses exclusively elementary column and row operations on the coefficient matrix. We prove asymptotic worst case upper bounds on the time complexity of our algorithm. Furthermore, we experimentally compare its performance with other existing methods.


title: Edge-Disjoint Branchings in Temporal Graphs

abstract: A temporal digraph ${\cal G}$ is a triple $(G, \gamma, \lambda)$ where $G$ is a digraph, $\gamma$ is a function on $V(G)$ that tells us the timestamps when a vertex is active, and $\lambda$ is a function on $E(G)$ that tells for each $uv \in E(G)$ when $u$ and $v$ are linked. Given a static digraph $G$, and a subset $R\subseteq V(G)$, a spanning branching with root $R$ is a subdigraph of $G$ that has exactly one path from $R$ to each $v\in V(G)$. In this paper, we consider the temporal version of Edmonds' classical result about the problem of finding $k$ edge-disjoint spanning branchings respectively rooted at given $R_1,\cdots,R_k$. We introduce and investigate different definitions of spanning branchings, and of edge-disjointness in the context of temporal graphs. A branching ${\cal B}$ is vertex-spanning if the root is able to reach each vertex $v$ of $G$ at some time where $v$ is active, while it is temporal-spanning if $v$ can be reached from the root at every time where $v$ is active. On the other hand, two branchings ${\cal B}_1$ and ${\cal B}_2$ are edge-disjoint if they do not use the same edge of $G$, and are temporal-edge-disjoint if they can use the same edge of $G$ but at different times. This lead us to four definitions of disjoint spanning branchings and we prove that, unlike the static case, only one of these can be computed in polynomial time, namely the temporal-edge-disjoint temporal-spanning branchings problem, while the other versions are $\mathsf{NP}$-complete, even under very strict assumptions.


title: Optimising tomography for weak gravitational lensing surveys

abstract: The subject of this paper is optimisation of weak lensing tomography: We carry out numerical minimisation of a measure of total statistical error as a function of the redshifts of the tomographic bin edges by means of a Nelder-Mead algorithm in order to optimise the sensitivity of weak lensing with respect to different optimisation targets. Working under the assumption of a Gaussian likelihood for the parameters of a $w_0 w_a$CDM-model and using Euclid's conservative survey specifications, we compare an equipopulated, equidistant and optimised bin setting and find that in general the equipopulated setting is very close to the optimal one, while an equidistant setting is far from optimal and also suffers from the ad hoc choice of a maximum redshift. More importantly, we find that nearly saturated information content can be gained using already few tomographic bins. This is crucial for photometric redshift surveys with large redshift errors. We consider a large range of targets for the optimisation process that can be computed from the parameter covariance (or equivalently, from the Fisher-matrix), extend these studies to information entropy measures such as the Kullback-Leibler-divergence and conclude that in many cases equipopulated binning yields results close to the optimum, which we support by analytical arguments.


title: Spatiotemporal Constraints for Sets of Trajectories with Applications to PMBM Densities

abstract: In this paper we introduce spatiotemporal constraints for trajectories, i.e., restrictions that the trajectory must be in some part of the state space (spatial constraint) at some point in time (temporal constraint). Spatiotemporal contraints on trajectories can be used to answer a range of important questions, including, e.g., "where did the person that were in area A at time t, go afterwards?". We discuss how multiple constraints can be combined into sets of constraints, and we then apply sets of constraints to set of trajectories densities, specifically Poisson Multi-Bernoulli Mixture (PMBM) densities. For Poisson target birth, the exact posterior density is PMBM for both point targets and extended targets. In the paper we show that if the unconstrained set of trajectories density is PMBM, then the constrained density is also PMBM. Examples of constrained trajectory densities motivate and illustrate the key results.


title: Haldane Insulator in the 1D Nearest-Neighbor Extended Bose-Hubbard Model with Cavity-Mediated Long-Range Interactions

abstract: In the one-dimensional Bose-Hubbard model with on-site and nearest neighbor interactions, a gapped phase characterized by an exotic non-local order parameter emerges, the Haldane insulator. Bose-Hubbard models with cavity-mediated global range interactions display phase diagrams, which are very similar to those with nearest neighbor repulsive interactions, but the Haldane phase remains elusive there. Here we study the one-dimensional Bose-Hubbard model with nearest-neighbor and cavity-mediated global-range interactions and scrutinize the existence of a Haldane Insulator phase. With the help of extensive quantum Monte-Carlo simulations we find that in the Bose-Hubbard model with only cavity-mediated global-range interactions no Haldane phase exists. For a combination of both interactions, the Haldane Insulator phase shrinks rapidly with increasing strength of the cavity-mediated global-range interactions. Thus, in spite of the otherwise very similar behavior the mean-field like cavity-mediated interactions strongly suppress the non-local order favored by nearest neighbor repulsion in some regions of the phase diagram.


title: Fourier analysis with generalized integration

abstract: We generalize the classic Fourier transform operator $\mathcal{F}_{p}$ by using the Henstock-Kurzweil integral theory. It is shown that the operator equals the $HK$-Fourier transform on a dense subspace of $\mathcal{ L}^p$, $1<p\leq 2$. In particular, a theoretical scope of this representation is raised to approximate numerically the Fourier transform of functions on the mentioned subspace. Besides, we show differentiability of the Fourier transform function $\mathcal{F}_{p}(f)$ under more general conditions than in Lebesgue's theory.


title: Automatic Section Recognition in Obituaries

abstract: Obituaries contain information about people's values across times and cultures, which makes them a useful resource for exploring cultural history. They are typically structured similarly, with sections corresponding to Personal Information, Biographical Sketch, Characteristics, Family, Gratitude, Tribute, Funeral Information and Other aspects of the person. To make this information available for further studies, we propose a statistical model which recognizes these sections. To achieve that, we collect a corpus of 20058 English obituaries from TheDaily Item, Remembering.CA and The London Free Press. The evaluation of our annotation guidelines with three annotators on 1008 obituaries shows a substantial agreement of Fleiss k = 0.87. Formulated as an automatic segmentation task, a convolutional neural network outperforms bag-of-words and embedding-based BiLSTMs and BiLSTM-CRFs with a micro F1 = 0.81.


title: Machine Learning meets the redshift evolution of the CMB Temperature

abstract: We present a model independent and non-parametric reconstruction with a Machine Learning algorithm of the redshift evolution of the Cosmic Microwave Background (CMB) temperature from a wide redshift range $z\in \left[0,3\right]$ without assuming any dark energy model, an adiabatic universe or photon number conservation. In particular we use the genetic algorithms which avoid the dependency on an initial prior or a cosmological fiducial model. Through our reconstruction we constrain new physics at late times. We provide novel and updated estimates on the $\beta$ parameter from the parametrisation $\text{T}(z)=\text{T}_0(1+z)^{1-\beta}$, the duality relation $\eta(z)$ and the cosmic opacity parameter $\tau(z)$. Furthermore we place constraints on a temporal varying fine structure constant $\alpha$, which would have signatures in a broad spectrum of physical phenomena such as the CMB anisotropies. Overall we find no evidence of deviations within the $1\sigma$ region from the well established $\Lambda\text{CDM}$ model, thus confirming its predictive potential.


title: Search for eV neutrino sterile: Status of STEREO experiment

abstract: Reactor neutrinos have played a key role in understanding neutrino physics since their discovery. The so-called reactor-anti-neutrino-anomaly RAA, a ~6.5 $\%$ deficit of the mean observed neutrino flux compared to the prediction appeared recently. This anomaly could be interpreted by the existence of a fourth, sterile, neutrino and this hypothesis is currently being tested by the very short baseline experiment STEREO. The latter is installed at very short distance (9 -11m) from the compact core of the ILL research reactor in Grenoble-France and collecting data since November 2016. The ILL core is highly enriched in ${}^{235}\textrm{U}$ and releases a nominal thermal power of 58.3 MW. The geometry of the STEREO detector, segmented into six identical cells filled with Gd-loaded liquid scintillator, is designed for a direct test of a new oscillation pattern in the L/E range around 1 m/MeV, relevant for the RAA. First published results of STEREO have demonstrated the mitigation of the background induced by the reactor and the cosmic-rays and a good energy response. The data taking is now in progress with very stable conditions favorable for an improved accuracy. We will present an overview of the experiment and an update of the sterile neutrino analysis. A refined prediction of the neutrino spectrum emitted by the ILL reactor is also presented.


title: On a class of non-local phase-field models for tumor growth with possibly singular potentials, chemotaxis, and active transport

abstract: This paper provides a unified mathematical analysis of a family of non-local diffuse interface models for tumor growth describing evolutions driven by long-range interactions. These integro-partial differential equations model cell-to-cell adhesion by a non-local term and may be seen as non-local variants of the corresponding local model proposed by H. Garcke et al. (2016). The model in consideration couples a non-local Cahn-Hilliard equation for the tumor phase variable with a reaction-diffusion equation for the nutrient concentration, and takes into account also significant mechanisms such as chemotaxis and active transport. The system depends on two relaxation parameters: a viscosity coefficient and parabolic-regularization coefficient on the chemical potential. The first part of the paper is devoted to the analysis of the system with both regularizations. Here, a rich spectrum of results is presented. Weak well-posedness is first addressed, also including singular potentials. Then, under suitable conditions, existence of strong solutions enjoying the separation property is proved. This allows also to obtain a refined stability estimate with respect to the data, including both chemotaxis and active transport. The second part of the paper is devoted to the study of the asymptotic behavior of the system as the relaxation parameters vanish. The asymptotics are analyzed when the parameters approach zero both separately and jointly, and exact error estimates are obtained. As a by-product, well-posedness of the corresponding limit systems is established.


title: Statistical applications of Random matrix theory: comparison of two populations II

abstract: This paper investigates a statistical procedure for testing the equality of two independent estimated covariance matrices when the number of potentially dependent data vectors is large and proportional to the size of the vectors, that is, the number of variables. Inspired by the spike models used in random matrix theory, we concentrate on the largest eigenvalues of the matrices in order to determine significance. To avoid false rejections we must guard against residual spikes and need a sufficiently precise description of the behaviour of the largest eigenvalues under the null hypothesis. In this paper we propose some "invariant" theorems that allows us to extend the test of arXiv:2002.12741 for perturbation of order $1$ to some general tests for order $k$. The statistics introduced in this paper allow the user to test the equality of two populations based on high-dimensional multivariate data. Simulations show that these tests have more power of detection than standard multivariate approaches.


title: ImmuNetNAS: An Immune-network approach for searching Convolutional Neural Network Architectures

abstract: In this research, we propose ImmuNetNAS, a novel Neural Architecture Search (NAS) approach inspired by the immune network theory. The core of ImmuNetNAS is built on the original immune network algorithm, which iteratively updates the population through hypermutation and selection, and eliminates the self-generation individuals that do not meet the requirements through comparing antibody affinity and inter-specific similarity. In addition, in order to facilitate the mutation operation, we propose a novel two-component based neural structure coding strategy. Furthermore, an improved mutation strategy based on Standard Genetic Algorithm (SGA) was proposed according to this encoding method. Finally, based on the proposed two-component based coding method, a new antibody affinity calculation method was developed to screen suitable neural architectures. Systematic evaluations demonstrate that our system has achieved good performance on both the MNIST and CIFAR-10 datasets. We open-source our code on GitHub in order to share it with other deep learning researchers and practitioners.


title: Theory of ground states for classical Heisenberg spin systems V

abstract: We formulate part V of a rigorous theory of ground states for classical, finite, Heisenberg spin systems. After recapitulating the central results of the parts I - IV previously published we extend the theory to the case where an involutary symmetry is present and the ground states can be distinguished according to their degree of mixing components of different parity. The theory is illustrated by a couple of examples of increasing complexity.


title: A (probably) optimal algorithm for Bisection on bounded-treewidth graphs

abstract: The maximum/minimum bisection problems are, given an edge-weighted graph, to find a bipartition of the vertex set into two sets whose sizes differ by at most one, such that the total weight of edges between the two sets is maximized/minimized. Although these two problems are known to be NP-hard, there is an efficient algorithm for bounded-treewidth graphs. In particular, Jansen et al. (SIAM J. Comput. 2005) gave an $O(2^tn^3)$-time algorithm when given a tree decomposition of width $t$ of the input graph, where $n$ is the number of vertices of the input graph. Eiben et al. (ESA 2019) improved the dependency of $n$ in the running time by giving an $O(8^tt^5n^2\log n)$-time algorithm. Moreover, they showed that there is no $O(n^{2-\varepsilon})$-time algorithm for trees under some reasonable complexity assumption. In this paper, we show an $O(2^t(tn)^2)$-time algorithm for both problems, which is asymptotically tight to their conditional lower bound. We also show that the exponential dependency of the treewidth is asymptotically optimal under the Strong Exponential Time Hypothesis. Finally, we discuss the (in)tractability of both problems with respect to special graph classes.


title: Microscopic theory for nematic fractional quantum Hall effect

abstract: We analyse various microscopic properties of the nematic fractional quantum Hall effect (FQHN) in the thermodynamic limit, and present necessary conditions required of the microscopic Hamiltonians for the nematic FQHE to be robust. Analytical expressions for the degenerate ground state manifold, ground state energies, and gapless nematic modes are given in compact forms with the input interaction and the corresponding ground state structure factors. We relate the long wavelength limit of the neutral excitations to the guiding center metric deformation, and show explicitly the family of trial wavefunctions for the nematic modes with spatially varying nematic order near the quantum critical point. For short range interactions, the dynamics of the FQHN is completely determined by the long wavelength part of the ground state structure factor. The special case of the FQHN at $\nu=1/3$ is discussed with new theoretical insights from the Haffnian parent Hamiltonian, leading to a number of rigorous statements and experimental implications.


title: Characteristics of SEPs during Solar Cycle 21-24

abstract: The study of the solar energetic particle events (SEPs) and their association with solar flares and other activities are very crucial to understand the space weather. Keeping this in view, in this paper, we present the study of the SEPs (intensity equal to or greater than 10 pfu) during the solar cycle 21 to 24 (1976-2017) in > 10 MeV energy channels associated with solar flares. For our analysis, we have used the data from different instruments onboard SOHO satellite. We have examined the flare size, source location, CMEs characteristics of associated SEPs. About 31% and 69% of the SEPs were originated from the eastern and western solar hemisphere respectively. The average CME speed and width were 1238 km/s and 253 deg respectively. About 58 % SEPs were associated with halo CMEs and 42% of SEPs associated with CMEs width varying from 10 deg to 250 deg respectively.


title: Trestles in the squares of graphs

abstract: We show that the square of every connected $S(K_{1,4})$-free graph satisfying a matching condition has a $2$-connected spanning subgraph of maximum degree at most~$3$. Furthermore, we characterise trees whose square has a $2$-connected spanning subgraph of maximum degree at most~$k$. This generalises the results on $S(K_{1,3})$-free graphs of Henry and Vogler (1985) and Harary and Schwenk (1971), respectively.


title: Causal mediation analysis with double machine learning

abstract: This paper combines causal mediation analysis with double machine learning to control for observed confounders in a data-driven way under a selection-on-observables assumption in a high-dimensional setting. We consider the average indirect effect of a binary treatment operating through an intermediate variable (or mediator) on the causal path between the treatment and the outcome, as well as the unmediated direct effect. Estimation is based on efficient score functions, which possess a multiple robustness property w.r.t. misspecifications of the outcome, mediator, and treatment models. This property is key for selecting these models by double machine learning, which is combined with data splitting to prevent overfitting in the estimation of the effects of interest. We demonstrate that the direct and indirect effect estimators are asymptotically normal and root-n consistent under specific regularity conditions and investigate the finite sample properties of the suggested methods in a simulation study when considering lasso as machine learner. We also provide an empirical application to the U.S. National Longitudinal Survey of Youth, assessing the indirect effect of health insurance coverage on general health operating via routine checkups as mediator, as well as the direct effect. We find a moderate short term effect of health insurance coverage on general health which is, however, not mediated by routine checkups.


title: Radial single point rupture solutions for a general MEMS model

abstract: We study the initial value problem $$ \begin{cases} r^{-(\gamma-1)}\left(r^{\alpha}|u'|^{\beta-1}u'\right)'=\frac{1}{f(u)} & \textrm{for}\ 0<r<r_0,\\ u(r)>0 & \textrm{for}\ 0<r<r_0,\\ u(0)=0, \end{cases} $$ for $\gamma>\alpha>\beta\geq 1$ and $f\in C[0,\bar u)\cap C^2(0,\bar u)$, $f(0)=0$, $f(u)>0$ on $(0, \bar u)$ and $f$ satisfies certain assumptions which include the standard case of pure power nonlinearities encountered in the study of Micro-Electromechanical Systems (MEMS). We obtain the existence and uniqueness of a solution $u^*$ to the above problem, the rate at which it approaches the value zero at the origin and the intersection number of points with the corresponding regular solutions $u(\,\cdot\,,a)$ (with $u(0,a)=a$) as $a\to 0$. In particular, these results yield the uniqueness of a radial single point rupture solution and other qualitative properties for MEMS models. The bifurcation diagram is also investigated.


title: TNOs are Cool! A Survey of the transneptunian Region XV. Physical characteristics of 23 resonant transneptunian and scattered disk objects

abstract: The goal of this work is to determine the physical characteristics of resonant, detached and scattered disk objects in the transneptunian region, observed mainly in the framework of the "TNOs are Cool!" Herschel Open Time Key Program. Based on thermal emission measurements with the Herschel/PACS and Spitzer/MIPS instruments we determine size, albedo, and surface thermal properties for 23 objects using radiometric modelling techniques. This is the first analysis in which the physical properties of objects in the outer resonances are determined for a notable sample. In addition to the results for individual objects, we have compared these characteristics with the bulk properties of other populations of the transneptunian region. The newly analyzed objects show a large variety of beaming factors, indicating a diversity of thermal properties, and in general, they follow the albedo-colour clustering identified earlier for Kuiper belt objects and Centaurs, further strengthening the evidence for a compositional discontinuity in the young Solar System.


title: Universal CA groups with few generators

abstract: There exist f.g.-universal cellular automata groups which are quotients of $\mathbb{Z} * \mathbb{Z}_2$ or $\mathbb{Z}_2 * \mathbb{Z}_2 * \mathbb{Z}_2$, as previously conjectured by the author.


title: CMB-HD: Astro2020 RFI Response

abstract: CMB-HD is a proposed ultra-deep (0.5 uk-arcmin), high-resolution (15 arcseconds) millimeter-wave survey over half the sky that would answer many outstanding questions in both fundamental physics of the Universe and astrophysics. This survey would be delivered in 7.5 years of observing 20,000 square degrees, using two new 30-meter-class off-axis cross-Dragone telescopes to be located at Cerro Toco in the Atacama Desert. Each telescope would field 800,000 detectors (200,000 pixels), for a total of 1.6 million detectors.


title: Priestley duality for MV-algebras and beyond

abstract: We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations on dual spaces. In this enriched environment, equational conditions on the algebraic side of the duality may more often be rendered as first-order conditions on dual spaces. In particular, we specialize our general results to the variety of MV-algebras, obtaining a duality for these in which the equations axiomatizing MV-algebras are dualized as first-order conditions.


title: On the reduction of negative weights in MC@NLO-type matching procedures

abstract: We show how a careful analysis of the behaviour of a parton shower Monte Carlo in the vicinity of the soft and collinear regions allows one to formulate a modified MC@NLO-matching prescription that reduces the number of negative-weight events with respect to that stemming from the standard MC@NLO procedure. As a first practical application of such a prescription, that we dub MC@NLO-$\Delta$, we have implemented it in the MadGraph5_aMC@NLO framework, by employing the Pythia8 Monte Carlo. We present selected MC@NLO-$\Delta$ results at the 13 TeV LHC, and compare them with MC@NLO ones. We find that the former predictions are consistent with the latter ones within the typical matching systematics, and that the reduction of negative-weight events is significant.


title: The G1--G2 Scheme: Dramatic Acceleration of Nonequilibrium Green Functions Simulations Within the Hartree--Fock-GKBA

abstract: The time evolution in quantum many-body systems after external excitations is attracting high interest in many fields. The theoretical modeling of these processes is challenging, and the only rigorous quantum-dynamics approach that can treat correlated fermions in two and three dimensions is nonequilibrium Green functions (NEGF). However, NEGF simulations are computationally expensive due to their $T^3$-scaling with the simulation duration $T$. Recently, $T^2$-scaling was achieved with the generalized Kadanoff--Baym ansatz (GKBA), for the second-order Born (SOA) selfenergy, which has substantially extended the scope of NEGF simulations. In a recent Letter [Schl\"unzen \textit{et al.}, Phys. Rev. Lett. \textbf{124}, 076601 (2020)] we demonstrated that GKBA-NEGF simulations can be efficiently mapped onto coupled time-local equations for the single-particle and two-particle Green functions on the time diagonal, hence the method has been called G1--G2 scheme. This allows one to perform the same simulations with order $T^1$-scaling, both for SOA and $GW$ selfenergies giving rise to a dramatic speedup. Here we present more details on the G1--G2 scheme, including derivations of the basic equations including results for a general basis, for Hubbard systems and for jellium. Also, we demonstrate how to incorporate initial correlations into the G1--G2 scheme. Further, the derivations are extended to a broader class of selfenergies, including the $T$ matrix in the particle--particle and particle--hole channels, and the dynamically screened-ladder approximation. Finally, we demonstrate that, for all selfenergies, the CPU time scaling of the G1--G2 scheme with the basis dimension, $N_b$, can be improved compared to our first report: the overhead compared to the original GKBA, is not more than an additional factor $N_b$.


title: DROCC: Deep Robust One-Class Classification

abstract: Classical approaches for one-class problems such as one-class SVM and isolation forest require careful feature engineering when applied to structured domains like images. State-of-the-art methods aim to leverage deep learning to learn appropriate features via two main approaches. The first approach based on predicting transformations (Golan & El-Yaniv, 2018; Hendrycks et al., 2019a) while successful in some domains, crucially depends on an appropriate domain-specific set of transformations that are hard to obtain in general. The second approach of minimizing a classical one-class loss on the learned final layer representations, e.g., DeepSVDD (Ruff et al., 2018) suffers from the fundamental drawback of representation collapse. In this work, we propose Deep Robust One-Class Classification (DROCC) that is both applicable to most standard domains without requiring any side-information and robust to representation collapse. DROCC is based on the assumption that the points from the class of interest lie on a well-sampled, locally linear low dimensional manifold. Empirical evaluation demonstrates that DROCC is highly effective in two different one-class problem settings and on a range of real-world datasets across different domains: tabular data, images (CIFAR and ImageNet), audio, and time-series, offering up to 20% increase in accuracy over the state-of-the-art in anomaly detection. Code is available at https://github.com/microsoft/EdgeML.