title: Chandra Observations of the Massive Star-Forming Region Onsala 2

abstract: Previous radio and infrared observations have revealed an obscured region of high-mass star formation in Cygnus known as Onsala 2 (ON 2). Within this region lies the optically-revealed young stellar cluster Berkeley 87 which contains several OB stars and the rare oxygen-type Wolf-Rayet star WR 142. Previous radio studies of ON 2 have also discovered masers and several H II regions excited by embedded OB stars. Radio and GAIA parallaxes have now shown that the H II regions are more distant than Berkeley 87. We summarize two Chandra X-ray observations of ON 2 which detected more than 300 X-ray sources. Several optically-identified stars in Berkeley 87 were detected including massive OB stars and WR 142, the latter being a faint hard source whose X-ray emission likely arises in hot thermal plasma. Intense X-ray emission was detected near the compact H II regions G75.77+0.34 and G75.84+0.40 consisting of numerous point sources and diffuse emission. Heavily-absorbed X-ray sources and their near-IR counterparts that may be associated with the exciting OB stars of the H II regions are identified. Shocked winds from embedded massive stars offer a plausible explanation of the diffuse emission. Young stellar object candidates in the ON 2 region are identified using near-IR colors, but surprisingly few counterparts of X-ray sources have near-IR excesses typical of classical T Tauri stars.


title: Data-driven deconvolution for large eddy simulations of Kraichnan turbulence

abstract: In this article, we demonstrate the use of artificial neural networks as optimal maps which are utilized for convolution and deconvolution of coarse-grained fields to account for sub-grid scale turbulence effects. We demonstrate that an effective eddy-viscosity is predicted by our purely data-driven large eddy simulation framework without explicit utilization of phenomenological arguments. In addition, our data-driven framework precludes the knowledge of true sub-grid stress information during the training phase due to its focus on estimating an effective filter and its inverse so that grid-resolved variables may be related to direct numerical simulation data statistically. The proposed predictive framework is also combined with a statistical truncation mechanism for ensuring numerical realizability in an explicit formulation. Through this we seek to unite structural and functional modeling strategies for modeling non-linear partial differential equations using reduced degrees of freedom. Both a priori and a posteriori results are shown for a two-dimensional decaying turbulence case in addition to a detailed description of validation and testing. A hyperparameter sensitivity study also shows that the proposed dual network framework simplifies learning complexity and is viable with exceedingly simple network architectures. Our findings indicate that the proposed framework approximates a robust and stable sub-grid closure which compares favorably to the Smagorinsky and Leith hypotheses for capturing the theoretical $k^{-3}$ scaling in Kraichnan turbulence.


title: Fully-Tensorial Elastic-Wave Mode-Solver in FEniCS for Stimulated Brillouin Scattering Modeling

abstract: A framework for simulating the elastic-wave modes in waveguides, taking into account the full tensorial nature of the stiffness tensor, is presented and implemented in the open-source finite element solver, FEniCS. Various approximations of the elastic wave equation used in the stimulated Brillouin scattering literature are implemented and their validity and applicability are discussed. The elastic mode-solver is also coupled with an electromagnetic counterpart to study the influence of elastic anisotropies on Brillouin gain.


title: Existence of mild solutions to Hilfer fractional evolution equations in Banach space

abstract: In this paper, we investigate the existence of mild solutions to Hilfer fractional equation of semi-linear evolution with non-instantaneous impulses, using the concepts of equicontinuous $C_{0}$-semigroup and Kuratowski measure of non-compactness in Banach space $\Omega$.


title: Detection of Helium in the Atmosphere of the Exo-Neptune HAT-P-11b

abstract: The helium absorption triplet at a wavelength of 10,833 \AA\ has been proposed as a way to probe the escaping atmospheres of exoplanets. Recently this feature was detected for the first time using Hubble Space Telescope (HST) WFC3 observations of the hot Jupiter WASP-107b. We use similar HST/WFC3 observations to detect helium in the atmosphere of the hot Neptune HAT-P-11b at the $4\sigma$ confidence level. We compare our observations to a grid of 1D models of hydrodynamic escape to constrain the thermospheric temperatures and mass loss rate. We find that our data are best fit by models with high mass loss rates of $\dot{M} \approx 10^{9}$ - $10^{11}$ g s$^{-1}$. Although we do not detect the planetary wind directly, our data are consistent with the prediction that HAT-P-11b is experiencing hydrodynamic atmospheric escape. Nevertheless, the mass loss rate is low enough that the planet has only lost up to a few percent of its mass over its history, leaving its bulk composition largely unaffected. This matches the expectation from population statistics, which indicate that close-in planets with radii greater than 2 R$_{\oplus}$ form and retain H/He-dominated atmospheres. We also confirm the independent detection of helium in HAT-P-11b obtained with the CARMENES instrument, making this the first exoplanet with the detection of the same signature of photoevaporation from both ground- and space-based facilities.


title: Consistency for 0-1 Programming

abstract: Concepts of consistency have long played a key role in constraint programming but never developed in integer programming (IP). Consistency nonetheless plays a role in IP as well. For example, cutting planes can reduce backtracking by achieving various forms of consistency as well as by tightening the linear programming (LP) relaxation. We introduce a type of consistency that is particularly suited for 0-1 programming and develop the associated theory. We define a 0-1 constraint set as LP-consistent when any partial assignment that is consistent with its linear programming relaxation is consistent with the original 0-1 constraint set. We prove basic properties of LP-consistency, including its relationship with Chvatal-Gomory cuts and the integer hull. We show that a weak form of LP-consistency can reduce or eliminate backtracking in a way analogous to k-consistency but is easier to achieve. In so doing, we identify a class of valid inequalities that can be more effective than traditional cutting planes at cutting off infeasible 0-1 partial assignments.


title: Composing Entropic Policies using Divergence Correction

abstract: Composing previously mastered skills to solve novel tasks promises dramatic improvements in the data efficiency of reinforcement learning. Here, we analyze two recent works composing behaviors represented in the form of action-value functions and show that they perform poorly in some situations. As part of this analysis, we extend an important generalization of policy improvement to the maximum entropy framework and introduce an algorithm for the practical implementation of successor features in continuous action spaces. Then we propose a novel approach which addresses the failure cases of prior work and, in principle, recovers the optimal policy during transfer. This method works by explicitly learning the (discounted, future) divergence between base policies. We study this approach in the tabular case and on non-trivial continuous control problems with compositional structure and show that it outperforms or matches existing methods across all tasks considered.


title: Truly Autonomous Machines Are Ethical

abstract: While many see the prospect of autonomous machines as threatening, autonomy may be exactly what we want in a superintelligent machine. There is a sense of autonomy, deeply rooted in the ethical literature, in which an autonomous machine is necessarily an ethical one. Development of the theory underlying this idea not only reveals the advantages of autonomy, but it sheds light on a number of issues in the ethics of artificial intelligence. It helps us to understand what sort of obligations we owe to machines, and what obligations they owe to us. It clears up the issue of assigning responsibility to machines or their creators. More generally, a concept of autonomy that is adequate to both human and artificial intelligence can lead to a more adequate ethical theory for both.


title: Robust Exceptional Points in Disordered Systems

abstract: We construct a theory to introduce the concept of topologically robust exceptional points (EP). Starting from an ordered system with $N$ elements, we find the necessary condition to have the highest order exceptional point, namely $N^\text{th}$ order EP. Using symmetry considerations, we show an EP associated with an order system is very sensitive to the disorder. Specifically, if the EP associated with the ordered system occurs at the fixed degree of non-Hermiticity $\gamma_{EP}$, the disordered system will not have EP at the same $\gamma_{PT}$ which puts an obstacle in front of the observation and applications of EPs. To overcome this challenge, by incorporating an asymmetric coupling we propose a disordered system that has a robust EP which is extended all over the space. While our approach can be easily realized in electronic circuits and acoustics, we propose a simple experimentally feasible photonic system to realize our robust EP. Our results will open a new direction to search for topologically robust extended states (as opposed to topological localized states) and find considerable applications in direct observation of EPs, realizing topological sensors and designing robust devices for metrology.

categories: physics.optics cond-mat.dis-nn math-ph math.MP


title: Finding a Unique Solution to Radon-Kaczmarz Puzzles

abstract: Solving a Radon-Kaczmarz puzzle involves filling a square grid with positive integers, each between one and nine, satisfying certain clues coming from the sum of entries that lie on the same line in the square grid. Given a set of slopes (of a particular order) that define clues of Radon-Kaczmarz puzzles, we give an upper bound of the size such that any solvable Radon-Kaczmarz puzzle whose size is less than or equal to that is uniquely solvable.


title: Performance Evaluation of Cryptographic Ciphers on IoT Devices

abstract: With the advent of Internet of Things (IoT) and the increasing use of application-based processors, security infrastructure needs to be examined on some widely-used IoT hardware architectures. Applications in today's world are moving towards IoT concepts as this makes them fast, efficient, modular and future-proof. However, this leads to a greater security risk as IoT devices thrive in an ecosystem of co-existence and interconnection. As a result of these security risks, it is of utmost importance to test the existing cryptographic ciphers on such devices and determine if they are viable in terms of swiftness of execution time and memory consumption efficiency. It is also important to determine if there is a requirement to develop new lightweight cryptographic ciphers for these devices. This paper hopes to accomplish the above-mentioned objective by testing various encryption-decryption techniques on different IoT based devices and creating a comparison of execution speeds between these devices for a variety of different data sizes. Keywords-Internet of things(IoT), application-based processors, security, encryption-decryption, speed, efficiency


title: Broadband Wall-less Waveguide for Shallow Water Waves

