title: Ensemble Kalman filter for multiscale inverse problems

abstract: We present a novel algorithm based on the ensemble Kalman filter to solve inverse problems involving multiscale elliptic partial differential equations. Our method is based on numerical homogenization and finite element discretization and allows to recover a highly oscillatory tensor from measurements of the multiscale solution in a computationally inexpensive manner. The properties of the approximate solution are analysed with respect to the multiscale and discretization parameters, and a convergence result is shown to hold. A reinterpretation of the solution from a Bayesian perspective is provided, and convergence of the approximate conditional posterior distribution is proved with respect to the Wasserstein distance. A numerical experiment validates our methodology, with a particular emphasis on modelling error and computational cost.


title: Thermodynamics of Cyclic Quantum Amplifiers

abstract: We develop a generic model for a cyclic quantum heat engine that makes it possible to coherently amplify a periodically modulated input signal without the need to couple the working medium to multiple reservoirs at the same time. Instead, we suggest an operation principle that is based on the spontaneous creation of population inversion in incomplete relaxation processes induced by periodic temperature variations. Focusing on Lindblad dynamics and systems with equally spaced energy levels, e.g. qubits or quantum harmonic oscillators, we derive a general working criterion for such cyclic quantum amplifiers. This criterion defines a class of candidates for suitable working media and applies to arbitrary control protocols. For the minimal case of a cyclic three-level amplifier, we show that our criterion is tight and explore the conditions for optimal performance.


title: Mars' plasma system. Scientific potential of coordinated multi-point missions: "The next generation" (A White Paper submitted to ESA's Voyage 2050 Call)

abstract: The objective of this White Paper submitted to ESA's Voyage 2050 call is to get a more holistic knowledge of the dynamics of the Martian plasma system from its surface up to the undisturbed solar wind outside of the induced magnetosphere. This can only be achieved with coordinated multi-point observations with high temporal resolution as they have the scientific potential to track the whole dynamics of the system (from small to large scales), and they constitute the next generation of Mars' exploration as it happened at Earth few decades ago. This White Paper discusses the key science questions that are still open at Mars and how they could be addressed with coordinated multipoint missions. The main science questions are: (i) How does solar wind driving impact on magnetospheric and ionospheric dynamics? (ii) What is the structure and nature of the tail of Mars' magnetosphere at all scales? (iii) How does the lower atmosphere couple to the upper atmosphere? (iv) Why should we have a permanent in-situ Space Weather monitor at Mars? Each science question is devoted to a specific plasma region, and includes several specific scientific objectives to study in the coming decades. In addition, two mission concepts are also proposed based on coordinated multi-point science from a constellation of orbiting and ground-based platforms, which focus on understanding and solving the current science gaps.


title: A Single-Shot Arbitrarily-Shaped Text Detector based on Context Attended Multi-Task Learning

abstract: Detecting scene text of arbitrary shapes has been a challenging task over the past years. In this paper, we propose a novel segmentation-based text detector, namely SAST, which employs a context attended multi-task learning framework based on a Fully Convolutional Network (FCN) to learn various geometric properties for the reconstruction of polygonal representation of text regions. Taking sequential characteristics of text into consideration, a Context Attention Block is introduced to capture long-range dependencies of pixel information to obtain a more reliable segmentation. In post-processing, a Point-to-Quad assignment method is proposed to cluster pixels into text instances by integrating both high-level object knowledge and low-level pixel information in a single shot. Moreover, the polygonal representation of arbitrarily-shaped text can be extracted with the proposed geometric properties much more effectively. Experiments on several benchmarks, including ICDAR2015, ICDAR2017-MLT, SCUT-CTW1500, and Total-Text, demonstrate that SAST achieves better or comparable performance in terms of accuracy. Furthermore, the proposed algorithm runs at 27.63 FPS on SCUT-CTW1500 with a Hmean of 81.0% on a single NVIDIA Titan Xp graphics card, surpassing most of the existing segmentation-based methods.


title: Faddeev-Jackiw Quantization of Christ-Lee Model

