title: Software Development with Feature Toggles: Practices used by Practitioners

abstract: Background: Using feature toggles is a technique that allows developers to either turn a feature on or off with a variable in a conditional statement. Feature toggles are increasingly used by software companies to facilitate continuous integration and continuous delivery. However, using feature toggles inappropriately may cause problems which can have a severe impact, such as code complexity, dead code, and system failure. For example, the erroneous repurposing of an old feature toggle caused Knight Capital Group, an American global financial services firm, to go bankrupt due to the implications of the resultant incorrect system behavior. Aim: The goal of this research project is to aid software practitioners in the use of practices to support software development with feature toggles through an empirical study of feature toggle practice usage by practitioners. Method: We conducted a qualitative analysis of 99 artifacts from the grey literature and 10 peer-reviewed papers about feature toggles. We conducted a survey of practitioners from 38 companies. Results: We identified 17 practices in 4 categories: Management practices, Initialization practices, Implementation practices, and Clean-up practices. We observed that all of the survey respondents use a dedicated tool to create and manage feature toggles in their code. Documenting feature toggle's metadata, setting up the default value for feature toggles, and logging the changes made on feature toggles are also frequently-observed practices. Conclusions: The feature toggle development practices discovered and enumerated in this work can help practitioners more effectively use feature toggles. This work can enable future mining of code repositories to automatically identify feature toggle practices.


title: Energy-Efficient Activation and Uplink Transmission for Cellular IoT

abstract: Consider a large-scale cellular network in which base stations (BSs) serve massive Internet-of-Things (IoT) devices. Since IoT devices are powered by a capacity-limited battery, how to prolong their working lifetime is a paramount problem for the success of cellular IoT systems. This paper proposes how to use BSs to manage the active and dormant operating modes of the IoT devices via downlink signaling in an energy-efficient fashion and how the IoT devices perform energy-efficient uplink power control to improve their uplink coverage. We first investigate the fundamental statistical properties of an activation signaling process induced by BSs that would like to activate the devices in their cells, which helps to derive the neat expressions of the true, false and total activation probabilities that reveal joint downlink power control and BS coordination is an effective means to significantly improve the activation performance. We then propose an energy-efficient uplink power control for IoT devices which is shown to save power and ameliorate the uplink coverage probability at the same time. We also propose an energy-efficient downlink power control and BS coordination scheme, which is shown to remarkably improve the activation and uplink coverage performances at the same time.


title: Embedded Atom Neural Network Potentials: Efficient and Accurate Machine Learning with a Physically Inspired Representation

abstract: We propose a simple, but efficient and accurate machine learning (ML) model for developing high-dimensional potential energy surface. This so-called embedded atom neural network (EANN) approach is inspired by the well-known empirical embedded atom method (EAM) model used in condensed phase. It simply replaces the scalar embedded atom density in EAM with a Gaussian-type orbital based density vector, and represents the complex relationship between the embedded density vector and atomic energy by neural networks. We demonstrate that the EANN approach is equally accurate as several established ML models in representing both big molecular and extended periodic systems, yet with much fewer parameters and configurations. It is highly efficient as it implicitly contains the three-body information without an explicit sum of the conventional costly angular descriptors. With high accuracy and efficiency, EANN potentials can vastly accelerate molecular dynamics and spectroscopic simulations in complex systems at ab initio level.


title: Smile, Be Happy :) Emoji Embedding for Visual Sentiment Analysis

abstract: Due to the lack of large-scale datasets, the prevailing approach in visual sentiment analysis is to leverage models trained for object classification in large datasets like ImageNet. However, objects are sentiment neutral which hinders the expected gain of transfer learning for such tasks. In this work, we propose to overcome this problem by learning a novel sentiment-aligned image embedding that is better suited for subsequent visual sentiment analysis. Our embedding leverages the intricate relation between emojis and images in large-scale and readily available data from social media. Emojis are language-agnostic, consistent, and carry a clear sentiment signal which make them an excellent proxy to learn a sentiment aligned embedding. Hence, we construct a novel dataset of 4 million images collected from Twitter with their associated emojis. We train a deep neural model for image embedding using emoji prediction task as a proxy. Our evaluation demonstrates that the proposed embedding outperforms the popular object-based counterpart consistently across several sentiment analysis benchmarks. Furthermore, without bell and whistles, our compact, effective and simple embedding outperforms the more elaborate and customized state-of-the-art deep models on these public benchmarks. Additionally, we introduce a novel emoji representation based on their visual emotional response which supports a deeper understanding of the emoji modality and their usage on social media.


title: Revisiting Submicron-Gap Thermionic Power Generation Based on Comprehensive Charge and Thermal Transport Modeling

abstract: Over the past years, thermionic energy conversion (TEC) with a reduced inter-electrode vacuum gap has been studied as an effective way to mitigate a large potential barrier due to space charge accumulation. However, existing theoretical models do not fully consider the fundamental aspects of thermionic emission when the inter-electrode gap shrinks to the nanoscale, which results in underestimation of thermionic power generation for such small gaps. The present work addresses this challenge by comprehensively modeling charge and thermal transport processes with specific consideration of nanoscale gap effects, such as image charge perturbation, electron tunneling, and near-field thermal radiation. Carefully conducted energy balance analysis reveals that if optimized, submicron-gap TEC can excel the micron-gap counterpart with $\sim$4 times the power output and ~5-10 % higher energy conversion efficiency. Moreover, the high-temperature collector of the submicron-gap TEC, which is due to thermionic and near-field radiative heat transfer, allows the addition of a bottom-cycle heat engine to further enhance the power and efficiency when combined. Electric field concentration due to engineered surface roughness is also examined as a potential approach to produce an additional increase in power generation. We believe that the present work provides a theoretical framework for submicron-gap thermionic power generation as a promising energy recycling scheme for high-quality heat sources.


title: Modeling the Uncertainty in Electronic Health Records: a Bayesian Deep Learning Approach

abstract: Deep learning models have exhibited superior performance in predictive tasks with the explosively increasing Electronic Health Records (EHR). However, due to the lack of transparency, behaviors of deep learning models are difficult to interpret. Without trustworthiness, deep learning models will not be able to assist in the real-world decision-making process of healthcare issues. We propose a deep learning model based on Bayesian Neural Networks (BNN) to predict uncertainty induced by data noise. The uncertainty is introduced to provide model predictions with an extra level of confidence. Our experiments verify that instances with high uncertainty are harmful to model performance. Moreover, by investigating the distributions of model prediction and uncertainty, we show that it is possible to identify a group of patients for timely intervention, such that decreasing data noise will benefit more on the prediction accuracy for these patients.


title: On Rado conditions for nonlinear Diophantine equations

abstract: Building on previous work of Di Nasso and Luperi Baglini, we provide general necessary conditions for a Diophantine equation to be partition regular. These conditions are inspired by Rado's characterization of partition regular linear homogeneous equations. We conjecture that these conditions are also sufficient for partition regularity, at least for equations whose corresponding monovariate polynomial is linear. This would provide a natural generalization of Rado's theorem. We verify that such a conjecture hold for the equations $x^{2}-xy+ax+by+cz=0$ and $x^{2}-y^{2}+ax+by+cz=0$ for $a,b,c\in \mathbb{Z}$ such that $abc=0$ or $% a+b+c=0$. To deal with these equations, we establish new results concerning the partition regularity of polynomial configurations in $\mathbb{Z}$ such as $\left\{ x,x+y,xy+x+y\right\} $, building on the recent result on the partition regularity of $\left\{ x,x+y,xy\right\} $.


title: Primitive Ideals of Labelled Graph $C^*$-algebras

abstract: Given a directed graph $E$ and a labeling $\mathcal{L}$, one forms the labelled graph $C^*$-algebra by taking a weakly left--resolving labelled space $(E, \mathcal{L}, \mathcal{B})$ and considering a universal generating family of partial isometries and projections. In this paper we provide characterization for primitive ideals of labelled graph $C^*$-algebras.


title: Negative Fermi-level Pinning Effect of Metal/n-GaAs(001) Junction with Graphene Interlayer

abstract: It is demonstrated that the electric dipole layer due to the overlapping of electron wavefunctions at metal/graphene contact results in negative Fermi-level pinning effect on the region of GaAs surface with low interface-trap density in metal/graphene/n-GaAs(001) junction. The graphene interlayer takes a role of diffusion barrier preventing the atomic intermixing at interface and preserving the low interface-trap density region. The negative Fermi-level pinning effect is supported by the Schottky barrier decreasing as metal work-function increasing. Our work shows that the graphene interlayer can invert the effective work-function of metal between $high$ and $low$, making it possible to form both Schottky and Ohmic-like contacts with identical (particularly $high$ work-function) metal electrodes on a semiconductor substrate possessing low surface-state density.


title: Compressed Subspace Learning Based on Canonical Angle Preserving Property

abstract: Union of Subspaces (UoS) is a popular model to describe the underlying low-dimensional structure of data. The fine details of UoS structure can be described in terms of canonical angles (also known as principal angles) between subspaces, which is a well-known characterization for relative subspace positions. In this paper, we prove that random projection with the so-called Johnson-Lindenstrauss (JL) property approximately preserves canonical angles between subspaces with overwhelming probability. This result indicates that random projection approximately preserves the UoS structure. Inspired by this result, we propose a framework of Compressed Subspace Learning (CSL), which enables to extract useful information from the UoS structure of data in a greatly reduced dimension. We demonstrate the effectiveness of CSL in various subspace-related tasks such as subspace visualization, active subspace detection, and subspace clustering.


title: FoodX-251: A Dataset for Fine-grained Food Classification

