title: Atomically-Smooth Single-Crystalline VO$_2$ thin films with Bulk-like Metal-Insulator Transitions

abstract: Atomically-abrupt interfaces in transition metal oxide (TMO) heterostructures could host a variety of exotic condensed matter phases that may not be found in the bulk materials at equilibrium. A critical step in the development of such atomically-sharp interfaces is the deposition of atomically-smooth TMO thin films. Optimized deposition conditions exist for the growth of perovskite oxides. However, the deposition of rutile oxides, such as VO$_2$, with atomic-layer precision has been challenging. In this work, we used pulsed laser deposition (PLD) to grow atomically-smooth VO$_2$ thin films on rutile TiO$_2$ (101) substrates. We show that optimal substrate preparation procedure followed by the deposition of VO$_2$ films at a temperature conducive for step-flow growth mode is essential for achieving atomically-smooth VO$_2$ films. The films deposited at optimal substrate temperatures show a step and terrace structure of the underlying TiO$_2$ substrate. At lower deposition temperatures, there is a transition to a mixed growth mode comprising of island growth and layer-by-layer growth modes. VO$_2$ films deposited at optimal substrate temperatures undergo a metal to insulator transition at a transition temperature of $\sim$325 K with $\sim$10$^3$ times increase in resistance, akin to MIT in bulk VO$_2$.


title: Neural Document Expansion with User Feedback

abstract: This paper presents a neural document expansion approach (NeuDEF) that enriches document representations for neural ranking models. NeuDEF harvests expansion terms from queries which lead to clicks on the document and weights these expansion terms with learned attention. It is plugged into a standard neural ranker and learned end-to-end. Experiments on a commercial search log demonstrate that NeuDEF significantly improves the accuracy of state-of-the-art neural rankers and expansion methods on queries with different frequencies. Further studies show the contribution of click queries and learned expansion weights, as well as the influence of document popularity of NeuDEF's effectiveness.


title: A neural network approach to GOP-level rate control of x265 using Lookahead

abstract: To optimize the perceived quality under a specific bitrate constraint, multi-pass encoding is usually performed with the rate control mode of the average bitrate (ABR) or the constant rate factor (CRF) to distribute bits as reasonably as possible in terms of perceived quality, leading to high computational complexity. In this paper, we propose to utilize the video information generated during the encoding to adaptively adjust the CRF setting at GOP level, ensuring the bits of frames in each GOP are allocated reasonably under the bitrate constraint with a single-pass encoding framework. In particular, due to the inherent relationship between CRF values and bitrates, we adopt a shallow neural network (NN) to map video content features to the CRF-bitrate model. The content-related features are collected from the lookahead module inside the x265 encoder, including encoding cost estimation, motion vector and so on. Further, a rate control method, called content adaptive rate factor (CARF), is proposed to adjust the CRF value of each GOP with the requirement of the target bitrate by using the predicted CRF-bitrate models of each GOP. The experimental results show that the proposed approach can make 84.5\% testing data within 20% bitrate error (or better) and outperform the ABR mode in x265, leading to 5.23% BD-rate reduction on average.


title: Intrinsically-Typed Mechanized Semantics for Session Types

abstract: Session types have emerged as a powerful paradigm for structuring communication-based programs. They guarantee type soundness and session fidelity for concurrent programs with sophisticated communication protocols. As type soundness proofs for languages with session types are tedious and technically involved, it is rare to see mechanized soundness proofs for these systems. We present an executable intrinsically typed small-step semantics for a realistic functional session type calculus. The calculus includes linearity, recursion, and recursive sessions with subtyping. Asynchronous communication is modeled with an encoding. The semantics is implemented in Agda as an intrinsically typed, interruptible CEK machine. This implementation proves type preservation and a particular notion of progress by construction.


title: VisJSClassificator -- Manual Visual Collaborative Classification Graph-based Tool

abstract: Analysts need to classify, search and correlate numerous images. Automatic classification tools improve the efficiency of such tasks. However, classified data is a prerequisite to develop these tools. Labelling tools are of great use in case of already known classes, but seemed limited for Open Set Classification. This paper presents a manual and collaborative classification tool, which uses graph representation.


title: The cyclicity problem for Albert algebras

abstract: In this paper we address the celebrated Albert problem for exceptional Jordan algebras (i.e. Albert algebras): Does every Albert division algebra contain a cubic cyclic subfield? We prove that for any Albert division algebra $A$ over a field $k$ of arbitrary characteristic, there is a suitable isotope that contains a cubic cyclic subfield. It follows from this that for any Albert division algebra $A$ over a field $k$, the structure group $\text{\bf Str}(A)$ always contains a subgroup of type $^3D_4$ defined over $k$.


title: Towards Generating Stylized Image Captions via Adversarial Training

abstract: While most image captioning aims to generate objective descriptions of images, the last few years have seen work on generating visually grounded image captions which have a specific style (e.g., incorporating positive or negative sentiment). However, because the stylistic component is typically the last part of training, current models usually pay more attention to the style at the expense of accurate content description. In addition, there is a lack of variability in terms of the stylistic aspects. To address these issues, we propose an image captioning model called ATTEND-GAN which has two core components: first, an attention-based caption generator to strongly correlate different parts of an image with different parts of a caption; and second, an adversarial training mechanism to assist the caption generator to add diverse stylistic components to the generated captions. Because of these components, ATTEND-GAN can generate correlated captions as well as more human-like variability of stylistic patterns. Our system outperforms the state-of-the-art as well as a collection of our baseline models. A linguistic analysis of the generated captions demonstrates that captions generated using ATTEND-GAN have a wider range of stylistic adjectives and adjective-noun pairs.


title: An invariance principle for biased voter model interfaces

abstract: We consider one-dimensional biased voter models, where 1's replace 0's at a faster rate than the other way round, started in a Heaviside initial state describing the interface between two infinite populations of 0's and 1's. In the limit of weak bias, for a diffusively rescaled process, we consider a measure-valued process describing the local fraction of type 1 sites as a function of time. Under a finite second moment condition on the rates, we show that in the diffusive scaling limit there is a drifted Brownian path with the property that all but a vanishingly small fraction of the sites on the left (resp. right) of this path are of type 0 (resp. 1). This extends known results for unbiased voter models. Our proofs depend crucially on recent results about interface tightness for biased voter models.


title: From Stellar Halos to Intracluster Light: the physics of the Intra-Halo Stellar Component in cosmological hydrodynamical simulations

abstract: We study the Intra-Halo Stellar Component (IHSC) of Milky Way-mass systems up to galaxy clusters in the Horizon-AGN cosmological hydrodynamical simulation. We identify the IHSC using an improved phase-space galaxy finder algorithm which provides an adaptive, physically motivated and shape-independent definition of this stellar component, that can be applied to halos of arbitrary masses. We explore the IHSC mass fraction-total halo's stellar mass, $f_{M*,IHSC}-M*$, relation and the physical drivers of its scatter. We find that on average the $f_{M*,IHSC}$ increases with $M_{*,tot}$, with the scatter decreasing strongly with mass from 2 dex at $M_{*,tot}\sim10^{11}M_\odot$ to 0.3 dex at group masses. At high masses, $M_{*,tot}>10^{11.5}M_\odot$, $f_{M*,IHSC}$ increases with the number of substructures, and with the mass ratio between the central galaxy and largest satellite, at fixed $M_{*,tot}$. From mid-size groups and systems below $M_{*,tot}<10^{12}M_\odot$, we find that the central galaxy's stellar rotation-to-dispersion velocity ratio, V/{\sigma}, displays the strongest (anti)-correlation with $f_{M*,IHSC}$ at fixed $M_{*,tot}$ of all the galaxy and halo properties explored, transitioning from $f_{M*,IHSC}$<0.1% for high V/{\sigma}, to $f_{M*,IHSC}\sim5$% for low V/{\sigma} galaxies. By studying the $f_{M*,IHSC}$ temporal evolution, we find that, in the former, mergers not always take place, but if they did, they happened early (z>1), while the high $f_{M*,IHSC}$ population displays a much more active merger history. In the case of massive groups and galaxy clusters, $M_{*,tot}>10^{12}M_\odot$, a fraction $f_{M*,IHSC}\sim$10-20% is reached at $z\sim1$ and then they evolve across lines of constant $f_{M*,IHSC}$ modulo some small perturbations. Because of the limited simulation's volume, the latter is only tentative and requires a larger sample of simulated galaxy clusters to confirm.


title: Bootstrapping a stable computation token

abstract: We outline a token model for Truebit, a retrofitting, blockchain enhancement which enables secure, community-based computation. The model addresses the challenge of stable task pricing, as raised in the Truebit whitepaper, without appealing to external oracles, exchanges, or hierarchical nodes. The system's sustainable economics and fair market pricing derive from a mintable token format which leverages existing tokens for liquidity. Finally, we introduce a governance layer whose lifecycles culminates with permanent dissolution into utility tokens, thereby tending the network towards autonomous decentralization.


title: Graph Node Embeddings using Domain-Aware Biased Random Walks

abstract: The recent proliferation of publicly available graph-structured data has sparked an interest in machine learning algorithms for graph data. Since most traditional machine learning algorithms assume data to be tabular, embedding algorithms for mapping graph data to real-valued vector spaces has become an active area of research. Existing graph embedding approaches are based purely on structural information and ignore any semantic information from the underlying domain. In this paper, we demonstrate that semantic information can play a useful role in computing graph embeddings. Specifically, we present a framework for devising embedding strategies aware of domain-specific interpretations of graph nodes and edges, and use knowledge of downstream machine learning tasks to identify relevant graph substructures. Using two real-life domains, we show that our framework yields embeddings that are simple to implement and yet achieve equal or greater accuracy in machine learning tasks compared to domain independent approaches.


title: Progressive Relation Learning for Group Activity Recognition

abstract: Group activities usually involve spatiotemporal dynamics among many interactive individuals, while only a few participants at several key frames essentially define the activity. Therefore, effectively modeling the group-relevant and suppressing the irrelevant actions (and interactions) are vital for group activity recognition. In this paper, we propose a novel method based on deep reinforcement learning to progressively refine the low-level features and high-level relations of group activities. Firstly, we construct a semantic relation graph (SRG) to explicitly model the relations among persons. Then, two agents adopting policy according to two Markov decision processes are applied to progressively refine the SRG. Specifically, one feature-distilling (FD) agent in the discrete action space refines the low-level spatio-temporal features by distilling the most informative frames. Another relation-gating (RG) agent in continuous action space adjusts the high-level semantic graph to pay more attention to group-relevant relations. The SRG, FD agent, and RG agent are optimized alternately to mutually boost the performance of each other. Extensive experiments on two widely used benchmarks demonstrate the effectiveness and superiority of the proposed approach.


