title: Nonequilibrium Molecular Dynamics, Fractal Phase-Space Distributions, the Cantor Set, and Puzzles Involving Information Dimensions for Two Compressible Baker Maps

abstract: Deterministic and time-reversible nonequilibrium molecular dynamics simulations typically generate "fractal" [ fractional-dimensional ] phase-space distributions. Because these distributions and their time-reversed twins have zero phase volume, stable attractors "forward in time" and unstable (unobservable) repellors when reversed, these simulations are consistent with the Second Law of Thermodynamics. These same reversibility and stability properties can also be found in compressible Baker Maps, or in their equivalent random walks, motivating their careful study. We illustrate these ideas with three examples: a Cantor-Set Map and two linear compressible Baker Maps, N2$(q,p)$ and N3$(q,p)$. The two Baker Maps' Information dimensions estimated from sequential mappings agree while those from pointwise iteration do not, with the estimates dependent upon details of the approach to the maps' nonequilibrium steady states.


title: Automatic surface mesh generation for discrete models: A complete and automatic pipeline based on reparameterization

abstract: Triangulations are an ubiquitous input for the finite element community. However, most raw triangulations obtained by imaging techniques are unsuitable as-is for finite element analysis. In this paper, we give a robust pipeline for handling those triangulations, based on the computation of a one-to-one parametrization for automatically selected patches of input triangles, which makes each patch amenable to remeshing by standard finite element meshing algorithms. Using only geometrical arguments, we prove that a discrete parametrization of a patch is one-to-one if (and only if) its image in the parameter space is such that all parametric triangles have a positive area. We then derive a non-standard linear discretization scheme based on mean value coordinates to compute such one-to-one parametrizations, and show that the scheme does not discretize a Laplacian on a structured mesh. The proposed pipeline is implemented in the open source mesh generator Gmsh, where the creation of suitable patches is based on triangulation topology and parametrization quality, combined with feature edge detection. Several examples illustrate the robustness of the resulting implementation.


title: Complex time route to quantum backreaction

abstract: We consider the backreaction of a quantum system $q$ on an effectively classical degree of freedom $C$ that is interacting with it. The backreaction equation based on the standard path integral formalism gives the so-called `in-out' backreaction equation, which has several serious pathologies. One can use a different backreaction prescription, referred to as the `in-in' approach, which resolves all the issues of `in-out' backreaction equation. However, this procedure is usually invoked in a rather ad hoc manner. Here we provide a rigorous path integral derivation of the `in-in' approach by exploiting the concept of quantum evolution along complex time contours. It turns out that, this approach can also be used to study both the `in-in' and `in-out' backreaction equations in a unified manner.


title: Kinetic model for a confined quasi-two-dimensional gas of inelastic hard spheres

abstract: The local balance equations for the density, momentum, and energy of a dilute gas of elastic or inelastic hard spheres, strongly confined between two parallel hard plates are obtained. The starting point is a Boltzmann-like kinetic equation, recently derived for this system. As a consequence of the confinement, the pressure tensor and the heat flux contain, in addition to the terms associated to the motion of the particles, collisional transfer contributions, similar to those that appear beyond the dilute limit. The complexity of these terms, and of the kinetic equation itself, compromise the potential of the equation to describe the rich phenomenology observed in this kind of systems. For this reason, a simpler model equation based on the Boltzmann equation is proposed. The model is formulated to keep the main properties of the underlying equation, and it is expected to provide relevant information in more general states than the original equation. As an illustration, the solution describing a macroscopic state with uniform temperature, but a density gradient perpendicular to the plates is considered. This is the equilibrium state for an elastic system, and the inhomogeneous cooling state for the case of inelastic hard spheres. The results are in good agreement with previous results obtained directly from the Boltzmann equation.


title: Deep Static Modeling of invokedynamic

abstract: Java 7 introduced programmable dynamic linking in the form of the invokedynamic framework. Static analysis of code containing programmable dynamic linking has often been cited as a significant source of unsoundness in the analysis of Java programs. For example, Java lambdas, introduced in Java 8, are a very popular feature, which is, however, resistant to static analysis, since it mixes invokedynamic with dynamic code generation. These techniques invalidate static analysis assumptions: programmable linking breaks reasoning about method resolution while dynamically generated code is, by definition, not available statically. In this paper, we show that a static analysis can predictively model uses of invokedynamic while also cooperating with extra rules to handle the runtime code generation of lambdas. Our approach plugs into an existing static analysis and helps eliminate all unsoundness in the handling of lambdas (including associated features such as method references) and generic invokedynamic uses. We evaluate our technique on a benchmark suite of our own and on third-party benchmarks, uncovering all code previously unreachable due to unsoundness, highly efficiently.


title: A Pinching Estimate for Convex Hypersurfaces Evolving Under a Nonhomogeneous Variant of Mean Curvature Flow

abstract: We study a variant of the mean curvature flow for closed, convex hypersurfaces where the normal velocity is a nonhomogeneous function of the principal curvatures. We show that if the initial hypersurface satisfies a certain pinching condition, then this is preserved and the flow converges to a sphere under rescaling.


title: Introducing iFluid: a numerical framework for solving hydrodynamical equations in integrable models

abstract: We present an open-source Matlab framework, titled iFluid, for simulating the dynamics of integrable models using the theory of generalized hydrodynamics (GHD). The framework provides an intuitive interface, enabling users to define and solve problems in a few lines of code. Moreover, iFluid can be extended to encompass any integrable model, and the algorithms for solving the GHD equations can be fully customized. We demonstrate how to use iFluid by solving the dynamics of three distinct systems: (i) The quantum Newton's cradle of the Lieb-Liniger model, (ii) a gradual field release in the XXZ-chain, and (iii) a partitioning protocol in the relativistic sinh-Gordon model.


title: On the visible continuum and bands in the interstellar extinction curve II

abstract: Any distortion of a chemical structure causes new features to appear in the absorption spectrum of the structure, especially in the visible and near UV (see Paper I). Chemical modeling, using molecular orbital theory, showed that the continuum resulting from the accumulation of weak new bands in that range, correctly mimics the continuum measured in the laboratory on pure synthesized silicates, in the transparency spectral range, as well as in the InterStellar extinction curve in the same range. The present paper explores in more detail the strong discrete bands that emerge from the continuum due to distortion. It is found that different types of structure (linear or compact, carbon- or silicon-bearing) have each a limited number of strong, characteristic, bands at different wavelengths. Distortion is only one instance of ``defects'' that enrich the vis/UV absorption spectrum; others are: vacancies and voids, substitutions, inclusions in interstices, impurities, dangling bonds. The accumulation of these result in an ``amorphous'' structural state. Several examples of known amorphous materials, both carbon- and silicon-bearing, that have been analyzed in the laboratory, and simulated theoretically, are described below, thus extending the scope of this work. A final section lists several fields of astrophysics that have used, or may use, amorphous models of dust.


title: Lower Bounds for the Volume with Upper Bounds for the Ricci Curvature in Dimension Three

abstract: In this note we provide several lower bounds for the volume of a geodesic ball within the injectivity radius in a $3$-dimensional Riemannian manifold assuming only upper bounds for the Ricci curvature.


title: Quantum adiabatic elimination at arbitrary order for photon number measurement

abstract: Adiabatic elimination is a perturbative model reduction technique based on timescale separation and often used to simplify the description of composite quantum systems. We here analyze a quantum experiment where the perturbative expansion can be carried out to arbitrary order, such that: (i) we can formulate in the end an exact reduced model in quantum form; (ii) as the series provides accuracy for ever larger parameter values, we can discard any condition on the timescale separation, thereby analyzing the intermediate regime where the actual experiment is performing best; (iii) we can clarify the role of some gauge degrees of freedom in this model reduction technique.


title: Intersection between pencils of tubes, discretized sum-product, and radial projections

abstract: In this paper we prove the following results in the plane. They are related to each other, while each of them has its own interest. First we obtain an $\epsilon_0$-increment on intersection between pencils of $\delta$-tubes, under non-concentration conditions. In fact we show it is equivalent to the discretized sum-product problem, thus the $\epsilon_0$ follows from Bourgain's celebrated result. Then we prove a couple of new results on radial projections. We also discussion about the dependence of $\epsilon_0$ and make a new conjecture. A tube condition on Frostman measures, after careful refinement, is also given.


title: Variational Quantum Algorithms for Steady States of Open Quantum Systems

abstract: Solving problems related to open quantum systems has attracted many interests. Here, we propose a variational quantum algorithm to find the steady state of open quantum systems. In this algorithm, we employ parameterized quantum circuits to prepare the purification of the steady state and define the cost function based on the Lindblad master equation, which can be efficiently evaluated with quantum circuits. Then we optimize the parameters of the quantum circuit to find the steady state. Numerical simulations are performed on the one-dimensional transverses field Ising model with dissipative channels. The result showed that the fidelity between the optimal mixed state and the true steady state is over 99\%. This algorithm is derived from the natural idea of expressing mixed states with purification and provides a reference for the study of open quantum systems.


title: Perception and Acceptance of an Autonomous Refactoring Bot

abstract: The use of autonomous bots for automatic support in software development tasks is increasing. In the past, however, they were not always perceived positively and sometimes experienced a negative bias compared to their human counterparts. We conducted a qualitative study in which we deployed an autonomous refactoring bot for 41 days in a student software development project. In between and at the end, we conducted semi-structured interviews to find out how developers perceive the bot and whether they are more or less critical when reviewing the contributions of a bot compared to human contributions. Our findings show that the bot was perceived as a useful and unobtrusive contributor, and developers were no more critical of it than they were about their human colleagues, but only a few team members felt responsible for the bot.


title: Synchronous, Crosstalk-free Correlative AFM and Confocal Microscopies/Spectroscopies

