title: Gate-induced superconductivity in a monolayer topological insulator

abstract: The layered semimetal WTe_2 has recently been found to be a two-dimensional topological insulator (2D TI) when thinned down to a single monolayer, with conducting helical edge channels. We report here that intrinsic superconductivity can be induced in this monolayer 2D TI by mild electrostatic doping, at temperatures below 1 K. The 2D TI-superconductor transition can be easily driven by applying a just a small gate voltage. This discovery offers new possibilities for gate-controlled devices combining superconductivity and topology, and could provide a basis for quantum information schemes based on topological protection.


title: The Fourier Coefficients of a Metaplectic Eisenstein Distribution on the Double Cover of SL$(3)$ over $\mathbb{Q}$

abstract: We compute the Fourier coefficients of a minimal parabolic Eisenstein distribution on the double cover of SL$(3)$ over $\mathbb{Q}$. Two key aspects of the paper are an explicit formula for the constant term, and formulas for the Fourier coefficients at the ramified place $p=2$. Additionally, the unramified non-degenerate Fourier coefficients of this Eisenstein distribution fit into the combinatorial description provided by Brubaker-Bump-Friedberg-Hoffstein in `Weyl group multiple Dirichlet series. III. Eisenstein series and twisted unstable $A_r$'.


title: An Online Plug-and-Play Algorithm for Regularized Image Reconstruction

abstract: Plug-and-play priors (PnP) is a powerful framework for regularizing imaging inverse problems by using advanced denoisers within an iterative algorithm. Recent experimental evidence suggests that PnP algorithms achieve state-of-the-art performance in a range of imaging applications. In this paper, we introduce a new online PnP algorithm based on the iterative shrinkage/thresholding algorithm (ISTA). The proposed algorithm uses only a subset of measurements at every iteration, which makes it scalable to very large datasets. We present a new theoretical convergence analysis, for both batch and online variants of PnP-ISTA, for denoisers that do not necessarily correspond to proximal operators. We also present simulations illustrating the applicability of the algorithm to image reconstruction in diffraction tomography. The results in this paper have the potential to expand the applicability of the PnP framework to very large and redundant datasets.


title: Criteria for eigenvalues embedded into the absolutely continuous spectrum of perturbed Stark type operators

abstract: In this paper, we consider the perturbed Stark operator \begin{equation*} Hu=H_0u+qu=-u^{\prime\prime}-xu+qu, \end{equation*} where $q$ is the power-decaying perturbation. The criteria for $q$ such that $H=H_0+q$ has at most one eigenvalue (finitely many, infinitely many eigenvalues) are obtained. All the results are quantitative and are generalized to the perturbed Stark type operator.


title: Euclid preparation: II. The EuclidEmulator -- A tool to compute the cosmology dependence of the nonlinear matter power spectrum

abstract: We present a new power spectrum emulator named EuclidEmulator that estimates the nonlinear correction to the linear dark matter power spectrum. It is based on a spectral decomposition method called polynomial chaos expansion. All steps in the construction of the emulator have been tested and optimized: the large high-resolution N-body simulations carried out with PKDGRAV3 were validated using a simulation from the Euclid Flagship campaign and demonstrated to have converged up to wavenumbers $k\approx 5\,h\,{\rm Mpc}^{-1}$ for redshifts $z\leq 5$. The emulator is constructed using the uncertainty quantification software UQLab and it has been optimized first by creating mock emulators based on Takahashi's HALOFIT. We show that it is possible to successfully predict the performance of the final emulator in this way prior to performing any N-body simulations. We provide a C-code to calculate the nonlinear correction at a relative accuracy of $\sim0.3\%$ with respect to N-body simulations within 50 ms. The absolute accuracy of the final nonlinear power spectrum is comparable to one obtained with N-body simulations, i.e. $\sim 1\%$ for $k\lesssim 1\,h\,{\rm Mpc}^{-1}$ and $z\lesssim 3.5$. This enables efficient forward modeling in the nonlinear regime allowing for maximum likelihood estimation of cosmological parameters. EuclidEmulator has been compared to HALOFIT and CosmicEmu, an alternative emulator based on the Mira-Titan Universe, and shown to be more accurate than these other approaches. This work paves a new way for optimal construction of future emulators that also consider other cosmological observables, use higher resolution input simulations and investigate higher dimensional cosmological parameter spaces.


title: Geometric Image Synthesis

abstract: The task of generating natural images from 3D scenes has been a long standing goal in computer graphics. On the other hand, recent developments in deep neural networks allow for trainable models that can produce natural-looking images with little or no knowledge about the scene structure. While the generated images often consist of realistic looking local patterns, the overall structure of the generated images is often inconsistent. In this work we propose a trainable, geometry-aware image generation method that leverages various types of scene information, including geometry and segmentation, to create realistic looking natural images that match the desired scene structure. Our geometrically-consistent image synthesis method is a deep neural network, called Geometry to Image Synthesis (GIS) framework, which retains the advantages of a trainable method, e.g., differentiability and adaptiveness, but, at the same time, makes a step towards the generalizability, control and quality output of modern graphics rendering engines. We utilize the GIS framework to insert vehicles in outdoor driving scenes, as well as to generate novel views of objects from the Linemod dataset. We qualitatively show that our network is able to generalize beyond the training set to novel scene geometries, object shapes and segmentations. Furthermore, we quantitatively show that the GIS framework can be used to synthesize large amounts of training data which proves beneficial for training instance segmentation models.


title: A New Primal-Dual Weak Galerkin Finite Element Method for Ill-posed Elliptic Cauchy Problems

abstract: A new numerical method is devised and analyzed for a type of ill-posed elliptic Cauchy problems by using the primal-dual weak Galerkin finite element method. This new primal-dual weak Galerkin algorithm is robust and efficient in the sense that the system arising from the scheme is symmetric, well-posed, and is satisfied by the exact solution (if it exists). An error estimate of optimal order is established for the corresponding numerical solutions in a scaled residual norm. In addition, a mathematical convergence is established in a weak $L^2$ topology for the new numerical method. Numerical results are reported to demonstrate the efficiency of the primal-dual weak Galerkin method as well as the accuracy of the numerical approximations.


title: Learning to Summarize Radiology Findings

abstract: The Impression section of a radiology report summarizes crucial radiology findings in natural language and plays a central role in communicating these findings to physicians. However, the process of generating impressions by summarizing findings is time-consuming for radiologists and prone to errors. We propose to automate the generation of radiology impressions with neural sequence-to-sequence learning. We further propose a customized neural model for this task which learns to encode the study background information and use this information to guide the decoding process. On a large dataset of radiology reports collected from actual hospital studies, our model outperforms existing non-neural and neural baselines under the ROUGE metrics. In a blind experiment, a board-certified radiologist indicated that 67% of sampled system summaries are at least as good as the corresponding human-written summaries, suggesting significant clinical validity. To our knowledge our work represents the first attempt in this direction.


title: The asymptotical behaviour of embedded eigenvalues for perturbed periodic operators

abstract: Let $H_0$ be a periodic operator on $\R^+$(or periodic Jacobi operator on $\N$). It is known that the absolutely continuous spectrum of $H_0$ is consisted of spectral bands $\cup[\alpha_l,\beta_l]$. Under the assumption that $\limsup_{x\to \infty} x|V(x)|<\infty$ ($\limsup_{n\to \infty} n|V(n)|<\infty$), the asymptotical behaviour of embedded eigenvalues approaching to the spectral boundary is established.


title: Operator algebras generated by left invertibles

abstract: Operator algebras generated by partial isometries and their adjoints form the basis for some of the most well studied classes of C*-algebras. The primary object of this paper is the norm-closed operator algebra generated by a left invertible $T$ together with its Moore-Penrose inverse $T^\dagger$. We denote this algebra by $\mathfrak{A}_T$. In the isometric case, $T^\dagger = T^*$ and $\mathfrak{A}_T$ is a representation of the Toeplitz algebra. Of particular interest is the case when $T$ satisfies a non-degeneracy condition called analytic. We show that $T$ is analytic if and only if $T^*$ is Cowen-Douglas. When $T$ is analytic with Fredholm index $-1$, the algebra $\mathfrak{A}_T$ contains the compact operators, and any two such algebras are boundedly isomorphic if and only if they are similar.


title: Non-Equilibrium Charge Dynamics in Majorana-Josephson Devices

abstract: We investigate the impact of introducing Majorana bound states, formed by a proximitized semiconducting nanowire in the topological regime, into a current biased capacitive Josephson junction, thereby adding delocalized states below the superconducting gap. We find that this qualitatively changes the charge dynamics of the system, diminishing the role of Bloch oscillations and causing single-particle tunnelling effects to dominate. We fully characterize the resulting charge dynamics and the associated voltage and current signals. Our work reveals a rich landscape of behaviours in both the static and time-varying driving modes. This can be directly attributed to the presence of Majorana bound states, which serve as a pathway for charge transport and enable non-equilibrium excitations of the Majorana-Josephson device.


title: Reconciling Similar Sets of Data

abstract: In this work, we consider the problem of synchronizing two sets of data where the size of the symmetric difference between the sets is small and, in addition, the elements in the symmetric difference are related through the Hamming distance metric. Upper and lower bounds are derived on the minimum amount of information exchange. Furthermore, explicit encoding and decoding algorithms are provided for many cases.


title: High Tc Hydrides: Interplay of Optical and Acoustic Modes and Comments Regarding the Upper Limit of Tc

abstract: Phonon spectrum of many superconducting compounds and, especially, high Tc hydrides, is broad and rather complicated ,because of presence of high frequency optical modes. In order to analyze an interplay of optical and acoustic phonon branches,it is convenient to introduce two coupling constants, {\lambda}opt. and {\lambda}ac., along with to characteristic frequencies. The correlation between the value of Tc with this interplay is demonstrated for the family of tantal hydrides (TaH2/ TaH4/ TaH6). The problem of upper limit of Tc is discussed. The phenomenon of room temperature superconductivity can be provided by the electron-phonon interaction and described by the strong coupling theory.


title: Do-It-Yourself Single Camera 3D Pointer Input Device

abstract: We present a new algorithm for single camera 3D reconstruction, or 3D input for human-computer interfaces, based on precise tracking of an elongated object, such as a pen, having a pattern of colored bands. To configure the system, the user provides no more than one labelled image of a handmade pointer, measurements of its colored bands, and the camera's pinhole projection matrix. Other systems are of much higher cost and complexity, requiring combinations of multiple cameras, stereocameras, and pointers with sensors and lights. Instead of relying on information from multiple devices, we examine our single view more closely, integrating geometric and appearance constraints to robustly track the pointer in the presence of occlusion and distractor objects. By probing objects of known geometry with the pointer, we demonstrate acceptable accuracy of 3D localization.


title: Distilled Wasserstein Learning for Word Embedding and Topic Modeling

abstract: We propose a novel Wasserstein method with a distillation mechanism, yielding joint learning of word embeddings and topics. The proposed method is based on the fact that the Euclidean distance between word embeddings may be employed as the underlying distance in the Wasserstein topic model. The word distributions of topics, their optimal transports to the word distributions of documents, and the embeddings of words are learned in a unified framework. When learning the topic model, we leverage a distilled underlying distance matrix to update the topic distributions and smoothly calculate the corresponding optimal transports. Such a strategy provides the updating of word embeddings with robust guidance, improving the algorithmic convergence. As an application, we focus on patient admission records, in which the proposed method embeds the codes of diseases and procedures and learns the topics of admissions, obtaining superior performance on clinically-meaningful disease network construction, mortality prediction as a function of admission codes, and procedure recommendation.


title: MiTMoJCo: Microscopic Tunneling Model for Josephson Contacts

abstract: MiTMoJCo (Microscopic Tunneling Model for Josephson Contacts) is C code which aims to assist modeling of superconducting Josephson contacts based on the microscopic tunneling theory. The code offers implementation of a computationally demanding part of this calculation, that is evaluation of superconducting pair and quasiparticle tunnel currents from the given tunnel current amplitudes (TCAs) which characterize the junction material. MiTMoJCo comes with a library of pre-calculated TCAs for frequently used Nb-AlOx-Nb and Nb-AlN-NbN junctions, a Python module for developing custom TCAs, supplementary optimum filtration module for extraction of a constant component of a sinusoidal signal and examples of modeling few common cases of superconducting Josephson contacts.


title: Self-energy embedding theory (SEET) for periodic systems

abstract: We present an implementation of the self-energy embedding theory (SEET) for periodic systems and provide a fully self-consistent embedding solution for a simple realistic periodic problem - 1D crystalline hydrogen - that displays many of the features present in complex real materials. For this system, we observe a remarkable agreement between our finite temperature periodic implementation results and well established and accurate zero temperature auxiliary quantum Monte Carlo data extrapolated to thermodynamic limit. We discuss differences and similarities with other Green's function embedding methods and provide the detailed algorithmic steps crucial for highly accurate and reproducible results.


title: Semantically Enhanced Models for Commonsense Knowledge Acquisition

abstract: Commonsense knowledge is paramount to enable intelligent systems. Typically, it is characterized as being implicit and ambiguous, hindering thereby the automation of its acquisition. To address these challenges, this paper presents semantically enhanced models to enable reasoning through resolving part of commonsense ambiguity. The proposed models enhance in a knowledge graph embedding (KGE) framework for knowledge base completion. Experimental results show the effectiveness of the new semantic models in commonsense reasoning.


title: Evaluation of Semantic Metadata Pair Modelling Using Data Clustering

abstract: Metadata presents a medium for connection, elaboration, examination, and comprehension of relativity between two datasets. Metadata can be enriched to calculate the existence of a connection between different disintegrated datasets. In order to do so, the very first task is to attain a generic metadata representation for domains. This representation narrows down the metadata search space. The metadata search space consists of attributes, tags, semantic content, annotations etc. to perform classification. The existing technologies limit the metadata bandwidth i.e. the operation set for matching purposes is restricted or limited. This research focuses on generating a mapper function called cognate that can find mathematical relevance based on pairs of attributes between disintegrated datasets. Each pair is designed from one of the datasets under consideration using the existing metadata and available meta-tags. After pairs have been generated, samples are constructed using a different combination of pairs. The similarity and relevance between two or more pairs are attained by using a data clustering technique to generate large groups from smaller groups based on similarity index. The search space is divided using a domain divider function and smaller search spaces are created using relativity and tagging as the main concept. For this research, the initial datasets have been limited to textual information. Once all disjoint meta-collection have been generated the approximation algorithm calculates the centers of each meta-set. These centers serve the purpose of meta-pointers i.e. a collection of meta-domain representations. Each pointer can then join a cluster based on the content i.e. meta-content. It also facilitates the process of possible synonyms across cross-functional domains. This can be examined using meta-pointers and graph pools.


title: Random walks with local memory

abstract: We prove a quenched invariance principle for a class of random walks in random environment on $\mathbb{Z}^d$, where the walker alters its own environment. The environment consists of an outgoing edge from each vertex. The walker updates the edge $e$ at its current location to a new random edge $e'$ (whose law depends on $e$) and then steps to the other endpoint of $e'$. We show that a native environment for these walks (i.e., an environment that is stationary in time from the perspective of the walker) consists of the wired uniform spanning forest oriented toward the walker, plus an independent outgoing edge from the walker.


title: Linear Algebra and Duality of Neural Networks

abstract: Bases, mappings, projections and metrics, natural for Neural network training, are introduced. Graph-theoretical interpretation is offered. Non-Gaussianity naturally emerges, even in relatively simple datasets. Training statistics, hierarchies and energies are analyzed, from physics point of view. Duality between observables (for example, pixels) and observations is established. Relationship between exact and numerical solutions is studied. Physics and financial mathematics interpretations of a key problem are offered. Examples support all new concepts.


title: Lifting PIE limits with strict projections

abstract: We give a unified direct proof of the lifting of PIE limits to the 2-category of algebras and (pseudo) morphisms, which specifies precisely which of the projections of the lifted limit are strict and detect strictness. In the literature, these limits were lifted one by one, so as to keep track of these projections in each case. We work in the more general context of weak algebra morphisms, so as to include lax morphisms as well. PIE limits are also all simultaneously lifted in this case, provided some specified arrows of the diagram are pseudo morphisms. Again, this unifies the previously known lifting of many particular PIE limits, which were also treated separately.


title: Hubble Space Telescope Observations of 3200 Phaethon At Closest Approach

abstract: We present Hubble Space Telescope observations of the active asteroid (and Geminid stream parent) 3200 Phaethon when at its closest approach to Earth (separation 0.07 AU) in 2017 December. Images were recorded within $\sim$1\degr~of the orbital plane, providing extra sensitivity to low surface brightness caused by scattering from a large-particle trail. We placed an upper limit to the apparent surface brightness of such a trail at 27.2 magnitudes arcsecond$^{-2}$, corresponding to an in-plane optical depth $\le 3\times10^{-9}$. No co-moving sources brighter than absolute magnitude 26.3, corresponding to circular equivalent radius $\sim$12 m (albedo 0.12 assumed), were detected. Phaethon is too hot for near-surface ice to survive. We briefly consider the thermodynamic stability of deeply-buried ice, finding that its survival would require either a very small (regolith-like) thermal diffusivity ($< 10^{-8}$ m$^2$ s$^{-1}$), or the unexpectedly recent injection of Phaethon (timescale $\lesssim$ 10$^6$ yr) into its present orbit, or both.


title: Calabi-Yau generalized complete intersections and aspects of cohomology of sheaves

abstract: We consider generalized complete intersection manifolds in the product space of projective spaces, and work out useful aspects pertaining to the cohomology of sheaves over them. First, we present and prove a vanishing theorem on the cohomology groups of sheaves for subvarieties of the ambient product space of projective spaces. We then prove an equivalence between configuration matrices of complete intersection Calabi-Yau manifolds. We also present a formula of the genus of curves in generalized complete intersection manifolds. Some of these curves arise as the fixed point locus of certain symmetry group action on the generalized complete intersection Calabi-Yau manifolds. We also make a blowing-up along the curves, by which one can generate new Calabi-Yau manifolds. Moreover, an approach on spectral sequences is used to compute Hodge numbers of generalized complete intersection Calabi-Yau manifolds and the genus of curves therein.


title: Spacetime near Kerr isolated horizon

abstract: The theory of isolated horizon provides a quasi-local framework to study the spacetime geometry in the neighbourhood of the horizon of a black hole in equilibrium without any reference to structures far away from the horizon. While the geometric properties of the Kerr-(A)dS and more general algebraically special solutions have drawn substantial interest recently in the isolated horizon formalism, their horizon metrics have never been written down explicitly in the adapted Bondi-like coordinate system. Following the approach by Krishnan and assuming that the horizon symmetry extends to certain order in the bulk, we present in this note a general method to compute the metric functions order by order radially in Bondi-like coordinates in 4-dimensions from a small set of intrinsic data -- the connection and the Newman-Penrose spin coefficient $\pi$ specified on the horizon cross-section. Applying this general method, we then present the horizon metric of non-extremal Kerr-dS in Bondi-like coordinates. For the pure Kerr case without a cosmological constant, we also show explicitly the metric functions to the first order.


title: Towards the linear arboricity conjecture

abstract: The linear arboricity of a graph $G$, denoted by $\text{la}(G)$, is the minimum number of edge-disjoint linear forests (i.e. forests in which every connected component is a path) in $G$ whose union covers all the edges of $G$. A famous conjecture due to Akiyama, Exoo, and Harary from 1980 asserts that $\text{la}(G)\leq \lceil (\Delta(G)+1)/2 \rceil$, where $\Delta(G)$ denotes the maximum degree of $G$. This conjectured upper bound would be best possible, as is easily seen by taking $G$ to be a regular graph. In this paper, we show that for every graph $G$, $\text{la}(G)\leq \frac{\Delta}{2}+O(\Delta^{2/3-\alpha})$ for some $\alpha > 0$, thereby improving the previously best known bound due to Alon and Spencer from 1992. For graphs which are sufficiently good spectral expanders, we give even better bounds. Our proofs of these results further give probabilistic polynomial time algorithms for finding such decompositions into linear forests.


title: Latency Reduction for Mobile Edge Computing in HetNets by Uplink and Downlink Decoupled Access

abstract: Achieving an end-to-end low-latency for computations offloading, in Mobile Edge Computing (MEC) systems, is still a critical design problem. This is because the offloading of computational tasks via the MEC servers entails the use of uplink (UL) and downlink (DL) radio links that are usually assumed to be coupled to a single base station (BS). However, for heterogeneous networks, a new architectural paradigm whereby UL and DL are not associated with the same BS is proposed and seen to provide gains in network throughput due to the improved UL performance. Motivated by such gains, and by using typical results from stochastic geometry, we formulate the offloading latency for the MEC-based scheme with decoupled UL/DL association, or decoupled access, and compare its performance to the conventional coupled access scheme. Despite the backhaul delay necessary for the communication between the two serving BSs in UL and DL, the offloading scheme with decoupled access is still capable of providing a fairly lower offloading latency compared to the conventional offloading scheme with coupled access.


title: Singularity of random symmetric matrices -- a combinatorial approach to improved bounds

abstract: Let $M_n$ denote a random symmetric $n \times n$ matrix whose upper diagonal entries are independent and identically distributed Bernoulli random variables (which take values $1$ and $-1$ with probability $1/2$ each). It is widely conjectured that $M_n$ is singular with probability at most $(2+o(1))^{-n}$. On the other hand, the best known upper bound on the singularity probability of $M_n$, due to Vershynin (2011), is $2^{-n^c}$, for some unspecified small constant $c > 0$. This improves on a polynomial singularity bound due to Costello, Tao, and Vu (2005), and a bound of Nguyen (2011) showing that the singularity probability decays faster than any polynomial. In this paper, improving on all previous results, we show that the probability of singularity of $M_n$ is at most $2^{-n^{1/4}\sqrt{\log{n}}/1000}$ for all sufficiently large $n$. The proof utilizes and extends a novel combinatorial approach to discrete random matrix theory, which has been recently introduced by the authors together with Luh and Samotij.


title: Exponential tail estimates in the Law of Ordinary Logarithm (LOL) for arrays of random variables

abstract: We derive exponential bounds for tail of distribution for natural, i.e. under ordinary logarithm, normalized sums of arrays of random variables, not necessarily independent.


title: Sim-to-Real Transfer Learning using Robustified Controllers in Robotic Tasks involving Complex Dynamics

abstract: Learning robot tasks or controllers using deep reinforcement learning has been proven effective in simulations. Learning in simulation has several advantages. For example, one can fully control the simulated environment, including halting motions while performing computations. Another advantage when robots are involved, is that the amount of time a robot is occupied learning a task---rather than being productive---can be reduced by transferring the learned task to the real robot. Transfer learning requires some amount of fine-tuning on the real robot. For tasks which involve complex (non-linear) dynamics, the fine-tuning itself may take a substantial amount of time. In order to reduce the amount of fine-tuning we propose to learn robustified controllers in simulation. Robustified controllers are learned by exploiting the ability to change simulation parameters (both appearance and dynamics) for successive training episodes. An additional benefit for this approach is that it alleviates the precise determination of physics parameters for the simulator, which is a non-trivial task. We demonstrate our proposed approach on a real setup in which a robot aims to solve a maze game, which involves complex dynamics due to static friction and potentially large accelerations. We show that the amount of fine-tuning in transfer learning for a robustified controller is substantially reduced compared to a non-robustified controller.


title: Perspective from the Literature on the Role of Expert Judgment in Scientific and Statistical Research and Practice

abstract: This article, produced as a result of the Symposium on Statistical Inference, is an introduction to the literature on the function of expertise, judgment, and choice in the practice of statistics and scientific research. In particular, expert judgment plays a critical role in conducting Frequentist hypothesis tests and Bayesian models, especially in selection of appropriate prior distributions for model parameters. The subtlety of interpreting results is also discussed. Finally, external recommendations are collected for how to more effectively encourage proper use of judgment in statistics. The paper synthesizes the literature for the purpose of creating a single reference and inciting more productive discussions on how to improve the future of statistics and science.


title: Observation of topological edge modes in a quasi-periodic acoustic waveguide

abstract: Topological boundary and interface modes are generated in an acoustic waveguide by simple quasi-periodic patternings of the walls. The procedure opens many topological gaps in the resonant spectrum and qualitative as well as quantitative assessments of their topological character are supplied. In particular, computations of the bulk invariant for the continuum wave equation are performed. The experimental measurements reproduce the theoretical predictions with high fidelity. In particular, acoustic modes with high Q-factors localized in the middle of a breathable waveguide are engineered by a simple patterning of the walls.


title: Quotients of even rings

abstract: We prove that if $R$ is an $\mathbb{E}_2$-ring with homotopy concentrated in even degrees, and $\{x_j\}$ is any sequence of elements in $\pi_{2*}(R)$, then $R/(x_1,x_2,\cdots)$ admits the structure of an $\mathbb{E}_1$-$R$-algebra. This removes an assumption, common in the literature, that $\{x_j\}$ be a regular sequence.


title: Inflationary Cosmology via Quantum Corrections in M-theory

abstract: We investigate inflationary cosmology by solving the effective action of the M-theory, which consists of the 11 dimensional supergravity and quartic terms of the Weyl tensor. The metric is simply expressed by two scale factors, one for the spatial directions and the other for the internal directions. Since the effective action of the M-theory is constructed perturbatively, we also solve the equations of motion perturbatively. We will show that the classical solution of the 11 dimensional supergravity does not represent the inflationary expansion, but if we include the quantum corrections, the behavior of the solution around the very early time is modified and the inflationary scenario is realized. The inflation naturally ends when the scalar curvature becomes small and quartic terms of the Weyl tensor are negligible.


title: Local measurement uncertainties impose a limit on non-local quantum correlations

abstract: In quantum mechanics, joint measurements of non-commuting observables are only possible if a minimal unavoidable measurement uncertainty is accepted. On the other hand, correlations between non-commuting observables can exceed classical limits, as demonstrated by the violation of Bell's inequalities. Here, the relation between the uncertainty limited statistics of joint measurements and the limits on expectation values of possible input states is analyzed. It is shown that the experimentally observable statistics of joint measurements explain the uncertainty limits of local states, but result in less restrictive bounds when applied to identify the limits of non-local correlations between two separate quantum systems. A tight upper bound is obtained for the four correlations that appear in the violation of Bell's inequalities and the statistics of pure states saturating the bound is characterized. The results indicate that the limitations of quantum non-locality are a necessary consequence of the local features of joint measurements, suggesting the possibility that quantum non-locality could be explained in terms of the local characteristics of quantum statistics.


title: The Paulsen Problem Made Simple

abstract: The Paulsen problem is a basic problem in operator theory that was resolved in a recent tour-de-force work of Kwok, Lau, Lee and Ramachandran. In particular, they showed that every $\epsilon$-nearly equal norm Parseval frame in $d$ dimensions is within squared distance $O(\epsilon d^{13/2})$ of an equal norm Parseval frame. We give a dramatically simpler proof based on the notion of radial isotropic position, and along the way show an improved bound of $O(\epsilon d^2)$.


title: Text-based Passwords Generated From Topological Graphic Passwords

abstract: Topological graphic passwords (Topsnut-gpws) are one of graph-type passwords, but differ from the existing graphical passwords, since Topsnut-gpws are saved in computer by algebraic matrices. We focus on the transformation between text-based passwords (TB-paws) and Topsnut-gpws in this article. Several methods for generating TB-paws from Topsnut-gpws are introduced; these methods are based on topological structures and graph coloring/labellings, such that authentications must have two steps: one is topological structure authentication, and another is text-based authentication. Four basic topological structure authentications are introduced and many text-based authentications follow Topsnut-gpws. Our methods are based on algebraic, number theory and graph theory, many of them can be transformed into polynomial algorithms. A new type of matrices for describing Topsnut-gpws is created here, and such matrices can produce TB-paws in complex forms and longer bytes. Estimating the space of TB-paws made by Topsnut-gpws is very important for application. We propose to encrypt dynamic networks and try to face: (1) thousands of nodes and links of dynamic networks; (2) large numbers of Topsnut-gpws generated by machines rather than human's hands. As a try, we apply spanning trees of dynamic networks and graphic groups (Topsnut-groups) to approximate the solutions of these two problems. We present some unknown problems in the end of the article for further research.


title: Superstatistics and the effective QCD phase diagram

abstract: We study the effect of a partially thermalized scenario for chiral symmetry restoration at finite temperature and quark chemical potential, and in particular for the position of the critical end point in an effective description of the QCD phase diagram. We show that these effects produce the critical end point to be displaced towards larger values of temperature and lower values of the quark chemical potential as compared to the case when the system can be regarded as completely thermalized. We conclude that these effects may be important for relativistic heavy ion collisions where the number of subsystems making the whole interaction volume can be linked to the finite number of participants in the reaction.


title: A Less Biased Evaluation of Out-of-distribution Sample Detectors

abstract: In the real world, a learning system could receive an input that is unlike anything it has seen during training. Unfortunately, out-of-distribution samples can lead to unpredictable behaviour. We need to know whether any given input belongs to the population distribution of the training/evaluation data to prevent unpredictable behaviour in deployed systems. A recent surge of interest in this problem has led to the development of sophisticated techniques in the deep learning literature. However, due to the absence of a standard problem definition or an exhaustive evaluation, it is not evident if we can rely on these methods. What makes this problem different from a typical supervised learning setting is that the distribution of outliers used in training may not be the same as the distribution of outliers encountered in the application. Classical approaches that learn inliers vs. outliers with only two datasets can yield optimistic results. We introduce OD-test, a three-dataset evaluation scheme as a more reliable strategy to assess progress on this problem. We present an exhaustive evaluation of a broad set of methods from related areas on image classification tasks. Contrary to the existing results, we show that for realistic applications of high-dimensional images the previous techniques have low accuracy and are not reliable in practice.


title: Adapting Semantic Segmentation Models for Changes in Illumination and Camera Perspective

abstract: Semantic segmentation using deep neural networks has been widely explored to generate high-level contextual information for autonomous vehicles. To acquire a complete $180^\circ$ semantic understanding of the forward surroundings, we propose to stitch semantic images from multiple cameras with varying orientations. However, previously trained semantic segmentation models showed unacceptable performance after significant changes to the camera orientations and the lighting conditions. To avoid time-consuming hand labeling, we explore and evaluate the use of data augmentation techniques, specifically skew and gamma correction, from a practical real-world standpoint to extend the existing model and provide more robust performance. The presented experimental results have shown significant improvements with varying illumination and camera perspective changes.


title: Castelnuovo's bound and rigidity in almost complex geometry

abstract: This article is concerned with the question of whether an energy bound implies a genus bound for pseudo-holomorphic curves in almost complex manifolds. After reviewing what is known in dimensions other than 6, we establish a new result in this direction in dimension 6; in particular, for symplectic Calabi-Yau 6-manifolds. The proof relies on compactness and regularity theorems for J-holomorphic currents.


title: Blockchain-inspired Event Recording System for Autonomous Vehicles

abstract: Autonomous vehicles are capable of sensing their environment and navigating without any human inputs. However, when autonomous vehicles are involved in accidents between themselves or with human subjects, liability must be indubitably decided based on accident forensics. This paper proposes a blockchain-inspired event recording system for autonomous vehicles. Due to the inefficiency and limited usage of certain blockchain features designed for the traditional cryptocurrency applications, we design a new "proof of event" mechanism to achieve indisputable accident forensics by ensuring that event information is trustable and verifiable. Specifically, we propose a dynamic federation consensus scheme to verify and confirm the new block of event data in an efficient way without any central authority. The security capability of the proposed scheme is also analyzed against different threat and attack models.


title: PPtaxi: Non-stop Package Delivery via Multi-hop Ridesharing

abstract: City-wide package delivery becomes popular due to the dramatic rise of online shopping. It places a tremendous burden on the traditional logistics industry, which relies on dedicated couriers and is labor-intensive. Leveraging the ridesharing systems is a promising alternative, yet existing solutions are limited to one-hop ridesharing or need consignment warehouses as relays. In this paper, we propose a new package delivery scheme which takes advantage of multi-hop ridesharing and is entirely consignment free. Specifically, a package is assigned to a taxi which is guided to deliver the package all along to its destination while transporting successive passengers. We tackle it with a two-phase solution, named \textbf{PPtaxi}. In the first phase, we use the Multivariate Gauss distribution and Bayesian inference to predict the passenger orders. In the second phase, both the computation efficiency and solution effectiveness are considered to plan package delivery routes. We evaluate \textbf{PPtaxi} with a real-world dataset from an online taxi-taking platform and compare it with multiple benchmarks. The results show that the successful delivery rate of packages with our solution can reach $95\%$ on average during the daytime, and is at most $46.9\%$ higher than those of the benchmarks.


title: DispSegNet: Leveraging Semantics for End-to-End Learning of Disparity Estimation from Stereo Imagery

abstract: Recent work has shown that convolutional neural networks (CNNs) can be applied successfully in disparity estimation, but these methods still suffer from errors in regions of low-texture, occlusions and reflections. Concurrently, deep learning for semantic segmentation has shown great progress in recent years. In this paper, we design a CNN architecture that combines these two tasks to improve the quality and accuracy of disparity estimation with the help of semantic segmentation. Specifically, we propose a network structure in which these two tasks are highly coupled. One key novelty of this approach is the two-stage refinement process. Initial disparity estimates are refined with an embedding learned from the semantic segmentation branch of the network. The proposed model is trained using an unsupervised approach, in which images from one half of the stereo pair are warped and compared against images from the other camera. Another key advantage of the proposed approach is that a single network is capable of outputting disparity estimates and semantic labels. These outputs are of great use in autonomous vehicle operation; with real-time constraints being key, such performance improvements increase the viability of driving applications. Experiments on KITTI and Cityscapes datasets show that our model can achieve state-of-the-art results and that leveraging embedding learned from semantic segmentation improves the performance of disparity estimation.


title: Anisotropic hybridization in a new Kondo lattice compound CeCoInGa$_3$

abstract: We report a detailed and comparative study of the single crystal CeCoInGa$_3$ in both experiment and theory. Resistivity measurements reveal the typical behavior of Kondo lattice with the onset temperature of coherence, $T^*\approx 50\,$K. The magnetic specific heat can be well fitted using a spin-fluctuation model at low temperatures, yielding a large Sommerfeld coefficient, $\gamma\approx172\,$mJ/mol K$^2$ at 6 K, suggesting that this is a heavy-fermion compound with a pronounced coherence effect. The magnetic susceptibility exhibits a broad field-independent peak at $T_{\chi}$ and shows an obvious anisotropy within the $bc$ plane, reflecting the anisotropy of the coherence effect at high temperatures. These are compared with strongly correlated calculations combining first-principles band structure calculations and dynamical mean-field theory. Our results confirm the onset of coherence at about 50 K and reveal a similar anisotropy in the hybridization gap, pointing to a close connection between the hybridization strength of the low-temperature Fermi-liquid state and the high-temperature coherence effect.


title: Spin Susceptibility, Upper Critical Field and Disorder Effect in $j=\frac{3}{2}$ Superconductors with Singlet-Quintet Mixing

abstract: Recently, a new pairing state with the mixing between s-wave singlet channel and isotropic d-wave quintet channel induced by centrosymmetric spin-orbit coupling has been theoretically proposed in the superconducting materials with $j=\frac{3}{2}$ electrons. In this work, we derive the expressions of the zero-temperature spin susceptibility, the upper critical field close to the zero-field critical temperature $T_c$ and the critical temperature with weak random non-magnetic disorders for the singlet-quintet mixed state based on the Luttinger model. Our study revealed the following features of the singlet-quintet mixing. (1) The zero-temperature spin susceptibility remains zero for the singlet-quintet mixed state if only the centrosymmetric spin-orbit coupling is taken into account, and will deviate from zero when the non-centrosymmetric spin-orbit coupling is introduced. (2) The singlet-quintet mixing can help enhance the upper critical field roughly because it can increase $T_c$. (3) Although the quintet channel is generally suppressed by the non-magnetic disorder scattering, we find the strong mixing between singlet and quintet channels can help to stabilize the quintet channel. As a result, we still find a sizable quintet component mixed into the singlet channel in the presence of weak random non-magnetic disorders. Our work provides the guidance for future experiments on spin susceptibility and upper critical field of the singlet-quintet mixed superconducting states, and illustrates the stability of the singlet-quintet mixing against the weak random non-magnetic disorder.


title: Fairness-aware Classification: Criterion, Convexity, and Bounds

abstract: Fairness-aware classification is receiving increasing attention in the machine learning fields. Recently research proposes to formulate the fairness-aware classification as constrained optimization problems. However, several limitations exist in previous works due to the lack of a theoretical framework for guiding the formulation. In this paper, we propose a general framework for learning fair classifiers which addresses previous limitations. The framework formulates various commonly-used fairness metrics as convex constraints that can be directly incorporated into classic classification models. Within the framework, we propose a constraint-free criterion on the training data which ensures that any classifier learned from the data is fair. We also derive the constraints which ensure that the real fairness metric is satisfied when surrogate functions are used to achieve convexity. Our framework can be used to for formulating fairness-aware classification with fairness guarantee and computational efficiency. The experiments using real-world datasets demonstrate our theoretical results and show the effectiveness of proposed framework and methods.


title: Variable Absorption Line in XTE J1810-197

abstract: We report the results of a long-term spectral and timing study of the first transient magnetar, XTE J1810-197 which was discovered in 2003 when its X-ray luminosity increased 100 fold. We fit X-ray spectra of all archival X-ray observations using a two-component blackbody model, where the cool component is most likely originating from the whole surface of the neutron star and the hot component is from a much smaller hot spot. We investigate the long-term evolution of the surface emission characteristics via tracing its surface temperature, apparent emitting area and the pulsed fraction. We evaluate the pulsed fraction in two energy intervals (<1.5 keV and >1.5 keV) and show that the XTE J1810-197 exhibits slightly higher pulsed emission at energies above 1.5 keV. We explore the characteristics of an absorption line detected around 1.1 keV. We find that the absorption feature is highly variable and its profile is asymmetric. To accurately represent this feature, we introduced an asymmetric Gaussian profile and quantified the level of asymmetry of the absorption feature.


title: SafeCity: Understanding Diverse Forms of Sexual Harassment Personal Stories

abstract: With the recent rise of #MeToo, an increasing number of personal stories about sexual harassment and sexual abuse have been shared online. In order to push forward the fight against such harassment and abuse, we present the task of automatically categorizing and analyzing various forms of sexual harassment, based on stories shared on the online forum SafeCity. For the labels of groping, ogling, and commenting, our single-label CNN-RNN model achieves an accuracy of 86.5%, and our multi-label model achieves a Hamming score of 82.5%. Furthermore, we present analysis using LIME, first-derivative saliency heatmaps, activation clustering, and embedding visualization to interpret neural model predictions and demonstrate how this extracts features that can help automatically fill out incident reports, identify unsafe areas, avoid unsafe practices, and 'pin the creeps'.


title: Spin Model for Nontrivial Magnetic Orders in the Inverse-Perovskite Antiferromagnets

abstract: Nontrivial magnetic orders in the inverse-perovskite manganese nitrides are theoretically studied by constructing a classical spin model describing the magnetic anisotropy and frustrated exchange interactions inherent in specific crystal and electronic structures of these materials. With a replica-exchange Monte-Carlo technique, a theoretical analysis of this model reproduces the experimentally observed triangular \Gamma^{5g} and \Gamma^{4g} spin ordered patterns and the systematic evolution of magnetic orders. Our work solves a 40-year-old problem of nontrivial magnetism for the inverse-perovskite manganese nitrides and provides a firm basis for clarifying the magnetism-driven negative thermal expansion phenomenon discovered in this class of materials.


title: Adversarial Feature Sampling Learning for Efficient Visual Tracking

abstract: The tracking-by-detection framework usually consist of two stages: drawing samples around the target object in the first stage and classifying each sample as the target object or background in the second stage. Current popular trackers based on tracking-by-detection framework typically draw samples in the raw image as the inputs of deep convolution networks in the first stage, which usually results in high computational burden and low running speed. In this paper, we propose a new visual tracking method using sampling deep convolutional features to address this problem. Only one cropped image around the target object is input into the designed deep convolution network and the samples is sampled on the feature maps of the network by spatial bilinear resampling. In addition, a generative adversarial network is integrated into our network framework to augment positive samples and improve the tracking performance. Extensive experiments on benchmark datasets demonstrate that the proposed method achieves a comparable performance to state-of-the-art trackers and accelerates tracking-by-detection trackers based on raw-image samples effectively.


title: sl(3) Khovanov module and the detection of the planar theta-graph

abstract: We introduce two invariants called sl(3) Khovanov module and pointed sl(3) Khovanov homology for spatial webs (bipartite trivalent graphs). Those invariants are related to Kronheimer-Mrowka's instanton invariants $J^\sharp$ and $I^\sharp$ for spatial webs by two spectral sequences. As an application of the spectral sequences, we prove that sl(3) Khovanov module and pointed sl(3) Khovanov homology both detect the planar theta graph.


title: Inverses of generators of integrated fractional resolvent operator functions

abstract: This paper is devoted to the inverse generator problem in the setting of generators of integrated resolvent operator functions. It is shown that if the operator $A$ is the generator of a tempered $\beta$-times integrated $\alpha$-resolvent operator function ($(\alpha,\beta)$-ROF) and it is injective, then the inverse operator $A^{-1}$ is the generator of a tempered $(\alpha,\gamma)$-ROF for all $\gamma > \beta+1/2,$ by means of an explicit representation of the integrated resolvent operator function based in Bessel functions of first kind. Analytic resolvent operator functions are also considered, showing that $A^{-1}$ is in addition the generator of a tempered $(\delta,0)$-ROF for all $\delta<\alpha.$ Moreover, the optimal decay rate of $(\alpha,\beta)$-ROFs as $t\to \infty$ is given. These result are applied to fractional Cauchy problem unsolved in the fractional derivative.


title: Heating of Milky Way disc Stars by Dark Matter Fluctuations in Cold Dark Matter and Fuzzy Dark Matter Paradigms

abstract: Although highly successful on cosmological scales, Cold Dark Matter (CDM) models predict unobserved over-dense `cusps' in dwarf galaxies and overestimate their formation rate. We consider an ultra-light axion-like scalar boson which promises to reduce these observational discrepancies at galactic scales. The model, known as Fuzzy Dark Matter (FDM), avoids cusps, suppresses small-scale power, and delays galaxy formation via macroscopic quantum pressure. We compare the substructure and density fluctuations of galactic dark matter haloes comprised of ultra-light axions to conventional CDM results. Besides self-gravitating subhaloes, FDM includes non-virialized over-dense wavelets formed by quantum interference patterns which are an efficient source of heating to galactic discs. We find that, in the solar neighborhood, wavelet heating is sufficient to give the oldest disc stars a velocity dispersion of $\sim 30 \: \mathrm{km} \: \mathrm{s}^{-1}$ within a Hubble time if energy is not lost from the disc, the velocity dispersion increasing with stellar age as $\sigma_D \propto t^{0.4}$ in agreement with observations. Furthermore, we calculate the radius-dependent velocity dispersion and corresponding scale height caused by the heating of this dynamical substructure in both CDM and FDM with the determination that these effects will produce a flaring that terminates the Milky Way disc at $15 - 20 \: \mathrm{kpc}$. Although the source of thickened discs is not known, the heating due to perturbations caused by dark substructure cannot exceed the total disc velocity dispersion. Therefore, this work provides a lower bound on the FDM particle mass of $m_a > 0.6 \times 10^{-22} \mathrm{eV}$. Furthermore, FDM wavelets with this particle mass should be considered a viable mechanism for producing the observed disc thickening with time.


