title: Self-assembly of core-corona particles confined in a circular box

abstract: Using Monte Carlo simulations, we study the assembly of colloidal particles interacting via isotropic core-corona potentials in two dimensions and confined in a circular box. We explore the structural variety at low temperatures as function of the number of particles (N) and the size of the confining box and find a rich variety of patterns that are not observed in unconfined flat space. For a small number of particles (N<=6), we identify the zero-temperature minimal energy configurations at a given box size and we construct the phase diagram as function of temperature and box radius for the specific case of N=4. When the number of particles is large (N>=100), we distinguish different regimes that appear in route towards close packing configurations as the box size decreases. These regimes are characterized by the increase in the number of branching points and their coordination number. In contrast to the case of confined hard disks, we obtain open structures with unexpected highly anisotropic character in spite of the isotropy of the interactions and of the confinement. Our findings show that confined core-corona particles can be a suitable system to engineer particles with highly complex internal structure that may serve as building blocks in hierarchical assembly.


title: Bi-rational maps in four dimensions with two invariants

abstract: In this paper we present a class of four-dimensional bi-rational maps with two invariants satisfying certain constraints on degrees. We discuss the integrability properties of these maps from the point of view of degree growth and Liouville integrability.


title: Tilting subcategories in extriangulated categories

abstract: Extriangulated category was introduced by Nakaoka and Palu to give a unification of properties in exact categories and triangulated categories. A notion of tilting (or cotilting) subcategories in an extriangulated category is defined in this paper. We give a Bazzoni characterization of tilting (or cotilting) subcategories and obtain an Auslander-Reiten correspondence between tilting (cotilting) subcategories and coresolving covariantly (resolving contravariantly, resp.) finite subcatgories which are closed under direct summands and satisfies some cogenerating (generating, resp.) conditons. Applications of the results are given: we show that tilting (cotilting) subcategories defined here unify many previous works about tilting theory in module categories of Artin algebras and abelian categories admitting a cotorsion triples; we also show that the results work for triangulated categories with a proper class of triangles introduced by Beligiannis.


title: Creek: Low-latency, Mixed-Consistency Transactional Replication Scheme

abstract: In this paper we introduce Creek, a low-latency, eventually consistent replication scheme that also enables execution of strongly consistent operations (akin to ACID transactions). Operations can have arbitrary complex (but deterministic) semantics. Similarly to state machine replication (SMR), Creek totally-orders all operations, but does so using two different broadcast mechanisms: a timestamp-based one and our novel conditional atomic broadcast (CAB). The former is used to establish a tentative order of all operations for speculative execution, and it can tolerate network partitions. On the other hand, CAB is only used to ensure linearizable execution of the strongly consistent operations, whenever distributed consensus can be solved. The execution of strongly consistent operations also stabilizes the execution order of the causally related weakly consistent operations. Creek uses multiversion concurrency control to efficiently handle operations' rollbacks and reexecutions resulting from the mismatch between the tentative and the final execution orders. In the TPC-C benchmark, Creek offers up to 2.5 times lower latency in returning client responses compared to the state-of-the-art speculative SMR scheme, while maintaining high accuracy of the speculative execution (92-100%).


title: Deep Multi-Task Learning for Anomalous Driving Detection Using CAN Bus Scalar Sensor Data

abstract: Corner cases are the main bottlenecks when applying Artificial Intelligence (AI) systems to safety-critical applications. An AI system should be intelligent enough to detect such situations so that system developers can prepare for subsequent planning. In this paper, we propose semi-supervised anomaly detection considering the imbalance of normal situations. In particular, driving data consists of multiple positive/normal situations (e.g., right turn, going straight), some of which (e.g., U-turn) could be as rare as anomalous situations. Existing machine learning based anomaly detection approaches do not fare sufficiently well when applied to such imbalanced data. In this paper, we present a novel multi-task learning based approach that leverages domain-knowledge (maneuver labels) for anomaly detection in driving data. We evaluate the proposed approach both quantitatively and qualitatively on 150 hours of real-world driving data and show improved performance over baseline approaches.


title: Intrinsic alignment statistics of density and velocity fields at large scales: Formulation, modeling, and baryon acoustic oscillation features

abstract: The kinematic Sunyaev-Zel'dovich effect enables us to directly probe the density-weighted velocity field up to very large cosmic scales. We investigate the effects of intrinsic alignments (IAs) of dark-matter halo shapes on cosmic density and velocity fields on such large scales. In the literature IAs have been detected up to $\sim 100~h^{-1}{\rm Mpc}$ using the gravitational shear-intrinsic ellipticity correlation and the alignment correlation function. In this paper we introduce the corresponding various velocity statistics: the (density-weighted) velocity-intrinsic ellipticity correlation as well as the alignment pairwise infall momentum, momentum correlation function, and density-weighted pairwise velocity dispersion. We derive theoretical expressions for these velocity alignment statistics for the first time based on the assumption that the density fluctuation is a Gaussian random field. Using large-volume, high-resolution $N$-body simulations, we measure the alignment statistics of density and velocity fields. The behaviors of IAs in the velocity statistics are similar to those in the density statistics, except that the halo orientations are aligned with the velocity field up to scales larger than those with the density field, $r\gg 100~h^{-1}{\rm Mpc}$, because of a factor of the wave number in the linear relation between the density and velocity fields in Fourier space, $v\propto \delta/k$. We show that the detected IAs of the velocity field can be well predicted by the linear alignment model. We also demonstrate that the baryon acoustic oscillation features can be detected in both the conventional and alignment velocity statistics. Our results indicate that observations of IAs with the velocity field on large scales can provide additional information on cosmological models, complementary to those with the density field.


title: Disintegration of Active Asteroid P/2016 G1 (PANSTARRS)

abstract: We report on the catastrophic disintegration of P/2016 G1 (PANSTARRS), an active asteroid, in April 2016. Deep images over three months show that object is constituted by a central concentration of fragments surrounded by an elongated coma, and presents previously unreported sharp arc-like and a narrow linear features. The morphology and evolution of these characteristics independently point toward a brief event on 2016 March 6. The arc and the linear feature can be reproduced by large particles on a ring, moving at ~2.5 m/s. The expansion of the ring defines a cone with a ~40deg half-opening. We propose that G1 was hit by a small object which caused its (partial or total) disruption, and that the ring corresponds to large fragments ejected during the final stages of the crater formation.}


title: Incomplete Preferences in Single-Peaked Electorates

abstract: Incomplete preferences are likely to arise in real-world preference aggregation scenarios. This paper deals with determining whether an incomplete preference profile is single-peaked. This is valuable information since many intractable voting problems become tractable given single-peaked preferences. We prove that the problem of recognizing single-peakedness is \NP-complete for incomplete profiles consisting of partial orders. Despite this intractability result, we find several polynomial-time algorithms for reasonably restricted settings. In particular, we give polynomial-time recognition algorithms for weak orders, which can be viewed as preferences with indifference.


title: A perspective on effective medium models of thermal conductivity in (ultra)nanocrystalline diamond films

abstract: Thermal conductivity of nanocrystalline and ultra-nanocrystalline films is analyzed with effective medium theory (EMT) models. The existing EMT models use the spherical inclusion approximation. Although this approximation works quite well it is inconsistent, mostly with respect to the maximal packing of 74{\%}, which may be unrealistic for polycrystalline films. To check the consistency of these models we devise an EMT model with arbitrarily shaped inclusions. We pick the EMT model with cubic inclusions and we compare its results with the results of the EMT model with spherical inclusions. It is found a very good agreement between both calculations. This agreement is explained by general geometrical arguments. We further employ these models to analyze thermal conductivity of nanocrystalline and ultra-nanocrystalline diamond films. It is noticed that the effective conductivity is strongly affected not only by the boundary Kapitza resistance but also by intra-grain scattering for grain sizes below 100 nm. Generally, both intra-grain conductivity and Kapitza resistance increase with grain size. However, the effect of Kapitza resistance increase is negligible due to the geometrical factor accompanying Kapitza resistance contribution to the effective conductivity.


title: Revealing Hund's multiplets in Mott insulators under strong electric fields

abstract: We investigate the strong-field dynamics of a paramagnetic two-band Mott insulator using real-time dynamical mean-field theory. A dielectric breakdown occurs due to many-body Landau-Zener tunnelling, with a threshold field determined by the gap. For a large range of fields, however, we predict that the tunnelling currents are small enough to allow the observation of field-induced localization of electrons, which becomes most strikingly evident in atomic-like local spin multiplets determined by the Hund's coupling $J$. This field-induced localization might provide a way of measuring the value of $J$ in correlated materials. It should be observable in transition metal oxides using time-resolved photo-emission spectroscopy or optical measurements in the presence of strong THz field transients.


title: Prospects for cosmic magnification measurements using HI intensity mapping

abstract: We investigate the prospects of measuring the cosmic magnification effect by cross-correlating neutral hydrogen intensity mapping (HI IM) maps with background optical galaxies. We forecast the signal-to-noise ratio for HI IM data from SKA1-MID and HIRAX, combined with LSST photometric galaxy samples. We find that, thanks to their different resolutions, SKA1-MID and HIRAX are highly complementary in such an analysis. We predict that SKA1-MID can achieve a detection with a signal-to-noise ratio of $\sim 15$ on a multipole range of $\ell \lesssim 200$, while HIRAX can reach a signal-to-noise ratio of $\sim 50$ on $200 < \ell < 2000$. We conclude that measurements of the cosmic magnification signal will be possible on a wide redshift range with foreground HI intensity maps up to $z \lesssim 2$, while optimal results are obtained when $0.6 \lesssim z \lesssim 1.3$. Finally, we perform a signal to noise analysis that shows how these measurements can constrain the HI parameters across a wide redshift range.


title: Vector magnetometry using electromagnetically induced transparency with $lin\perp lin$ polarization