abstract: Microscopies have become pillars of our characterization tools to observe biological systems and assemblies. Correlative and synchronous use of different microscopies relies on the fundamental assumption of non-interference during images acquisitions. In this work, by exploring the correlative use of Atomic Force Microscopy and confocal-Fluorescence-Lifetime Imaging Microscopy (AFM-FLIM), we quantify cross-talk effects occurring during synchronous acquisition. We characterize and minimize optomechanical forces on different AFM cantilevers interfering with normal AFM operation as well as spurious luminescence from the tip and cantilever affecting time-resolved fluorescence detection. By defining non-interfering experimental imaging parameters, we show accurate real-time acquisition and two-dimensional mapping of interaction force, fluorescence lifetime and intensity characterizing morphology (AFM) and local viscosity (FLIM) of gel and fluid phases separation of supported lipid model membranes. Finally, as proof of principle by means of synchronous force and fluorescence spectroscopies, we precisely tune the lifetime of a fluorescent nanodiamond positioned on the AFM tip by controlling its distance from a metallic surface. This opens up a novel pathway of quench sensing to image soft biological samples such as membranes since it does not require tip-sample mechanical contact in contrast with conventional AFM in liquid.


title: Long-Distance Continuous-Variable Quantum Key Distribution over 202.81 km of Fiber

abstract: Quantum key distribution provides secure keys resistant to code-breaking quantum computers. The continuous-variable version of quantum key distribution offers the advantages of higher secret key rates in metropolitan areas, as well as the use of standard telecom components that can operate at room temperature. However, the transmission distance of these systems (compared with discrete-variable systems) are currently limited and considered unsuitable for long-distance distribution. Herein, we report the experimental results of long distance continuous-variable quantum key distribution over 202.81 km of ultralow-loss optical fiber by suitably controlling the excess noise and employing highly efficient reconciliation procedures. This record-breaking implementation of the continuous-variable quantum key distribution doubles the previous distance record and shows the road for long-distance and large-scale secure quantum key distribution using room-temperature standard telecom components.


title: The Hamiltonian Dynamics of Horava Gravity

abstract: We consider the Hamiltonian formulation of Horava gravity in arbitrary dimensions, which has been proposed as a renormalizable gravity model for quantum gravity without the ghost problem. We study the "full" constraint analysis of the "non-projectable" Horava gravity whose potential, V(R), is an arbitrary function of the (intrinsic) Ricci scalar R. We find that there exist generally distinct cases of this theory, depending on (i) whether the Hamiltonian constraint generates new (second-class) constraints (Cases A, C) or just fixes the associated Lagrange multipliers (Case B), or (ii) whether the IR Lorentz-deformation parameter \lambda is at the conformal point (Case C) or not (Cases A, B). It is found that, for Cases A and C, the dynamical degrees of freedom are the same as in general relativity, while, for Case B, there is "one additional phase-space degree of freedom", representing an extra (odd) scalar graviton mode. This would resolve the long-standing debates about the extra graviton modes and achieves the dynamical consistency of the Horava gravity, at the "fully non-linear" level. Several exact solutions are also considered as some explicit examples of the new constraints. The structure of the newly obtained, "extended" constraint algebra seems to be generic to Horava gravity and its general proof would be a challenging problem. Some other challenging problems, which include the path integral quantization and the Dirac bracket quantization are discussed also.


title: Joint Optimization of File Placement and Delivery in Cache-Assisted Wireless Networks with Limited Lifetime and Cache Space

abstract: In this paper, the scheduling of downlink file transmission in one cell with the assistance of cache nodes with finite cache space is studied. Specifically, requesting users arrive randomly and the base station (BS) reactively multicasts files to the requesting users and selected cache nodes. The latter can offload the traffic in their coverage areas from the BS. We consider the joint optimization of the abovementioned file placement and delivery within a finite lifetime subject to the cache space constraint. Within the lifetime, the allocation of multicast power and symbol number for each file transmission at the BS is formulated as a dynamic programming problem with a random stage number. Note that there are no existing solutions to this problem. We develop an asymptotically optimal solution framework by transforming the original problem to an equivalent finite-horizon Markov decision process (MDP) with a fixed stage number. A novel approximation approach is then proposed to address the curse of dimensionality, where the analytical expressions of approximate value functions are provided. We also derive analytical bounds on the exact value function and approximation error. The approximate value functions depend on some system statistics, e.g., requesting users' distribution. One reinforcement learning algorithm is proposed for the scenario where these statistics are unknown.


title: Assessing different approaches to ab initio calculations of spin wave stiffness

abstract: Ab initio calculations of the spin wave stiffness constant $D$ for elemental Fe and Ni performed by different groups in the past have led to values with a considerable spread of 50-100 %. We present results for the stiffness constant $D$ of Fe, Ni, and permalloy Fe$_{0.19}$Ni$_{0.81}$ obtained by three different approaches: (i) by finding the quadratic term coefficient of the power expansion of the spin wave energy dispersion, (ii) by a damped real-space summation of weighted exchange coupling constants, and (iii) by integrating the appropriate expression in reciprocal space. All approaches are implemented by means of the same Korringa-Kohn-Rostoker (KKR) Green function formalism. We demonstrate that if properly converged, all procedures yield comparable values, with uncertainties of 5-10 % remaining. By a careful analysis of the influence of various technical parameters we estimate the margin of errors for the stiffness constants evaluated by different approaches and suggest procedures to minimize the risk of getting incorrect results.


title: Digital Infrastructure in Astrophysics

abstract: Astronomy, as a field, has long encouraged the development of free, open digital infrastructure (e.g., National Research Council 2010, 2011). Examples range from simple scripts that enable individual scientific research, through software instruments for entire communities, to data reduction pipelines for telescope operations at national facilities. As with the digital infrastructure of our larger society today (e.g., Eghbal 2016), nearly all astronomical research relies on free, open source software (FOSS) written and maintained by a small number of developers. And like the physical infrastructure of roads or bridges, digital infrastructure needs regular upkeep and maintenance (e.g., Eghbal 2016). In astronomy, financial support for maintaining existing digital infrastructure is generally much harder to secure than funding for developing new digital infrastructures that promise new science. Sustaining astronomy's digital infrastructure is a new topic for many, the sustainability challenges are not always widely known...

categories: astro-ph.IM astro-ph.GA astro-ph.HE astro-ph.SR


title: Extending the variability selection of active galactic nuclei in the W-CDF-S and SERVS/SWIRE region

abstract: Variability has proven to be a powerful tool to detect active galactic nuclei (AGN) in multi-epoch surveys. The new-generation facilities expected to become operational in the next few years will mark a new era in time-domain astronomy and their wide-field multi-epoch campaigns will favor extensive variability studies. We present our analysis of AGN variability in the second half of the VST survey of the Wide Chandra Deep Field South (W-CDF-S), performed in the r band and covering a 2 sq. deg. area. The analysis complements a previous work, in which the first half of the area was investigated. We provide a reliable catalog of variable AGN candidates, which will be critical targets in future variability studies. We selected a sample of optically variable sources and made use of infrared data from the Spitzer mission to validate their nature by means of color-based diagnostics. We obtain a sample of 782 AGN candidates among which 12 are classified as supernovae, 54 as stars, and 232 as AGN. We estimate a contamination $\lesssim 20\%$ and a completeness $\sim 38\%$ with respect to mid-infrared selected samples.


title: A Multi-Objective Approach for Multi-Cloud Infrastructure Brokering in Dynamic Markets

abstract: Cloud Service Brokers (CSBs) facilitate complex resource allocation decisions, efficiently mapping dynamic tenant demands onto dynamic provider offers, where several objectives should ideally be considered. This work proposes for the first time a pure multi-objective formulation of a broker-oriented Virtual Machine Placement (VMP) problem for dynamic environments, simultaneously optimizing the following objective functions: (i) Total Infrastructure CPU (TICPU), (ii) Total Infrastructure Memory (TIMEM) and (iii) Total Infrastructure Price (TIP) while considering load balancing across providers. To solve the formulated multi-objective problem, a Multi-Objective Evolutionary Algorithm (MOEA) is proposed. Considering that each time a demand (or offer) change occurs, a set of non-dominated solutions is found by Pareto-based algorithms as the one proposed, different selection strategies were evaluated in order to automatically select a convenient solution. Additionally, the proposed algorithm, including the considered selection strategies, was compared against mono-objective state-of-the-art alternatives in different scenarios with real data from providers in actual markets. Experimental results demonstrate that a pure multi-objective optimization approach considering the preferred solution selection strategy (S3) outperformed other mono-objective evaluated alternatives.


title: Extracting Multiple Viewpoint Models from Relational Databases

abstract: Much time in process mining projects is spent on finding and understanding data sources and extracting the event data needed. As a result, only a fraction of time is spent actually applying techniques to discover, control and predict the business process. Moreover, current process mining techniques assume a single case notion. However, in reallife processes often different case notions are intertwined. For example, events of the same order handling process may refer to customers, orders, order lines, deliveries, and payments. Therefore, we propose to use Multiple Viewpoint (MVP) models that relate events through objects and that relate activities through classes. The required event data are much closer to existing relational databases. MVP models provide a holistic view on the process, but also allow for the extraction of classical event logs using different viewpoints. This way existing process mining techniques can be used for each viewpoint without the need for new data extractions and transformations. We provide a toolchain allowing for the discovery of MVP models (annotated with performance and frequency information) from relational databases. Moreover, we demonstrate that classical process mining techniques can be applied to any selected viewpoint.


title: Non-equilibrium phase separation with reactions: A canonical model and its behaviour