abstract: We analyze the constraints of Christ-Lee model by the means of modified Faddeev-Jackiw formalism in Cartesian as well as polar coordinates. Further, we accomplish quantization \`{a} la Faddeev-Jackiw by choosing appropriate gauge conditions in both the coordinate systems. Finally, we establish gauge symmetries of Christ-Lee model with the help of zero modes of the symplectic matrix.


title: Numerical determination of monopole scaling dimension in parity-invariant three-dimensional non-compact QED

abstract: We present a direct Monte-Carlo determination of the scaling dimension of a topological defect operator in the infrared fixed point of a three-dimensional interacting quantum field theory. For this, we compute the free energy to introduce the background gauge field of the $Q=1$ monopole-antimonopole pair in three-dimensional non-compact QED with $N=2,4$ and $12$ flavors of massless two-component fermions, and study its asymptotic logarithmic dependence on the monopole-antimonopole separation. We estimate the scaling dimension in the $N=12$ case to be consistent with the large-$N$ (free fermion) value. We find the deviations from this large-$N$ value for $N=2$ and $4$ are positive but small, implying that the higher order corrections in the large-$N$ expansion become mildly important for $N=2,4$.


title: Natural orbital functional for multiplets

abstract: A natural orbital functional for electronic systems with any value of the spin is proposed. This energy functional is based on a new reconstruction for the two-particle reduced density matrix (2RDM) of the multiplet, that is, of the mixed quantum state that allows all possible spin projections. The mixed states of maximum spin multiplicity are considered. This approach differs from the methods routinely used in electronic structure calculations that focus on the high-spin component or break the spin symmetry. In the ensemble, there are no interactions between electrons with opposite spins in singly occupied orbitals, as well as new inter-pair alpha-beta-contributions are proposed in the 2RDM. The proposed 2RDM fulfills (2,2)-positivity necessary N-representability conditions and guarantees the conservation of the total spin. The NOF for multiplets is able to recover the non-dynamic and the intrapair dynamic electron correlation. The missing dynamic correlation is recovered by the NOF-MP2 method. Calculation of ionization potentials of the first-row transition-metal atoms is presented as test case. The values obtained agree with those reported at the coupled cluster singles and doubles level of theory with perturbative triples and experimental data.


title: Top-quark properties at ATLAS

abstract: Properties of the top-quark are presented, with emphasis on the most recent ATLAS measurements of the mass and $t\bar{t}$ spin correlations, obtained with proton-proton collision data collected at the Large Hadron Collider. Normalised differential distributions are used in both cases. For the extraction of the top-quark mass, $t\bar{t}+1$-jet single-lepton events are selected from the 20.2 fb$^{-1}$ 8 TeV dataset, and the unfolded distribution at parton level is compared with theoretical predictions to obtain $m_t^{\text{pole}} = 171.1^{+1.2}_{-1.1}$ GeV in the pole-mass scheme and $m_t(m_t) = 162.9^{+2.4}_{-1.6}$ GeV in the running-mass scheme. For the measurement of spin correlations in $t\bar{t}$ production, dilepton events are selected using 36.1 fb$^{-1}$ 13 TeV data. The azimuthal opening angle between the two leptons is measured inclusively and as a function of the invariant mass of the $t\bar{t}$ system. The observed degree of spin correlation is significantly higher than predicted by the generators used, but agrees well with the prediction of one of the fixed-order calculations.


title: Sign conditions for the existence of at least one positive solution of a sparse polynomial system

abstract: We give sign conditions on the support and coefficients of a sparse system of d generalized polynomials in d variables that guarantee the existence of at least one positive real root, based on degree theory and Gale duality. In the case of integer exponents, we relate our sufficient conditions to algebraic conditions that emerged in the study of toric ideals.


title: Theoretical ISM pressure and electron density diagnostics for local and high-redshift galaxies

abstract: We derive new self-consistent theoretical UV, optical, and IR diagnostics for the ISM pressure and electron density in the ionized nebulae of star-forming galaxies. Our UV diagnostics utilize the inter-combination, forbidden and resonance lines of silicon, carbon, aluminum, neon, and nitrogen. We also calibrate the optical and IR forbidden lines of oxygen, argon, nitrogen and sulfur. We show that line ratios used as ISM pressure diagnostics depend on the gas-phase metallicity with a residual dependence on the ionization parameter of the gas. In addition, the traditional electron density diagnostic [S II] {\lambda}6731/[S II] {\lambda}6717 is strongly dependent on the gas-phase metallicity. We show how different emission-line ratios are produced in different ionization zones in our theoretical nebulae. The [S II] and [O II] ratios are produced in different zones, and should not be used interchangeably to measure the electron density of the gas unless the electron temperature is known to be constant. We review the temperature and density distributions observed within H II regions and discuss the implications of these distributions on measuring the electron density of the gas. Many H II regions contain radial variations in density. We suggest that the ISM pressure is a more meaningful quantity to measure in H II regions or galaxies. Specific combinations of line ratios can cover the full range of ISM pressures (4 < log(P/k) < 9). As H II regions become resolved at increasingly high redshift through the next generation telescopes, we anticipate that these diagnostics will be important for understanding the conditions around the young, hot stars from the early universe to the present day.


title: SAX Navigator: Time Series Exploration through Hierarchical Clustering

abstract: Comparing many long time series is challenging to do by hand. Clustering time series enables data analysts to discover relevance between and anomalies among multiple time series. However, even after reasonable clustering, analysts have to scrutinize correlations between clusters or similarities within a cluster. We developed SAX Navigator, an interactive visualization tool, that allows users to hierarchically explore global patterns as well as individual observations across large collections of time series data. Our visualization provides a unique way to navigate time series that involves a "vocabulary of patterns" developed by using a dimensionality reduction technique,Symbolic Aggregate approXimation(SAX). With SAX, the time series data clusters efficiently and is quicker to query at scale. We demonstrate the ability of SAX Navigator to analyze patterns in large time series data based on three case studies for an astronomy data set. We verify the usability of our system through a think-aloud study with an astronomy domain scientist.


title: First Double Cascade Tau Neutrino Candidates in IceCube and a New Measurement of the Flavor Composition

abstract: The IceCube Neutrino Observatory at the South Pole, which detects Cherenkov light from charged particles produced in neutrino interactions, firmly established the existence of an astrophysical high-energy neutrino component. The expected neutrino flavor composition on Earth is $\nu_e:\nu_{\mu}:\nu_{\tau}$ of about 1:1:1 for neutrinos produced in astrophysical sources through pion decay. A measurement of the flavor composition on Earth can provide important constraints on sources and production mechanisms within the standard model, and can also constrain various beyond-standard-model processes. Here the measurement of the flavor composition performed on IceCube's High-Energy Starting Events sample with a livetime of about 7.5 years is presented. IceCube is directly sensitive to each neutrino flavor via the single cascade, track and double cascade event topologies. In IceCube, $\nu_{\tau}$-CC interactions above $\sim$ 100 TeV can produce resolvable double cascades, breaking the degeneracy between $\nu_e$ and $\nu_{\tau}$ present at lower energies. IceCube's first two identified double cascades are presented and the properties of the two $\nu_{\tau}$ candidates are discussed.


title: When very slow is too fast -- collapse of a predator-prey system

abstract: Critical transitions or regime shifts are sudden and unexpected changes in the state of an ecosystem, that are usually associated with dangerous levels of environmental change. However, recent studies show that critical transitions can also be triggered by dangerous rates of environmental change. In contrast to classical regime shifts, such rate-induced critical transitions do not involve any obvious loss of stability, or a bifurcation, and thus cannot be explained by the linear stability analysis. In this work, we demonstrate that the well-known Rosenzweig-MacArthur predator-prey model can undergo a rate-induced critical transition in response to a continuous decline in the habitat quality, resulting in a collapse of the predator and prey populations. Rather surprisingly, the collapse occurs even if the environmental change is slower than the slowest process in the model. To explain this counterintuitive phenomenon, we combine methods from geometric singular perturbation theory with the concept of a moving equilibrium, and study critical rates of environmental change with dependence on the initial state and the system parameters. Moreover, for a fixed rate of environmental change, we determine the set of initial states that undergo a rate-induced population collapse. Our results suggest that ecosystems may be more sensitive to how fast environmental conditions change than previously assumed. In particular, unexpected critical transitions with dramatic ecological consequences can be triggered by environmental changes that (i) do not exceed any dangerous levels, and (ii) are slower than the natural timescales of the ecosystem. This poses an interesting research question whether regime shifts observed in the natural world are predominantly rate-induced or bifurcation-induced.


title: Factorization of Dickson polynomials over Finite Fields

abstract: Let $D_n(x;a)$ and $E_n(x;a)\in\mathbb F_q[x]$ be Dickson polynomials of first and second kind respectively, where $\mathbb F_q$ is a finite field with $q$ elements. In this article we show explicitly the irreducible factors these polynomials in the case that every prime divisor of $n$ divides $q-1$. This result generalizes the results find in Chou, W.S., The Factorization of Dickson polynomials over finite fields. Finite Fields Appl. {\bf3} (1997) 84-96, Fitzgerald R. W., Yucas J. L., Explicit factorization of cyclotomic and Dickson polynomials over finite fields. Arithmetic of Finite Fields. Lecture Notes in Computer Science, vol. {\bf 4547}, pp. 1-10. Springer, Berlin (2007), Tosun, S., Explicit factorizations of generalized Dickson polynomials of order $2^{m}$ via generalized cyclotomic polynomials over finite fields. Finite Fields Appl. {\bf 38} (2016) 40-56 and Tosun, S., Explicit factors of generalized cyclotomic polynomials and generalized Dickson polynomials of order $2^m3$ over finite fields. Discrete Math. 342 (2019) DOI: j.disc.2019.111618


title: Dessins d'enfants and Brauer configuration algebras

abstract: In this paper we associate to a dessin d'enfant an associative algebra, called a Brauer configuration algebra. This is an algebra given by quiver and relations induced by the monodromy of the dessin d'enfant. We show that the dimension of the Brauer configuration algebra associated to a dessin d'enfant and the dimension of the centre this algebra are invariant under the action of the absolute Galois group. We give some examples of well-known algebras and their dessins d'enfants. Finally we show that the Brauer configuration algebras of a dessin d'enfant and its dual share the same path algebra.


title: Development of a UV-transparent Lens Array for Enlarging the Effective Area of Multichannel SiPMs

abstract: We developed a UV-transparent lens array that can increase the photon detection efficiency of a silicon photomultiplier (SiPM) array comprising of 64 pixels ($3\times3$ mm$^2$ each) and 0.2-mm gaps. Through the plano-convex spherical lens on each $3.2\times3.2$ mm$^2$ region, we showed that the loss of photon detection efficiency due to the pixel gaps could be recovered as the incident photons get concentrated on the sensitive regions of the SiPM array. By using a prototype lens array, we achieved approximately 10%-30% relative increase in photon detection efficiency in our target angles of incidence of 30-60 deg.


title: Field redefinition's help in constructing non-abelian gauge theories

abstract: We study, using the example of general covariance, to what extent a would-be non-abelian extension of free field abelian gauge theory can be helped by a field redefinition; answer - not much! However, models resulting from dimensional reduction also include non-gauge fields to be integrated out, thereby offering a wider choice of redefinitions whose effects may indeed prove useful.


title: Time-Resolved Open-Circuit Conductive Atomic Force Microscopy for Quantitative Analysis of Nanowire Piezoelectricity and Triboelectricity

abstract: Piezoelectric nanowires are promising materials for sensing, actuation and energy harvesting, due to their enhanced properties at the nanoscale. However, quantitative characterization of piezoelectricity in nanomaterials is challenging due to practical limitations and the onset of additional electromechanical phenomena, such as the triboelectric and piezotronic effects. Here, we present an open-circuit conductive atomic force microscopy (cAFM) methodology for quantitative extraction of the axial piezoelectric coefficients of nanowires. We show, both theoretically and experimentally, that the standard short-circuit cAFM mode is inadequate for piezoelectric characterization of nanowires, and that such measurements are governed by competing mechanisms. We introduce an alternative open-circuit configuration, and employ time-resolved electromechanical measurements, to extract the piezoelectric coefficients. This method was applied to GaAs, an important semiconductor, with relatively low piezoelectric coefficients. The results obtained for GaAs,~0.4-1 pm/V, are in good agreement with existing knowledge and theory. Our method represents a significant advance in understanding the coexistence of different electromechanical effects, and in quantitative piezoelectric nanoscale characterization. The easy implementation will enable better understanding of electromechanics at the nanoscale.


title: Distributed Rate Control in Downlink NOMA Networks with Reliability Constraints

abstract: Non-orthogonal multiple access (NOMA) has been identified as a promising technology for future wireless systems due to its performance gains in spectral efficiency when compared to conventional orthogonal schemes (OMA). This gain can be easily translated to an increasing number of served users, but imposes a challenge in the system reliability which is of vital importance for new services and applications of coming cellular systems. To cope with these issues we propose a NOMA rate control strategy that makes use only of topological characteristics of the scenario and the reliability constraint. We attain the necessary conditions so that NOMA overcomes the OMA alternative, while we discuss the optimum allocation strategies for the 2-user NOMA setup when operating with equal rate or maximum sum-rate goals. In such scenario we show that the user with the largest target error probability times the ratio between the average receive signal power and the average interference power, should be scheduled to be decoded first for optimum performance. We compare numerically the performance of our allocation scheme with its ideal counterpart requiring full CSI at the BSs and infinitely long blocklength, and show how the gap increases as the reliability constraint becomes more stringent. Results also evidence the benefits of NOMA when the co-interference can be efficiently canceled, specially when the goal is to maximize the sum-rate.


title: A Multi-Type Multi-Span Network for Reading Comprehension that Requires Discrete Reasoning

abstract: Rapid progress has been made in the field of reading comprehension and question answering, where several systems have achieved human parity in some simplified settings. However, the performance of these models degrades significantly when they are applied to more realistic scenarios, such as answers involve various types, multiple text strings are correct answers, or discrete reasoning abilities are required. In this paper, we introduce the Multi-Type Multi-Span Network (MTMSN), a neural reading comprehension model that combines a multi-type answer predictor designed to support various answer types (e.g., span, count, negation, and arithmetic expression) with a multi-span extraction method for dynamically producing one or multiple text spans. In addition, an arithmetic expression reranking mechanism is proposed to rank expression candidates for further confirming the prediction. Experiments show that our model achieves 79.9 F1 on the DROP hidden test set, creating new state-of-the-art results. Source code\footnote{\url{https://github.com/huminghao16/MTMSN}} is released to facilitate future work.


title: Photoinduced polarization enhancement in biased bilayer graphene in the Landau level regime

abstract: We investigate the charge carrier dynamics in bilayer graphene subject to monochromatic laser irradiation within the Landau level quantization regime. Even though the radiation field does not lift the energy degeneracy of the lowest Landau levels (LLs), it nevertheless has a strong effect on the photoinduced pseudospin polarization response for higher LLs ($n\ge2$). Our results show that the photoinduced bandgaps lead to a finite response of the averaged pseudospin polarization with nontrivial oscillating behavior. It is shown that the contribution from these higher LL transitions turns out to be crucial to achieve an enhanced photoinduced polarization in radiated bilayer graphene. The experimental feasibility of our findings is also discussed.


title: Parametric effects in circuit quantum electrodynamics

abstract: We review recent advances in the research on quantum parametric phenomena in superconducting circuits with Josephson junctions. We discuss physical processes in parametrically driven tunable cavity and outline theoretical foundations for their description. Amplification and frequency conversion are discussed in detail for degenerate and non-degenerate parametric resonance, including quantum noise squeezing and photon entanglement. Experimental advances in this area played decisive role in successful development of quantum limited parametric amplifiers for superconducting quantum information technology. We also discuss nonlinear down-conversion processes and experiments on self-sustained parametric and subharmonic oscillations.


title: Epidemic models on social networks -- with inference

abstract: Consider stochastic models for the spread of an infection in a structured community, where this structured community is itself described by a random network model. Some common network models and transmission models are defined and large population proporties of them are presented. Focus is then shifted to statistical methodology: what can be estimated and how, depending on the underlying network, transmission model and the available data? This survey paper discusses several different scenarios, also giving references to publications where more details can be found.


title: Automation Impacts on China's Polarized Job Market

abstract: When facing threats from automation, a worker residing in a large Chinese city might not be as lucky as a worker in a large U.S. city, depending on the type of large city in which one resides. Empirical studies found that large U.S. cities exhibit resilience to automation impacts because of the increased occupational and skill specialization. However, in this study, we observe polarized responses in large Chinese cities to automation impacts. The polarization might be attributed to the elaborate master planning of the central government, through which cities are assigned with different industrial goals to achieve globally optimal economic success and, thus, a fast-growing economy. By dividing Chinese cities into two groups based on their administrative levels and premium resources allocated by the central government, we find that Chinese cities follow two distinct industrial development trajectories, one trajectory owning government support leads to a diversified industrial structure and, thus, a diversified job market, and the other leads to specialty cities and, thus, a specialized job market. By revisiting the automation impacts on a polarized job market, we observe a Simpson's paradox through which a larger city of a diversified job market results in greater resilience, whereas larger cities of specialized job markets are more susceptible. These findings inform policy makers to deploy appropriate policies to mitigate the polarized automation impacts.


title: Cosmological N-body simulations: a challenge for scalable generative models

abstract: Deep generative models, such as Generative Adversarial Networks (GANs) or Variational Autoencoders (VAs) have been demonstrated to produce images of high visual quality. However, the existing hardware severely limits the size of the images that can be generated. The rapid growth of high dimensional data in many fields of science therefore poses a significant challenge for generative models. In cosmology, the large-scale, three-dimensional matter distribution, modeled with N-body simulations, plays a crucial role in understanding the evolution of the universe. As these simulations are computationally very expensive, GANs have recently generated interest as a possible method to emulate these datasets, but they have been, so far, mostly limited to two dimensional data. In this work, we introduce a new benchmark for the generation of three dimensional N-body simulations, in order to stimulate new ideas in the machine learning community and move closer to the practical use of generative models in cosmology. As a first benchmark result, we propose a scalable GAN approach for training a generator of N-body three-dimensional cubes. Our technique relies on two key building blocks, (i) splitting the generation of the high-dimensional data into smaller parts, and (ii) using a multi-scale approach that efficiently captures global image features that might otherwise be lost in the splitting process. We evaluate the performance of our model for the generation of N-body samples using various statistical measures commonly used in cosmology. Our results show that the proposed model produces samples of high visual quality, although the statistical analysis reveals that capturing rare features in the data poses significant problems for the generative models. We make the data, quality evaluation routines, and the proposed GAN architecture publicly available at https://github.com/nperraud/3DcosmoGAN

categories: physics.comp-ph astro-ph.CO cs.LG eess.IV


title: Impact of the initial fluctuations on the dissipative dynamics of interacting Fermi systems: A model case study

abstract: Standard methods used for computing the dynamics of a quantum many-body system are the mean-field (MF) approximations such as the time-dependent Hartree-Fock (TDHF) approach. Even though MF approaches are quite successful, they suffer some well-known shortcomings, one of which is insufficient dissipation of collective motion. The stochastic mean-field approach (SMF), where a set of MF trajectories with random initial conditions are considered, is a good candidate to include dissipative effects beyond mean field. In this approach, the one-body density matrix elements are treated initially as a set of stochastic Gaussian c numbers that are adjusted to reproduce first and second moments of collective one-body observables. It is shown that the predictive power of the SMF approach can be further improved by relaxing the Gaussian assumption for the initial probabilities. More precisely, using Gaussian or uniform distributions for the matrix elements generally leads to overdamping for long times, whereas distributions with smaller kurtosis lead to much better reproduction of the long time evolution.


title: Enhancing the speed and sensitivity of a nonlinear optical sensor with noise

abstract: We demonstrate how noise can be turned into an advantage for optical sensing using a nonlinear cavity. The cavity is driven by a continuous wave laser into the regime of optical bistability. Due to the influence of fluctuations, the cavity randomly switches between two states. By analyzing residence times in these two states, perturbations to the resonance frequency of the cavity can be detected. Here, such an analysis is presented as a function of the strength of the perturbation and of the noise. By increasing the standard deviation of the noise, we find that the detection speed increases monotonically while the sensitivity peaks at a finite value of the noise strength. Furthermore, we discuss how noise-assisted sensing can be optimized in state-of-the-art experimental platforms, relying solely on the minimum amount of noise present in the cavity due to its dissipation. These results open new perspectives for the ultrafast detection of nanoparticles, contaminants, gases, or other perturbations to the resonance frequency of an optical resonator, at low powers and in noisy environments.


title: Quasi-local energy and ADM mass in pure Lovelock gravity

abstract: We study how the standard definitions of ADM mass and Brown-York quasi-local energy generalize to pure Lovelock gravity. The quasi-local energy is renormalized using the background subtraction prescription and we consider its limit for large surfaces. We find that the large surface limit vanishes for asymptotically flat fall-off conditions except in Einstein gravity. This problem is avoided by focusing on the variation of the quasi-local energy which correctly approaches the variation of the ADM mass for large surfaces. As a result, we obtain a new simple formula for the ADM mass in pure Lovelock gravity. We apply the formula to spherically symmetric geometries verifying previous calculations in the literature. We also revisit asymptotically AdS geometries.


title: Self-Exciting Multifractional Processes

abstract: We propose a new multifractional stochastic process which allows for self-exciting behavior, similar to what can be seen for example in earthquakes and other self-organizing phenomena. The process can be seen as an extension of a multifractional Brownian motion, where the Hurst function is dependent on the past of the process. We define this through a stochastic Volterra equation, and we prove existence and uniqueness of this equation, as well as give bounds on the p-order moments, for all p>=1. We show convergence of an Euler-Maruyama scheme for the process, and also give the rate of convergence, which is depending on the self-exciting dynamics of the process. Moreover, we discuss different applications of this process, and give examples of different functions to model self-exciting behavior.


title: Magnetic proximity in a van der Waals heterostructure of magnetic insulator and graphene

abstract: Engineering two-dimensional material heterostructures by combining the best of different materials in one ultimate unit can offer a plethora of opportunities in condensed matter physics. Here, in the van der Waals heterostructures of the ferromagnetic insulator Cr2Ge2Te6 and graphene, our observations indicate an out-of-plane proximity-induced ferromagnetic exchange interaction in graphene. The perpendicular magnetic anisotropy of Cr2Ge2Te6 results in significant modification of the spin transport and precession in graphene, which is ascribed to the proximity-induced exchange interaction. Furthermore, the observation of a larger lifetime for perpendicular spins in comparison to the in-plane counterpart suggests the creation of a proximity-induced anisotropic spin texture in graphene. Our experimental results and density functional theory calculations open up opportunities for the realization of proximity-induced magnetic interactions and spin filters in 2D material heterostructures and can form the basic building blocks for future spintronic and topological quantum devices.


title: Reaction Rate Of p14N --> 15Ogamma Capture To All Bound States In Potential Cluster Model

abstract: Review of calculation results for astrophysical S-factor of the 14N(p,gamma)15O capture reaction in the p14N channel of 15O was presented. It was carried out in the frame of the modified potential cluster model, taking into account resonances in the 15O spectrum up to 3.2 MeV at energy of incident protons varying from 30 keV to 5 MeV. It is possible to describe experimental data for the astrophysical S-factors of the radiative proton capture on 14N to five excited states of 15O at excitation energies from 5.18 MeV to 6.86 MeV, only under assumption, that all five resonances are D scattering waves. Quality new physical interpretation of the capture mechanism is discussed in this channel to the ground state of 15O. Carried out by us assumption that the ground state of 15O is determined by the p14N* channel with excited 14N* cluster, immediately allowed us to correctly describe order of values of the experimental S-factor for capture to this state. Taking into account these results, the total S-factor of the proton capture on 14N and the reaction rates to the ground and five excited states of 15O were determined at temperatures from 0.01 to 10 T9. The parametrization of the total reaction rate with a simple form is performed, which allows to obtain xi2 equal to 0.06 with 5% errors of the calculated rate.


title: Searching for Time-Dependent Neutrino Emission from Blazars with IceCube

abstract: In 2017, IceCube detected a high energy neutrino in coincidence with the blazar TXS 0506+056. In a follow up analysis of archival data, evidence for previous neutrino emission from the blazar during 2014-15 was found. In this analysis, we investigate whether other blazars might have had episodes of neutrino emission. We use a 5-year sample of muon-neutrino data and the same timedependent algorithm that was used for the archival analysis of TXS 0506+056, applying it to all of the objects in the northern sky listed in the Fermi 3LAC catalog. We fit for the most significant neutrino flare from each direction, without assuming any correlation with electromagnetic light curves. To search for an excess of significant flares which could indicate a small population of neutrino emitters, we apply a binomial test. This binomial test does not find a significant excess of flares relative to the results expected for background coincidences from atmospheric neutrinos. The final significance of the analysis is p=0.244 when TXS 0506+056 is excluded, consistent with the background-only hypothesis. We report the parameters of the individual fits for the most significant objects which contributed to the final result.


title: Uniform local Lipschitz continuity of eigenvalues with respect to the potential in $L^1[a,b]$

abstract: The present paper shows that the eigenvalue sequence $\{\lambda_n(q)\}_{n\geqslant 1}$ of regular Sturm-Liouville eigenvalue problem with certain monotonic weights is uniformly Lipschitz continuous with respect to the potential $q$ on any bounded subset of $L^1([a,b],\mathbb{R})$.


title: Vector spaces as Kripke frames

abstract: In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \emph{lexical} aspects of meaning into Lambek's type-logical grammar program. This approach is based on the observation that a sound semantics for the associative, commutative and unital Lambek calculus can be based on vector spaces by interpreting fusion as the tensor product of vector spaces. In this paper, we build on this observation and extend it to a `vector space semantics' for the \emph{general} Lambek calculus, based on \emph{algebras over a field} $\mathbb{K}$ (or $\mathbb{K}$-algebras), i.e. vector spaces endowed with a bilinear binary product. Such structures are well known in algebraic geometry and algebraic topology, since they are important instances of Lie algebras and Hopf algebras. Applying results and insights from duality and representation theory for the algebraic semantics of nonclassical logics, we regard $\mathbb{K}$-algebras as `Kripke frames' the complex algebras of which are complete residuated lattices. This perspective makes it possible to establish a systematic connection between vector space semantics and the standard Routley-Meyer semantics of (modal) substructural logics.