abstract: We present a broadband waveguide for water waves obtained through mere manipulation of seabed properties and without any need for sidewalls. Specifically, we show that a viscoelastic seabed results in a modified effective gravity term in the governing equations of water waves, which provides a generic broadband mechanism to control oceanic wave energy and enables confining surface waves inside a long narrow path without sidewalls. Our findings have promising applications in guiding and steering waves for oceanic wave energy farms or protecting shorelines.


title: Predicting pregnancy using large-scale data from a women's health tracking mobile application

abstract: Predicting pregnancy has been a fundamental problem in women's health for more than 50 years. Previous datasets have been collected via carefully curated medical studies, but the recent growth of women's health tracking mobile apps offers potential for reaching a much broader population. However, the feasibility of predicting pregnancy from mobile health tracking data is unclear. Here we develop four models -- a logistic regression model, and 3 LSTM models -- to predict a woman's probability of becoming pregnant using data from a women's health tracking app, Clue by BioWink GmbH. Evaluating our models on a dataset of 79 million logs from 65,276 women with ground truth pregnancy test data, we show that our predicted pregnancy probabilities meaningfully stratify women: women in the top 10% of predicted probabilities have a 89% chance of becoming pregnant over 6 menstrual cycles, as compared to a 27% chance for women in the bottom 10%. We develop a technique for extracting interpretable time trends from our deep learning models, and show these trends are consistent with previous fertility research. Our findings illustrate the potential that women's health tracking data offers for predicting pregnancy on a broader population; we conclude by discussing the steps needed to fulfill this potential.


title: The regularity lemma is false over small fields

abstract: The regularity lemma is a stringent condition of the possible ranks of tensor blow-ups of linear subspaces of matrices. It was proved by Ivanyos, Qiao and Subrahmanyam when the underlying field is sufficiently large. We show that if the field size is too small, the regularity lemma is false.


title: Adapting Auxiliary Losses Using Gradient Similarity

abstract: One approach to deal with the statistical inefficiency of neural networks is to rely on auxiliary losses that help to build useful representations. However, it is not always trivial to know if an auxiliary task will be helpful for the main task and when it could start hurting. We propose to use the cosine similarity between gradients of tasks as an adaptive weight to detect when an auxiliary loss is helpful to the main loss. We show that our approach is guaranteed to converge to critical points of the main task and demonstrate the practical usefulness of the proposed algorithm in a few domains: multi-task supervised learning on subsets of ImageNet, reinforcement learning on gridworld, and reinforcement learning on Atari games.


title: Accelerated finite elements schemes for parabolic stochastic partial differential equations

abstract: For a class of finite elements approximations for linear stochastic parabolic PDEs it is proved that one can accelerate the rate of convergence by Richardson extrapolation. More precisely, by taking appropriate mixtures of finite elements approximations one can accelerate the convergence to any given speed provided the coefficients, the initial and free data are sufficiently smooth.


title: Light-state Dominance from the Conformal Bootstrap

abstract: We derive forms of light-state dominance for correlators in CFT$_d$, making precise the sense in which correlators can be approximated by the contribution of light operator exchanges. Our main result is that the four-point function of operators with dimension $\Delta$ is approximated, with bounded error, by the contribution of operators with scaling dimension below $\Delta_c > 2\Delta$ in the appropriate OPE channel. Adapting an existing modular invariance argument, we use crossing symmetry to show that the heavy-state contribution is suppressed by a relative factor of $e^{2\Delta-\Delta_c}$. We extend this result to the first sheet and derivatives of the correlator. Further exploiting technical similarities between crossing and modular invariance, we prove analogous results for the $2d$ partition function along the way. We then turn to effective field theory in gapped theories and AdS/CFT, and make some general comments about the effect of integrating out heavy particles in the bulk. Combining our bounds with the Lorentzian OPE inversion formula we show that, under certain conditions, light-state dominance implies that integrating out heavy exchanges leads to higher-derivative couplings suppressed at large $\Delta_{gap}$.


title: A robust approach to quantifying uncertainty in matching problems of causal inference

abstract: Unquantified sources of uncertainty in observational causal analyses can break the integrity of the results. One would never want another analyst to repeat a calculation with the same dataset, using a seemingly identical procedure, only to find a different conclusion. However, as we show in this work, there is a typical source of uncertainty that is essentially never considered in observational causal studies: the choice of match assignment for matched groups, that is, which unit is matched to which other unit before a hypothesis test is conducted. The choice of match assignment is anything but innocuous, and can have a surprisingly large influence on the causal conclusions. Given that a vast number of causal inference studies test hypotheses on treatment effects after treatment cases are matched with similar control cases, we should find a way to quantify how much this extra source of uncertainty impacts results. What we would really like to be able to report is that \emph{no matter} which match assignment is made, as long as the match is sufficiently good, then the hypothesis test result still holds. In this paper, we provide methodology based on discrete optimization to create robust tests that explicitly account for this possibility. We formulate robust tests for binary and continuous data based on common test statistics as integer linear programs solvable with common methodologies. We study the finite-sample behavior of our test statistic in the discrete-data case. We apply our methods to simulated and real-world datasets and show that they can produce useful results in practical applied settings.


title: The key role of antibonding electron transfer in surface chemisorption and heterogeneous catalysis

abstract: The description of the chemical bond between a solid surface and an atom or a molecule is the fundamental basis for understanding a broad range of scientific problems in heterogeneous catalysis, semiconductor device fabrication, and fuel cells. Widespread understandings are based on the molecular orbital theory and focused on the degree of filling of antibonding surface-adsorbate states that weaken bonding on surfaces. The unoccupied antibonding surface-adsorbate states are often tacitly assumed to be irrelevant. Here, we show that most antibonding states become unoccupied because the electrons that would occupy these antibonding states are transferred to the lower-energy Fermi level. Such antibonding electron transfer goes beyond molecular orbital theory. It leads to an energy gain that largely controls the trends of surface adsorption strength and can serve as a primary descriptor for bonding on surfaces. This finding is illustrated from the first-principles study of hydrogen adsorption on MoS$_2$ surfaces. A clear linear relationship between the energies of antibonding electron transfer and hydrogen adsorption is identified. The hydrogen evolution reaction on MoS$_2$ is found to originate from the in-gap states induced by sulfur vacancies or edges. The effects of surface inhomogeneity (e.g., defects, step edges) on surface catalysis can be understood from the corresponding different energies gained from antibonding electron transfer. The emerging picture also offers a physically different explanation for the well-known $d$-band theory for hydrogen adsorption on transition metal surfaces.


title: Strings of ultracold molecules in a synthetic dimension

abstract: We consider ultracold polar molecules trapped in a unit-filled one-dimensional chain in real space created with an optical lattice or a tweezer array and illuminated by microwaves that resonantly drive transitions within a chain of rotational states. We describe the system by a two-dimensional lattice model, with the first dimension being a lattice in real space and the second dimension being a lattice in a synthetic direction composed of rotational states. We calculate this system's ground-state phase diagram. We show that as the dipole interaction strength is increased, the molecules undergo a phase transition from a two-dimensional gas to a phase in which the molecules bind together and form a string that resembles a one-dimensional object living in the two-dimensional (i.e, one real and one synthetic dimensional) space. We demonstrate this with two complementary techniques: numerical calculations using matrix product state techniques and an analytic solution in the limit of infinitely strong dipole interaction. Our calculations reveal that the string phase at infinite interaction is effectively described by emergent particles living on the string and that this leads to a rich spectrum with excitations missed in earlier mean-field treatments.


title: Towards a Definition of Disentangled Representations

abstract: How can intelligent agents solve a diverse set of tasks in a data-efficient manner? The disentangled representation learning approach posits that such an agent would benefit from separating out (disentangling) the underlying structure of the world into disjoint parts of its representation. However, there is no generally agreed-upon definition of disentangling, not least because it is unclear how to formalise the notion of world structure beyond toy datasets with a known ground truth generative process. Here we propose that a principled solution to characterising disentangled representations can be found by focusing on the transformation properties of the world. In particular, we suggest that those transformations that change only some properties of the underlying world state, while leaving all other properties invariant, are what gives exploitable structure to any kind of data. Similar ideas have already been successfully applied in physics, where the study of symmetry transformations has revolutionised the understanding of the world structure. By connecting symmetry transformations to vector representations using the formalism of group and representation theory we arrive at the first formal definition of disentangled representations. Our new definition is in agreement with many of the current intuitions about disentangling, while also providing principled resolutions to a number of previous points of contention. While this work focuses on formally defining disentangling - as opposed to solving the learning problem - we believe that the shift in perspective to studying data transformations can stimulate the development of better representation learning algorithms.


title: Open system approach to non-equilibrium dynamical theory of quantum dot systems

abstract: We theoretically investigate the non-equilibrium quantum dynamical theory of a quantum dot system coupled to fermionic reservoirs using the recently developed stochastic fermionic quantum state diffusion (FQSD) equation. The exact or approximate dynamical equations associated with the FQSD equation can describe the non-equilibrium quantum transport processes beyond the long-time limit leading to a steady state. We study in details the electron transport of a quantum-dot system coupled to two fermionic environments with different chemical potentials. We report the onset of Coulomb blockade in quantum dots in two distinctive cases: one involving a spin degeneracy one-quantum dot model, and the other a specific spin non-degeneracy two-quantum dot model. While the spin degeneracy case shows that the current in the quantum dot may be blockaded non-monotonically with respect to Coulomb energy, the non-degeneracy case exhibits significant non-Markovian effects, and it enables us to study the relations between initial conditions of the dots and the steady state currents.


title: Casanova

abstract: We introduce Casanova, a leaderless optimistic consensus protocol designed for a permissioned blockchain. Casanova produces blocks in a DAG rather than a chain, and combines voting rounds with block production by singling out individual conflicting transactions.


title: A comparison of the Bravyi-Kitaev and Jordan-Wigner transformations for the quantum simulation of quantum chemistry