abstract: Materials undergoing both phase separation and chemical reactions (defined here as all processes that change particle type or number) form an important class of non-equilibrium systems. Examples range from suspensions of self-propelled bacteria with birth-death dynamics, to bio-molecular condensates, or 'membraneless organelles', within cells. In contrast to their passive counterparts, such systems have conserved and non-conserved dynamics that do not, in general, derive from a shared free energy. This mismatch breaks time-reversal symmetry and leads to new types of dynamical competition that are absent in or near equilibrium. We construct a canonical scalar field theory to describe such systems, with conserved and non-conserved dynamics obeying Model B and Model A respectively (in the Hohenberg-Halperin classification), chosen such that the two free energies involved are incompatible. The resulting minimal model is shown to capture the various phenomenologies reported previously for more complicated models with the same physical ingredients, including microphase separation, limit cycles and droplet splitting. We find a low-dimensional subspace of parameters for which time-reversal symmetry is accidentally recovered, and show that here the dynamics of the order parameter field (but not its conserved current) is exactly the same as an equilibrium system in which microphase separation is caused by long-range attractive interactions.


title: Watching the Weak Link into Your Home: An Inspection and Monitoring Toolkit for TR-069

abstract: TR-069 is a standard for the remote management of end-user devices by service providers. Despite being implemented in nearly a billion devices, almost no research has been published on the security and privacy aspects of TR-069. The first contribution of this paper is a study of the TR-069 ecosystem and techniques to inspect TR-069 communication. We find that the majority of analyzed providers do not use recommended security measures, such as TLS. Second, we present a TR-069 honeyclient to both analyze TR-069 behavior of providers and test configuration servers for security vulnerabilities. We find that popular open-source configuration servers use insecure methods to authenticate clients. TR-069 implementations based on these servers expose, for instance, their users' internet telephony credentials. Third, we develop components for a distributed system to continuously monitor activities in providers' TR-069 deployments. Our setup consists of inexpensive hardware sensors deployed on customer premises and centralized log collectors. We perform real-world measurements and find that the purported security benefits of TR-069 are not realized as providers' firmware update processes are lacking.


title: Darboux integrability and dynamics of the Basener-Ross population model

abstract: We deal with the Basener and Ross model for the evolution of human population in Easter island. We study the Darboux integrability of this model and characterize all its global dynamics in the Poincar\'e disc, obtaining $15$ different topological phase portraits.


title: Search for beta-delayed proton emission from $^{11}$Be

abstract: We report on an attempt to reproduce the observation of $\beta^-$-delayed proton emission from $^{11}$Be through detection of the final state nucleus $^{10}$Be with accelerator mass spectrometry. Twelve samples were collected at the ISOLDE facility at CERN at different separator settings, allowing tests of different sources of contamination to be carried out. The observed amounts of $^{10}$Be per collected $^{11}$Be rule out several contamination sources, but do not agree internally. Formation of BeH molecular ions in the ion source may explain our data, in which case an upper limit of the $\beta$p branching ratio of $2.2 \cdot 10^{-6}$ can be derived.


title: Effective Trap-like Activated Dynamics in a Continuous Landscape

abstract: We use a simple model to extend network models for activated dynamics to a continuous landscape with a well-defined notion of distance and a direct connection to many-body systems. The model consists of a tracer in a high-dimensional funnel landscape with no disorder. We find a non-equilibrium low-temperature phase with aging dynamics, that is effectively equivalent to that of models with built-in disorder, such as Trap Model, Step Model and REM.


title: A Group Norm Regularized Factorization Model for Subspace Segmentation

abstract: Subspace segmentation assumes that data comes from the union of different subspaces and the purpose of segmentation is to partition the data into the corresponding subspace. Low-rank representation (LRR) is a classic spectral-type method for solving subspace segmentation problems, that is, one first obtains an affinity matrix by solving a LRR model and then performs spectral clustering for segmentation. This paper proposes a group norm regularized factorization model (GNRFM) inspired by the LRR model for subspace segmentation and then designs an Accelerated Augmented Lagrangian Method (AALM) algorithm to solve this model. Specifically, we adopt group norm regularization to make the columns of the factor matrix sparse, thereby achieving a purpose of low rank, which means no Singular Value Decompositions (SVD) are required and the computational complexity of each step is greatly reduced. We obtain affinity matrices by using different LRR models and then performing cluster testing on different sets of synthetic noisy data and real data, respectively. Compared with traditional models and algorithms, the proposed method is faster and more robust to noise, so the final clustering results are better. Moreover, the numerical results show that our algorithm converges fast and only requires approximately ten iterations.


title: Quantifying Charge Carrier Mobilities and Recombination Rates in Metal Halide Perovskites from Time-Resolved Microwave Photo-conductivity Measurements

abstract: The unprecedented rise in power conversion efficiency of solar cells based on metal halide perovskites (MHPs) has led to enormous research effort to understand their photo-physical properties. In this paper, we review the progress in understanding the mobility and recombination of photo-generated charge carriers from nanosecond to microsecond time scales, monitored using electrodeless transient photoconductivity techniques. In addition, we present a kinetic model to obtain rate constants from transient data recorded using a wide range of laser intensities. For various MHPs the temperature dependence of the mobilities and recombination rates are evaluated. Furthermore, we show how these rate constants can be used to predict the upper limit for the open-circuit voltage Voc of the corresponding device. Finally, we discuss photo-physical properties of MHPs that are not yet fully understood, and make recommendations for future research directions.


title: NuSTAR observation of Ark 564 reveals the variation of coronal temperature with flux

abstract: The hard X-ray spectral index of some AGN has been observed to steepen with the source flux. This has been interpreted in a Comptonization scenario, where an increase in the soft flux decreases the temperature of the corona, leading to steepening of the photon index. However, the variation of the coronal temperature with flux has been difficult to measure due to the presence of complex reflection component in the hard X-rays and the lack of high-quality data at that energy band. Recently, a 200 ks {\it NuSTAR} observation of Ark 564 in 3--50 keV band, revealed the presence of one of the coolest coronae with temperature $kT_e \sim 15$ keV in the time-averaged spectrum. Here, we re-analyse the data and examined the spectra in four flux levels. Our analysis shows that the coronal temperature decreased from $\sim 17$ to $\sim 14$ keV as the flux increased. The high energy photon index $\Gamma \sim 2.3$ varied by less than $0.1$, implying that the optical depth of the corona increased by about 10\% as the flux increased. This first reporting of coronal temperature variation with flux shows that further long observation by {\it NuSTAR} of this and other sources would shed light on the geometry and dynamics of the inner regions of the accretion flow.


title: Large self-similar solutions of the parabolic-elliptic Keller--Segel model

abstract: We construct radial self-similar solutions of the, so called, minimal parabolic-elliptic Keller--Segel model in several space dimensions with radial, nonnegative initial conditions with are below the Chandrasekhar solution -- the singular stationary solution of this system.


title: The first Doppler imaging of the active binary prototype RS Canum Venaticorum

abstract: We present the first Doppler images of the prototypical active binary star RS CVn, derived from high-resolution spectra observed in 2004, 2016 and 2017, using three different telescopes and observing sites. We apply the least-squares deconvolution technique to all observed spectra to obtain high signal-to-noise line profiles, which are used to derive the surface images of the active K-type component. Our images show a complex spot pattern on the K star, distributed widely in longitude. All starspots revealed by our Doppler images are located below a latitude of about 70$^{\circ}$. In accordance with previous light-curve modeling studies, we find no indication of a polar spot on the K star. Using Doppler images derived from two consecutive rotational cycles, we estimate a surface differential rotation rate of $\Delta\Omega = -0.039 \pm 0.003 ~rad~d^{-1}$ and $\alpha = \Delta\Omega/\Omega_{eq} = -0.030 \pm 0.002$ for the K star. Given the limited phase coverage during those two rotations, the uncertainty of our differential rotation estimate is presumably higher.


title: Understanding star formation and feedback in small galaxies. The case of the blue compact dwarf Mrk 900

abstract: (Abridged) Low-luminosity, active star-forming blue compact galaxies (BCGs) are excellent laboratories for investigating the process of star formation on galactic scales and probing the interplay between massive stars and the surrounding interstellar (or intergalactic) medium. We investigated the morphology, structure, and stellar content of the Blue Compact Galaxy Mrk 900, combining optical integral field observations obtained with VIMOS at the VLT and deep broad-band photometry taken at the 2.5 m NOT telescope. From the integral field data, we built continuum, emission, and diagnostic line ratio maps and produced velocity and velocity dispersion maps. We also generated the integrated spectrum of the major HII regions and the nuclear area to determine reliable physical parameters and oxygen abundances. The broad-band data, tracing the galaxy up to radius 4 kpc, allowed us to investigate the properties of the low surface brightness underlying stellar host. We disentangle two different stellar components in Mrk 900: a young population, which resolves into individual stellar clusters with ages ~5.5-6.6 Myr and extends about 1 kpc along the galaxy minor axis, is placed on top of a rather red and regular shaped underlying stellar host, several Gyr old. We find evidence of a substantial amount of dust and an inhomogeneous extinction pattern, with a dust lane crossing the central starburst. Mrk 900 displays overall rotation, although distorted in the central, starburst regions; the dispersion velocity map is highly inhomogeneous, with values increasing up to 60 kms$^{-1}$ at the periphery of the SF regions, where we also find hints of the presence of shocks. Our observational results point to an interaction or merger with a low-mass object or infalling gas as plausible trigger mechanisms for the present starburst event.


title: A Survey of Wideband Spectrum Sensing Algorithms for Cognitive Radio Networks and Sub-Nyquist Approaches

abstract: Cognitive Radio (CR) networks presents a paradigm shift aiming to alleviate the spectrum scarcity problem exasperated by the increasing demand on this limited resource. It promotes dynamic spectrum access, cooperation among heterogeneous devices, and spectrum sharing. Spectrum sensing is a key cognitive radio functionality, which entails scanning the RF spectrum to unveil underutilised spectral bands for opportunistic use. To achieve higher data rates while maintaining high quality of service QoS, effective wideband spectrum sensing routines are crucial due to their capability of achieving spectral awareness over wide frequency range(s)\ and efficiently harnessing the available opportunities. However, implementing wideband sensing under stringent size, weight, power and cost requirements (e.g., for portable devices) brings formidable design challenges such as addressing potential prohibitively high complexity and data acquisition rates. This article gives a survey of various wideband spectrum sensing approaches outlining their advantages and limitations; special attention is paid to approaches that utilise sub-Nyquist sampling techniques. Other aspects of CR such as cooperative sensing and performance requirements are briefly addressed. Comparison between sub-Nyquist sensing approaches is also presented.