abstract: Vector magnetometry was studied using the electromagnetically induced transparency (EIT) with linear $\perp$ linear ($lin \perp lin$) polarization of the probe and the pump beams in $^{87}Rb$ - $D_2$ transition. The dependence of the EIT on the direction of the quantization axis and the relative orientation of the polarization of the applied electric fields was studied experimentally. We have shown that from the relative strengths of the $\sigma$ and $\pi$ EIT peaks, the direction of the magnetic field can be found. Moreover from the relative separation between the $\sigma$ and $\pi$ EIT peaks, the strengths of the magnetic field can be calculated. We have also demonstrated that the EIT peak amplitudes show oscillatory behaviour depending upon the orientation of the laser polarization relative to the magnetic field direction. Using the positions of the maxima and minima, the direction of the magnetic field can be calculated. To understand the experimental observation, a theoretical study has been done numerically considering all the thirteen Zeeman sub-levels. Apart from the numerical model, a toy model has also been considered to obtain an analytical response of the medium considering the velocity distribution. The dependencies of the magnetic field direction and the polarization direction of the electric fields have been explicitly derived in the analytical model. Further the direction of the magnetic field is calculated using the analytical solution. This study can be helpful in order to make an EIT based atomic vector magnetometer at room temperature.


title: Generalized solutions to models of inviscid fluids

abstract: We discuss several approaches to generalized solutions of problems describing the motion of inviscid fluids. We propose a new concept of dissipative solution to the compressible Euler system based on a careful analysis of possible oscillations and/or concentrations in the associated generating sequence. Unlike the conventional measure-valued solutions or rather their expected values, the dissipative solutions comply with a natural compatibility condition - they are classical solutions as long as they enjoy certain degree of smoothness.


title: Synchronising audio and ultrasound by learning cross-modal embeddings

abstract: Audiovisual synchronisation is the task of determining the time offset between speech audio and a video recording of the articulators. In child speech therapy, audio and ultrasound videos of the tongue are captured using instruments which rely on hardware to synchronise the two modalities at recording time. Hardware synchronisation can fail in practice, and no mechanism exists to synchronise the signals post hoc. To address this problem, we employ a two-stream neural network which exploits the correlation between the two modalities to find the offset. We train our model on recordings from 69 speakers, and show that it correctly synchronises 82.9% of test utterances from unseen therapy sessions and unseen speakers, thus considerably reducing the number of utterances to be manually synchronised. An analysis of model performance on the test utterances shows that directed phone articulations are more difficult to automatically synchronise compared to utterances containing natural variation in speech such as words, sentences, or conversations.


title: Dynamics of a Prey-predator System with Foraging Facilitation in Predators

abstract: The dynamics of a prey-predator system with foraging facilitation among predators are investigated. The analysis involves the computation of many semi-algebraic systems of large degrees. We apply the pseudo-division reduction, real-root isolation technique and complete discrimination system of polynomial to obtain parameter conditions for the exact number of equilibria and their qualitative properties as well as a complete investigation of bifurcations including saddle-node, transcritical, pitchfork, Hopf and Bogdanov-Takens bifurcations. Moreover, numerical simulations are presented to support our theoretical results.


title: Random network models with variable disorder of geometry