abstract: The ability to perform classically intractable electronic structure calculations is often cited as one of the principal applications of quantum computing. A great deal of theoretical algorithmic development has been performed in support of this goal. Most techniques require a scheme for mapping electronic states and operations to states of and operations upon qubits. The two most commonly used techniques for this are the Jordan-Wigner transformation and the Bravyi-Kitaev transformation. However, comparisons of these schemes have previously been limited to individual small molecules. In this paper we discuss resource implications for the use of the Bravyi-Kitaev mapping scheme, specifically with regard to the number of quantum gates required for simulation. We consider both small systems which may be simulatable on near-future quantum devices, and systems sufficiently large for classical simulation to be intractable. We use 86 molecular systems to demonstrate that the use of the Bravyi-Kitaev transformation is typically at least approximately as efficient as the canonical Jordan-Wigner transformation, and results in substantially reduced gate count estimates when performing limited circuit optimisations.


title: A framework to monitor activities of satellite data processing in real-time

abstract: Space Monitoring Data Center (SMDC) of SINP MSU is one of the several centers in the world that collects data on the radiational conditions in near-Earth orbit from various Russian (Lomonosov, Electro-L1, Electro-L2, Meteor-M1, Meteor-M2, etc.) and foreign (GOES 13, GOES 15, ACE, SDO, etc.) satellites. The primary purposes of SMDC are: aggregating heterogeneous data from different sources; providing a unified interface for data retrieval, visualization, analysis, as well as development and testing new space weather models; and controlling the correctness and completeness of data. Space weather models rely on data provided by SMDC to produce forecasts. Therefore, monitoring the whole data processing cycle is crucial for further success in the modelling of physical processes in near-Earth orbit based on the collected data. To solve the problem described above, we have developed a framework called Live Monitor at SMDC. Live Monitor allows watching all stages and program components involved in each data processing cycle. All activities of each stage are logged by Live Monitor and shown in real-time on a web interface. When an error occurs, a notification message will be sent to satellite operators via email and the Telegram messenger service so that they could take measures in time. The Live Monitor's API can be used to create a customized monitoring service with minimum coding.


title: The Hamiltonian Circuit Polytope

abstract: The hamiltonian circuit polytope is the convex hull of feasible solutions for the circuit constraint, which provides a succinct formulation of the traveling salesman and other sequencing problems. We study the polytope by establishing its dimension, developing tools for the identification of facets, and using these tools to derive several families of facets. The tools include necessary and sufficient conditions for an inequality to be facet defining, and an algorithm for generating all undominated circuits. We use a novel approach to identifying families of facet-defining inequalities, based on the structure of variable indices rather than on subgraphs such as combs or subtours. This leads to our main result, a hierarchy of families of facet-defining inequalities and polynomial-time separation algorithms for them.


title: A Scientific Workflow System for Satellite Data Processing with Real-Time Monitoring

abstract: This paper provides a case study on satellite data processing, storage, and distribution in the space weather domain by introducing the Satellite Data Downloading System (SDDS). The approach proposed in this paper was evaluated through real-world scenarios and addresses the challenges related to the specific field. Although SDDS is used for satellite data processing, it can potentially be adapted to a wide range of data processing scenarios in other fields of physics.


title: A Linear Programming Based Approach to the Steiner Tree Problem with a Fixed Number of Terminals

abstract: We present a set of integer programs (IPs) for the Steiner tree problem with the property that the best solution obtained by solving all, provides an optimal Steiner tree. Each IP is polynomial in the size of the underlying graph and our main result is that the linear programming (LP) relaxation of each IP is integral so that it can be solved as a linear program. However, the number of IPs grows exponentially with the number of terminals in the Steiner tree. As a consequence, we are able to solve the Steiner tree problem by solving a polynomial number of LPs, when the number of terminals is fixed.


title: Quarkonium production in heavy ion collisions: coupled Boltzmann transport equations

abstract: By coupling the Boltzmann transport equations of both quarkonium and open heavy quarks, we investigate their dynamical evolution inside the quark-gluon plasma and study quarkonium production in heavy ion collisions. The Boltzmann transport equation of quarkonium is derived from the open quantum system formalism and effective field theory of QCD by assuming quarkonium interacts weakly with the plasma. The dissociation and recombination terms in the Boltzmann equation are calculated in potential nonrelativistic QCD. It is shown that the combination of quarkonium dissociation, recombination, open heavy quark diffusion and energy loss can drive the system of quarkonium and open heavy quarks to detailed balance and kinetic thermalization. By solving the transport equations with initial momenta of quarkonia and heavy quarks sampled from PYTHIA and a hydrodynamic medium, we can calculate the nuclear modification factors of bottomonium and describe the data at both RHIC and LHC energies. The azimuthal angular anisotropy coefficient $v_2$ of $\Upsilon$(1S) in 5.02 TeV peripheral Pb-Pb collisions is also predicted.


title: Monitoring activities of satellite data processing services in real-time with SDDS Live Monitor

abstract: This work describes Live Monitor, the monitoring subsystem of SDDS - an automated system for space experiment data processing, storage, and distribution created at SINP MSU. Live Monitor allows operators and developers of satellite data centers to identify errors occurred in data processing quickly and to prevent further consequences caused by the errors. All activities of the whole data processing cycle are illustrated via a web interface in real-time. Notification messages are delivered to responsible people via emails and Telegram messenger service. The flexible monitoring mechanism implemented in Live Monitor allows us to dynamically change and control events being shown on the web interface on our demands. Physicists, whose space weather analysis models are functioning upon satellite data provided by SDDS, can use the developed RESTful API to monitor their own events and deliver customized notification messages by their needs.


title: Efficient and Robust Machine Learning for Real-World Systems