title: Quadratically Constrained Two-way Adversarial Channels

abstract: We study achievable rates of reliable communication in a power-constrained two-way additive interference channel over the real alphabet where communication is disrupted by a power-constrained jammer. This models the wireless communication scenario where two users Alice and Bob, operating in the full duplex mode, wish to exchange messages with each other in the presence of a jammer, James. Alice and Bob simultaneously transmit their encodings $ \underline{x}_A $ and $\underline{x}_B $ over $ n $ channel uses. It is assumed that James can choose his jamming signal $ \underline{s} $ as a noncausal randomized function of $ \underline{x}_A $ and $ \underline{x}_B $, and the codebooks used by Alice and Bob. Alice and Bob observe $ \underline{x}_A+\underline{x}_B +\underline{s}$, and must recover each others' messages reliably. In this article, we provide upper and lower bounds on the capacity of this channel which match each other and equal $ \frac{1}{2}\log\left(\frac{1}{2} + \mathsf{SNR}\right) $ in the high-$\mathsf{SNR}$ regime (where $\mathsf{SNR}$, signal to noise ratios, is defined as the ratio of the power constraints of the users to the power constraint of the jammer). We give a code construction based on lattice codes, and derive achievable rates for large $\mathsf{SNR}$. We also present upper bounds based on two specific attack strategies for James. Along the way, sumset property of lattices for the achievability and general properties of capacity-achieving codes for memoryless channels for the converse are proved, which might be of independent interest.


title: Forcing statistics in resolvent analysis: application in minimal turbulent Couette flow

abstract: An analysis of the statistics of the non-linear terms in resolvent analysis is performed in this work for turbulent Couette flow at low Reynolds number. Data from a direct numerical simulation of a minimal flow unit, at Reynolds number 400, is post-processed using Fourier analysis in both time and space, leading to the covariance matrix of the velocity. From the same data, we computed the non-linear terms of the Navier-Stokes equations (treated as forcing in the present formulation), which allowed us to compute the covariance matrix of the forcing for this case. The two covariances are related exactly by the resolvent operator; based on this, we explore the recovery of the velocity statistics from the statistics of the forcing as a function of the components of the forcing term. This is carried out for the dominant structures in this flow, which participate in the self-sustaining cycle of turbulence: (i) streamwise vortices and streaks, and (ii) spanwise coherent fluctuations of spanwise velocity. The present results show a dominance by four of the non-linear terms for the prediction of the full statistics of streamwise vortices and streaks; a single term is seen to be dominant for spanwise motions. A relevant feature observed in these cases is that forcing terms have significant coherence in space; moreover, different forcing components are also coherent between them. This leads to constructive and destructive interferences that greatly modify the flow response, and should thus be accounted for in modelling work.


title: Search for Nearby Earth Analogs. II. detection of five new planets, eight planet candidates, and confirmation of three planets around nine nearby M dwarfs

abstract: Zechmeister et al. (2009) surveyed 38 nearby M dwarfs from March 2000 to March 2007 with VLT2 and the UVES spectrometer. This data has recently been reanalyzed (Butler et al. 2019), yielding a significant improvement in the Doppler velocity precision. Spurred by this, we have combined the UVES data with velocity sets from HARPS, Magellan/PFS, and Keck/HIRES. Sixteen planet candidates have been uncovered orbiting nine M dwarfs. Five of them are new planets corresponding to radial velocity signals, which are not sensitive to the choice of noise models and are identified in multiple data sets over various timespans. Eight candidate planets require additional observation to be confirmed. We also confirm three previously reported planets. Among the new planets, GJ 180 d and GJ 229A c are super-Earths located in the conservative habitable zones of their host stars. We investigate their dynamical stability using the Monte Carlo approach and find both planetary orbits are robust to the gravitational perturbations of the companion planets. Due to their proximity to the Sun, the angular separation between the host stars and the potentially habitable planets in these two systems is 25 and 59 mas, respectively. They are thus good candidates for future direct imaging by JWST and E-ELT. In addition we find GJ 433 c, a cold super-Neptune belonging to an unexplored population of Neptune-like planets. With a separation of 0.5 as from its host star, GJ 433 c is probably the first realistic candidate for direct imaging of cold Neptunes. A comprehensive survey of these planets is important for the studies of planet formation.


title: Entropy flows and functional inequalities in convex sets

abstract: We revisit entropy methods to prove new sharp trace logarithmic Sobolev and sharp Gagliardo-Nirenberg-Sobolev inequalities on the half space, with a focus on the entropy inequality itself and not the actual flow, allowing for somewhat robust and self-contained proofs.


title: Spectral estimation for non-linear long range dependent discrete time trawl processes

abstract: Discrete time trawl processes constitute a large class of time series parameterized by a trawl sequence (a j) j$\in$N and defined though a sequence of independent and identically distributed (i.i.d.) copies of a continuous time process ($\gamma$(t)) t$\in$R called the seed process. They provide a general framework for modeling linear or non-linear long range dependent time series. We investigate the spectral estimation, either pointwise or broadband, of long range dependent discrete-time trawl processes. The difficulty arising from the variety of seed processes and of trawl sequences is twofold. First, the spectral density may take different forms, often including smooth additive correction terms. Second, trawl processes with similar spectral densities may exhibit very different statistical behaviors. We prove the consistency of our estimators under very general conditions and we show that a wide class of trawl processes satisfy them. This is done in particular by introducing a weighted weak dependence index that can be of independent interest. The broadband spectral estimator includes an estimator of the long memory parameter. We complete this work with numerical experiments to evaluate the finite sample size performance of this estimator for various integer valued discrete time trawl processes.


title: Local Gorenstein duality for cochains on spaces

abstract: We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein duality along morphisms of $k$-algebras. Our main examples are of the form $R = C^*(X;k)$, the ring spectrum of cochains on a space $X$ for a field $k$. In particular, we establish local Gorenstein duality in characteristic $p$ for $p$-compact groups and $p$-local finite groups as well as for $k = \Q$ and $X$ a simply connected space which is Gorenstein in the sense of Dwyer, Greenlees, and Iyengar.


title: The Simplex Tree: an Efficient Data Structure for General Simplicial Complexes

abstract: This paper introduces a data structure, called simplex tree, to represent abstract simplicial complexes of any dimension. All faces of the simplicial complex are explicitly stored in a trie whose nodes are in bijection with the faces of the complex. This data structure allows to efficiently implement a large range of basic operations on simplicial complexes. We provide theoretical complexity analysis as well as detailed experimental results. We more specifically study Rips and witness complexes.


title: Revisiting oscillon formation in KKLT scenario

abstract: KKLT scenario has succeeded in stabilizing the volume modulus and constructing metastable de Sitter (dS) vacua in type IIB string theory. We revisit to investigate the possibility of the oscillon (or I-ball) formation in the KKLT scenario when the volume modulus is initially displaced from the dS minimum. Special attention is paid to physically realistic initial conditions of the volume modulus, which was not taken in the literature. Using lattice simulations, we find that oscillons do not form unless the volume modulus is initially placed at very near the local maximum, which requires severe fine-tuning.


title: On some stable boundary closures of finite difference schemes for the transport equation

abstract: We explore in this article the possibilities and limitations of the so-called energy method for analyzing the stability of finite difference approximations to the transport equation with extrapolation numerical boundary conditions at the outflow boundary. We first show that for the most simple schemes, namely the explicit schemes with a three point stencil, the energy method can be applied for proving stability estimates when the scheme is implemented with either the first or second order extrapolation boundary condition. We then examine the case of five point stencils and give several examples of schemes and second order extrapolation numerical boundary conditions for which the energy method produces stability estimates. However, we also show that for the standard first or second order translatory extrapolation boundary conditions, the energy method cannot be applied for proving stability of the classical fourth order scheme originally proposed by Strang. This gives a clear limitation of the energy method with respect to the more general approach based on the normal mode decomposition.


title: Bardeen-Cooper-Schrieffer--type pairing in a spin-$\frac{1}{2}$ Bose gas with spin-orbit coupling

abstract: We apply the functional path-integral approach to analyze how the presence of a spin-orbit coupling (SOC) affects the basic properties of a BCS-type paired state in a two-component Bose gas. In addition to a mean-field theory that is based on the saddle-point approximation for the inter-component pairing, we derive a Ginzburg-Landau theory by including the Gaussian fluctuations on top, and use them to reveal the crucial roles played by the momentum-space structure of an arbitrary SOC field in the stability of the paired state at finite temperatures. For this purpose, we calculate the critical transition temperature for the formation of paired bosons, and that of the gapless quasiparticle excitations for a broad range of interaction and SOC strengths. In support of our results for the many-body problem, we also benchmark our numerical calculations against the analytically-tractable limits, and provide a full account of the two-body limit including its non-vanishing binding energy for arbitrarily weak interactions and the anisotropic effective mass tensor.


title: Learning Dynamic and Personalized Comorbidity Networks from Event Data using Deep Diffusion Processes

abstract: Comorbid diseases co-occur and progress via complex temporal patterns that vary among individuals. In electronic health records we can observe the different diseases a patient has, but can only infer the temporal relationship between each co-morbid condition. Learning such temporal patterns from event data is crucial for understanding disease pathology and predicting prognoses. To this end, we develop deep diffusion processes (DDP) to model "dynamic comorbidity networks", i.e., the temporal relationships between comorbid disease onsets expressed through a dynamic graph. A DDP comprises events modelled as a multi-dimensional point process, with an intensity function parameterized by the edges of a dynamic weighted graph. The graph structure is modulated by a neural network that maps patient history to edge weights, enabling rich temporal representations for disease trajectories. The DDP parameters decouple into clinically meaningful components, which enables serving the dual purpose of accurate risk prediction and intelligible representation of disease pathology. We illustrate these features in experiments using cancer registry data.


