title: Continuous bulk and interface description of topological insulators

abstract: We analyze continuous partial differential models of topological insulators in the form of systems of Dirac equations. We describe the bulk and interface topological properties of the materials by means of indices of Fredholm operators constructed from the Dirac operators by spectral calculus. We show the stability of these topological invariants with respect to perturbations by a large class of spatial heterogeneities. These models offer a quantitative tool to analyze the interplay between topology and spatial fluctuations in topological phases of matter. The theory is first presented for two-dimensional materials, which display asymmetric (chiral) transport along interfaces. It is then generalized to arbitrary dimensions with the additional assumption of chiral symmetry in odd spatial dimensions.


title: On the Normality of Negative Interest Rates

abstract: We argue that a negative interest rate policy (NIRP) can be an effect tool for macroeconomic stabilization. We first discuss how implementing negative rates on reserves held at a central bank does not pose any theoretical difficulty, with a reduction in rates operating in exactly the same way when rates are positive or negative, and show that this is compatible with an endogenous money point of view. We then propose a simplified stock-flow consistent macroeconomic model where rates are allowed to become arbitrarily negative and present simulation evidence for their stabilizing effects. In practice, the existence of physical cash imposes a lower bound for interest rates, which in our view is the main reason for the lack of effectiveness of negative interest rates in the countries that adopted them as part of their monetary policy. We conclude by discussing alternative ways to overcome this lower bound , in particular the use of central bank digital currencies.


title: The Importance of Generation Order in Language Modeling

abstract: Neural language models are a critical component of state-of-the-art systems for machine translation, summarization, audio transcription, and other tasks. These language models are almost universally autoregressive in nature, generating sentences one token at a time from left to right. This paper studies the influence of token generation order on model quality via a novel two-pass language model that produces partially-filled sentence "templates" and then fills in missing tokens. We compare various strategies for structuring these two passes and observe a surprisingly large variation in model quality. We find the most effective strategy generates function words in the first pass followed by content words in the second. We believe these experimental results justify a more extensive investigation of generation order for neural language models.


title: Uniform K-theory, and Poincare duality for uniform K-homology

abstract: We revisit Spakula's uniform K-homology, construct the external product for it and use this to deduce homotopy invariance of uniform K-homology. We define uniform K-theory and on manifolds of bounded geometry we give an interpretation of it via vector bundles of bounded geometry. We further construct a cap product with uniform K-homology and prove Poincare duality between uniform K-theory and uniform K-homology on spin-c manifolds of bounded geometry.


title: Multivariate Extension of Matrix-based Renyi's \alpha-order Entropy Functional

abstract: The matrix-based Renyi's \alpha-order entropy functional was recently introduced using the normalized eigenspectrum of a Hermitian matrix of the projected data in a reproducing kernel Hilbert space (RKHS). However, the current theory in the matrix-based Renyi's \alpha-order entropy functional only defines the entropy of a single variable or mutual information between two random variables. In information theory and machine learning communities, one is also frequently interested in multivariate information quantities, such as the multivariate joint entropy and different interactive quantities among multiple variables. In this paper, we first define the matrix-based Renyi's \alpha-order joint entropy among multiple variables. We then show how this definition can ease the estimation of various information quantities that measure the interactions among multiple variables, such as interactive information and total correlation. We finally present an application to feature selection to show how our definition provides a simple yet powerful way to estimate a widely-acknowledged intractable quantity from data. A real example on hyperspectral image (HSI) band selection is also provided.


title: Improving Abstraction in Text Summarization

abstract: Abstractive text summarization aims to shorten long text documents into a human readable form that contains the most important facts from the original document. However, the level of actual abstraction as measured by novel phrases that do not appear in the source document remains low in existing approaches. We propose two techniques to improve the level of abstraction of generated summaries. First, we decompose the decoder into a contextual network that retrieves relevant parts of the source document, and a pretrained language model that incorporates prior knowledge about language generation. Second, we propose a novelty metric that is optimized directly through policy learning to encourage the generation of novel phrases. Our model achieves results comparable to state-of-the-art models, as determined by ROUGE scores and human evaluations, while achieving a significantly higher level of abstraction as measured by n-gram overlap with the source document.


title: Notes on the Sagnac effect in General Relativity

abstract: The Sagnac effect can be described as the difference in travel time between two photons traveling along the same path in opposite directions. In this paper we explore the consequences of this characterisation in the context of General Relativity. We derive a general expression for this time difference in an arbitrary space-time for arbitrary paths. In general, this formula is not very useful since it involves solving a differential equation along the path. However, we also present special cases where a closed form expression for the time difference can be given. The main part of the paper deals with the discussion of the effect in a small neighbourhood of an arbitrarily moving observer in their arbitrarily rotating reference frame. We also discuss the special case of stationary space-times and point out the relationship between the Sagnac effect and Fizeau's "aether-drag" experiment.


title: On Efficiency of the Plug-in Principle for Estimating Smooth Integrated Functionals of a Nonincreasing Density

abstract: We consider the problem of estimating smooth integrated functionals of a monotone nonincreasing density $f$ on $[0,\infty)$ using the nonparametric maximum likelihood based plug-in estimator. We find the exact asymptotic distribution of this natural (tuning parameter-free) plug-in estimator, properly normalized. In particular, we show that the simple plug-in estimator is always $\sqrt{n}$-consistent, and is additionally asymptotically normal with zero mean and the semiparametric efficient variance for estimating a subclass of integrated functionals. Compared to the previous results on this topic (see e.g., Nickl (2007), Gine and Nickl (2008), Jankowski (2014), and Sohl (2015)) our results hold for a much larger class of functionals (which include linear and non-linear functionals) under less restrictive assumptions on the underlying $f$ --- we do not require $f$ to be (i) smooth, (ii) bounded away from $0$, or (iii) compactly supported. Further, when $f$ is the uniform distribution on a compact interval we explicitly characterize the asymptotic distribution of the plug-in estimator --- which now converges at a non-standard rate --- thereby extending the results in Groeneboom and Pyke (1983) for the case of the quadratic functional.


title: No solitary waves in 2-d gravity and capillary waves in deep water

abstract: A fundamental question in the study of water waves is the existence and stability of solitary waves. Solitary waves have been proved to exist and have been studied in many interesting situations, and often arise from the balance of different forces/factors influencing the fluid dynamics, e.g. gravity, surface tension or the fluid bottom. However, the existence of solitary waves has remained an open problem in two of the simplest cases, namely for either pure gravity waves or pure capillary waves in infinite depth. In this article we settle both of these questions in two space dimensions. Precisely, we consider incompressible, irrotational, infinite depth water wave equation, either with gravity and without surface tension, or without gravity but with surface tension. In both of these cases we prove that there are no solitary waves.


title: Overview of Fabrication Techniques and Lessons Learned With Accelerator Vacuum Windows

abstract: Vacuum thin windows have been used in Fermilab's accelerators for decades and typically have been overlooked in terms of their criticality and fragility. Vacuum windows allow beam to pass through while creating a boundary between vacuum and air or high vacuum and low vacuum areas. The design of vacuum windows, including Titanium and Beryllium windows, will be discussed as well as fabrication, testing, and operational concerns. Failure of windows will be reviewed as well as safety approaches to mitigating failures and extending the lifetimes of vacuum windows. Various methods of calculating the strengths of vacuum windows will be explored, including FEA.


title: Phase-change switching in 2D via soft interactions

abstract: We present a new type of phase-change behavior relevant for information storage applications, that can be observed in 2D systems with cluster-forming ability. The temperature-based control of the ordering in 2D particle systems depends on the existence of a crystal-to-glass transition. We perform molecular dynamics simulations of models with soft interactions, demonstrating that the crystalline and amorphous structures can be easily tuned by heat pulses. The physical mechanism responsible for this behavior is a self-assembled polydispersity, that depends on the cluster-forming ability of the interactions. Therefore, the range of real materials that can perform such a transition is very wide in nature, reading from colloidal suspensions to vortex matter. The state of the art in soft matter experimental setups, controlling interactions, polydispersity and dimensionality, makes it a very fertile ground for practical applications.


title: Conditional expectation of the duration of the classical gambler problem with defects

abstract: The effect of space inhomogeneities on a diffusing particle is studied in the framework of the 1D random walk. The typical time needed by a particle to cross a one--dimensional finite lane, the so--called residence time, is computed possibly in presence of a drift. A local inhomogeneity is introduced as a single defect site with jumping probabilities differing from those at all the other regular sites of the system. We find complex behaviors in the sense that the residence time is not monotonic as a function of some parameters of the model, such as the position of the defect site. In particular we show that introducing at suitable positions a defect opposing to the motion of the particles decreases the residence time, i.e., favors the flow of faster particles. The problem we study in this paper is strictly connected to the classical gambler's ruin problem, indeed, it can be thought as that problem in which the rules of the game are changed when the gambler's fortune reaches a particular a priori fixed value. The problem is approached both numerically, via Monte Carlo simulations, and analytically with two different techniques yielding different representations of the exact result.


title: The Period Analysis of the Hierarchical System DI Peg

abstract: The existence of an additional body around a binary system can be detected by the help of the light-travel time effect. Due to the motions of binary and the companion stars around the common mass center of the ternary system, the light-time effect produces an irregularity on the eclipse timings. Monitoring the variations in these timings, sub-stellar or planet companions orbiting around the binary system can be identified. In this paper, additional bodies orbiting the Algol type binary DI Peg are examined by using the archival eclipse timings including our CCD data observed at the Ankara University Kreiken Observatory. More than five hundred minimum times equivalent to around nine decades are employed to identify the orbital behavior of the binary system. The best fit to the timings shows that the orbital period of DI Peg has variation due to an integration of two sinusoids with the periods of $P_3 = 49.50\pm0.36$ yr and $P_4 = 27.40\pm0.24$ yr. The orbital change is thought to be most likely due to the existence of two M-type red dwarf companions with the masses of $M_3 =0.213 \pm 0.021$ M$_\odot$ and $M_4 = 0.151 \pm 0.008$ M$_\odot$, assuming that the orbits of additional bodies are co-planar with the orbit of the binary system. Also, the residuals of two sinusoidal fits still seem to show another modulation with the period of roughly $P = 19.5$ yr. The origin of this modulation is not clear and more observational data are required to reveal if the periodicity is caused by another object gravitationally bounded to the system.