abstract: While machine learning is traditionally a resource intensive task, embedded systems, autonomous navigation and the vision of the Internet-of-Things fuel the interest in resource efficient approaches. These approaches require a carefully chosen trade-off between performance and resource consumption in terms of computation and energy. On top of this, it is crucial to treat uncertainty in a consistent manner in all but the simplest applications of machine learning systems. In particular, a desideratum for any real-world system is to be robust in the presence of outliers and corrupted data, as well as being `aware' of its limits, i.e.\ the system should maintain and provide an uncertainty estimate over its own predictions. These complex demands are among the major challenges in current machine learning research and key to ensure a smooth transition of machine learning technology into every day's applications. In this article, we provide an overview of the current state of the art of machine learning techniques facilitating these real-world requirements. First we provide a comprehensive review of resource-efficiency in deep neural networks with focus on techniques for model size reduction, compression and reduced precision. These techniques can be applied during training or as post-processing and are widely used to reduce both computational complexity and memory footprint. As most (practical) neural networks are limited in their ways to treat uncertainty, we contrast them with probabilistic graphical models, which readily serve these desiderata by means of probabilistic inference. In that way, we provide an extensive overview of the current state-of-the-art of robust and efficient machine learning for real-world systems.


title: Deep learning for turbulent channel flow

abstract: Turbulence modeling is a classical approach to address the multiscale nature of fluid turbulence. Instead of resolving all scales of motion, which is currently mathematically and numerically intractable, reduced models that capture the large-scale behavior are derived. One of the most popular reduced models is the Reynolds averaged Navier-Stokes (RANS) equations. The goal is to solve the RANS equations for the mean velocity and pressure field. However, the RANS equations contain a term called the Reynolds stress tensor, which is not known in terms of the mean velocity field. Many RANS turbulence models have been proposed to model the Reynolds stress tensor in terms of the mean velocity field, but are usually not suitably general for all flow fields of interest. Data-driven turbulence models have recently garnered considerable attention and have been rapidly developed. In a seminal work, Ling et al (2016) developed the tensor basis neural network (TBNN), which was used to learn a general Galilean invariant model for the Reynolds stress tensor. The TBNN was applied to a variety of flow fields with encouraging results. In the present study, the TBNN is applied to the turbulent channel flow. Its performance is compared with classical turbulence models as well as a neural network model that does not preserve Galilean invariance. A sensitivity study on the TBNN reveals that the network attempts to adjust to the dataset, but is limited by the mathematical form that guarantees Galilean invariance.


title: Bloch oscillation of elastic waves in the graded lattice of 3D-printed hollow elliptical cylinders

abstract: We study the Bloch oscillation of elastic waves in a chain composed of hollow elliptical cylinders (HECs). These HECs are 3D-printed in different wall thicknesses and are arranged to form a graded chain. We find that the frequency band structure of this lattice can be manipulated in a way to create a narrow strip of transmission range sandwiched between slanted stop bands. This enables the trapping of elastic waves at a specific location of the chain, which depends on the input frequency of the propagating elastic waves. This elastic Bloch oscillation in a tailorable 3D-printed system enables the control of energy localization in solids, potentially leading to engineering applications for vibration filtering, energy harvesting, and structural health monitoring.


title: Gems of Corrado B\"ohm

abstract: The main scientific heritage of Corrado B\"ohm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 1. A compiler that can compile itself. 2. Structured programming, eliminating the 'goto' statement. 3. Functional programming and an early implementation. 4. Separability in {\lambda}-calculus. 5. Compiling combinators without parsing. 6. Self-evaluation in {\lambda}-calculus.


title: A Galactic Plane Defined by the Milky Way HII Region Distribution

abstract: We develop a framework for a new definition of the Galactic midplane, allowing for tilt (rotation about Galactic azimuth 90deg.), and roll (rotation about Galactic azimuth 0deg.) of the midplane with respect to the current definition. Derivation of the tilt and roll angles also determines the solar height above the midplane. Here we use nebulae from the WISE Catalog of Galactic HII Regions to define the Galactic high-mass star formation (HMSF) midplane. We analyze various subsamples of the WISE catalog and find that all have Galactic latitude scale heights near 0.30deg. and z-distribution scale heights near 30pc. The vertical distribution for small (presumably young) HII regions is narrower than that of larger (presumably old) HII regions (~25pc versus ~40pc), implying that the larger regions have migrated further from their birth sites. For all HII region subsamples and for a variety of fitting methodologies, we find that the HMSF midplane is not significantly tilted or rolled with respect to the currently-defined midplane, and therefore the Sun is near to the HMSF midplane. These results are consistent with other studies of HMSF, but are inconsistent with many stellar studies, perhaps due to asymmetries in the stellar distribution near the Sun. Our results are sensitive to latitude restrictions, and also to the completeness of the sample, indicating that similar analyses cannot be done accurately with less complete samples. The midplane framework we develop can be used for any future sample of Galactic objects to redefine the midplane.


title: Revisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation

abstract: We revisit the notion of deniability in quantum key exchange (QKE), a topic that remains largely unexplored. In the only work on this subject by Donald Beaver, it is argued that QKE is not necessarily deniable due to an eavesdropping attack that limits key equivocation. We provide more insight into the nature of this attack and how it extends to other constructions such as QKE obtained from uncloneable encryption. We then adopt the framework for quantum authenticated key exchange, developed by Mosca et al., and extend it to introduce the notion of coercer-deniable QKE, formalized in terms of the indistinguishability of real and fake coercer views. Next, we apply results from a recent work by Arrazola and Scarani on covert quantum communication to establish a connection between covert QKE and deniability. We propose DC-QKE, a simple deniable covert QKE protocol, and prove its deniability via a reduction to the security of covert QKE. Finally, we consider how entanglement distillation can be used to enable information-theoretically deniable protocols for QKE and tasks beyond key exchange.


title: Photo Wake-Up: 3D Character Animation from a Single Photo

abstract: We present a method and application for animating a human subject from a single photo. E.g., the character can walk out, run, sit, or jump in 3D. The key contributions of this paper are: 1) an application of viewing and animating humans in single photos in 3D, 2) a novel 2D warping method to deform a posable template body model to fit the person's complex silhouette to create an animatable mesh, and 3) a method for handling partial self occlusions. We compare to state-of-the-art related methods and evaluate results with human studies. Further, we present an interactive interface that allows re-posing the person in 3D, and an augmented reality setup where the animated 3D person can emerge from the photo into the real world. We demonstrate the method on photos, posters, and art.


title: Strain distribution in polycrystals: Theory and Application for Diffraction Experiments

abstract: Randomly textured polycrystalline materials of constituents with highly anisotropic nature of grains can be considered globally isotropic. In order to determine the isotropic properties, like elasticity or conductivity, we propose a theory for averaging the coefficients of the corresponding tensors unifying Voigt's, Reuss' or other self-consistent homogenization theories. We apply the method to determine elastic moduli of untextured polycrystals with arbitrary crystal structures, recovering experimental data with high precision for cubic materials. We show that the average moduli can be used to predict analytically stress and strain states inside individual grains as proven by the comparison with neutron diffraction measurements. Finally, we discuss a few possible generalizations for textured materials for further applications.


title: Atmospheric Charm, QCD and Neutrino Astronomy

abstract: We present predictions for the prompt-neutrino flux arising from the decay of charmed mesons and baryons produced by the interactions of high-energy cosmic rays in the Earth's atmosphere, making use of a QCD approach on the basis of the general-mass variable-flavor-number scheme for the description of charm hadroproduction at next-to-leading order, complemented by a consistent set of fragmentation functions. This same scheme is used for the description of charm hadroproduction at both the Tevatron and the Large Hadron Collider. We compare the theoretical predictions to those already obtained by our and other groups with different theoretical approaches. We provide comparisons with the experimental results obtained by the IceCube Collaboration and we discuss implications for parton distribution functions.


title: Fetal whole-heart 4D imaging using motion-corrected multi-planar real-time MRI

abstract: Purpose: To develop a MRI acquisition and reconstruction framework for volumetric cine visualisation of the fetal heart and great vessels in the presence of maternal and fetal motion. Methods: Four-dimensional depiction was achieved using a highly-accelerated multi-planar real-time balanced steady state free precession acquisition combined with retrospective image-domain techniques for motion correction, cardiac synchronisation and outlier rejection. The framework was evaluated and optimised using a numerical phantom, and evaluated in a study of 20 mid- to late-gestational age human fetal subjects. Reconstructed cine volumes were evaluated by experienced cardiologists and compared with matched ultrasound. A preliminary assessment of flow-sensitive reconstruction using the velocity information encoded in the phase of dynamic images is included. Results: Reconstructed cine volumes could be visualised in any 2D plane without the need for highly-specific scan plane prescription prior to acquisition or for maternal breath hold to minimise motion. Reconstruction was fully automated aside from user-specified masks of the fetal heart and chest. The framework proved robust when applied to fetal data and simulations confirmed that spatial and temporal features could be reliably recovered. Expert evaluation suggested the reconstructed volumes can be used for comprehensive assessment of the fetal heart, either as an adjunct to ultrasound or in combination with other MRI techniques. Conclusion: The proposed methods show promise as a framework for motion-compensated 4D assessment of the fetal heart and great vessels.


title: Evolution of $k$-mer Frequencies and Entropy in Duplication and Substitution Mutation Systems

abstract: Genomic evolution can be viewed as string-editing processes driven by mutations. An understanding of the statistical properties resulting from these mutation processes is of value in a variety of tasks related to biological sequence data, e.g., estimation of model parameters and compression. At the same time, due to the complexity of these processes, designing tractable stochastic models and analyzing them are challenging. In this paper, we study two kinds of systems, each representing a set of mutations. In the first system, tandem duplications and substitution mutations are allowed and in the other, interspersed duplications. We provide stochastic models and, via stochastic approximation, study the evolution of substring frequencies for these two systems separately. Specifically, we show that $k$-mer frequencies converge almost surely and determine the limit set. Furthermore, we present a method for finding upper bounds on entropy for such systems.


title: Critical behavior of the hopping expansion from the Functional Renormalization Group

abstract: A lattice version of the widely used Functional Renormalization Group (FRG) for the Legendre effective action is solved - in principle exactly - in terms of graph rules for the linked cluster expansion. Conversely, the FRG induces nonlinear flow equations governing suitable resummations of the graph expansion. The (finite) radius of convergence determining criticality can then be efficiently computed as the unstable manifold of a Gaussian or non-Gaussian fixed point of the FRG flow. The correspondence is tested on the critical line of the L\"{u}scher-Weisz solution of the $\phi^4_4$ theory and its $\phi_3^4$ counterpart.


title: Coupling to Multihadron States with Chiral Fermions

abstract: Chiral symmerty is presumed to be a crucial component in the strong interaction and QCD, but its role in spectroscopy, especially for baryons, has not been fully explored. Compounding this, chiral fermions are uncommon in lattice calculations due to their expensive nature. We calculate $\eta\pi$, $K\pi$ and $N\pi$ states with $q\bar{q}$ and $qqq$ interpolation fields at $a=0.114\,\mathrm{fm}$ on a $48^3\times 96$ mixed-action lattice at the physical pion mass, with domain-wall sea quarks and overlap valence quarks. We study the spectral weights of these states as a function of the valence pion mass, which ranges from $m_{\pi}=115-665\,\mathrm{MeV}$, to be compared with the results from non-chiral clover valence quarks on the same domain-wall lattice in order to examine their non-chiral effects, which are expected to decrease with the lattice spacing.


title: Weighted Global Normalization for Multiple Choice Reading Comprehension over Long Documents

abstract: Motivated by recent evidence pointing out the fragility of high-performing span prediction models, we direct our attention to multiple choice reading comprehension. In particular, this work introduces a novel method for improving answer selection on long documents through weighted global normalization of predictions over portions of the documents. We show that applying our method to a span prediction model adapted for answer selection helps model performance on long summaries from NarrativeQA, a challenging reading comprehension dataset with an answer selection task, and we strongly improve on the task baseline performance by +36.2 Mean Reciprocal Rank.


title: A Crossing-Symmetric OPE Inversion Formula

abstract: We derive a Lorentzian OPE inversion formula for the principal series of $sl(2,\mathbb{R})$. Unlike the standard Lorentzian inversion formula in higher dimensions, the formula described here only applies to fully crossing-symmetric four-point functions and makes crossing symmetry manifest. In particular, inverting a single conformal block in the crossed channel returns the coefficient function of the crossing-symmetric sum of Witten exchange diagrams in AdS, including the direct-channel exchange. The inversion kernel exhibits poles at the double-trace scaling dimensions, whose contributions must cancel out in a generic solution to crossing. In this way the inversion formula leads to a derivation of the Polyakov bootstrap for $sl(2,\mathbb{R})$. The residues of the inversion kernel at the double-trace dimensions give rise to analytic bootstrap functionals discussed in recent literature, thus providing an alternative explanation for their existence. We also use the formula to give a general proof that the coefficient function of the principal series is meromorphic in the entire complex plane with poles only at the expected locations.


title: Dynamics Based Privacy Protection for Average Consensus on Directed Graphs

abstract: Average consensus is key for distributed networks, with applications ranging from network synchronization, distributed information fusion, decentralized control, to load balancing for parallel processors. Existing average consensus algorithms require each node to exchange explicit state values with its neighbors, which results in the undesirable disclosure of sensitive state information. In this paper, we propose a novel average consensus approach for directed graphs which can protect the privacy of participating nodes' initial states without the assistance of any trusted third party or data aggregator. By leveraging the inherent robustness of consensus dynamics to embed privacy in random coupling weights between interacting nodes, our proposed approach can guarantee consensus to the exact value without any error. This is in distinct difference from differential-privacy based average consensus approaches which enable privacy through sacrificing accuracy in obtained consensus value. The proposed approach is able to preserve privacy even when multiple honest-but-curious nodes collude with each other. Furthermore, by encrypting exchanged information, the proposed approach can also provide privacy protection against inference by external eavesdroppers wiretapping communication links. Numerical simulations and hardware experiments on Raspberry Pi boards confirm that the algorithm is lightweight in computation and communication.


title: Relative Entropy Regularized Policy Iteration

abstract: We present an off-policy actor-critic algorithm for Reinforcement Learning (RL) that combines ideas from gradient-free optimization via stochastic search with learned action-value function. The result is a simple procedure consisting of three steps: i) policy evaluation by estimating a parametric action-value function; ii) policy improvement via the estimation of a local non-parametric policy; and iii) generalization by fitting a parametric policy. Each step can be implemented in different ways, giving rise to several algorithm variants. Our algorithm draws on connections to existing literature on black-box optimization and 'RL as an inference' and it can be seen either as an extension of the Maximum a Posteriori Policy Optimisation algorithm (MPO) [Abdolmaleki et al., 2018a], or as an extension of Trust Region Covariance Matrix Adaptation Evolutionary Strategy (CMA-ES) [Abdolmaleki et al., 2017b; Hansen et al., 1997] to a policy iteration scheme. Our comparison on 31 continuous control tasks from parkour suite [Heess et al., 2017], DeepMind control suite [Tassa et al., 2018] and OpenAI Gym [Brockman et al., 2016] with diverse properties, limited amount of compute and a single set of hyperparameters, demonstrate the effectiveness of our method and the state of art results. Videos, summarizing results, can be found at goo.gl/HtvJKR .


title: On Testing Machine Learning Programs

abstract: Nowadays, we are witnessing a wide adoption of Machine learning (ML) models in many safety-critical systems, thanks to recent breakthroughs in deep learning and reinforcement learning. Many people are now interacting with systems based on ML every day, e.g., voice recognition systems used by virtual personal assistants like Amazon Alexa or Google Home. As the field of ML continues to grow, we are likely to witness transformative advances in a wide range of areas, from finance, energy, to health and transportation. Given this growing importance of ML-based systems in our daily life, it is becoming utterly important to ensure their reliability. Recently, software researchers have started adapting concepts from the software testing domain (e.g., code coverage, mutation testing, or property-based testing) to help ML engineers detect and correct faults in ML programs. This paper reviews current existing testing practices for ML programs. First, we identify and explain challenges that should be addressed when testing ML programs. Next, we report existing solutions found in the literature for testing ML programs. Finally, we identify gaps in the literature related to the testing of ML programs and make recommendations of future research directions for the scientific community. We hope that this comprehensive review of software testing practices will help ML engineers identify the right approach to improve the reliability of their ML-based systems. We also hope that the research community will act on our proposed research directions to advance the state of the art of testing for ML programs.


title: The Breakthrough Listen Search for Intelligent Life: No Evidence of Claimed Periodic Spectral Modulations in High Resolution Optical Spectra of Nearby Stars

abstract: We report on high-resolution spectra obtained by the Automated Planet Finder and high resolution optical Levy Spectrometer and the search for periodic spectral modulations, such as those reported in Borra (2016). In their analysis of 2.5 million spectra from the Sloan Digital Sky Survey, Borra (2016) report periodic spectral modulations in 234 stars, and suggest that these signals may be evidence of extra-terrestrial civilizations. To further evaluate this claim, we observed a total of three of the 234 stars with the Automated Planet Finder Telescope and Levy Spectrometer including all stars brighter than a visual magnitude of 14. Fourier analysis of the resultant spectra of these three sources does not reveal any periodic spectral modulations at the reported period, nor at any other period.


title: Phase structure of the twisted $SU(3)/U(1)^2$ flag sigma model on $\mathbb{R}\times S^1$

abstract: We investigate the phase structure of the compactified $2$-dimensional nonlinear $SU(3)/U(1)^2$ flag sigma model with respect to two $\theta$-terms. Based on the circle compactification with the ${\mathbb Z}_{3}$-twisted boundary condition, which preserves an 't Hooft anomaly of the original uncompactified theory, we perform the semiclassical analysis based on the dilute instanton gas approximation (DIGA). We clarify classical vacua of the theory and derive fractional instanton solutions connecting these vacua. The resulting phase structure based on DIGA exhibits the quantum phase transitions and triple degeneracy at special points in the $(\theta_1,\theta_2)$-plane, which is consistent with the phase diagram obtained from the anomaly matching and global inconsistency conditions. This result indicates the adiabatic continuity between the flag sigma models on ${\mathbb R}^{2}$ and ${\mathbb R}\times S^{1}$ with small compactification radius. We further estimate contributions from instanton--anti-instanton configuration (bion) and show the existence of the imaginary ambiguity, which is expected to be cancelled by that of the perturbative Borel resummation.


title: Dynamics and stabilization of bright soliton stripes in the hyperbolic-dispersion nonlinear Schr\"odinger equation

abstract: We consider the dynamics and stability of bright soliton stripes in the two-dimensional nonlinear Schr\"odinger equation with hyperbolic dispersion, under the action of transverse perturbations. We start by discussing a recently proposed adiabatic-invariant approximation for transverse instabilities and its limitations in the bright soliton case. We then focus on a variational approximation used to reduce the dynamics of the bright-soliton stripe to effective equations of motion for its transverse shift. The reduction allows us to address the stripe's snaking instability, which is inherently present in the system, and follow the ensuing spatiotemporal undulation dynamics. Further, introducing a channel-shaped potential, we show that the instabilities (not only flexural, but also those of the necking type) can be attenuated, up to the point of complete stabilization of the soliton stripe.


title: GADGET SVM: A Gossip-bAseD sub-GradiEnT Solver for Linear SVMs

abstract: In the era of big data, an important weapon in a machine learning researcher's arsenal is a scalable Support Vector Machine (SVM) algorithm. SVMs are extensively used for solving classification problems. Traditional algorithms for learning SVMs often scale super linearly with training set size which becomes infeasible very quickly for large data sets. In recent years, scalable algorithms have been designed which study the primal or dual formulations of the problem. This often suggests a way to decompose the problem and facilitate development of distributed algorithms. In this paper, we present a distributed algorithm for learning linear Support Vector Machines in the primal form for binary classification called Gossip-bAseD sub-GradiEnT (GADGET) SVM. The algorithm is designed such that it can be executed locally on nodes of a distributed system. Each node processes its local homogeneously partitioned data and learns a primal SVM model. It then gossips with random neighbors about the classifier learnt and uses this information to update the model. Extensive theoretical and empirical results suggest that this anytime algorithm has performance comparable to its centralized and online counterparts.


title: Accurate detection of arbitrary photon statistics

abstract: We report a measurement workflow free of systematic errors consisting of a reconfigurable photon-number-resolving detector, custom electronic circuitry, and faithful data-processing algorithm. We achieve unprecedentedly accurate measurement of various photon-number distributions going beyond the number of detection channels with average fidelity 0.998, where the error is contributed primarily by the sources themselves. Mean numbers of photons cover values up to 20 and faithful autocorrelation measurements range from g^(2) = 0.006 to 2. We successfully detect chaotic, classical, non-classical, non-Gaussian, and negative-Wigner-function light. Our results open new paths for optical technologies by providing full access to the photon-number information.


title: Integrable (3+1)-dimensional system with an algebraic Lax pair

abstract: We present a first example of an integrable (3+1)-dimensional dispersionless system with nonisospectral Lax pair involving algebraic, rather than rational, dependence on the spectral parameter, thus showing that the class of integrable (3+1)-dimensional dispersionless systems with nonisospectral Lax pairs is significantly more diverse than it appeared before. The Lax pair in question is of the type recently introduced in [A. Sergyeyev, Lett. Math. Phys. 108 (2018), no. 2, 359-376, arXiv:1401.2122 ].


title: Pure voltage controlled magnetic nano-oscillator

abstract: Nanomagnetic oscillator is a key component for radio-frequency (RF) signal generation in many nano-scale spintronic devices. However, the actuation mechanisms of nanomagnetic oscillators are mostly current-based, which is energy inefficient at nanoscale due to Joule heating. In this study, we present a new actuation mechanism for nanomagnetic oscillator with pure voltage input using a multiferroic structure. An AC voltage with a DC bias is applied to the piezoelectric substrate, and steady perpendicular magnetic oscillation is achieved in the attached Ni disk when the frequency of the voltage matches the ferromagnetic resonance (FMR) of the Ni disk. The FMR can be tuned by simply changing the voltage bias, therefore, the oscillation frequency has a wide range. A systematic simulation study is conducted to investigate the impact of the voltage amplitude, frequency, waveform, as well as the thickness of the magnet on the magnetic oscillation. This opens new possibilities of designing energy efficient nanomagnetic oscillators using multiferroics that have large amplitude and wide frequency range.


title: Direct numerical simulations of Taylor--Couette turbulence: the effect of sand grain roughness

abstract: Progress in roughness research, mapping any given roughness geometry to its fluid dynamic behaviour, has been hampered by the lack of accurate and direct measurements of skin-friction drag, especially in open systems. The Taylor--Couette (TC) system has the benefit of being a closed system, but its potential for characterizing irregular, realistic, 3-D roughness has not been previously considered in depth. Here, we present direct numerical simulations (DNSs) of TC turbulence with sand grain roughness mounted on the inner cylinder. The model proposed by Scotti (\textit{Phys. Fluids}, vol. 18, 031701, 2006) has been improved to simulate a random rough surface of monodisperse sand grains, which is characterized by the equivalent sand grain height $k_s$. Taylor numbers range from $Ta = 1.0\times 10^7$(corresponding to $Re_\tau = 82$) to $Ta = 1.0\times 10^9$($Re_\tau = 635$). We focus on the influence of the roughness height $k_s^+$ in the transitionally rough regime, through simulations of TC with rough surfaces, ranging from $k_s^+=5$ up to $k_s^+ = 92$, where the superscript `$+$' indicates non-dimensionalization in viscous units. We find that the downwards shift of the logarithmic layer, due to transitionally rough sand grains exhibits remarkably similar behavior to that of the Nikuradse (\textit{VDI-Forschungsheft} 361, 1933) data of sand grain roughness in pipe flow, regardless of the Taylor number dependent constants of the logarithmic layer.