title: Symboles modulaires et produit de Petersson

abstract: We revisit some papers by Eichler and Shimura in order to give an algebraic formulation (based on Farey symbols) for the intersection product on the space of modular symbols, as described by Pollack and Stevens. We define the period homomorphism of an Eisenstein series (Eisenstein-Dedekind-Stevens symbol) and extend the definition of the intersection product to these objects. We construct a computationally convenient basis for the space of Eisenstein series for $\Gamma$ 0 (N) with rational periods. Given a Farey symbol for a subgroup $\Gamma$ of the modular group and a subgroup $\Gamma$ ' of finite index of $\Gamma$, we give an algorithmic construction for a Farey symbol for $\Gamma$ '.


title: The dual of the compressed shift

abstract: For an inner function u we discuss the dual operator for the well-known compressed shift. We establish conditions for two dual compressed shifts to be unitarily equivalent/similar and we describe the invariant subspace structure for the dual.


title: Global well-posedness for the Hall-magnetohydrodynamics system in larger critical Besov spaces

abstract: We prove the global well-posedness of the Cauchy problem to the 3D incompressible Hall-magnetohydrodynamic system supplemented with initial data in critical Besov spaces, which generalize the result in [10]. Meanwhile , we analyze the long-time behavior of the solutions and get some decay estimates. Finally, a stability theorem for global solutions is established.


title: Machine learning enables completely automatic tuning of a quantum device faster than human experts

abstract: Device variability is a bottleneck for the scalability of semiconductor quantum devices. Increasing device control comes at the cost of a large parameter space that has to be explored in order to find the optimal operating conditions. We demonstrate a statistical tuning algorithm that navigates this entire parameter space, using just a few modelling assumptions, in the search for specific electron transport features. We focused on gate-defined quantum dot devices, demonstrating fully automated tuning of two different devices to double quantum dot regimes in an up to eight-dimensional gate voltage space. We considered a parameter space defined by the maximum range of each gate voltage in these devices, demonstrating expected tuning in under 70 minutes. This performance exceeded a human benchmark, although we recognise that there is room for improvement in the performance of both humans and machines. Our approach is approximately 180 times faster than a pure random search of the parameter space, and it is readily applicable to different material systems and device architectures. With an efficient navigation of the gate voltage space we are able to give a quantitative measurement of device variability, from one device to another and after a thermal cycle of a device. This is a key demonstration of the use of machine learning techniques to explore and optimise the parameter space of quantum devices and overcome the challenge of device variability.


title: Signature of Collective Plasma Effects in Beam-Driven QED Cascades

abstract: QED cascades play an important role in extreme astrophysical environments like magnetars. They can also be produced by passing a relativistic electron beam through an intense laser field. Signatures of collective pair plasma effects in these QED cascades are shown to appear, in exquisite detail, through plasma-induced frequency upshifts in the laser spectrum. Remarkably, these signatures can be detected even in small plasma volumes moving at relativistic speeds. Strong-field quantum and collective pair plasma effects can thus be explored with existing technology, provided that ultra-dense electron beams are colocated with multi-PW lasers.


title: Growth of Linear Perturbations in a Universe with Superfluid Dark Matter

abstract: The Lambda-Cold Dark Matter (LCDM) model agrees with most of the cosmological observations, but has some hindrances from observed data at smaller scales such as galaxies. Recently, Berezhiani and Khoury (2015) proposed a new theory involving interacting superfluid dark matter with three model parameters, which explains galactic dynamics with great accuracy. In the present work, we study the cosmological behaviour of this model in the linear regime of cosmological perturbations. In particular, we compute both analytically and numerically the matter linear growth factor and obtain new bounds for the model parameters which are significantly stronger than previously found. These new constraints come from the fact that structures within the superfluid dark matter framework grow quicker than in LCDM, and quite rapidly when the DM-baryon interactions are strong.


title: Sub-Arrhenius diffusion in a binary colloidal system

abstract: The dynamics of binary colloidal mixture subjected to an external potential barrier is investigated using molecular dynamics simulations. The depletion interactions between the potential barrier and larger components of the mixture alters the dynamics of the system significantly. The larger particles undergo sub-Arrhenius diffusion while smaller particles obey normal Arrhenius diffusion. These results show that quantum phenomena such as tunneling is not required to have sub-Arrhenius diffusion, in contrast to the general agreement in the literature. The depletion interactions between the external potential barrier and larger component increases with decreasing temperature which makes the effective activation energy for barrier crossing temperature dependent leading to sub-Arrhenius diffusion.


title: An Analysis of Object Representations in Deep Visual Trackers

abstract: Fully convolutional deep correlation networks are integral components of state-of the-art approaches to single object visual tracking. It is commonly assumed that these networks perform tracking by detection by matching features of the object instance with features of the entire frame. Strong architectural priors and conditioning on the object representation is thought to encourage this tracking strategy. Despite these strong priors, we show that deep trackers often default to tracking by saliency detection - without relying on the object instance representation. Our analysis shows that despite being a useful prior, salience detection can prevent the emergence of more robust tracking strategies in deep networks. This leads us to introduce an auxiliary detection task that encourages more discriminative object representations that improve tracking performance.


title: GPD Physics With Polarized Muon Beams at COMPASS-II

abstract: A major part of the future COMPASS program is dedicated to the investigation of the nucleon structure through Deeply Virtual Compton Scattering (DVCS) and Deeply Virtual Meson Production (DVMP). COMPASS will measure DVCS and DVMP reactions with a high intensity muon beam of 160 GeV and a 2.5 m-long liquid hydrogen target surrounded by a new TOF system. The availability of muon beams with high energy and opposite charge and polarization will allow to access the Compton form factor related to the dominant GPD $H$ and to study the $x_{B}$-dependence of the $t$-slope of the pure DVCS cross section and to study nucleon tomography. Projections on the achievable accuracies and preliminary results of pilot measurements will be presented.


title: Generating Object Stamps

abstract: We present an algorithm to generate diverse foreground objects and composite them into background images using a GAN architecture. Given an object class, a user-provided bounding box, and a background image, we first use a mask generator to create an object shape, and then use a texture generator to fill the mask such that the texture integrates with the background. By separating the problem of object insertion into these two stages, we show that our model allows us to improve the realism of diverse object generation that also agrees with the provided background image. Our results on the challenging COCO dataset show improved overall quality and diversity compared to state-of-the-art object insertion approaches.


title: Forma mentis networks reconstruct how Italian high schoolers and international STEM experts perceive teachers, students, scientists, and school

abstract: This study investigates how students and researchers shape their knowledge and perception of educational topics. The mindset or forma mentis of 159 Italian high school students and of 59 international researchers in STEM are reconstructed through forma mentis networks, i.e., cognitive networks of concepts connected by free associations and enriched with sentiment labels. The layout of conceptual associations between positively/negatively/neutrally perceived concepts is informative on how people build their own mental constructs or beliefs about specific topics. Researchers displayed mixed positive/neutral mental representations of ``teacher'', ``student'' and, ``scientist''. Students' conceptual associations of ``scientist'' were highly positive and largely non-stereotypical, although links about the ``mad scientist'' stereotype persisted. Students perceived ``teacher'' as a complex figure, associated with positive aspects like mentoring/knowledge transmission but also to negative sides revolving around testing and grading. ``School'' elicited stronger differences between the two groups. In the students' mindset, ``school'' was surrounded by a negative emotional aura or set of associations, indicating an anxious perception of the school setting, mixing scholastic concepts, anxiety-eliciting words, STEM disciplines like maths and physics, and exam-related notions. Researchers' positive stance of ``school'' included concepts of fun, friendship, and personal growth instead. Along the perspective of Education Research, the above results are discussed as quantitative evidence for test- and STEM anxiety co-occurring in the way Italian students perceive education places and their actors. Detecting these patterns in student populations through forma mentis networks offers new, simple to gather yet detailed knowledge for future data-informed intervention policies and action research.


title: A gold complex single crystal comprised of nanoporosity and curved surfaces

abstract: Complex hierarchical shapes are widely known in biogenic single crystals, but growing of intricate synthetic metal single crystals is still a challenge. Here we report on a simple method for growing intricately shaped single crystals of gold, each consisting of a micron-sized crystal surrounded by a nanoporous structure, while the two parts comprise a single crystal. This is achieved by annealing thin films of gold and germanium to solidify a eutectic composition melt at a hypoeutectic concentration (Au-enriched composition). Transmission electron microscopy and synchrotron submicron scanning diffractometry and imaging confirms that the whole structure was indeed a single crystal. A kinetic model showing how this intricate single-crystal structure can be grown is presented.


title: Strong Quantum Confinement Effects and Chiral Excitons in Bio-Inspired ZnO-Amino Acid Co-Crystals

abstract: Elucidating the underlying principles behind band gap engineering is paramount for the successful implementation of semiconductors in photonic and optoelectronic devices. Recently it has been shown that the band gap of a wide and direct band gap semiconductor, such as ZnO, can be modified upon co-crystallization with amino acids, with the role of the biomolecules remaining unclear. Here, by probing and modeling the light emitting properties of ZnO-amino acid co-crystals, we identify the amino acids role on this band gap modulation and demonstrate their effective chirality transfer to the inter-band excitations in ZnO. Our 3D quantum model suggests that the strong band edge emission blue shift in the co-crystals can be explained by a quasi-periodic distribution of amino acid potential barriers within the ZnO crystal lattice. Overall, our findings indicate that biomolecule co-crystallization can be used as a truly bio-inspired means to induce chiral quantum confinement effects in quasi-bulk semiconductors.