title: A Coded Compressed Sensing Scheme for Uncoordinated Multiple Access

abstract: This article introduces a novel communication scheme, termed coded compressed sensing, for unsourced multiple-access communication. The proposed divide-and-conquer approach leverages recent advances in compressed sensing and forward error correction to produce a novel uncoordinated access paradigm, along with a computationally efficient decoding algorithm. Within this framework, every active device partitions its data into several sub-blocks and, subsequently, adds redundancy using a systematic linear block code. Compressed sensing techniques are then employed to recover sub-blocks up to a permutation of their order, and the original messages are obtained by stitching fragments together using a tree-based algorithm. The error probability and computational complexity of this access paradigm are characterized. An optimization framework, which exploits the tradeoff between performance and computational complexity, is developed to assign parity-check bits to each sub-block. In addition, two emblematic parity bit allocation strategies are examined and their performances are analyzed in the limit as the number of active users and their corresponding payloads tend to infinity. The number of channel uses needed and the computational complexity associated with these allocation strategies are established for various scaling regimes. Numerical results demonstrate that coded compressed sensing outperforms other existing practical access strategies over a range of operational scenarios.


title: On equivalence of the LKJ distribution and the restricted Wishart distribution

abstract: In this paper, we want to show the Restricted Wishart distribution is equivalent to the LKJ distribution, which is one way to specify a uniform distribution from the space of positive definite correlation matrices. Based on this theorem, we propose a new method to generate random correlation matrices from the LKJ distribution. This new method is faster than the original onion method for generating random matrices, especially in the low dimension ($T<120$) situation.