title: A positioning system for Baikal-GVD

abstract: A cubic kilometer scale neutrino telescope Baikal-GVD is currently under construction in Lake Baikal. Baikal-GVD is designed to detect Cerenkov radiation from products of astrophysical neutrino interactions with Baikal water by a lattice of photodetectors submerged between the depths of 1275 and 730 m. The detector components are mounted on flexible strings and can drift from their initial positions upwards to tens of meters. This introduces positioning uncertainty which translates into a timing error for Cerenkov signal registration. A spatial positioning system has been developed to resolve this issue. In this contribution, we present the status of this system, results of acoustic measurements and an estimate of positioning error for an individual component.


title: The inverted U-shaped effect of urban hotspots spatial compactness on urban economic growth

abstract: The compact city, as a sustainable concept, is intended to augment the efficiency of urban function. However, previous studies have concentrated more on morphology than on structure. The present study focuses on urban structural elements, i.e., urban hotspots consisting of high-density and high-intensity socioeconomic zones, and explores the economic performance associated with their spatial structure. We use nighttime luminosity (NTL) data and the Loubar method to identify and extract the hotspot and ultimately draw two conclusions. First, with population increasing, the hotspot number scales sublinearly with an exponent of approximately 0.50~0.55, regardless of the location in China, the EU or the US, while the intersect values are totally different, which is mainly due to different economic developmental level. Secondly, we demonstrate that the compactness of hotspots imposes an inverted U-shaped influence on economic growth, which implies that an optimal compactness coefficient does exist. These findings are helpful for urban planning.