title: Thermonuclear Fusion Triggered by Collapsing Standing Whistler Waves in Magnetized Overdense Plasmas

abstract: Thermal fusion plasmas initiated by standing whistler waves are investigated numerically by two- and one-dimensional Particle-in-Cell simulations. When a standing whistler wave collapses due to the wave breaking of ion plasma waves, the energy of the electromagnetic waves transfers directly to the ion kinetic energy. Here we find that the ion heating by the standing whistler wave is operational even in multi-dimensional simulations of multi-ion species targets, such as deuterium-tritium (DT) ices and solid ammonia borane (H$_6$BN). The energy conversion efficiency to ions becomes as high as 15% of the injected laser energy, which depends significantly on the target thickness and laser pulse duration. The ion temperature could reach a few tens of keV or much higher if appropriate laser-plasma conditions are selected. DT fusion plasmas generated by this method must be useful as efficient neutron sources. Our numerical simulations suggest that the neutron generation efficiency exceeds 10$^9$ n/J per steradian, which is beyond the current achievements of the state-of-the-art laser experiments. The standing whistler wave heating would expand the experimental possibility for an alternative ignition design of magnetically confined laser fusion, and also for more difficult fusion reactions including the aneutronic proton-boron reaction.


title: Deep Learning for Free-Hand Sketch: A Survey

abstract: Free-hand sketches are highly illustrative, and have been widely used by humans to depict objects or stories from ancient times to the present. The recent prevalence of touchscreen devices has made sketch creation a much easier task than ever and consequently made sketch-oriented applications increasingly popular. The progress of deep learning has immensely benefited free-hand sketch research and applications. This paper presents a comprehensive survey of the deep learning techniques oriented at free-hand sketch data, and the applications that they enable. The main contents of this survey include: (i) A discussion of the intrinsic traits and unique challenges of free-hand sketch, to highlight the essential differences between sketch data and other data modalities, e.g., natural photos. (ii) A review of the developments of free-hand sketch research in the deep learning era, by surveying existing datasets, research topics, and the state-of-the-art methods through a detailed taxonomy and experimental evaluation. (iii) Promotion of future work via a discussion of bottlenecks, open problems, and potential research directions for the community.


title: Ground state magnetic structure of Mn$_3$Ge

abstract: We have used spherical neutron polarimetry to investigate the magnetic structure of the Mn spins in the hexagonal semimetal Mn$_3$Ge, which exhibits a large intrinsic anomalous Hall effect. Our analysis of the polarimetric data finds a strong preference for a spin structure with $E_{1g}$ symmetry relative to the $D_{6h}$ point group. We show that weak ferromagnetism is an inevitable consequence of the symmetry of the observed magnetic structure, and that sixth order anisotropy is needed to select a unique ground state.


title: Non-equilibrium spin dynamics in the temperature and magnetic field dependence of magnetization curves of ferrimagnetic Co$_{1.75}$Fe$_{1.25}$O$_4$ and its composite with BaTiO$_3$

abstract: A comparative study of the non-equilibrium magnetic phenomena (magnetic blocking, memory, exchange bias and aging effect) has been presented for ferrimagnetic Co$_{1.75}$Fe$_{1.25}$O$_4$ (CFO) and its composite with non-magnetic BaTiO$_3$ (BTO). Synchrotron X-Ray diffraction patterns have confirmed coexistence of CFO and BTO structures in composite, but magnetic spin dynamics have been remarkably modified. The blocking phenomenon of ferrimagnetic domains below the room temperature has been studied by different modes of (zero field cooled and field cooled) magnetic measurements in collaboration with magnetic fields ON and OFF modes and time dependent magnetization. The applications of unconventional protocols during time dependent magnetization measurement at different stages of the temperature and field dependence of the magnetization curves have been useful to reveal the non-equilibrium dynamics of magnetic spin order. The applying of off-field relaxation experiments has made possible to tune the magnetic state and coercivity of the systems. The role of interfacial coupling between magnetic and non-magnetic particles has been understood on different magnetic phenomena (meta-stable magnetic state, exchange bias and memory effect) by comparing the experimental results of Co$_{1.75}$Fe$_{1.25}$O$_4$ spinel oxide and its composite with BaTiO$_3$ particles.


title: Conditional mean dimension

abstract: We introduce some notions of conditional mean dimension for a factor map between two topological dynamical systems and discuss their properties. With the help of these notions, we obtain an inequality to estimate the mean dimension of an extension system. The conditional mean dimension for $G$-extensions are computed. We also exhibit some applications in the dynamical embedding problems.


title: Holographic variables for CFT$_2$ conformal blocks with heavy operators

abstract: We consider large-$c$ $n$-point Virasoro blocks with $n-k$ background heavy operators and $k$ perturbative heavy operators. Conformal dimensions of heavy operators scale linearly with large $c$, while splitting into background/perturbative operators assumes an additional perturbative expansion. Such conformal blocks can be calculated within the monodromy method that basically reduces to solving auxiliary Fuchsian second-order equation and finding monodromy of solutions. We show that there exist particular variables that we call holographic, use of which drastically simplifies the whole analysis. In consequence, we formulate the uniformization property of the large-$c$ blocks which states that in the holographic variables their form depends only on the number of perturbative heavy operators. On the other hand, the holographic variables encode the metric in the bulk space so that the conformal blocks with the same number of perturbative operators are calculated by the same geodesic trees but on different geometries created by the background operators.


title: On the existence of extremals for Moser type inequalities in Gauss space

abstract: The existence of an extremal in an exponential Sobolev type inequality, with optimal constant, in Gauss space is established. A key step in the proof is an augmented version of the relevant inequality, which, by contrast, fails for a parallel classical inequality by Moser in the Euclidean space.


title: Do As I Do: Transferring Human Motion and Appearance between Monocular Videos with Spatial and Temporal Constraints

abstract: Creating plausible virtual actors from images of real actors remains one of the key challenges in computer vision and computer graphics. Marker-less human motion estimation and shape modeling from images in the wild bring this challenge to the fore. Although the recent advances on view synthesis and image-to-image translation, currently available formulations are limited to transfer solely style and do not take into account the character's motion and shape, which are by nature intermingled to produce plausible human forms. In this paper, we propose a unifying formulation for transferring appearance and retargeting human motion from monocular videos that regards all these aspects. Our method synthesizes new videos of people in a different context where they were initially recorded. Differently from recent appearance transferring methods, our approach takes into account body shape, appearance, and motion constraints. The evaluation is performed with several experiments using publicly available real videos containing hard conditions. Our method is able to transfer both human motion and appearance outperforming state-of-the-art methods, while preserving specific features of the motion that must be maintained (e.g., feet touching the floor, hands touching a particular object) and holding the best visual quality and appearance metrics such as Structural Similarity (SSIM) and Learned Perceptual Image Patch Similarity (LPIPS).


title: Almost bi--Lipschitz embeddings using covers of balls centred at the origin

abstract: In 2010, Olson \& Robinson [Transactions of the American Mathematical Society, 362(1), 145-168] introduced the notion of an almost homogeneous metric space and showed that if $X$ is a subset of a Hilbert space such that $X-X$ is almost homogeneous, then $X$ admits almost bi--Lipschitz embeddings into Euclidean spaces. In this paper, we extend this result and we show that if $X$ is a subset of a Banach space such that $X-X$ is almost homogeneous at the origin, then $X$ can be embedded in a Euclidean space in an almost bi--Lipschitz way.


title: Semisimplicity of some deformations of the subgroup category and the biset category

abstract: We introduce some deformations of the biset category and prove a semisimplicity property. We also consider another group category, called the subgroup category, whose morphisms are subgroups of direct products, the composition being star product. For some deformations of the subgroup category, too, we prove a semisimplicity property. The method is to embed the deformations of the biset category into the more easily described deformations of the subgroup group category.


title: Automatic Generation of Efficient Sparse Tensor Format Conversion Routines

abstract: This paper shows how to generate code that efficiently converts sparse tensors between disparate storage formats (data layouts) such as CSR, DIA, ELL, and many others. We decompose sparse tensor conversion into three logical phases: coordinate remapping, analysis, and assembly. We then develop a language that precisely describes how different formats group together and order a tensor's nonzeros in memory. This lets a compiler emit code that performs complex remappings of nonzeros when converting between formats. We also develop a query language that can extract statistics about sparse tensors, and we show how to emit efficient analysis code that computes such queries. Finally, we define an abstract interface that captures how data structures for storing a tensor can be efficiently assembled given specific statistics about the tensor. Disparate formats can implement this common interface, thus letting a compiler emit optimized sparse tensor conversion code for arbitrary combinations of many formats without hard-coding for any specific combination. Our evaluation shows that the technique generates sparse tensor conversion routines with performance between 1.00 and 2.01$\times$ that of hand-optimized versions in SPARSKIT and Intel MKL, two popular sparse linear algebra libraries. And by emitting code that avoids materializing temporaries, which both libraries need for many combinations of source and target formats, our technique outperforms those libraries by 1.78 to 4.01$\times$ for CSC/COO to DIA/ELL conversion.


title: iDLG: Improved Deep Leakage from Gradients

abstract: It is widely believed that sharing gradients will not leak private training data in distributed learning systems such as Collaborative Learning and Federated Learning, etc. Recently, Zhu et al. presented an approach which shows the possibility to obtain private training data from the publicly shared gradients. In their Deep Leakage from Gradient (DLG) method, they synthesize the dummy data and corresponding labels with the supervision of shared gradients. However, DLG has difficulty in convergence and discovering the ground-truth labels consistently. In this paper, we find that sharing gradients definitely leaks the ground-truth labels. We propose a simple but reliable approach to extract accurate data from the gradients. Particularly, our approach can certainly extract the ground-truth labels as opposed to DLG, hence we name it Improved DLG (iDLG). Our approach is valid for any differentiable model trained with cross-entropy loss over one-hot labels. We mathematically illustrate how our method can extract ground-truth labels from the gradients and empirically demonstrate the advantages over DLG.