abstract: Food classification is a challenging problem due to the large number of categories, high visual similarity between different foods, as well as the lack of datasets for training state-of-the-art deep models. Solving this problem will require advances in both computer vision models as well as datasets for evaluating these models. In this paper we focus on the second aspect and introduce FoodX-251, a dataset of 251 fine-grained food categories with 158k images collected from the web. We use 118k images as a training set and provide human verified labels for 40k images that can be used for validation and testing. In this work, we outline the procedure of creating this dataset and provide relevant baselines with deep learning models. The FoodX-251 dataset has been used for organizing iFood-2019 challenge in the Fine-Grained Visual Categorization workshop (FGVC6 at CVPR 2019) and is available for download.


title: Hairy black hole stability under odd parity perturbations in the Einstein-Gauss-Bonnet model

abstract: Supported by the use of a regular scalar field we find a black hole solution in the Einstein-Gauss-Bonnet model. From the obtained solution we can recover the Schwarzschild black hole as in other works. Later, by implementing the odd parity perturbations method we study the stability of the linearized equations of motion of the model, we find the explicit form of the Regge-Wheeler potential and we explore the condition of vanishing perturbations at the horizon of the black hole. We test the stability of the obtained solution by checking the positivity condition of the Regge-Wheeler potential. Finally, we show that the stability of model depends on the value of a parameter introduced in the profile for the scalar field.


title: Nonequilibrium-relaxation approach to quantum phase transitions: Nontrivial critical relaxation in cluster-update quantum Monte Carlo

abstract: Although the nonequilibrium relaxation (NER) method has been widely used in Monte Carlo studies on phase transitions in classical spin systems, such studies have been quite limited in quantum phase transitions. The reason is that relaxation process based on cluster-update quantum Monte Carlo (QMC) algorithms, which are now standards in Monte Carlo studies on quantum systems, has been considered "too fast" for such analyses. Recently the present authors revealed that the NER process in classical spin systems based on cluster-update algorithms is characterized by the stretched-exponential critical relaxation, rather than the conventional power-law one in local-update algorithms. In the present article we show that this is also the case in quantum phase transitions analyzed with the cluster-update QMC, and that advantages of NER analyses are available. As the simplest example of isotropic quantum spin models which exhibit quantum phase transitions, we investigate the N\'eel-dimer quantum phase transition in the two-dimensional $S=1/2$ columnar-dimerized antiferromagnetic Heisenberg model with the continuous-time loop algorithm.


title: Microsoft Translator at WMT 2019: Towards Large-Scale Document-Level Neural Machine Translation

abstract: This paper describes the Microsoft Translator submissions to the WMT19 news translation shared task for English-German. Our main focus is document-level neural machine translation with deep transformer models. We start with strong sentence-level baselines, trained on large-scale data created via data-filtering and noisy back-translation and find that back-translation seems to mainly help with translationese input. We explore fine-tuning techniques, deeper models and different ensembling strategies to counter these effects. Using document boundaries present in the authentic and synthetic parallel data, we create sequences of up to 1000 subword segments and train transformer translation models. We experiment with data augmentation techniques for the smaller authentic data with document-boundaries and for larger authentic data without boundaries. We further explore multi-task training for the incorporation of document-level source language monolingual data via the BERT-objective on the encoder and two-pass decoding for combinations of sentence-level and document-level systems. Based on preliminary human evaluation results, evaluators strongly prefer the document-level systems over our comparable sentence-level system. The document-level systems also seem to score higher than the human references in source-based direct assessment.


title: Weighted persistent homology for osmolyte molecular aggregation and hydrogen-bonding network analysis

abstract: It has long been observed that trimethylamin N-oxide (TMAO) and urea demonstrate dramatically different properties in a protein folding process. Even with the enormous theoretical and experimental research work of the two osmolytes, various aspects of their underlying mechanisms still remain largely elusive. In this paper, we propose to use the weighted persistent homology to systematically study the osmolytes molecular aggregation and their hydrogen-bonding network from a local topological perspective. We consider two weighted models, i.e., localized persistent homology (LPH) and interactive persistent homology (IPH). From the localized persistent homology models, we have found that TMAO and urea have very different local topology. TMAO shows local network structures. With the concentration increase, the circle elements in these networks show a clear increase in their total numbers and a decrease in their relative sizes. In contrast, urea shows two types of local topological patterns, i.e., local clusters around 6 \AA~ and a few global circle elements at around 12 \AA. From the interactive persistent homology models, it has been found that our persistent radial distribution function (PRDF) from the global-scale IPH has same physical properties as the traditional radial distribution function (RDF). Moreover, PRDFs from the local-scale IPH can also be generated and used to characterize the local interaction information. Other than the clear difference of the first peak value of PRDFs at filtration size 4\AA, TMAO and urea also shows very different behaviors at the second peak region from filtration size 5\AA~ to 10 \AA.


title: On Happy Colorings, Cuts, and Structural Parameterizations

abstract: We study the Maximum Happy Vertices and Maximum Happy Edges problems. The former problem is a variant of clusterization, where some vertices have already been assigned to clusters. The second problem gives a natural generalization of Multiway Uncut, which is the complement of the classical Multiway Cut problem. Due to their fundamental role in theory and practice, clusterization and cut problems has always attracted a lot of attention. We establish a new connection between these two classes of problems by providing a reduction between Maximum Happy Vertices and Node Multiway Cut. Moreover, we study structural and distance to triviality parameterizations of Maximum Happy Vertices and Maximum Happy Edges. Obtained results in these directions answer questions explicitly asked in four works: Agrawal '17, Aravind et al. '16, Choudhari and Reddy '18, Misra and Reddy '17.


title: The FAST Algorithm for Submodular Maximization

abstract: In this paper we describe a new algorithm called Fast Adaptive Sequencing Technique (FAST) for maximizing a monotone submodular function under a cardinality constraint $k$ whose approximation ratio is arbitrarily close to $1-1/e$, is $O(\log(n) \log^2(\log k))$ adaptive, and uses a total of $O(n \log\log(k))$ queries. Recent algorithms have comparable guarantees in terms of asymptotic worst case analysis, but their actual number of rounds and query complexity depend on very large constants and polynomials in terms of precision and confidence, making them impractical for large data sets. Our main contribution is a design that is extremely efficient both in terms of its non-asymptotic worst case query complexity and number of rounds, and in terms of its practical runtime. We show that this algorithm outperforms any algorithm for submodular maximization we are aware of, including hyper-optimized parallel versions of state-of-the-art serial algorithms, by running experiments on large data sets. These experiments show FAST is orders of magnitude faster than the state-of-the-art.


title: New integrable two-centre problem on sphere in Dirac magnetic field

abstract: We present a new family of integrable versions of the Euler two-centre problem on two-dimensional sphere in the presence of the Dirac magnetic monopole of arbitrary charge. The new systems have very special algebraic potential and additional integral quadratic in momenta, both in classical and quantum versions.


title: Shock fronts in the long GRB031203 host galaxy

abstract: The detailed modelling of the spectra observed from the long GRB031203 host galaxy at different epochs during the 2003-2009 years is presented. The line profiles show FWHM of about 100 km/s. A broad line profile with FWHM < 400 km/s appears in the line sockets from the 2009 observations. We suggest that the narrow lines show the velocity of star-burst (SB) debris, while the broad ones are due to the wind from SB stars. The spectra are emitted from the gas downstream of different shock fronts which are at work on the edges of the emitting clouds. A head-on-back shock appears when the wind from the SB stars reaches the internal edge of the SB debris moving outwards. A head-on shock is created by collision of the debris with the ISM clouds.Line ratios in both cases are calculated by the coupled effect of shock and photoionization from the SB. The models selected by fitting the calculated to the observed line ratios show that the ionization parameters, the shock velocities and the gas pre-shock densities slowly decrease with time.Oxygen metallicities (12+log(O/H)=8.3-8.48) are lower than solar (8.82) by a factor <3 and nitrogen metallicities are lower than solar (12+log(N/H)=8.0) by factors of 3-5.


title: Nature of the randomness-induced quantum spin liquids in two dimensions