title: Ice is Born in Low-Mobility Regions of Supercooled Liquid Water

abstract: When an ice crystal is born from liquid water two key changes occur: (i) the molecules order; and (ii) the mobility of the molecules drops as they adopt their lattice positions. Most research on ice nucleation (and crystallization in general) has focused on understanding the former with less attention paid to the latter. However, supercooled water exhibits fascinating and complex dynamical behavior, most notably dynamical heterogeneity (DH), a phenomenon where spatially separated domains of relatively mobile and immobile particles coexist. Strikingly, the microscopic connection between the DH of water and the nucleation of ice has yet to be unraveled directly at the molecular level. Here we tackle this issue via computer simulations which reveal that: (i) ice nucleation occurs in low-mobility regions of the liquid; (ii) there is a dynamical incubation period in which the mobility of the molecules drops prior to any ice-like ordering; and (iii) ice-like clusters cause arrested dynamics in surrounding water molecules. With this we establish a clear connection between dynamics and nucleation. We anticipate that our findings will pave the way for the examination of the role of dynamical heterogeneities in heterogeneous and solution-based nucleation.


title: On Stein's extension operator preserving Sobolev-Morrey spaces

abstract: We prove that Stein's Extension Operator preserves Sobolev-Morrey spaces, that is spaces of functions with weak derivatives in Morrey spaces. The analysis concerns classical and generalized Morrey spaces on bounded and unbounded domains with Lipschitz boundaries in the n-dimensional Euclidean space.