title: Exponential two-armed bandit problem

abstract: We consider exponential two-armed bandit problem in which incomes are described by exponential distribution densities. We develop Bayesian approach and present recursive equation for determination of Bayesian strategy and Bayesian risk. In the limiting case as the control horizon goes to infinity, we obtain the second order partial differential equation in the domain of "close distributions". Results are compared with Gaussian two-armed bandit. It turned out that exponential and Gaussian two-armed bandits have the same description in the limiting case. Since Gaussian two-armed bandit describes the batch processing, this means that in case of exponential two-armed bandit batch processing does not enlarge Bayesian risk in comparison with one-by-one optimal processing as the total number of processed data items goes to infinity.


title: Bubbling solutions for a planar exponential nonlinear elliptic equation with a singular source

abstract: Let $\Omega$ be a bounded domain in $\mathbb{R}^2$ with smooth boundary, we study the following elliptic Dirichlet problem $$ \begin{cases} -\Delta\upsilon= e^{\upsilon}-s\phi_1-4\pi\alpha\delta_p-h(x)\,\,\,\, \,\textrm{in}\,\,\,\,\,\Omega,\\[2mm] \upsilon=0 \quad\quad\quad\quad\quad\quad \qquad\qquad\quad\quad\,\,\,\, \textrm{on}\,\ \,\partial\Omega, \end{cases} $$ where $s>0$ is a large parameter, $h\in C^{0,\gamma}(\overline{\Omega})$, $p\in\Omega$, $\alpha\in(-1,+\infty)\setminus\mathbb{N}$, $\delta_p$ denotes the Dirac measure supported at point $p$ and $\phi_1$ is a positive first eigenfunction of the problem $-\Delta\phi=\lambda\phi$ under Dirichlet boundary condition in $\Omega$. If $p$ is a strict local maximum point of $\phi_1$, we show that such a problem has a family of solutions $\upsilon_s$ with arbitrary $m$ bubbles accumulating to $p$, and the quantity $\int_{\Omega}e^{\upsilon_s}\rightarrow8\pi(m+1+\alpha)\phi_1(p)$ as $s\rightarrow+\infty$.


title: The inter-cluster time synchronization systems within the Baikal-GVD detector

abstract: Currently in Lake Baikal, a new generation neutrino telescope is being deployed: the deep underwater Cherenkov detector of a cubic-kilometer scale Baikal-GVD. Completion of the first stage of the telescope construction is planned for 2021 with the implementation of 9 clusters. Each cluster is a completely independent unit in all the aspects: triggering, calibration, data transfer, etc. A high-energy particle might leave its trace in more than a single cluster. To be able to merge events caused by such a particle in more clusters, the appropriate inter-cluster time synchronization is vital.


title: Mean-variance hedging of unit linked life insurance contracts in a jump-diffusion model

abstract: We consider a time-consistent mean-variance portfolio selection problem of an insurer and allow for the incorporation of basis (mortality) risk. The optimal solution is identified with a Nash subgame perfect equilibrium. We characterize an optimal strategy as solution of a system of partial integro-differential equations (PIDEs), a so called extended Hamilton-Jacobi-Bellman (HJB) system. We prove that the equilibrium is necessarily a solution of the extended HJB system. Under certain conditions we obtain an explicit solution to the extended HJB system and provide the optimal trading strategies in closed-form. A simulation shows that the previously found strategies yield payoffs whose expectations and variances are robust regarding the distribution of jump sizes of the stock. The same phenomenon is observed when the variance is correctly estimated, but erroneously ascribed to the diffusion components solely. Further, we show that differences in the insurance horizon and the time to maturity of a longevity asset do not add to the variance of the terminal wealth.


title: Toward Structured Proofs for Dynamic Logics

abstract: We present Kaisar, a structured interactive proof language for differential dynamic logic (dL), for safety-critical cyber-physical systems (CPS). The defining feature of Kaisar is *nominal terms*, which simplify CPS proofs by making the frequently needed historical references to past program states first-class. To support nominals, we extend the notion of structured proof with a first-class notion of *structured symbolic execution* of CPS models. We implement Kaisar in the theorem prover KeYmaera X and reproduce an example on the safe operation of a parachute and a case study on ground robot control. We show how nominals simplify common CPS reasoning tasks when combined with other features of structured proof. We develop an extensive metatheory for Kaisar. In addition to soundness and completeness, we show a formal specification for Kaisar's nominals and relate Kaisar to a nominal variant of dL.


title: The Brauer indecomposability of Scott modules with semidihedral vertex

abstract: We present a sufficient condition for the $kG$-Scott module with vertex $P$ to remain indecomposable under the Brauer construction for any subgroup $Q$ of $P$ as $k[Q\,C_G(Q)]$-module, where $k$ is a field of characteristic $2$, and $P$ is a semidihedral $2$-subgroup of a finite group $G$. This generalizes results for the cases where $P$ is abelian or dihedral. The Brauer indecomposability is defined \linebreak by R.~Kessar, N.~Kunugi and N.~Mitsuhashi. The motivation of \linebreak this paper is a fact that the Brauer indecomposability of a $p$-permutation bimodule ($p$ is a prime) is one of the key steps in order to obtain a splendid stable equivalence of Morita type by making use of the gluing method due to Brou\'e, Rickard, Linckelmann and Rouquier, that then can possibly be lifted to a splendid derived (splendid Morita) equivalence.


title: Spectral substructured two-level domain decomposition methods

abstract: Two-level domain decomposition (DD) methods are very powerful techniques for the efficient numerical solution of partial differential equations (PDEs). A two-level domain decomposition method requires two main components: a one-level preconditioner (or its corresponding smoothing iterative method), which is based on domain decomposition techniques, and a coarse correction step, which relies on a coarse space. The coarse space must properly represent the error components that the chosen one-level method is not capable to deal with. In the literature most of the works introduced efficient coarse spaces obtained as the span of functions defined on the entire space domain of the considered PDE. Therefore, the corresponding two-level preconditioners and iterative methods are defined in volume. In this paper, a new class of substructured two-level methods is introduced,for which both domain decomposition smoothers and coarse correction steps are defined on the interfaces (or skeletons). This approach has several advantages. On the one hand, the required computational effort is cheaper than the one required by classical volumetric two-level methods. On the other hand, it allows one to use some of the well-known efficient coarse spaces proposed in the literature. While analyzing in detail the new substructured methods, we present a new convergence analysis for two-level iterative methods, which covers the proposed substructured framework. Further, we study the asymptotic optimality of coarse spaces both theoretically and numerically using deep neural networks. Numerical experiments demonstrate the effectiveness of the proposed new numerical framework.


title: The fundamental group of binoid varieties

abstract: Binoid schemes generalise monoid schemes, which in turn enable us to generalise toric varieties. Let $X$ be a binoid scheme. The aim of this paper is to calculate the topological fundamental group of $KX$, where $K=\mathbb{C}$ or $\mathbb{R}$. For the latter, we will give an explicit way of calculating the fundamental group using methods from 2-category theory. Indeed, we will calculate the more general fundamental groupoid. As a specialisation, we will also look at the Stanley Reisner Rings. Our method simplifies in this case, allowing us to describe the fundamental groupoid in terms of the simplicial complex directly.


title: Sharp estimates for the spreading speed of the Lotka-Volterra diffusion system with strong competition

abstract: This paper is concerned with the classical two-species Lotka-Volterra diffusion system with strong competition. The sharp dynamical behavior of the solution is established in two different situations: either one species is an invasive one and the other is a native one or both are invasive species. Our results seem to be the first that provide a precise spreading speed and profile for such a strong competition system. Among other things, our analysis relies on the construction of new types of supersolution and subsolution, which are optimal in certain sense.