title: SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems

abstract: The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-learning techniques. This trend makes it challenging to provide strong design-time certification of correct operation. To address these challenges, we present SOTER, a robotics programming framework with two key components: (1) a programming language for implementing and testing high-level reactive robotics software and (2) an integrated runtime assurance (RTA) system that helps enable the use of uncertified components, while still providing safety guarantees. SOTER provides language primitives to declaratively construct a RTA module consisting of an advanced, high-performance controller (uncertified), a safe, lower-performance controller (certified), and the desired safety specification. The framework provides a formal guarantee that a well-formed RTA module always satisfies the safety specification, without completely sacrificing performance by using higher performance uncertified components whenever safe. SOTER allows the complex robotics software stack to be constructed as a composition of RTA modules, where each uncertified component is protected using a RTA module. To demonstrate the efficacy of our framework, we consider a real-world case-study of building a safe drone surveillance system. Our experiments both in simulation and on actual drones show that the SOTER-enabled RTA ensures the safety of the system, including when untrusted third-party components have bugs or deviate from the desired behavior.


title: Optical Stochastic Cooling Experiment At The Fermilab IOTA Ring

abstract: Beam cooling enables an increase of peak and average luminosities and significantly expands the discovery potential of colliders; therefore, it is an indispensable component of any modern design. Optical Stochastic Cooling (OSC) is a high-bandwidth, beam-cooling technique that will advance the present state-of-the-art, stochastic cooling rate by more than three orders of magnitude. It is an enabling technology for next-generation, discovery-science machines at the energy and intensity frontiers including hadron and electron-ion colliders. This paper presents the status of our experimental effort to demonstrate OSC at the Integrable Optics Test Accelerator (IOTA) ring, a testbed for advanced beam-physics concepts and technologies that is currently being commissioned at Fermilab. Our recent efforts are centered on the development of an integrated design that is prepared for final engineering and fabrication. The paper also presents a comparison of theoretical calculations and numerical simulations of the pickup-undulator radiation and its interaction with electrons in the kicker-undulator.


title: Boundaries of Baumslag-Solitar Groups

abstract: A $\mathcal{Z}$-structure on a group $G$ was introduced by Bestvina in order to extend the notion of a group boundary beyond the realm of CAT(0) and hyperbolic groups. A refinement of this notion, introduced by Farrell and Lafont, includes a $G$-equivariance requirement, and is known as an $\mathcal{EZ}$-structure. The general questions of which groups admit $\mathcal{Z}$- or $\mathcal{EZ}$-structures remain open. In this paper we add to the current knowledge by showing that all Baumslag-Solitar groups admit $\mathcal{EZ}$-structures and all generalized Baumslag-Solitar groups admit $\mathcal{Z}$-structures.


title: The Structure of Equilibria in Trading Networks with Frictions

abstract: Several structural results for the set of competitive equilibria in trading networks with frictions are established: The lattice theorem, the rural hospitals theorem, the existence of side-optimal equilibria, and a group-incentive-compatibility result hold with imperfectly transferable utility and in the presence of frictions. While our results are developed in a trading network model, they also imply analogous (and new) results for exchange economies with combinatorial demand and for two-sided matching markets with transfers.


title: The Equation of State of MH-III: a possible deep CH$_4$ reservoir in Titan, Super-Titan exoplanets and moons

abstract: We investigate the thermal equation of state, bulk modulus, thermal expansion coefficient, and heat capacity of MH-III (CH$_4$ filled-ice Ih), needed for the study of CH$_4$ transport and outgassing for the case of Titan and super-Titans. We employ density functional theory and ab initio molecular dynamics simulations in the generalized-gradient approximation with a van der Waals functional. We examine the finite temperature range of $300$K-$500$K and pressures between $2$GPa-$7$GPa. We find that in this P-T range MH-III is less dense than liquid water. There is uncertainty in the normalized moment of inertia (MOI) of Titan; it is estimated to be in the range of $0.33-0.34$. If Titan's MOI is $0.34$, MH-III is not stable at present in Titan's interior, yielding an easier path for the outgassing of CH$_4$. However, for an MOI of $0.33$, MH-III is thermodynamically stable at the bottom of a ice-rock internal layer capable of storing CH$_4$. For rock mass fractions $\lessapprox 0.2$ upwelling melt is likely hot enough to dissociate MH-III along its path. For super-Titans considering a mixture of MH-III and ice VII, melt is always positively buoyant if the H$_2$O:CH$_4$ mole fraction is $>5.5$. Our thermal evolution model shows that MH-III may be present today in Titan's core, confined to a thin ($\approx 10$km) outer shell. We find that the heat capacity of MH-III is higher than measured values for pure water-ice, larger than heat capacity often adopted for ice-rock mixtures with implications for internal heating.


title: Stationary and non-stationary solutions of the evolution equation for neutrino in matter

abstract: We study solutions of the equation which describes the evolution of a neutrino propagating in dense homogeneous medium in the framework of the quantum field theory. In the two-flavor model the explicit form of Green function is obtained, and as a consequence the dispersion law for a neutrino in matter is derived. It is shown that there exist both the solutions describing the stationary states and the solutions describing the spin-flavor coherent states of the neutrino. The stationary states may be different from the mass eigenstates, and the wave function of a state with a definite flavor should be constructed as a linear combination of the wave functions of the stationary states with coefficients, which depend on the mixing angle in matter. In the ultra-relativistic limit the wave functions of the spin-flavor coherent states coincide with the solutions of the quasi-classical evolution equation. Quasi-classical approximation of the wave functions of spin-flavor coherent states is used to calculate the probabilities of transitions between neutrino states with definite flavor and helicity.


title: Natural Stabilization of the Higgs Boson's Mass and Alignment

abstract: Current data from the LHC indicate that the 125 GeV Higgs boson, $H$, is either the single Higgs of the Standard Model or, to a good approximation, an "aligned Higgs". We propose that $H$ is the pseudo-Goldstone dilaton of Gildener and Weinberg. Models based on their mechanism of scale symmetry breaking can naturally account for the Higgs boson's low mass and aligned couplings. We conjecture that they are the only way to achieve a "Higgslike dilaton" that is actually the Higgs boson. These models further imply the existence of additional Higgs bosons in the vicinity of 200 to about 550 GeV. We illustrate our proposal in a version of the two-Higgs-doublet model of Lee and Pilaftsis. Our version of this model is consistent with published precision electroweak and collider physics data. We describe tests to confirm, or exclude, this model at Run 3 of the LHC.


title: Demonstration of Slow Light in a Rubidium Vapour Using Single Photons from a Trapped Ion

abstract: Practical implementation of quantum networks are likely to interface different types of quantum systems. When photonic interconnects link the systems together, they must preserve the quantum properties of the photon. These light-matter interfaces may be used as necessary communication tools, such as to synchronise photon arrival times for entanglement distribution. Trapped ions are strong candidates for communication nodes owing to their long qubit life time (C. Langer, et al., PRL., 238, 060502, (2005)) and high fidelity ion-photon entanglement (A. Stute, et al., Nat., 485, 482, (2012)), whilst neutral atoms are versatile quantum systems, useful as memories (L.M. Duan, et al., Nat., 414, 413 (2001), B. Jing, et al., arXiv:1801.01193, H. P. Specht, Nat., 473, 190 (2011)), for photon storage (O. Katz, et al., Nat. Comm., 9, 2074 (2018)) or tunable photon delay via slow light (R. M. Camacho et al., PRA, 73, 063812, (2006), Camacho et al., PRL, 98, 153601, (2007)). Development of these two quantum technologies has largely proceeded in separate tracks, partly due to their disparate wavelengths of operation, but combining these platforms offers a compelling hybrid quantum system for use in quantum networking and distributed quantum computing. Here, we demonstrate the first interaction of photons emitted from a trapped ion, with neutral atoms by implementing slow light in a warm atomic vapour. We use two hyperfine absorption resonances in a warm $^{87}$Rb vapour to provide a slow light medium in which a single photon from a trapped Ba$^+$ ion is delayed by up to 13.5$\pm$0.5 ns. The delay is tunable and preserves the temporal properties of the photons. This result showcases a hybrid interface, useful for linking different quantum systems together, or as a synchronisation tool for the arrival times of photons - an essential tool for future quantum networks.


title: On Quantization of a Slow Rotating Kerr Black Hole

abstract: In this article we calculate the total angular momentum for Kerr space-time for slow rotations. In order to analyze the role of such quantity we apply Weyl quantization method to obtain a quantum equation for the z-component of the angular momentum and for the squared angular momentum as well. We present an approximated solution by means the Adomian method. In such a method we find out a discrete angular momentum.


title: An overview of process model quality literature - The Comprehensive Process Model Quality Framework

abstract: The rising interest in the construction and the quality of (business) process models resulted in an abundancy of emerged research studies and different findings about process model quality. The lack of overview and the lack of consensus hinder the development of the research field. The research objective is to collect, analyse, structure, and integrate the existing knowledge in a comprehensive framework that strives to find a balance between completeness and relevance without hindering the overview. The Systematic Literature Review methodology was applied to collect the relevant studies. Because several studies exist that each partially addresses this research objective, the review was performed at a tertiary level. Based on a critical analysis of the collected papers, a comprehensive, but structured overview of the state of the art in the field was composed. The existing academic knowledge about process model quality was carefully integrated and structured into the Comprehensive Process Model Quality Framework (CPMQF). The framework summarizes 39 quality dimensions, 21 quality metrics, 28 quality (sub)drivers, 44 (sub)driver metrics, 64 realization initiatives and 15 concrete process model purposes related to 4 types of organizational benefits, as well as the relations between all of these. This overview is thus considered to form a valuable instrument for both researchers and practitioners that are concerned about process model quality. The framework is the first to address the concept of process model quality in such a comprehensive way.