abstract: Recently it was shown (I.A.Gruzberg, A. Kl\"umper, W. Nuding and A. Sedrakyan, Phys.Rev.B 95, 125414 (2017)) that taking into account random positions of scattering nodes in the network model with $U(1)$ phase disorder yields a localization length exponent $2.37 \pm 0.011$ for plateau transitions in the integer quantum Hall effect. This is in striking agreement with the experimental value of $2.38 \pm 0.06$. Randomness of the network was modeled by replacing standard scattering nodes of a regular network by pure tunneling resp.reflection with probability $p$ where the particular value $p=1/3$ was chosen. Here we investigate the role played by the strength of the geometric disorder, i.e. the value of $p$. We consider random networks with arbitrary probability $0 <p<1/2$ for extreme cases and show the presence of a line of critical points with varying localization length indices having a minimum located at $p=1/3$.


title: Interplay of strong correlations and covalency in ionic band insulators

abstract: We have addressed the role of electronic correlations in different kind of band insulators by using two orbital Hubbard model within dynamical mean-field theory (DMFT). We have derived exact results for a single-particle spectral function at Fermi level within DMFT. Our numerical results calculated using impurity solvers namely, hybridization expansion continuous-time quantum Monte-Carlo (HY-CTQMC) and multi-orbital iterative perturbation theory (MO-IPT) corroborated with our predicted analytical results.


title: Open Problem: The Oracle Complexity of Convex Optimization with Limited Memory

abstract: We note that known methods achieving the optimal oracle complexity for first order convex optimization require quadratic memory, and ask whether this is necessary, and more broadly seek to characterize the minimax number of first order queries required to optimize a convex Lipschitz function subject to a memory constraint.


title: Entire functions polynomially bounded in several variables

abstract: In this paper we show that if an entire function $f(z_1,z_2)$ of two (or more) complex variables verifies $\norm{f(z_1,z_2)}\leq K(\norm{P(z_1,z_2)})$, where $P(z_1,z_2)$ is a polynomial that is not a power in $\CC[[z_1,z_2]]$, and $K$ is any positive-valued real function, then $f(z_1,z_2)$ can be written as a holomorphic function of $P$.


title: A Light-Driven Microgel Rotor

abstract: The current understanding of motility through body shape deformation of microorganisms and the knowledge of fluid flows at the microscale provides ample examples for mimicry and design of soft microrobots. In this work, a two-dimensional spiral is presented that is capable of rotating by non-reciprocal curling deformations. The body of the microswimmer is a ribbon consisting of a thermo-responsive hydrogel bilayer with embedded plasmonic gold nanorods. Such a system allows fast local photothermal heating and non-reciprocal bending deformation of the hydrogel bilayer under non-equilibrium conditions. We show that the spiral acts as a spring capable of large deformations thanks to its low stiffness, which is tunable by the swelling degree of the hydrogel and the temperature. Tethering the ribbon to a freely rotating microsphere enables rotational motion of the spiral by stroboscopic irradiation. The efficiency of the rotor is estimated using resistive force theory for Stokes flow. The present research demonstrates microscopic locomotion by the shape change of a spiral and may find applications in the field of microfluidics, or soft micro-robotics.


title: Ambient vibrations of age-old masonry towers: results of long-term dynamic monitoring in the historic centre of Lucca

abstract: The paper presents the results of an ambient vibration monitoring campaign conducted on so-called Clock Tower (Torre delle Ore), one the best known and most visited monuments in the historic centre of Lucca. The vibrations of the tower were continuously monitored from November 2017 to March 2018 using high-sensitivity instrumentation. In particular, four seismic stations provided by the Istituto Nazionale di Geofisica e Vulcanologia and two three-axial accelerometers developed by AGI S.r.l., spin-off of the Istituto Nazionale di Astrofisica, were installed on the tower. The measured vibration level was generally very low, since the structure lies in the middle of a limited traffic area. Nevertheless, the availability of two different types of highly sensitive and accurate instruments allowed the authors to follow the dynamic behaviour of the tower during the entire monitoring period and has moreover provided cross-validation of the results.


title: Design and Implementation of a Neural Network Based Predistorter for Enhanced Mobile Broadband

abstract: Digital predistortion is the process of correcting for nonlinearities in the analog RF front-end of a wireless transmitter. These nonlinearities contribute to adjacent channel leakage, degrade the error vector magnitude of transmitted signals, and often force the transmitter to reduce its transmission power into a more linear but less power-efficient region of the device. Most predistortion techniques are based on polynomial models with an indirect learning architecture which have been shown to be overly sensitive to noise. In this work, we use neural network based predistortion with a novel neural network training method that avoids the indirect learning architecture and that shows significant improvements in both the adjacent channel leakage ratio and error vector magnitude. Moreover, we show that, by using a neural network based predistorter, we are able to achieve a 42% reduction in latency and 9.6% increase in throughput on an FPGA accelerator with 15% fewer multiplications per sample when compared to a similarly performing memory-polynomial implementation.


title: Chipscale plasmonic modulators and switches based on metal-insulator-metal waveguides with Ge2Sb2Te5

abstract: We introduce phase-change material Ge2Sb2Te5 (GST) into metal-insulator-metal (MIM) waveguide systems to realize chipscale plasmonic modulators and switches in the telecommunication band. Benefitting from the high contrast of optical properties between amorphous and crystalline GST, the three proposed structures can act as reconfigurable and non-volatile modulators and switches with excellent modulation depth 14 dB and fast response time in nanosecond, meanwhile possessing small footprints, simple frameworks and easy fabrication. This work provides new solutions to design active devices in MIM waveguide systems, and can find potential applications in more compact all-optical circuits for information processing and storage.


title: Asymptotic stability of explicite infinite energy blowup solutions for three dimensional incompressible Magnetohydrodynamics equations

abstract: This paper is denoted to the study of dynamical behavior near explicit finite time blowup solutions for three dimensional incompressible Magnetohydrodynamics (MHD) equations. More precisely, we find a family of explicit finite time blowup solutions admitted smooth initial data and infinite energy in whole space $\mathbb{R}^3$. After that, we prove asymptotic stability of those explicit finite time blowup solutions for $3$D incompressible Magnetohydrodynamics equations in a smooth bounded domain with free surface $$ \Omega_{t}:=\Big\{(t,x_1,x_2,x_3):0\leq x_i\leq\sqrt{\overline{T}^*-t},\quad t\in(0,\overline{T}^*),\quad i=1,2,3\Big\}, $$ where $\overline{T}^*$ denotes the blowup time. This means we construct a family of \textbf{stable} blowup solutions for $3$D incompressible Magnetohydrodynamics equations with smooth initial data in $\Omega_t$.


title: Relativistic corrections to Landau levels in the presence of a parallel linear electric field

abstract: We consider an electron moving under a constant magnetic field (in the z-direction) and a \textit{linear} electric field parallel to the magnetic field above the z=0 plane and anti-parallel below the plane. Two frequencies characterize the system: the cyclotron frequency $\omega_c$ corresponding to motion along the x-y plane and associated with the usual Landau levels, and a second frequency $\omega_z$ corresponding to motion along the z-direction. In previous work, the non-relativistic energies of this system were obtained, and it was shown that an extra degeneracy (beyond the Landau degeneracy) occurs when the ratio $\text{w}=\omega_c/\omega_z$ is rational. In this paper, we use Dirac's equation to obtain compact formulas for the first and second order relativistic corrections to this system via perturbation theory. The formulas are expressed in terms of the two frequencies $\omega_c$ and $\omega_z$, and two quantum numbers, $n$ and $n_z$, both of which are non-negative integers. The first order correction is negative and lowers the original energies. We plot the energy (zeroth plus first order) versus the ratio $\text{w}$ and there are degeneracies at all points where lines intersect. However, the degeneracy does not occur at the same $\text{w}$ as before. To illustrate this, we show how the first order correction splits the energy levels for the case $\omega_c=\omega_z$.


title: Teaching deep neural networks to localize single molecules for super-resolution microscopy

abstract: Single-molecule localization fluorescence microscopy constructs super-resolution images by sequential imaging and computational localization of sparsely activated fluorophores. Accurate and efficient fluorophore localization algorithms are key to the success of this computational microscopy method. We present a novel localization algorithm based on deep learning which significantly improves upon the state of the art. Our contributions are a novel network architecture for simultaneous detection and localization, and new loss function which phrases detection and localization as a Bayesian inference problem, and thus allows the network to provide uncertainty-estimates. In contrast to standard methods which independently process imaging frames, our network architecture uses temporal context from multiple sequentially imaged frames to detect and localize molecules. We demonstrate the power of our method across a variety of datasets, imaging modalities, signal to noise ratios, and fluorophore densities. While existing localization algorithms can achieve optimal localization accuracy at low fluorophore densities, they are confounded by high densities. Our method is the first deep-learning based approach which achieves state-of-the-art on the SMLM2016 challenge. It achieves the best scores on 12 out of 12 data-sets when comparing both detection accuracy and precision, and excels at high densities. Finally, we investigate how unsupervised learning can be used to make the network robust against mismatch between simulated and real data. The lessons learned here are more generally relevant for the training of deep networks to solve challenging Bayesian inverse problems on spatially extended domains in biology and physics.


title: Seoul National University AGN Monitoring Project. I. Strategy and Sample

abstract: While the reverberation mapping technique is the best available method for measuring black hole mass in active galactic nuclei (AGN) beyond the local volume, this method has been mainly applied to relatively low-to-moderate luminosity AGNs at low redshift. We present the strategy of the Seoul National University AGN Monitoring Project, which aims at measuring the time delay of the \Hb\ line emission with respect to AGN continuum, using a sample of relatively high luminosity AGNs out to z $\sim$0.5. We present simulated cross correlation results based on a number of mock light curves, in order to optimally determine monitoring duration and cadence. We describe our campaign strategy based on the simulation results and the availability of observing facilities. We present the sample selection, and the properties of the selected 100 AGNs, including the optical luminosity, expected time lag, black hole mass, and Eddington ratio.


title: Analysis by Adversarial Synthesis -- A Novel Approach for Speech Vocoding

abstract: Classical parametric speech coding techniques provide a compact representation for speech signals. This affords a very low transmission rate but with a reduced perceptual quality of the reconstructed signals. Recently, autoregressive deep generative models such as WaveNet and SampleRNN have been used as speech vocoders to scale up the perceptual quality of the reconstructed signals without increasing the coding rate. However, such models suffer from a very slow signal generation mechanism due to their sample-by-sample modelling approach. In this work, we introduce a new methodology for neural speech vocoding based on generative adversarial networks (GANs). A fake speech signal is generated from a very compressed representation of the glottal excitation using conditional GANs as a deep generative model. This fake speech is then refined using the LPC parameters of the original speech signal to obtain a natural reconstruction. The reconstructed speech waveforms based on this approach show a higher perceptual quality than the classical vocoder counterparts according to subjective and objective evaluation scores for a dataset of 30 male and female speakers. Moreover, the usage of GANs enables to generate signals in one-shot compared to autoregressive generative models. This makes GANs promising for exploration to implement high-quality neural vocoders.


title: Fluid Dynamics Study of the $\Lambda$ Polarization for Au+Au Collisions at $\sqrt{s_{NN}}=200$ GeV

abstract: With a Yang-Mills field, stratified shear flow initial state and a high resolution (3+1)D Particle-in-Cell Relativistic (PICR) hydrodynamic model, we calculate the $\Lambda$ polarization for peripheral Au+Au collisions at RHIC energy of $\sqrt{S_{NN}}=200$ GeV. The obtained longitudinal polarization in our model agrees with the experimental signature and the quadrupole structure on transverse momentum plane. It is found that the relativistic correction (2nd term), arising from expansion and from the time component of the thermal vorticity, plays a crucial role in our results. This term is changing the signature and exceeds the first term, arising from the classical vorticity. Finally, the global polarization in our model shows no significant dependence on rapidity, which agrees with the experimental data. It is also found that the second term flattens the sharp peak arising from the classical vorticity (1st term).


title: Formation process of skyrmion lattice domain boundaries: The role of grain boundaries

abstract: We report on the formation process of skyrmion lattice (SkL) domain boundaries in FeGe using Lorentz transmission electron microscopy and small-angle electron diffraction. We observed that grain boundaries and edges play an important role in the formation of SkL domain boundaries; The SkL domain boundary is stabilized at the intersection of two grains. A micromagnetic simulation using the Landau-Lifshitz-Gilbert equation revealed that the SkL domains separated by a boundary represent the lowest energy configuration. Conversely, in a wide area, SkL domain boundaries were not formed and SkL domains with different orientations rotated to form a single SkL domain.


title: Binary expression of ancestors in the Collatz graph

abstract: The Collatz graph is a directed graph with natural number nodes and where there is an edge from node $x$ to node $T(x)=T_0(x)=x/2$ if $x$ is even, or to node $T(x)=T_1(x)=\frac{3x+1}{2}$ if $x$ is odd. Studying the Collatz graph in binary reveals complex message passing behaviors based on carry propagation which seem to capture the essential dynamics and complexity of the Collatz process. We study the set $\mathcal{E} \text{Pred}_k(x)$ that contains the binary expression of any ancestor $y$ that reaches $x$ with a limited budget of $k$ applications of $T_1$. The set $\mathcal{E} \text{Pred}_k(x)$ is known to be regular, Shallit and Wilson [EATCS 1992]. In this paper, we find that the geometry of the Collatz graph naturally leads to the construction of a regular expression, $\texttt{reg}_k(x)$, which defines $\mathcal{E} \text{Pred}_k(x)$. Our construction, is exponential in $k$ which improves upon the doubly exponentially construction of Shallit and Wilson. Furthermore, our result generalises Colussi's work on the $x = 1$ case [TCS 2011] to any natural number $x$, and gives mathematical and algorithmic tools for further exploration of the Collatz graph in binary.


title: Stringy Dyonic Solutions and Clifford Structures

abstract: Using the toroidal compactification of string theory on n-dimensional tori, Tn, we investigate dyonic objects in arbitrary dimensions. First, we present a class of dyonic black solutions formed by two different D-branes using a correspondence between toroidal cycles and objects possessing both magnetic and electric charges, belonging to %%%% dyonic gauge symmetry. This symmetry could be associated with electrically charged magnetic monopole solutions in stringy model buildings of the standard model extensions. Then, we consider in some details such black hole classes obtained from even dimensional toroidal compactifications, and we find that they are linked to Cl(n) Clifford algebras using the vee product. It is believed that this analysis could be extended to dyonic objects which can be obtained from local Calabi-Yau manifold compactifications.


title: Statistical convergence of nets through directed sets

abstract: The concept of statistical convergence based on asymptotic density is introduced in this article through nets. Some possible extensions of classical results for statistical convergence of sequences are obtained in this article, with extensions to nets.


title: L{\'e}vy processes: concentration function and heat kernel bounds

abstract: We investigate densities of vaguely continuous convolution semigroups of probability measures on $\mathbb{R}^d$. We expose that many typical conditions on the characteristic exponent repeatedly used in the literature of the subject are equivalent to the behaviour of the maximum of the density as a function of time variable. We also prove qualitative lower estimates under mild assumptions on the corresponding jump measure and the characteristic exponent.


title: Constrained Monte Carlo Markov Chains on Graphs

abstract: This paper presents a novel theoretical Monte Carlo Markov chain procedure in the framework of graphs. It specifically deals with the construction of a Markov chain whose empirical distribution converges to a given reference one. The Markov chain is constrained over an underlying graph, so that states are viewed as vertices and the transition between two states can have positive probability only in presence of an edge connecting them. The analysis is carried out on the basis of the relationship between the support of the target distribution and the connectedness of the graph.


title: Reduced-order surrogate models for scalar-tensor gravity in the strong field and applications to binary pulsars and GW170817

abstract: We investigate the scalar-tensor gravity of Damour and Esposito-Far\`ese (DEF), which predicts non-trivial phenomena in the nonperturbative strong-field regime for neutron stars (NSs). Instead of solving the modified Tolman-Oppenheimer-Volkoff equations, we construct reduced-order surrogate models, coded in the pySTGROM package, to predict the relations of a NS radius, mass, and effective scalar coupling to its central density. Our models are accurate at $\sim1\%$ level and speed up large-scale calculations by two orders of magnitude. As an application, we use pySTGROM and Markov-chain Monte Carlo techniques to constrain parameters in the DEF theory, with five well-timed binary pulsars, the binary NS (BNS) inspiral GW170817, and a hypothetical BNS inspiral in the Advanced LIGO and next-generation GW detectors. In the future, as more binary pulsars and BNS mergers are detected, our surrogate models will be helpful in constraining strong-field gravity with essential speed and accuracy.


title: Maximal acceleration geometries and spacetime curvature bounds

abstract: A geometric framework for metrics of maximal acceleration which is applicable to large proper accelerations is discussed, including a theory of connections associated with the geometry of maximal acceleration. In such a framework it is shown that the uniform bound on the proper maximal acceleration implies an uniform bound for certain bilinear combinations of the Riemannian curvature components in the domain of the spacetime where curvature is finite.


title: Collecting and Analyzing Multidimensional Data with Local Differential Privacy

abstract: Local differential privacy (LDP) is a recently proposed privacy standard for collecting and analyzing data, which has been used, e.g., in the Chrome browser, iOS and macOS. In LDP, each user perturbs her information locally, and only sends the randomized version to an aggregator who performs analyses, which protects both the users and the aggregator against private information leaks. Although LDP has attracted much research attention in recent years, the majority of existing work focuses on applying LDP to complex data and/or analysis tasks. In this paper, we point out that the fundamental problem of collecting multidimensional data under LDP has not been addressed sufficiently, and there remains much room for improvement even for basic tasks such as computing the mean value over a single numeric attribute under LDP. Motivated by this, we first propose novel LDP mechanisms for collecting a numeric attribute, whose accuracy is at least no worse (and usually better) than existing solutions in terms of worst-case noise variance. Then, we extend these mechanisms to multidimensional data that can contain both numeric and categorical attributes, where our mechanisms always outperform existing solutions regarding worst-case noise variance. As a case study, we apply our solutions to build an LDP-compliant stochastic gradient descent algorithm (SGD), which powers many important machine learning tasks. Experiments using real datasets confirm the effectiveness of our methods, and their advantages over existing solutions.


title: Exploiting Relevance for Online Decision-Making in High-Dimensions

abstract: Many sequential decision-making tasks require choosing at each decision step the right action out of the vast set of possibilities by extracting actionable intelligence from high-dimensional data streams. Most of the times, the high-dimensionality of actions and data makes learning of the optimal actions by traditional learning methods impracticable. In this work, we investigate how to discover and leverage sparsity in actions and data to enable fast learning. As our learning model, we consider a structured contextual multi-armed bandit (CMAB) with high-dimensional arm (action) and context (data) sets, where the rewards depend only on a few relevant dimensions of the joint context-arm set, possibly in a non-linear way. We depart from the prior work by assuming a high-dimensional, continuum set of arms, and allow relevant context dimensions to vary for each arm. We propose a new online learning algorithm called {\em CMAB with Relevance Learning} (CMAB-RL) and prove that its time-averaged regret asymptotically goes to zero when the expected reward varies smoothly in contexts and arms. CMAB-RL enjoys a substantially improved regret bound compared to classical CMAB algorithms whose regrets depend on dimensions $d_x$ and $d_a$ of the context and arm sets. Importantly, we show that when the learner has prior knowledge on sparsity, given in terms of upper bounds $\overline{d}_x$ and $\overline{d}_a$ on the number of relevant dimensions, then CMAB-RL achieves $\tilde{O}(T^{1-1/(2+2\overline{d}_x +\overline{d}_a)})$ regret. Finally, we illustrate how CMAB algorithms can be used for optimal personalized blood glucose control in type 1 diabetes mellitus patients, and show that CMAB-RL outperforms other contextual MAB algorithms in this task.


title: On List Decoding of 5G-NR Polar Codes

abstract: The 5th generation wireless systems (5G) standardization process of the 3rd generation partnership project (3GPP) chose polar codes as a channel coding scheme for the control channel. In case of downlink control information, polar codes are concatenated with distributed distributed cyclic redundancy check (CRC). Whereas CRC bits allow to improve the performance of successive cancellation list (SCL) decoders by improving distance properties, distributed CRC bits allow for path pruning and decoding early-termination. In this paper, we show how to take advantage of the distributed CRC to improve SCL decoding, analyzing various schemes having different earlytermination and error correction properties. Simulation results compare the proposed decoding schemes, showing different tradeoffs between error-correction performance and early-termination with different decoder parameters.


title: Causal Stability and Synchronization

abstract: Synchronization of chaos arises between coupled dynamical systems and is very well understood as a temporal phenomena which leads the coupled systems to converge or develop a dependence with time. In this work, we provide a complementary spatial perspective to this phenomenon by introducing the novel idea of causal stability. We then propose and prove a causal stability synchronization theorem as a necessary and sufficient condition for synchronization. We also provide an empirical criteria to identify synchronizing variables in coupled identical chaotic dynamical systems based on causality analysis on time series data of the driving system alone.


title: State-of-the-art in selection of variables and functional forms in multivariable analysis -- outstanding issues

abstract: How to select variables and identify functional forms for continuous variables is a key concern when creating a multivariable model. Ad hoc 'traditional' approaches to variable selection have been in use for at least 50 years. Similarly, methods for determining functional forms for continuous variables were first suggested many years ago. More recently, many alternative approaches to address these two challenges have been proposed, but knowledge of their properties and meaningful comparisons between them are scarce. To define a state-of-the-art and to provide evidence-supported guidance to researchers who have only a basic level of statistical knowledge many outstanding issues in multivariable modelling remain. Our main aims are to identify and illustrate such gaps in the literature and present them at a moderate technical level to the wide community of practitioners, researchers and students of statistics. We briefly discuss general issues in building descriptive regression models, strategies for variable selection, different ways of choosing functional forms for continuous variables, and methods for combining the selection of variables and functions. We discuss two examples, taken from the medical literature, to illustrate problems in the practice of modelling. Our overview revealed that there is not yet enough evidence on which to base recommendations for the selection of variables and functional forms in multivariable analysis. Such evidence may come from comparisons between alternative methods. In particular, we highlight seven important topics that require further investigation and make suggestions for the direction of further research.


title: CNN-based synthesis of realistic high-resolution LiDAR data

abstract: This paper presents a novel CNN-based approach for synthesizing high-resolution LiDAR point cloud data. Our approach generates semantically and perceptually realistic results with guidance from specialized loss-functions. First, we utilize a modified per-point loss that addresses missing LiDAR point measurements. Second, we align the quality of our generated output with real-world sensor data by applying a perceptual loss. In large-scale experiments on real-world datasets, we evaluate both the geometric accuracy and semantic segmentation performance using our generated data vs. ground truth. In a mean opinion score testing we further assess the perceptual quality of our generated point clouds. Our results demonstrate a significant quantitative and qualitative improvement in both geometry and semantics over traditional non CNN-based up-sampling methods.


title: Gamma Ray Spectra from Thermal Neutron Capture on Gadolinium-155 and Natural Gadolinium

abstract: Natural gadolinium is widely used for its excellent thermal neutron capture cross section, because of its two major isotopes: $^{\rm 155}$Gd and $^{\rm 157}$Gd. We measured the $\gamma$-ray spectra produced from the thermal neutron capture on targets comprising a natural gadolinium film and enriched $^{\rm 155}$Gd (in Gd$_{2}$O$_{3}$ powder) in the energy range from 0.11 MeV to 8.0 MeV, using the ANNRI germanium spectrometer at MLF, J-PARC. The freshly analysed data of the $^{\rm 155}$Gd(n, $\gamma$) reaction are used to improve our previously developed model (ANNRI-Gd model) for the $^{\rm 157}$Gd(n, $\gamma$) reaction, and its performance confirmed with the independent data from the $^{\rm nat}$Gd(n, $\gamma$) reaction. This article completes the development of an efficient Monte Carlo model required to simulate and analyse particle interactions involving the thermal neutron captures on gadolinium in any relevant future experiments.


title: Phase Modulated Communication with Low-Resolution ADCs

abstract: This paper considers a low-resolution wireless communication system in which transmitted signals are corrupted by fading and additive noise. First, a universal lower bound on the average symbol error probability (SEP), correct for all M-ary modulation schemes, is obtained when the number of quantization bits is not enough to resolve M signal points. Second, in the special case of M-ary phase shift keying (M-PSK), the optimum maximum likelihood detector for equiprobable signal points is derived. Third, utilizing the structure of the derived optimum receiver, a general average SEP expression for the M-PSK modulation with n-bit quantization is obtained when the wireless channel is subject to fading with a circularly-symmetric distribution. Finally, an extensive simulation study of the derived analytical results is presented for general Nakagami-m fading channels. It is observed that a transceiver architecture with n-bit quantization is asymptotically optimum in terms of communication reliability if n is greater than or equal to log_2(M +1). That is, the decay exponent for the average SEP is the same and equal to m with infinite-bit and n-bit quantizers for n greater than or equal to log_2(M+1). On the other hand, it is only equal to half and 0 for n = log_2(M) and n < log_2(M), respectively. Hence, for fading environments with a large value of m, using an extra quantization bit improves communication reliability significantly.


title: The multidimensional truncated Moment Problem: Shape and Gaussian Mixture Reconstruction from Derivatives of Moments

abstract: In this paper we introduce the theory of derivatives of moments and (moment) functionals to represent moment functionals by Gaussian mixtures, characteristic functions of polytopes, and simple functions of polytopes. We study, among other measures, Gaussian mixtures, their reconstruction from moments and especially the number of Gaussians needed to represent moment functionals. We find that there are moment functionals $L:\mathbb{R}[x_1,\dots,x_n]_{\leq 2d}\to\mathbb{R}$ which can be represented by a sum of $\binom{n+2d}{n} - n\cdot \binom{n+d}{n} + \binom{n}{2}$ Gaussians but not less. Hence, for any $d\in\mathbb{N}$ and $\varepsilon>0$ we find an $n\in\mathbb{N}$ such that $L$ can be represented by a sum of $(1-\varepsilon)\cdot\binom{n+2d}{n}$ Gaussians but not less. An upper bound is $\binom{n+2d}{n}-1$.


title: Laplacians on bipartite metric graphs

abstract: We study spectral properties of the standard (also called Kirchhoff) Laplacian and the anti-standard (or anti-Kirchhoff) Laplacian on a finite, compact metric graph. We show that the positive eigenvalues of these two operators coincide whenever the graph is bipartite; this leads to a precise relation between their eigenvalues enumerated with multiplicities and including the possible eigenvalue zero. Several spectral inequalities for, e.g., trees are among the consequences of this. In the second part we study inequalities between standard and Dirichlet eigenvalues in more detail and expose another connection to bipartiteness.


title: Radio Emission from Accreting Isolated Black Holes in Our Galaxy

abstract: Apart from the few tens of stellar-mass black holes discovered in binary systems, an order of $10^8$ isolated black holes (IBHs) are believed to be lurking in our Galaxy. Although some IBHs are able to accrete matter from the interstellar medium, the accretion flow is usually weak and thus radiatively inefficient, which results in significant material outflow. We study electron acceleration generated by the shock formed between this outflow and the surrounding material, and the subsequent radio synchrotron emission from accelerated electrons. By numerically calculating orbits of IBHs to obtain their spatial and velocity distributions, we estimate the number of IBHs detectable by surveys using SKA1-mid (SKA2) as $\sim 30$ ($\sim 700$) for the most optimistic case. The SKA's parallax measurements may accurately give their distances, possibly shedding light on the properties of the black holes in our Galaxy.


title: Results and Tools for Evaluating the Effectiveness of Focusing Systems to Improve Accessibility in Wireless Networks

abstract: The widespread use of wireless technologies leads to an ever-increasing number of users and permanently functioning devices. However, the growth of the number of wireless users in a limited space and a limited frequency range leads to an increase in their mutual influence, which ultimately affects the throughput of wireless channels and even the performance of the system as a whole. The article presents the statistics and tendencies of the distribution of wireless networks of the IEEE 802.11 standard systems, as well as analyzes the main problems that arise during the expansion of their use. Substantiation and choice of ways to overcome these difficulties largely depends on the objective control of radiation parameters of access points and subscriber funds in a particular environment. The review of the state control facilities provided by the developers of the equipment is presented, and author's variants of experimental measuring complexes are offered, allowing to control signal and information parameters of Wi-Fi systems. The experimental results obtained with the use of the indicated means, obtained using the accelerating metal-plate lens as an additional autonomous element for focusing the field, including for MIMO systems, the effect of the accelerating metal-plate lens on the spatial distribution of the field, on the spectral structure of the signal are presented. In addition, polarization effects were investigated. Possible ways to further increase the availability, integrity of information and energy efficiency of wireless access systems are discussed. The authors propose simpler and less costly options for increasing the direction of radiation on the basis of an accelerating metal-plate lens, experimentally tested, as well as the use of zone zoning on the path of the computer.


title: The optical control of phase locking of polariton condensates

abstract: The phase and the frequency of an exciton polariton condensate excited by a nonresonant pump can be efficiently manipulated by an external coherent light. Being tuned close to the resonance with the condensate eigenfrequency, the external laser light imposes its frequency to the condensate and locks its phase, thereby manifesting a synchronization effect. The conditions of formation of the phase synchronized regime are determined. The synchronization of a couple of closely spaced polariton condensates by a spatially uniform coherent light is examined. At the moderate strength of the coherent driving the synchronization is accompanied by the appearance of symmetry-breaking states of the polariton dyad, while these states are superseded by the symmetric state at the high-intensity driving. By employing a zero-dimensional model of coupled dissipative oscillators with both dissipative and conservative coupling, we study the bifurcation scenario of the symmetry-breaking state formation.


title: Tunable, Hardware-based Quantum Random Number Generation using Coupled Quantum Dots

abstract: Random numbers are a valuable commodity in gaming and gambling, simulation, conventional and quantum cryptography, and in non-conventional computing schemes such as stochastic computing. We propose to generate a random bit using a position measurement of a single mobile charge on a coupled pair of quantum dots. True randomness of the measurement outcome is provided by quantum mechanics via Born's rule. A random bit string may be generated using a sequence of repeated measurements on the same double quantum dot (DQD) system. Any bias toward a "0" measurement or a "1" measurement may be removed or tuned as desired simply by adjusting the detuning between localized states. Device tunability provides versatility, enabling this quantum random number generator (QRNG) to support applications in which no bias is desired, or where a tunable bias is desired. We discuss a metal-dot implementation as well as a molecular implementation of this QRNG. Basic quantum mechanical principles are used to study power dissipation and timing considerations for the generation of random bit strings. The DQD offers a small form factor and, in a metallic implementation, is usable in the case where cryogenic operations are desirable (as in the case of quantum computing). For room-temperature applications, a molecular DQD may be used.


title: Generation of singularities from the initial datum for Hamilton-Jacobi equations

abstract: We study the generation of singularities from the initial datum for a solution of the Cauchy problem for a class of Hamilton-Jacobi equations of evolution. For such equations, we give conditions for the existence of singular generalized characteristics starting at the initial time from a given point of the domain, depending on the properties of the proximal subdifferential of the initial datum in a neighbourhood of that point.


title: Quasi-Periodic WaveNet Vocoder: A Pitch Dependent Dilated Convolution Model for Parametric Speech Generation

abstract: In this paper, we propose a quasi-periodic neural network (QPNet) vocoder with a novel network architecture named pitch-dependent dilated convolution (PDCNN) to improve the pitch controllability of WaveNet (WN) vocoder. The effectiveness of the WN vocoder to generate high-fidelity speech samples from given acoustic features has been proved recently. However, because of the fixed dilated convolution and generic network architecture, the WN vocoder hardly generates speech with given F0 values which are outside the range observed in training data. Consequently, the WN vocoder lacks the pitch controllability which is one of the essential capabilities of conventional vocoders. To address this limitation, we propose the PDCNN component which has the time-variant adaptive dilation size related to the given F0 values and a cascade network structure of the QPNet vocoder to generate quasi-periodic signals such as speech. Both objective and subjective tests are conducted, and the experimental results demonstrate the better pitch controllability of the QPNet vocoder compared to the same and double sized WN vocoders while attaining comparable speech qualities. Index Terms: WaveNet, vocoder, quasi-periodic signal, pitch-dependent dilated convolution, pitch controllability


title: Neutrosophic metric Spaces

abstract: In present paper, the definition of new metric space with neutrosophic numbers is given. Several topological and structural properties have been investigated. The analogues of Baire Category Theorem and Uniform Convergence Theorem are given for Neutrosophic metric spaces.


title: Phase Structures and Transitions of Born-Infeld Black Holes in a Grand Canonical Ensemble

abstract: To make a Born-Infeld (BI) black hole thermally stable, we consider two types of boundary conditions, i.e., the asymptotically anti-de Sitter (AdS) space and a Dirichlet wall placed in the asymptotically flat space. The phase structures and transitions of these two types of BI black holes, namely BI-AdS black holes and BI black holes in a cavity, are investigated in a grand canonical ensemble, where the temperature and the potential are fixed. For BI-AdS black holes, the globally stable phases can be the thermal AdS space. For small values of the potential, there is a Hawking-Page-like first order phase transition between the BI-AdS black holes and the thermal-AdS space. However, the phase transition becomes zeroth order when the values of the potential are large enough. For BI black holes in a cavity, the globally stable phases can be a naked singularity or an extremal black hole with the horizon merging with the wall, which both are on the boundaries of the physical parameter region. The thermal flat space is never globally preferred. Besides a first order phase transition, there is a second order phase transition between the globally stable phases. Thus, it shows that the phase structures and transitions of BI black holes with these two different boundary conditions have several dissimilarities.


title: Higher order deformations of hyperbolic spectra

abstract: This is an expanded writeup of a talk given by the second author at Erik Balslev's 75th birthday conference on October 1-2, 2010 at Aarhus University. We summarize our work on Fermi's golden rule and higher order phenomena for hyperbolic manifolds. A topic which occupied the last part of Erik Balslev's research.


title: On Characterizations for Subclasses of Directed Co-Graphs

abstract: Undirected co-graphs are those graphs which can be generated from the single vertex graph by disjoint union and join operations. Co-graphs are exactly the P_4-free graphs (where P_4 denotes the path on 4 vertices). Co-graphs itself and several subclasses haven been intensively studied. Among these are trivially perfect graphs, threshold graphs, weakly quasi threshold graphs, and simple co-graphs. Directed co-graphs are precisely those digraphs which can be defined from the single vertex graph by applying the disjoint union, order composition, and series composition. By omitting the series composition we obtain the subclass of oriented co-graphs which has been analyzed by Lawler in the 1970s and the restriction to linear expressions was recently studied by Boeckner. There are only a few versions of subclasses of directed co-graphs until now. By transmitting the restrictions of undirected subclasses to the directed classes, we define the corresponding subclasses for directed co-graphs. We consider directed and oriented versions of threshold graphs, simple co-graphs, co-simple co-graphs, trivially perfect graphs, co-trivially perfect graphs, weakly quasi threshold graphs and co-weakly quasi threshold graphs. For all these classes we provide characterizations by finite sets of minimal forbidden induced subdigraphs. Further we analyze relations between these graph classes.


title: Simultaneous Achievement of Driver Assistance and Skill Development in Shared and Cooperative Controls

abstract: Advanced driver assistance systems have successfully reduced drivers' workloads and increased safety. On the other hand, the excessive use of such systems can impede the development of driving skills. However, there exist collaborative driver assistance systems, including shared and cooperative controls, which can promote effective collaboration between an assistance system and a human operator under appropriate system settings. Given an effective collaboration setup, we address the goal of simultaneously developing or maintaining driving skills while reducing workload. As there has been a paucity of research on such systems and their methodologies, we discuss a methodology applying shared and cooperative controls by considering related concepts in the skill training field. Reverse parking assisted by haptic shared control is presented as a means of increasing performance during assistance, while skill improvement following assistance is used to demonstrate the possibility of simultaneous achievement of driver assistance through the reduction of workload and skill improvement.


title: Classification of 3-Dimensional BiHom-Associative and BiHom-Bialgebras

abstract: The purpose of this paper is to study the structure and the algebraic varieties of BiHom-associative algebras. We provide a classication of n-dimensional BiHom-associative and BiHom-bialgebras and BiHom Hopf algebras for n $\le$ 3.


title: Fission modes in fermium isotopes with Brownian shape-motion model

abstract: Fission-fragment mass and total-kinetic-energy distributions following fission of the fermium isotopes $^{256,258,260}\text{Fm}$ at low excitation energy have been calculated using the Brownian shape-motion model. A transition from asymmetric fission in $^{256}\text{Fm}$ to symmetric fission in $^{258}\text{Fm}$ is obtained. The total-kinetic-energy distributions for the three isotopes show radically different behaviour due to varying contributions from different fission modes, with a double-humped distribution for $^{258}\text{Fm}$.


title: Thermal history modeling of the L chondrite parent body

abstract: The radius of the L chondrite parent body, its formation time, and its evolution history are determined by fitting theoretical models to empirical data of radioisotopic chronometers for L chondrites. A simplified evolution model for the L chondrite parent body is constructed considering sintering of the initially porous material, temperature dependent heat conductivity, and an insulating regolith layer. Such models are fitted to thermochronological data of five meteorites for which precise data for the Hf-W and U-Pb-Pb thermochronometers have been published. A set of parameters for the L chondrite parent body is found that yields excellent agreement (within error bounds) between a thermal evolution model and thermochonological data. Empirical cooling rate data also agree with the model results within error bounds such that there is no conflict between cooling rate data and the onion-shell model. Two models are found to be compatible with the presently available empirical data: One model with a radius of 115 km and a formation time of 1.89 Ma after CAI formation, another model with 160 km radius and formation time of 1.835 Ma. The central temperature of the smaller body remains well below the Ni,Fe-FeS eutectic melting temperature and is consistent with the apparent non-existence of primitive achondrites related to the L chondrites. For the bigger model incipient melting in the central core region is predicted which opens the possibility that primitive achondrites related to L chondrites could be found.


title: A data-driven approach for multiscale elliptic PDEs with random coefficients based on intrinsic dimension reduction

abstract: We propose a data-driven approach to solve multiscale elliptic PDEs with random coefficients based on the intrinsic low dimension structure of the underlying elliptic differential operators. Our method consists of offline and online stages. At the offline stage, a low dimension space and its basis are extracted from the data to achieve significant dimension reduction in the solution space. At the online stage, the extracted basis will be used to solve a new multiscale elliptic PDE efficiently. The existence of low dimension structure is established by showing the high separability of the underlying Green's functions. Different online construction methods are proposed depending on the problem setup. We provide error analysis based on the sampling error and the truncation threshold in building the data-driven basis. Finally, we present numerical examples to demonstrate the accuracy and efficiency of the proposed method.


title: The CARMENES search for exoplanets around M dwarfs -- Photospheric parameters of target stars from high-resolution spectroscopy. II. Simultaneous multiwavelength range modeling of activity insensitive lines

abstract: We present precise photospheric parameters of 282 M dwarfs determined from fitting the most recent version of PHOENIX models to high-resolution CARMENES spectra in the visible (0.52 - 0.96 $\mu$m) and near-infrared wavelength range (0.96 - 1.71 $\mu$m). With its aim to search for habitable planets around M dwarfs, several planets of different masses have been detected. The characterization of the target sample is important for the ability to derive and constrain the physical properties of any planetary systems that are detected. As a continuation of previous work in this context, we derived the fundamental stellar parameters effective temperature, surface gravity, and metallicity of the CARMENES M-dwarf targets from PHOENIX model fits using a $\chi^2$ method. We calculated updated PHOENIX stellar atmosphere models that include a new equation of state to especially account for spectral features of low-temperature stellar atmospheres as well as new atomic and molecular line lists. We show the importance of selecting magnetically insensitive lines for fitting to avoid effects of stellar activity in the line profiles. For the first time, we directly compare stellar parameters derived from multiwavelength range spectra, simultaneously observed for the same star. In comparison with literature values we show that fundamental parameters derived from visible spectra and visible and near-infrared spectra combined are in better agreement than those derived from the same spectra in the near-infrared alone.


title: Landscape Theory for Schr\"odinger Operators with General Hopping Terms on a Finite Lattice

abstract: Findings by M. L. Lyra, S. Mayboroda and M. Filoche relate invertibility and positivity of a class of discrete Schr\"odinger matrices with the existence of the "Landscape Function", which provides an upper bound on all eigenvectors simultaneously. Their argument is based on the variational principles. We consider an alternative method of proving these results, based on the power series expansion, and demonstrate that it naturally extends the original findings to the case of long range operators. The method of proof by power series expansion can also be employed in other scenarios, such as higher dimensional lattices.


title: The r-process nucleosynthesis in the outflows from short GRB accretion disks

abstract: Short gamma-ray bursts require a rotating black hole, surrounded by a magnetized relativistic accretion disk, such as the one formed by coalescing binary neutron stars or neutron star - black hole systems. The accretion onto a Kerr black hole is the mechanism of launching a baryon-free relativistic jet. An additional uncollimated outflow, consisting of sub-relativistic neutron-rich material which becomes unbound by thermal, magnetic and viscous forces, is responsible for blue and red kilonova. We explore the formation, composition and geometry of the secondary outflow by means of simulating accretion disks with relativistic magneto-hydrodynamics and employing realistic nuclear equation of state. We calculate the nucleosynthetic r-process yields by sampling the outflow with a dense set of tracer particles. Nuclear heating from the residual r-process radioactivities in the freshly synthesized nuclei is expected to power a red kilonova, contributing independently from the dynamical ejecta component, launched at the time of merger, and neutron-poor broad polar outflow, launched from the surface of the hypermassive neutron star by neutrino wind. Our simulations show that both magnetisation of the disk and high black hole spin are able to launch fast wind outflows ($v/c\sim 0.11-0.23$) with a broad range of electron fraction $Y_{\rm e}\sim 0.1-0.4$, and help explain the multiple components observed in the kilonova lightcurves. The total mass loss from the post-merger disk via unbound outflows is between 2\% and 17\% of the initial disk mass.


title: Multilingual, Multi-scale and Multi-layer Visualization of Intermediate Representations

abstract: The main alternatives nowadays to deal with sequences are Recurrent Neural Networks (RNN), Convolutional Neural Networks (CNN) architectures and the Transformer. In this context, RNN's, CNN's and Transformer have most commonly been used as an encoder-decoder architecture with multiple layers in each module. Far beyond this, these architectures are the basis for the contextual word embeddings which are revolutionizing most natural language downstream applications. However, intermediate layer representations in sequence-based architectures can be difficult to interpret. To make each layer representation within these architectures more accessible and meaningful, we introduce a web-based tool that visualizes them both at the sentence and token level. We present three use cases. The first analyses gender issues in contextual word embeddings. The second and third are showing multilingual intermediate representations for sentences and tokens and the evolution of these intermediate representations along the multiple layers of the decoder and in the context of multilingual machine translation.


title: Location Anomalies Detection for Connected and Autonomous Vehicles

abstract: Future Connected and Automated Vehicles (CAV), and more generally ITS, will form a highly interconnected system. Such a paradigm is referred to as the Internet of Vehicles (herein Internet of CAVs) and is a prerequisite to orchestrate traffic flows in cities. For optimal decision making and supervision, traffic centres will have access to suitably anonymized CAV mobility information. Safe and secure operations will then be contingent on early detection of anomalies. In this paper, a novel unsupervised learning model based on deep autoencoder is proposed to detect the self-reported location anomaly in CAVs, using vehicle locations and the Received Signal Strength Indicator (RSSI) as features. Quantitative experiments on simulation datasets show that the proposed approach is effective and robust in detecting self-reported location anomalies.


title: The energetic cost of work extraction

abstract: We analyze work extraction from a qubit into a wave guide (WG) acting as a battery, where work is the coherent component of the energy radiated by the qubit. The process is stimulated by a wave packet whose mean photon number (the battery's charge) can be adjusted. We show that the extracted work is bounded by the qubit's ergotropy, and that the bound is saturated for a large enough battery's charge. If this charge is small, work can still be extracted. Its amount is controlled by the quantum coherence initially injected in the qubit's state, that appears as a key parameter when energetic resources are limited. This new and autonomous scenario for the study of quantum batteries can be implemented with state-of-the-art artificial qubits coupled to WGs.


title: Exponential Separations in Local Differential Privacy

abstract: We prove a general connection between the communication complexity of two-player games and the sample complexity of their multi-player locally private analogues. We use this connection to prove sample complexity lower bounds for locally differentially private protocols as straightforward corollaries of results from communication complexity. In particular, we 1) use a communication lower bound for the hidden layers problem to prove an exponential sample complexity separation between sequentially and fully interactive locally private protocols, and 2) use a communication lower bound for the pointer chasing problem to prove an exponential sample complexity separation between $k$ round and $k+1$ round sequentially interactive locally private protocols, for every $k$.


title: Signomial and Polynomial Optimization via Relative Entropy and Partial Dualization

abstract: We describe a generalization of the Sums-of-AM/GM Exponential (SAGE) relaxation methodology for obtaining bounds on constrained signomial and polynomial optimization problems. Our approach leverages the fact that relative entropy based SAGE certificates conveniently and transparently blend with convex duality, in a manner that Sums-of-Squares certificates do not. This more general approach not only retains key properties of ordinary SAGE relaxations (e.g. sparsity preservation), but also inspires a novel perspective-based method of solution recovery. We illustrate the utility of our methodology with a range of examples from the global optimization literature, along with a publicly available software package.


title: Random product of quasi-periodic cocycles

abstract: Given a finite set of quasi-periodic cocycles the random product of them is defined as the random composition according to some probability measure. We prove that the set of $C^r$, $0\leq r \leq \infty$ (or analytic) $k+1$-tuples of quasi periodic cocycles taking values in $SL_2(\mathbb{R})$ such that the random product of them has positive Lyapunov exponent contains a $C^0$ open and $C^r$ dense subset which is formed by $C^0$ continuity point of the Lyapunov exponent For $k+1$-tuples of quasi periodic cocycles taking values in $GL_d(\mathbb{R})$ for $d>2$, we prove that if one of them is diagonal, then there exists a $C^r$ dense set of such $k+1$-tuples which has simples Lyapunov spectrum and are $C^0$ continuity point of the Lyapunov exponent.


title: Mechanisms underlying the response of mouse cortical networks to optogenetic manipulation

abstract: GABAergic interneurons can be subdivided into three subclasses: parvalbumin positive (PV), somatostatin positive (SOM) and serotonin positive neurons. With principal cells (PCs) they form complex networks. We examine PCs and PV responses in mouse anterior lateral motor cortex (ALM) and barrel cortex (S1) upon PV photostimulation in vivo. In layer 5, the PV response is paradoxical: photoexcitation reduces their activity. This is not the case in ALM layer 2/3. We combine analytical calculations and numerical simulations to investigate how these results constrain the architecture. Two-population models cannot account for the results. Networks with three inhibitory populations and V1-like architecture account for the data in ALM layer 2/3. Our data in layer 5 can be accounted for if SOM neurons receive inputs only from PCs and PV neurons. In both four-population models, the paradoxical effect implies not too strong recurrent excitation. It is not evidence for stabilization by inhibition.


title: The directed 2-linkage problem with length constraints

abstract: The {\sc weak 2-linkage} problem for digraphs asks for a given digraph and vertices $s_1,s_2,t_1,t_2$ whether $D$ contains a pair of arc-disjoint paths $P_1,P_2$ such that $P_i$ is an $(s_i,t_i)$-path. This problem is NP-complete for general digraphs but polynomially solvable for acyclic digraphs \cite{fortuneTCS10}. Recently it was shown \cite{bercziESA17} that if $D$ is equipped with a weight function $w$ on the arcs which satisfies that all edges have positive weight, then there is a polynomial algorithm for the variant of the weak-2-linkage problem when both paths have to be shortest paths in $D$. In this paper we consider the unit weight case and prove that for every pair constants $k_1,k_2$, there is a polynomial algorithm which decides whether the input digraph $D$ has a pair of arc-disjoint paths $P_1,P_2$ such that $P_i$ is an $(s_i,t_i)$-path and the length of $P_i$ is no more than $d(s_i,t_i)+k_i$, for $i=1,2$, where $d(s_i,t_i)$ denotes the length of the shortest $(s_i,t_i)$-path. We prove that, unless the exponential time hypothesis (ETH) fails, there is no polynomial algorithm for deciding the existence of a solution $P_1,P_2$ to the {\sc weak 2-linkage} problem where each path $P_i$ has length at most $d(s_i,t_i)+ c\log^{1+\epsilon}{}n$ for some constant $c$. We also prove that the {\sc weak 2-linkage} problem remains NP-complete if we require one of the two paths to be a shortest path while the other path has no restriction on the length.


title: Ultrasound tongue imaging for diarization and alignment of child speech therapy sessions

abstract: We investigate the automatic processing of child speech therapy sessions using ultrasound visual biofeedback, with a specific focus on complementing acoustic features with ultrasound images of the tongue for the tasks of speaker diarization and time-alignment of target words. For speaker diarization, we propose an ultrasound-based time-domain signal which we call estimated tongue activity. For word-alignment, we augment an acoustic model with low-dimensional representations of ultrasound images of the tongue, learned by a convolutional neural network. We conduct our experiments using the Ultrasuite repository of ultrasound and speech recordings for child speech therapy sessions. For both tasks, we observe that systems augmented with ultrasound data outperform corresponding systems using only the audio signal.


title: Microscopic magnetization distribution of Bloch lines in a uniaxial magnet

abstract: Bloch lines are formed to reduce the magnetostatic energy generated by the Bloch walls in uniaxial magnets. Recently, it is reported that Bloch lines play important roles in the emergence and helicity reversal of magnetic bubbles in Sc-substitute M-type hexaferrites (BaFe$_{12-x-0.05}$Sc$_{x}$Mg$_{0.05}$O$_{19}$). Although Bloch lines have been discussed on the basis of micromagnetic simulations, the detailed structure was not observed directly. In this study, we investigated the microscopic structures of Bloch lines in BaFe$_{10.35}$Sc$_{1.6}$Mg$_{0.05}$O$_{19}$ uniaxial magnets. Differential-phase contrast scanning transmission microscopy (DPC-STEM) directly revealed that the edges of the Bloch walls were misaligned in the Bloch lines of BaFe$_{10.35}$Sc$_{1.6}$Mg$_{0.05}$O$_{19}$. From the micromagnetic simulations based on the Monte-Carlo technique, we showed that the misaligned Bloch walls were caused by the dipole-dipole interactions in the hexaferrite. Our results will help to understand the microstructures of Bloch lines at nanometer scale.


title: Understanding Memory Modules on Learning Simple Algorithms

abstract: Recent work has shown that memory modules are crucial for the generalization ability of neural networks on learning simple algorithms. However, we still have little understanding of the working mechanism of memory modules. To alleviate this problem, we apply a two-step analysis pipeline consisting of first inferring hypothesis about what strategy the model has learned according to visualization and then verify it by a novel proposed qualitative analysis method based on dimension reduction. Using this method, we have analyzed two popular memory-augmented neural networks, neural Turing machine and stack-augmented neural network on two simple algorithm tasks including reversing a random sequence and evaluation of arithmetic expressions. Results have shown that on the former task both models can learn to generalize and on the latter task only the stack-augmented model can do so. We show that different strategies are learned by the models, in which specific categories of input are monitored and different policies are made based on that to change the memory.


title: Equation Discovery for Nonlinear System Identification

abstract: Equation discovery methods enable modelers to combine domain-specific knowledge and system identification to construct models most suitable for a selected modeling task. The method described and evaluated in this paper can be used as a nonlinear system identification method for gray-box modeling. It consists of two interlaced parts of modeling that are computer-aided. The first performs computer-aided identification of a model structure composed of elements selected from user-specified domain-specific modeling knowledge, while the second part performs parameter estimation. In this paper, recent developments of the equation discovery method called process-based modeling, suited for nonlinear system identification, are elaborated and illustrated on two continuous-time case studies. The first case study illustrates the use of the process-based modeling on synthetic data while the second case-study evaluates on measured data for a standard system-identification benchmark. The experimental results clearly demonstrate the ability of process-based modeling to reconstruct both model structure and parameters from measured data.


title: Consistency types for replicated data in a higher-order distributed programming language

abstract: Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to trade consistency for performance. For certain data, consistency guarantees may be weakened if application correctness is unaffected. In contrast, data flow from data with weak consistency to data with strong consistency requirements is problematic, since application correctness may be broken. In this paper, we propose lattice-based consistency types for replicated data (CTRD), a higher-order static consistency-typed language with replicated data types. The type system of CTRD supports shared data among multiple clients, and statically enforces noninterference between data types with weaker consistency and data types with stronger consistency. The language can be applied to many distributed applications and guarantees that updates of weakly-consistent data can never affect strongly-consistent data. We also extend the basic CTRD with an optimization that reduces synchronization for generating reference graphs.


title: Lipschitz one sets modulo sets of measure zero

abstract: We denote the local "little" and "big" Lipschitz functions of a function $f: {{\mathbb R}}\to {{\mathbb R}}$ by $ {\mathrm {lip}}f$ and $ {\mathrm {Lip}}f$. In this paper we continue our research concerning the following question. Given a set $E {\subset} {{\mathbb R}}$ is it possible to find a continuous function $f$ such that $ {\mathrm {lip}}f=\mathbf{1}_E$ or $ {\mathrm {Lip}}f=\mathbf{1}_E$? In giving some partial answers to this question uniform density type (UDT) and strong uniform density type (SUDT) sets play an important role. In this paper we show that modulo sets of zero Lebesgue measure any measurable set coincides with a ${\mathrm {Lip}} 1$ set. On the other hand, we prove that there exists a measurable SUDT set $E$ such that for any $G_\delta$ set $\widetilde{E}$ satisfying $|E\Delta\widetilde{E}|=0$ the set $\widetilde{E}$ does not have UDT. Combining these two results we obtain that there exists ${\mathrm {Lip}} 1$ sets not having UDT, that is, the converse of one of our earlier results does not hold.


title: Designing Deep Reinforcement Learning for Human Parameter Exploration

abstract: Software tools for generating digital sound often present users with high-dimensional, parametric interfaces, that may not facilitate exploration of diverse sound designs. In this paper, we propose to investigate artificial agents using deep reinforcement learning to explore parameter spaces in partnership with users for sound design. We describe a series of user-centred studies to probe the creative benefits of these agents and adapting their design to exploration. Preliminary studies observing users' exploration strategies with parametric interfaces and testing different agent exploration behaviours led to the design of a fully-functioning prototype, called Co-Explorer, that we evaluated in a workshop with professional sound designers. We found that the Co-Explorer enables a novel creative workflow centred on human-machine partnership, which has been positively received by practitioners. We also highlight varied user exploration behaviors throughout partnering with our system. Finally, we frame design guidelines for enabling such co-exploration workflow in creative digital applications.


title: Time-to-Event Prediction with Neural Networks and Cox Regression

abstract: New methods for time-to-event prediction are proposed by extending the Cox proportional hazards model with neural networks. Building on methodology from nested case-control studies, we propose a loss function that scales well to large data sets, and enables fitting of both proportional and non-proportional extensions of the Cox model. Through simulation studies, the proposed loss function is verified to be a good approximation for the Cox partial log-likelihood. The proposed methodology is compared to existing methodologies on real-world data sets, and is found to be highly competitive, typically yielding the best performance in terms of Brier score and binomial log-likelihood. A python package for the proposed methods is available at https://github.com/havakv/pycox.


title: On the motive of zero-dimensional Quot schemes on a curve

abstract: For any locally free coherent sheaf on a fixed smooth projective curve, we study the class, in the Grothendieck ring of varieties, of the Quot scheme that parametrizes zero-dimensional quotients of the sheaf. We prove that this class depends only on the rank of the sheaf and on the length of the quotients. As an application, we obtain an explicit formula that expresses it in terms of the symmetric products of the curve.


title: Runaway climate cooling of ocean planets in the habitable zone: a consequence of seafloor weathering enhanced by melting of high-pressure ice

abstract: Terrestrial planets covered globally with thick oceans (termed ocean planets) in the habitable zone were previously inferred to have extremely hot climates in most cases. This is because ${\rm H_2O}$ high-pressure (HP) ice on the seafloor prevents chemical weathering and, thus, removal of atmospheric CO$_2$. Previous studies, however, ignored melting of the HP ice and horizontal variation in heat flux from oceanic crusts. Here we examine whether high heat fluxes near the mid-ocean ridge melts the HP ice and thereby removes atmospheric ${\rm CO_2}$. We develop integrated climate models of an Earth-size ocean planet with plate tectonics for different ocean masses, which include the effects of HP ice melting, seafloor weathering, and the carbonate-silicate geochemical carbon cycle. We find that the heat flux near the mid-ocean ridge is high enough to melt the ice, enabling seafloor weathering. In contrast to the previous theoretical prediction, we show that climates of terrestrial planets with massive oceans lapse into extremely cold ones (or snowball states) with CO$_2$-poor atmospheres. Such extremely cold climates are achieved mainly because the HP ice melting fixes seafloor temperature at the melting temperature, thereby keeping a high weathering flux regardless of surface temperature. We estimate that ocean planets with oceans several tens of the Earth's ocean mass no longer maintain temperate climates. These results suggest that terrestrial planets with extremely cold climates exist even in the habitable zone beyond the solar system, given the frequency of water-rich planets predicted by planet formation theories.


title: Modal Approach to the Theory of Energy Transfer Mediated by a Metallic Nanosphere

abstract: Theoretically, the presence of a metallic nanoparticle enhances the intermolecular energy transfer. We calculate this enhancement factor with a modal approach pertaining analytical results in the case of a nanosphere. We calculate the Green's function of the system relaying on the spectral properties of the electrostatic operator, fully known for spherical geometry. In contrast to other treatments, the present calculations are straightforward for any molecular orientation giving modal information about the response of the system. Numerical calculations and further discussions are also provided.


title: Translating Asynchronous Games for Distributed Synthesis (Full Version)

abstract: In distributed synthesis, we generate a set of process implementations that, together, accomplish an objective against all possible behaviors of the environment. A lot of recent work has focussed on systems with causal memory, i.e., sets of asynchronous processes that exchange their causal histories upon synchronization. Decidability results for this problem have been stated either in terms of control games, which extend Zielonka's asynchronous automata by partitioning the actions into controllable and uncontrollable, or in terms of Petri games, which extend Petri nets by partitioning the tokens into system and environment players. The precise connection between these two models was so far, however, an open question. In this paper, we provide the first formal connection between control games and Petri games. We establish the equivalence of the two game models based on weak bisimulations between their strategies. For both directions, we show that a game of one type can be translated into an equivalent game of the other type. We provide exponential upper and lower bounds for the translations. Our translations make it possible to transfer and combine decidability results between the two types of games. Exemplarily, we translate decidability in acyclic communication architectures, originally obtained for control games, to Petri games, and decidability in single-process systems, originally obtained for Petri games, to control games.


title: Decomposition formulae for Dirichlet forms and their corollaries

abstract: We provide decompositions of Dirichlet forms into recurrent and transient parts as well as into conservative and dissipative parts, in the framework of Hausdorff state spaces. Combining both formulae we write every Dirichlet form as the sum of a recurrent, dissipative and transient conservative Dirichlet forms. Besides, we prove that Mosco convergence preserves invariant sets and that a Dirichlet form shares the same invariants sets with its approximating Dirichlet forms E(t) and E(?). Finally we show the equivalence between conservativeness (resp. dissipativity) of a Dirichlet form and the conservativeness (reps. dissipativity) of E(t) and E(?). The elaborated results are enlightened by some examples.


title: Online Multiple Pedestrians Tracking using Deep Temporal Appearance Matching Association

abstract: In online multi-target tracking, modeling of appearance and geometric similarities between pedestrians visual scenes is of great importance. The higher dimension of inherent information in the appearance model compared to the geometric model is problematic in many ways. However, due to the recent success of deep-learning-based methods, handling of high-dimensional appearance information becomes feasible. Among many deep neural networks, Siamese network with triplet loss has been widely adopted as an effective appearance feature extractor. Since the Siamese network can extract the features of each input independently, one can update and maintain target-specific features. However, it is not suitable for multi-target settings that require comparison with other inputs. To address this issue, we propose a novel track appearance model based on the joint-inference network. The proposed method enables a comparison of two inputs to be used for adaptive appearance modeling and contributes to the disambiguation of target-observation matching and to the consolidation of identity consistency. Diverse experimental results support the effectiveness of our method. Our work was recognized as the 3rd-best tracker in BMTT MOTChallenge 2019, held at CVPR2019. The code is available at https://github.com/yyc9268/Deep-TAMA.


title: iPool -- Information-based Pooling in Hierarchical Graph Neural Networks

abstract: With the advent of data science, the analysis of network or graph data has become a very timely research problem. A variety of recent works have been proposed to generalize neural networks to graphs, either from a spectral graph theory or a spatial perspective. The majority of these works however focus on adapting the convolution operator to graph representation. At the same time, the pooling operator also plays an important role in distilling multiscale and hierarchical representations but it has been mostly overlooked so far. In this paper, we propose a parameter-free pooling operator, called iPool, that permits to retain the most informative features in arbitrary graphs. With the argument that informative nodes dominantly characterize graph signals, we propose a criterion to evaluate the amount of information of each node given its neighbors, and theoretically demonstrate its relationship to neighborhood conditional entropy. This new criterion determines how nodes are selected and coarsened graphs are constructed in the pooling layer. The resulting hierarchical structure yields an effective isomorphism-invariant representation of networked data in arbitrary topologies. The proposed strategy is evaluated in terms of graph classification on a collection of public graph datasets, including bioinformatics and social networks, and achieves state-of-the-art performance on most of the datasets.


title: Stability analysis for stationary solutions of the Mullins-Sekerka flow with boundary contact

abstract: We first give a complete linearized stability analysis around stationary solutions of the Mullins-Sekerka flow with $90^\circ$ contact angle in two space dimensions. The stationary solutions include flat interfaces, as well as arcs of circles. We investigate the different stability behaviour in dependence of properties of the stationary solution, such as its curvature and length, as well as the curvature of the boundary of the domain at the two contact points. We show that the behaviour changes in terms of these parameters, ranging from exponential stability to instability. We also give a first result on nonlinear stability for curved boundaries.


title: The CR Ahlfors derivative and a new invariant for spherically equivalent CR maps

abstract: We study a CR analogue of the Ahlfors derivative for conformal immersions of Stowe [23] that generalizes the CR Schwarzian derivative studied earlier by the second-named author [21]. This notion possesses several important properties similar to those of the conformal counterpart and provides a new invariant for spherically equivalent CR maps from strictly pseudoconvex CR manifolds into a sphere. The invariant is computable and distinguishes many well-known sphere maps. In particular, it vanishes precisely when the map is spherically equivalent to the linear embedding of spheres.


title: UltraSuite: A Repository of Ultrasound and Acoustic Data from Child Speech Therapy Sessions

abstract: We introduce UltraSuite, a curated repository of ultrasound and acoustic data, collected from recordings of child speech therapy sessions. This release includes three data collections, one from typically developing children and two from children with speech sound disorders. In addition, it includes a set of annotations, some manual and some automatically produced, and software tools to process, transform and visualise the data.


title: Precision measurement of electron-electron scattering in GaAs/AlGaAs using transverse magnetic focusing

abstract: Electron-electron (e-e) interactions assume a cardinal role in solid-state physics. Quantifying the e-e scattering length is hence critical. In this paper we show that the mesoscopic phenomenon of transverse magnetic focusing (TMF) in two-dimensional electron systems forms a precise and sensitive technique to measure this length scale. Conversely we quantitatively demonstrate that e-e scattering is the predominant effect limiting TMF amplitudes in high-mobility materials. Using high-resolution kinetic simulations, we show that the TMF amplitude at a maximum decays exponentially as a function of the e-e scattering length, which leads to a ready approach to extract this length from the measured TMF amplitudes. The approach is applied to measure the temperature-dependent e-e scattering length in high-mobility GaAs/AlGaAs heterostructures. The simulations further reveal current vortices that accompany the cyclotron orbits - a collective phenomenon counterintuitive to the ballistic transport underlying a TMF setting.


title: XNect: Real-time Multi-Person 3D Motion Capture with a Single RGB Camera

abstract: We present a real-time approach for multi-person 3D motion capture at over 30 fps using a single RGB camera. It operates successfully in generic scenes which may contain occlusions by objects and by other people. Our method operates in subsequent stages. The first stage is a convolutional neural network (CNN) that estimates 2D and 3D pose features along with identity assignments for all visible joints of all individuals.We contribute a new architecture for this CNN, called SelecSLS Net, that uses novel selective long and short range skip connections to improve the information flow allowing for a drastically faster network without compromising accuracy. In the second stage, a fully connected neural network turns the possibly partial (on account of occlusion) 2Dpose and 3Dpose features for each subject into a complete 3Dpose estimate per individual. The third stage applies space-time skeletal model fitting to the predicted 2D and 3D pose per subject to further reconcile the 2D and 3D pose, and enforce temporal coherence. Our method returns the full skeletal pose in joint angles for each subject. This is a further key distinction from previous work that do not produce joint angle results of a coherent skeleton in real time for multi-person scenes. The proposed system runs on consumer hardware at a previously unseen speed of more than 30 fps given 512x320 images as input while achieving state-of-the-art accuracy, which we will demonstrate on a range of challenging real-world scenes.


title: Transmission of perfect trees and rooted powers of graphs

abstract: We give exact formulas for the transmission (i.e. the sum of all distances between vertices) of perfect trees and rooted powers of (connected finite) graphs.