title: Geodesic Clustering in Deep Generative Models

abstract: Deep generative models are tremendously successful in learning low-dimensional latent representations that well-describe the data. These representations, however, tend to much distort relationships between points, i.e. pairwise distances tend to not reflect semantic similarities well. This renders unsupervised tasks, such as clustering, difficult when working with the latent representations. We demonstrate that taking the geometry of the generative model into account is sufficient to make simple clustering algorithms work well over latent representations. Leaning on the recent finding that deep generative models constitute stochastically immersed Riemannian manifolds, we propose an efficient algorithm for computing geodesics (shortest paths) and computing distances in the latent space, while taking its distortion into account. We further propose a new architecture for modeling uncertainty in variational autoencoders, which is essential for understanding the geometry of deep generative models. Experiments show that the geodesic distance is very likely to reflect the internal structure of the data.


title: Phonon-mediated thermal transport at exponentially mass-graded interfaces: A computational study

abstract: We numerically investigate thermal transport at solid-solid interfaces with graded intermediate layers whose masses vary exponentially from one side to the other. Using Non-Equilibrium Green's Function and Non-Equilibrium Molecular Dynamics simulations, we show that an exponentially mass-graded junction with a finite thickness can result in 68\% of enhancement in thermal conductance larger compared to a single bridging layer (29\%) and a linear mass-graded junction (64\%) of similar thickness. We examine how the thermal conductance at such interfaces is influenced by geometric qualities and strength of anharmonicity. For geometric properties, we tested the effects from number of layers and the junction thickness. In the absence of anharmonicity, increasing the number of layers results in better elastic phonon transmission at each individual boundary, countered by the decrease of available conducting channels. Consequently, in the harmonic regime, conductance initially increases with number of layers due to better bridging, but quickly saturates. The presence of slight anharmonic effects (at ultra-low temperature T = 2 K) turns the saturation into a monotonically increasing trend. Anharmonic effects can facilitate interfacial thermal transport through the thermalization of phonons. At high temperature, however, the role of anharmonicity as a facilitator of interfacial thermal transport reverses. Strong anharmonicity introduces significant intrinsic resistance, overruling the enhancement in thermal conduction at the boundaries. Our analysis shows that in our model Lennard-Jones system, the influence of a mass-graded junction on thermal conductance is dominated by the phonon thermalization through anharmonic effects, while elastic phonon transmission plays a secondary role.