title: Financial Aspect-Based Sentiment Analysis using Deep Representations

abstract: The topic of aspect-based sentiment analysis (ABSA) has been explored for a variety of industries, but it still remains much unexplored in finance. The recent release of data for an open challenge (FiQA) from the companion proceedings of WWW '18 has provided valuable finance-specific annotations. FiQA contains high quality labels, but it still lacks data quantity to apply traditional ABSA deep learning architecture. In this paper, we employ high-level semantic representations and methods of inductive transfer learning for NLP. We experiment with extensions of recently developed domain adaptation methods and target task fine-tuning that significantly improve performance on a small dataset. Our results show an 8.7% improvement in the F1 score for classification and an 11% improvement over the MSE for regression on current state-of-the-art results.


title: Modeling High-Dimensional Time Series: A Factor Model with Dynamically Dependent Factors and Diverging Eigenvalues

abstract: This article proposes a new approach to modeling high-dimensional time series by treating a $p$-dimensional time series as a nonsingular linear transformation of certain common factors and idiosyncratic components. Unlike the approximate factor models, we assume that the factors capture all the non-trivial dynamics of the data, but the cross-sectional dependence may be explained by both the factors and the idiosyncratic components. Under the proposed model, (a) the factor process is dynamically dependent and the idiosyncratic component is a white noise process, and (b) the largest eigenvalues of the covariance matrix of the idiosyncratic components may diverge to infinity as the dimension $p$ increases. We propose a white noise testing procedure for high-dimensional time series to determine the number of white noise components and, hence, the number of common factors, and introduce a projected Principal Component Analysis (PCA) to eliminate the diverging effect of the idiosyncratic noises. Asymptotic properties of the proposed method are established for both fixed $p$ and diverging $p$ as the sample size $n$ increases to infinity. We use both simulated data and real examples to assess the performance of the proposed method. We also compare our method with two commonly used methods in the literature concerning the forecastability of the extracted factors and find that the proposed approach not only provides interpretable results, but also performs well in out-of-sample forecasting. Supplementary materials of the article are available online.


title: Thermodynamic calculation of spin scaling functions

abstract: Critical phenomena theory centers on the scaled thermodynamic potential per spin $\phi(\beta, h)=|t|^{p}Y(h|t|^{-q})$, with inverse temperature $\beta=1/T$, $h=-\beta H$, ordering field $H$, reduced temperature $t=t(\beta)$, critical exponents $p$ and $q$, and function $Y(z)$ of $z=h|t|^{-q}$. I discuss calculating $Y(z)$ with the information geometry of thermodynamics. Scaled solutions obtain with three admissible functions $t(\beta)$: 1) $t=e^{-J\beta}$, 2) $t=\beta^{-1}$, and 3) $t=\beta_C-\beta$, where $J$ and $\beta_C$ are constants. For $p=q$, information geometry yields $Y(z)=\sqrt{1+z^2}$, consistent with the one-dimensional (1D) ferromagnetic Ising model.


title: Simultaneous Switching of Multiple GaN Transistors in a High-Speed Switch

abstract: A broadband travelling wave kicker operating with 80 MHz repetition rates is required for the new PIP-II accelerator at Fermilab. We present a technique to drive simultaneously four series-connected enhancement mode GaN-on-silicon power transistors by means of microwave photonics techniques. These four transistors are arranged into a high voltage and high repetition rate switch. Using multiple transistors in series is required to share switching losses. Using a photonic signal distribution system is required to achieve precise synchronization between transistors. We demonstrate 600 V arbitrary pulse generation into a 200 Ohm load with 2 ns rise/fall time. The arbitrary pulse widths can be adjusted from 4 ns to essentially DC.


title: Deconvolutional Networks for Point-Cloud Vehicle Detection and Tracking in Driving Scenarios

abstract: Vehicle detection and tracking is a core ingredient for developing autonomous driving applications in urban scenarios. Recent image-based Deep Learning (DL) techniques are obtaining breakthrough results in these perceptive tasks. However, DL research has not yet advanced much towards processing 3D point clouds from lidar range-finders. These sensors are very common in autonomous vehicles since, despite not providing as semantically rich information as images, their performance is more robust under harsh weather conditions than vision sensors. In this paper we present a full vehicle detection and tracking system that works with 3D lidar information only. Our detection step uses a Convolutional Neural Network (CNN) that receives as input a featured representation of the 3D information provided by a Velodyne HDL-64 sensor and returns a per-point classification of whether it belongs to a vehicle or not. The classified point cloud is then geometrically processed to generate observations for a multi-object tracking system implemented via a number of Multi-Hypothesis Extended Kalman Filters (MH-EKF) that estimate the position and velocity of the surrounding vehicles. The system is thoroughly evaluated on the KITTI tracking dataset, and we show the performance boost provided by our CNN-based vehicle detector over a standard geometric approach. Our lidar-based approach uses about a 4% of the data needed for an image-based detector with similarly competitive results.


title: Twisted Sequences of Extensions

abstract: Gabber and Joseph introduced a ladder diagram between two natural sequences of extensions. Their diagram is used to produce a 'twisted' sequence that is applied to old and new results on extension groups in category $\mathcal{O}$.


title: Runtime verification in Erlang by using contracts

abstract: During its lifetime, a program suffers several changes that seek to improve or to augment some parts of its functionality. However, these modifications usually also introduce errors that affect the already-working code. There are several approaches and tools that help to spot and find the source of these errors. However, most of these errors could be avoided beforehand by using some of the knowledge that the programmers had when they were writing the code. This is the idea behind the design-by-contract approach, where users can define contracts that can be checked during runtime. In this paper, we apply the principles of this approach to Erlang, enabling, in this way, a runtime verification system in this language. We define two types of contracts. One of them can be used in any Erlang program, while the second type is intended to be used only in concurrent programs. We provide the details of the implementation of both types of contracts. Moreover, we provide an extensive explanation of each contract as well as examples of their usage. All the ideas presented in this paper have been implemented in a contract-based runtime verification system named EDBC. Its source code is available at GitHub as an open-source and free project.


title: Enhancing POI testing approach through the use of additional information

abstract: Recently, a new approach to perform regression testing has been defined: the point of interest (POI) testing. A POI, in this context, is any expression of a program. The approach receives as input a set of relations between POIs from a version of a program and POIs from another version, and also a sequence of input functions, i.e. test cases. Then, a program instrumentation, an input test case generation and different comparison functions are used to obtain the final report which indicates whether the alternative version of the program behaves as expected, e.g. it produces the same values or it uses less CPU/memory. In this paper, we explain how we can improve the POI testing approach through the use of common stack traces and a more sophisticated tracing for calls. These enhancements of the approach allow users to identify errors earlier and easier. Additionally, they enable new comparison modes and new categories of reported unexpected behaviours.


title: BTFI2: a simple, light and compact Fabry-Perot instrument for the SOAR telescope

abstract: We present the concept of a new Fabry-Perot instrument called BTFI-2, which is based on the design of another Brazilian instrument for the SOAR Telescope, the Brazilian Tunable Filter Imager (BTFI). BTFI-2 is designed to be mounted on the visitor port of the SOAR Adaptive Module (SAM) facility, on the SOAR telescope, at Cerro Pach\'on, Chile. This optical Fabry-Perot instrument will have a field of view of 3 x 3 arcmin, with 0.12 arcsec per pixel and spectral resolutions of 4500 and 12000, at H-alpha, dictated by the two ICOS Fabry-Perot devices available. The instrument will be unique for the study of centers of normal, interacting and active galaxies and the intergalactic medium, whenever spatial resolution over a large area is required. BTFI-2 will combine the best features of two previous instruments, SAM-FP and BTFI: it will use an Electron Multiplication detector for low and fast scanning, it will be built with the possibility of using a new Fabry-Perot etalon which provides a range of resolutions and it will be light enough to work attached to SAM, and hence the output data cubes will be GLAO-corrected.


title: A Closed-Form Approximation of the Gaussian Noise Model in the Presence of Inter-Channel Stimulated Raman Scattering

abstract: An accurate, closed-form expression evaluating the nonlinear interference (NLI) power in coherent optical transmission systems in the presence of inter-channel stimulated Raman scattering (ISRS) is derived. The analytical result enables a rapid estimate of the signal-to-noise ratio (SNR) and avoids the need for integral evaluations and split-step simulations. The formula also provides new insight into the underlying parameter dependence of ISRS on the NLI. The proposed result is applicable for dispersion unmanaged, ultra-wideband transmission systems that use optical bandwidths of up to 15 THz. The accuracy of the closed-form expression is compared to numerical integration of the ISRS Gaussian Noise model and split-step simulations in a point-to-point transmission, as well as in a mesh optical network scenario.


title: Solving Quadratic Multi-Leader-Follower Games by Smoothing the Follower's Best Response

abstract: We derive Nash equilibria for a class of quadratic multi-leader-follower games using the nonsmooth best response function. To overcome the challenge of nonsmoothness, we pursue a smoothing approach resulting in a reformulation as a smooth Nash equilibrium problem. The existence and uniqueness of solutions are proven for all smoothing parameters. Accumulation points of Nash equilibria exist for a decreasing sequence of these smoothing parameters and we show that these candidates fulfill the conditions of s-stationarity and are Nash equilibria to the multi-leader-follower game. Finally, we propose an update on the leader variables for efficient computation and numerically compare nonsmooth Newton and subgradient methods.