title: A VR System for Immersive Teleoperation and Live Exploration with a Mobile Robot

abstract: Applications like disaster management and industrial inspection often require experts to enter contaminated places. To circumvent the need for physical presence, it is desirable to generate a fully immersive individual live teleoperation experience. However, standard video-based approaches suffer from a limited degree of immersion and situation awareness due to the restriction to the camera view, which impacts the navigation. In this paper, we present a novel VR-based practical system for immersive robot teleoperation and scene exploration. While being operated through the scene, a robot captures RGB-D data that is streamed to a SLAM-based live multi-client telepresence system. Here, a global 3D model of the already captured scene parts is reconstructed and streamed to the individual remote user clients where the rendering for e.g. head-mounted display devices (HMDs) is performed. We introduce a novel lightweight robot client component which transmits robot-specific data and enables a quick integration into existing robotic systems. This way, in contrast to first-person exploration systems, the operators can explore and navigate in the remote site completely independent of the current position and view of the capturing robot, complementing traditional input devices for teleoperation. We provide a proof-of-concept implementation and demonstrate the capabilities as well as the performance of our system regarding interactive object measurements and bandwidth-efficient data streaming and visualization. Furthermore, we show its benefits over purely video-based teleoperation in a user study revealing a higher degree of situation awareness and a more precise navigation in challenging environments.


title: Semi Supervised Phrase Localization in a Bidirectional Caption-Image Retrieval Framework

abstract: We introduce a novel deep neural network architecture that links visual regions to corresponding textual segments including phrases and words. To accomplish this task, our architecture makes use of the rich semantic information available in a joint embedding space of multi-modal data. From this joint embedding space, we extract the associative localization maps that develop naturally, without explicitly providing supervision during training for the localization task. The joint space is learned using a bidirectional ranking objective that is optimized using a $N$-Pair loss formulation. This training mechanism demonstrates the idea that localization information is learned inherently while optimizing a Bidirectional Retrieval objective. The model's retrieval and localization performance is evaluated on MSCOCO and Flickr30K Entities datasets. This architecture outperforms the state of the art results in the semi-supervised phrase localization setting.


title: Research Leadership Flow Determinants and the Role of Proximity in Research Collaborations Networks

abstract: Characterizing the leadership in research is important to revealing the interaction pattern and organizational structure through research collaboration. This research defines the leadership role based on the corresponding author's affiliation, and presents, the first quantitative research on the factors and evolution of five proximity dimensions (geographical, cognitive, institutional, social and economic) of research leadership. The data to capture research leadership consists of a set of multi-institution articles in the life sciences and biomedical during 2013-2017 from Web of Science Core Citation Database. Our sample consists of 484,903 articles from 244 Chinese institutions, which have been the primary affiliation of the corresponding author for at least one paper (with multiple institutions) in each year. A Tobit regression-based gravity model indicates that research leadership mass of both the leading and participating institutions and the geographical, cognitive, institutional, social and economic proximity are important factors of the flow of research leadership among Chinese institutions. In general, the effect of these proximity for research leadership flow has been declining recently. The outcome of this research sheds light on the leadership evolution and flow among Chinese institutions, and thus can provide evidence and support for grant allocation policy to facilitate scientific research and collaborations.


title: Observation time dependent mean first passage time of diffusion and sub-diffusion processes

abstract: The mean first passage time, one of the important characteristics for a stochastic process, is often calculated assuming the observation time is infinite. However, in practice, the observation time, T, is always finite and the mean first passage time (MFPT) is dependent on the length of the observation time. In this work, we investigate the observation time dependence of the MFPT of a particle freely moving in the interval [-L,L] for a simple diffusion model and four different models of subdiffusion, the fractional diffusion equation (FDE), scaled Brown motion (SBM), fractional Brownian motion (FBM), and stationary Markovian approximation model of SBM and FBM. We find that the MFPT is linearly dependent on T in the small T limit for all the models investigated, while the large-T behavior of the MFPT is sensitive to stochastic properties of the transport model in question. We also discuss the relationship between the observation time, T, dependence and the travel-length, L, dependence of the MFPT. Our results suggest the observation time dependency of the MFPT can serve as an experimental measure that is far more sensitive to stochastic properties of transport processes than the mean square displacement.


title: Hyperbolic Phonon Polariton Electroluminescence as an Electronic Cooling Pathway

abstract: Engineering of cooling mechanism is of primary importance for the development of nanoelectronics. Whereas radiation cooling is rather inefficient in nowadays electronic devices, the strong anisotropy of 2D materials allows for enhanced efficiency because their hyperbolic electromagnetic dispersion near phonon resonances allows them to sustain much larger ($\sim 10^5$) number of radiating channels. In this review, we address radiation cooling in 2D materials, specifically graphene hexagonal boron nitride (hBN) heterostructures. We present the hyperbolic dispersion of electromagnetic waves due to anisotropy, and describe how the spontaneous fluctuations of current in a 2D electronic channel can radiate thermal energy in its hyperbolic surrounding medium. We show that both the regime of (i) thermal current fluctuations and (ii) out-of-equilibrium current fluctuations can be described within the framework of transmission line theory leading to (i) superPlanckian thermal emission and (ii) electroluminescent cooling. We discuss a recent experimental investigation on graphene-on-hBN transistors using electronic noise thermometry. In a high mobility semimetal like graphene at large bias, a steady-state out-of-equilibrium situation is caused by the constant Zener tunneling of electrons opening a route for electroluminescence of hyperbolic electromagnetic modes. Experiments reveal that, compared to superPlanckian thermal emission, electroluminescence cooling is particularly prominent once the Zener tunneling regime is reached: observed cooling powers are nine orders of magnitude larger than in conventional LEDs.


title: A nonparametric Bayesian approach to the rare type match problem

abstract: The "rare type match problem" is the situation in which the suspect's DNA profile, matching the DNA profile of the crime stain, is not in the database of reference. The evaluation of this match in the light of the two competing hypotheses (the crime stain has been left by the suspect or by another person) is based on the calculation of the likelihood ratio and depends on the population proportions of the DNA profiles, that are unknown. We propose a Bayesian nonparametric method that uses a two-parameter Poisson Dirichlet distribution as a prior over the ranked population proportions, and discards the information about the names of the different DNA profiles. This fits very well the data coming from European Y-STR DNA profiles, and the calculation of the likelihood ratio becomes quite simple thanks to a justified Empirical Bayes approach.


title: Local and global patterns in quasiparticle interference: a reduced response function approach

abstract: A physical system exposes to us in a real space, while its description often refers to its reciprocal momentum space. A connection between them can be established by exploring patterns of quasiparticles interference (QPI), which is experimentally accessible by Fourier transformation of the scanning tunneling spectroscopy (FT-STS). We here investigate how local and global features of QPI patterns are related to the geometry and topology of electronic structure in the considered physical system. A reduced response function (RRF) approach is developed that can analyze QPI patterns with clear physical pictures. It is justified that the generalized joint density of states, which is the imaginary part of RRF, for studying QPI. Moreover, we reveal that global patterns of QPI may be indicators of topological numbers for gapless systems, and demonstrate that robustness of such indicators against distractive local features of QPI for topological materials with complicated band structures.


title: Substrate induced nanoscale resistance variation in epitaxial graphene

abstract: Graphene, the first true two-dimensional material still reveals the most remarkable transport properties among the growing class of two-dimensional materials. Although many studies have investigated fundamental scattering processes, the surprisingly large variation in the experimentally determined resistances associated with a localized defect is still an open issue. Here, we quantitatively investigate the local transport properties of graphene prepared by polymer assisted sublimation growth (PASG) using scanning tunneling potentiometry. PASG graphene is characterized by a spatially homogeneous current density, which allows to analyze variations in the local electrochemical potential with high precision. We utilize this possibility by examining the local sheet resistance finding a significant variation of up to 270% at low temperatures. We identify a correlation of the sheet resistance with the stacking sequence of the 6H-SiC substrate as well as with the distance between the graphene sheet and the substrate. Our results experimentally quantify the strong impact of the graphene-substrate interaction on the local transport properties of graphene.


title: Stochastic model of randomly end-linked polymer network micro-regions

abstract: Polymerization and formation of crosslinked polymer networks are important processes in manufacturing, materials fabrication, and in the case of hydrated polymer networks, synthesis of biomedical materials, drug delivery, and tissue engineering. While considerable research has been devoted to the modeling of polymer networks to determine averaged, mean-field, global properties, there are fewer studies that specifically examine the variance of the composition across "micro-regions" (composed of a large, but finite, number of polymer network strands) within the larger polymer network.Here, we mathematically model the stochastic formation of polymer networks comprised of linear homobifunctional network strands that undergo an end-linking gelation process. We introduce a master equation that describes the evolution of the probabilities of possible network micro-region configurations as a function of time and extent of reaction. We specifically focus on the dynamics of network formation and the statistical variability of the gel micro-regions, particularly at intermediate extents of reaction. We also consider possible annealing effects and study how cooperative binding between the two end-groups on a single network-strand affects network formation. Our results allow for a more detailed and thorough understanding of polymer network dynamics and variability of network properties.


title: Band structure of strained Ge$_{1-x}$Sn$_x$ alloy: a full-zone 30-band $k\cdot p$ model

abstract: We extend the previous 30-band $k$$\cdot$$p$ model effectively employed for relaxed Ge$_{1-x}$Sn$_{x}$ alloy to the case of strained Ge$_{1-x}$Sn$_{x}$ alloy. The strain-relevant parameters for the 30-band $k$$\cdot$$p$ model are obtained by using linear interpolation between the values of single crystal of Ge and Sn that are from literatures and optimizations. We specially investigate the dependence of band-gap at $L$-valley and $\Gamma$-valley with different Sn composition under uniaxial and biaxial strain along [100], [110] and [111] directions. The good agreement between our theoretical predictions and experimental data validates the effectiveness of our model. Our 30-band $k$$\cdot$$p$ model and relevant input parameters successfully applied to relaxed and strained Ge$_{1-x}$Sn$_{x}$ alloy offers a powerful tool for the optimization of sophisticated devices made from such alloy.