title: Magnetic anisotropy of ferromagnetic metals in low-symmetry systems

abstract: We have constructed an analytic formula to treat the perpendicular magnetic anisotropy energy in ferromagnetic metals with low symmetry, such as C4V and C3V. We find that the anisotropy energy is proportional to a part of the expectation values of the orbital angular momentum and magnetic dipole operator. Although the result is similar to the model proposed by Laan [J. Phys.: Condens. Matter 10, 3239 (1998)], we have derived a concrete expression for the spin-flip virtual excitation process term, which can be dominant in atoms with small magnetic moments and/or small exchange splitting. Pt monatomic layer with proximity-induced spin polarization grown on Fe is an example of this. Other multilayer systems such as Co/Pd and Co/Ni and bilayer systems such as Fe(CoB)/MgO can be discussed similarly. Moreover, the relation between perpendicular magnetic anisotropy energy and measurable physical parameters is discussed based on X-ray magnetic circular dichroism spectroscopy.


title: Important descriptors and descriptor groups of Curie temperatures of rare-earth transition-metal binary alloys

abstract: We analyze Curie temperatures of rare-earth transition metal binary alloys with machine learning method. In order to select important descriptors and descriptor groups, we introduce newly developed subgroup relevance analysis and adopt the hierarchical clustering in the representation. We execute the exhaustive search and successfully illustrate the importance of descriptors and descriptor groups. We execute the exhaustive search and illustrate that our approach indeed leads to the successful selection of important descriptors and descriptor groups. It helps us to choose the combination of the descriptors and to understand the meaning of the selected combination of descriptors.