title: Finite-State Contract Theory with a Principal and a Field of Agents

abstract: We use the recently developed probabilistic analysis of mean field games with finitely many states in the weak formulation, to set-up a principal / agent contract theory model where the principal faces a large population of agents interacting in a mean field manner. We reduce the problem to the optimal control of dynamics of the McKean-Vlasov type, and we solve this problem explicitly in a special case reminiscent of the linear - quadratic mean field game models. The paper concludes with a numerical example demonstrating the power of the results when applied to a simple example of epidemic containment.


title: NMR Frequency Shifts and Phase Identification in Superfluid $^3$He

abstract: The pressure dependence of the order parameter in superfluid $^3$He is amazingly simple. In the Ginzburg-Landau regime, i.e. close to $T_c$, the square of the order parameter can be accurately measured by its proportionality to NMR frequency shifts and is strictly linear in pressure. This behavior is replicated for superfluid $^3$He imbibed in isotropic and anisotropic silica aerogels. The proportionality factor is constrained by the symmetry of the superfluid state and is an important signature of the corresponding superfluid phase. For the purpose of identifying various new superfluid states in the $p$-wave manifold, the order parameter amplitude of $^3$He-A is a useful reference, and this simple pressure dependence greatly facilitates identification.


title: Stroboscopic Tests for Thermalization of Electrons in Pump/Probe Experiments

abstract: One of the goals of pump/probe spectroscopies is to determine how electrons relax after they have been driven out of equilibrium. It is challenging to determine how close electrons are to a thermal state solely by fitting their distribution to a Fermi-Dirac distribution. Instead, we propose that one compare the effective temperatures of both fermions and collective bosonic modes (derived from the fermions) to determine the distance from a thermal state. Measurements of effective fermionic and bosonic temperatures can be achieved directly via photoemission and nonresonant Raman scattering. Their difference quantifies the distance from thermal equilibrium.


title: Maximal Jacobian-based Saliency Map Attack

abstract: The Jacobian-based Saliency Map Attack is a family of adversarial attack methods for fooling classification models, such as deep neural networks for image classification tasks. By saturating a few pixels in a given image to their maximum or minimum values, JSMA can cause the model to misclassify the resulting adversarial image as a specified erroneous target class. We propose two variants of JSMA, one which removes the requirement to specify a target class, and another that additionally does not need to specify whether to only increase or decrease pixel intensities. Our experiments highlight the competitive speeds and qualities of these variants when applied to datasets of hand-written digits and natural scenes.


title: Examples of 4D, N = 2 Holoraumy

abstract: We provide an introduction to the concepts of holoraumy tensors, Lorentz covariant four-dimensional "Gadgets", and Gadget angles within the context of 4D N = 2 supermultiplets. This is followed by the calculation of the holoraumy tensors, Gadgets, and Gadget angles for minimal off-shell supermultiplets. Four tetrahedrons in four 3D subspaces of the Holoraumy lattice space are found.


title: Dynamical attractors of memristors and their networks

abstract: It is shown that the time-averaged dynamics of memristors and their networks periodically driven by alternating-polarity pulses may converge to fixed-point attractors. Starting with a general memristive system model, we derive basic equations describing the fixed-point attractors and investigate attractors in the dynamics of ideal, threshold-type and second-order memristors, and memristive networks. A memristor potential function is introduced, and it is shown that in some cases the attractor identification problem can be mapped to the problem of potential function minimization. Importantly, the fixed-point attractors may only exist if the function describing the internal state dynamics depends on an internal state variable. Our findings may be used to tune the states of analog memristors, and also be relevant to memristive synapses subjected to forward- and back-propagating spikes.


title: Statistical State Dynamics Based Study of the Role of Nonlinearity in the Maintenance of Turbulence in Couette Flow

abstract: While linear non-normality underlies the mechanism of energy transfer from the externally driven flow to the perturbation field that sustains turbulence, nonlinearity is also known to play an essential role. The goal of this study is to better understand the role of nonlinearity in sustaining turbulence. The method used in this study is implementation in Couette flow of a statistical state dynamics (SSD) closure at second order in a cumulant expansion of the Navier-Stokes equations in which the averaging operator is the streamwise mean. The perturbations are the deviations from the streamwise mean and two mechanisms potentially contributing to maintaining these perturbations are identified. These are parametric perturbation growth arising from interaction of the perturbations with the fluctuating mean flow and transient growth of perturbations arising from nonlinear interaction between components of the perturbation field. By the method of comparing the turbulence maintained in the SSD and in the associated direct numerical simulation (DNS) in which these mechanisms have been selectively included and excluded, parametric growth is found to maintain the perturbation field of the turbulence while the more commonly invoked mechanism of transient growth of perturbations arising from scattering by nonlinear interaction is found to suppress perturbation growth. In addition to verifying that the parametric mechanism maintains the perturbations in DNS it is also verified that the Lyapunov vectors are the structures that dominate the perturbation energy and energetics in DNS. It is further verified that these vectors are responsible for maintaining the roll circulation that underlies the self-sustaining process (SSP) and in particular the maintenance of the fluctuating streak that supports the parametric perturbation growth.


title: Black Magic Investigation Made Simple: Monte Carlo Simulations and Historical Back Testing of Momentum Cross-Over Strategies Using FRACTI Patterns

abstract: To promote economic stability, finance should be studied as a hard science, where scientific methods apply. When a trading strategy is proposed, the underlying model should be transparent and defined robustly to allow other researchers to understand and examine it thoroughly. Like any hard sciences, results must be repeatable to allow researchers to collaborate, and build upon each other's results. Large-scale collaboration, when applying the steps of scientific investigation, is an efficient way to leverage "crowd science" to accelerate research in finance. In this paper, we demonstrate how a real world problem in economics, an old problem still subject to a lot of debate, can be solved by the application of a crowd-powered, collaborative scientific computational framework, fully supporting the process of investigation dictated by the modern scientific method. This paper provides a real end-to-end example of investigation to illustrate the use of the framework. We intentionally selected an example that is self-contained, complete, simple, accessible, and of constant debate in both academia and the industry: the performance of a trading strategy used commonly in technical analysis. Claims of efficiency in technical analysis, referred derisively by some sources as "Black Magic", are of widespread use in mainstream media and usually met with a lot of controversy. In this paper we show that different researchers assess this strategy differently, and the subsequent debate is due more to the lack of method than purpose. Most results reported are not repeatable by other researchers. This is not satisfactory if we intend to approach finance as a hard science. To counterweight the status quo, we demonstrate what one could do by using collaborative and investigative features of contributions and leveraging the power of crowds.


title: Fractional Risk Process in Insurance