title: Mini-Superspace Universality and No-Scale Quantum Cosmology

abstract: We prove that, at the mini superspace level, and for an arbitrary Brans-Dicke parameter, one cannot tell traditional Einstein-Hilbert gravity from local scale invariant Weyl-Dirac gravity. Both quantum mechanical cosmologies are governed by the one and the same time-independent single-variable Hartle-Hawking wave function. It is only that its original argument, the cosmic scale factor $a$, is replaced by $a\phi$ ($\phi$ being the dilaton field) to form a Dirac in-scalar. The Weyl vector enters quantum cosmology only in the presence of an extra dimension, where its fifth component, serving as a 4-dim Kaluza-Klein in-scalar, governs the near Big Bang behavior of the wave function. The case of a constant Kaluza-Klein in-radius is discussed in some detail.


title: Volatile species in comet 67P/Churyumov-Gerasimenko -- investigating the link from the ISM to the terrestrial planets

abstract: Comets contain abundant amounts of organic and inorganic species. Many of the volatile molecules in comets have also been observed in the interstellar medium and some of them even with similar relative abundances, indicating formation under similar conditions or even sharing a common chemical pathway. There is a growing amount of evidence that suggests comets inherit and preserve substantial fractions of materials inherited from previous evolutionary phases, potentially indicating that commonplace processes occurred throughout comet-forming regions. Through impacts, part of this material has also been transported to the inner planetary system, including the terrestrial planets. While comets have been ruled out as a major contributor to terrestrial ocean water, substantial delivery of volatile species to the Earth's atmosphere, and as a consequence also organic molecules to its biomass, appears more likely. Comets contain many species of pre-biotic relevance and molecules that are related to biological processes on Earth, and have hence been proposed as potential indicators for the presence of biological processes in the search of extraterrestrial life. While the delivery of cometary material to Earth may have played a crucial role in the emergence of life, the presence of such alleged biosignature molecules in the abiotical environment of comets complicates the detection of life elsewhere in the universe.


title: Global Estimates and Regularity of Retarded Parabolic Equations with Fast-growing Nonlinearities

abstract: This paper is concerned with global estimates and regularity of solutions for the initial value problem of the retarded parabolic equation $$\frac{\patial u}{\patial t}-\Delta u=f(x,u)+g(u(x,t-r_1(t)),\cdots,u(x,t-r_m(t)))+h(x,t)$$ in a bounded domain $\Omega\subset R^n$ with fast-growing nonlinearities and a dissipative structure, which is associated with the homogeneous Dirichlet boundary condition. Our results reveal some deeper inherent connections between dissipative structures and the regularity of solutions for such problems.


title: CRIC: A VQA Dataset for Compositional Reasoning on Vision and Commonsense

abstract: Alternatively inferring on the visual facts and commonsense is fundamental for an advanced VQA system. This ability requires models to go beyond the literal understanding of commonsense. The system should not just treat objects as the entrance to query background knowledge, but fully ground commonsense to the visual world and imagine the possible relationships between objects, e.g., "fork, can lift, food". To comprehensively evaluate such abilities, we propose a VQA benchmark, CRIC, which introduces new types of questions about Compositional Reasoning on vIsion and Commonsense, and an evaluation metric integrating the correctness of answering and commonsense grounding. To collect such questions and rich additional annotations to support the metric, we also propose an automatic algorithm to generate question samples from the scene graph associated with the images and the relevant knowledge graph. We further analyze several representative types of VQA models on the CRIC dataset. Experimental results show that grounding the commonsense to the image region and joint reasoning on vision and commonsense are still challenging for current approaches. The dataset is available at https://cricvqa.github.io.


title: Fast Manipulability Maximization Using Continuous-Time Trajectory Optimization

abstract: A significant challenge in manipulation motion planning is to ensure agility in the face of unpredictable changes during task execution. This requires the identification and possible modification of suitable joint-space trajectories, since the joint velocities required to achieve a specific endeffector motion vary with manipulator configuration. For a given manipulator configuration, the joint space-to-task space velocity mapping is characterized by a quantity known as the manipulability index. In contrast to previous control-based approaches, we examine the maximization of manipulability during planning as a way of achieving adaptable and safe joint space-to-task space motion mappings in various scenarios. By representing the manipulator trajectory as a continuous-time Gaussian process (GP), we are able to leverage recent advances in trajectory optimization to maximize the manipulability index during trajectory generation. Moreover, the sparsity of our chosen representation reduces the typically large computational cost associated with maximizing manipulability when additional constraints exist. Results from simulation studies and experiments with a real manipulator demonstrate increases in manipulability, while maintaining smooth trajectories with more dexterous (and therefore more agile) arm configurations.


title: Contributed Discussion of "A Bayesian Conjugate Gradient Method"

abstract: We would like to congratulate the authors of "A Bayesian Conjugate Gradient Method" on their insightful paper, and welcome this publication which we firmly believe will become a fundamental contribution to the growing field of probabilistic numerical methods and in particular the sub-field of Bayesian numerical methods. In this short piece, which will be published as a comment alongside the main paper, we first initiate a discussion on the choice of priors for solving linear systems, then propose an extension of the Bayesian conjugate gradient (BayesCG) algorithm for solving several related linear systems simultaneously.


title: On Extensions of Partial Isomorphisms

abstract: In this paper we study a notion of HL-extension (HL standing for Herwig--Lascar) for a structure in a finite relational language $\mathcal{L}$. We give a description of all finite minimal HL-extensions of a given finite $\mathcal{L}$-structure. In addition, we study a group-theoretic property considered by Herwig--Lascar and show that it is closed under taking free products. We also introduce notions of coherent extensions and ultraextensive $\mathcal{L}$-structures and show that every countable $\mathcal{L}$-structure can be extended to a countable ultraextensive structure. Finally, it follows from our results that the automorphism group of any countable ultraextensive $\mathcal{L}$-structure has a dense locally finite subgroup.


title: Heavy baryon production with an instanton interaction

abstract: We propose a new reaction mechanism for the study of strange and charmed baryon productions. In this mechanism we consider the correlation of two quarks in baryons, so it can be called the two-quark process. As in the previously studied one-quark process, we find large production rates for charmed baryons in comparison with strange baryons. Moreover, the new mechanism causes the excitation of both the $\rho$ mode and the $\lambda$ mode. Using the wave functions for baryons from a quark model, we compute the production rates of various baryon states. We find that the production rates reflect the structure of the wave functions that imply the usefulness of the reactions for the study of baryon structures.


title: Centrality measures in simplicial complexes: applications of Topological Data Analysis to Network Science

abstract: Many real networks in social sciences, biological and biomedical sciences or computer science have an inherent structure of simplicial complexes reflecting many-body interactions. Therefore, to analyse topological and dynamical properties of simplicial complex networks centrality measures for simplices need to be proposed. Many of the classical complex networks centralities are based on the degree of a node, so in order to define degree centrality measures for simplices (which would characterise the relevance of a simplicial community in a simplicial network), a different definition of adjacency between simplices is required. The aim of these notes is threefold: first we will use the recently introduced notions of higher order simplicial degrees to propose new degree based centrality measures in simplicial complexes. These theoretical centrality measures, such as the simplicial degree centrality or the eigenvector centrality would allow not only to study the relevance of a simplicial community and the quality of its higher-order connections in a simplicial network, but also they might help to elucidate topological and dynamical properties of simplicial networks; sencond, we define notions of walks and distances in simplicial complexes in order to study connectivity of simplicial networks and to generalise, to the simplicial case, the well known closeness and betweenness centralities (needed for instance to study the relevance of a simplicial community in terms of its ability of transmitting information); third, we propose a new clustering coefficient for simplices in a simplicial network, different from the one knows so far and which generalises the standard graph clustering of a vertex. This measure should be essential to know the density of a simplicial network in terms of its simplicial communities.


title: Subgroups of an abelian group, related ideals of the group ring, and quotients by those ideals

abstract: Let $RG$ be the group ring of an abelian group $G$ over a commutative ring $R$ with identity. An injection $\Phi$ from the subgroups of $G$ to the non-unit ideals of $RG$ is well-known. It is defined by $\Phi(N)=I(R,N)RG$ where $I(R,N)$ is the augmentation ideal of $RN$, and each ideal $\Phi(N)$ has a property : $RG/\Phi(N)$ is $R$-algebra isomorphic to $R(G/N)$. Let $T$ be the set of non-unit ideals of $RG$. While the image of $\Phi$ is rather a small subset of $T$, we give conditions on $R$ and $G$ for the image of $\Phi$ to have some distribution in $T$. In the last section, we give criteria for choosing an element $x$ of $RG$ satisfying $RG/xRG$ is $R$-algebra isomorphic to $R(G/N)$ for a subgroup $N$ of $G$.


title: Gravitational wave emission from unstable accretion discs in tidal disruption events

abstract: Gravitational waves can be emitted by accretion discs if they undergo instabilities that generate a time varying mass quadrupole. In this work we investigate the gravitational signal generated by a thick accretion disc of $1 M_{\odot}$ around a static super-massive black hole of $10^{6}M_{\odot}$, assumed to be formed after the tidal disruption of a solar type star. This torus has been shown to be unstable to a global non-axisymmetric hydrodynamic instability, the Papaloizou-Pringle instability, in the case where it is not already accreting and has a weak magnetic field. We start by deriving analytical estimates of the maximum amplitude of the gravitational wave signal, with the aim to establish its detectability by the Laser Interferometer Space Antenna (LISA). Then, we compare these estimates with those obtained through a numerical simulation of the torus, made with a 3D smoothed particle hydrodynamics code. Our numerical analysis shows that the measured strain is two orders of magnitude lower than the maximum value obtained analytically. However, accretion discs affected by the Papaloizou-Pringle instability may still be interesting sources for LISA, if we consider discs generated after deeply penetrating tidal disruptions of main sequence stars of higher mass.


title: Positive multi-peak solutions for a logarithmic Schrodinger equation