abstract: The nature of the randomness-induced quantum spin liquid state, the random-singlet state, is investigated in two dimensions (2D) by means of the exact-diagonalization and the Hams-de Raedt methods for several frustrated lattices, e.g., the triangular, the kagome and the J_1-J_2 square lattices. Properties of the ground state, the low-energy excitations and the finite-temperature thermodynamic quantities are investigated. The ground state and the low-lying excited states consist of nearly isolated singlet-dimers, clusters of resonating singlet-dimers, and orphan spins. Low-energy excitations are either singlet-to-triplet excitations, diffusion of orphan spins accompanied by the recombination of nearby singlet-dimers, creation or destruction of resonating singlet-dimers clusters. The latter two excitations give enhanced dynamical `liquid-like' features to the 2D random-singlet state. Comparison is made with the random-singlet state in a 1D chain without frustration, the similarity and the difference between in 1D and in 2D being highlighted. Frustration in a wide sense, not only the geometrical one but also including the one arising from the competition between distinct types of interactions, play an essential role in stabilizing this frustrated random singlet state. Recent experimental situations on both organic and inorganic materials are reviewed and discussed.


title: Spin-triplet superconductivity in the paramagnetic UCoGe under pressure studied by $^{59}$Co NMR

abstract: A $^{59}$Co nuclear magnetic resonance (NMR) measurement was performed on the single-crystalline ferromagnetic (FM) superconductor UCoGe under a pressure of 1.09 GPa, where the FM state is suppressed and superconductivity occurs in the paramagnetic (PM) state, to study the superconducting (SC) state in the PMstate. $^{59}$Co-NMR spectra became broader but hardly shifted across the SC transition temperature. The Knight-shift change determined from fitting the spectral peak with a Gaussian was much smaller than the spin part of the Knight shift; this is in good agreement with the spin-triplet pairing suggested from the large upper critical field. The spectrum broadening in the SC state cannot be attributed to the SC diamagnetic effect but is related to the properties of spin-triplet superconductivity. The origins of the broadening are discussed herein.


title: Analytical analysis on the orbits of Taiji spacecrafts

abstract: The unperturbed Keplerian orbits of Taiji spacecrafts are expanded to $e^3$ order in the heliocentric coordinate system, where $e$ is their orbital eccentricity. The three arm-lengths of Taiji triangle and their rates of change are also expanded to $e^3$ order, while the three vertex angles are expanded to $e^2$ order. These kinematic indicators of Taiji triangle are, further, minimized, respectively, by adjusting the tilt angle of Taiji plane relative to the ecliptic plane around $\pm\pi/3$, and thus, their corresponding optimized expressions are presented. Then, under the case that the nominal trailing angle of Taiji constellation following the Earth is set to be $\chi(\approx\pm\pi/9)$ from the viewpoint of the Sun, the influence of the Earth perturbation on three spacecrafts is calculated according to the equations of motion in the problem of three bodies, and the perturbative solutions of the leading order and the next leading order are derived. With the perturbative solutions, the leading-order corrections to the above kinematic indicators of Taiji triangle and the expression of the above trailing angle to the order of $e^3$ are provided.


title: Fast Graph Sampling Set Selection Using Gershgorin Disc Alignment

abstract: Graph sampling set selection, where a subset of nodes are chosen to collect samples to reconstruct a smooth graph signal, is a fundamental problem in graph signal processing (GSP). Previous works employ an unbiased least-squares (LS) signal reconstruction scheme and select samples via expensive extreme eigenvector computation. Instead, we assume a biased graph Laplacian regularization (GLR) based scheme that solves a system of linear equations for reconstruction. We then choose samples to minimize the condition number of the coefficient matrix---specifically, maximize the smallest eigenvalue $\lambda_{\min}$. Circumventing explicit eigenvalue computation, we maximize instead the lower bound of $\lambda_{\min}$, designated by the smallest left-end of all Gershgorin discs of the matrix. To achieve this efficiently, we first convert the optimization to a dual problem, where we minimize the number of samples needed to align all Gershgorin disc left-ends at a chosen lower-bound target $T$. Algebraically, the dual problem amounts to optimizing two disc operations: i) shifting of disc centers due to sampling, and ii) scaling of disc radii due to a similarity transformation of the matrix. We further reinterpret the dual as an intuitive disc coverage problem bearing strong resemblance to the famous NP-hard set cover (SC) problem. The reinterpretation enables us to derive a fast approximation scheme from a known SC error-bounded approximation algorithm. We find an appropriate target $T$ efficiently via binary search. Extensive simulation experiments show that our disc-based sampling algorithm runs substantially faster than existing sampling schemes and outperforms other eigen-decomposition-free sampling schemes in reconstruction error.


title: Spontaneous and engineered transformations of topological structures in nonlinear media with gain and loss

abstract: In contrast to conservative systems, in nonlinear media with gain and loss the dynamics of localized topological structures can exhibit unique features that can be controlled externally. We propose a robust mechanism to perform topological transformations changing characteristics of dissipative vortices and their complexes in a controllable way. We show that a properly chosen control carries out the evolution of dissipative structures to regime with spontaneous transformation of the topological excitations or drives generation of vortices with control over the topological charge.


title: Hybrid Offline-Online Design for UAV-Enabled Data Harvesting in Probabilistic LoS Channel

abstract: This paper considers an unmanned aerial vehicle (UAV)-enabled wireless sensor network (WSN) in urban areas, where a UAV is deployed to collect data from distributed sensor nodes (SNs) within a given duration. To characterize the occasional building blockage between the UAV and SNs, we construct the probabilistic line-of-sight (LoS) channel model for a Manhattan-type city by using the combined simulation and data regression method, which is shown in the form of a generalized logistic function of the UAV-SN elevation angle. We assume that only the knowledge of SNs' locations and the probabilistic LoS channel model is known a priori, while the UAV can obtain the instantaneous LoS/Non-LoS channel state information (CSI) with the SNs in real time along its flight. Our objective is to maximize the minimum (average) data collection rate from all the SNs for the UAV. To this end, we formulate a new rate maximization problem by jointly optimizing the UAV three-dimensional (3D) trajectory and transmission scheduling of SNs. Although the optimal solution is intractable due to the lack of the complete UAV-SNs CSI, we propose in this paper a novel and general design method, called hybrid offline-online optimization, to obtain a suboptimal solution to it, by leveraging both the statistical and real-time CSI. Essentially, our proposed method decouples the joint design of UAV trajectory and communication scheduling into two phases: namely, an offline phase that determines the UAV path prior to its flight based on the probabilistic LoS channel model, followed by an online phase that adaptively adjusts the UAV flying speeds along the offline optimized path as well as communication scheduling based on the instantaneous UAV-SNs CSI and SNs' individual amounts of data received accumulatively.


title: Towards Generation of Visual Attention Map for Source Code

abstract: Program comprehension is a dominant process in software development and maintenance. Experts are considered to comprehend the source code efficiently by directing their gaze, or attention, to important components in it. However, reflecting the importance of components is still a remaining issue in gaze behavior analysis for source code comprehension. Here we show a conceptual framework to compare the quantified importance of source code components with the gaze behavior of programmers. We use "attention" in attention models (e.g., code2vec) as the importance indices for source code components and evaluate programmers' gaze locations based on the quantified importance. In this report, we introduce the idea of our gaze behavior analysis using the attention map, and the results of a preliminary experiment.


title: Metadata Extraction from Raw Astroparticle Data of TAIGA Experiment

abstract: Today, the operating TAIGA (Tunka Advanced Instrument for cosmic rays and Gamma Astronomy) experiment continuously produces and accumulates a large volume of raw astroparticle data. To be available for the scientific community these data should be well-described and formally characterized. The use of metadata makes it possible to search for and to aggregate digital objects (e.g. events and runs) by time and equipment through a unified interface to access them. The important part of the metadata is hidden and scattered in folder/files names and package headers. Such metadata should be extracted from binary files, transformed to a unified form of digital objects, and loaded into the catalog. To address this challenge we developed a concept of the metadata extractor that can be extended by facility-specific extraction modules. It is designed to automatically collect descriptive metadata from raw data files of all TAIGA formats.


title: Functional inequalities for the heat flow on time-dependent metric measure spaces

abstract: We prove that synthetic lower Ricci bounds for metric measure spaces -- both in the sense of Bakry-\'Emery and in the sense of Lott-Sturm-Villani -- can be characterized by various functional inequalities including local Poincar\'e inequalities, local logarithmic Sobolev inequalities, dimension independent Harnack inequality, and logarithmic Harnack inequality. More generally, these equivalences will be proven in the setting of time-dependent metric measure spaces and will provide a characterization of super-Ricci flows of metric measure spaces.


title: Evidence for metallic 1T phase, 3d1 electronic configuration and charge density wave order in molecular-beam epitaxy grown monolayer VTe2

abstract: We present a combined experimental and theoretical study of monolayer VTe2 grown on highly oriented pyrolytic graphite by molecular-beam epitaxy. Using various in-situ microscopic and spectroscopic techniques, including scanning tunneling microscopy/spectroscopy, synchrotron X-ray and angle-resolved photoemission, and X-ray absorption, together with theoretical analysis by density functional theory calculations, we demonstrate direct evidence of the metallic 1T phase and 3d1 electronic configuration in monolayer VTe2 that also features a (4 x 4) charge density wave order at low temperatures. In contrast to previous theoretical predictions, our element-specific characterization by X-ray magnetic circular dichroism rules out a ferromagnetic order intrinsic to the monolayer. Our findings provide essential knowledge necessary for understanding this interesting yet less explored metallic monolayer in the emerging family of van der Waals magnets.


title: Dissipative particle dynamics with energy conservation: isoenergetic integration and transport properties

abstract: Simulations of nano- to micro-meter scale fluidic systems under thermal gradients require consistent mesoscopic methods accounting for both hydrodynamic interactions and proper transport of energy. One such method is dissipative particle dynamics with energy conservation (DPDE), which has been used for various fluid systems with non-uniform temperature distributions. Despite the success of the method, existing integration algorithms have shown to result in an undesired energy drift, putting into question whether the DPDE method properly captures properties of real fluids. We propose a modification of the velocity-Verlet algorithm with local energy conservation for each DPDE particle, such that the total energy is conserved up to machine precision. Furthermore, transport properties of a DPDE fluid are analyzed in detail. In particular, an analytical approximation for the thermal conductivity coefficient is derived, which allows the selection of a specific value a priori. Finally, we provide approximate expressions for the dimensionless Prandtl and Schmidt numbers, which characterize fluid transport properties and can be adjusted independently by a proper selection of model parameters, and therefore, made comparable with those of real fluids. In conclusion, our results strengthen the DPDE method as a very robust approach for the investigation of mesoscopic systems with temperature inhomogeneities.


title: On decomposing complete tripartite graphs into 5-cycles

abstract: The problem of finding necessary and sufficient conditions to decompose a complete tripartite graph $K_{r,s,t}$ into 5-cycles was first considered by E.S. Mahmoodian and Maryam Mirzakhani (1995). They stated some necessary conditions and conjectured that those conditions are also sufficient. Since then, many cases of the problem have been solved by various authors; however, the case when the partite sets $r\leq s\leq t$ have odd and distinct sizes remained open. We show the conjecture is true when $r$, $s$ and $t$ are all multiples of 5, $t+90 \leq \frac{4rs}{r+s}$, and $t \neq s+10$.


title: Interaction induced quasi-particle spectrum and the origin of the pinning peak in holography

abstract: It is often said that interactions destroy the particle nature of excitations. We report that, in holographic theory adding interaction term can create a new quasi particle spectrum, on the contrary. We show this by calculating the optical conductivity in a model with exact background solution and finding a new quasi-particle spectrum. We argue that such new poles are generic consequence of any non-minimal interaction like Chern-Simon term. The interaction driven metal-insulator transition and the pinning effect in holography are examples of this phenomena. We also point out that the origin of the pinning peak is the vortex formation by the anomalous magnetic moment induced by the interaction term.


title: Emergency DC Power Support Strategy Based on Coordinated Droop Control in Multi-Infeed HVDC System

abstract: With the complex hybrid AC-DC power system in China coming into being, the HVDC faults, such as DC block faults, have an enormous effect on the frequency stability of the AC side. In multi-infeed HVDC (MIDC) system, to improve the frequency stability of the receiving-end system, this paper proposes an emergency DC power support (EDCPS) strategy, which is based on a designed droop characteristic between the active power of LCC-HVDC lines and the receiving-end system frequency. Then, a coordinated optimization method is proposed to determine the droop coefficients of the MIDC lines. To test the proposed EDCPS method, the electromagnetic transient (EMT) model of a MIDC system is built on the CloudPSS platform, and the test results verify the effectiveness of the proposed EDCPS strategy.


title: Homological flips and homological flops

abstract: We introduce a notion of homological flips and homological flops. The former includes the class of all flips between Gorenstein normal varieties; while the latter includes the class of all flops between Cohen-Macaulay normal varieties whose contracted variety is quasi-Gorenstein. Our main theorem shows that certain local cohomology complexes are dual to each other under homological flips/flops. We give some preliminary applications of this duality to relate the derived categories under flip/flop. Further applications are in [Yeu20b].


title: A GPU implementation of the Discontinuous Galerkin method for simulation of diffusion in brain tissue

abstract: In this work we develop a methodology to approximate the covariance matrix associated to the simulation of water diffusion inside the brain tissue. The computation is based on an implementation of the Discontinuous Galerkin method of the diffusion equation, in accord with the physical phenomenon. The implementation in in parallel using GPUs in the CUDA language. Numerical results are presented in 2D problems.


title: Current-Induced magnetization switching by the high spin Hall conductivity $\alpha$-W

abstract: The spin Hall effect originating from 5d heavy transition metal thin films such as Pt, Ta, and W is able to generate efficient spin-orbit torques that can switch adjacent magnetic layers. This mechanism can serve as an alternative to conventional spin-transfer torque for controlling next-generation magnetic memories. Among all 5d transition metals, W in its resistive amorphous phase typically shows the largest spin-orbit torque efficiency ~ 0.20-0.50. In contrast, its conductive and crystalline $\alpha$ phase possesses a significantly smaller efficiency ~ 0.03 and no spin-orbit torque switching has yet been realized using $\alpha$-W thin films as the spin Hall source. In this work, through a comprehensive study of high quality W/CoFeB/MgO and the reversed MgO/CoFeB/W magnetic heterostructures, we show that although amorphous-W has a greater spin-orbit torque efficiency, the spin Hall conductivity of $\alpha$-W ($|\sigma_{\operatorname{SH}}^{\alpha\operatorname{-W}}|=3.71\times10^{5}\operatorname{\Omega}^{-1}\operatorname{m}^{-1}$) is ~3.5 times larger than that of amorphous-W ($|\sigma_{\operatorname{SH}}^{\operatorname{amorphous-W}}|=1.05\times10^{5}\operatorname{\Omega}^{-1}\operatorname{m}^{-1}$). Moreover, we demonstrate spin-orbit torque driven magnetization switching using a MgO/CoFeB/$\alpha$-W heterostructure. Our findings suggest that the conductive and high spin Hall conductivity $\alpha$-W can be a potential candidate for future low power consumption spin-orbit torque memory applications.


title: Marginal deformations and defect anomalies

abstract: We deform a defect conformal field theory by an exactly marginal bulk operator and we consider the dependence on the marginal coupling of flat and spherical defect expectation values. For even dimensional spherical defects we find a logarithmic divergence which can be related to a $a$-type defect anomaly coefficient. This coefficient, for defect theories, is not invariant on the conformal manifold and its dependence on the coupling is controlled to all orders by the one-point function of the associated exactly marginal operator. For odd-dimensional defects, the flat and spherical case exhibit different qualitative behaviors, generalizing to arbitrary dimensions the line-circle anomaly of superconformal Wilson loops. Our results also imply a non-trivial coupling dependence for the recently proposed defect $C$-function. We finally apply our general result to a few specific examples, including superconformal Wilson loops and R\'enyi entropy.


title: A Divide-and-Conquer Approach towards Understanding Deep Networks

abstract: Deep neural networks have achieved tremendous success in various fields including medical image segmentation. However, they have long been criticized for being a black-box, in that interpretation, understanding and correcting architectures is difficult as there is no general theory for deep neural network design. Previously, precision learning was proposed to fuse deep architectures and traditional approaches. Deep networks constructed in this way benefit from the original known operator, have fewer parameters, and improved interpretability. However, they do not yield state-of-the-art performance in all applications. In this paper, we propose to analyze deep networks using known operators, by adopting a divide-and-conquer strategy to replace network components, whilst retaining its performance. The task of retinal vessel segmentation is investigated for this purpose. We start with a high-performance U-Net and show by step-by-step conversion that we are able to divide the network into modules of known operators. The results indicate that a combination of a trainable guided filter and a trainable version of the Frangi filter yields a performance at the level of U-Net (AUC 0.974 vs. 0.972) with a tremendous reduction in parameters (111,536 vs. 9,575). In addition, the trained layers can be mapped back into their original algorithmic interpretation and analyzed using standard tools of signal processing.


title: High entropy alloy superconductors -- status, opportunities and challenges

abstract: High entropy alloys (HEAs) are a recently-opened research area in materials science and condensed matter physics. Although 3d-metal-based HEAs have already been the subject of many investigations, studies of HEA superconductors, which tend to be based on 4d metals, are relatively fewer. Here we provide a short update of the progress made in studies of superconducting HEAs. We aim to summarize their current status and describe some of the key factors that appear to influence their superconducting transition temperatures and properties, including crystal structure, atomic makeup, valence electron count, molar volume and mixing entropy. Many opportunities and challenges remain for expanding our knowledge of HEA superconductors, finding new types of HEA superconductors, and their potential for applications; these are also briefly discussed.


title: Dissipative correlated dynamics of a moving impurity immersed in a Bose-Einstein Condensate

abstract: We unravel the nonequilibrium correlated quantum quench dynamics of an impurity traveling through a harmonically confined Bose-Einstein condensate in one-dimension. For weak repulsive interspecies interactions the impurity oscillates within the bosonic gas. At strong repulsions and depending on its prequench position the impurity moves towards an edge of the bosonic medium and subsequently equilibrates. This equilibration being present independently of the initial velocity, the position and the mass of the impurity is inherently related to the generation of entanglement in the many-body system. Focusing on attractive interactions the impurity performs a damped oscillatory motion within the bosonic bath, a behavior that becomes more evident for stronger attractions. To elucidate our understanding of the dynamics an effective potential picture is constructed. The effective mass of the emergent quasiparticle is measured and found to be generically larger than the bare one, especially for strong attractions. In all cases, a transfer of energy from the impurity to the bosonic medium takes place. Finally, by averaging over a sample of simulated in-situ single-shot images we expose how the single-particle density distributions and the two-body interspecies correlations can be probed.


title: When Entanglement meets Classical Communications: Quantum Teleportation for the Quantum Internet (Invited Paper)

abstract: Quantum Teleportation is the key communication functionality of the Quantum Internet, allowing the "transmission' of qubits without either the physical transfer of the particle storing the qubit or the violation of the quantum mechanical principles. Quantum teleportation is facilitated by the action of quantum entanglement, a somewhat counter-intuitive physical phenomenon with no direct counterpart in the classical word. As a consequence, the very concept of the classical communication system model has to be redesigned to account for the peculiarities of quantum teleportation. This re-design is a crucial prerequisite for constructing any effective quantum communication protocol. The aim of this manuscript is to shed light on this key concept, with the objective of allowing the reader: i) to appreciate the fundamental differences between the transmission of classical information versus the teleportation of quantum information; ii) to understand the communications functionalities underlying quantum teleportation, and to grasp the challenges in the design and practical employment of these functionalities; iii) to acknowledge that quantum information is subject to the deleterious effects of a noise process termed as quantum decoherence. This impairment has no direct counterpart in the classical world; iv) to recognize how to contribute to the design and employment of the Quantum Internet.


title: On the Role of Time in Learning

abstract: By and large the process of learning concepts that are embedded in time is regarded as quite a mature research topic. Hidden Markov models, recurrent neural networks are, amongst others, successful approaches to learning from temporal data. In this paper, we claim that the dominant approach minimizing appropriate risk functions defined over time by classic stochastic gradient might miss the deep interpretation of time given in other fields like physics. We show that a recent reformulation of learning according to the principle of Least Cognitive Action is better suited whenever time is involved in learning. The principle gives rise to a learning process that is driven by differential equations, that can somehow descrive the process within the same framework as other laws of nature.


title: A local maximizer for lattice width of $3$-dimensional hollow bodies

abstract: The second and fourth authors have conjectured that a certain hollow tetrahedron $\Delta$ of width $2+\sqrt2$ attains the maximum lattice width among all three-dimensional convex bodies. We here prove a local version of this conjecture: there is a neighborhood $U$ of $\Delta$ in the Hausdorff distance such that every convex body in $U \setminus \{\Delta\}$ has width strictly smaller than $\Delta$. When the search space is restricted to tetrahedra, we compute an explicit such neighborhood. We also limit the space of possible counterexamples to the conjecture. We show, for example, that their width must be smaller than $3.972$ and their volume must lie in $[2.653, 19.919]$.


title: Necessary and sufficient condition for equilibrium of the Hotelling model

abstract: We study a model of vendors competing to sell a homogeneous product to customers spread evenly along a linear city. This model is based on Hotelling's celebrated paper in 1929. Our aim in this paper is to present a necessary and sufficient condition for the equilibrium. This yields a representation for the equilibrium. To achieve this, we first formulate the model mathematically. Next, we prove that the condition holds if and only if vendors are equilibrium.


title: Blinking chimeras in globally coupled rotators

abstract: In globally coupled ensembles of identical oscillators so-called chimera states can be observed. The chimera state is a symmetry-broken regime, where a subset of oscillators forms a cluster, a synchronized population, while the rest of the system remains a collection of non-synchronized, scattered units. We describe here a blinking chimera regime in an ensemble of seven globally coupled rotators (Kuramoto oscillators with inertia). It is characterized by a death-birth process, where a long-term stable cluster of four oscillators suddenly dissolves and is very quickly reborn with a new, reshuffled configuration. We identify three different kinds of rare blinking events and give a quantitative characterization by applying stability analysis to the long-lived chaotic state and to the short-lived regular regimes which arise when the cluster dissolves.


title: Wong-Zakai approximations with convergence rate for stochastic partial differential equations

abstract: The goal of this paper is to prove a convergence rate for Wong-Zakai approximations of semilinear stochastic partial differential equations driven by a finite dimensional Brownian motion. Several examples, including the HJMM equation from mathematical finance, illustrate our result.


title: Strict inclusions of high rank loci

abstract: For a given projective variety $X$, the high rank loci are the closures of the sets of points whose $X$-rank is higher than the generic one. We show examples of strict inclusion between two consecutive high rank loci. Our first example is for the Veronese surface of plane quartics. Although Piene had already shown an example when $X$ is a curve, we construct infinitely many curves in $\mathbb P^4$ for which such strict inclusion appears. For space curves, we give two criteria to check whether the locus of points of maximal rank 3 is finite (possibly empty).


title: Electromagnetic coupling effects in natural inflation

abstract: In this work we study the effects of the electromagnetic coupling in natural inflation in a systematic manner using the Schwinger-Keldysh formalism. The corresponding influence functional is evaluated to one-loop level. It can be interpreted as due to a single stochastic force. The equation of motion of the inflaton field is therefore given in the form of a Langevin equation. Lastly, the two-point and the three-point correlation functions of the inflaton field are worked out. They are related to the power spectrum and the nongaussianity of the inflaton field, respectively.


title: Automatic Repair and Type Binding of Undeclared Variables using Neural Networks

abstract: Deep learning had been used in program analysis for the prediction of hidden software defects using software defect datasets, security vulnerabilities using generative adversarial networks as well as identifying syntax errors by learning a trained neural machine translation on program codes. However, all these approaches either require defect datasets or bug-free source codes that are executable for training the deep learning model. Our neural network model is neither trained with any defect datasets nor bug-free programming source codes, instead it is trained using structural semantic details of Abstract Syntax Tree (AST) where each node represents a construct appearing in the source code. This model is implemented to fix one of the most common semantic errors, such as undeclared variable errors as well as infer their type information before program compilation. By this approach, the model has achieved in correctly locating and identifying 81% of the programs on prutor dataset of 1059 programs with only undeclared variable errors and also inferring their types correctly in 80% of the programs.


title: Unsupervised Automatic Building Extraction Using Active Contour Model on Unregistered Optical Imagery and Airborne LiDAR Data

abstract: Automatic extraction of buildings in urban scenes has become a subject of growing interest in the domain of photogrammetry and remote sensing, particularly with the emergence of LiDAR systems since mid-1990s. However, in reality, this task is still very challenging due to the complexity of building size and shapes, as well as its surrounding environment. Active contour model, colloquially called snake model, which has been extensively used in many applications in computer vision and image processing, is also applied to extract buildings from aerial/satellite imagery. Motivated by the limitations of existing snake models addressing to the building extraction, this paper presents an unsupervised and fully automatic snake model to extract buildings using optical imagery and an unregistered airborne LiDAR dataset, without manual initial points or training data. The proposed method is shown to be capable of extracting buildings with varying color from complex environments, and yielding high overall accuracy.


title: The Galactic magnetic field in the light of starburst-generated ultrahigh-energy cosmic rays

abstract: Auger data show evidence for a correlation between ultrahigh-energy cosmic rays (UHECRs) and nearby starburst galaxies. This intriguing correlation is consistent with data collected by the Telescope Array, which have revealed a much more pronounced directional ``hot spot'' in arrival directions not far from the starburst galaxy M82. In this work, we assume starbursts are sources of UHECRs and investigate the prospects to use the observed distribution of UHECR arrival directions to constrain Galactic magnetic field models. We show that if the Telescope Array hot spot indeed originates from M82, UHECR data would place a strong constraint on the coherent and turbulent components of the Galactic magnetic field.


title: Anomalous phase shift in a Josephson junction via an antiferromagnetic interlayer

abstract: The anomalous ground state phase shift in S/AF/S Josephson junctions in the presence of the Rashba SO-coupling is predicted and numerically investigated. It is found to be a consequence of the uncompensated magnetic moment at the S/AF interfaces. The anomalous phase shift exhibits a strong dependence on the value of the SO-coupling and the sublattice magnetization with the simultaneous existence of stable and metastable branches. It depends strongly on the orientation of the Neel vector with respect to the S/AF interfaces via the dependence on the orientation of the interface uncompensated magnetic moment, what opens a way to control the Neel vector by supercurrent in Josephson systems.


title: A Note on M-convex Functions on Jump Systems

abstract: A jump system is defined as a set of integer points (vectors) with a certain exchange property, generalizing the concepts of matroids, delta-matroids, and base polyhedra of integral polymatroids (or submodular systems). A discrete convexity concept is defined for functions on constant-parity jump systems and it has been used in graph theory and algebra. In this paper we call it "jump M-convexity" and extend it to "jump M-natural-convexity" for functions defined on a larger class of jump systems. By definition, every jump M-convex function is a jump M-natural-convex function, and we show the equivalence of these concepts by establishing an (injective) embedding of jump M-natural-convex functions in n variables into the set of jump M-convex functions in n+1 variables. Using this equivalence we show further that jump M-natural-convex functions admit a number of natural operations such as aggregation, projection (partial minimization), convolution, composition, and transformation by a network.


title: Simple Automatic Post-editing for Arabic-Japanese Machine Translation

abstract: A common bottleneck for developing machine translation (MT) systems for some language pairs is the lack of direct parallel translation data sets, in general and in certain domains. Alternative solutions such as zero-shot models or pivoting techniques are successful in getting a strong baseline, but are often below the more supported language-pair systems. In this paper, we focus on Arabic-Japanese machine translation, a less studied language pair; and we work with a unique parallel corpus of Arabic news articles that were manually translated to Japanese. We use this parallel corpus to adapt a state-of-the-art domain/genre agnostic neural MT system via a simple automatic post-editing technique. Our results and detailed analysis suggest that this approach is quite viable for less supported language pairs in specific domains.


title: Nature of carrier doping in T'-La1.8-xEu0.2SrxCuO4 studied by X-Ray Photoemission and Absorption Spectroscopy

abstract: Recently, hole-doped superconducting cuprates with the T'-structure La1.8-xEu0.2SrxCuO4 (LESCO) have attracted a lot of attention. We have performed x-ray photoemission and absorption spectroscopy measurements on as-grown and reduced T0-LESCO. Results show that electrons and holes were doped by reduction annealing and Sr substitution, respectively. However, it is shown that the system remains on the electron-doped side of the Mott insulator or that the charge-transfer gap is collapsed in the parent compound.


title: Cost-Effective Radio and NFV Resource Allocation: E2E QoS Provision

abstract: To fend off network ossification and support high degrees of flexibility and various services, network virtualization and slicing are introduced for the next-generation wireless cellular networks. These two technologies allow diversifying attributes of the future inter-networking and time-varying workloads based resource management paradigms. In this paper, we propose an end-to-end (E2E) resource allocation framework for future networks considering radio and core network by leveraging network function virtualization (NFV). We aim to minimize the network cost defined based on the utilized energy and spectrum while providing E2E quality of service (QoS) for diverse services with stringent QoS requirements. This goal is realized by formulating a novel optimization problem which performs the power and spectrum allocation in radio, and service function chaining and scheduling in the NFV environment while guaranteeing the distinct QoS constraints of the requested services. The proposed optimization problem is mixed-integer non-linear programming, which is a non-convex and NP-hard problem. To solve it, we adopt an iterative algorithm with novel admission control and a greedy-based heuristic algorithm, which is shown to have a polynomial order of complexity with 13:66% global optimality gap on average for a small scaled network. To validate the proposed framework, simulation results are carried out by considering different values of the network parameters and topologies. Moreover, our proposed framework and solution algorithm are assessed and compared with the existing works. Simulation results demonstrate that the proposed heuristic algorithm and framework outperforms the existing ones by 34% on average in cost reduction.


title: Dust destruction in non-radiative shocks

abstract: Supernova remnant (SNR) shock waves are the main place where interstellar dust grains are destroyed. However, the dust destruction efficiency in non-radiative shocks is still not well known. One way to estimate the fraction of dust destroyed is to compare the difference between postshock gas abundances and preshock medium total abundances when the preshock elemental depletion factors are known. We compare the postshock gas abundances of 16 SNRs in Large Magellanic Cloud (LMC) with the LMC interstellar medium abundances that we derived based on 69 slow-rotating early B-type stars. We find that, on average, $\sim$61\% of Si rich dust grains are destroyed in the shock while the fraction of dust destroyed is only $\sim$40\% for Fe rich dust grains. This result supports the idea that the high depletion of Fe in the diffuse neutral medium is not caused by the resilience of Fe rich grains but because of faster growth rate. This work also presents a potential way to constrain the chemical composition of interstellar dust.


title: Task Selection Policies for Multitask Learning

abstract: One of the questions that arises when designing models that learn to solve multiple tasks simultaneously is how much of the available training budget should be devoted to each individual task. We refer to any formalized approach to addressing this problem (learned or otherwise) as a task selection policy. In this work we provide an empirical evaluation of the performance of some common task selection policies in a synthetic bandit-style setting, as well as on the GLUE benchmark for natural language understanding. We connect task selection policy learning to existing work on automated curriculum learning and off-policy evaluation, and suggest a method based on counterfactual estimation that leads to improved model performance in our experimental settings.


title: Quartic inflation and radiative corrections with non-minimal coupling

abstract: It is well known that the non-minimal coupling $\xi\phi^2R$ between the inflaton and the Ricci scalar affects predictions of single field inflation models. In particular, the $\lambda\phi^4$ quartic inflation potential with $\xi\gtrsim0.005$ is one of the simplest models that agree with the current data. After reviewing the inflationary predictions of this potential, we analyze the effects of the radiative corrections due to couplings of the inflaton to other scalar fields or fermions. Using two different prescriptions discussed in the literature, we calculate the range of these coupling parameter values for which the spectral index $n_s$ and the tensor-to-scalar ratio $r$ are in agreement with the data taken by the Keck Array/BICEP2 and Planck collaborations.


title: Classical criticality establishes quantum topological order

abstract: We establish an important duality correspondence between topological order in quantum many body systems and criticality in ferromagnetic classical spin systems. We show how such a correspondence leads to a classical and simple procedure for characterization of topological order in an important set of quantum entangled states, namely the Calderbank-Shor-Steane (CSS) states. To this end, we introduce a particular quantum Hamiltonian which allows us to consider the existence of a topological phase transition from quantum CSS states to a magnetized state. We study the ground state fidelity in order to find non-analyticity in the wave function as a signature of a topological phase transition. Since hypergraphs can be used to map any arbitrary CSS state to a classical spin model, we show that fidelity of the quantum model defined on a hypergraph $H$ is mapped to the heat capacity of the classical spin model defined on dual hypergraph $\tilde{H}$. Consequently, we show that a ferromagnetic-paramagnetic phase transition in a classical model is mapped to a topological phase transition in the corresponding quantum model. We also show that magnetization does not behave as a local order parameter at the transition point while the classical order parameter is mapped to a non-local measure on the quantum side, further indicating the non local nature of the transition. Our procedure not only opens the door for identification of topological phases via the existence of a local and classical quantity, i.e. critical point, but also offers the potential to classify various topological phases through the concept of universality in phase transitions.


title: POEMMA (Probe of Extreme Multi-Messenger Astrophysics) design

abstract: The Probe Of Extreme Multi-Messenger Astrophysics (POEMMA) is a NASA Astrophysics probe-class mission designed to observe ultra-high energy cosmic rays (UHECRs) and cosmic neutrinos from space. Astro2020 APC white paper: Medium-class Space Particle Astrophysics Project.


title: Modified Fermions Tunneling Radiation from Non-stationary, Axially Symmetric Kerr Black Hole

abstract: In this paper, by applying the deformed dispersion relation in quantum gravity theory, we study the correction of fermions' tunneling radiation from non-stationary symmetric black holes. Firstly, the motion equation of fermions is modified in the gravitational spacetime. Based on the motion equation, the modified Hamilton-Jacobi equation has been obtained by a semiclassical approximation method. Then, the tunneling behavior of fermions at the event horizon of non-stationary symmetric Kerr black hole is investigated. Finally, the results show that in the non-stationary symmetric background, the correction of Hawking temperature and the tunneling rate are closely related to the angular parameters of the horizon of the black hole background.


title: Ising order parameter and topological phase transitions: Toric code in a uniform magnetic field

abstract: Quantum Ising model in a transverse field is of the simplest quantum many body systems used for studying universal properties of quantum phase transitions. Interestingly, it is well-known that such phase transitions can be mapped to topological phase transitions in Toric code models. Therefore, one can expect that well known properties of the transverse Ising model are used for characterizing topological phase transition in Toric code model. In this paper, we consider the magnetization of Ising model and show while it is a local order parameter, it is mapped to a non local order parameter in the topological side. Consequently, we introduce a string order parameter for topological phase transitions in Toric code models defined on different lattices with different dimensions in presence of a uniform magnetic field. Since such string order parameter is dual of the Ising order parameter with well known properties, it leads to a topological (non local) characterization of phase transition in the Toric code model in the uniform field. Our results show that although topological phase transitions do not follow a symmetry breaking mechanism, it might be still possible to use concepts of symmetry breaking phase transitions for topological ones by finding suitable mappings.


title: Trees, length spectra for rational maps via barycentric extensions and Berkovich spaces

abstract: In this paper, we study the dynamics of degenerating sequences of rational maps on Riemann sphere $\hat{\mathbb{C}}$ using $\mathbb{R}$-trees. Given a sequence of degenerating rational maps, we give two constructions for limiting dynamics on $\mathbb{R}$-trees: one geometric and one algebraic. The geometric construction uses the ultralimit of rescalings of barycentric extensions of rational maps, while the algebraic construction uses the Berkovich space of complexified Robinson's field. We show the two approaches are equivalent. The limiting dynamics on the $\mathbb{R}$-tree are analogues to isometric group actions on $\mathbb{R}$-trees studied in Kleinian groups and Teichm\"uller theory. We use the limiting map to classify hyperbolic components of rational maps that admit degeneracies with bounded length spectra (multipliers).


title: Thermodynamic uncertainty relation for underdamped Langevin systems driven by a velocity-dependent force

abstract: Recently, it has been shown that there is a trade-off relation between thermodynamic cost and current fluctuations, referred to as the thermodynamic uncertainty relation (TUR). The TUR has been derived for various processes, such as discrete-time Markov jump processes and overdamped Langevin dynamics. For underdamped dynamics, it has recently been reported that some modification is necessary for application of the TUR. In this study, we present a more generalized TUR, applicable to a system driven by a velocity-dependent force in the context of underdamped Langevin dynamics, by extending the theory of Vu and Hasegawa [preprint arXiv:1901.05715]. We show that our TUR accurately describes the trade-off properties of a molecular refrigerator (cold damping), Brownian dynamics in a magnetic field, and an active particle system.


title: Realization of Attractive Level Crossing via a Dissipative Mode

abstract: The new field of spin cavitronics focuses on the interaction between the magnon excitation of a magnetic element and the electromagnetic wave in a microwave cavity. In strong interaction regime, such interaction usually gives rise to the level anti-crossing for the magnonic and the electromagnetic mode. Recently, the attractive level crossing has been observed, and is explained by a non-Hermitian model Hamiltonian. However, the mechanism of the such attractive coupling is still unclear. Here we reveal the secret by using a simple model with two harmonic oscillators coupled to a third oscillator with large dissipation. We further identify this dissipative third-party as the invisible cavity mode with large leakage in the cavity-magnon experiments. This understanding enables designing dissipative coupling in all sorts of coupled systems.


title: A fast direct solver for two dimensional quasi-periodic multilayered media scattering problems

abstract: This manuscript presents a fast direct solution technique for solving two dimensional wave scattering problems from quasi-periodic multilayered structures. When the interface geometries are complex, the dominant term in the computational cost of creating the direct solver scales $O(NI)$ where $N$ is the number of discretization points on each interface and $I$ is the number of interfaces. The bulk of the precomputation can be re-used for any choice of incident wave. As a result, the direct solver can solve over 200 scattering problems involving an eleven layer geometry with complex interfaces 100 times faster than building a new fast direct solver from scratch for each new set of boundary data. An added benefit of the presented solver is that building an updated solver for a new geometry involving a replaced interface or a change in material property in one layer is inexpensive compared to building a new fast direct solver from scratch.


title: On a Characterization of the Weak Expectation Property (WEP)

abstract: We give a detailed proof of a new characterization of the Weak Expectation Property (WEP) announced by Haagerup in the 1990's but unavailable (in any form) till now. Our main result is motivated by a well known conjecture of Kirchberg, which is equivalent to the Connes embedding problem. We review the basic relevant facts connecting our main theorem with the latter conjecture, along the lines of our forthcoming lecture notes volume on the Connes-Kirchberg problem.


title: Pathological Behavior of Arithmetic Invariants of Unipotent Groups

abstract: We show that all of the nice behavior for Tamagawa numbers, Tate-Shafarevich sets, and other arithmetic invariants of pseudo-reductive groups over global function fields proved in \cite{rospred} fails in general for non-commutative unipotent groups. We also give some positive results which show that Tamagawa numbers do exhibit some reasonable behavior for arbitrary connected linear algebraic groups over global function fields.


title: Lexical Simplification with Pretrained Encoders

abstract: Lexical simplification (LS) aims to replace complex words in a given sentence with their simpler alternatives of equivalent meaning. Recently unsupervised lexical simplification approaches only rely on the complex word itself regardless of the given sentence to generate candidate substitutions, which will inevitably produce a large number of spurious candidates. We present a simple LS approach that makes use of the Bidirectional Encoder Representations from Transformers (BERT) which can consider both the given sentence and the complex word during generating candidate substitutions for the complex word. Specifically, we mask the complex word of the original sentence for feeding into the BERT to predict the masked token. The predicted results will be used as candidate substitutions. Despite being entirely unsupervised, experimental results show that our approach obtains obvious improvement compared with these baselines leveraging linguistic databases and parallel corpus, outperforming the state-of-the-art by more than 12 Accuracy points on three well-known benchmarks.


title: Designing Unimodular Sequences with Optimized Auto/cross-correlation Properties via Consensus-ADMM/PDMM Approaches

abstract: Unimodular sequences with good auto/cross-correlation properties are favorable in wireless communication and radar applications. In this paper, we focus on designing these kinds of sequences. The main content is as follows: first, we formulate the designing problem as a quartic polynomial minimization problem with constant modulus constraints; second, by introducing auxiliary phase variables, the polynomial minimization problem is equivalent to a consensus nonconvex optimization problem; third, to achieve its good approximate solution efficiently, we propose two efficient algorithms based on alternating direction method of multipliers (ADMM) and parallel direction method of multipliers (PDMM); fourth, we prove that the consensus-ADMM algorithm can converge to some stationary point of the original nonconvex problem and consensus-PDMM's output is some stationary point of the original nonconvex problem if it is convergent. Moreover, we also analyze the nonconvex optimization model's local optimality and computational complexity of the proposed consensus-ADMM/PDMM approaches. Simulation results demonstrate that the proposed ADMM/PDMM approaches outperform state-of-the-art ones in either computational cost or correlation properties of the designed unimodular sequences.


title: Between the von Neumann inequality and the Crouzeix conjecture

abstract: A new concept of a deformed numerical range $W^\rho(T)$ is introduced. Here $T$ is a bounded linear operator or a matrix and $ \rho \in[1,+\infty)$ is a parameter. Each $W^\rho(T)$ is a closed convex set that contains the spectrum of $T$. Furthermore, $W^\rho(T)$ is decreasing with respect to $ \rho $ and $W^2(T)$ coincides with the numerical range. It is also shown that $W^\rho(T)$ is contained in the closed unit disc if and only if $T$ has a $\rho$ unitary dilation in the sense of N\'agy-Foia\c s. The spectral constants of $W^\rho(T)$ are investigated, it is shown that it is monotone and continuous with respect to the parameter $ \rho $.


title: Finite dimensional modules over quantum toroidal algebras

abstract: The representations of the quantum toroidal algebras have been widely studied by many authors. However, no one has constructed some finite dimensional modules for them while $q$ is generic. In this paper, for all $\mathfrak{g}$-generic $q$, if $\mathfrak{g}$ is not of type $A_1$, we prove that the quantum toroidal algebra $U_q(\mathfrak{g}_{\rm tor})$ has no nontrivial finite dimensional simple module.


title: Multi-Level Order-Flow Imbalance in a Limit Order Book

abstract: We study the multi-level order-flow imbalance (MLOFI), which is a vector quantity that measures the net flow of buy and sell orders at different price levels in a limit order book (LOB). Using a recent, high-quality data set for 6 liquid stocks on Nasdaq, we fit a simple, linear relationship between MLOFI and the contemporaneous change in mid-price. For all 6 stocks that we study, we find that the out-of-sample goodness-of-fit of the relationship improves with each additional price level that we include in the MLOFI vector. Our results underline how order-flow activity deep into the LOB can influence the price-formation process.


title: Inverse scattering transform for two-level systems with nonzero background

abstract: We formulate the inverse scattering transform for the scalar Maxwell-Bloch system of equations describing the resonant interaction of light and active optical media in the case when the light intensity does not vanish at infinity. We show that pure background states in general do not exist with a nonzero background field. We then use the formalism to compute explicitly the soliton solutions of this system. We discuss the initial population of atoms and show that the pure soliton solutions do not correspond to a pure state initially. We obtain a representation for the soliton solutions in determinant form, and explicitly write down the one-soliton solutions. We next derive periodic solutions and rational solutions from the one-soliton solutions. We then analyze the properties of these solutions, including discussion of the sharp-line and small-amplitude limits, and thereafter show that the two limits do not commute. Finally, we investigate the behavior of general solutions, showing that solutions are stable (i.e., the radiative parts of solutions decay) only when initially atoms in the ground state dominant, i.e., initial population inversion is negative.


title: Avoiding Membrane Locking with Regge Interpolation

abstract: In this paper we present a novel method to overcome membrane locking of thin shells. An interpolation operator into the so-called Regge finite element space is inserted in the membrane energy term to weaken the implicitly given kernel constraints. The number of constraints is asymptotically halved on triangular meshes compared to reduced integration techniques. Provided the interpolant, this approach can be incorporated easily into any shell element. The performance of the proposed method is demonstrated by means of several benchmark examples.


title: Pointwise adaptive kernel density estimation under local approximate differential privacy

abstract: We consider non-parametric density estimation in the framework of local approximate differential privacy. In contrast to centralized privacy scenarios with a trusted curator, in the local setup anonymization must be guaranteed already on the individual data owners' side and therefore must precede any data mining tasks. Thus, the published anonymized data should be compatible with as many statistical procedures as possible. We suggest adding Laplace noise and Gaussian processes (both appropriately scaled) to kernel density estimators to obtain approximate differential private versions of the latter ones. We obtain minimax type results over Sobolev classes indexed by a smoothness parameter $s>1/2$ for the mean squared error at a fixed point. In particular, we show that taking the average of private kernel density estimators from $n$ different data owners attains the optimal rate of convergence if the bandwidth parameter is correctly specified. Notably, the optimal convergence rate in terms of the sample size $n$ is $n^{-(2s-1)/(2s+1)}$ under local differential privacy and thus deteriorated to the rate $n^{-(2s-1)/(2s)}$ which holds without privacy restrictions. Since the optimal choice of the bandwidth parameter depends on the smoothness $s$ and is thus not accessible in practice, adaptive methods for bandwidth selection are necessary and must, in the local privacy framework, be performed directly on the anonymized data. We address this problem by means of a variant of Lepski's method tailored to the privacy setup and obtain general oracle inequalities for private kernel density estimators. In the Sobolev case, the resulting adaptive estimator attains the optimal rate of convergence at least up to extra logarithmic factors.


title: Robust Archives Maximize Scientific Accessibility

abstract: We present a bibliographic analysis of Chandra, Hubble, and Spitzer publications. We find (a) archival data are used in >60% of the publication output and (b) archives for these missions enable a much broader set of institutions and countries to scientifically use data from these missions. Specifically, we find that authors from institutions that have published few papers from a given mission publish 2/3 archival publications, while those with many publications typically have 1/3 archival publications. We also show that countries with lower GDP per capita overwhelmingly produce archival publications, while countries with higher GDP per capital produce guest observer and archival publications in equal amounts. We argue that robust archives are thus not only critical for the scientific productivity of mission data, but also the scientific accessibility of mission data. We argue that the astronomical community should support archives to maximize the overall scientific societal impact of astronomy, and represent an excellent investment in astronomy's future.


title: Combinatorial t-designs from quadratic functions

abstract: Combinatorial $t$-designs have been an interesting topic in combinatorics for decades. It was recently reported that the image sets of a fixed size of certain special polynomials may constitute a $t$-design. Till now only a small amount of work on constructing $t$-designs from special polynomials has been done, and it is in general hard to determine their parameters. In this paper, we investigate this idea further by using quadratic functions over finite fields, thereby obtain infinite families of $2$-designs, and explicitly determine their parameters. The obtained designs cover some earlier $2$-designs as special cases. Furthermore, we confirmed Conjecture $3$ in Ding and Tang (arXiv: 1903.07375, 2019).


title: New coincidence point and fixed point theorems for essential distances and $e^{0}$-metrics

abstract: In this paper, we establish some new fixed point theorems and coincidence point theorems for essential distances and $e^{0}$-metrics which generalize and improve Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point theorem, Nadler's fixed point theorem and Banach contraction principle and many known results in the literature.


title: Schauder theorems for a class of (pseudo-)differential operators on finite and infinite dimensional state spaces

abstract: We prove maximal regularity results in H\"older and Zygmund spaces for linear stationary and evolution equations driven by a large class of differential and pseudo-differential operators L, both in finite and in infinite dimension. The assumptions are given in terms of the semigroup generated by L. We cover the cases of fractional Laplacians and Ornstein-Uhlenbeck operators with fractional diffusion in finite dimension, and several types of local and nonlocal Ornstein-Uhlenbeck operators, as well as the Gross Laplacian and its negative powers, in infinite dimension.


title: Geometry of Entanglement

abstract: In the context of the surface-state correspondence we propose the geodesic curvature of a convex curve as a local measure of factorization of the dual CFT state. Its integral will be interpreted as computing the bipartite entanglement among degrees of freedom with support on the chosen domain. We will derive results through application of the Gauss-Bonnet theorem and show quantitative agreement with computations using the MERA tensor network and the formalism of entanglement density.


title: Downward Terrestrial Gamma-ray Flash observed in Winter Thunderstorm

abstract: During a winter thunderstorm on 2017 November 24, a strong burst of gamma rays with energies up to $\sim$10~MeV was detected coincident with a lightning discharge, by scintillation detectors installed at Kashiwazaki-Kariwa Nuclear Power Station at sea level in Japan. The burst had a sub-second duration, which is suggestive of photoneutron productions. The leading part of the burst was resolved into four intense gamma-ray bunches, each coincident with a low-frequency radio pulse. These bunches were separated by 0.7--1.5~ms, with a duration of $\ll$1~ms each. Thus, the present burst may be considered as a ``downward" terrestrial gamma-ray flash (TGF), which is analogous to up-going TGFs observed from space. Although the scintillation detectors were heavily saturated by these bunches, the total dose associated with them was successfully measured by ionization chambers, employed by nine monitoring posts surrounding the power plant. From this information and Monte Carlo simulations, the present downward TGF is suggested to have taken place at an altitude of 2500 $\pm$ 500~m, involving $8^{+8}_{-4} \times 10^{18}$ avalanche electrons with energies above 1~MeV. This number is comparable to those in up-going TGFs.


title: 'Two Dogmas' Redux

abstract: About ten years ago, Itamar Pitowsky and I wrote a paper, 'Two dogmas about quantum mechanics,' in which we outlined an information-theoretic interpretation of quantum mechanics as an alternative to the Everett interpretation. Here I revisit the paper and, following Frauchiger and Renner, I show that the Everett interpretation leads to modal contradictions in 'Wigner's-Friend'-type scenarios that involve 'encapsulated' measurements, where a super-observer (which could be a quantum automaton), with unrestricted ability to measure any arbitrary observable of a complex quantum system, measures the memory of an observer system (also possibly a quantum automaton) after that system measures the spin of a qubit. In this sense, the Everett interpretation is inconsistent.


title: Observational constraints on the magnetic field of the bright transient Be/X-ray pulsar SXP 4.78

abstract: We report results of the spectral and timing analysis of the Be/X-ray pulsar SXP 4.78 using the data obtained during its recent outburst with NuSTAR, Swift, Chandra and NICER observatories. Using an overall evolution of the system luminosity, spectral analysis and variability power spectrum we obtain constraints on the neutron star magnetic field strength. We found a rapid evolution of the variability power spectrum during the rise of the outburst, and absence of the significant changes during the flux decay. Several low frequency quasi-periodic oscillation features are found to emerge on the different stages of the outburst, but no clear clues on their origin were found in the energy spectrum and overall flux behaviour. We use several indirect methods to estimate the magnetic field strength on the neutron star surface and found that most of them suggest magnetic field $B \lesssim 2 \times10^{12}$ G. The strictest upper limit comes from the absence of the cyclotron absorption features in the energy spectra and suggests relatively weak magnetic field $B < 6 \times 10^{11}$ G.


title: Self-sustaining process of minimal attached eddies in turbulent channel flow

abstract: It has been recently shown that the energy-containing motions in turbulent channel flow exist in the form of Townsend's attached eddies by a numerical experiment which simulates the energy-containing motions only at a prescribed spanwise length scale using their self-sustaining nature (Hwang, 2015, J. Fluid Mech., 767, p254). In the present study, a detailed investigation of the self-sustaining process of the energy-containing motions at each spanwise length scale (i.e. the attached eddies) in the logarithmic and outer regions is carried out with an emphasis on its relevance to 'bursting', which refers to an energetic temporal oscillation of the motions (Flores & Jim\'enez, 2010, Phys. Fluids, 22, 071704). It is shown that the attached eddies in the logarithmic and outer regions, composed of streaks and quasi-streamwise vortical structures, bear the self-sustaining process remarkably similar to that in the near-wall region: i.e. the streaks are significantly amplified by the quasi-streamwise vortices via the lift-up effect; the amplified streaks subsequently undergo a 'rapid streamwise meandering motion', reminiscent of streak instability or transient growth, which eventually results in breakdown of the streaks and regeneration of new quasi-streamwise vortices. Two numerical experiments, designed to artificially suppress the lift-up effect and the streak meandering motions, respectively, reveal that these processes are essential ingredients of the self-sustaining process of the attached eddies in the logarithmic and outer regions, consistent with several previous theoretical studies. It is also shown that the artificial suppression of the lift-up effect of the attached eddies in the logarithmic and outer regions leads to substantial amounts of turbulent skin-friction reduction.


title: Vector Coherent Oscillation Dark Matter

abstract: We construct a model of hidden massive vector boson dark matter as a homogeneous coherent oscillation in the entire universe without any dangerous instability. We make use of a particular form of the vector boson coupling to a scalar field through the gauge kinetic function. This scenario may be distinguished from other dark matter models through the observation of statistical anisotropy in the dark matter isocurvature perturbation.


title: Markov-switching State Space Models for Uncovering Musical Interpretation

abstract: For concertgoers, musical interpretation is the most important factor in determining whether or not we enjoy a classical performance. Every performance includes mistakes---intonation issues, a lost note, an unpleasant sound---but these are all easily forgotten (or unnoticed) when a performer engages her audience, imbuing a piece with novel emotional content beyond the vague instructions inscribed on the printed page. While music teachers use imagery or heuristic guidelines to motivate interpretive decisions, combining these vague instructions to create a convincing performance remains the domain of the performer, subject to the whims of the moment, technical fluency, and taste. In this research, we use data from the CHARM Mazurka Project---forty-six professional recordings of Chopin's Mazurka Op. 63 No. 3 by consumate artists---with the goal of elucidating musically interpretable performance decisions. Using information on the inter-onset intervals of the note attacks in the recordings, we apply functional data analysis techniques enriched with prior information gained from music theory to discover relevant features and perform hierarchical clustering. The resulting clusters suggest methods for informing music instruction, discovering listening preferences, and analyzing performances.


title: A new bound for the crossing number of wrapped butterflies

abstract: We fix an error in the bound obtained in [13] for the crossing number of wrapped butterflies. The new bound finer than the one provided earlier.


title: On the Global Convergence of Actor-Critic: A Case for Linear Quadratic Regulator with Ergodic Cost

abstract: Despite the empirical success of the actor-critic algorithm, its theoretical understanding lags behind. In a broader context, actor-critic can be viewed as an online alternating update algorithm for bilevel optimization, whose convergence is known to be fragile. To understand the instability of actor-critic, we focus on its application to linear quadratic regulators, a simple yet fundamental setting of reinforcement learning. We establish a nonasymptotic convergence analysis of actor-critic in this setting. In particular, we prove that actor-critic finds a globally optimal pair of actor (policy) and critic (action-value function) at a linear rate of convergence. Our analysis may serve as a preliminary step towards a complete theoretical understanding of bilevel optimization with nonconvex subproblems, which is NP-hard in the worst case and is often solved using heuristics.


title: State Estimation in Visual Inertial Autonomous Helicopter Landing Using Optimisation on Manifold

abstract: Autonomous helicopter landing is a challenging task that requires precise information about the aircraft states regarding the helicopters position, attitude, as well as position of the helipad. To this end, we propose a solution that fuses data from an Inertial Measurement Unit (IMU) and a monocular camera which is capable of detecting helipads position in the image plane. The algorithm utilises manifold based nonlinear optimisation over preintegrated IMU measurements and reprojection error in temporally uniformly distributed keyframes, exhibiting good performance in terms of accuracy and being computationally feasible. Our contributions of this paper are the formal address of the landmarks Jacobian expressions and the adaptation of equality constrained Gauss-Newton method to this specific problem. Numerical simulations on MATLAB/Simulink confirm the validity of given claims.


title: Some Remarks on dual helicity flag-dipole spinors

abstract: In this report we advance into a mapping procedure transmuting a single helicity spinor to a dual helicity spinor. Such a mathematical mechanism reveal us a class of spinor which fits into fourth class within Lounesto classification. The focus of the present manuscript is to expose the algebraic construction of flag-dipole spinors and briefly explore its underlying physical and mathematical contents.


title: Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling

abstract: We present new techniques for automatically constructing probabilistic programs for data analysis, interpretation, and prediction. These techniques work with probabilistic domain-specific data modeling languages that capture key properties of a broad class of data generating processes, using Bayesian inference to synthesize probabilistic programs in these modeling languages given observed data. We provide a precise formulation of Bayesian synthesis for automatic data modeling that identifies sufficient conditions for the resulting synthesis procedure to be sound. We also derive a general class of synthesis algorithms for domain-specific languages specified by probabilistic context-free grammars and establish the soundness of our approach for these languages. We apply the techniques to automatically synthesize probabilistic programs for time series data and multivariate tabular data. We show how to analyze the structure of the synthesized programs to compute, for key qualitative properties of interest, the probability that the underlying data generating process exhibits each of these properties. Second, we translate probabilistic programs in the domain-specific language into probabilistic programs in Venture, a general-purpose probabilistic programming system. The translated Venture programs are then executed to obtain predictions of new time series data and new multivariate data records. Experimental results show that our techniques can accurately infer qualitative structure in multiple real-world data sets and outperform standard data analysis methods in forecasting and predicting new data.


title: Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing

abstract: Consistency requirements for state-of-the-art stream processing systems are defined in terms of delivery guarantees. Exactly-once is the strongest one and the most desirable for end-user. However, there are several issues regarding this concept. Commonly used techniques that enforce exactly-once produce significant performance overhead. Besides, the notion of exactly-once is not formally defined and does not capture all properties that provide stream processing systems supporting this guarantee. In this paper, we introduce a formal framework that allows us to define streaming guarantees more regularly. We demonstrate that the properties of delivery, consistency, and determinism are tightly connected within distributed stream processing. We also show that having lightweight determinism, it is possible to provide exactly-once with almost no performance overhead. Experiments show that the proposed approach can significantly outperform alternative industrial solutions.


title: Imaging over an unlimited bandwidth with a single diffractive surface

abstract: It is generally thought that correcting chromatic aberrations in imaging requires multiple surfaces. Here, we show that by allowing the phase in the image plane of a flat lens to be a free parameter, it is possible to correct chromatic aberrations over an almost unlimited bandwidth with a single diffractive surface. Specifically, we designed, fabricated and characterized a flat multi-level diffractive lens (MDL) that images at the wavelengths from 450nm to 850nm. We experimentally characterized the focusing efficiency, modulation-transfer function, wavefront aberrations, vignetting, distortion and signal-to-noise ratio performance of a camera comprised of this MDL and a conventional image sensor. Further, we designed two MDLs with operating wavelengths from 500nm to 15{\mu}m, and from 2{\mu}m to 150{\mu}m, respectively. With no apparent limitation in the operating bandwidth, such flat lenses could replace multiple refractive surfaces that are traditionally required for chromatic corrections, leading to thinner, lighter and simpler imaging systems with bandwidth limited primarily by the quantum efficiency of the sensor.


title: Turbulent radial thermal counterflow in the framework of the HVBK model

abstract: We apply the coarse-grained Hall-Vinen-Bekarevich-Khalatnikov (HVBK) equations to model the statistically steady-state, turbulent, cylindrically symmetric radial counterflow generated by a moderately large heat flux from the surface of a cylinder immersed in superfluid $^4$He. We show that a time-independent solution exists only if a spatial non-uniformity of temperature and the dependence on temperature of the thermodynamic properties are accounted for. We demonstrate the formation of a thermal boundary layer whose thickness grows with temperature of the cylinder's surface, and analyze the properties of the flow in the radial direction, including the local average vortex line density.