title: Voltage-induced strain clocking of nanomagnets with perpendicular magnetic anisotropies

abstract: Nanomagnetic logic (NML) has attracted attention during the last two decades due to its promise of high energy efficiency combined with non-volatility. Data transmission in NML relies on Bennett clocking through dipole interaction between neighboring nanomagnetic bits. This paper uses a fully coupled finite element model to simulate Bennett clocking based on strain-mediated multiferroic system for Ni, CoFeB and Terfenol-D with perpendicular magnetic anisotropies. Simulation results demonstrate that Terfenol-D system has the highest energy efficiency, which is 2 orders of magnitude more efficient than Ni and CoFeB. However, the high efficiency is associated with switching incoherency due to its large magnetostriction coefficient. It is also suggested that the CoFeB clocking system is slower and has lower bit-density than in Ni or Terfenol-D systems due to its large dipole coupling. Moreover, we demonstrate that the precessional perpendicular switching and the Bennett clocking can be achieved using the same strain-mediated multiferroic architecture with different voltage pulsing. This study opens new possibilities to an all-spin in-memory computing system.


title: A Brief History on the Theoretical Analysis of Dense Small Cell Wireless Networks

abstract: This article provides dives into the fundamentals of dense and ultra-dense small cell wireless networks, discussing the reasons why dense and ultra-dense small cell networks are fundamentally different from sparse ones, and why the well-known linear scaling law of capacity with the base station (BS) density in the latter does not apply to the former. In more detail, we review the impact of the following factors on ultradense networks (UDNs), (i) closed-access operations and line-of-sight conditions, (ii) the near-field effect, (iii) the antenna height difference between small cell BSs and user equipments (UEs), and (iv) the surplus of idle-mode-enabled small cell BSs with respect to UEs. Combining all these network characteristics and features, we present a more realistic capacity scaling law for UDNs, which indicates (i) the existence of an optimum BS density to maximise the area spectral efficiency (ASE) for a given finite UE density, and (ii) the existence of an optimum density of UEs that can be simultaneously scheduled across the network to maximise the ASE for a given finite BS density.


title: On generation of the Bargmann-Moshinsky basis of SU(3) group

abstract: An efficient procedure of orthonormalisation of the Bargmann-Moshinsky (BM) basis is examined using analytical formulas of the overlap integrals of the BM basis. Calculations of components of the quadrupole operator between the both BM and the orthonormalised bases needed for construction of the nuclear models are tested. The proposed procedure is also implemented as the Fortran program.


title: Teacher-Student Compression with Generative Adversarial Networks

abstract: More accurate machine learning models often demand more computation and memory at test time, making them difficult to deploy on CPU- or memory-constrained devices. Teacher-student compression (TSC), also known as distillation, alleviates this burden by training a less expensive student model to mimic the expensive teacher model while maintaining most of the original accuracy. However, when fresh data is unavailable for the compression task, the teacher's training data is typically reused, leading to suboptimal compression. In this work, we propose to augment the compression dataset with synthetic data from a generative adversarial network (GAN) designed to approximate the training data distribution. Our GAN-assisted TSC (GAN-TSC) significantly improves student accuracy for expensive models such as large random forests and deep neural networks on both tabular and image datasets. Building on these results, we propose a comprehensive metric---the TSC Score---to evaluate the quality of synthetic datasets based on their induced TSC performance. The TSC Score captures both data diversity and class affinity, and we illustrate its benefits over the popular Inception Score in the context of image classification.


title: The Influence of Social Ties on Performance in Team-based Online Games

abstract: Social ties are the invisible glue that keeps together human ecosystems. Despite the massive amount of research studying the role of social ties in communities (groups, teams, etc.) and society at large, little attention has been devoted to study their interplay with other human behavioral dynamics. Of particular interest is the influence that social ties have on human performance in collaborative team-based settings. Our research aims to elucidate the influence of social ties on individual and team performance dynamics. We will focus on a popular Multiplayer Online Battle Arena (MOBA) collaborative team-based game, Defense of the Ancients 2 (Dota 2), a rich dataset with millions of players and matches. Our research reveals that, when playing with their friends, individuals are systematically more active in the game as opposed to taking part in a team of strangers. However, we find that increased activity does not homogeneously lead to an improvement in players' performance. Despite being beneficial to low skill players, playing with friends negatively affects performance of high skill players. Our findings shed light on the mixed influence of social ties on performance, and can inform new perspectives on virtual team management and on behavioral incentives.


title: Fast Switch and Spline Scheme for Accurate Inversion of Nonlinear Functions: The New First Choice Solution to Kepler's Equation

abstract: Numerically obtaining the inverse of a function is a common task for many scientific problems, often solved using a Newton iteration method. Here we describe an alternative scheme, based on switching variables followed by spline interpolation, which can be applied to monotonic functions under very general conditions. To optimize the algorithm, we designed a specific ultra-fast spline routine. We also derive analytically the theoretical errors of the method and test it on examples that are of interest in physics. In particular, we compute the real branch of Lambert's $W(y)$ function, which is defined as the inverse of $x \exp(x)$, and we solve Kepler's equation. In all cases, our predictions for the theoretical errors are in excellent agreement with our numerical results, and are smaller than what could be expected from the general error analysis of spline interpolation by many orders of magnitude, namely by an astonishing $3\times 10^{-22}$ factor for the computation of $W$ in the range $W(y)\in [0,10]$, and by a factor $2\times 10^{-4}$ for Kepler's problem. In our tests, this scheme is much faster than Newton-Raphson method, by a factor in the range $10^{-4}$ to $10^{-3}$ for the execution time in the examples, when the values of the inverse function over an entire interval or for a large number of points are requested. For Kepler's equation and tolerance $10^{-6}$ rad, the algorithm outperforms Newton's method for all values of the number of points $N\ge 2$.


title: Differentially Private Data Generative Models

abstract: Deep neural networks (DNNs) have recently been widely adopted in various applications, and such success is largely due to a combination of algorithmic breakthroughs, computation resource improvements, and access to a large amount of data. However, the large-scale data collections required for deep learning often contain sensitive information, therefore raising many privacy concerns. Prior research has shown several successful attacks in inferring sensitive training data information, such as model inversion, membership inference, and generative adversarial networks (GAN) based leakage attacks against collaborative deep learning. In this paper, to enable learning efficiency as well as to generate data with privacy guarantees and high utility, we propose a differentially private autoencoder-based generative model (DP-AuGM) and a differentially private variational autoencoder-based generative model (DP-VaeGM). We evaluate the robustness of two proposed models. We show that DP-AuGM can effectively defend against the model inversion, membership inference, and GAN-based attacks. We also show that DP-VaeGM is robust against the membership inference attack. We conjecture that the key to defend against the model inversion and GAN-based attacks is not due to differential privacy but the perturbation of training data. Finally, we demonstrate that both DP-AuGM and DP-VaeGM can be easily integrated with real-world machine learning applications, such as machine learning as a service and federated learning, which are otherwise threatened by the membership inference attack and the GAN-based attack, respectively.


title: Generalizability of predictive models for intensive care unit patients

abstract: A large volume of research has considered the creation of predictive models for clinical data; however, much existing literature reports results using only a single source of data. In this work, we evaluate the performance of models trained on the publicly-available eICU Collaborative Research Database. We show that cross-validation using many distinct centers provides a reasonable estimate of model performance in new centers. We further show that a single model trained across centers transfers well to distinct hospitals, even compared to a model retrained using hospital-specific data. Our results motivate the use of multi-center datasets for model development and highlight the need for data sharing among hospitals to maximize model performance.


title: Identifying the Effect of Persuasion