title: High-Throughput Calculations of Thermal Conductivity in Nanoporous Materials: The Case of Half-Heusler Compounds

abstract: Achieving low thermal conductivity and good electrical properties is a crucial condition for thermal energy harvesting materials. Nanostructuring offers a very powerful tool to address both requirements: in nanostructured materials, boundaries preferentially scatter phonons compared to electrons. The search for low-thermal-conductivity nanostructures is typically limited to materials with simple crystal structures, such as silicon, because of the complexity arising from modeling branch- and wave vector- dependent nanoscale heat transport. Using the phonon mean-free-path (MFP) dependent Boltzmann transport equation, a model that overcomes this limitation, we compute thermal transport in 75 nanoporous half-Heusler compounds for different pore sizes. We demonstrate that the optimization of thermal transport in nanostructures should take into account both bulk thermal properties and geometry-dependent phonon suppression, two aspects that are typically engineered separately. In fact, our work predicts that, given a set of bulk materials and a system geometry, the ordering of the thermal conductivity of the nanostructure does not necessarily align with that of the bulk: We show that what dictates thermal transport is the interplay between the bulk MFP distribution and the nanostructuring length scale of the material. Finally, we derive a thermal transport model that enables fast systems screening within large bulk material repositories and a given geometry. Our study motivates the need for a holistic approach to engineering thermal transport and provides a method for high-throughput materials discovery.