title: Peer-to-Peer based Social Networks: A Comprehensive Survey

abstract: Online social networks, such as Facebook and twitter, are a growing phenomenon in today's world, with various platforms providing capabilities for individuals to collaborate through messaging and chatting as well as sharing of content such as videos and photos. Most, if not all, of these platforms are based on centralized computing systems, meaning that the control and management of the systems lies in the hand of one provider, which must be trusted to treat the data and communication traces securely. While users aim for privacy and data sovereignty, often the providers aim to monetize the data they store. Even, federated privately run social networks require a few enthusiasts that serve the community and have, through that, access to the data they manage. As a zero-trust alternative, peer-to-peer (P2P) technologies promise networks that are self organizing and secure-by-design, in which the final data sovereignty lies at the corresponding user. Such networks support end-to-end communication, uncompromising access control, anonymity and resilience against censorship and massive data leaks through misused trust. The goals of this survey are three-fold. Firstly, the survey elaborates the properties of P2P-based online social networks and defines the requirements for such (zero-trust) platforms. Secondly, it elaborates on the building blocks for P2P frameworks that allow the creation of such sophisticated and demanding applications, such as user/identity management, reliable data storage, secure communication, access control and general-purpose extensibility, features that are not addressed in other P2P surveys. As a third point, it gives an overview of proposed P2P-based online social network applications, frameworks and architectures. In specific, it explores the technical details, inter-dependencies and maturity of the available solutions.


title: Adaptive Coding for Two-Way Lossy Source-Channel Communication

abstract: An adaptive joint source-channel coding (JSCC) scheme is presented for transmitting correlated sources over discrete-memoryless two-way channels subject to distortion constraints. The proposed JSCC scheme makes use of the previously transmitted and received channel signals as well as the sources' correlation to facilitate coordination between terminals. It is shown that the adaptive scheme strictly subsumes prior lossy coding methods for two-way simultaneous transmission and yields a new adaptive separate source-channel coding result. Two examples are given to show the scheme's advantages.


title: Don't Forget The Past: Recurrent Depth Estimation from Monocular Video

abstract: Autonomous cars need continuously updated depth information. Thus far, depth is mostly estimated independently for a single frame at a time, even if the method starts from video input. Our method produces a time series of depth maps, which makes it an ideal candidate for online learning approaches. In particular, we put three different types of depth estimation (supervised depth prediction, self-supervised depth prediction, and self-supervised depth completion) into a common framework. We integrate the corresponding networks with a ConvLSTM such that the spatiotemporal structures of depth across frames can be exploited to yield a more accurate depth estimation. Our method is flexible. It can be applied to monocular videos only or be combined with different types of sparse depth patterns. We carefully study the architecture of the recurrent network and its training strategy. We are first to successfully exploit recurrent networks for real-time self-supervised monocular depth estimation and completion. Extensive experiments show that our recurrent method outperforms its image-based counterpart consistently and significantly in both self-supervised scenarios. It also outperforms previous depth estimation methods of the three popular groups. Please refer to https://www.trace.ethz.ch/publications/2020/rec_depth_estimation/ for details.


title: An empirical, Bayesian approach to modelling the impact of weather on crop yield: maize in the US

abstract: We apply an empirical, data-driven approach for describing crop yield as a function of monthly temperature and precipitation by employing generative probabilistic models with parameters determined through Bayesian inference. Our approach is applied to state-scale maize yield and meteorological data for the US Corn Belt from 1981 to 2014 as an exemplar, but would be readily transferable to other crops, locations and spatial scales. Experimentation with a number of models shows that maize growth rates can be characterised by a two-dimensional Gaussian function of temperature and precipitation with monthly contributions accumulated over the growing period. This approach accounts for non-linear growth responses to the individual meteorological variables, and allows for interactions between them. Our models correctly identify that temperature and precipitation have the largest impact on yield in the six months prior to the harvest, in agreement with the typical growing season for US maize (April to September). Maximal growth rates occur for monthly mean temperature 18-19$^\circ$C, corresponding to a daily maximum temperature of 24-25$^\circ$C (in broad agreement with previous work) and monthly total precipitation 115 mm. Our approach also provides a self-consistent way of investigating climate change impacts on current US maize varieties in the absence of adaptation measures. Keeping precipitation and growing area fixed, a temperature increase of $2^\circ$C, relative to 1981-2014, results in the mean yield decreasing by 8\%, while the yield variance increases by a factor of around 3. We thus provide a flexible, data-driven framework for exploring the impacts of natural climate variability and climate change on globally significant crops based on their observed behaviour. In concert with other approaches, this can help inform the development of adaptation strategies that will ensure food security under a changing climate.


title: The IAG Solar Flux Atlas: Telluric Correction With a Semi-Empirical Model

abstract: Observations of the Sun as a star have been key to guiding models of stellar atmospheres and additionally provide useful insights on the effects of granulation and stellar activity on radial velocity measurements. Most high resolution solar atlases contain telluric lines that span the optical and limit the spectral regions useful for analysis. We present here a telluric-corrected solar atlas covering 0.5-1.0 micron derived from solar spectra taken with a Fourier Transform Spectrograph (FTS) at the Institut f\"ur Astrophysik, G\"ottingen. This atlas is the highest resolution spectrum with a wavelength calibration precise to +/-10 m/s across this 500 nm spectral window. We find that the atlas matches to within 3% of the telluric-corrected Kitt Peak atlas in regions containing telluric absorption weaker than 50% in transmission. The telluric component of the spectral data is fit with a semi-empirical model composed of Lorentz profiles initialized to the HITRAN parameters for each absorption feature. Comparisons between the best-fit telluric parameters describing the Lorentz profile for each absorption feature to the original HITRAN values in general show excellent agreement considering the effects atmospheric pressure and temperature have on our final parameters. However, we identify a small subset of absorption features with larger offsets relative to the catalogued line parameters. We make our final solar atlas available online. We additionally make available the telluric spectra extracted from the data that, given the high resolution of the spectrum, would be useful for studying the time evolution of telluric line shapes and their impact on Doppler measurements.


title: Finding self-similar behavior in quantum many-body dynamics via persistent homology

abstract: Inspired by topological data analysis techniques, we introduce persistent homology observables and apply them in a geometric analysis of the dynamics of quantum field theories. As a prototype application, we consider data from a classical-statistical simulation of a two-dimensional Bose gas far from equilibrium. We discover a continuous spectrum of dynamical scaling exponents, which provides a refined classification of nonequilibrium self-similar phenomena. A possible explanation of the underlying processes is provided in terms of mixing strong wave turbulence and anomalous vortex kinetics components in point clouds. We find that the persistent homology scaling exponents are inherently linked to the geometry of the system, as the derivation of a packing relation reveals. The approach opens new ways of analyzing quantum many-body dynamics in terms of robust topological structures beyond standard field theoretic techniques.


title: Lack of Debye and Meissner screening in strongly magnetized quark matter at intermediate densities

abstract: We study the static responses of cold quark matter in the intermediate baryonic density region (characterized by a chemical potential $\mu$) in the presence of a strong magnetic field. We consider in particular, the so-called Magnetic Dual Chiral Density Wave (MDCDW) phase, which is materialized by an inhomogeneous condensate formed by a particle-hole pair. It is shown, that the MDCDW phase is more stable in the weak-coupling regime than the one considered in the magnetic catalysis of chiral symmetry braking phenomenon (MC$\chi$SB) and even than the chiral symmetric phase that was expected to be realized at sufficiently high baryonic chemical potential. The different components of the photon polarization operator of the MDCDW phase in the one-loop approximation are calculated. We found that in the MDCDW phase there is no Debye screening neither Meissner effect in the lowest-Landau-level approximation. The obtained Debye length depends on the amplitude $m$ and modulation $b$ of the inhomogeneous condensate and it is only different from zero if the relation $| \mu -b| > m$ holds. But, we found that in the region of interest this inequality is not satisfied. Thus, no Debye screening takes place under those conditions. On the other hand, since the particle-hole condensate is electrically neutral, the U(1) electromagnetic group is not broken by the ground state and consequently there is no Meissner effect. These results can be of interest for the astrophysics of neutron stars.


title: Simulated JWST datasets for multispectral and hyperspectral image fusion

abstract: This paper aims at providing a comprehensive framework to generate an astrophysical scene and to simulate realistic hyperspectral and multispectral data acquired by two JWST instruments, namely NIRCam Imager and NIRSpec IFU. We want to show that this simulation framework can be resorted to assess the benefits of fusing these images to recover an image of high spatial and spectral resolutions. To do so, we create a synthetic scene associated with a canonical infrared source, the Orion Bar. This scene combines pre-existing modelled spectra provided by the JWST Early Release Science Program 1288 and real high resolution spatial maps from the Hubble space and ALMA telescopes. We develop forward models including corresponding noises for the two JWST instruments based on their technical designs and physical features. JWST observations are then simulated by applying the forward models to the aforementioned synthetic scene. We test a dedicated fusion algorithm we developed on these simulated observations. We show the fusion process reconstructs the high spatio-spectral resolution scene with a good accuracy on most areas, and we identify some limitations of the method to be tackled in future works. The synthetic scene and observations presented in the paper are made publicly available and can be used for instance to evaluate instrument models (aboard the JWST or on the ground), pipelines, or more sophisticated algorithms dedicated to JWST data analysis. Besides, fusion methods such as the one presented in this paper are shown to be promising tools to fully exploit the unprecedented capabilities of the JWST.


title: D3BA: A Tool for Optimizing Business Processes Using Non-Deterministic Planning