title: To complete or to estimate, that is the question: A Multi-Task Approach to Depth Completion and Monocular Depth Estimation

abstract: Robust three-dimensional scene understanding is now an ever-growing area of research highly relevant in many real-world applications such as autonomous driving and robotic navigation. In this paper, we propose a multi-task learning-based model capable of performing two tasks:- sparse depth completion (i.e. generating complete dense scene depth given a sparse depth image as the input) and monocular depth estimation (i.e. predicting scene depth from a single RGB image) via two sub-networks jointly trained end to end using data randomly sampled from a publicly available corpus of synthetic and real-world images. The first sub-network generates a sparse depth image by learning lower level features from the scene and the second predicts a full dense depth image of the entire scene, leading to a better geometric and contextual understanding of the scene and, as a result, superior performance of the approach. The entire model can be used to infer complete scene depth from a single RGB image or the second network can be used alone to perform depth completion given a sparse depth input. Using adversarial training, a robust objective function, a deep architecture relying on skip connections and a blend of synthetic and real-world training data, our approach is capable of producing superior high quality scene depth. Extensive experimental evaluation demonstrates the efficacy of our approach compared to contemporary state-of-the-art techniques across both problem domains.


title: Hamming Sentence Embeddings for Information Retrieval

abstract: In retrieval applications, binary hashes are known to offer significant improvements in terms of both memory and speed. We investigate the compression of sentence embeddings using a neural encoder-decoder architecture, which is trained by minimizing reconstruction error. Instead of employing the original real-valued embeddings, we use latent representations in Hamming space produced by the encoder for similarity calculations. In quantitative experiments on several benchmarks for semantic similarity tasks, we show that our compressed hamming embeddings yield a comparable performance to uncompressed embeddings (Sent2Vec, InferSent, Glove-BoW), at compression ratios of up to 256:1. We further demonstrate that our model strongly decorrelates input features, and that the compressor generalizes well when pre-trained on Wikipedia sentences. We publish the source code on Github and all experimental results.


title: Improving Randomized Learning of Feedforward Neural Networks by Appropriate Generation of Random Parameters

abstract: In this work, a method of random parameters generation for randomized learning of a single-hidden-layer feedforward neural network is proposed. The method firstly, randomly selects the slope angles of the hidden neurons activation functions from an interval adjusted to the target function, then randomly rotates the activation functions, and finally distributes them across the input space. For complex target functions the proposed method gives better results than the approach commonly used in practice, where the random parameters are selected from the fixed interval. This is because it introduces the steepest fragments of the activation functions into the input hypercube, avoiding their saturation fragments.


title: Brown's Criterion and classifying spaces for families

abstract: Let $G$ be a group and $\mathcal{F}$ be a family of subgroups closed under conjugation and subgroups. A model for the classifying space $E_{\mathcal{F}} G$ is a $G$-CW-complex $X$ such that every isotropy group belongs to $\mathcal{F}$, and for all $H\in \mathcal{F}$ the fixed point subspace $X^H$ is contractible. The group $G$ is of type $\mathcal{F}\text{-}\mathrm{F}_{n}$ if it admits a model for $E_\mathcal{F} G$ with $n$-skeleton with compact orbit space. The main result of the article provides is a characterization of $\mathcal{F}\text{-}\mathrm{F}_{n}$ analogue to Brown's criterion for $\mathrm{FP}_n$. As applications we provide criteria for this type of finiteness properties with respect to families to be preserved by finite extensions, a result that contrast with examples of Leary and Nucinkis. We also recover L\"uck's characterization of property $\underline{\mathrm{F}}_n$ in terms of the finiteness properties of the Weyl groups.


title: On Gossip-based Information Dissemination in Pervasive Recommender Systems

abstract: Pervasive computing systems employ distributed and embedded devices in order to raise, communicate, and process data in an anytime-anywhere fashion. Certainly, its most prominent device is the smartphone due to its wide proliferation, growing computation power, and wireless networking capabilities. In this context, we revisit the implementation of digitalized word-of-mouth that suggests exchanging item preferences between smartphones offline and directly in immediate proximity. Collaboratively and decentrally collecting data in this way has two benefits. First, it allows to attach for instance location-sensitive context information in order to enrich collected item preferences. %enhance on-device recommendations. Second, model building does not require network connectivity. Despite the benefits, the approach naturally raises data privacy and data scarcity issues. In order to address both, we propose Propagate and Filter, a method that translates the traditional approach of finding similar peers and exchanging item preferences among each other from the field of decentralized to that of pervasive recommender systems. Additionally, we present preliminary results on a prototype mobile application that implements the proposed device-to-device information exchange. Average ad-hoc connection delays of 25.9 seconds and reliable connection success rates within 6 meters underpin the approach's technical feasibility.


title: Observation of Highly Nonlinear Resistive Switching of Al2O3/TiO2-x Memristors at Cryogenic Temperature (1.5 K)

abstract: In this work, we investigate the behavior of Al2O3/TiO2-x cross-point memristors in cryogenic environment. We report successful resistive switching of memristor devices from 300 K down to 1.5 K. The I-V curves exhibit negative differential resistance effects between 130 and 1.5 K, attributed to a metal-insulator transition (MIT) of the Ti4O7 conductive filament. The resulting highly nonlinear behavior is associated to a maximum ION/IOFF ratio of 84 at 1.5 K, paving the way to selector-free cryogenic passive crossbars. Finally, temperature-dependant thermal activation energies related to the conductance at low bias (20 mV) are extracted for memristors in low resistance state, suggesting hopping-type conduction mechanisms.


title: Sample-efficient Deep Reinforcement Learning with Imaginary Rollouts for Human-Robot Interaction

abstract: Deep reinforcement learning has proven to be a great success in allowing agents to learn complex tasks. However, its application to actual robots can be prohibitively expensive. Furthermore, the unpredictability of human behavior in human-robot interaction tasks can hinder convergence to a good policy. In this paper, we present an architecture that allows agents to learn models of stochastic environments and use them to accelerate learning. We descirbe how an environment model can be learned online and used to generate synthetic transitions, as well as how an agent can leverage these synthetic data to accelerate learning. We validate our approach using an experiment in which a robotic arm has to complete a task composed of a series of actions based on human gestures. Results show that our approach leads to significantly faster learning, requiring much less interaction with the environment. Furthermore, we demonstrate how learned models can be used by a robot to produce optimal plans in real world applications.


title: Beyond Cartesian Representations for Local Descriptors

abstract: The dominant approach for learning local patch descriptors relies on small image regions whose scale must be properly estimated a priori by a keypoint detector. In other words, if two patches are not in correspondence, their descriptors will not match. A strategy often used to alleviate this problem is to "pool" the pixel-wise features over log-polar regions, rather than regularly spaced ones. By contrast, we propose to extract the "support region" directly with a log-polar sampling scheme. We show that this provides us with a better representation by simultaneously oversampling the immediate neighbourhood of the point and undersampling regions far away from it. We demonstrate that this representation is particularly amenable to learning descriptors with deep networks. Our models can match descriptors across a much wider range of scales than was possible before, and also leverage much larger support regions without suffering from occlusions. We report state-of-the-art results on three different datasets.


title: The cubo-cubic transformation and K3 surfaces

abstract: In this note we observe that the Cremona transformation in Oguiso's example of Cremona isomorphic but not projectively equivalent quartic K3 surfaces in three-dimensional projective space is the classical cubo-cubic transformation.


title: End-to-end correlated subgap states in hybrid nanowires

abstract: End-to-end correlated bound states are investigated in superconductor-semiconductor hybrid nanowires at zero magnetic field. Peaks in subgap conductance are independently identified from each wire end, and a cross-correlation function is computed that counts end-to-end coincidences, averaging over thousands of subgap features. Strong correlations in a short, $300~\mathrm{nm}$ device are reduced by a factor of four in a long, $900~\mathrm{nm}$ device. In addition, subgap conductance distributions are investigated, and correlations between the left and right distributions are identified based on their mutual information.


title: A sharp threshold phenomenon in string graphs

abstract: We prove that for every $\epsilon>0$ there exists $\delta>0$ such that the following holds. Let $\mathcal{C}$ be a collection of $n$ curves in the plane such that there are at most $(\frac{1}{4}-\epsilon)\frac{n^{2}}{2}$ pairs of curves $\{\alpha,\beta\}$ in $\mathcal{C}$ having a nonempty intersection. Then $\mathcal{C}$ contains two disjoint subsets $\mathcal{A}$ and $\mathcal{B}$ such that $|\mathcal{A}|=|\mathcal{B}|\geq \delta n$, and every $\alpha\in \mathcal{A}$ is disjoint from every $\beta\in\mathcal{B}$. On the other hand, for every positive integer $n$ there exists a collection $\mathcal{C}$ of $n$ curves in the plane such that there at most $(\frac{1}{4}+\epsilon)\frac{n^{2}}{2}$ pairs of curves $\{\alpha,\beta\}$ having a nonempty intersection, but if $\mathcal{A},\mathcal{B}\subset \mathcal{C}$ are such that $|\mathcal{A}|=|\mathcal{B}|$ and $\alpha\cap \beta=\emptyset$ for every $(\alpha,\beta)\in \mathcal{A}\times\mathcal{B}$, then $|\mathcal{A}|=|\mathcal{B}|=O(\frac{1}{\epsilon}\log n)$.


title: Conditional LSTM-GAN for Melody Generation from Lyrics

abstract: Melody generation from lyrics has been a challenging research issue in the field of artificial intelligence and music, which enables to learn and discover latent relationship between interesting lyrics and accompanying melody. Unfortunately, the limited availability of paired lyrics-melody dataset with alignment information has hindered the research progress. To address this problem, we create a large dataset consisting of 12,197 MIDI songs each with paired lyrics and melody alignment through leveraging different music sources where alignment relationship between syllables and music attributes is extracted. Most importantly, we propose a novel deep generative model, conditional Long Short-Term Memory - Generative Adversarial Network (LSTM-GAN) for melody generation from lyrics, which contains a deep LSTM generator and a deep LSTM discriminator both conditioned on lyrics. In particular, lyrics-conditioned melody and alignment relationship between syllables of given lyrics and notes of predicted melody are generated simultaneously. Experimental results have proved the effectiveness of our proposed lyrics-to-melody generative model, where plausible and tuneful sequences can be inferred from lyrics.