title: Spectroscopic Fingerprint of Chiral Majorana Modes at the Edge of a Quantum Anomalous Hall Insulator / Superconductor Heterostructure

abstract: With the recent discovery of the quantum anomalous Hall insulator (QAHI), which exhibits the conductive quantum Hall edge states without external magnetic field, it becomes possible to create a novel topological superconductor (SC) by introducing superconductivity into these edge states. In this case, two distinct topological superconducting phases with one or two chiral Majorana edge modes were theoretically predicted, characterized by Chern numbers (N ) of 1 and 2, respectively. We present spectroscopic evidence from Andreev reflection experiments for the presence of chiral Majorana modes in a Nb / (Cr0.12Bi0.26Sb0.62)2Te3 heterostructure with distinct signatures attributed to two different topological superconducting phases. The results are in qualitatively good agreement with the theoretical predictions.


title: The coronal volume of energetic particles in solar flares as revealed by microwave imaging

abstract: The spectrum of gyrosynchrotron emission from solar flares generally peaks in the microwave range. Its optically-thin, high-frequency component, above the spectral peak, is often used for diagnostics of the nonthermal electrons and the magnetic field in the radio source. Under favorable conditions, its low-frequency counterpart brings additional, complementary information about these parameters as well as thermal plasma diagnostics, either through gyrosynchrotron self-absorption, free-free absorption by the thermal plasma, or the suppression of emission through the so-called Razin effect. However, their effects on the low-frequency spectrum are often masked by spatial nonuniformity. To disentangle the various contributions to low-frequency gyrosynchrotron emission, a combination of spectral and imaging data is needed. To this end, we have investigated Owens Valley Solar Array (OVSA) multi-frequency images for 26 solar bursts observed jointly with Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI) during the first half of 2002. For each, we examined dynamic spectra, time- and frequency-synthesis maps, RHESSI images with overlaid OVSA contours, and a few representative single-frequency snapshot OVSA images. We focus on the frequency dependence of microwave source sizes derived from the OVSA images and their effect on the low-frequency microwave spectral slope. We succeed in categorizing 18 analyzed events into several groups. Four events demonstrate clear evidence of being dominated by gyrosynchrotron self-absorption, with an inferred brightness temperature of $\geq10^8$~K. The low-frequency spectra in the remaining events are affected to varying degree by Razin suppression. We find that many radio sources are rather large at low frequencies, which can have important implications for solar energetic particle production and escape.


title: $P$-wave contributions to $B\to\psi\pi\pi$ decays in perturbative QCD approach

abstract: We present the differential branching fractions for the $B\rightarrow \psi \pi\pi$ decays with the charmonia $\psi=J/\psi,\psi(2S)$ in the invariant mass of the $P$-wave pion pairs in the perturbative QCD approach. The two-pion distribution amplitudes (DAs) corresponding to both longitudinal and transverse polarizations are constructed to capture important final state interactions in the processes. The time-like form factors, normalizing the two-pion DAs, contains contributions from the $\rho$ resonance and radial excitations fitted to the BaBar data. Given the hadronic parameters for the two-pion DAs associated with the longitudinal polarization which were determined in our previous study, and tuning those associated with the transverse polarization, we accommodate well the observed branching ratios and polarization fractions of the $B\rightarrow J/\psi \pi\pi$ decays. Our predictions for the $B\rightarrow \psi(2S) \pi\pi$ modes from the same set of parameters can be tested in future LHCb and BelleII experiments. We also investigate the sources of theoretical uncertainties in our calculation.


title: Modulation in Tetradic Harmony and its Role in Jazz

abstract: After a quick exposition of Mazzola's quantum modulation model for the so-called triadic interpretation of the major scale within the equal temperament, we study the model for the tetradic interpretation of the same scale. It is known that tetrads are fundamental for jazz music, and some classical objects for this kind of music are recovered.


title: Strategies to Inject Spoofed Measurement Data

abstract: We study the problem of designing false measurement data that is injected to corrupt and mislead the output of a Kalman filter. Unlike existing works that focus on detection and filtering algorithms for the observer, we study the problem from the attacker's point-of-view. In our model, the attacker can corrupt the measurements by injecting additive spoofing signals. The attacker seeks to create a separation between the estimate of the Kalman filter with and without spoofed signals. We present a number of results on how to inject spoofing signals while minimizing the magnitude of the injected signals. The resulting strategies are evaluated through simulations along with theoretical proofs. We also evaluate the spoofing strategy in the presence of a $\chi^2$ spoof detector. The results show that the proposed strategy can successfully mislead a Kalman filter while ensuring it is not detected.


abstract: We present an efficient method for computing the ${\rm SL}(3,\mathbb{C})$-character varieties of two-generator groups.


title: Anomaly Detection with Generative Adversarial Networks for Multivariate Time Series

abstract: Today's Cyber-Physical Systems (CPSs) are large, complex, and affixed with networked sensors and actuators that are targets for cyber-attacks. Conventional detection techniques are unable to deal with the increasingly dynamic and complex nature of the CPSs. On the other hand, the networked sensors and actuators generate large amounts of data streams that can be continuously monitored for intrusion events. Unsupervised machine learning techniques can be used to model the system behaviour and classify deviant behaviours as possible attacks. In this work, we proposed a novel Generative Adversarial Networks-based Anomaly Detection (GAN-AD) method for such complex networked CPSs. We used LSTM-RNN in our GAN to capture the distribution of the multivariate time series of the sensors and actuators under normal working conditions of a CPS. Instead of treating each sensor's and actuator's time series independently, we model the time series of multiple sensors and actuators in the CPS concurrently to take into account of potential latent interactions between them. To exploit both the generator and the discriminator of our GAN, we deployed the GAN-trained discriminator together with the residuals between generator-reconstructed data and the actual samples to detect possible anomalies in the complex CPS. We used our GAN-AD to distinguish abnormal attacked situations from normal working conditions for a complex six-stage Secure Water Treatment (SWaT) system. Experimental results showed that the proposed strategy is effective in identifying anomalies caused by various attacks with high detection rate and low false positive rate as compared to existing methods.


title: Pseudo-turbulence in two-dimensional buoyancy driven bubbly flows: a DNS study

abstract: We present a direct numerical simulation (DNS) study of buoyancy driven bubbly flows in two-dimensions. We employ volume of fluid (VOF) method to track the bubble interface. To investigate spectral properties of the flow, we derive the scale-by-scale energy budget equation. We show that the Galilei number (Ga) controls different scaling regimes in the energy spectrum. For high Galilei numbers, we find the presence of an inverse energy cascade. Our study indicates that the density ratio of the bubble with the ambient fluid or the presence of coalescence between the bubbles does not alter the scaling behaviour.


title: A complete characterization of Radon planes whose unit spheres are regular polygons

abstract: We study the structure of the unit sphere of polygonal Radon planes from a geometric point of view. In particular, we prove that a $ 2 $-dimensional real polygonal Banach space $ \mathbb{X} $ cannot be a Radon plane if the number of vertices of its unit sphere is $ 4n, $ for some $ n \in \mathbb{N}. $ We next obtain a complete characterization of polygonal Radon planes in terms of a tractable geometric concept introduced in this article. It follows from our characterization that every regular polygon with $ 4n+2 $ vertices, where $ n \in \mathbb{N}, $ is the unit sphere of a Radon plane. We further give example of a family of Radon planes for which the unit spheres are hexagons, but not regular ones.


title: Hyperbolic Immersions of Free Groups

abstract: We prove that the mapping torus of a graph immersion has a word-hyperbolic fundamental group if and only if the corresponding endomorphism does not produce Baumslag-Solitar subgroups. Due to a result by Reynolds, this theorem applies to all injective endomorphisms of $F_2$ and nonsurjective fully irreducible endomorphisms of $F_n$. We also give a framework for extending the theorem to all injective endomorphisms of $F_n$.


title: Three-Dimensional Anisotropic Thermal Conductivity Tensor of Single Crystalline \b{eta}-Ga2O3

abstract: \b{eta}-Ga2O3 has attracted considerable interest in recent years for high power electronics, where thermal properties of \b{eta}-Ga2O3 play a critical role. The thermal conductivity of \b{eta}-Ga2O3 is expected to be three-dimensionally (3D) anisotropic due to the monoclinic lattice structure. In this work, the 3D anisotropic thermal conductivity tensor of a (010)-oriented \b{eta}-Ga2O3 single crystal was measured by using a novel time-domain thermoreflectance (TDTR) method with a highly elliptical pump beam. Our measured results suggest that at room temperature, the highest in-plane thermal conductivity is along a direction between [001] and [102], with a value of 13.3+/-1.8 W/mK, and the lowest in-plane thermal conductivity is close to the [100] direction, with a value of 9.5+/-1.8 W/mK. The through-plane thermal conductivity, which is along the [010] direction, has the highest value of 22+/-2.5 W/mK among all the directions. Temperature-dependent thermal conductivity of \b{eta}-Ga2O3 was also measured and compared with a modified Callaway model calculation to understand the temperature dependence and the role of impurity scattering.