abstract: In this manuscript, we consider the logarithmic Schr\"{o}dinger equation \begin{eqnarray*} -\varepsilon^2\Delta u+V(x)u=u\log u^{2},\,\,\,u>0, & \text{in}\,\,\,\mathbb{R}^{N}, \end{eqnarray*} where $N\geq3$, $\varepsilon>0$ is a small parameter. Under some assumptions on $V(x)$, we show the existence of positive multi-peak solutions by Lyapunov-Schmidt reduction. It seems to be the first time to study singularly perturbed logarithmic Schr\"{o}dinger problem by reduction. And here using a new norm is the crucial technique to overcome the difficulty caused by the logarithmic nonlinearity. At the same time, we consider the local uniqueness of the multi-peak solutions by using a type of local Pohozaev identities.


title: Non-amenable tight squeezes by Kirchberg algebras

abstract: We give a framework to produce C*-algebra inclusions with extreme properties. This gives the first constructive nuclear minimal ambient C*-algebras. We further obtain a purely infinite analogue of Dadarlat's modeling theorem on AF-algebras: Every Kirchberg algebra is rigidly and KK-equivalently sandwiched by non-nuclear C*-algebras without intermediate C*-algebras. Finally we reveal a novel property of Kirchberg algebras: They embed into arbitrarily wild C*-algebras as rigid maximal C*-subalgebras.


title: Gaia DR2 white dwarfs in the Hercules stream

abstract: We analyzed the velocity space of the thin and thick-disk Gaia white dwarf population within 100 pc looking for signatures of the Hercules stellar stream. We aimed to identify those objects belonging to the Hercules stream and, by taking advantage of white dwarf stars as reliable cosmochronometers, to derive a first age distribution. We applied a kernel density estimation to the $UV$ velocity space of white dwarfs. For the region where a clear overdensity of stars was found, we created a 5-D space of dynamic variables. We applied a hierarchichal clustering method, HDBSCAN, to this 5-D space, identifying those white dwarfs that share similar kinematic characteristics. Finally, under general assumptions and from their photometric properties, we derived an age estimate for each object. The Hercules stream was firstly revealed as an overdensity in the $UV$ velocity space of the thick-disk white dwarf population. Three substreams were then found: Hercules $a$ and Hercules $b$, formed by thick-disk stars with an age distribution peaked $4\,$Gyr in the past and extended to very old ages; and Hercules $c$, with a ratio of 65:35 thin:thick stars and a more uniform age distribution younger than 10 Gyr.


title: On the photometric and spectroscopic diversity of Type II supernovae

abstract: Hydrogen-rich (type II) supernovae (SNe) exhibit considerable photometric and spectroscopic diversity. Extending previous work that focused exclusively on photometry, we simultaneously model the multi-band light curves and optical spectra of Type II SNe using RSG progenitors that are characterized by their H-rich envelope masses or the mass and extent of an enshrouding cocoon at the star's surface. Reducing the H-rich envelope mass yields faster declining light curves, a shorter duration of the photospheric phase, broader line profiles at early times, but only a modest boost in early-time optical brightness. Increasing the mass of the circumstellar material (CSM) is more effective at boosting the early-time brightness and producing a fast-declining light curve while leaving the duration of the photospheric phase intact. It also makes the optical color bluer, delays the onset of recombination, and can severely reduce the speed of the fastest ejecta material. The early ejecta interaction with CSM is conducive to producing featureless spectra at $10-20$ d and a weak or absent H$\alpha$ absorption during the recombination phase. The slow decliners SNe 1999em, 2012aw, and 2004et can be explained with a $1.2 \times 10^{51}$ erg explosion in a compact ($\sim$600 R$_\odot$) RSG star from a 15 M$_\odot$ stellar evolution model. A small amount of CSM ($<0.2$ M$_\odot$) improves the match to the SN photometry at times $<$ 10 d. With more extended RSG progenitors, one predicts lower ejecta kinetic energies, but the SN color stays blue for too long and the spectral line widths are too narrow. The fast decliners SNe 2013ej and 2014G may require $0.5-1.0$ M$_\odot$ of CSM, although this depends on the CSM structure. A larger boost to the luminosity (as for fast decliners SNe 1979C or 1998S) requires interaction with a more spatially extended CSM, which might also be detached from the star.


title: Incremental Reinforcement Learning --- a New Continuous Reinforcement Learning Frame Based on Stochastic Differential Equation methods

abstract: Continuous reinforcement learning such as DDPG and A3C are widely used in robot control and autonomous driving. However, both methods have theoretical weaknesses. While DDPG cannot control noises in the control process, A3C does not satisfy the continuity conditions under the Gaussian policy. To address these concerns, we propose a new continues reinforcement learning method based on stochastic differential equations and we call it Incremental Reinforcement Learning (IRL). This method not only guarantees the continuity of actions within any time interval, but controls the variance of actions in the training process. In addition, our method does not assume Markov control in agents' action control and allows agents to predict scene changes for action selection. With our method, agents no longer passively adapt to the environment. Instead, they positively interact with the environment for maximum rewards.


title: Motives with modulus, I: Modulus sheaves with transfers for non-proper modulus pairs

abstract: We develop a theory of modulus sheaves with transfers, which generalizes Voevodsky's theory of sheaves with transfers. This paper and its sequel are foundational for the theory of motives with modulus, which is developed in [KMSY20].


title: On the notion of composite system

abstract: The notion of composite system made up of distinguishable parties is investigated in the context of arbitrary convex spaces.


title: Two remarks on the interpolation space