title: Learning Interactive Behaviors for Musculoskeletal Robots Using Bayesian Interaction Primitives

abstract: Musculoskeletal robots that are based on pneumatic actuation have a variety of properties, such as compliance and back-drivability, that render them particularly appealing for human-robot collaboration. However, programming interactive and responsive behaviors for such systems is extremely challenging due to the nonlinearity and uncertainty inherent to their control. In this paper, we propose an approach for learning Bayesian Interaction Primitives for musculoskeletal robots given a limited set of example demonstrations. We show that this approach is capable of real-time state estimation and response generation for interaction with a robot for which no analytical model exists. Human-robot interaction experiments on a 'handshake' task show that the approach generalizes to new positions, interaction partners, and movement velocities.


title: Speaker Verification Using Simple Temporal Features and Pitch Synchronous Cepstral Coefficients

abstract: Speaker verification is the process by which a speakers claim of identity is tested against a claimed speaker by his or her voice. Speaker verification is done by the use of some parameters (features) from the speakers voice which can be used to differentiate among many speakers. The efficiency of speaker verification system mainly depends on the feature set providing high inter-speaker variability and low intra-speaker variability. There are many methods used for speaker verification. Some systems use Mel Frequency Cepstral Coefficients as features (MFCCs), while others use Hidden Markov Models (HMM) based speaker recognition, Support Vector Machines (SVM), GMMs . In this paper simple intra-pitch temporal information in conjunction with pitch synchronous cepstral coefficients forms the feature set. The distinct feature of a speaker is determined from the steady state part of five cardinal spoken English vowels. The performance was found to be average when these features were used independently. But very encouraging results were observed when both features were combined to form a decision for speaker verification. For a database of twenty speakers of 100 utterances per speaker, an accuracy of 91.04% has been observed. The analysis of speakers whose recognition was incorrect is conducted and discussed .


title: Voltage Instability Prediction Using a Deep Recurrent Neural Network

abstract: This paper develops a new method for voltage instability prediction using a recurrent neural network with long short-term memory. The method is aimed to be used as a supplementary warning system for system operators, capable of assessing whether the current state will cause voltage instability issues several minutes into the future. The proposed method use a long sequence-based network, where both real-time and historic data are used to enhance the classification accuracy. The network is trained and tested on the Nordic32 test system, wherecombinations of different operating conditions and contingency scenarios are generated using time-domain simulations. The method shows that almost all N-1 contingency test cases were predicted correctly, and N-1-1 contingency test cases were predicted with over 93 % accuracy only seconds after a disturbance. Further, the impact of sequence length is examined, showing that the proposed long sequenced-based method provides significantly better classification accuracy than both a feedforward neural network and a network using a shorter sequence.


title: Liquid-Hextic-Solid Phase Transition of a Hard-Core Lattice Gas with Third Neighbor Exclusion

abstract: The determination of phase behavior and, in particular, the nature of phase transitions in two-dimensional systems is often clouded by finite size effects and by access to the appropriate thermodynamic regime. We address these issues using an alternative route to deriving the equation of state of a two-dimensional hard-core particle system, based on kinetic arguments and the Gibbs adsorption isotherm, by use of the random sequential adsorption with surface diffusion (RSAD) model. Insight into coexistence regions and phase transitions is obtained through direct visualization of the system at any fractional surface coverage via local bond orientation order. The analysis of the bond orientation correlation function for each individual configuration confirms that first-order phase transition occurs in a two-step liquid-hexatic-solid transition at high surface coverage.


title: Probabilistic Verification in Mechanism Design

abstract: We introduce a model of probabilistic verification in mechanism design. The principal elicits a message from the agent and then selects a test to give the agent. The agent's true type determines the probability with which he can pass each test. We characterize whether each type has an associated test that best screens out all other types. If this condition holds, then the testing technology can be represented in a tractable reduced form. We use this reduced form to solve for profit-maximizing mechanisms with verification. As the verification technology varies, the solution continuously interpolates between the no-verification solution and full surplus extraction.


title: Towards Automated Machine Learning: Evaluation and Comparison of AutoML Approaches and Tools

abstract: There has been considerable growth and interest in industrial applications of machine learning (ML) in recent years. ML engineers, as a consequence, are in high demand across the industry, yet improving the efficiency of ML engineers remains a fundamental challenge. Automated machine learning (AutoML) has emerged as a way to save time and effort on repetitive tasks in ML pipelines, such as data pre-processing, feature engineering, model selection, hyperparameter optimization, and prediction result analysis. In this paper, we investigate the current state of AutoML tools aiming to automate these tasks. We conduct various evaluations of the tools on many datasets, in different data segments, to examine their performance, and compare their advantages and disadvantages on different test cases.


title: Ricci Subtraction for Cosmological Coleman-Weinberg Potentials

abstract: We reconsider the fine-tuning problem of scalar-driven inflation arising from the need to couple the inflaton to ordinary matter in order to make reheating efficient. Quantum fluctuations of this matter induce Coleman-Weinberg corrections to the inflaton potential, depending (for de Sitter background) in a complex way on the ratio of the inflaton to the Hubble parameter. These corrections are not Planck-suppressed and cannot be completely subtracted because they are not even local for a general geometry. A previous study showed that it is not satisfactory to subtract a local function of just the inflaton and the {\it initial} Hubble parameter. This paper examines the other allowed possibility of subtracting a local function of the inflaton and the Ricci scalar. The problem in this case is that the new, scalar degree of freedom induced by the subtraction causes inflation to end almost instantly.


title: The strange properties of the infinite power tower

abstract: In this article we investigate some "unexpected" properties of the "Infinite Power Tower". \[y = f(x) = {x^{{x^{{x^{{x^ {\mathinner{\mkern2mu\raise1pt\hbox{.}\mkern2mu \raise4pt\hbox{.}\mkern2mu\raise7pt\hbox{.}\mkern1mu}} }}}}}}}\] The material collected here is also intended as a potential guide for teachers of high-school/undergraduate students interested in planning an activity of investigative mathematics in the classroom, where the knowledge is gained through the active, creative and cooperative use of diversified mathematical tools (and some ingenuity). The activity should possibly be carried on with a laboratorial style, with no preclusions on the paths chosen and undertaken by the students and with little or no information imparted from the teacher's desk. The teacher should then act just as a guide and a facilitator. The mathematical requisites to follow this path are: functions, properties of exponentials and logarithms, sequences, limits and derivatives. The topics presented should then be accessible to undergraduate or "advanced high school" students.


title: Field-Theoretic Thermodynamic Uncertainty Relation -- General formulation exemplified with the Kardar-Parisi-Zhang equation

abstract: We introduce a field-theoretic thermodynamic uncertainty relation as an extension of the one derived so far for a Markovian dynamics on a discrete set of states and for overdamped Langevin equations. We first formulate a framework which describes quantities like current, entropy production and diffusivity in the case of a generic field theory. We will then apply this general setting to the one-dimensional Kardar-Parisi-Zhang equation, a paradigmatic example of a non-linear field-theoretic Langevin equation. In particular, we will treat the dimensionless Kardar-Parisi-Zhang equation with an effective coupling parameter measuring the strength of the non-linearity. It will be shown that the field-theoretic thermodynamic uncertainty relation holds up to second order in a perturbation expansion with respect to a small effective coupling constant.


title: Quantum resonances of kicked rotor in the position representation

abstract: The study of quantum resonances in the chaotic atom-optics kicked rotor system is of interest from two different perspectives. In quantum chaos, it marks out the regime of resonant quantum dynamics in which the atomic cloud displays ballistic mean energy growth due to coherent momentum transfer. Secondly, the sharp quantum resonance peaks are useful in the context of measurement of Talbot time, one of the parameter that helps in precise measurement of fine structure constant. Most of the earlier works rely on fidelity based approach and have proposed Talbot time measurement through experimental determination of the momentum space probability density of the periodically kicked atomic cloud. Fidelity approach has the disadvantage that phase reversed kicks need to be imparted as well which potentially leads to dephasing. In contrast to this, in this work, it is theoretically shown that, without manipulating the kick sequences, the quantum resonances through position space density can be measured more accurately and is experimentally feasible as well.


title: A hypothesis test of feasibility for external pilot trials assessing recruitment, follow-up and adherence rates

abstract: The power of a large clinical trial can be adversely affected by low recruitment, follow-up and adherence rates. External pilot trials estimate these rates and use them, via pre-specified decision rules, to determine if the definitive trial is feasible and should go ahead. There is little methodological research underpinning how these decision rules, or the sample size of the pilot, should be chosen. In this paper we propose a hypothesis test of the feasibility of a definitive trial, to be applied to the external pilot data and used to make progression decisions. We quantify feasibility by the power of the planned trial, as a function of recruitment, follow-up and adherence rates. We use this measure to define hypotheses to test in the pilot, propose a test statistic, and show how the error rates of this test can be calculated for the common scenario of a two-arm parallel group definitive trial with a single normally distributed primary endpoint. We use our method to re-design TIGA-CUB, an external pilot trial comparing a psychotherapy with treatment as usual for children with conduct disorders. We then extend our formulation to include using the pilot data to estimate the standard deviation of the primary endpoint. and incorporate this into the progression decision.


title: Beam Asymmetry $\mathbf{\Sigma}$ for the Photoproduction of $\mathbf{\eta}$ and $\mathbf{\eta^{\prime}}$ Mesons at $\mathbf{E_{\gamma}=8.8}$GeV