abstract: Important models in insurance, for example the Carm{\'e}r--Lundberg theory and the Sparre Andersen model, essentially rely on the Poisson process. The process is used to model arrival times of insurance claims. This paper extends the classical framework for ruin probabilities by proposing and involving the fractional Poisson process as a counting process and addresses fields of applications in insurance. The interdependence of the fractional Poisson process is an important feature of the process, which leads to initial stress of the surplus process. On the other hand we demonstrate that the average capital required to recover a company after ruin does not change when switching to the fractional Poisson regime. We finally address particular risk measures, which allow simple evaluations in an environment governed by the fractional Poisson process.


title: Predicting the COSIE-C Signal from the Outer Corona up to 3 Solar Radii

abstract: We present estimates of the signal to be expected in quiescent solar conditions, as would be obtained with the COronal Spectrographic Imager in the EUV in its coronagraphic mode (COSIE-C). COSIE-C has been proposed to routinely observe the relatively unexplored outer corona, where we know that many fundamental processes affecting both the lower corona and the solar wind are taking place. The COSIE-C spectral band, 186--205 A, is well-known as it has been observed with Hinode EIS. We present Hinode EIS observations that we obtained in 2007 out to 1.5 Rsun, to show that this spectral band in quiescent streamers is dominated by Fe XII and Fe XI and that the ionization temperature is nearly constant. To estimate the COSIE-C signal in the 1.5--3.1 Rsun region we use a model based on CHIANTI atomic data and SoHO UVCS observations in the Si XII and Mg X coronal lines of two quiescent 1996 streamers. We reproduce the observed EUV radiances with a simple density model, photospheric abundances, and a constant temperature of 1.4 MK. We show that other theoretical or semi-empirical models fail to reproduce the observations. We find that the coronal COSIE-C signal at 3 Rsun should be about 5 counts/s per 3.1" pixel in quiescent streamers. This is unprecedented and opens up a significant discovery space. We also briefly discuss stray light and the visibility of other solar features. In particular, we present UVCS observations of an active region streamer, indicating increased signal compared to the quiet Sun cases.


title: The JCMT Gould Belt Survey: SCUBA-2 Data-Reduction Methods and Gaussian Source Recovery Analysis

abstract: The JCMT Gould Belt Survey was one of the first Legacy Surveys with the James Clerk Maxwell Telescope in Hawaii, mapping 47 square degrees of nearby (< 500 pc) molecular clouds in both dust continuum emission at 850 $\mu$m and 450 $\mu$m, as well as a more-limited area in lines of various CO isotopologues. While molecular clouds and the material that forms stars have structures on many size scales, their larger-scale structures are difficult to observe reliably in the submillimetre regime using ground-based facilities. In this paper, we quantify the extent to which three subsequent data-reduction methods employed by the JCMT GBS accurately recover emission structures of various size scales, in particular, dense cores which are the focus of many GBS science goals. With our current best data-reduction procedure, we expect to recover 100% of structures with Gaussian sigma sizes of $\le$30" and intensity peaks of at least five times the local noise for isolated peaks of emission. The measured sizes and peak fluxes of these compact structures are reliable (within 15% of the input values), but source recovery and reliability both decrease significantly for larger emission structures and for fainter peaks. Additional factors such as source crowding have not been tested in our analysis. The most recent JCMT GBS data release includes pointing corrections, and we demonstrate that these tend to decrease the sizes and increase the peak intensities of compact sources in our dataset, mostly at a low level (several percent), but occasionally with notable improvement.


title: Thermal conductivity and local thermodynamic equilibrium of stochastic energy exchange models

abstract: In this paper we study macroscopic thermodynamic properties of a stochastic microscopic heat conduction model that is reduced from deterministic problems. Our goal is to numerically check how the `low energy site effect' inherited from the deterministic model would affect the macroscopic thermodynamic properties such as the thermal conductivity and the local thermodynamic equilibrium. After a series of numerical computations, our conclusion is that neither the thermal conductivity nor the existence of local thermodynamic equilibrium is qualitatively changed by this effect.


title: From Hand-Crafted to Deep Learning-based Cancer Radiomics: Challenges and Opportunities

abstract: Recent advancements in signal processing and machine learning coupled with developments of electronic medical record keeping in hospitals and the availability of extensive set of medical images through internal/external communication systems, have resulted in a recent surge of significant interest in "Radiomics". Radiomics is an emerging and relatively new research field, which refers to extracting semi-quantitative and/or quantitative features from medical images with the goal of developing predictive and/or prognostic models, and is expected to become a critical component for integration of image-derived information for personalized treatment in the near future. The conventional Radiomics workflow is typically based on extracting pre-designed features (also referred to as hand-crafted or engineered features) from a segmented region of interest. Nevertheless, recent advancements in deep learning have caused trends towards deep learning-based Radiomics (also referred to as discovery Radiomics). Considering the advantages of these two approaches, there are also hybrid solutions developed to exploit the potentials of multiple data sources. Considering the variety of approaches to Radiomics, further improvements require a comprehensive and integrated sketch, which is the goal of this article. This manuscript provides a unique interdisciplinary perspective on Radiomics by discussing state-of-the-art signal processing solutions in the context of Radiomics.


title: Delineating Effects of Nuclear Symmetry Energy on the Radii and Tidal Polarizabilities of Neutron Stars

abstract: What can we learn about the density dependence of nuclear symmetry energy $E_{\rm{sym}}(\rho )$ from precise measurements of the radius ($R_{\rm{1.4}}$) and/or tidal polarizability ($\Lambda_{1.4}$) of canonical neutron stars (NSs) with a mass of 1.4 M$_\odot$? With the $E_{\rm{sym}}(\rho )$ parameterized using three parameters $L$, $K_{\rm{sym}}$, and $J_{\rm{sym}}$ which have the asymptotic meaning of being respectively the slope, curvature, and skewness of symmetry energy at saturation density, we found that, while both the $R_{\rm{1.4}}$ and $\Lambda_{1.4}$ depend strongly on the slope $L$, the $K_{\rm{sym}}$ and $J_{\rm{sym}}$ parameters characterizing the high-density behavior of $E_{\rm{sym}}(\rho )$ also play appreciable roles. Thus, there is not a simple relation between the $\Lambda_{\rm{1.4}}$/$R_{\rm{1.4}}$ and $L$ alone. Precise measurements of just the $\Lambda_{\rm{1.4}}$ and $R_{\rm{1.4}}$ can not completely determine the $E_{\rm{sym}}(\rho )$ but limit combinations of its parameters. In particular, stringent constraints approximately independent of the $J_{\rm{sym}}$ on the $L$-$K_{\rm{sym}}$ correlations can be obtained. However, infinite combinations of the larger (smaller) $L$ and smaller (larger) $K_{\rm{sym}}$ can lead to the same $\Lambda_{\rm{1.4}}$ and $R_{\rm{1.4}}$. Additional observables including those from terrestrial nuclear experiments are thus necessary to break this degeneracy in order to completely determine the density dependence of nuclear symmetry energy $E_{\rm{sym}}(\rho )$.

categories: nucl-th astro-ph.HE astro-ph.SR gr-qc nucl-ex


title: Principles for sensitive and robust biomolecular interaction analysis - The limits of detection and resolution of diffraction-limited focal molography

abstract: Label-free biosensors enable the monitoring of biomolecular interactions in real-time, which is key to the analysis of the binding characteristics of biomolecules. While refractometric optical biosensors are sensitive and well-established, they are susceptible to any change of the refractive index in the sensing volume caused by minute variations in composition of the sample buffer, temperature drifts and nonspecific binding to the sensor surface. Refractometric biosensors require reference channels as well as temperature stabilisation and their applicability in complex fluids such as blood is limited by nonspecific bindings. Focal molography does not measure the refractive index of the entire sensing volume but detects the diffracted light from a coherent assembly of analyte molecules. Thus, it does not suffer from the limitations of refractometric sensors since they stem from non-coherent processes and therefore do not add to the coherent molographic signal. The coherent assembly is generated by selective binding of the analyte molecules to a synthetic binding pattern - the mologram. Focal Molography has been introduced theoretically and verified experimentally in previous papers. However, further understanding of the underlying physics and a diffraction-limited readout is needed to unveil its full potential. This paper introduces refined theoretical models which can accurately quantify the amount of matter bound to the mologram from the diffracted intensity. In addition, it presents measurements of diffraction-limited molographic foci. These improvements enabled us to demonstrate a resolution in real-time binding experiments comparable to the best SPR sensors, without the need of temperature stabilisation or drift correction and to detect small molecules label-free in an endpoint format. The presented experiments exemplify the robustness and sensitivity of diffractometric sensors.


title: One (more) line on the most Ancient Algorithm in History

abstract: We give a new simple and short ("one-line") analysis for the runtime of the well-known Euclidean Algorithm. While very short simple, the obtained upper bound in near-optimal.


title: Anomalous wave statistics induced by abrupt depth change

abstract: Laboratory experiments reveal that variations in bottom topography can qualitatively alter the distribution of randomized surface waves. A normally-distributed, unidirectional wave field becomes highly skewed and non-Gaussian upon encountering an abrupt depth transition. A short distance downstream of the transition, wave statistics conform closely to a gamma distribution, affording simple estimates for skewness, kurtosis, and other statistical properties. Importantly, the exponential decay of the gamma distribution is much slower than Gaussian, signifying that extreme events occur more frequently. Under the conditions considered here, the probability of a rogue wave can increase by a factor of 50 or more. We also report on the surface-slope statistics and the spectral content of the waves produced in the experiments.


title: Supporting Crowd-Powered Science in Economics: FRACTI, a Conceptual Framework for Large-Scale Collaboration and Transparent Investigation in Financial Markets

abstract: Modern investigation in economics and in other sciences requires the ability to store, share, and replicate results and methods of experiments that are often multidisciplinary and yield a massive amount of data. Given the increasing complexity and growing interaction across diverse bodies of knowledge it is becoming imperative to define a platform to properly support collaborative research and track origin, accuracy and use of data. This paper starts by defining a set of methods leveraging scientific principles and advocating the importance of those methods in multidisciplinary, computer intensive fields like computational finance. The next part of this paper defines a class of systems called scientific support systems, vis-a-vis usages in other research fields such as bioinformatics, physics and engineering. We outline a basic set of fundamental concepts, and list our goals and motivation for leveraging such systems to enable large-scale investigation, "crowd powered science", in economics. The core of this paper provides an outline of FRACTI in five steps. First we present definitions related to scientific support systems intrinsic to finance and describe common characteristics of financial use cases. The second step concentrates on what can be exchanged through the definition of shareable entities called contributions. The third step is the description of a classification system for building blocks of the conceptual framework, called facets. The fourth step introduces the meta-model that will enable provenance tracking and representation of data fragments and simulation. Finally we describe intended cases of use to highlight main strengths of FRACTI: application of the scientific method for investigation in computational finance, large-scale collaboration and simulation.

categories: q-fin.CP econ.EM econ.GN q-fin.EC q-fin.TR


title: Engineering bilinear mode coupling in circuit QED: Theory and experiment

abstract: Photonic states of superconducting microwave cavities controlled by transmon ancillas provide a platform for encoding and manipulating quantum information. A key challenge in scaling up the platform is the requirement to communicate on demand the information between the cavities. It has been recently demonstrated that a tunable bilinear interaction between two cavities can be realized by coupling them to a bichromatically-driven transmon ancilla, which allows swapping and interfering the multi-photon states of the cavities [Gao et al., Phys. Rev. X 8, 021073(2018)]. Here, we explore both theoretically and experimentally the regime of relatively strong drives on the ancilla needed to achieve fast SWAP gates but which can also lead to undesired non-perturbative effects that lower the SWAP fidelity. We develop a theoretical formalism based on linear response theory that allows one to calculate the rate of ancilla-induced interaction, decay and frequency shift of the cavities in terms of a susceptibility matrix. We treat the drives non-perturbatively using Floquet theory, and find that the interference of the two drives can strongly alter the system dynamics even in the regime where the rotating wave approximation applies. We identify two major sources of infidelity due to ancilla decoherence. i) Ancilla dissipation and dephasing leads to incoherent hopping among Floquet states which occurs even when the ancilla is at zero temperature, resulting in a sudden change of the SWAP rate. ii) The cavities inherit finite decay from the relatively lossy ancilla through the inverse Purcell effect; the effect can be enhanced when the drive-induced AC Stark shift pushes certain ancilla transition frequencies to the vicinity of the cavity frequencies. The theoretical predictions agree quantitatively with the experimental results, paving the way for using the theory to design future experiments.


title: Decentralized Control of a Hexapod Robot Using a Wireless Time Synchronized Network

abstract: Robots and control systems rely upon precise timing of sensors and actuators in order to operate intelligently. We present a functioning hexapod robot that walks with a dual tripod gait; each tripod is actuated using its own local controller running on a separate wireless node. We compare and report the results of operating the robot using two different decentralized control schemes. With the first scheme, each controller relies on its own local clock to generate control signals for the tripod it controls. With the second scheme, each controller relies on a variable that is local to itself but that is necessarily the same across controllers as a by-product of their host nodes being part of a time synchronized IEEE802.15.4e network. The gait synchronization error (time difference between what both controllers believe is the start of the gait period) grows linearly when the controllers use their local clocks, but remains bounded to within 112 microseconds when the controllers use their nodes' time synchronized local variable.


title: Learning Human-Object Interactions by Graph Parsing Neural Networks

abstract: This paper addresses the task of detecting and recognizing human-object interactions (HOI) in images and videos. We introduce the Graph Parsing Neural Network (GPNN), a framework that incorporates structural knowledge while being differentiable end-to-end. For a given scene, GPNN infers a parse graph that includes i) the HOI graph structure represented by an adjacency matrix, and ii) the node labels. Within a message passing inference framework, GPNN iteratively computes the adjacency matrices and node labels. We extensively evaluate our model on three HOI detection benchmarks on images and videos: HICO-DET, V-COCO, and CAD-120 datasets. Our approach significantly outperforms state-of-art methods, verifying that GPNN is scalable to large datasets and applies to spatial-temporal settings. The code is available at https://github.com/SiyuanQi/gpnn.


title: Signature change in matrix model solutions

abstract: Various classical solutions to lower dimensional IKKT-like Lorentzian matrix models are examined in their commutative limit. Poisson manifolds emerge in this limit, and their associated induced and effective metrics are computed. Signature change is found to be a common feature of these manifolds when quadratic and cubic terms are included in the bosonic action. In fact, a single manifold may exhibit multiple signature changes. Regions with Lorentzian signature may serve as toy models for cosmological space-times, complete with cosmological singularities, occurring at the signature change. The singularities are resolved away from the commutative limit. Toy models of open and closed cosmological space-times are given in two and four dimensions. The four dimensional cosmologies are constructed from non-commutative complex projective spaces, and they are found to display a rapid expansion near the initial singularity.


title: The Optimal Memory-Rate Trade-off for the Non-uniform Centralized Caching Problem with Two Files under Uncoded Placement

abstract: A new scheme for the problem of centralized coded caching with non-uniform demands is proposed. The distinguishing feature of the proposed placement strategy is that it admits equal sub-packetization for all files while allowing the users to allocate more cache to the files which are more popular. This creates natural broadcasting opportunities in the delivery phase which are simultaneously helpful for the users who have requested files of different popularities. For the case of two files, we propose a new delivery strategy based on interference alignment which enables each user to decode his desired file following a two-layer peeling decoder. Furthermore, we extend the existing converse bounds for uniform demands under uncoded placement to the nonuniform case. To accomplish this, we construct $N!$ auxiliary users, corresponding to all permutations of the $N$ files, each caching carefully selected sub-packets of the files. Each auxiliary user provides a different converse bound. The overall converse bound is the maximum of all these $N!$ bounds. We prove that our achievable delivery rate for the case of two files meets this converse, thereby establishing the optimal expected memory-rate trade-off for the case of $K$ users and two files with arbitrary popularities under uncoded placement.


title: A transport method for restoring incomplete ocean current measurements

abstract: Remote sensing of oceanographic data often yields incomplete coverage of the measurement domain. This can limit interpretability of the data and identification of coherent features informative of ocean dynamics. Several methods exist to fill gaps of missing oceanographic data, and are often based on projecting the measurements onto basis functions or a statistical model. Herein, we use an information transport approach inspired from an image processing algorithm. This approach aims to restore gaps in data by advecting and diffusing information of features as opposed to the field itself. Since this method does not involve fitting or projection, the portions of the domain containing measurements can remain unaltered, and the method offers control over the extent of local information transfer. This method is applied to measurements of ocean surface currents by high frequency radars. This is a relevant application because data coverage can be sporadic and filling data gaps can be essential to data usability. Application to two regions with differing spatial scale is considered. The accuracy and robustness of the method is tested by systematically blinding measurements and comparing the restored data at these locations to the actual measurements. These results demonstrate that even for locally large percentages of missing data points, the restored velocities have errors within the native error of the original data (e.g., $<10$% for velocity magnitude and $<3$% for velocity direction). Results were relatively insensitive to model parameters, facilitating a priori selection of default parameters for de novo applications.


title: Studies of Boundary Entropy in AdS/BCFT

abstract: In this paper we review the AdS/BCFT proposal of T. Takayanagi for holographic description of systems with boundaries, in particular, boundary conformal field theories (BCFTs). Motivated by better understanding of the proposed duality we employ entanglement entropy as a probe of familiar properties of impurities and defects. Using the dual gravity description, we check that in two spacetime dimensions the impurity entropy does not depend on a particular state of the theory, which is a well-known CFT result. In three dimensions different, and not necessarily equivalent, definitions of the defect entropy can be given. We compute the entanglement entropy of a line defect at finite temperature and compare it with earlier calculations of the thermodynamical entropy. The results indicate that the entanglement entropy flows to the definition of the entropy as the Bekenstein-Hawking entropy associated to a portion of the black horizon, which we call impurity "shadow". Geometric configurations, which we discuss, provide examples of RG flows of the defect entropies. We outline the connection between the geometric picture of the RG flows and examples of lattice calculations. We also discuss some new generalizations of the AdS/BCFT geometries.


title: Left ventricle quantification through spatio-temporal CNNs

abstract: Cardiovascular diseases are among the leading causes of death globally. Cardiac left ventricle (LV) quantification is known to be one of the most important tasks for the identification and diagnosis of such pathologies. In this paper, we propose a deep learning method that incorporates 3D spatio-temporal convolutions to perform direct left ventricle quantification from cardiac MR sequences. Instead of analysing slices independently, we process stacks of temporally adjacent slices by means of 3D convolutional kernels which fuse the spatio-temporal information, incorporating the temporal dynamics of the heart to the learned model. We show that incorporating such information by means of spatio-temporal convolutions into standard LV quantification architectures improves the accuracy of the predictions when compared with single-slice models, achieving competitive results for all cardiac indices and significantly breaking the state of the art (Xue et al., 2018, MedIA) for cardiac phase estimation.


title: Slow--fast systems and sliding on codimension 2 switching manifolds

abstract: In this work we consider piecewise smooth vector fields $X$ defined in $\R^n\setminus \Sigma$, where $\Sigma$ is a self-intersecting switching manifold. A double regularization of $X$ is a 2-parameter family of smooth vector fields $X_{\e.\eta}$, $\e,\eta>0,$ satisfying that $X_{\e,\eta}$ converges pointwise to $X$ on $\R^n\setminus\Sigma$, when $\e,\eta\rightarrow 0$. We define the sliding region on the non regular part of $\Sigma$ as a limit of invariant manifolds of $X_{\e.\eta}$. Since the double regularization provides a slow--fast system, the GSP-theory (geometric singular perturbation theory) is our main tool.


title: Nonlinear Schr\"odinger equations and the universal description of dispersive shock wave structure

abstract: The nonlinear Schr\"odinger (NLS) equation and the Whitham modulation equations both describe slowly varying, locally periodic nonlinear wavetrains, albeit in differing amplitude-frequency domains. In this paper, we take advantage of the overlapping asymptotic regime that applies to both the NLS and Whitham modulation descriptions in order to develop a universal analytical description of dispersive shock waves (DSWs) generated in Riemann problems for a broad class of integrable and non-integrable nonlinear dispersive equations. The proposed method extends DSW fitting theory that prescribes the motion of a DSW's edges into the DSW's interior, i.e., this work reveals the DSW structure. Our approach also provides a natural framework in which to analyze DSW stability. We consider several representative, physically relevant examples that illustrate the efficacy of the developed general theory. Comparisons with direct numerical simulations show that inclusion of higher order terms in the NLS equation enables a remarkably accurate description of the DSW structure in a broad region that extends from the harmonic, small amplitude edge.


title: Properties of Lerch Sums and Ramanujan's Mock Theta Functions

abstract: In this article we study properties of Ramanujan's mock theta functions that can be expressed in Lerch sums. We mainly show that each Lerch sum is actually the integral of a Jacobian theta function (here we show that for $\vartheta_3(t,q)$ and $\vartheta_4(t,q)$) and the $\sec-$function. We also prove some modular relations and evaluate the Fourier coefficients of a class of Lerch sums.


title: Rethinking Image Sensor Noise for Forensic Advantage

abstract: Sensor pattern noise has been found to be a reliable tool for providing information relating to the provenance of an image. Conventionally sensor pattern noise is modelled as a mutual interaction of pixel non-uniformity noise and dark current. By using a wavelet denoising filter it is possible to isolate a unique signal within a sensor caused by the way the silicon reacts non-uniformly to light. This signal is often referred to as a fingerprint. To obtain the estimate of this photo response non-uniformity multiple sample images are averaged and filtered to derive a noise residue. This process and model, while useful at providing insight into an images provenance, fails to take into account additional sources of noise that are obtained during this process. These other sources of noise include digital processing artefacts collectively known as camera noise, image compression artefacts, lens artefacts, and image content. By analysing the diversity of sources of noise remaining within the noise residue, we show that further insight is possible within a unified sensor pattern noise concept which opens the field to approaches for obtaining fingerprints utilising fewer resources with comparable performance to existing methods.


title: Projected Coupled Cluster Theory: Optimization of cluster amplitudes in the presence of symmetry projection

abstract: Methods which aim at universal applicability must be able to describe both weak and strong electronic correlation with equal facility. Such methods are in short supply. The combination of symmetry projection for strong correlation and coupled cluster theory for weak correlation offers tantalizing promise to account for both on an equal footing. In order to do so, however, the coupled cluster portion of the wave function must be optimized in the presence of the symmetry projection. This paper discusses how this may be accomplished, and shows the importance of doing so for both the Hubbard model Hamiltonian and the molecular Hamiltonian, all with a computational scaling comparable to that of traditional coupled cluster theory.


title: Data-driven Exploration of New Pressure-induced Superconductivity in PbBi$_2$Te$_4$ with Two Transition Temperatures

abstract: Candidates compounds for new thermoelectric and superconducting materials, which have narrow band gap and flat bands near band edges, were exhaustively searched by the high-throughput first-principles calculation from an inorganic materials database named AtomWork. We focused on PbBi$_2$Te$_4$ which has the similar electronic band structure and the same crystal structure with those of a pressure-induced superconductor SnBi2Se4 explored by the same data-driven approach. The PbBi$_2$Te$_4$ was successfully synthesized as single crystals using a melt and slow cooling method. The core level X-ray photoelectron spectroscopy analysis revealed Pb2+, Bi3+ and Te2- valence states in PbBi$_2$Te$_4$. The thermoelectric properties of the PbBi$_2$Te$_4$ sample were measured at ambient pressure and the electrical resistivity was also evaluated under high pressure using a diamond anvil cell with boron-doped diamond electrodes. The resistivity decreased with increase of the pressure, and two pressure-induced superconducting transitions were discovered at 3.4 K under 13.3 GPa and at 8.4 K under 21.7 GPa. The data-driven approach shows promising power to accelerate the discovery of new thermoelectric and superconducting materials.


title: Stability of scalar nonlinear fractional differential equations with linearly dominated delay

abstract: In this paper, we study the asymptotic behavior of solutions to a scalar fractional delay differential equations around the equilibrium points. More precise, we provide conditions on the coefficients under which a linear fractional delay equation is asymptotically stable and show that the asymptotic stability of the trivial solution is preserved under a small nonlinear Lipschitz perturbation of the fractional delay differential equation.


title: A Communication Protocol for Man-Machine Networks

abstract: One of the most challenging coordination problems in artificial intelligence is to achieve successful collaboration across large-scale heterogeneous systems that include Robots, Agents, and People (RAP). In the best case, these RAP systems are potentially capable of leveraging the strengths of the individual entities to achieve complex distributed tasks. However, without intelligent communication protocols, man-machine partnerships are likely to fail as the humans become overloaded with irrelevant information. This paper introduces a communication protocol for man machine systems and demonstrates that its message routing performance approaches the central optimized solution in a simulated smart environment scenario.


title: Isoperimetric inequalities for eigenvalues of the Laplacian on cycles with fixed resistance metric

abstract: For cycles with non-negative weights on its edges, we define its global resistance as the sum of the distances given by the effective resistance metric between adjacent vertices. We prove the following result: for the Laplace operator on the 3-cycle with global resistance equal to a given constant, the maximal value of the smallest positive eigenvalue and the minimal value of the largest eigenvalue, are both attained if and only if all the weights are equal to each other.


title: A Comparison of Constitutive Models of Blood

abstract: Mathematical models that accurately predict the mechanical behavior of blood can contribute to the development of biomedical devices and medications which are relevant in clinical applications. The models existing in the literature are complex enough in order to agree with various in vitro experimental observations. Latest technological advancements opened the possibility of studying blood flow in vivo which could play an important role in the creation of biocompatible implants for health monitoring and treatment purposes. However, most of existing models may fail to predict blood behavior in vivo because they require many parameters which are difficult to find in vivo and they do not incorporate pertinent coupled chemo-mechanical dynamics specific to blood flow in a living body. Recently, we used the fractional model of continuum mechanics proposed by Drapaca and Sivaloganathan [J. Elast.,107: 105-123, 2012] to study blood circulation. In this mathematical formulation the spatial derivatives of the rate of deformation tensor are expressed using Caputo fractional derivatives. The aim of this paper is to compare the Poiseuille flows of blood through an axi-symmetric circular rigid and impermeable pipe where the blood is described by the above mentioned fractional model, the Casson's model, and the power law model. Although the velocity profiles of these three models look similar, the fractional model provides a better fitting to published experimental data.


title: Jet Radiation Properties of 4C +49.22: from the Core to Large-Scale Knots

abstract: 4C +49.22 is a gamma-ray flat spectrum radio quasar with a bright and knotty jet. We investigate the properties of the core and large-scale knots by using their spectral energy distributions (SEDs). Analyzing its Fermi/LAT data in the past 8 years, a long-term steady gamma-ray emission component is found besides bright outbursts. For the core region, the gamma-ray emission together with the simultaneous emission in the low-energy bands at different epochs is explained with the single-zone leptonic model. The derived magnetization parameters and radiation efficiencies of the radio-core jet decrease as gamma-ray flux decays, likely indicating that a large part of the magnetic energy is converted to the kinetic energy of particles in pc-scale. For the large-scale knots, their radio-optical-X-ray SEDs can be reproduced with the leptonic model by considering the inverse Compton scattering of cosmic microwave background photons. The sum of the predicted gamma-ray fluxes of these knots is comparable to that observed with LAT at 10^{24} Hz of the steady gamma-ray component, indicating that the steady gamma-ray emission may be partially contributed by these large-scale knots. This may conceal the flux variations of the low-level gamma-ray emission from the radio-core. The derived bulk Lorentz factors of the knots decrease along the distance to the core, illustrating as deceleration of jet in large-scale. The powers of the core and knots are roughly in the same order, but the jet changes from highly magnetized at the core region into particle-dominated at the large-scale knots.


title: Casimir Effect in (2+1)-dimensional Yang-Mills Theory as a Probe of the Magnetic Mass

abstract: We consider the Casimir effect in a gauge-invariant Hamiltonian formulation of nonabelian gauge theories in (2+1) dimensions, for an arbitrary gauge group. We show that the result is in good agreement with recent lattice simulations. We also argue that the Casimir effect may be viewed as a good probe of magnetic screening effects in (3+1)-dimensional gauge theories at high temperatures.


title: Ontology Reasoning with Deep Neural Networks

abstract: The ability to conduct logical reasoning is a fundamental aspect of intelligent human behavior, and thus an important problem along the way to human-level artificial intelligence. Traditionally, logic-based symbolic methods from the field of knowledge representation and reasoning have been used to equip agents with capabilities that resemble human logical reasoning qualities. More recently, however, there has been an increasing interest in using machine learning rather than logic-based symbolic formalisms to tackle these tasks. In this paper, we employ state-of-the-art methods for training deep neural networks to devise a novel model that is able to learn how to effectively perform logical reasoning in the form of basic ontology reasoning. This is an important and at the same time very natural logical reasoning task, which is why the presented approach is applicable to a plethora of important real-world problems. We present the outcomes of several experiments, which show that our model is able to learn to perform highly accurate ontology reasoning on very large, diverse, and challenging benchmarks. Furthermore, it turned out that the suggested approach suffers much less from different obstacles that prohibit logic-based symbolic reasoning, and, at the same time, is surprisingly plausible from a biological point of view.


title: Ising ferromagnet to valence bond solid transition in a one-dimensional spin chain: Analogies to deconfined quantum critical points

abstract: We study a one-dimensional (1d) system that shows many analogies to proposed two-dimensional (2d) deconfined quantum critical points (DQCP). Our system is a translationally invariant spin-1/2 chain with on-site $Z_2 \times Z_2$ symmetry and time reversal symmetry. It undergoes a direct continuous transition from a ferromagnet (FM), where one of the $Z_2$ symmetries and the time reversal are broken, to a valence bond solid (VBS), where all on-site symmetries are restored while the translation symmetry is broken. The other $Z_2$ symmetry remains unbroken throughout, but its presence is crucial for both the direct transition (via specific Berry phase effect on topological defects, also related to a Lieb-Schultz-Mattis-like theorem) and the precise characterization of the VBS phase (which has crystalline-SPT-like property). The transition has a description in terms of either two domain wall species that "fractionalize" the VBS order parameter or in terms of partons that "fractionalize" the FM order parameter, with each picture having its own $Z_2$ gauge structure. The two descriptions are dual to each other and, at long wavelengths, take the form of a self-dual \emph{gauged} Ashkin-Teller model, reminiscent of the self-dual easy-plane non-compact CP$^1$ model that arises in the description of the 2d easy-plane DQCP. We also find an exact reformulation of the transition that leads to a simple field theory description that explicitly unifies the FM and VBS order parameters; this reformulation can be interpreted as a new parton approach that does not attempt to fractionalize either of the two order parameters but instead encodes them in instantons. Besides providing explicit realizations of many ideas proposed in the context of the 2d DQCP, here in the simpler and fully tractable 1d setting with continuous transition, our study also suggests possible new line of approach to the 2d DQCP.


title: Proximal Policy Optimization and its Dynamic Version for Sequence Generation

abstract: In sequence generation task, many works use policy gradient for model optimization to tackle the intractable backpropagation issue when maximizing the non-differentiable evaluation metrics or fooling the discriminator in adversarial learning. In this paper, we replace policy gradient with proximal policy optimization (PPO), which is a proved more efficient reinforcement learning algorithm, and propose a dynamic approach for PPO (PPO-dynamic). We demonstrate the efficacy of PPO and PPO-dynamic on conditional sequence generation tasks including synthetic experiment and chit-chat chatbot. The results show that PPO and PPO-dynamic can beat policy gradient by stability and performance.


title: Analysis of Noise Contrastive Estimation from the Perspective of Asymptotic Variance

abstract: There are many models, often called unnormalized models, whose normalizing constants are not calculated in closed form. Maximum likelihood estimation is not directly applicable to unnormalized models. Score matching, contrastive divergence method, pseudo-likelihood, Monte Carlo maximum likelihood, and noise contrastive estimation (NCE) are popular methods for estimating parameters of such models. In this paper, we focus on NCE. The estimator derived from NCE is consistent and asymptotically normal because it is an M-estimator. NCE characteristically uses an auxiliary distribution to calculate the normalizing constant in the same spirit of the importance sampling. In addition, there are several candidates as objective functions of NCE. We focus on how to reduce asymptotic variance. First, we propose a method for reducing asymptotic variance by estimating the parameters of the auxiliary distribution. Then, we determine the form of the objective functions, where the asymptotic variance takes the smallest values in the original estimator class and the proposed estimator classes. We further analyze the robustness of the estimator.


title: Implementing Strassen's Algorithm with CUTLASS on NVIDIA Volta GPUs

abstract: Conventional GPU implementations of Strassen's algorithm (Strassen) typically rely on the existing high-performance matrix multiplication (GEMM), trading space for time. As a result, such approaches can only achieve practical speedup for relatively large, "squarish" matrices due to the extra memory overhead, and their usages are limited due to the considerable workspace. We present novel Strassen primitives for GPUs that can be composed to generate a family of Strassen algorithms. Our algorithms utilize both the memory and thread hierarchies on GPUs, reusing shared memory and register files inherited from GEMM, fusing additional operations, and avoiding extra workspace. We further exploit intra- and inter-kernel parallelism by batching, streaming, and employing atomic operations. We also develop a performance model for NVIDIA Volta GPUs to select the appropriate blocking parameters and predict the performance for GEMM and Strassen. Overall, our 1-level Strassen can achieve up to 1.11x speedup with a crossover point as small as 1,536 compared to cublasSgemm on a NVIDIA Tesla V100 GPU. With additional workspace, our 2-level Strassen can achieve 1.19x speedup with a crossover point at 7,680.


title: Non-Universal Gaugino Masses in the NMSSM

abstract: The Next-to-Minimal Supersymmetric Standard Model (NMSSM) provides a natural framework to realize a low-scale supersymmetric (SUSY) model, where a singlet superfield is added to the minimal model to generate a SUSY-scale higgsino mass term with its vacuum expectation value. Due to the presence of the extra singlet field, the vacuum conditions to realize the correct electroweak symmetry-breaking become fairly restrictive especially if we impose universality conditions at the unification scale. In this paper, we show that a non-universal gaugino mass spectrum can significantly relax this restriction even though the scalar masses and trilinear couplings are subject to universality conditions. With the gaugino non-universality, we find that higgsino can be the lightest SUSY particle and its thermal relic abundance can reproduce the observed dark matter density in a wide range of parameter space in which the 125~GeV Higgs-boson mass is obtained. This higgsino-like dark matter may be probed in direct detection experiments. We also find that there is an upper bound on the masses of supersymmetric particles in this scenario, and many model points predict colored particles such as gluino to be within the reach of a future 100~TeV collider. Implications for no-scale/gaugino-mediation models are also discussed.


title: Introducing the Perception-Distortion Tradeoff into the Rate-Distortion Theory of General Information Sources

abstract: Blau and Michaeli recently introduced a novel concept for inverse problems of signal processing, that is, the perception-distortion tradeoff. We introduce their tradeoff into the rate distortion theory of lossy source coding in information theory, and clarify the tradeoff among information rate, distortion and perception for general information sources.


title: Electromagnetic analogue space-times, analytically and algebraically

abstract: While quantum field theory could more aptly be called the "quantum field framework" $-$ as it encompasses a vast variety of varying concepts and theories $-$ in comparison, relativity, both special and general, is more commonly portrayed as less of a "general framework". Viewed from this perspective, the paradigm of "analogue space-times" is to promote the specific theory of general relativity (Einstein gravity) to a framework which covers relativistic phenomena at large. Ultimately, this then also gives rise to new proposals for experiments in the laboratory, as it allows one to move general features of the "relativistic framework" from general relativity to entirely new fields. This allows experiments looking into analogies of currently unobservable phenomena of general relativity proper. The only requirement for this to work is the presence of a notion of an upper limit for propagation speeds in this new field. Systems of such a kind abound in physics, as all hyperbolic wave equations fulfil this requirement. Consequently, models for analogue space-times can be found aplenty. We shall demonstrate this here in two separate analogue space-time models, both taken from electrodynamics in continuous media. First of all, one can distinguish between analytic analogue models (where the analogy is based on some specific hyperbolic differential equation), on the one hand, and algebraic models (where the analogy is fashioned from the more or less explicit appearance of a metric tensor), on the other hand. Yet this distinction is more than just a matter of taste: The analogue space-time model's nature will also determine which physical concepts from general relativity can be taken easily into an experimental context. Examples of this will the main aim of this paper, and the Hawking effect in one of the two models considered the example of most immediate experimental interest.


title: Hair distributions in noncommutative Einstein-Born-Infeld black holes

abstract: We study hair mass distributions in noncommutative Einstein-Born-Infeld hairy black holes with non-zero cosmological constants. We find that the larger noncommutative parameter makes the hair easier to condense in the near horizon area. We also show that Hod's lower bound can be evaded in the noncommutative gravity. However, for large black holes with a non-negative cosmological constant, Hod's lower hair mass bound almost holds in the sense that nearly half of the hair lays above the photonsphere.


title: A Semi-Markov Chain Approach to Modeling Respiratory Patterns Prior to Extubation in Preterm Infants

abstract: After birth, extremely preterm infants often require specialized respiratory management in the form of invasive mechanical ventilation (IMV). Protracted IMV is associated with detrimental outcomes and morbidities. Premature extubation, on the other hand, would necessitate reintubation which is risky, technically challenging and could further lead to lung injury or disease. We present an approach to modeling respiratory patterns of infants who succeeded extubation and those who required reintubation which relies on Markov models. We compare the use of traditional Markov chains to semi-Markov models which emphasize cross-pattern transitions and timing information, and to multi-chain Markov models which can concisely represent non-stationarity in respiratory behavior over time. The models we developed expose specific, unique similarities as well as vital differences between the two populations.


title: Making Bubbling Practical

abstract: Bubbling is a run-time graph transformation studied for the execution of non-deterministic steps in functional logic computations. This transformation has been proven correct, but as currently formulated it requires information about the entire context of a step, even when the step affects only a handful of nodes. Therefore, despite some advantages, it does not appear to be competitive with approaches that require only localized information, such as backtracking and pull-tabbing. We propose a novel algorithm that executes bubbling steps accessing only local information. To this aim, we define graphs that have an additional attribute, a dominator of each node, and we maintain this attribute when a rewrite and/or bubbling step is executed. When a bubbling step is executed, the dominator is available at no cost, and only local information is accessed. Our work makes bubbling practical, and theoretically competitive, for implementing non-determinism in functional logic computations.


title: Predicting Extubation Readiness in Extreme Preterm Infants based on Patterns of Breathing

abstract: Extremely preterm infants commonly require intubation and invasive mechanical ventilation after birth. While the duration of mechanical ventilation should be minimized in order to avoid complications, extubation failure is associated with increases in morbidities and mortality. As part of a prospective observational study aimed at developing an accurate predictor of extubation readiness, Markov and semi-Markov chain models were applied to gain insight into the respiratory patterns of these infants, with more robust time-series modeling using semi-Markov models. This model revealed interesting similarities and differences between newborns who succeeded extubation and those who failed. The parameters of the model were further applied to predict extubation readiness via generative (joint likelihood) and discriminative (support vector machine) approaches. Results showed that up to 84\% of infants who failed extubation could have been accurately identified prior to extubation.


title: Undersampling and Bagging of Decision Trees in the Analysis of Cardiorespiratory Behavior for the Prediction of Extubation Readiness in Extremely Preterm Infants

abstract: Extremely preterm infants often require endotracheal intubation and mechanical ventilation during the first days of life. Due to the detrimental effects of prolonged invasive mechanical ventilation (IMV), clinicians aim to extubate infants as soon as they deem them ready. Unfortunately, existing strategies for prediction of extubation readiness vary across clinicians and institutions, and lead to high reintubation rates. We present an approach using Random Forest classifiers for the analysis of cardiorespiratory variability to predict extubation readiness. We address the issue of data imbalance by employing random undersampling of examples from the majority class before training each Decision Tree in a bag. By incorporating clinical domain knowledge, we further demonstrate that our classifier could have identified 71% of infants who failed extubation, while maintaining a success detection rate of 78%.


title: Deep Feature Pyramid Reconfiguration for Object Detection

abstract: State-of-the-art object detectors usually learn multi-scale representations to get better results by employing feature pyramids. However, the current designs for feature pyramids are still inefficient to integrate the semantic information over different scales. In this paper, we begin by investigating current feature pyramids solutions, and then reformulate the feature pyramid construction as the feature reconfiguration process. Finally, we propose a novel reconfiguration architecture to combine low-level representations with high-level semantic features in a highly-nonlinear yet efficient way. In particular, our architecture which consists of global attention and local reconfigurations, is able to gather task-oriented features across different spatial locations and scales, globally and locally. Both the global attention and local reconfiguration are lightweight, in-place, and end-to-end trainable. Using this method in the basic SSD system, our models achieve consistent and significant boosts compared with the original model and its other variations, without losing real-time processing speed.


title: Choosing 1 of N with and without lucky numbers

abstract: How many fair coin tosses to choose 1 of $n$ options with uniform probability? Although a probability problem, the solution is essentially number-theoretic, with special roles for Mersenne numbers, Fermat numbers, and the haupt exponent. We propose a bit-efficient scheme, prove optimality, derive the expected number of coin tosses $e[n]$, characterize its fractal structure, and develop sharp upper and lower bounds, both discrete and continuous. A minor but noteworthy corollary, with real-world examples, is that any lottery or simulation with finite budget of random bits will have a predictable pattern of lucky and unlucky numbers.