abstract: Dans ce travail, on montre que $(M(\mathbb{T}),c_0(\mathbb{Z}))_\theta = (L^1,c_0(\mathbb{Z}))_\theta$, $0<\theta <1$. Dans la suite on montre pour le couple d'interpolation $(C_0,C_1)$ trouv\'e par Garling-Smith qu'il existe un isomorphisme $U_\theta: (C_0,C_0+C_1)_{\theta ,p}\rightarrow (C_1,C_0+C_1)_{\theta, p}$ (resp. $U_\theta : (C_0,C_0+C_1)_\theta \rightarrow (C_1,C_0+C_1)_\theta)$ tel que sa restriction \`a $C_{\theta, p}$ (resp. \`a $C_\theta)$ est un isomorphisme : $C_{\theta, p} \rightarrow C_{1-\theta, p}$ (resp. $C_\theta \rightarrow C_{1-\theta })$. -- In this work we show that $(M(\mathbb{T}),c_0(\mathbb{Z}))_\theta = (L^1,c_0(\mathbb{Z}))_\theta$, $0<\theta <1.$ In the following we show for the interpolation couple found by Garling-Smith that there exists an isomorphism $U_\theta: (C_0,C_0+C_1)_{\theta ,p}\rightarrow (C_1,C_0+C_1)_{\theta, p}$ (resp. $U_\theta : (C_0,C_0+C_1)_\theta \rightarrow (C_1,C_0+C_1)_\theta)$ such that its restriction to $C_{\theta ,p}$ (resp. to $C_\theta)$ is an isomorphism : $C_{\theta, p} \rightarrow C_{1-\theta, p}$ (resp. $C_\theta \rightarrow C_{1-\theta })$.


title: Cluster stability driven by quantum fluctuations

abstract: By means of an accurate path-integral Monte Carlo we investigate a two-dimensional ensemble of particles interacting via a Lifshitz-Petrich-Gaussian potential. In particular, analysing structures described by a commensurate ratio between the two wave numbers that mark the pattern, the Lifshitz-Petrich-Gaussian boson model may display a stable and well-defined stripe phase lacking any global phase coherence but featuring a superfluid signal along the stripe direction only. Upon increasing quantum fluctuations and quantum-mechanical exchange of bosons, the double-degeneration of the negative minima in the Fourier transform of the potential is removed at the expense of a density modulation peculiar to a cluster triangular crystal. We also show that this last structure possess all features adhering to the definition of a supersolid phase.


title: Study of the decays $\psi(3686)\rightarrow\gamma\chi_{cJ}\rightarrow\gamma\bar{p}K^{*+}\Lambda+c.c.$ and $\psi(3686)\rightarrow\bar{p}K^{*+}\Lambda+c.c.$

abstract: Based on the data sample of $448.1\times10^{6}$ $\psi(3686)$ events collected with the BESIII detector at BEPCII, we present a study of the decays $\psi(3686)\rightarrow\gamma\chi_{cJ}\rightarrow\gamma\bar{p}K^{*+}\Lambda+c.c.$ and $\psi(3686)\rightarrow\bar{p}K^{*+}\Lambda+c.c.$. The branching fractions of $\chi_{cJ}\rightarrow\bar{p}K^{*+}\Lambda+c.c.$ ($J$=0, 1, 2) are measured to be $(4.8\pm0.7\pm0.5)\times10^{-4}$, $(5.0\pm0.5\pm0.4)\times10^{-4}$, and $(8.2\pm0.9\pm0.7)\times10^{-4}$, respectively, where the first uncertainties are statistical and the second systematic. The branching fraction of $\psi(3686)\rightarrow\bar{p}K^{*+}\Lambda+c.c.$ is measured to be $(6.3\pm0.5\pm0.5)\times10^{-5}$. All these decay modes are observed for the first time.


title: High-$T_c$ Iron-phosphide Superconductivity Enhanced by Reemergent Antiferromagnetic Spin Fluctuations in (Sr$_4$Sc$_2$O$_6$)Fe$_2$(As$_{1-x}$P$_{x}$)$_2$ probed by NMR

abstract: We report a systematic NMR study on [Sr$_4$Sc$_2$O$_6$]Fe$_2$(As$_{1-x}$P$_x$)$_2$, for which the local lattice parameters of the iron-pnictogen (Fe$Pn$) layer are similar to those of the series LaFe(As$_{1-x'}$P$_{x'}$)O, which exhibit two segregated antiferromagnetic (AFM) order phases, AFM1 at $x'$=0-0.2 and AFM2 at $x'$=0.4-0.7. Our results revealed that the parent AFM1 phase at $x$=0 disappears at $x$=0.3-0.4, corresponding to a pnictogen height ($h_{pn}$) from the Fe-plane of 1.3-1.32 \AA, which is similar to that of LaFe(As$_{1-x'}$P$_{x'}$)O and various parent Fe-pnictides. By contrast, the AFM2 order reported for LaFe(As$_{0.4}$P$_{0.6}$)O does not appear at $x\sim$0.8, although the local lattice parameters of the Fe$Pn$ layer and the microscopic electronic states are quite similar. Despite the absence of the {\it static} AFM2 order, reemergent {\it dynamical} AFM spin fluctuations were observed at approximately $x\sim$0.8, which can be attributed to the instability of the AFM2 phase. We suggest this re-enhancement of AFM spin fluctuations to play a significant role in enhancing the $T_c$ to 17 K for $x$=0.8-1. Finally, we discuss the universality and diversity of the complicated magnetic ground states from a microscopic point of view, including the difference in the origins of the AFM1 and AFM2 phases, and their relations with the high superconducting transitions in Fe-pnictides.


title: Diagnosing 0.1-10 au scale morphology of the FU\,Ori disk using ALMA and VLTI/GRAVITY

abstract: We report new Atacama Large Millimeter/submillimeter Array Band 3 (86-100 GHz; $\sim$80 mas angular resolution) and Band 4 (146-160 GHz; $\sim$50 mas angular resolution) observations of the dust continuum emission towards the archetypal and ongoing accretion burst young stellar object FU Ori, which simultaneously covered its companion, FU Ori S. In addition, we present near-infrared (2-2.45 $\mu$m) observations of FU Ori taken with the General Relativity Analysis via VLT InTerferometrY (GRAVITY; $\sim$1 mas angular resolution) instrument on the Very Large Telescope Interferometer (VLTI). We find that the emission in both FU Ori and FU Ori S at (sub)millimeter and near infrared bands is dominated by structures inward of $\sim$10 au radii. We detected closure phases close to zero from FU Ori with VLTI/GRAVITY, which indicate the source is approximately centrally symmetric and therefore is likely viewed nearly face-on. Our simple model to fit the GRAVITY data shows that the inner 0.4 au radii of the FU Ori disk has a triangular spectral shape at 2-2.45 $\mu$m, which is consistent with the H$_{2}$O and CO absorption features in a $\dot{M}\sim$10$^{-4}$ $M_{\odot}\,yr^{-1}$, viscously heated accretion disk. At larger ($\sim$0.4-10 au) radii, our analysis shows that viscous heating may also explain the observed (sub)millimeter and centimeter spectral energy distribution when we assume a constant, $\sim$10$^{-4}$ $M_{\odot}\,yr^{-1}$ mass inflow rate in this region. This explains how the inner 0.4 au disk is replenished with mass at a modest rate, such that it neither depletes nor accumulates significant masses over its short dynamic timescale. Finally, we tentatively detect evidence of vertical dust settling in the inner 10 au of the FU Ori disk, but confirmation requires more complete spectral sampling in the centimeter bands.


title: On Antenna Array Out-of-Band Emissions

abstract: We substantiate and extend recent research on the behavior of the out-of-band emissions in antenna array transmitters. Specifically, with multi-user precoding, we show that the emissions are always beamformed in the directions of the intended receivers, contrary to some claims in the recent literature. Moreover, while also other spurious directions exist, we show that the emissions are always strongest in the directions of the intended receivers. We also show that power amplifiers with mutually different nonlinear phase characteristics will reduce the beamforming gain of the unwanted emissions, with the gain approaching the noncoherent combining limit as the phase deviations are increased.


title: Pseudo-Labeling and Confirmation Bias in Deep Semi-Supervised Learning

abstract: Semi-supervised learning, i.e. jointly learning from labeled and unlabeled samples, is an active research topic due to its key role on relaxing human supervision. In the context of image classification, recent advances to learn from unlabeled samples are mainly focused on consistency regularization methods that encourage invariant predictions for different perturbations of unlabeled samples. We, conversely, propose to learn from unlabeled data by generating soft pseudo-labels using the network predictions. We show that a naive pseudo-labeling overfits to incorrect pseudo-labels due to the so-called confirmation bias and demonstrate that mixup augmentation and setting a minimum number of labeled samples per mini-batch are effective regularization techniques for reducing it. The proposed approach achieves state-of-the-art results in CIFAR-10/100, SVHN, and Mini-ImageNet despite being much simpler than other methods. These results demonstrate that pseudo-labeling alone can outperform consistency regularization methods, while the opposite was supposed in previous work. Source code is available at https://git.io/fjQsC.


title: Continual Learning by Asymmetric Loss Approximation with Single-Side Overestimation

abstract: Catastrophic forgetting is a critical challenge in training deep neural networks. Although continual learning has been investigated as a countermeasure to the problem, it often suffers from the requirements of additional network components and the limited scalability to a large number of tasks. We propose a novel approach to continual learning by approximating a true loss function using an asymmetric quadratic function with one of its sides overestimated. Our algorithm is motivated by the empirical observation that the network parameter updates affect the target loss functions asymmetrically. In the proposed continual learning framework, we estimate an asymmetric loss function for the tasks considered in the past through a proper overestimation of its unobserved sides in training new tasks, while deriving the accurate model parameter for the observable sides. In contrast to existing approaches, our method is free from the side effects and achieves the state-of-the-art accuracy that is even close to the upper-bound performance on several challenging benchmark datasets.


title: Relativistic Astronomy. III. test of special relativity via Doppler effect

abstract: The "Breakthrough Starshot" program is planning to send transrelativistic probes to travel to nearby stellar systems within decades. Since the probe velocity is designed to be a good fraction of the light speed, \citet{zha18} recently proposed that these transrelativistic probes can be used to study astronomical objects and to test special relativity. In this work, we further propose some methods to test special relativity and constrain photon mass using the Doppler effect with the images and spectral features of astronomical objects as observed in the transrelativistic probes. We introduce more general theories to set up the framework of testing special relativity, including a parametric general Doppler effect and Doppler effect with massive photon. We find that by comparing the spectra of a certain astronomical object, one can test Lorentz invariance and constrain photon mass. Besides, using imaging and spectrograph capabilities of transrelativistic probes, one can test time dilation and constrain photon mass. For a transrelativistic probe with velocity $v\sim0.2c$, aperture $D\sim3.5~{\rm cm}$ and spectral resolution $R\sim100$ (or $1000$), we find that the probe velocity uncertainty can be constrained to $\sigma_v\sim0.01c$ (or $0.001c$), and the time dilation factor uncertainty can be constrained to $\Delta\gamma=|\hat\gamma-\gamma|\lesssim0.01$ (or $0.001$), where $\hat\gamma$ is the time dilation factor and $\gamma$ is the Lorentz factor. Meanwhile, the photon mass limit is set to $m_\gamma\lesssim10^{-33}~{\rm g}$, which is slightly lower than the energy of the optical photon.


title: High-Level Combined Deterministic and Pseudoexhuastive Test Generation for RISC Processors

abstract: Recent safety standards set stringent requirements for the target fault coverage in embedded microprocessors, with the objective to guarantee robustness and functional safety of the critical electronic systems. This motivates the need for improving the quality of test generation for microprocessors. A new high-level implementation-independent test generation method for RISC processors is proposed. The set of instructions of the processor is partitioned nto groups. For each group, a dedicated test template is created, to be used for generating two test programs, for testing the control and the data paths respectively. For testing the control part, a novel high-level control fault model is proposed. Using this model, a set of deterministic test data operands are generated for each instruction of the given group. The advantage of the high-level fault model is that it covers larger than SAF fault class including multiple fault coverage in the control part. For generating the data path test, pseudoexhaustive data operands are used. We investigated the feasibility of the approach and demonstrated high efficiency of the generated test programs for testing the execute module of the miniMIPS RISC processor.


title: Energy scattering for a class of inhomogeneous nonlinear Schr\"odinger equation in two dimensions

abstract: We consider a class of $L^2$-supercritical inhomogeneous nonlinear Schr\"odinger equations in two dimensions \[ i\partial_t u + \Delta u = \pm |x|^{-b} |u|^\alpha u, \quad (t,x) \in \mathbb{R} \times \mathbb{R}^2, \] where $0<b<1$ and $\alpha>2-b$. By adapting a new approach of Arora-Dodson-Murphy \cite{ADM}, we show the energy scattering for the equation with radially symmetric initial data. In the focusing case, our result extends the one of Farah-Guzm\'an \cite{FG-high} to the whole range of $b$ where the local well-posedness is available. In the defocusing case, our result extends the one in \cite{Dinh-scat} where the energy scattering for non-radial initial data was established in dimensions $N\geq 3$.


title: Obvious Manipulations in Cake-Cutting

abstract: In cake-cutting, strategy-proofness is a very costly requirement in terms of fairness: for n=2 it implies a dictatorial allocation, whereas for n > 2 it requires that one agent receives no cake. We show that a weaker version of this property recently suggested by Troyan and Morril, called non-obvious manipulability, is compatible with the strong fairness property of proportionality, which guarantees that each agent receives 1/n of the cake. Both properties are satisfied by the leftmost leaves mechanism, an adaptation of the Dubins - Spanier moving knife procedure. Most other classical proportional mechanisms in literature are obviously manipulable, including the original moving knife mechanism. Non-obvious manipulability explains why leftmost leaves is manipulated less often in practice than other proportional mechanisms.


title: Critical exponent of Fujita-type for the semilinear damped wave equation on the Heisenberg group with power nonlinearity

abstract: In this paper, we consider the Cauchy problem for the semilinear damped wave equation on the Heisenberg group with power nonlinearity. We prove that the critical exponent is the Fujita exponent $p_{\mathrm{Fuj}}(\mathscr{Q}) = 1+2 / \mathscr{Q}$, where $\mathscr{Q}$ is the homogeneous dimension of the Heisenberg group. On the one hand, we will prove the global existence of small data solutions for $p >p_{\mathrm{Fuj}}(\mathscr{Q})$ in an exponential weighted energy space. On the other hand, a blow-up result for $1 < p \leq p_{\mathrm{Fuj}}(\mathscr{Q})$ under certain integral sign assumptions for the Cauchy data by using the test function method.


title: Fast Point R-CNN

abstract: We present a unified, efficient and effective framework for point-cloud based 3D object detection. Our two-stage approach utilizes both voxel representation and raw point cloud data to exploit respective advantages. The first stage network, with voxel representation as input, only consists of light convolutional operations, producing a small number of high-quality initial predictions. Coordinate and indexed convolutional feature of each point in initial prediction are effectively fused with the attention mechanism, preserving both accurate localization and context information. The second stage works on interior points with their fused feature for further refining the prediction. Our method is evaluated on KITTI dataset, in terms of both 3D and Bird's Eye View (BEV) detection, and achieves state-of-the-arts with a 15FPS detection rate.


title: Ramsey games near the critical threshold

abstract: A well-known result of R\"odl and Ruci\'nski states that for any graph $H$ there exists a constant $C$ such that if $p \geq C n^{- 1/m_2(H)}$, then the random graph $G_{n,p}$ is a.a.s. $H$-Ramsey, that is, any $2$-colouring of its edges contains a monochromatic copy of $H$. Aside from a few simple exceptions, the corresponding $0$-statement also holds, that is, there exists $c>0$ such that whenever $p\leq cn^{-1/m_2(H)}$ the random graph $G_{n,p}$ is a.a.s. not $H$-Ramsey. We show that near this threshold, even when $G_{n,p}$ is not $H$-Ramsey, it is often extremely close to being $H$-Ramsey. More precisely, we prove that for any constant $c > 0$ and any strictly $2$-balanced graph $H$, if $p \geq c n^{-1/m_2(H)}$, then the random graph $G_{n,p}$ a.a.s. has the property that every $2$-edge-colouring without monochromatic copies of $H$ cannot be extended to an $H$-free colouring after $\omega(1)$ extra random edges are added. This generalises a result by Friedgut, Kohayakawa, R\"odl, Ruci\'nski and Tetali, who in 2002 proved the same statement for triangles, and addresses a question raised by those authors. We also extend a result of theirs on the three-colour case and show that these theorems need not hold when $H$ is not strictly $2$-balanced.


title: Enrichment of the Galactic disc with neutron-capture elements: Mo and Ru

abstract: We present new observational data for the heavy elements molybdenum (Mo, Z = 42) and ruthenium (Ru, Z = 44) in F-, G-, and K-stars belonging to different substructures of the Milky Way. The range of metallicity covered is --1.0 $<$ [Fe/H] $<$ +0.3. The spectra of Galactic disc stars have a high resolution of 42,000 and 75,000 and signal-to-noise ratio better than 100. Mo and Ru abundances were derived by comparing the observed and synthetic spectra in the region of Mo I lines at 5506, 5533 \AA~ for 209 stars and Ru I lines at 4080, 4584, 4757 \AA~ for 162 stars using the LTE approach. For all the stars, the Mo and Ru abundance determinations are obtained for the first time with an average error of 0.14 dex. This is the first extended sample of stellar observations for Mo and Ru in the Milky Way disc, and together with earlier observations in halo stars it is pivotal in providing a complete picture of the evolution of Mo and Ru across cosmic timescales. The Mo and Ru abundances were compared with those of the neutron-capture elements (Sr, Y, Zr, Ba, Sm, Eu). The complex nucleosynthesis history of Mo and Ru is compared with different Galactic Chemical Evolution (GCE) simulations. In general, present theoretical GCE simulations show underproduction of Mo and Ru at all metallicities compared to observations. This highlights a significant contribution of nucleosynthesis processes not yet considered in our simulations. A number of possible scenarios are discussed.


title: A phase field approach for damage propagation in periodic microstructured materials

abstract: In the present work, the evolution of damage in periodic composite materials is investigated through a novel finite element-based multiscale computational approach. The methodology is developed by means of the original combination of homogenization methods with the phase field approach of fracture. This last is applied at the macroscale level on the equivalent homogeneous continuum, whose constitutive properties are obtained in closed form via a two-scale asymptotic homogenization scheme. The formulation allows considering different assumptions on the evolution of damage at the microscale (e.g., damage in the matrix and not in the inclusion/fiber), as well as the role played by the microstructural topology. Numerical results show that the proposed formulation leads to an apparent tensile strength and a post-peak branch of unnotched and notched specimens dependent not only on the internal length scale of the phase field approach, as for homogeneous materials, but also on the inclusion volumetric content and its shape. Down-scaling relations allow the full reconstruction of the microscopic fields at any point of the macroscopic model, as a simple post-processing operation.


title: Deep Learning Segmentation in 2D echocardiography using the CAMUS dataset : Automatic Assessment of the Anatomical Shape Validity

abstract: We recently published a deep learning study on the potential of encoder-decoder networks for the segmentation of the 2D CAMUS ultrasound dataset. We propose in this abstract an extension of the evaluation criteria to anatomical assessment, as traditional geometric and clinical metrics in cardiac segmentation do not take into account the anatomical correctness of the predicted shapes. The completed study sheds a new light on the ranking of models.


title: Manifold Modeling in Embedded Space: A Perspective for Interpreting Deep Image Prior

abstract: Deep image prior (DIP), which utilizes a deep convolutional network (ConvNet) structure itself as an image prior, has attracted attentions in computer vision and machine learning communities. It empirically shows the effectiveness of ConvNet structure for various image restoration applications. However, why the DIP works so well is still unknown, and why convolution operation is useful for image reconstruction or enhancement is not very clear. In this study, we tackle these questions. The proposed approach is dividing the convolution into ``delay-embedding'' and ``transformation (\ie encoder-decoder)'', and proposing a simple, but essential, image/tensor modeling method which is closely related to dynamical systems and self-similarity. The proposed method named as manifold modeling in embedded space (MMES) is implemented by using a novel denoising-auto-encoder in combination with multi-way delay-embedding transform. In spite of its simplicity, the image/tensor completion, super-resolution, deconvolution, and denoising results of MMES are quite similar even competitive to DIP in our extensive experiments, and these results would help us for reinterpreting/characterizing the DIP from a perspective of ``low-dimensional patch-manifold prior''.


title: Constrained domain adaptation for Image segmentation

abstract: We propose to adapt segmentation networks with a constrained formulation, which embeds domain-invariant prior knowledge about the segmentation regions. Such knowledge may take the form of simple anatomical information, e.g., structure size or shape, estimated from source samples or known a priori. Our method imposes domain-invariant inequality constraints on the network outputs of unlabeled target samples. It implicitly matches prediction statistics between target and source domains with permitted uncertainty of prior knowledge. We address our constrained problem with a differentiable penalty, fully suited for standard stochastic gradient descent approaches, removing the need for computationally expensive Lagrangian optimization with dual projections. Unlike current two-step adversarial training, our formulation is based on a single loss in a single network, which simplifies adaptation by avoiding extra adversarial steps, while improving convergence and quality of training. The comparison of our approach with state-of-the-art adversarial methods reveals substantially better performance on the challenging task of adapting spine segmentation across different MRI modalities. Our results also show a robustness to imprecision of size priors, approaching the accuracy of a fully supervised model trained directly in a target domain.Our method can be readily used for various constraints and segmentation problems.


title: Local Differential Privacy for Deep Learning

abstract: The internet of things (IoT) is transforming major industries including but not limited to healthcare, agriculture, finance, energy, and transportation. IoT platforms are continually improving with innovations such as the amalgamation of software-defined networks (SDN) and network function virtualization (NFV) in the edge-cloud interplay. Deep learning (DL) is becoming popular due to its remarkable accuracy when trained with a massive amount of data, such as generated by IoT. However, DL algorithms tend to leak privacy when trained on highly sensitive crowd-sourced data such as medical data. Existing privacy-preserving DL algorithms rely on the traditional server-centric approaches requiring high processing powers. We propose a new local differentially private (LDP) algorithm named LATENT that redesigns the training process. LATENT enables a data owner to add a randomization layer before data leave the data owners' devices and reach a potentially untrusted machine learning service. This feature is achieved by splitting the architecture of a convolutional neural network (CNN) into three layers: (1) convolutional module, (2) randomization module, and (3) fully connected module. Hence, the randomization module can operate as an NFV privacy preservation service in an SDN-controlled NFV, making LATENT more practical for IoT-driven cloud-based environments compared to existing approaches. The randomization module employs a newly proposed LDP protocol named utility enhancing randomization, which allows LATENT to maintain high utility compared to existing LDP protocols. Our experimental evaluation of LATENT on convolutional deep neural networks demonstrates excellent accuracy (e.g. 91%- 96%) with high model quality even under low privacy budgets (e.g. $\varepsilon=0.5$).


title: Equations of the first kind and the inversion of series of resolvents of a closed operator

abstract: Let $A$ be a densely defined closed operator in a complex Banach space $X.$ Conditions for left invertibility of operators of the form $\sum_{j=1}^\infty a_j (\alpha_j -A)^{-1}$ are given. Several examples are considered.


title: Learning Vision-based Flight in Drone Swarms by Imitation

abstract: Decentralized drone swarms deployed today either rely on sharing of positions among agents or detecting swarm members with the help of visual markers. This work proposes an entirely visual approach to coordinate markerless drone swarms based on imitation learning. Each agent is controlled by a small and efficient convolutional neural network that takes raw omnidirectional images as inputs and predicts 3D velocity commands that match those computed by a flocking algorithm. We start training in simulation and propose a simple yet effective unsupervised domain adaptation approach to transfer the learned controller to the real world. We further train the controller with data collected in our motion capture hall. We show that the convolutional neural network trained on the visual inputs of the drone can learn not only robust inter-agent collision avoidance but also cohesion of the swarm in a sample-efficient manner. The neural controller effectively learns to localize other agents in the visual input, which we show by visualizing the regions with the most influence on the motion of an agent. We remove the dependence on sharing positions among swarm members by taking only local visual information into account for control. Our work can therefore be seen as the first step towards a fully decentralized, vision-based swarm without the need for communication or visual markers.


title: Feature selection of neural networks is skewed towards the less abstract cue

abstract: Artificial neural networks (ANNs) have become an important tool for image classification with many applications in research and industry. However, it remains largely unknown how relevant image features are selected and how data properties affect this process. In particular, we are interested whether the abstraction level of image cues correlating with class membership influences feature selection. We perform experiments with binary images that contain a combination of cues, representing two different levels of abstractions: one is a pattern drawn from a random distribution where class membership correlates with the statistics of the pattern, the other a combination of symbol-like entities, where the symbolic code correlates with class membership. When the network is trained with data in which both cues are equally significant, we observe that the cues at the lower abstraction level, i.e., the pattern, is learned, while the symbolic information is largely ignored, even in networks with many layers. Symbol-like entities are only learned if the importance of low-level cues is reduced compared to the high-level ones. These findings raise important questions about the relevance of features that are learned by deep ANNs and how learning could be shifted towards symbolic features.


title: Type Ia SN 2019ein: New Insights into the Similarities and diversities among High-Velocity SNe Ia

abstract: We present optical observations of type Ia supernova (SN) 2019ein, starting at 2 days after the estimated explosion date. The spectra and the light curves show that SN 2019ein belongs to the High-Velocity (HV) and Bload Line groups with relatively rapid decline in the light curves (Delta m15(B) = 1.36 +- 0.02 mag) and the short rise time (15.37 +- 0.55 days). The Si II 6355 velocity, associated with a photospheric component but not with a detached high-velocity feature, reached ~ 20,000 km s-1 at 12 days before the B-band maximum. The line velocity however decreased very rapidly and smoothly toward the maximum light, where it was ~ 13,000 km s-1 as relatively low among HV SNe. This indicates that the speed of the spectral evolution of HV SNe Ia is correlated not only to the velocity at the maximum light, but also to the light curve decline rate like the case for Normal-Velocity (NV) SNe Ia. Spectral synthesis modeling shows that the outermost layer at > 17,000 km s-1 is well described by the O-Ne-C burning layer extending to at least 25,000 km s-1, and there is no unburnt carbon below 30,000 km s-1; these properties are largely consistent with the delayed detonation scenario, and are shared with the prototypical HV SN 2002bo despite the large difference in Delta m15(B). This structure is strikingly different from that derived for the well-studied NV SN 2011fe. We suggest that the relation between the mass of 56Ni (or Delta m15) and the extent of the O-Ne-C burning layer provides an important constraint on the explosion mechanism(s) of HV and NV SNe.


title: Microscopic and phenomenological models of driven systems in structured reservoirs

abstract: We study the paradigmatic model of a qubit interacting with a structured environment and driven by an external field by means of a microscopic and a phenomenological model. The validity of the so-called fixed-dissipator (FD) assumption, where the dissipation is taken as the one of the undriven qubit is discussed. In the limit of a flat spectrum, the FD model and the microscopic one remarkably practically coincide. For a structured reservoir, we show in the secular limit that steady states can be different from those determined from the FD model, opening the possibility for exploiting reservoir engineering. We explore it as a function of the control field parameters, of the characteristics of the spectral density and of the environment temperature. The observed widening of the family of target states by reservoir engineering suggests new possibilities in quantum control protocols.


title: Cold Isostatic Pressing to Improve the Mechanical Performance of Additively Manufactured Metallic Components

abstract: Additive manufacturing is becoming a technique with great prospects for the production of components with new designs or shapes that are difficult to obtain by conventional manufacturing methods. One of the most promising techniques for printing metallic components is binder jetting, due to its time efficiency and its ability to generate complex parts. In this process, a liquid binding agent is selectively deposited to adhere the powder particles of the printing material. Once the metallic piece is generated, it undergoes a subsequent process of curing and sintering to increase its density (hot isostatic pressing). In this work, we propose subjecting the manufactured component to an additional post-processing treatment involving the application of a high hydrostatic pressure (5000 bar) at room temperature. This post-processing technique, so-called cold isostatic pressing (CIP), is shown to increase the yield load and the maximum carrying capacity of an additively manufactured AISI 316L stainless steel. The mechanical properties, with and without CIP processing, are estimated by means of the small punch test, a suitable experimental technique to assess the mechanical response of small samples. In addition, we investigate the porosity and microstructure of the material according to the orientations of layer deposition during the manufacturing process. Our observations reveal a homogeneous distribution independent of these orientations, evidencing thus an isotropic behaviour of the material.


title: Symmetry Analysis of Magnetoelectric Effects in Honeycomb Antiferromagnet Co4Nb2O9

abstract: Magnetoelectric effects in honeycomb antiferromagnet Co4Nb2O9 are investigated on the basis of symmetry analyses of Co ions in trigonal P-3c1 space group. For each Co ion, the possible spin dependence is classified by C3 point-group symmetry. This accounts for the observed main effect that an electric polarization rotates in the opposite direction at the twice speed relative to the rotation of the external magnetic field applied in the ab-plane. Inversion centers and twofold axes in the unit cell restrict the active spin-dependence of the electric polarization, which well explains the observed experimental results. Expected optical properties of quadrupolar excitation and various types of dichroism are also discussed.


title: Dimer Models and Hochschild Cohomology

abstract: Dimer models provide a method of constructing noncommutative crepant resolutions of affine toric Gorenstein threefolds. In homological mirror symmetry, they can also be used to describe noncommutative Landau--Ginzburg models dual to punctured Riemann surfaces. For a zigzag consistent dimer embedded in a torus, we explicitly compute the Hochschild cohomology of its Jacobi algebra in terms of dimer combinatorics. This includes a full characterization of the Batalin--Vilkovisky structure induced by the Calabi--Yau structure of the Jacobi algebra. We then compute the compactly supported Hochschild cohomology of the category of matrix factorizations for the Jacobi algebra with its canonical potential.


title: Augmented NETT Regularization of Inverse Problems

abstract: We propose aNETT (augmented NETwork Tikhonov) regularization as a novel data-driven reconstruction framework for solving inverse problems. An encoder-decoder type network defines a regularizer consisting of a penalty term that enforces regularity in the encoder domain, augmented by a penalty that penalizes the distance to the data manifold. We present a rigorous convergence analysis including stability estimates and convergence rates. For that purpose, we prove the coercivity of the regularizer used without requiring explicit coercivity assumptions for the networks involved. We propose a possible realization together with a network architecture and a modular training strategy. Applications to sparse-view and low-dose CT show that aNETT achieves results comparable to state-of-the-art deep-learning-based reconstruction methods. Unlike learned iterative methods, aNETT does not require repeated application of the forward and adjoint models, which enables the use of aNETT for inverse problems with numerically expensive forward models. Furthermore, we show that aNETT trained on coarsely sampled data can leverage an increased sampling rate without the need for retraining.


title: Anomalous diffusions in option prices: connecting trade duration and the volatility term structure

abstract: Anomalous diffusions arise as scaling limits of continuous-time random walks (CTRWs) whose innovation times are distributed according to a power law. The impact of a non-exponential waiting time does not vanish with time and leads to different distribution spread rates compared to standard models. In financial modelling this has been used to accommodate for random trade duration in the tick-by-tick price process. We show here that anomalous diffusions are able to reproduce the market behaviour of the implied volatility more consistently than usual L\'evy or stochastic volatility models. We focus on two distinct classes of underlying asset models, one with independent price innovations and waiting times, and one allowing dependence between these two components. These two models capture the well-known paradigm according to which shorter trade duration is associated with higher return impact of individual trades. We fully describe these processes in a semimartingale setting leading no-arbitrage pricing formulae, and study their statistical properties. We observe that skewness and kurtosis of the asset returns do not tend to zero as time goes by. We also characterize the large-maturity asymptotics of Call option prices, and find that the convergence rate is slower than in standard L\'evy regimes, which in turn yields a declining implied volatility term structure and a slower decay of the skew.


title: An experimental test of the geodesic rule proposition for the non-cyclic geometric phase

abstract: The geometric phase due to the evolution of the Hamiltonian is a central concept in quantum physics, and may become advantageous for quantum technology. In non-cyclic evolutions, a proposition relates the geometric phase to the area bounded by the phase-space trajectory and the shortest geodesic connecting its end points. The experimental verification of this geodesic rule proposition has remained elusive for more than three decades. Here, we report an unambiguous experimental confirmation of the geodesic rule for a non-cyclic geometric phase by means of a spatial SU(2) matter-wave interferometer, demonstrating, with high precision, the predicted phase sign change and pi jumps. We show the connection between our results and the Pancharatnam phase. Finally, we point out that the geodesic rule can be applied to obtain the red-shift in general relativity, enabling a completely new quantum tool to measure gravity.


title: A Multimodal Deep Network for the Reconstruction of T2W MR Images

abstract: Multiple sclerosis is one of the most common chronic neurological diseases affecting the central nervous system. Lesions produced by the MS can be observed through two modalities of magnetic resonance (MR), known as T2W and FLAIR sequences, both providing useful information for formulating a diagnosis. However, long acquisition time makes the acquired MR image vulnerable to motion artifacts. This leads to the need of accelerating the execution of the MR analysis. In this paper, we present a deep learning method that is able to reconstruct subsampled MR images obtained by reducing the k-space data, while maintaining a high image quality that can be used to observe brain lesions. The proposed method exploits the multimodal approach of neural networks and it also focuses on the data acquisition and processing stages to reduce execution time of the MR analysis. Results prove the effectiveness of the proposed method in reconstructing subsampled MR images while saving execution time.


title: Manifest Contracts with Intersection Types

abstract: We present a manifest contract system PCFv$\Delta$H with intersection types. A manifest contract system is a typed functional calculus in which software contracts are integrated into a refinement type system and consistency of contracts is checked by combination of compile- and run-time type checking. Intersection types naturally arise when a contract is expressed by a conjunction of smaller contracts. Run-time contract checking for conjunctive higher-order contracts in an untyped language has been studied but our typed setting poses an additional challenge due to the fact that an expression of an intersection type $\tau_1 \wedge \tau_2$ may have to perform different run-time checking whether it is used as $\tau_1$ or $\tau_2$. We build PCFv$\Delta$H on top of the $\Delta$-calculus, a Church-style intersection type system by Liquori and Stolze. In the $\Delta$-calculus, a canonical expression of an intersection type is a strong pair, whose elements are the same expressions except for type annotations. To address the challenge above, we relax strong pairs so that expressions in a pair are the same except for type annotations and casts, which are a construct for run-time checking. We give a formal definition of PCFv$\Delta$H and show its basic properties as a manifest contract system: preservation, progress, and value inversion. Furthermore, we show that run-time checking does not affect essential computation.


title: A conjugate-gradient-type rational Krylov subspace method for ill-posed problems

abstract: Conjugated gradients on the normal equation (CGNE) is a popular method to regularise linear inverse problems. The idea of the method can be summarised as minimising the residuum over a suitable Krylov subspace. It is shown that using the same idea for the shift-and-invert rational Krylov subspace yields an order-optimal regularisation scheme.


title: Transcendental structure of multiloop massless correlators and anomalous dimensions

abstract: We give a short account of recent advances in our understanding of the $\pi$-dependent terms in massless (Euclidean) 2-point functions as well as in generic anomalous dimensions (ADs) and $\beta$-functions. We extend the considerations of \cite{Baikov:2018wgs} by two more loops, that is for the case of 6- and 7-loop correlators and 7- and 8-loop renormalization group (RG) functions. Our predictions for the ($\pi$-dependent terms) of the 7-loop RG functions for the case of the $O(n)$ $\phi^4$ theory are in full agreement with the recent results from \cite{Schnetz:2016fhy}. All available 7- and 8-loop results for QCD and the scalar $O(n)$ $\varphi^4$ theory obtained within the large $N_f$ approach to the quantum field theory (see, e.g. \cite{Gracey:2018ame}) are also in full agreement with our results.


title: Application of the independent component analysis to the iKAGRA data

abstract: We apply the independent component analysis (ICA) to the real data from a gravitational wave detector for the first time. Specifically we use the iKAGRA data taken in April 2016, and calculate the correlations between the gravitational wave strain channel and 35 physical environmental channels. Using a couple of seismic channels which are found to be strongly correlated with the strain, we perform ICA. Injecting a sinusoidal continuous signal in the strain channel, we find that ICA recovers correct parameters with enhanced signal-to-noise ratio, which demonstrates usefulness of this method. Among the two implementations of ICA used here, we find the correlation method yields the optimal result for the case environmental noises act on the strain channel linearly.


title: First Betti numbers of orbits of Morse functions on surfaces

abstract: In this article we study algebraic properties of the specific class of groups $\mathcal{G}$ generated by direct products and wreath products. Such class of groups appears in calculation of fundamental groups of orbits of Morse functions on compact manifolds. We prove that for any group $G\in\mathcal{G}$ the ranks of the center $Z(G)$ and the quotient by commutator subgroup $G/[G,G]$ coincide. Moreover, this rank is a first Betti number of the orbit of Morse function.


title: Augmenting Variational Autoencoders with Sparse Labels: A Unified Framework for Unsupervised, Semi-(un)supervised, and Supervised Learning

abstract: We present a new flavor of Variational Autoencoder (VAE) that interpolates seamlessly between unsupervised, semi-supervised and fully supervised learning domains. We show that unlabeled datapoints not only boost unsupervised tasks, but also the classification performance. Vice versa, every label not only improves classification, but also unsupervised tasks. The proposed architecture is simple: A classification layer is connected to the topmost encoder layer, and then combined with the resampled latent layer for the decoder. The usual evidence lower bound (ELBO) loss is supplemented with a supervised loss target on this classification layer that is only applied for labeled datapoints. This simplicity allows for extending any existing VAE model to our proposed semi-supervised framework with minimal effort. In the context of classification, we found that this approach even outperforms a direct supervised setup.


title: On the Anti-Invariant Cohomology of Almost Complex Manifolds

abstract: We study the space of closed anti-invariant forms on an almost complex manifold, possibly non compact. We construct families of (non integrable) almost complex structures on $\R^4$, such that the space of closed $J$-anti-invariant forms is infinite dimensional, and also $0$- or $1$-dimensional. In the compact case, we construct $6$-dimensional almost complex manifolds with arbitrary large anti-invariant cohomology and a $2$-parameter family of almost complex structures on the Kodaira-Thurston manifold whose anti-invariant cohomology group has maximum dimension.


title: Theory of response to perturbations in non-Hermitian systems using five-Hilbert-space reformulation of unitary quantum mechanics

abstract: In conventional Schr\"{o}dinger representation the unitarity of the evolution of bound states is guaranteed by the Hermiticity of the Hamiltonian. A non-unitary isospectral simplification of the Hamiltonian, $\mathfrak{h} \to H=\Omega\,\mathfrak{h}\,\Omega \neq H^\dagger$ induces the change ${\cal L} \to {\cal K}$ of the Hilbert space of states, reflected by the loss of the Hermiticity of $H\neq H^\dagger$. In such a reformulation of the theory the introduction of an {\it ad hoc} inner-product metric reconverts ${\cal K}$ into the third, correct physical Hilbert space ${\cal H}$, unitarily equivalent to ${\cal L}$. The situation encountered, typically, in ${\cal PT}-$symmetric or relativistic quantum mechanics is shown more complicated after an inclusion of perturbations. The formulation and solution of the problem are presented. Some of the consequences relevant, e.g., in the analysis of stability are discussed.


title: UKRmol+: a suite for modelling of electronic processes in molecules interacting with electrons, positrons and photons using the R-matrix method

abstract: UKRmol+ is a new implementation of the UK R-matrix electron-molecule scattering code. Key features of the implementation are the use of quantum chemistry codes such as Molpro to provide target molecular orbitals; the optional use of mixed Gaussian -- B-spline basis functions to represent the continuum and improved configuration and Hamiltonian generation. The code is described, and examples covering electron collisions from a range of targets, positron collisions and photionisation are presented. The codes are freely available as a tarball from Zenodo.


title: Tetrahedron maps and symmetries of three dimensional integrable discrete equations

abstract: A relationship between the tetrahedron equation for maps and the consistency property of integrable discrete equations on $\mathbb{Z}^3$ is investigated. Our approach is a generalization of a method developed in the context of Yang-Baxter maps, based on the invariants of symmetry groups of the lattice equations. The method is demonstrated by a case-by-case analysis of the octahedron type lattice equations classified recently, leading to some new examples of tetrahedron maps and integrable coupled lattice equations.


title: Measurable Counterfactual Local Explanations for Any Classifier

abstract: We propose a novel method for explaining the predictions of any classifier. In our approach, local explanations are expected to explain both the outcome of a prediction and how that prediction would change if 'things had been different'. Furthermore, we argue that satisfactory explanations cannot be dissociated from a notion and measure of fidelity, as advocated in the early days of neural networks' knowledge extraction. We introduce a definition of fidelity to the underlying classifier for local explanation models which is based on distances to a target decision boundary. A system called CLEAR: Counterfactual Local Explanations via Regression, is introduced and evaluated. CLEAR generates w-counterfactual explanations that state minimum changes necessary to flip a prediction's classification. CLEAR then builds local regression models, using the w-counterfactuals to measure and improve the fidelity of its regressions. By contrast, the popular LIME method, which also uses regression to generate local explanations, neither measures its own fidelity nor generates counterfactuals. CLEAR's regressions are found to have significantly higher fidelity than LIME's, averaging over 45% higher in this paper's four case studies.


title: Shifted symplectic structures on derived Quot-stacks I: Differential graded manifolds

abstract: A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose cohomologies have finitely many generators in each degree. Stacks represented by dg schemes are shown to be derived schemes under this correspondence.


title: Small Cuts and Connectivity Certificates: A Fault Tolerant Approach

abstract: We revisit classical connectivity problems in the CONGEST model of distributed computing. By using techniques from fault tolerant network design, we show improved constructions, some of which are even "local" (i.e., with $\widetilde{O}(1)$ rounds) for problems that are closely related to hard global problems (i.e., with a lower bound of $\Omega(Diam+\sqrt{n})$ rounds). Our main results are: (1) For $D$-diameter unweighted graphs with constant edge connectivity, we show an exact distributed deterministic computation of the minimum cut in $poly(D)$ rounds. This resolves one the open problems recently raised in Daga, Henzinger, Nanongkai and Saranurak, STOC'19. (2) For $D$-diameter unweighted graphs, we present a deterministic algorithm that computes of all edge connectivities up to constant in $poly(D)\cdot 2^{O(\sqrt{\log n\log\log n})}$ rounds. (3) Computation of sparse $\lambda$ connectivity certificates in $\widetilde{O}(\lambda)$ rounds. Previous constructions where known only for $\lambda \leq 3$ and required $O(D)$ rounds. This resolves the problem raised by Dori PODC'18.


title: Kinetic freeze-out in central heavy-ion collisions between 7.7 and 2760 GeV per nucleon pair

abstract: We fit the single-particle $p_t$ spectra of identified pions, kaons, and (anti)protons from central collisions of gold or lead nuclei at energies between 7.7 and 2760~GeV per nucleon pair. Blast wave model with included resonance production and with an assumption of partial chemical equilibrium is used and the fits are performed with the help of a Gaussian emulator process. A kinetic freeze-out temperature is found about 100~MeV for the lowest collision energies and 80~MeV at the LHC. The average transverse expansion velocity grows with increasing $\sqrt{s_{NN}}$ from 0.45 to 0.65. Due to partial chemical equilibrium, the influence of resonance decays on the shape of the $p_t$ spectra for $\sqrt{s_{NN}}$ above 27~GeV is small.


title: Forecasts of cosmological constraints from HI intensity mapping with FAST, BINGO & SKA-I

abstract: We forecast the cosmological constraints of the neutral hydrogen (HI) intensity mapping (IM) technique with radio telescopes by assuming 1-year of observational time. The current and future radio telescopes we consider here are FAST (Five hundred meter Aperture Spherical Telescope), BINGO (Baryon acoustic oscillations In Neutral Gas Observations), and SKA-I (Square Kilometre Array phase I) single-dish experiment. We also forecast the combined constraints of the three radio telescopes with Planck. We find that, the $1 \sigma$ errors of $(w_{0}, w_{a})$ for BINGO, FAST and SKA-I with respect to the fiducial values are respectively, $(0.9293, 3.5792), (0.4083, 1.5878), (0.3158, 0.4622)$. This is equivalent to $(56.04\%, 55.64\%)$ and $(66.02\%, 87.09\%)$ improvements in constraining $(w_{0}, w_{a})$ for FAST and SKA-I relative to BINGO. Simulations further show that SKA-I will put more stringent constraints than both FAST and BINGO when each of the experiment is combined with Planck measurement. For the $9$ cosmological parameters in consideration, we find that, there is a trade-off between SKA-I and FAST in constraining cosmological parameters, with each experiment being more superior in constraining a particular set of parameters.


title: Exploring the M-dwarf Luminosity--Temperature--Radius Relationships using Gaia DR2

abstract: There is growing evidence that M-dwarf stars suffer radius inflation when compared to theoretical models, suggesting that models are missing some key physics required to completely describe stars at effective temperatures $(T_{\rm SED})$ less than about 4000K. The advent of Gaia DR2 distances finally makes available large datasets to determine the nature and extent of this effect. We employ an all-sky sample, comprising of $>$15\,000 stars, to determine empirical relationships between luminosity, temperature and radius. This is accomplished using only geometric distances and multiwave-band photometry, by utilising a modified spectral energy distribution fitting method. The radii we measure show an inflation of $3 - 7\%$ compared to models, but no more than a $1 - 2\%$ intrinsic spread in the inflated sequence. We show that we are currently able to determine M-dwarf radii to an accuracy of $2.4\%$ using our method. However, we determine that this is limited by the precision of metallicity measurements, which contribute $1.7\%$ to the measured radius scatter. We also present evidence that stellar magnetism is currently unable to explain radius inflation in M-dwarfs.