abstract: We report on the measurement of the beam asymmetry $\Sigma$ for the reactions $\vec{\gamma}p\rightarrow p\eta$ and $\vec{\gamma}p \rightarrow p\eta^{\prime}$ from the GlueX experiment, using an 8.2--8.8 GeV linearly polarized tagged photon beam incident on a liquid hydrogen target in Hall D at Jefferson Lab. These measurements are made as a function of momentum transfer $-t$, with significantly higher statistical precision than our earlier $\eta$ measurements, and are the first measurements of $\eta^{\prime}$ in this energy range. We compare the results to theoretical predictions based on $t$--channel quasi-particle exchange. We also compare the ratio of $\Sigma_{\eta}$ to $\Sigma_{\eta^{\prime}}$ to these models, as this ratio is predicted to be sensitive to the amount of $s\bar{s}$ exchange in the production. We find that photoproduction of both $\eta$ and $\eta^{\prime}$ is dominated by natural parity exchange with little dependence on $-t$.


title: Phase field crystal model for heterostructures

abstract: Atomically thin 2-dimensional heterostructures are a promising, novel class of materials with groundbreaking properties. The possiblity of choosing the many constituent components and their proportions allows optimizing these materials to specific requirements. The wide adaptability comes with a cost of large parameter space making it hard to experimentally test all the possibilities. Instead, efficient computational modelling is needed. However, large range of relevant time and length scales related to physics of polycrystalline materials poses a challenge for computational studies. To this end, we present an efficient and flexible phase-field crystal model to describe the atomic configurations of multiple atomic species and phases coexisting in the same physical domain. We extensively benchmark the model for two-dimensional binary systems in terms of their elastic properties and phase boundary configurations and their energetics. As a concrete example, we demonstrate modelling lateral heterostructures of graphene and hexagonal boron nitride. We consider both idealized bicrystals and large-scale systems with random phase distributions. We find consistent relative elastic moduli and lattice constants, as well as realistic continuous interfaces and faceted crystal shapes. Zigzag-oriented interfaces are observed to display the lowest formation energy.


title: Multiple topological Dirac cones in a mixed-valent Kondo semimetal: g-SmS

abstract: We demonstrate theoretically that the golden phase of SmS ($g$-SmS), a correlated mixed-valent system, exhibits nontrivial surface states with diverse topology. It turns out that this material is an ideal playground to investigate different band topologies in different surface terminations. We have explored surface states on three different (001), (111), and (110) surface terminations. Topological signature in the (001) surface is not apparent due to a hidden Dirac cone inside the bulk-projected bands. In contrast, the (111) surface shows a clear gapless Dirac cone in the gap region, demonstrating the unambiguous topological Kondo nature of $g$-SmS. Most interestingly, the (110) surface exhibits both topological-insulator-type and topological-crystalline-insulator (TCI)-type surface states simultaneously. Two different types of double Dirac cones, Rashba-type and TCI-type, realized on the (001) and (110) surfaces, respectively, are analyzed with the mirror eigenvalues and mirror Chern numbers obtained from the model-independent \emph{ab initio} band calculations.


title: Quantum optics with single spins

abstract: Defects in solids are in many ways analogous to trapped atoms or molecules. They can serve as long-lived quantum memories and efficient light-matter interfaces. As such, they are leading building blocks for long-distance quantum networks and distributed quantum computers. This chapter describes the quantum-mechanical coupling between atom-like spin states and light, using the diamond nitrogen-vacancy (NV) center as a paradigm. We present an overview of the NV center's electronic structure, derive a general picture of coherent light-matter interactions, and describe several methods that can be used to achieve all-optical initialization, quantum-coherent control, and readout of solid-state spins. These techniques can be readily generalized to other defect systems, and they serve as the basis for advanced protocols at the heart of many emerging quantum technologies.


title: Deep reinforcement learning in World-Earth system models to discover sustainable management strategies

abstract: Increasingly complex, non-linear World-Earth system models are used for describing the dynamics of the biophysical Earth system and the socio-economic and socio-cultural World of human societies and their interactions. Identifying pathways towards a sustainable future in these models for informing policy makers and the wider public, e.g. pathways leading to a robust mitigation of dangerous anthropogenic climate change, is a challenging and widely investigated task in the field of climate research and broader Earth system science. This problem is particularly difficult when constraints on avoiding transgressions of planetary boundaries and social foundations need to be taken into account. In this work, we propose to combine recently developed machine learning techniques, namely deep reinforcement learning (DRL), with classical analysis of trajectories in the World-Earth system. Based on the concept of the agent-environment interface, we develop an agent that is generally able to act and learn in variable manageable environment models of the Earth system. We demonstrate the potential of our framework by applying DRL algorithms to two stylized World-Earth system models. Conceptually, we explore thereby the feasibility of finding novel global governance policies leading into a safe and just operating space constrained by certain planetary and socio-economic boundaries. The artificially intelligent agent learns that the timing of a specific mix of taxing carbon emissions and subsidies on renewables is of crucial relevance for finding World-Earth system trajectories that are sustainable on the long term.


title: Non-stationary Statistics and Formation Jitter in Transient Photon Condensation

abstract: While equilibrium phase transitions are well described by a free-energy landscape, there are few tools to describe general features of their non-equilibrium counterparts. On the other hand, near-equilibrium free-energies are easily accessible but their full geometry is only explored in non-equilibrium, e.g. after a quench. In the particular case of a non-stationary system, however, the concepts of an order parameter and free energy become ill-defined, and a comprehensive understanding of non-stationary (transient) phase transitions is still lacking. Here, we probe transient non-equilibrium dynamics of an optically pumped, dye-filled microcavity which exhibits near-equilibrium Bose-Einstein condensation under steady-state conditions. By rapidly exciting a large number of dye molecules, we quench the system to a far-from-equilibrium state and, close to a critical excitation energy, find delayed condensation, interpreted as a transient equivalent of critical slowing down. We introduce the two-time, non-stationary, second-order correlation function as a powerful experimental tool for probing the statistical properties of the transient relaxation dynamics. In addition to number fluctuations near the critical excitation energy, we show that transient phase transitions exhibit a different form of diverging fluctuations, namely timing jitter in the growth of the order parameter. This jitter is seeded by the randomness associated with spontaneous emission, with its effect being amplified near the critical point. The general character of our results are then discussed based on the geometry of effective free-energy landscapes. We thus identify universal features, such as the formation timing jitter, for a larger set of systems undergoing transient phase transitions. Our results carry immediate implications to diverse systems, including micro- and nano-lasers and growth of colloidal nanoparticles.


title: Entropic Out-of-Distribution Detection

abstract: Out-of-distribution (OOD) detection approaches usually present special requirements (e.g., hyperparameter validation, collection of outlier data) and produce side effects (e.g., classification accuracy drop, slower energy-inefficient inferences). We argue that these issues are a consequence of the SoftMax loss anisotropy and disagreement with the maximum entropy principle. Thus, we propose the IsoMax loss and the entropic score. The seamless drop-in replacement of the SoftMax loss by IsoMax loss requires neither additional data collection nor hyperparameter validation. The trained models do not exhibit classification accuracy drop and produce fast energy-efficient inferences. Moreover, our experiments show that training neural networks with IsoMax loss significantly improves their OOD detection performance. The IsoMax loss exhibits state-of-the-art performance under the mentioned conditions (fast energy-efficient inference, no classification accuracy drop, no collection of outlier data, and no hyperparameter validation), which we call the seamless OOD detection task. In future work, current OOD detection methods may replace the SoftMax loss with the IsoMax loss to improve their performance on the commonly studied non-seamless OOD detection problem.


title: Straggling for Covert Message Passing on Complete Graphs

abstract: We introduce a model for mobile, multi-agent information transfer that increases the communication covertness through a protocol which also increases the information transfer delay. Covertness is achieved in the presence of a warden who has the ability to patrol the communication channels. Furthermore we show how two forms of redundancy can be used as an effective tool to control the tradeoff between the covertness and the delay.


title: Combining Prediction Intervals on Multi-Source Non-Disclosed Regression Datasets

abstract: Conformal Prediction is a framework that produces prediction intervals based on the output from a machine learning algorithm. In this paper we explore the case when training data is made up of multiple parts available in different sources that cannot be pooled. We here consider the regression case and propose a method where a conformal predictor is trained on each data source independently, and where the prediction intervals are then combined into a single interval. We call the approach Non-Disclosed Conformal Prediction (NDCP), and we evaluate it on a regression dataset from the UCI machine learning repository using support vector regression as the underlying machine learning algorithm, with varying number of data sources and sizes. The results show that the proposed method produces conservatively valid prediction intervals, and while we cannot retain the same efficiency as when all data is used, efficiency is improved through the proposed approach as compared to predicting using a single arbitrarily chosen source.


title: Producers of Popular Science Web Videos. Between New Professionalism and Old Gender Issues

abstract: This article provides an overview of the web video production context related to science communication, based on a quantitative analysis of 190 YouTube videos. The authors explore the main characteristics and ongoing strategies of producers, focusing on three topics: professionalism, producer's gender and age profile, and community building. In the discussion, the authors compare the quantitative results with recently published qualitative research on producers of popular science web videos. This complementary approach gives further evidence on the main characteristics of most popular science communicators on YouTube, it shows a new type of professionalism that surpasses the hitherto existing distinction between User Generated Content (UGC) and Professional Generated Content (PGC), raises gender issues, and questions the participatory culture of science communicators on YouTube.


title: Random surfaces and Liouville quantum gravity

abstract: Liouville quantum gravity (LQG) surfaces are a family of random fractal surfaces which can be thought of as the canonical models of random two-dimensional Riemannian manifolds, in the same sense that Brownian motion is the canonical model of a random path. LQG surfaces are the continuum limits of discrete random surfaces called random planar maps. In this expository article, we discuss the definition of random planar maps and LQG, the sense in which random planar maps converge to LQG, and the motivations for studying these objects. We also mention several open problems. We do not assume any background knowledge beyond that of a second-year mathematics graduate student.


title: Heat rectification via a superconducting artificial atom