abstract: This paper examines a commonly used measure of persuasion whose precise interpretation has been obscure in the literature. By using the potential outcome framework, we define the causal persuasion rate by a proper conditional probability of taking the action of interest with a persuasive message conditional on not taking the action without the message. We then formally study identification under empirically relevant data scenarios and show that the commonly adopted measure generally does not estimate, but often overstates, the causal rate of persuasion. We discuss several new parameters of interest and provide practical methods for causal inference.


title: Log-modular quantum groups at even roots of unity and the quantum Frobenius I

abstract: We construct log-modular quantum groups at even order roots of unity, both as finite-dimensional ribbon quasi-Hopf algebras and as finite ribbon tensor categories, via a de-equivariantization procedure. The existence of such quantum groups had been predicted by certain conformal field theory considerations, but constructions had not appeared until recently. We show that our quantum groups can be identified with those of Creutzig-Gainutdinov-Runkel in type A_1, and Gainutdinov-Lentner-Ohrmann in arbitrary Dynkin type. We discuss conjectural relations with vertex operator algebras at (1,p)-central charge. For example, we explain how one can (conjecturally) employ known linear equivalences between the triplet vertex algebra and quantum sl_2, in conjunction with a natural PSL_2-action on quantum sl_2 provided by our de-equivariantization construction, in order to deduce linear equivalences between "extended" quantum groups, the singlet vertex operator algebra, and the (1,p)-Virasoro logarithmic minimal model. We assume some restrictions on the order of our root of unity outside of type A_1, which we intend to eliminate in a subsequent paper.


title: Boundedness and decay for the Teukolsky equation of spin $\pm1$ on Reissner-Nordstr\"om spacetime: the $\ell=1$ spherical mode

abstract: We prove boundedness and polynomial decay statements for solutions to the spin $\pm1$ Teukolsky-type equation projected to the $\ell=1$ spherical harmonic on Reissner-Nordstr\"om spacetime. The equation is verified by a gauge-invariant quantity which we identify and which involves the electromagnetic and curvature tensor. This gives a first description in physical space of gauge-invariant quantities transporting the electromagnetic radiation in perturbations of a charged black hole. The proof is based on the use of derived quantities, introduced in previous works on linear stability of Schwarzschild by Dafermos-Holzegel-Rodnianski. The derived quantity verifies a Fackerell-Ipser-type equation, with right hand side vanishing at the $\ell=1$ spherical harmonics. The boundedness and decay for the projection to the $\ell\geq 2$ spherical harmonics are implied by the boundedness and decay for the Teukolsky system of spin $\pm2$ obtained in our previous work. The spin $\pm1$ Teukolsky-type equation is verified by the curvature and electromagnetic components of a gravitational and electromagnetic perturbation of the Reissner-Nordstr\"om spacetime. Consequently, together with the estimates obtained in our previous work, these bounds allow to prove the full linear stability of Reissner-Nordstr\"om metric for small charge to coupled gravitational and electromagnetic perturbations.


title: Serre Duality for the Cohomology of Landau-Ginzburg models

abstract: Let V and F be holomorphic bundles over a complex manifold M, and s be a holomorphic section of V. We study the cohomology associated to the Koszul complex induced by s, and prove a generalized Serre duality theorem for them.


title: Transverse Takahashi Identities and Their Implications for Gauge Independent Dynamical Chiral Symmetry Breaking

abstract: In this article, we employ transverse Takahashi identities to impose valuable non-perturbative constraints on the transverse part of the fermion-photon vertex in terms of new form factors, the so called $Y_i$ functions. We show that the implementation of these identities is crucial in ensuring the correct local gauge transformation of the fermion propagator and its multiplicative renormalizability. Our construction incorporates the correct symmetry properties of the $Y_i$ under charge conjugation operation as well as their well-known one-loop expansion in the asymptotic configuration of incoming and outgoing momenta. Furthermore, we make an explicit analysis of various existing constructions of this vertex against the demands of transverse Takahashi identities and the previously established key features of quantum electrodynamics, such as gauge invariance of the critical coupling above which chiral symmetry is dynamically broken. We construct a simple example in its quenched version and compute the mass function as we vary the coupling strength and also calculate the corresponding anomalous dimensions $\gamma_m$. There is an excellent fit to the Miransky scalling law and we find $\gamma_m=1$ rather naturally in accordance with some earlier results in literature, using arguments based on Cornwall-Jackiw-Tomboulis effective potential technique. Moreover, we numerically confirm the gauge invariance of this critical coupling.


title: Selective generation and amplification of RKKY interactions by P-N interface

abstract: We propose a physical mechanism to generate and selectively amplify anisotropic Rudermann-Kittel-Kasuya-Yosida (RKKY) interactions between two local spins. The idea is to combine the deflection of the carrier velocity by a P-N interface and the locking of this velocity to the carrier spin orientation via spin-orbit coupling. We provide analytical and numerical results to demonstrate this mechanism on the surface of a topological insulator P-N junction. This work identifies the P-N interface as a second knob which, together with the carrier density, enables independent control of the strength and anisotropy of the RKKY interaction over a wide range. These findings may be relevant to scalable quantum computation and two-impurity quantum criticality.


title: Differential Privacy Techniques for Cyber Physical Systems: A Survey

abstract: Modern cyber physical systems (CPSs) has widely being used in our daily lives because of development of information and communication technologies (ICT).With the provision of CPSs, the security and privacy threats associated to these systems are also increasing. Passive attacks are being used by intruders to get access to private information of CPSs. In order to make CPSs data more secure, certain privacy preservation strategies such as encryption, and k-anonymity have been presented in the past. However, with the advances in CPSs architecture, these techniques also needs certain modifications. Meanwhile, differential privacy emerged as an efficient technique to protect CPSs data privacy. In this paper, we present a comprehensive survey of differential privacy techniques for CPSs. In particular, we survey the application and implementation of differential privacy in four major applications of CPSs named as energy systems, transportation systems, healthcare and medical systems, and industrial Internet of things (IIoT). Furthermore, we present open issues, challenges, and future research direction for differential privacy techniques for CPSs. This survey can serve as basis for the development of modern differential privacy techniques to address various problems and data privacy scenarios of CPSs.


title: The regularity of almost-commuting partial Grothendieck--Springer resolutions and parabolic analogs of Calogero--Moser varieties

abstract: Consider the moment map $\mu \colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $\mu$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that $\operatorname{Lie}(P) = \mathfrak{p}$, and give an explicit description of the irreducible components. This allows us to study nearby fibers of $\mu$ as they are equidimensional, and one may also construct GIT quotients $\mu^{-1}(0) /\!\!/_{\chi} P$ by varying the stability condition $\chi$. Finally, we study a variety analogous to the scheme studied by Wilson with connections to a Calogero--Moser phase space where only some of particles interact.


title: A Soergel-like category for complex reflection groups of rank one

abstract: We introduce analogues of Soergel bimodules for complex reflection groups of rank one. We give an explicit parametrization of the indecomposable objects of the resulting category and give a presentation of its split Grothendieck ring by generators and relations. This ring turns out to be an extension of the Hecke algebra of the reflection group $W$ and a free module of rank $|W| (|W|-1)+1$ over the base ring. We also show that it is a generically semisimple algebra if defined over the complex numbers.


title: How Many Hydrated NEOs Are There?

abstract: Hydrated minerals are tracers of early solar system history, and have been proposed as a possible focus for economic activity in space. Near-Earth objects (NEOs) are important to both of these, especially the most accessible members of that community. Because there are very few identified hydrated NEOs, we use the Ch spectral class of asteroids as a proxy for hydrated asteroids, and use published work about NEO delivery, main-belt taxonomic distributions, NEO taxonomic distributions, and observed orbital distributions to estimate the number of hydrated asteroids with different threshold sizes and at different levels of accessibility. We expect 53 $\pm$ 27 Ch asteroids to be present in the known population of NEOs $>$ 1 km diameter, and using two different approaches to estimate accessibility we expect 17 $\pm$ 9 of them to be more accessible on a round trip than the surface of the Moon. If there is no need to define a minimum size, we expect 700 $\pm$ 350 hydrated objects that meet that accessibility criterion. While there are few unknown NEOs larger than 1 km, the population of smaller NEOs yet to be discovered could also be expected to contain proportionally-many hydrated objects. Finally, we estimate that hydrated NEOs are unlikely to bring enough water to account for the ice found at the lunar poles, though it is possible that asteroid-delivered hydrated minerals could be found near their impact sites across the lunar surface.


title: Optimization of high performance spintronic terahertz sources

abstract: To achieve high efficiency and good performance of spintronic terahertz sources, we propose and corroborate a remnant magnetization method to radiate continuously and stably terahertz pulses from W/CoFeB/Pt magnetic nanofilms without carrying magnets on the transmitters driven by femtosecond laser pulses. We systematically investigate the influences of the pumping central wavelength and find out the optimal wavelength for a fixed sample thickness. We also optimize the incidence angle of the pumping laser and find the emission efficiency is enhanced under oblique incidence. Combing the aforementioned optimizations, we finally obtain comparable radiation efficiency and broadband spectra in W/CoFeB/Pt heterostructures compared with that from 1 mm thick ZnTe nonlinear crystals via optical rectification under the same pumping conditions of 100 fs pulse duration from a Ti:sapphire laser oscillator, which was not previously demonstrated under such pulse duration. We believe our observations not only benefit for a deep insight into the physics of femtosecond spin dynamics, but also help develop novel and cost-effective ultrabroadband spintronic terahertz emitters.


title: Inverse-Designed Diamond Photonics