title: Head Reconstruction from Internet Photos

abstract: 3D face reconstruction from Internet photos has recently produced exciting results. A person's face, e.g., Tom Hanks, can be modeled and animated in 3D from a completely uncalibrated photo collection. Most methods, however, focus solely on face area and mask out the rest of the head. This paper proposes that head modeling from the Internet is a problem we can solve. We target reconstruction of the rough shape of the head. Our method is to gradually "grow" the head mesh starting from the frontal face and extending to the rest of views using photometric stereo constraints. We call our method boundary-value growing algorithm. Results on photos of celebrities downloaded from the Internet are presented.


title: 3D Face Hallucination from a Single Depth Frame

abstract: We present an algorithm that takes a single frame of a person's face from a depth camera, e.g., Kinect, and produces a high-resolution 3D mesh of the input face. We leverage a dataset of 3D face meshes of 1204 distinct individuals ranging from age 3 to 40, captured in a neutral expression. We divide the input depth frame into semantically significant regions (eyes, nose, mouth, cheeks) and search the database for the best matching shape per region. We further combine the input depth frame with the matched database shapes into a single mesh that results in a high-resolution shape of the input person. Our system is fully automatic and uses only depth data for matching, making it invariant to imaging conditions. We evaluate our results using ground truth shapes, as well as compare to state-of-the-art shape estimation methods. We demonstrate the robustness of our local matching approach with high-quality reconstruction of faces that fall outside of the dataset span, e.g., faces older than 40 years old, facial expressions, and different ethnicities.


title: Video to Fully Automatic 3D Hair Model

abstract: Imagine taking a selfie video with your mobile phone and getting as output a 3D model of your head (face and 3D hair strands) that can be later used in VR, AR, and any other domain. State of the art hair reconstruction methods allow either a single photo (thus compromising 3D quality) or multiple views, but they require manual user interaction (manual hair segmentation and capture of fixed camera views that span full 360 degree). In this paper, we describe a system that can completely automatically create a reconstruction from any video (even a selfie video), and we don't require specific views, since taking your -90 degree, 90 degree, and full back views is not feasible in a selfie capture. In the core of our system, in addition to the automatization components, hair strands are estimated and deformed in 3D (rather than 2D as in state of the art) thus enabling superior results. We provide qualitative, quantitative, and Mechanical Turk human studies that support the proposed system, and show results on a diverse variety of videos (8 different celebrity videos, 9 selfie mobile videos, spanning age, gender, hair length, type, and styling).


title: Real-Time Joint Semantic Segmentation and Depth Estimation Using Asymmetric Annotations