abstract: In miniaturising electrical devices down to nanoscales, heat transfer has turned into a serious obstacle but also potential resource for future developments, both for conventional and quantum computing architectures. Controlling heat transport in superconducting circuits has thus received increasing attention in engineering microwave environments for circuit quantum electrodynamics (cQED) and circuit quantum thermodynamics experiments (cQTD). While theoretical proposals for cQTD devices are numerous, the experimental situation is much less advanced. There exist only relatively few experimental realisations, mostly due to the difficulties in developing the hybrid devices and in interfacing these often technologically contrasting components. Here we show a realisation of a quantum heat rectifier, a thermal equivalent to the electronic diode, utilising a superconducting transmon qubit coupled to two strongly unequal resonators terminated by mesoscopic heat baths. Our work is the experimental realisation of the spin-boson rectifier proposed by Segal and Nitzan.


title: Ensemble Kalman Inversion: mean-field limit and convergence analysis

abstract: Ensemble Kalman Inversion (EKI) has been a very popular algorithm used in Bayesian inverse problems. It samples particles from a prior distribution, and introduces a motion to move the particles around in pseudo-time. As the pseudo-time goes to infinity, the method finds the minimizer of the objective function, and when the pseudo-time stops at $1$, the ensemble distribution of the particles resembles, in some sense, the posterior distribution in the linear setting. The ideas trace back further to Ensemble Kalman Filter and the associated analysis, but to today, when viewed as a sampling method, why EKI works, and in what sense with what rate the method converges is still largely unknown. In this paper, we analyze the continuous version of EKI, a coupled SDE system, and prove the mean field limit of this SDE system. In particular, we will show that 1. as the number of particles goes to infinity, the empirical measure of particles following SDE converges to the solution to a Fokker-Planck equation in Wasserstein 2-distance with an optimal rate, for both linear and weakly nonlinear case; 2. the solution to the Fokker-Planck equation reconstructs the target distribution in finite time in the linear case.


title: On the $ C^{8/3} $-Regularisation of Simultaneous Binary Collisions in the Collinear 4-Body Problem

abstract: The singularity at a simultaneous binary collision is explored in the collinear 4-body problem. It is known that any attempt to remove the singularity via block regularisation will result in a regularised flow that is no more than $ C^{8/3} $ differentiable with respect to initial conditions. Through a blow-up of the singularity, this loss of differentiability is investigated and a new proof of the $ C^{8/3} $ regularity is provided. In the process, it is revealed that the collision manifold consists of two manifolds of normally hyperbolic saddle singularities which are connected by a manifold of heteroclinics. By utilising recent work on transitions near such objects and their normal forms, an asymptotic series of the transition past the singularity is explicitly computed. It becomes remarkably apparent that the finite differentiability at $ 8/3 $ is due to the inability to construct a set of integrals local to the simultaneous binary collision. The finite differentiability is shown to be independent from a choice of initial condition or value of the masses.


title: Kinetic simulations of fusion ignition with hot-spot ablator mix

abstract: Inertial confinement fusion fuel suffers increased X-ray radiation losses when carbon from the capsule ablator mixes into the hot-spot. Here we present one and two-dimensional ion Vlasov-Fokker-Planck simulations that resolve hot-spot self heating in the presence of a localized spike of carbon mix, totalling 1.9% of the hot-spot mass. The mix region cools and contracts over tens of picoseconds, increasing its alpha particle stopping power and radiative losses. This makes a localized mix region more severe than an equal amount of uniformly distributed mix. There is also a purely kinetic effect that reduces fusion reactivity by several percent, since faster ions in the tail of the distribution are absorbed by the mix region. Radiative cooling and contraction of the spike induces fluid motion, causing neutron spectrum broadening. This artificially increases the inferred experimental ion temperatures and gives line of sight variations.


title: Time-dependent defects in integrable soliton equations

abstract: We study $(1+1)$-dimensional integrable soliton equations with time-dependent defects located at $x=c(t)$, where $c(t)$ is a function of class $C^1$. We define the defect condition as a B\"{a}cklund transformation evaluated at $x=c(t)$ in space rather than over the full line. We show that such a defect condition does not spoil the integrability of the system. We also study soliton solutions that can meet the defect for the system. An interesting discovery is that the defect system admits peaked soliton solutions.


title: Frequently dense harmonic functions and universal martingales on trees

abstract: We prove the existence of harmonic functions $f$ on trees, with respect to suitable transient transition operators $P$, that satisfy an analogue of Menshov universal property in the following sense: $f$ is the Poisson transform of a martingale on the boundary of the tree (equipped with the harmonic measure $m$ induced by $P$) such that, for every measurable function $h$ on the boundary, it contains a subsequence that converges to $h$ in measure. Moreover, the martingale visits every open set of measurable functions with positive lower density.


title: Weak imposition of Signorini boundary conditions on the boundary element method

abstract: We derive and analyse a boundary element formulation for boundary conditions involving inequalities. In particular, we focus on Signorini contact conditions. The Calder\'on projector is used for the system matrix and boundary conditions are weakly imposed using a particular variational boundary operator designed using techniques from augmented Lagrangian methods. We present a complete numerical a priori error analysis and present some numerical examples to illustrate the theory.


title: Fast Three-dimensional Opto-acoustic Simulation for Linear Array with Rectangular Elements

abstract: Simulation involves predicting responses of a physical system. In this article, we simulate opto-acoustic signals generated in a three-dimensional volume due to absorption of an optical pulse. A separable computational model is developed that permits an order-of-magnitude improvement in computational efficiency over a non-separable model. The simulated signals represent acoustic waves, measured by a probe with a linear transducer array, in a rotated and translated coordinate frame. Light is delivered by an optical source that moves with the probe's frame. A spatio-temporal impulse response for rectangular element transducer geometry is derived using a Green's function solution to the acoustic wave equation. The approach permits fast and accurate simulation for a probe with arbitrary trajectory. For a 3D volume of $n^3$ voxels, computation is accelerated by a factor of $n$. This may potentially have application for opto-acoustic imaging, where clinicians visualize structural and functional features of biological tissue for assessment of cancer and other diseases.


title: Space-Time Nonlinear Upscaling Framework Using Non-local Multi-continuum Approach

abstract: In this paper, we develop a space-time upscaling framework that can be used for many challenging porous media applications without scale separation and high contrast. Our main focus is on nonlinear differential equations with multiscale coefficients. The framework is built on nonlinear nonlocal multi-continuum upscaling concept and significantly extends the results in the proceeding paper. Our approach starts with a coarse space-time partition and identifies test functions for each partition, which plays a role of multi-continua. The test functions are defined via optimization and play a crucial role in nonlinear upscaling. In the second stage, we solve nonlinear local problems in oversampled regions with some constraints defined via test functions. These local solutions define a nonlinear map from macroscopic variables determined with the help of test functions to the fine-grid fields. This map can be thought as a downscaled map from macroscopic variables to the fine-grid solution. In the final stage, we seek macroscopic variables in the entire domain such that the downscaled field solves the global problem in a weak sense defined using the test functions. We present an analysis of our approach for an example nonlinear problem. Our unified framework plays an important role in designing various upscaled methods. Because local problems are directly related to the fine-grid problems, it simplifies the process of finding local solutions with appropriate constraints. Using machine learning (ML), we identify the complex map from macroscopic variables to fine-grid solution. We present numerical results for several porous media applications, including two-phase flow and transport.


title: Almost scalar-flat K\"{a}hler metrics on affine algebraic manifolds

abstract: Let $(X,L_{X})$ be an $n$-dimensional polarized manifold. Let $D$ be a smooth hypersurface defined by a holomorphic section of $L_{X}$. In this paper, we show the existence of a complete K\"{a}hler metric on $X \setminus D$ whose scalar curvature is flat away from some divisor if there are positive integers $l(>n),m$ such that the line bundle $K_{X}^{-l} \otimes L_{X}^{m}$ is very ample and the ratio $m/l$ is sufficiently small.


title: Quantum preprocessing for information-theoretic security in two-party computation

abstract: In classical two-party computation, a trusted initializer who prepares certain initial correlations, known as one-time tables, can help make the inputs of both parties information-theoretically secure. We propose some bipartite quantum protocols with possible aborts for approximately generating such bipartite classical correlations with varying degrees of privacy, without introducing a third party. Under some weak requirements for the parties, the security level is nontrivial for use in bipartite computation. We show that the security is sometimes dependent on the noise level, but we propose a method for dealing with noise. The security is "forced security", which implies that the probability that some useful one-time tables are generated can approach $1$ in the noiseless case under quite weak assumptions about the parties, although the protocols allow aborts. We show how to use the generated one-time tables to achieve nontrivial information-theoretic security in generic two-party classical or quantum computation tasks, including (interactive) quantum homomorphic encryption. Our methods provide check-based implementations of some no-signaling correlations, including the PR-box type, with the help of communication which carry no information about the inputs in the generated correlations.


title: Defect Physics of Pseudo-cubic Mixed Halide Lead Perovskites from First Principles

abstract: Owing to the increasing popularity of lead-based hybrid perovskites for photovoltaic (PV) applications, it is crucial to understand their defect physics and its influence on their optoelectronic properties. In this work, we simulate various point defects in pseudo-cubic structures of mixed iodide-bromide and bromide-chloride methylammonium lead perovskites with the general formula MAPbI_{3-y}Br_{y} or MAPbBr_{3-y}Cl_{y} (where y is between 0 and 3), and use first principles based density functional theory computations to study their relative formation energies and charge transition levels. We identify vacancy defects and Pb on MA anti-site defect as the lowest energy native defects in each perovskite. We observe that while the low energy defects in all MAPbI_{3-y}Br_{y} systems only create shallow transition levels, the Br or Cl vacancy defects in the Cl-containing pervoskites have low energy and form deep levels which become deeper for higher Cl content. Further, we study extrinsic substitution by different elements at the Pb site in MAPbBr_{3}, MAPbCl_{3} and the 50-50 mixed halide perovskite, MAPbBr_{1.5}Cl_{1.5}, and identify some transition metals that create lower energy defects than the dominant intrinsic defects and also create mid-gap charge transition levels.