abstract: Diamond hosts optically active color centers with great promise in quantum computation, networking, and sensing. Realization of such applications is contingent upon the integration of color centers into photonic circuits. However, current diamond quantum optics experiments are restricted to single devices and few quantum emitters because fabrication constraints limit device functionalities, thus precluding color center integrated photonic circuits. In this work, we utilize inverse design methods to overcome constraints of cutting-edge diamond nanofabrication methods and fabricate compact and robust diamond devices with unique specifications. Our design method leverages advanced optimization techniques to search the full parameter space for fabricable device designs. We experimentally demonstrate inverse-designed photonic free-space interfaces as well as their scalable integration with two vastly different devices: classical photonic crystal cavities and inverse-designed waveguide-splitters. The multi-device integration capability and performance of our inverse-designed diamond platform represents a critical advancement toward integrated diamond quantum optical circuits.


title: Adversarially Learned Anomaly Detection

abstract: Anomaly detection is a significant and hence well-studied problem. However, developing effective anomaly detection methods for complex and high-dimensional data remains a challenge. As Generative Adversarial Networks (GANs) are able to model the complex high-dimensional distributions of real-world data, they offer a promising approach to address this challenge. In this work, we propose an anomaly detection method, Adversarially Learned Anomaly Detection (ALAD) based on bi-directional GANs, that derives adversarially learned features for the anomaly detection task. ALAD then uses reconstruction errors based on these adversarially learned features to determine if a data sample is anomalous. ALAD builds on recent advances to ensure data-space and latent-space cycle-consistencies and stabilize GAN training, which results in significantly improved anomaly detection performance. ALAD achieves state-of-the-art performance on a range of image and tabular datasets while being several hundred-fold faster at test time than the only published GAN-based method.


title: Learning Dynamic Embeddings from Temporal Interactions

abstract: Modeling a sequence of interactions between users and items (e.g., products, posts, or courses) is crucial in domains such as e-commerce, social networking, and education to predict future interactions. Representation learning presents an attractive solution to model the dynamic evolution of user and item properties, where each user/item can be embedded in a euclidean space and its evolution can be modeled by dynamic changes in embedding. However, existing embedding methods either generate static embeddings, treat users and items independently, or are not scalable. Here we present JODIE, a coupled recurrent model to jointly learn the dynamic embeddings of users and items from a sequence of user-item interactions. JODIE has three components. First, the update component updates the user and item embedding from each interaction using their previous embeddings with the two mutually-recursive Recurrent Neural Networks. Second, a novel projection component is trained to forecast the embedding of users at any future time. Finally, the prediction component directly predicts the embedding of the item in a future interaction. For models that learn from a sequence of interactions, traditional training data batching cannot be done due to complex user-user dependencies. Therefore, we present a novel batching algorithm called t-Batch that generates time-consistent batches of training data that can run in parallel, giving massive speed-up. We conduct six experiments on two prediction tasks---future interaction prediction and state change prediction---using four real-world datasets. We show that JODIE outperforms six state-of-the-art algorithms in these tasks by up to 22.4%. Moreover, we show that JODIE is highly scalable and up to 9.2x faster than comparable models. As an additional experiment, we illustrate that JODIE can predict student drop-out from courses five interactions in advance.


title: Online basis construction for goal-oriented adaptivity in the Generalized Multiscale Finite Element Method

abstract: In this research, we develop an online enrichment framework for goal-oriented adaptivity within the generalized multiscale finite element method for flow problems in heterogeneous media. The method for approximating the quantity of interest involves construction of residual-based primal and dual basis functions used to enrich the multiscale space at each stage of the adaptive algorithm. Three different online enrichment strategies based on the primal-dual online basis construction are proposed: standard, primal-dual combined and primal-dual product based. Numerical experiments are performed to illustrate the efficiency of the proposed methods for high-contrast heterogeneous problems.


title: Driven-Dissipative Quantum Dynamics in Ultra Long-lived Dipoles in an Optical Cavity

abstract: We study the quantum dynamics of many-body arrays of two-level atoms in a driven cavity subject to collective decay and interactions mediated by the cavity field. We work in the bad cavity limit accessible, for example, using long-lived electronic clock states of alkaline earth atoms, for which the bare atomic linewidth is much less than the cavity linewidth. In the absence of interactions, our system reduces to previously studied models of collective fluorescence. We show that while interactions do not qualitatively change the steady state properties, they lead to a drastic change in the dynamical properties. We find that, for some interval of driving strengths, the system shows two very distinct types of transient behaviors that depend on the initial state of the system. In particular, there is a parameter regime where the system features oscillatory dynamics with a period of oscillation that becomes much shorter than the duration of the overall transient dynamics as the atom number increases. We use both mean field and exact numerical calculations of the quantum system to investigate the dynamics.


title: When Homomorphic Cryptosystem Meets Differential Privacy: Training Machine Learning Classifier with Privacy Protection

abstract: Machine learning (ML) classifiers are invaluable building blocks that have been used in many fields. High quality training dataset collected from multiple data providers is essential to train accurate classifiers. However, it raises concern about data privacy due to potential leakage of sensitive information in training dataset. Existing studies have proposed many solutions to privacy-preserving training of ML classifiers, but it remains a challenging task to strike a balance among accuracy, computational efficiency, and security. In this paper, we propose Heda, an efficient privacypreserving scheme for training ML classifiers. By combining homomorphic cryptosystem (HC) with differential privacy (DP), Heda obtains the tradeoffs between efficiency and accuracy, and enables flexible switch among different tradeoffs by parameter tuning. In order to make such combination efficient and feasible, we present novel designs based on both HC and DP: A library of building blocks based on partially HC are proposed to construct complex training algorithms without introducing a trusted thirdparty or computational relaxation; A set of theoretical methods are proposed to determine appropriate privacy budget and to reduce sensitivity. Security analysis demonstrates that our solution can construct complex ML training algorithm securely. Extensive experimental results show the effectiveness and efficiency of the proposed scheme.


title: RDEC: Integrating Regularization into Deep Embedded Clustering for Imbalanced Datasets

abstract: Clustering is a fundamental machine learning task and can be used in many applications. With the development of deep neural networks (DNNs), combining techniques from DNNs with clustering has become a new research direction and achieved some success. However, few studies have focused on the imbalanced-data problem which commonly occurs in real-world applications. In this paper, we propose a clustering method, regularized deep embedding clustering (RDEC), that integrates virtual adversarial training (VAT), a network regularization technique, with a clustering method called deep embedding clustering (DEC). DEC optimizes cluster assignments by pushing data more densely around centroids in latent space, but it is sometimes sensitive to the initial location of centroids, especially in the case of imbalanced data, where the minor class has less chance to be assigned a good centroid. RDEC introduces regularization using VAT to ensure the model's robustness to local perturbations of data. VAT pushes data that are similar in the original space closer together in the latent space, bunching together data from minor classes and thereby facilitating cluster identification by RDEC. Combining the advantages of DEC and VAT, RDEC attains state-of-the-art performance on both balanced and imbalanced benchmark/real-world datasets. For example, accuracies are as high as 98.41% on MNIST dataset and 85.45% on a highly imbalanced dataset derived from the MNIST, which is nearly 8% higher than the current best result.


title: On general construct of chaotic unbounded linear operators in Banach Spaces with Schauder Bases

abstract: We utilize the idea underlying the construct of the classical weighted backward shift Rolewicz's operators to furnish a straightforward approach to a general construct of chaotic unbounded linear operators in a (real or complex) Banach space with a Schauder basis.


title: On ends of finite-volume noncompact manifolds of nonpositive curvature

abstract: In this paper we confirm a folklore conjecture which suggests that for a complete noncompact manifold $M$ of finite volume with sectional curvature $-1 \leq K \leq 0$, if the universal cover of $M$ is a visibility manifold, then the fundamental group of each end of $M$ is almost nilpotent.


title: Temperature changes accompanying signal propagation in axons

abstract: In this paper mathematical models are formulated in order to simulate heat production and corresponding temperature changes which accompany the propagation of an axon potential. Based on earlier experimental results, several models are proposed. Together with the earlier system of coupled differential equations derived by the authors for describing the electrical and mechanical components of signalling in nerve fibres, the novel results permit to cast the whole process of signalling into one system. The emphasis is on the mathematical description of coupling forces. The numerical results are qualitatively similar to experiments.


title: The Role of Topology in the Synchronization of Neuronal Networks Based on the Hodgkin-Huxley Model

abstract: Complex systems in the real world can be modeled as a network of connected components. The human brain, as a network of neurons among which the interactions cause perception, is a complex network. Synchronization is a dynamical phenomenon that can be seen in the brain. The network topology has a remarkable impact on both the function and the dynamics of neural networks. In this research, synchronization of neural networks is scrutinized through creating various topologies. These networks include both excitatory and inhibitory neurons. We investigate the dynamics of different networks by random rewiring of the synaptic connections. In this manner, a regular network transforms into a small-world network and then becomes a random network. Coherence level which is measured and utilized as the criteria to analyze synchronicity, experiencing a sharp increase as the network changes into the small-world network and growing steadily by the end. On the other hand, a decreasing trend of coherence level is revealed starting from a complete excitatory network and gradually increasing of inhibitory neurons. Thus, the coherence level reaches approximately zero in a complete inhibitory network. By increasing the number of neurons in the network, the degree of synchronization follows a power-law distribution; however, the number of synaptic connections of each neuron and their conductance have a positive impact on synchronization. By applying the model to a C-elegance neural network, not only the mentioned parameters but also the role of the degree distribution are highlighted.


title: General Compound Hawkes Processes in Limit Order Books

abstract: In this paper, we study various new Hawkes processes. Specifically, we construct general compound Hawkes processes and investigate their properties in limit order books. With regards to these general compound Hawkes processes, we prove a Law of Large Numbers (LLN) and a Functional Central Limit Theorems (FCLT) for several specific variations. We apply several of these FCLTs to limit order books to study the link between price volatility and order flow, where the volatility in mid-price changes is expressed in terms of parameters describing the arrival rates and mid-price process.