abstract: Deployment of deep learning models in robotics as sensory information extractors can be a daunting task to handle, even using generic GPU cards. Here, we address three of its most prominent hurdles, namely, i) the adaptation of a single model to perform multiple tasks at once (in this work, we consider depth estimation and semantic segmentation crucial for acquiring geometric and semantic understanding of the scene), while ii) doing it in real-time, and iii) using asymmetric datasets with uneven numbers of annotations per each modality. To overcome the first two issues, we adapt a recently proposed real-time semantic segmentation network, making changes to further reduce the number of floating point operations. To approach the third issue, we embrace a simple solution based on hard knowledge distillation under the assumption of having access to a powerful `teacher' network. We showcase how our system can be easily extended to handle more tasks, and more datasets, all at once, performing depth estimation and segmentation both indoors and outdoors with a single model. Quantitatively, we achieve results equivalent to (or better than) current state-of-the-art approaches with one forward pass costing just 13ms and 6.5 GFLOPs on 640x480 inputs. This efficiency allows us to directly incorporate the raw predictions of our network into the SemanticFusion framework for dense 3D semantic reconstruction of the scene.


title: Wilson's and Wolstenholme's Theorems

abstract: We provide a proof of Wilson's Theorem and Wolstenholme's Theorem based on a direct approach by Lagrange requiring only basic properties of the primes and the Binomial theorem. The goal is to show how similar the two theorems are by providing the easiest proof possible in a single unified argument.


title: Deep Learning for Waveform Estimation and Imaging in Passive Radar

abstract: We consider a bistatic configuration with a stationary transmitter transmitting unknown waveforms of opportunity and a moving receiver, and present a Deep Learning (DL) framework for passive synthetic aperture radar (SAR) imaging. Existing passive radar methods require two or more antennas which are either spatially separated or colocated with sufficient directivity to estimate the underlying waveform prior to imaging. Our approach to passive radar only requires a single receiver, hence reduces cost and increases versatility. We approach DL from an optimization perspective and formulate image reconstruction as a machine learning task. By unfolding the iterations of a proximal gradient descent algorithm, we construct a deep recurrent neural network (RNN) that is parameterized by transmitted waveforms. We cascade the RNN structure with a decoder stage to form a recurrent-auto encoder architecture. We then utilize backpropagation to learn transmitted waveforms by training the network in an unsupervised manner using SAR measurements. The highly non-convex problem of backpropagation is guided to a feasible solution over the parameter space by initializing the network with the known components of the SAR forward model. Moreover, prior information regarding the waveform structure is incorporated during initialization and backpropagation. We demonstrate the effectiveness of the DL-based approach through extensive numerical simulations that show focused, high contrast imagery using a single receiver antenna at realistic SNR levels.


title: Domination Parameters of the Unitary Cayley Graph of $\mathbb{Z}/n\mathbb{Z}$

abstract: The unitary Cayley graph of $\mathbb{Z}/n\mathbb{Z}$, denoted $X_n$, is the graph on $\{0,\dots,n-1\}$ where vertices $a$ and $b$ are adjacent if and only if $\gcd(a-b,n) = 1$. We answer a question of Defant and Iyer by constructing a family of infinitely many integers $n$ such that $\gamma_t(X_n) \leq g(n) - 2$, where $\gamma_t$ denotes the total domination number and $g$ denotes the Jacobsthal function. We determine the irredundance number, domination number, and lower independence number of certain direct products of complete graphs and give bounds for these parameters for any direct product of complete graphs. We provide upper bounds on the size of irredundant sets in direct products of balanced, complete multipartite graphs which are asymptotically correct for the unitary Cayley graphs of integers with a bounded smallest prime factor.


title: Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

abstract: Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed languages, where many runtime errors can be detected at compile time. In this paper, we present a preliminary work on a tool that, by using the well-known techniques of metaprogramming and symbolic execution, can be used to perform bounded verification of Erlang programs. In particular, by using Constraint Logic Programming, we develop an interpreter that, given an Erlang program and a symbolic input for that program, returns answer constraints that represent sets of concrete data for which the Erlang program generates a runtime error.


title: Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper

abstract: Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in the literature before, but a systematic analysis of these two kinds of proofs and of their relation was lacking. We propose a general proof-theoretic framework for handling both kinds of coinduction arising in Horn clause logic. To this aim, we propose a coinductive extension of Miller et al's framework of uniform proofs and prove its soundness relative to coinductive models of Horn clause logic.


title: A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm

abstract: We present a recursive formulation of the Horn algorithm for deciding the satisfiability of propositional clauses. The usual presentations in imperative pseudo-code are informal and not suitable for simple proofs of its main properties. By defining the algorithm as a recursive function (computing a least fixed-point), we achieve: 1) a concise, yet rigorous, formalisation; 2) a clear form of visualising executions of the algorithm, step-by-step; 3) precise results, simple to state and with clean inductive proofs.


title: Hydrodynamic fluctuations of entropy in one-dimensionally expanding system

abstract: The fluctuation-dissipation relation tells that dissipation always accompanies with thermal fluctuations. Relativistic fluctuating hydrodynamics is used to study the effects of the thermal fluctuations in the hydrodynamic expansion of the quark-gluon plasma created in the high-energy nuclear collisions. We show that the thermal noise obeys the steady-state fluctuation theorem when (i) the time scales of the evolution of thermodynamic quantities are sufficiently longer than the relaxation time, and (ii) the thermal fluctuations of temperature are sufficiently small. The steady-state fluctuation theorem describes the distribution of the entropy which can be related to the multiplicity observed in high-energy nuclear collisions. As a consequence, we propose an upper bound to the multiplicity fluctuations which is useful to test the initial state models. We also numerically investigate breaking of the steady-state fluctuation theorem due to the non-vanishing relaxation time in real nuclear collisions.

categories: nucl-th cond-mat.stat-mech hep-ph nucl-ex


title: Fidelius: Protecting User Secrets from Compromised Browsers

abstract: Users regularly enter sensitive data, such as passwords, credit card numbers, or tax information, into the browser window. While modern browsers provide powerful client-side privacy measures to protect this data, none of these defenses prevent a browser compromised by malware from stealing it. In this work, we present Fidelius, a new architecture that uses trusted hardware enclaves integrated into the browser to enable protection of user secrets during web browsing sessions, even if the entire underlying browser and OS are fully controlled by a malicious attacker. Fidelius solves many challenges involved in providing protection for browsers in a fully malicious environment, offering support for integrity and privacy for form data, JavaScript execution, XMLHttpRequests, and protected web storage, while minimizing the TCB. Moreover, interactions between the enclave and the browser, the keyboard, and the display all require new protocols, each with their own security considerations. Finally, Fidelius takes into account UI considerations to ensure a consistent and simple interface for both developers and users. As part of this project, we develop the first open source system that provides a trusted path from input and output peripherals to a hardware enclave with no reliance on additional hypervisor security assumptions. These components may be of independent interest and useful to future projects. We implement and evaluate Fidelius to measure its performance overhead, finding that Fidelius imposes acceptable overhead on page load and user interaction for secured pages and has no impact on pages and page components that do not use its enhanced security features.


title: Superstatistics with cut-off tails for financial time series

abstract: Financial time series have been investigated to follow fat-tailed distributions. Further, an empirical probability distribution sometimes shows cut-off shapes on its tails. To describe this stylized fact, we incorporate the cut-off effect in superstatistics. Then we confirm that the presented stochastic model is capable of describing the statistical properties of real financial time series. In addition, we present an option pricing formula with respect to superstatistics.

categories: q-fin.ST math.ST physics.data-an stat.TH


title: Disorder-driven transition and intermediate phase for $\nu=5/2$ fractional quantum Hall effect

abstract: The fractional quantum Hall (FQH) effect at the filling number $\nu=5/2$ is a primary candidate for non-Abelian topological order, while the fate of such a state in the presence of random disorder has not been resolved. Here, we address this open question by implementing unbiased diagnosis based on numerical exact diagonalization. We calculate the disorder averaged Hall conductance and the associated statistical distribution of the topological invariant Chern number, which unambiguously characterize the disorder-driven collapse of the FQH state. As the disorder strength increases towards a critical value, a continuous phase transition is detected based on the disorder configuration averaged wave function fidelity and the entanglement entropy. In the strong disorder regime, we identify a composite Fermi liquid (CFL) phase with fluctuating Chern numbers, in striking contrast to the well-known $\nu=1/3$ case where an Anderson insulator appears. Interestingly, the lowest Landau level projected local density profile, the wavefunction overlap, and the entanglement entropy as a function of disorder strength simultaneously signal an intermediate phase, which may be relevant to the recent proposal of Pfaffian-anti-Pfaffian puddle state.


title: Perceptual Experience Analysis for Tone-mapped HDR Videos based on EEG and Peripheral Physiological Signals

abstract: High dynamic range (HDR) imaging has been attracting much attention as a technology that can provide immersive experience. Its ultimate goal is to provide better quality of experience (QoE) via enhanced contrast. In this paper, we analyze perceptual experience of tone-mapped HDR videos both explicitly by conducting a subjective questionnaire assessment and implicitly by using EEG and peripheral physiological signals. From the results of the subjective assessment, it is revealed that tone-mapped HDR videos are more interesting and more natural, and give better quality than low dynamic range (LDR) videos. Physiological signals were recorded during watching tone-mapped HDR and LDR videos, and classification systems are constructed to explore perceptual difference captured by the physiological signals. Significant difference in the physiological signals is observed between tone-mapped HDR and LDR videos in the classification under both a subject-dependent and a subject-independent scenarios. Also, significant difference in the signals between high versus low perceived contrast and overall quality is detected via classification under the subject-dependent scenario. Moreover, it is shown that features extracted from the gamma frequency band are effective for classification.


title: On the numerical index of polyhedral Banach spaces

abstract: The computation of the numerical index of a Banach space is an intriguing problem, even in case of two-dimensional real polyhedral Banach spaces. In this article we present a general method to estimate the numerical index of any finite-dimensional real polyhedral Banach space, by considering the action of only finitely many functionals, on the unit sphere of the space. We further obtain the exact numerical index of a family of $3$-dimensional polyhedral Banach spaces for the first time, in order to illustrate the applicability of our method.


title: Spatial mapping of band bending in semiconductor devices using in-situ quantum sensors

abstract: Band bending is a central concept in solid-state physics that arises from local variations in charge distribution especially near semiconductor interfaces and surfaces. Its precision measurement is vital in a variety of contexts from the optimisation of field effect transistors to the engineering of qubit devices with enhanced stability and coherence. Existing methods are surface sensitive and are unable to probe band bending at depth from surface or bulk charges related to crystal defects. Here we propose an in-situ method for probing band bending in a semiconductor device by imaging an array of atomic-sized quantum sensing defects to report on the local electric field. We implement the concept using the nitrogen-vacancy centre in diamond, and map the electric field at different depths under various surface terminations. We then fabricate a two-terminal device based on the conductive two-dimensional hole gas formed at a hydrogen-terminated diamond surface, and observe an unexpected spatial modulation of the electric field attributed to a complex interplay between charge injection and photo-ionisation effects. Our method opens the way to three-dimensional mapping of band bending in diamond and other semiconductors hosting suitable quantum sensors, combined with simultaneous imaging of charge transport in complex operating devices.


title: Numerical Analysis of Nonlocal Convection --- Comparison with Three-dimensional Numerical Simulations of Efficient Turbulent Convection

abstract: We compare 1D nonlocal turbulent convection models with 3D hydrodynamic numerical simulations. We study the validity of closure models and turbulent coefficients by varying the Prandtl number, the P$\acute{e}$clet number, and the depth of the convection zone. Four closure models of the fourth-order moments are evaluated with the 3D simulation data. The performance of the closure models varies among different cases and different fourth-order moments. We solve the dynamic equations of moments together with equations of the thermal structure. Unfortunately, we cannot obtain steady-state solutions when these closure models of fourth-order moments are adopted. The numerical solutions of the down-gradient approximations of the third-order moments, on the other hand, are robust. We calibrate the coefficients of the 1D down-gradient model from the 3D simulation data. The calibrated coefficients are more robust in the cases of deep convection zones. Finally we have compared the 1D steady-state solutions with the 3D simulation results. The 1D model has captured many features appearing in the 3D simulations : (1) $\nabla-\nabla_{a}$ has a U-shape with a minimum value at the lower part of the convection zone. (2) There exists a bump for $\nabla-\nabla_{a}$ near the top of the convection zone when the P$\acute{e}$clet number is large. (3) The temperature gradient can be sub-adiabatic due to the nonlocal effect. Apart from these similarities, the prediction on the kinetic energy flux, however, is unsatisfactory.


title: Nonequilibrium Dynamics with Finite-Time Repeated Interactions

abstract: We study quantum dynamics in the framework of repeated interactions between a system and a stream of identical probes. We present a coarse-grained master equation that captures the system's dynamics in the natural regime where interactions with different probes do not overlap, but is otherwise valid for arbitrary values of the interaction strength and mean interaction time. We then apply it to some specific examples. For probes prepared in Gibbs states, such channels have been used to describe thermalisation: while this is the case for many choices of parameters, for others one finds out-of-equilibrium states including inverted Gibbs and maximally mixed states. Gapless probes can be interpreted as performing an indirect measurement, and we study the energy transfer associated with this measurement.


title: In situ soft x-ray absorption spectroscopic study of Fe/MgO interfaces

abstract: Interfacial reaction between iron and MgO has been studied in situ during deposition of iron on MgO surface, using soft x-ray absorption spectroscopy. High sensitivity of the technique which is capable of detecting even a sub monolayer of a given phase, combined with in situ measurements as a function of iron layer thickness, allowed one to make a quantitative estimate of interfacial phases. Two different substrates namely, MgO (001) single crystal, and a polycrystalline MgO film on Si substrate have been used in order to elucidate the role of the state of MgO surface in controlling the interface structure. It is found that at the interface of iron and MgO film, about two monolayers of Fe3O4 is formed. Fe3O4 being the oxide of iron with the highest heat of formation, the reaction appears to be controlled thermodynamically. On the other hand, on the interface with MgO (001) surface, FeO is formed, suggesting that the reaction is limited by the availability of oxygen atoms. Magnetic behaviour of the FeO layer gets modified significantly due to proximity effect of the bulk ferromagnetic iron layer.


title: Generative adversarial network-based image super-resolution using perceptual content losses

abstract: In this paper, we propose a deep generative adversarial network for super-resolution considering the trade-off between perception and distortion. Based on good performance of a recently developed model for super-resolution, i.e., deep residual network using enhanced upscale modules (EUSR), the proposed model is trained to improve perceptual performance with only slight increase of distortion. For this purpose, together with the conventional content loss, i.e., reconstruction loss such as L1 or L2, we consider additional losses in the training phase, which are the discrete cosine transform coefficients loss and differential content loss. These consider perceptual part in the content loss, i.e., consideration of proper high frequency components is helpful for the trade-off problem in super-resolution. The experimental results show that our proposed model has good performance for both perception and distortion, and is effective in perceptual super-resolution applications.


title: Generalized quasi-statistical structures

abstract: Given a non-degenerate $(0,2)$-tensor field $h$ on a smooth manifold $M$, we consider a natural generalized complex and a generalized product structure on the generalized tangent bundle $TM\oplus T^*M$ of $M$ and we show that they are $\nabla$-integrable, for $\nabla$ an affine connection on $M$, if and only if $(M,h,\nabla)$ is a quasi-statistical manifold. We introduce the notion of generalized quasi-statistical structure and we prove that any quasi-statistical structure on $M$ induces generalized quasi-statistical structures on $TM\oplus T^*M$. In this context, dual connections are considered and some of their properties are established. The results are described in terms of Patterson-Walker and Sasaki metrics on $T^*M$, horizontal lift and Sasaki metrics on $TM$ and, when the connection $\nabla$ is flat, we define prolongation of quasi-statistical structures on manifolds to their cotangent and tangent bundles via generalized geometry. Moreover, Norden and Para-Norden structures are defined on $T^*M$ and $TM$.


title: Tracking atomic structure evolution during directed electron beam induced Si-atom motion in graphene via deep machine learning

abstract: Using electron beam manipulation, we enable deterministic motion of individual Si atoms in graphene along predefined trajectories. Structural evolution during the dopant motion was explored, providing information on changes of the Si atom neighborhood during atomic motion and providing statistical information of possible defect configurations. The combination of a Gaussian mixture model and principal component analysis applied to the deep learning-processed experimental data allowed disentangling of the atomic distortions for two different graphene sublattices. This approach demonstrates the potential of e-beam manipulation to create defect libraries of multiple realizations of the same defect and explore the potential of symmetry breaking physics. The rapid image analytics enabled via a deep learning network further empowers instrumentation for e-beam controlled atom-by-atom fabrication. The analysis described in the paper can be reproduced via an interactive Jupyter notebook at https://git.io/JJ3Bx