abstract: This paper builds upon recent work in the declarative design of dialogue agents and proposes an exciting new tool -- D3BA -- Declarative Design for Digital Business Automation, built to optimize business processes using the power of AI planning. The tool provides a powerful framework to build, optimize, and maintain complex business processes and optimize them by composing with services that automate one or more subtasks. We illustrate salient features of this composition technique, compare with other philosophies of composition, and highlight exciting opportunities for research in this emerging field of business process automation.


title: Digesting the Elephant -- Experiences with Interactive Production Quality Path Tracing of the Moana Island Scene

abstract: New algorithmic and hardware developments over the past two decades have enabled interactive ray tracing of small to modest sized scenes, and are finding growing popularity in scientific visualization and games. However, interactive ray tracing has not been as widely explored in the context of production film rendering, where challenges due to the complexity of the models and, from a practical standpoint, their unavailability to the wider research community, have posed significant challenges. The recent release of the Disney Moana Island Scene has made one such model available to the community for experimentation. In this paper, we detail the challenges posed by this scene to an interactive ray tracer, and the solutions we have employed and developed to enable interactive path tracing of the scene with full geometric and shading detail, with the goal of providing insight and guidance to other researchers.


title: Multiplex networks quantify robustness of the mental lexicon to catastrophic concept failures, aphasic degradation and ageing

abstract: Concepts and their mental associations influence how language is processed and used. Networks represent powerful models for exploring such cognitive system, known as mental lexicon. This study investigates lexicon robustness to progressive word failure with multiplex network attacks. The average lexicon of an adult English speaker is built by considering 16000 words connected through semantic free associations and phonological sound similarities. Progressive structural degradation is modelled as random and targeted attacks. Words with higher psycholinguistic features (e.g. frequency, length, age of acquisition, polysemy) or network centrality (e.g. closeness, PageRank, betweenness and degree) are targeted first. Aphasia-inspired attacks are introduced here and target first words named correctly, more or less frequently, by patients with anomic aphasia, a pathology disrupting word finding. Robustness is measured as connectedness, fundamental for activation spreading and lexical retrieval, and viability, a multi-layer connectivity identifying language kernels. The lexicon is resilient to random, aphasia-inspired and psycholinguistic attacks. Catastrophic phase transitions happen when phonological and semantic degrees are combined, making the lexicon fragile to multidegree attacks. The viable kernel is fragile to multi-PageRank and to aphasia-inspired attacks. Consequently, connectedness in the lexicon is mediated by hubs, whereas viability enables a lexical semantic/phonological interplay and corresponds to a facilitative naming effect in aphasia. These effects persist also through ageing, in different network representations of younger and older lexicons. This study indicates the need to prevent failure of high multidegree and viable words in the mental lexicon when pursuing the design of effective language restoration strategies against cognitive impairing.


title: Mean-field density of states of a small-world model and a jammed soft spheres model

abstract: We consider a class of random block matrix models in $d$ dimensions, $d \ge 1$, motivated by the study of the vibrational density of states (DOS) of soft spheres near the isostatic point. The contact networks of average degree $Z = z_0 + \zeta$ are represented by random $z_0$-regular graphs (only the circle graph in $d=1$ with $z_0=2$) to which Erd\"os-Renyi graphs having a small average degree $\zeta$ are superimposed. In the case $d=1$, for $\zeta$ small the shifted Kesten-McKay DOS with parameter $Z$ is a mean-field solution for the DOS. Numerical simulations in the $z_0=2$ model, which is the $k=1$ Newman-Watts small-world model, and in the $z_0=3$ model lead us to conjecture that for $\zeta \to 0$ the cumulative function of the DOS converges uniformly to that of the shifted Kesten-McKay DOS, in an interval $[0, \omega_0]$, with $\omega_0 < \sqrt{z_0-1} + 1$. For $2 \le d \le 4$, we introduce a cutoff parameter $K_d \le 0.5$ modeling sphere repulsion. The case $K_d=0$ is the random elastic network case, with the DOS close to the Marchenko-Pastur DOS with parameter $t=\frac{Z}{d}$. For $K_d$ large the DOS is close for small $\omega$ to the shifted Kesten-McKay DOS with parameter $t=\frac{Z}{d}$; in the isostatic case the DOS has around $\omega=0$ the expected plateau. The boson peak frequency in $d=3$ with $K_3$ large is close to the one found in molecular dynamics simulations for $Z=7$ and $8$.


title: Canonical domains for coadjoint orbits

abstract: This paper describes two real analytic symplectomorphisms defined on appropriate dense open subsets of any coadjoint orbit of a compact semisimple Lie algebra. The first symplectomorphism sends the open dense subset to a bounded subset of a standard cotangent bundle. The second symplectomorphism has target a bounded subset of a hyperbolic coadjoint orbit of an associated non-compact semi-simple Lie algebra. Therefore, coadjoint orbits of compact Lie algebras are symplectic compactifications of domains of cotangent bundles, and are in symplectic duality with hyperbolic orbits of non-compact semisimple Lie algebras.


title: Electron-Phonon-Driven Three-Dimensional Metallicity in an Insulating Cuprate

abstract: The role of the crystal lattice for the electronic properties of cuprates and other high-temperature superconductors remains controversial despite decades of theoretical and experimental efforts. While the paradigm of strong electronic correlations suggests a purely electronic mechanism behind the insulator-to-metal transition, recently the mutual enhancement of the electron-electron and the electron-phonon interaction and its relevance to the formation of the ordered phases have also been emphasized. Here, we combine polarization-resolved ultrafast optical spectroscopy and state-of-the-art dynamical mean-field theory to show the importance of the crystal lattice in the breakdown of the correlated insulating state in an archetypal undoped cuprate. We identify signatures of electron-phonon coupling to specific fully-symmetric optical modes during the build-up of a three-dimensional metallic state that follows charge photodoping. Calculations for coherently displaced crystal structures along the relevant phonon coordinates indicate that the insulating state is remarkably unstable toward metallization despite the seemingly large charge-transfer energy scale. This hitherto unobserved insulator-to-metal transition mediated by fully-symmetric lattice modes can find extensive application in a plethora of correlated solids.


title: Black and White Holes at Material Junctions

abstract: Electrons in Type II Weyl semimetals display one-way propagation, which supports totally reflecting behavior at an endpoint, as one has for black hole horizons viewed from the inside. Junctions of Type I and Type II lead to equations identical to what one has near black hole horizons, but the physical implications, we suggest, are quite different from expectations which are conventional in that context. The time-reversed, "white hole" configuration is also physically accessible.


title: $Z$-oriented triangulations of surfaces

abstract: The main objects of the paper are $z$-oriented triangulations of connected closed $2$-dimensional surfaces. A $z$-orientation of a map is a minimal collection of zigzags which double covers the set of edges. We have two possibilities for an edge -- zigzags from the $z$-orientation pass through this edge in different directions (type I) or in the same direction (type II). Then there are two types of faces in a triangulation: the first type is when two edges of the face are of type I and one edge is of type II and the second type is when all edges of the face are of type II. We investigate $z$-oriented triangulations with all faces of the first type (in the general case, any $z$-oriented triangulation can be shredded to a $z$-oriented triangulation of such type). A zigzag is homogeneous if it contains precisely two edges of type I after any edge of type II. We give a topological characterization of the homogeneity of zigzags; in particular, we describe a one-to-one correspondence between $z$-oriented triangulations with homogeneous zigzags and closed $2$-cell embeddings of directed Eulerian graphs in surfaces. At the end, we give an application to one type of the $z$-monodromy.


title: Multichannel Coulomb Scattering with Asymptotic Non-adiabatic Coupling

abstract: The multi-channel Coulomb scattering problem in the adiabatic representation is considered. The non-adiabatic coupling matrix is assumed to have a non-zero asymptotic behavior at large internuclear separations. The asymptotic solutions at large inter-nuclear distances are {therefore} constructed. The asymptotic boundary conditions with S-matrix and K-matrix for the scattering problem are formulated on the basis of constructed asymptotic solutions.


title: Extremal graphs for wheels

abstract: For a graph $H$, the Tur\'{a}n number of $H$, denoted by ex$(n,H)$, is the maximum number of edges of an $n$-vertex $H$-free graph. Let $g(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of $H$ in a $2$-edge-coloring of $K_n$. A wheel $W_m$ is a graph formed by connecting a single vertex to all vertices of a cycle of length $m-1$. The Tur\'{a}n number of $W_{2k}$ was determined by Simonovits in the 1960s. In this paper, we determine ex$(n,W_{2k+1})$ when $n$ is sufficiently large. We also show that, for sufficiently large $n$, $g(n,W_{2k+1})=\mbox{ex}(n,W_{2k+1})$ which confirms a conjecture posed by Keevash and Sudakov for odd wheels.


title: Decentralized Automotive Radar Spectrum Allocation to Avoid Mutual Interference Using Reinforcement Learning

abstract: Nowadays, mutual interference among automotive radars has become a problem of wide concern. In this paper, a decentralized spectrum allocation approach is presented to avoid mutual interference among automotive radars. Although decentralized spectrum allocation has been extensively studied in cognitive radio sensor networks, two challenges are observed for automotive sensors using radar. First, the allocation approach should be dynamic as all radars are mounted on moving vehicles. Second, each radar does not communicate with the others so it has quite limited information. A machine learning technique, reinforcement learning, is utilized because it can learn a decision making policy in an unknown dynamic environment. As a single radar observation is incomplete, a long short-term memory recurrent network is used to aggregate radar observations through time so that each radar can learn to choose a frequency subband by combining both the present and past observations. Simulation experiments are conducted to compare the proposed approach with other common spectrum allocation methods such as the random and myopic policy, indicating that our approach outperforms the others.


title: Albert, an intermediate smart-contract language for the Tezos blockchain

abstract: Tezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. In this article we present Albert, an intermediate language for Tezos smart contracts which abstracts Michelson stacks as linearly typed records. We also describe its compiler to Michelson, written in Coq, that targets Mi-Cho-Coq, a formal specification of Michelson implemented in Coq.