title: Thermal properties of slowly rotating asteroids: Results from a targeted survey

abstract: Context. Earlier work suggests that slowly rotating asteroids should have higher thermal inertias than faster rotators because the heat wave penetrates deeper into the sub-surface. However, thermal inertias have been determined mainly for fast rotators due to selection effects in the available photometry used to obtain shape models required for thermophysical modelling (TPM). Aims. Our aims are to mitigate these selection effects by producing shape models of slow rotators, to scale them and compute their thermal inertia with TPM, and to verify whether thermal inertia increases with the rotation period. Methods. To decrease the bias against slow rotators, we conducted a photometric observing campaign of main-belt asteroids with periods longer than 12 hours, from multiple stations worldwide, adding in some cases data from WISE and Kepler space telescopes. For spin and shape reconstruction we used the lightcurve inversion method, and to derive thermal inertias we applied a thermophysical model to fit available infrared data from IRAS, AKARI, and WISE. Results. We present new models of 11 slow rotators that provide a good fit to the thermal data. In two cases, the TPM analysis showed a clear preference for one of the two possible mirror solutions. We derived the diameters and albedos of our targets in addition to their thermal inertias, which ranged between 3$^{+33}_{-3}$ and 45$^{+60}_{-30}$ Jm$^{-2}$s$^{-1/2}$K$^{-1}$. Conclusions. Together with our previous work, we have analysed 16 slow rotators from our dense survey with sizes between 30 and 150 km. The current sample thermal inertias vary widely, which does not confirm the earlier suggestion that slower rotators have higher thermal inertias.


title: Background-subtracted Solar Activity Maps

abstract: We introduce the concept of a Background-subtracted Solar Activity Map (BaSAM) as a new quantitative tool to assess and visualize the temporal variation of the photospheric magnetic field and the UV 160 nm intensity. The method utilizes data of the Solar Dynamics Observatory (SDO) and is applicable to both full-disk observations and regions-of-interest. We illustrate and discuss the potential of BaSAM resorting to datasets representing solar minimum and maximum conditions: (1) Contributions of quiet-Sun magnetic fields, i.e. the network and (decaying) plage, to solar activity can be better determined when their variation is measured with respect to the background given by "deep" magnetograms. (2) Flaring and intermittent brightenings are easily appraised in BaSAMs of the UV intensity. (3) Both magnetic-field and intensity variations demonstrated that the flux system of sunspots is well connected to the surrounding supergranular cells. In addition, producing daily full-disk BaSAMs for the entire mission time of SDO provides a unique tool to analyze solar cycle variations, showing how vigorous or frail are the variations of magnetic-field and intensity features.


title: Blur resolved OCT: full-range interferometric synthetic aperture microscopy through dispersion encoding

abstract: We present a computational method for full-range interferometric synthetic aperture microscopy (ISAM) under dispersion encoding. With this, one can effectively double the depth range of optical coherence tomography (OCT), whilst dramatically enhancing the spatial resolution away from the focal plane. To this end, we propose a model-based iterative reconstruction (MBIR) method, where ISAM is directly considered in an optimization approach, and we make the discovery that sparsity promoting regularization effectively recovers the full-range signal. Within this work, we adopt an optimal nonuniform discrete fast Fourier transform (NUFFT) implementation of ISAM, which is both fast and numerically stable throughout iterations. We validate our method with several complex samples, scanned with a commercial SD-OCT system with no hardware modification. With this, we both demonstrate full-range ISAM imaging, and significantly outperform combinations of existing methods.


title: Partial differential equations with quadratic nonlinearities viewed as matrix-valued optimal ballistic transport problems

abstract: We study a rather general class of optimal "ballistic" transport problems for matrix-valued measures. These problems naturally arise, in the spirit of \emph{Y. Brenier. Comm. Math. Phys. (2018) 364(2) 579-605}, from a certain dual formulation of nonlinear evolutionary equations with a particular quadratic structure reminiscent both of the incompressible Euler equation and of the quadratic Hamilton-Jacobi equation. The examples include the ideal incompressible MHD, the template matching equation, the multidimensional Camassa-Holm (also known as the Hdiv geodesic equation), EPDiff, Euler-alpha, KdV and Zakharov-Kuznetsov equations, the equations of motion for the incompressible isotropic elastic fluid and for the damping-free Maxwell's fluid. We prove the existence of the solutions to the optimal "ballistic" transport problems. For formally conservative problems, such as the above mentioned examples, a solution to the dual problem determines a "time-noisy" version of the solution to the original problem, and the latter one may be retrieved by time-averaging. This yields the existence of a new type of absolutely continuous in time generalized solutions to the initial-value problems for the above mentioned PDE. We also establish a sharp upper bound on the optimal value of the dual problem, and explore the weak-strong uniqueness issue.


title: Emission spectrum of broadband quantum dot superluminescent diodes

abstract: We present a microscopic theory of the amplified spontaneous emission of a spectrally broadband quantum dot superluminescent diode within the quantum white noise limit. From this multimode quantum theory, we have the ability to obtain all orders of temporal correlation functions. In particular, we derive rate equations for the optical power densities, the level occupation of inhomogeneous ensemble of quantum dots within the diode, as well as the emitted optical spectra. As the main result, we find the external power spectrum as a convolution of the intra-diode photon spectrum with a Lorentzian response. Assuming a Gaussian light-matter coupling results in a similar shaped Gaussian output spectrum, which agrees very well with available experimental data.


title: Bound to unbound states transitions of heavy quarkonia in the cooling phase of QGP

abstract: Emphasizing the possibility of moderate suppression of heavy quarkonium states, we invite some attention towards the issue of real time evolution of quarkonia during the cooling phase of quark gluon plasma(QGP). In this context, we have used time dependent perturbation theory to show that $\Upsilon(1S)$, $\Upsilon(2S)$, $J/\Psi$ can further be dissociated in the medium at a temperature below their dissociation thresholds even though they survive the Debye screening. We have presented and compared the dissociation probabilities and dissociation rates of these states in real and complex valued potential in this article. We realise that our method is an approximate way to analyse the short time behaviour of quarkonium in real valued potential and for long time behaviour one must adopt a non perturbative technique for solving schr\"odinger equation of quarkonium bound states in evolving QGP. On the other hand the perturbation technique seems to be valid enough to deal with the same for a complex valued quark anti-quark potential.


title: Embeddings into outer models

abstract: We explore the possibilities for elementary embeddings $j : M \to N$, where $M$ and $N$ are models of ZFC with the same ordinals, $M \subseteq N$, and $N$ has access to large pieces of $j$. We construct commuting systems of such maps between countable transitive models that are isomorphic to various canonical linear and partial orders, including the real line $\mathbb R$.


title: The Super Orbit Challenge

abstract: When using the generally adopted definition of a super unitary representation, there are lots of super Lie groups for which the regular representation is not super unitary. I propose a new definition of a super unitary representation for which all regular representations are super unitary. I then choose a particular super Lie group (of Heisenberg type) for which I provide a list of super unitary representations in my new sense, obtained by a heuristic super orbit method. The super orbit challenge is to find a well defined {super orbit method} that will reproduces more or less my list of super unitary representations (or explains why they should not appear).


title: On O'hara knot energies I: Regularity for critical knots

abstract: We develop a regularity theory for extremal knots of scale invariant knot energies defined by J. O'hara in 1991. This class contains as a special case the M\"obius energy. For the M\"obius energy, due to the celebrated work of Freedman, He, and Wang, we have a relatively good understanding. Their approch is crucially based on the invariance of the M\"obius energy under M\"obius transforms, which fails for all the other O'hara energies. We overcome this difficulty by re-interpreting the scale invariant O'hara knot energies as a nonlinear, nonlocal $L^p$-energy acting on the unit tangent of the knot parametrization. This allows us to draw a connection to the theory of (fractional) harmonic maps into spheres. Using this connection we are able to adapt the regularity theory for degenerate fractional harmonic maps in the critical dimension to prove regularity for minimizers and critical knots of the scale-invariant O'hara knot energies.


title: Coupled Colloidal Quantum Dot Molecules

abstract: Coupling of atoms is the basis of chemistry, yielding the beauty and richness of molecules. We utilize semiconductor nanocrystals as artificial atoms to form nanocrystal molecules that are structurally and electronically coupled. CdSe/CdS core/shell nanocrystals are linked to form dimers which are then fused via constrained oriented attachment. The possible nanocrystal facets in which such fusion takes place are analyzed with atomic resolution revealing the distribution of possible crystal fusion scenarios. Coherent coupling and wavefunction hybridization are manifested by a red shift of the band gap, in agreement with quantum mechanical simulations. Single nanoparticle spectroscopy unravels the attributes of coupled nanocrystal dimers related to the unique combination of quantum mechanical tunneling and energy transfer mechanisms. This sets the stage for nanocrystals chemistry to yield a diverse selection of coupled nanocrystal molecules constructed from controlled core/shell nanocrystal building blocks. These are of direct relevance for numerous applications in displays, sensing, biological tagging and emerging quantum technologies.


title: On the wave optics effect on primordial black hole constraints from optical microlensing search

abstract: Microlensing of stars, e.g. in the Galactic bulge and Andromeda galaxy (M31), is among the most robust, powerful method to constrain primordial black holes (PBHs) that are a viable candidate of dark matter. If PBHs are in the mass range $M_{\rm PBH} \lower.5ex\hbox{$\; \buildrel < \over \sim \;$} 10^{-10}M_\odot$, its Schwarzschild radius ($r_{\rm Sch}$) becomes comparable with or shorter than optical wavelength ($\lambda)$ used in a microlensing search, and in this regime the wave optics effect on microlensing needs to be taken into account. For a lensing PBH with mass satisfying $r_{\rm Sch}\sim \lambda$, it causes a characteristic oscillatory feature in the microlensing light curve, and it will give a smoking gun evidence of PBH if detected, because any astrophysical object cannot have such a tiny Schwarzschild radius. Even in a statistical study, e.g. constraining the abundance of PBHs from a systematic search of microlensing events for a sample of many source stars, the wave effect needs to be taken into account. We examine the impact of wave effect on the PBH constraints obtained from the $r$-band (6210\AA) monitoring observation of M31 stars in Niikura et al. (2019), and find that a finite source size effect is dominant over the wave effect for PBHs in the mass range $M_{\rm PBH}\simeq[10^{-11},10^{-10}]M_\odot$. We also discuss that, if a denser-cadence (10~sec), $g$-band monitoring observation for a sample of white dwarfs over a year timescale is available, it would allow one to explore the wave optics effect on microlensing light curve, if it occurs, or improve the PBH constraints in $M_{\rm PBH}\lower.5ex\hbox{$\; \buildrel < \over \sim \;$} 10^{-11}M_\odot$ even from a null detection.


title: On configurations concerning cardinal characteristics at regular cardinals

abstract: We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_\theta,\mathfrak{p}_\theta,\mathfrak{g}_\theta,\mathfrak{r}_\theta,\mathfrak{t}_\theta$ at uncountable regular cardinals $\theta$. Motivated by a theorem of Raghavan-Shelah who proved that $\mathfrak{s}_\theta\leq\mathfrak{b}_\theta$, we explore in the first part of the paper the consistency of inequalities comparing $\mathfrak{s}_\theta$ with $\mathfrak{p}_\theta$ and $\mathfrak{g}_\theta$. In the second part of the paper we study variations of the extender-based Radin forcing to establish several consistency results concerning $\mathfrak{r}_\theta$ from hyper-measurability assumptions, results which were previously known to be consistent only from supercompactness assumptions. In doing so, we answer several questions which appeared in the literature.


title: Radiation Reaction of a Jiggling Dipole in a Quantum Electromagnetic Field

abstract: We show how to derive a consistent quantum theory of radiation reaction of a non-relativistic point-dipole quantum oscillator by including the dynamical fluctuations of the position of the dipole. The proposed non-linear theory displays neither runaway solutions nor acausal behaviour without requiring additional assumptions. Furthermore, we show that quantum (zero-point) fluctuations of the electromagnetic field are necessary to fulfil the second law of thermodynamics.


title: Kramers-Kronig relations beyond the optical approximation

abstract: Kramers-Kronig relations are extended to dielectric functions $\varepsilon(q,\omega)$ that depend not only on the angular frequency $\omega$ but on the wave number $q$ as well. This implies extending the notion of causality commonly used in the theory of Kramers-Kronig relations to include the fact that signals cannot propagate faster than light in vacuo. \\ The results derived here also apply to general theories of isotropic linear response in which the response function depends on both the wave number and the frequency.


title: Star-planet tidal interaction and the limits of gyrochronology

abstract: Age estimation techniques such as gyrochronology and magnetochronology can't be applied to stars that exchanged angular momentum with their close environment. This is especially true for massive close-in planetary companion (with a periods of few days or less), which could have been strongly impacted the rotational evolution of the host star, along the stellar evolution, through the star-planet tidal interaction. We showed that the interaction of a close-in massive planet with its host star can strongly modify the surface rotation rate of this latter, in most of the cases associated to a planetary engulfment. In such cases, a gyrochronology analysis of the star would wrongly make it appear as "rejuvenated", thus preventing us to use this method with confidence. To try overcome this issue, we eventually proposed the proof of concept of a new age determination technique that we call the tidal-chronology, which is based on the observed couple $\rm P_{rot,\star}$-$\rm P_{orb}$ of a given star-planet system. The gyrochronology technique can only be applied to isolated star or star-planet systems outside a specific range of $\rm P_{rot,\star}$-$\rm P_{orb}$. This region tends to expand for increasing stellar and planetary mass. In that forbidden region, or if any planetary engulfment is suspected, gyrochronology should be used with extreme caution while tidal-chronology could be considered. While this technique does not provide a precise age for the system yet, it is already an extension of gyrochronology and could be helpful to determine a more precise range of possible age for planetary system composed of a star between 0.3 and 1.2 $M_{\odot}$ and a planet more massive than 1 $\rm M_{jup}$ initially located at few hundredth au of the host star.


title: Vietoris-Rips Persistent Homology

abstract: Persistence diagrams are useful displays that give a summary information regarding the topological features of some phenomenon. Usually, only one persistence diagram is available, and replicated persistence diagrams are needed for statistical inference. One option for generating these replications is to fit a distribution for the points on the persistence diagram. The type of the relevant distribution depends on the way the persistence diagram is builded. There are two approaches for building the persistence diagram, one is based on the Vietoris-Rips complex, and the second is based on some fitted function such as the kernel density estimator. The two approaches yield a two dimensional persistence diagram, where the coordinates of each point are the 'birth' and 'death' times. For the first approach, however, the 'birth' time is zero for all the points that present the connected components of the phenomenon. In this paper we examine the distribution of the connected components when the persistence diagram is based on Vietoris-Rips complex. In addition, we study the behaviour of the connected components when the phenomenon is measured with noise.


title: Moments of moments of characteristic polynomials of random unitary matrices and lattice point counts

abstract: In this note we give a combinatorial and non-computational proof of the asymptotics of the integer moments of the moments of the characteristic polynomials of Haar distributed unitary matrices as the size of the matrix goes to infinity. This is achieved by relating these quantities to a lattice point count problem. Our main result is a new explicit expression for the leading order coefficient in the asymptotic as a volume of a certain region involving continuous Gelfand-Tsetlin patterns with constraints.


title: Connecting neutral current $B$ anomalies with the heaviness of the third family

abstract: It is possible, and for several reasons attractive, to explain a collection of recent anomalies involving $b\rightarrow s\mu\mu$ processes with a $Z^{\prime}$ gauge boson coupled only to the third family in the weak eigenbasis. From this premise, requiring cancellation of all gauge anomalies (including mixed and gravitational anomalies) fixes a unique charge assignment for the third family Standard Model fermions, which is simply proportional to hypercharge. After a brief discussion of some general features of anomaly cancellation in $Z^\prime$ theories, we discuss the phenomenology of such a `Third Family Hypercharge Model', which is subject to a trio of important constraints: (i) $B_s-\bar{B}_s$ mixing, (ii) lepton universality of the $Z$ boson couplings, and (iii) constraints from direct searches for the $Z^\prime$ boson at the LHC. Finally, in gauging third family hypercharge, this model forbids all Yukawa couplings (at the renormalisable level) save those of the third family, leading to a possible explanation of the heaviness of the third family.


title: A new approach for the interpretation of the dynamic and mechanical properties of polymer nanocomposites above and below the glass transition region

abstract: In this work, we present a new model for the interpretation of the local dynamic behavior and the mechanical reinforcement mechanism in polymer nanocomposites. The temperature dependence of the dynamics in the glassy region is described by a new equation which assumes an Arrhenius component in the cooperative diffusion. By doing so, a characteristic temperature which can be identified as the glass transition temperature (Tg) emerges, while an additional parameter for the extension of the super-Arrhenius region is incorporated. Based on thermodynamic arguments, the dynamical heterogeneities are then related to structural heterogeneities in a manner consistent with the idea of a sigmoidal shape in the cohesion energy. Incorporation of this temperature dependence of the cohesion energy to a Sanchez-Lacombe Equation of State, results in a sound description of the experimental temperature and pressure dependence of the density. Moreover, comparison with experimental data shows that the enhancement of mechanical properties in polymer nanocomposites can be associated with the extent of the glassy region.


title: Measurements of the transverse-momentum-dependent cross sections of $J/\psi$ production at mid-rapidity in proton+proton collisions at $\sqrt{s} =$ 510 and 500 GeV with the STAR detector

abstract: We present measurements of the differential cross sections of inclusive $J/\psi$ meson production as a function of transverse momentum ($p_{T}^{J/\psi}$) using the $\mu^{+}\mu^{-}$ and $e^{+}e^{-}$ decay channels in proton+proton collisions at center-of-mass energies of 510 and 500 GeV, respectively, recorded by the STAR detector at the Relativistic Heavy Ion Collider. The measurement from the $\mu^{+}\mu^{-}$ channel is for 0 $< p_{T}^{J/\psi} <$ 9 GeV/$c$ and rapidity range $|y^{J/\psi}| < $ 0.4, and that from the $e^{+}e^{-}$ channel is for 4 $< p_{T}^{J/\psi} <$ 20 GeV/$c$ and $|y^{J/\psi}| < $ 1.0. The $\psi(2S)$ to $J/\psi$ ratio is also measured for 4 $< p_{T}^{\rm meson} <$ 12 GeV/$c$ through the $e^{+}e^{-}$ decay channel. Model calculations, which incorporate different approaches toward the $J/\psi$ production mechanism, are compared with experimental results and show reasonable agreement within uncertainties.


title: Expressive Priors in Bayesian Neural Networks: Kernel Combinations and Periodic Functions

abstract: A simple, flexible approach to creating expressive priors in Gaussian process (GP) models makes new kernels from a combination of basic kernels, e.g. summing a periodic and linear kernel can capture seasonal variation with a long term trend. Despite a well-studied link between GPs and Bayesian neural networks (BNNs), the BNN analogue of this has not yet been explored. This paper derives BNN architectures mirroring such kernel combinations. Furthermore, it shows how BNNs can produce periodic kernels, which are often useful in this context. These ideas provide a principled approach to designing BNNs that incorporate prior knowledge about a function. We showcase the practical value of these ideas with illustrative experiments in supervised and reinforcement learning settings.


title: Learning Active Spine Behaviors for Dynamic and Efficient Locomotion in Quadruped Robots

abstract: In this work, we provide a simulation framework to perform systematic studies on the effects of spinal joint compliance and actuation on bounding performance of a 16-DOF quadruped spined robot Stoch 2. Fast quadrupedal locomotion with active spine is an extremely hard problem, and involves a complex coordination between the various degrees of freedom. Therefore, past attempts at addressing this problem have not seen much success. Deep-Reinforcement Learning seems to be a promising approach, after its recent success in a variety of robot platforms, and the goal of this paper is to use this approach to realize the aforementioned behaviors. With this learning framework, the robot reached a bounding speed of 2.1 m/s with a maximum Froude number of 2. Simulation results also show that use of active spine, indeed, increased the stride length, improved the cost of transport, and also reduced the natural frequency to more realistic values.


title: Jacob's ladders and infinite set of transmutations of asymptotic complete hybrid formula on level curves in Gauss' plane

abstract: In this paper we have obtained new phenomenon lying in the following: every fixed asymptotic complete hybrid formula (we call it as mother formula) generates infinite set of new formulas (transmutations) such that every new formula expresses a close binding between some subset of $\{|\zeta(s)|\}$ and subset of moduli of certain integral and meromorphic functions.


title: Non-adiabatic ponderomotive effects in photoemission from nanotips in intense mid-infrared laser fields

abstract: Transient near-fields around metallic nanotips drive many applications, including the generation of ultrafast electron pulses and their use in electron microscopy. We have investigated the electron emission from a gold nanotip driven by mid-infrared few-cycle laser pulses. We identify a low-energy peak in the kinetic energy spectrum and study its shift to higher energies with increasing laser intensities from $1.7$ to $3.7\cdot10^{11} \mathrm{W}/\mathrm{cm}^2$. The experimental observation of the upshift of the low-energy peak is compared to a simple model and numerical simulations, which show that the decay of the near-field on a nanometer scale results in non-adiabatic transfer of the ponderomotive potential to the kinetic energy of emitted electrons and in turn to a shift of the peak. We derive an analytic expression for the non-adiabatic ponderomotive shift, which, after the previously found quenching of the quiver motion, completes the understanding of the role of inhomogeneous fields in strong-field photoemission from nanostructures.


title: Solvable self-dual impurity models

abstract: We find a family of (half) self-dual impurity models such that the self-dual (BPS) sector is exactly solvable, for any spatial distribution of the impurity, both in the topologically trivial case and for kink (or antikink) configurations. This allows us to derive the metric on the corresponding one-dimensional moduli space in an analytical form. Also the generalized translational symmetry is found in an exact form. This symmetry provides a motion on moduli space which transforms one BPS solution into another. Finally, we analyse exactly how vibrational properties (spectral modes) of the BPS solutions depend on the actual position on moduli space. These results are obtained both for the nontrivial topological sector (kinks or antikinks) as well as for the topologically trivial sector, where the motion on moduli space represents a kink-antikink annihilation process.


title: User profiles matching for different social networks based on faces embeddings

abstract: It is common practice nowadays to use multiple social networks for different social roles. Although this, these networks assume differences in content type, communications and style of speech. If we intend to understand human behaviour as a key-feature for recommender systems, banking risk assessments or sociological researches, this is better to achieve using a combination of the data from different social media. In this paper, we propose a new approach for user profiles matching across social media based on embeddings of publicly available users' face photos and conduct an experimental study of its efficiency. Our approach is stable to changes in content and style for certain social media.


title: Modelling baryonic feedback for survey cosmology

abstract: Observational cosmology in the next decade will rely on probes of the distribution of matter in the redshift range between $0<z<3$ to elucidate the nature of dark matter and dark energy. In this redshift range, galaxy formation is known to have a significant impact on observables such as two-point correlations of galaxy shapes and positions, altering their amplitude and scale dependence beyond the expected statistical uncertainty of upcoming experiments at separations under 10 Mpc. Successful extraction of information in such a regime thus requires, at the very least, unbiased models for the impact of galaxy formation on the matter distribution, and can benefit from complementary observational priors. This work reviews the current state of the art in the modelling of baryons for cosmology, from numerical methods to approximate analytical prescriptions, and makes recommendations for studies in the next decade, including a discussion of potential probe combinations that can help constrain the role of baryons in cosmological studies. We focus, in particular, on the modelling of the matter power spectrum, $P(k,z)$, as a function of scale and redshift, and of the observables derived from this quantity. This work is the result of a workshop held at the University of Oxford in November of 2018.


title: BKM Lie superalgebras from counting twisted CHL dyons -- II

abstract: We revisit our earlier work which lead to a periodic table of Borcherds-Kac-Moody algebras that appeared in the context of the refined generating function of quarter-BPS (dyons) in $\mathcal{N}=4$ supersymmetric four-dimensional string theory. We make new additions to the periodic table by making use of connections with generalized Mathieu moonshine as well as umbral moonshine. We show the modularity of some Siegel modular forms that appear in umbral moonshine associated with Niemeier lattices constructed from A-type root systems and further show that the same Siegel modular forms appear for generalized Mathieu moonshine in some cases. We argue for the existence of a new kind of BKM Lie superalgebras that arise from the dyon generating functions for the $\mathbb{Z}_5$ and $\mathbb{Z}_6$ CHL orbifolds.


title: Restricted Max-Min Allocation: Approximation and Integrality Gap

abstract: Asadpour, Feige, and Saberi proved that the integrality gap of the configuration LP for the restricted max-min allocation problem is at most $4$. However, their proof does not give a polynomial-time approximation algorithm. A lot of efforts have been devoted to designing an efficient algorithm whose approximation ratio can match this upper bound for the integrality gap. In ICALP 2018, we present a $(6 + \delta)$-approximation algorithm where $\delta$ can be any positive constant, and there is still a gap of roughly $2$. In this paper, we narrow the gap significantly by proposing a $(4+\delta)$-approximation algorithm where $\delta$ can be any positive constant. The approximation ratio is with respect to the optimal value of the configuration LP, and the running time is $\mathit{poly}(m,n)\cdot n^{\mathit{poly}(\frac{1}{\delta})}$ where $n$ is the number of players and $m$ is the number of resources. We also improve the upper bound for the integrality gap of the configuration LP to $3 + \frac{21}{26} \approx 3.808$.


title: An infinite family of $m$-ovoids of $Q(4,q)$

abstract: In this paper, we construct an infinite family of $\frac{q-1}{2}$-ovoids of the generalized quadrangle $Q(4,q)$, for $q\equiv 1 (\text{mod}\ 4)$ and $q>5$. Together with the examples given by Bamberg et al. and constructions provided by Feng et al., this establishes the existence of $\frac{q-1}{2}$-ovoids in $Q(4,q)$ for each odd prime power $q$.


title: Coalescence Time of Compact Binary Systems

abstract: Compact binary systems coalesce over time due to the radiation of gravitational waves, following the field equations of general relativity. Conservation of energy and angular momentum gives a mathematical description for the evolution of separation between the orbiting objects and eccentricity ($e$) of the orbit. We develop an improved analytical solution to the coalescence time for a circular binary system with an arbitrary semi-major axis, to the first post-Newtonian (1PN) accuracy. The results from the quadruple approximation and 1PN approximation are compared for a circular orbit ($e=0$).


title: Byzantine Consensus in the Common Case

abstract: Modular methods to transform Byzantine consensus protocols into ones that are fast and communication efficient in the common cases are presented. Small and short protocol segments called layers are custom designed to optimize performance in the common case. When composed with a Byzantine consensus protocol of choice, they allow considerable control over the tradeoff in the combined protocol's behavior in the presence of failures and its performance in their absence. When runs are failure free in the common case, the resulting protocols decide in two rounds and require $2nt$ bits of communication. For the common case assumption that all processors propose 1 and no failures occur, we show a transformation in which decisions are made in one round, and no bits of communication are exchanged. The resulting protocols achieve better common-case complexity than all existing Byzantine consensus protocols. Finally, in the rare instances in which the common case does not occur, a small cost is added to the complexity of the original consensus protocol being transformed. The key ingredient of these layers that allows both time and communication efficiency in the common case is the use of {\it silent confirmation rounds}, which are rounds where considerable relevant information can be obtained in the absence of any communication whatsoever.


title: Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning

abstract: Current advances in Artificial Intelligence and machine learning in general, and deep learning in particular have reached unprecedented impact not only across research communities, but also over popular media channels. However, concerns about interpretability and accountability of AI have been raised by influential thinkers. In spite of the recent impact of AI, several works have identified the need for principled knowledge representation and reasoning mechanisms integrated with deep learning-based systems to provide sound and explainable models for such systems. Neural-symbolic computing aims at integrating, as foreseen by Valiant, two most fundamental cognitive abilities: the ability to learn from the environment, and the ability to reason from what has been learned. Neural-symbolic computing has been an active topic of research for many years, reconciling the advantages of robust learning in neural networks and reasoning and interpretability of symbolic representation. In this paper, we survey recent accomplishments of neural-symbolic computing as a principled methodology for integrated machine learning and reasoning. We illustrate the effectiveness of the approach by outlining the main characteristics of the methodology: principled integration of neural learning with symbolic knowledge representation and reasoning allowing for the construction of explainable AI systems. The insights provided by neural-symbolic computing shed new light on the increasingly prominent need for interpretable and accountable AI systems.


title: Electre-Score: A first outranking based method for scoring actions

abstract: In this paper we present (to the best of our knowledge) the first outranking method to assign a score to each alternative. It is a method of the Electre family, and we will call it Electre-Score. Contrarily to the Multi-Attribute Value Theory methods, Electre-Score does not construct a value function for each criterion, and then proceeds to the aggregation into a single value. It rather, makes use of the outranking relations to make a comparison with reference sets of actions (to which a score is assigned) and proposes a score range to each alternative, instead of a single value. This is a more robust way of proceeding given the fragility of a single score. The sets of limiting profiles are defined with the help of Electre Tri-nB and the reference scores are assigned to them through the application of the deck of cards technique. The fact of being able to use outranking relations, makes it also possible to take into account the imperfect knowledge of data and avoids systematic compensatory effects. Some fundamental theoretical results guaranteeing the consistency of the method and an illustrative example are also provided in this paper.


title: Electronic Structure Shift of Deep Nanoscale Silicon by SiO$_2$- vs. Si$_3$N$_4$-Embedding as Alternative to Impurity Doping

abstract: Conventional impurity doping of deep nanoscale silicon (dns-Si) used in ultra large scale integration (ULSI) faces serious challenges below the 14 nm technology node. We report on a new fundamental effect in theory and experiment, namely the electronic structure of dns-Si experiencing energy offsets of ca. 1 eV as a function of SiO$_2$- vs. Si$_3$N$_4$-embedding with a few monolayers (MLs). An interface charge transfer (ICT) from dns-Si specific to the anion type of the dielectric is at the core of this effect and arguably nested in quantum-chemical properties of oxygen (O) and nitrogen (N) vs. Si. We investigate the size up to which this energy offset defines the electronic structure of dns-Si by density functional theory (DFT), considering interface orientation, embedding layer thickness, and approximants featuring two Si nanocrystals (NCs); one embedded in SiO$_2$ and the other in Si$_3$N$_4$. Working with synchrotron ultraviolet photoelectron spectroscopy (UPS), we use SiO$_2$- vs. Si$_3$N$_4$-embedded Si nanowells (NWells) to obtain their energy of the top valence band states. These results confirm our theoretical findings and gauge an analytic model for projecting maximum dns-Si sizes for NCs, nanowires (NWires) and NWells where the energy offset reaches full scale, yielding to a clear preference for electrons or holes as majority carriers in dns-Si. Our findings can replace impurity doping for n/p-type dns-Si as used in ultra-low power electronics and ULSI, eliminating dopant-related issues such as inelastic carrier scattering, thermal ionization, clustering, out-diffusion and defect generation. As far as majority carrier preference is concerned, the elimination of those issues effectively shifts the lower size limit of Si-based ULSI devices to the crystalization limit of Si of ca. 1.5 nm and enables them to work also under cryogenic conditions.


title: Nb$_x$Ti$_{1-x}$N low timing jitter single-photon detectors with unity internal efficiency at 1550 nm and 2.5 K

abstract: The requirements in quantum optics experiments for high single photon detection efficiency, low timing jitter, low dark count rate and short dead time have been fulfilled with the development of superconducting nanowire single photon detectors. Although they offer a detection efficiency above 90%, achieving a high time resolution in devices made of amorphous materials is a challenge, particularly at temperatures above 0.8 K. Devices made from niobium nitride and niobium titanium nitride allow to reach the best timing jitter, but in turn have stronger requirements in terms of film quality to achieve a high efficiency. Here we take advantage of the flexibility of reactive co-sputter deposition to tailor the composition of NbxTi1-xN superconducting films, and show that a Nb fraction of x = 0.62 allows for the fabrication of detectors from films as thick as 9 nm and covering an active area of 20 {\mu}m, with a wide detection saturation plateau at telecom wavelengths and in particular at 1550 nm. This is a signature of an internal detection efficiency saturation, achieved while maintaining the high time resolution associated with NbTiN and operation at 2.5K. With our optimized recipe, we reliably fabricated detectors with high critical current densities reaching a saturation plateau at 1550 nm with 80% system detection efficiency, and with a FWHM timing jitter as low as 19.47 ps.


title: High-order accurate entropy stable finite difference schemes for one- and two-dimensional special relativistic hydrodynamics

abstract: This paper develops the high-order accurate entropy stable finite difference schemes for one- and two-dimensional special relativistic hydrodynamic equations. The schemes are built on the entropy conservative flux and the weighted essentially non-oscillatory (WENO) technique as well as explicit Runge-Kutta time discretization. The key is to technically construct the affordable entropy conservative flux of the semi-discrete second-order accurate entropy conservative schemes satisfying the semi-discrete entropy equality for the found convex entropy pair. As soon as the entropy conservative flux is derived, the dissipation term can be added to give the semi-discrete entropy stable schemes satisfying the semi-discrete entropy inequality with the given convex entropy function. The WENO reconstruction for the scaled entropy variables and the high-order explicit Runge-Kutta time discretization are implemented to obtain the fully-discrete high-order schemes. Several numerical tests are conducted to validate the accuracy and the ability to capture discontinuities of our entropy stable schemes.


title: Trees are nilrigid

abstract: We study cellular automata on the unoriented $k$-regular tree $T_k$, i.e. continuous maps acting on colorings $T_k$ which commute with all automorphisms of the tree. We prove that every CA that is asymptotically nilpotent, meaning every configuration converges to the same constant configuration, is nilpotent, meaning each configuration is mapped to that configuration after finite time. We call group actions nilrigid when their cellular automata have this property, following Salo and T\"orm\"a. In this terminology, the full action of the automorphism group of the $k$-regular tree is nilrigid. We do not know whether there is a nilrigid automorphism group action on $T_k$ that is simply transitive on vertices.


title: Enhancing the dipolar coupling of a $S$-$T_0$ qubit with a transverse sweet spot

abstract: A fundamental design challenge for quantum dot spin qubits is to extend the strength and range of qubit interactions while suppressing their coupling to the environment, since both effects have electrical origins. Key tools include the ability to retune the qubits, to take advantage of physical resources in different operating regimes, and to access optimal working points, or "sweet spots," where dephasing is minimized. Here, we explore an important, new resource for singlet-triplet qubits: a transverse sweet spot (TSS) that enables (i) direct transitions between qubit states, (ii) a strong, charge-like qubit coupling, and (iii) leading-order protection from electrical fluctuations. Of particular interest is the possibility of transitioning between the TSS and symmetric operating points while remaining continuously protected. This arrangement is ideal for coupling qubits to a microwave cavity, because it combines maximal tunability of the coupling strength with leading-order noise suppression. We perform simulations with $1/f$-type electrical noise, demonstrating that two-qubit gates mediated by a resonator can achieve fidelities $>99$\% under realistic conditions. These results greatly expand the toolbox for singlet-triplet qubits.


title: Mechanisms of astrophysical jet formation, and comparison with laboratory experiments

abstract: Jets are observed in young stellar objects, X-ray sources, active galactic nuclei (AGN). The mechanisms of jet formation may be divided in regular, acting continuously for a long time, and explosive ones. Continuous mechanisms are related with electrodynamics and radiation pressure acceleration, hydrodynamical acceleration in the nozzle inside a thick disk, acceleration by relativistic beam of particles. Explosive jet formation is connected with supernovae, gamma ray bursts and explosive events in galactic nuclei. Mechanisms of jet collimation may be connected with magnetic confinement, or a pressure of external gas. Explosive formation of jets in the laboratory is modeled in the experiments with powerful laser beam, and plasma focus.


title: Statistical properties of thermal neutron capture cross section calculated with randomly generated resonance parameters

abstract: We investigated the probability distribution of the thermal neutron capture cross section ($\sigma_{th}$) deduced stochastically with the resonance parameters randomly sampled from Wigner and Porter-Thomas distributions. We found that the typical probability distribution has an asymmetric shape. While there is a long tail on the large $\sigma_{th}$ side due to a resonance happening to be close to the thermal energy, the multi-resonance contribution considerably reduces the probability on the small $\sigma_{th}$ side. We also found that the probability distributions have a similar shape if nuclei have an average resonance spacing sufficiently larger than an average radiation width. We compared the typical probability distribution with the distribution of the experimental values of 193 nuclei, and found a good agreement between them.


title: Iterative Alpha Expansion for estimating gradient-sparse signals from linear measurements

abstract: We consider estimating a piecewise-constant image, or a gradient-sparse signal on a general graph, from noisy linear measurements. We propose and study an iterative algorithm to minimize a penalized least-squares objective, with a penalty given by the "l_0-norm" of the signal's discrete graph gradient. The method proceeds by approximate proximal descent, applying the alpha-expansion procedure to minimize a proximal gradient in each iteration, and using a geometric decay of the penalty parameter across iterations. Under a cut-restricted isometry property for the measurement design, we prove global recovery guarantees for the estimated signal. For standard Gaussian designs, the required number of measurements is independent of the graph structure, and improves upon worst-case guarantees for total-variation (TV) compressed sensing on the 1-D and 2-D lattice graphs by polynomial and logarithmic factors, respectively. The method empirically yields lower mean-squared recovery error compared with TV regularization in regimes of moderate undersampling and moderate to high signal-to-noise, for several examples of changepoint signals and gradient-sparse phantom images.

categories: stat.ML cs.LG math.ST stat.CO stat.ME stat.TH


title: M\"obius invariant metrics on the space of knots

abstract: We give a condition for a function to produce a M\"obius invariant weighted inner product on the tangent space of the space of knots, and show that some kind of M\"obius invariant knot energies can produce M\"obius invariant and parametrization invariant weighted inner products. They would give a natural way to study the evolution of knots in the framework of M\"obius geometry.


title: MmWave UAV Networks with Multi-cell Association: Performance Limit and Optimization

abstract: This paper aims to exploit the fundamental limits on the downlink coverage and spatial throughput performances of a cellular network comprised of a tier of unmanned aerial vehicle (UAV) base stations (BSs) using the millimeter wave (mmWave) band and a tier of ground BSs using the ultra high frequency (UHF) band. To reduce handover signaling overhead, the ground BSs take charge of control signaling delivery whereas the UAVs are in charge of payload data transmission so that users need to be simultaneously associated with a ground BS and a UAV in this network with a control-data plane-split architecture. We first propose a three-dimensional (3D) location distribution model of the UAVs using stochastic geometry which is able to generally characterize the positions of the UAVs in the sky. Using this 3D distribution model of UAVs, two performance metrics, i.e., multi-cell coverage probability and volume spectral efficiency, are proposed. Their explicit low-complexity expressions are derived and their upper limits are found when each of the UAVs and ground BSs is equipped with a massive antenna array. We further show that the multi-cell coverage probability and the volume spectral efficiency can be maximized by optimally deploying and positioning the UAVs in the sky and thereby their fundamental maximal limits are found. These important analytical findings are validated by numerical simulations.


title: Thermalization of small quantum systems: From the zeroth law of thermodynamics

abstract: Thermalization of isolated quantum systems has been studied intensively in recent years and significant progresses have been achieved. Here, we study thermalization of small quantum systems that interact with large chaotic environments under the consideration of Schr\"{o}dinger evolution of composite systems, from the perspective of the zeroth law of thermodynamics. Namely, we consider a small quantum system that is brought into contact with a large environmental system; after they have relaxed, they are separated and their temperatures are studied. Our question is under what conditions the small system may have a detectable temperature that is identical with the environmental temperature. This should be a necessary condition for the small quantum system to be thermalized and to have a well-defined temperature. By using a two-level probe quantum system that plays the role of a thermometer, we find that the zeroth law is applicable to quantum chaotic systems, but not to integrable systems.


title: Maximal Quantum Fisher Information for Mixed States

abstract: We study quantum metrology for unitary dynamics. Analytic solutions are given for both the optimal unitary state preparation starting from an arbitrary mixed state and the corresponding optimal measurement precision. This represents a rigorous generalization of known results for optimal initial states and upper bounds on measurement precision which can only be saturated if pure states are available. In particular, we provide a generalization to mixed states of an upper bound on measurement precision for time-dependent Hamiltonians that can be saturated with optimal Hamiltonian control. These results make precise and reveal the full potential of mixed states for quantum metrology.


title: Frontal Screens on Head-Mounted Displays to Increase Awareness of the HMD Users' State in Mixed Presence Collaboration

abstract: In the everyday context, e.g., a household, HMD users remain a part of the social life for Non-HMD users being co-located with them. Due to the social context situations arise that demand interaction between the HMD and the Non-HMD user. We focus on the challenge that the Non-HMD user is not able to interpret the HMD user's state -- e.g., attentiveness; the need for assistance --, as the HMD covers the wearer's face. We propose a front facing display attached to the HMD that supports collaboration by showing the state. We explore the impact of abstract and realistic visualizations for such displays on collaborative performance and social presence in a within-subject user study (N=25). We present to the Non-HMD user (1) a blank screen (baseline), (2) textual representation of the user's state and (3) a representation that looks like the HMD is see-through. The results show positive effects for textual representation on collaborative performance and a positive effect of realistic representation on social presence. We conclude that when developing HMDs we need to take into account the social needs of everyday life to reduce the risk of social separation in a household context.


title: Closed Loop Load Model Identification Using Small Disturbance Data

abstract: Load model identification using small disturbance data is studied. It is proved that the individual load to be identified and the rest of the system forms a closed-loop system. Then, the impacts of disturbances entering the feedforward channel (internal disturbance) and feedback channel (external disturbance) on relationship between load inputs and outputs are examined analytically. It is found out that relationship between load inputs and outputs is not determined by load itself (feedforward transfer function) only, but also related with equivalent network matrix (feedback transfer function). Thus, load identification is closed loop identification essentially and the impact of closed loop identification cannot be neglected when using small disturbance data to identify load parameters. Closed loop load model identification can be solved by prediction error method (PEM). Implementation of PEM based on a Kalman filtering formulation is detailed. Identification results using simulated data demonstrates the correctness and significance of theoretical analysis.


title: On a Certain NP-Complete Problem

abstract: We intend to create new concepts aimed at finding necessary and sufficient conditions for Boolean satisfiability so that these conditions can be verified in polynomial time. Based on these conditions it will be possible to create an algorithm that determines in polynomial time whether a given Boolean formula represented in conjunctive normal form is satisfiable. The work will consist of three articles. This is the first of a planned series of these articles. In this article we introduce the concept of special decomposition of a set and the concept of special covering for a set under such a decomposition. We formulate the decision problem of existance of a special covering for a set under a special decompostition of this set. In order to determine the complexity class in which this problem is located, we study the relationship between the sat CNF problem and the problem of existence of a special covering for a set under a special decomposition of this set. The article proves that the decidability of the sat CNF problem is polynomially reduced to the problem of the existence of a special covering for a set. It is also proved that the problem of existence of a special covering for a set is polynomially reduced to the decidability of the sat CNF problem. Therefore, the mentioned problems are polynomially equivalent. And then, the problem of existence of a special covering for a set is an NP-complete problem. The conditions for the existence of special coverings for a set under special decompositions of this set will be study in the next articles.


title: Accelerating Deterministic and Stochastic Binarized Neural Networks on FPGAs Using OpenCL

abstract: Recent technological advances have proliferated the available computing power, memory, and speed of modern Central Processing Units (CPUs), Graphics Processing Units (GPUs), and Field Programmable Gate Arrays (FPGAs). Consequently, the performance and complexity of Artificial Neural Networks (ANNs) is burgeoning. While GPU accelerated Deep Neural Networks (DNNs) currently offer state-of-the-art performance, they consume large amounts of power. Training such networks on CPUs is inefficient, as data throughput and parallel computation is limited. FPGAs are considered a suitable candidate for performance critical, low power systems, e.g. the Internet of Things (IOT) edge devices. Using the Xilinx SDAccel or Intel FPGA SDK for OpenCL development environment, networks described using the high-level OpenCL framework can be accelerated on heterogeneous platforms. Moreover, the resource utilization and power consumption of DNNs can be further enhanced by utilizing regularization techniques that binarize network weights. In this paper, we introduce, to the best of our knowledge, the first FPGA-accelerated stochastically binarized DNN implementations, and compare them to implementations accelerated using both GPUs and FPGAs. Our developed networks are trained and benchmarked using the popular MNIST and CIFAR-10 datasets, and achieve near state-of-the-art performance, while offering a >16-fold improvement in power consumption, compared to conventional GPU-accelerated networks. Both our FPGA-accelerated determinsitic and stochastic BNNs reduce inference times on MNIST and CIFAR-10 by >9.89x and >9.91x, respectively.


title: Higher-order realizable algebraic Reynolds stress modeling based on the square root tensor

abstract: In this study, realizable algebraic Reynolds stress modeling based on the square root tensor [Phys. Rev. E \textbf{92}, 053010 (2015)] is further developed for extending its applicability to more complex flows. In conventional methods, it was difficult to construct an algebraic Reynolds stress model satisfying the realizability conditions when the model involves higher-order nonlinear terms on the mean velocity gradient. Such higher-order nonlinear terms are required to predict turbulent flows with three-dimensional mean velocity. The present modeling based on the square root tensor enables us to make the model always satisfy the realizability conditions, even when it involves higher-order nonlinearity. To construct a realizable algebraic Reynolds stress model applicable to turbulent flows with three-dimensional mean velocity, a quartic-nonlinear eddy-viscosity model is proposed. The performance of the model is numerically verified in a turbulent channel flow, a homogeneous turbulent shear flow, and an axially rotating turbulent pipe flow. The present model gives a good result in each turbulent flow. Note that the mean swirl flow in an axially rotating turbulent pipe flow is reproduced because the present model involves cubic nonlinearity. Such a higher-order realizable algebraic Reynolds stress model, involving quartic nonlinearity on the mean velocity, is expected to be useful in numerically stable predictions of turbulent flows with three-dimensional mean velocity.


title: Counting and ordering periodic stationary solutions of lattice Nagumo equations

abstract: We study the rich structure of periodic stationary solutions of Nagumo reaction diffusion equation on lattices. By exploring the relationship with Nagumo equations on cyclic graphs we are able to divide these periodic solutions into equivalence classes that can be partially ordered and counted. In order to accomplish this, we use combinatorial concepts such as necklaces, bracelets and Lyndon words.


title: Singlet-doublet/triplet dark matter and neutrino masses

abstract: In these proceedings, we present a study of a combined singlet--doublet fermion and triplet scalar model for dark matter (DM). Together, these models form a simple extension of the Standard Model (SM) that can account for DM and explain the existence of neutrino masses, which are generated radiatively. However, this also implies the existence of lepton flavour violating (LFV) processes. In addition, this particular model allows for gauge coupling unification. The new fields are odd under a new $\mathbb{Z}_2$ symmetry to stabilise the DM candidate. We analyse the DM, neutrino mass and LFV aspects, exploring the viable parameter space of the model. This is done using a numerical random scan imposing successively the neutrino mass and mixing, relic density, Higgs mass, direct detection, collider and LFV constraints. We find that DM in this model is fermionic for masses below about 1 TeV and scalar above. We observe a high degree of complementarity between direct detection and LFV experiments, which should soon allow to fully probe the fermionic DM sector and at least partially the scalar DM sector.


title: A New Anchor Word Selection Method for the Separable Topic Discovery

abstract: Separable Non-negative Matrix Factorization (SNMF) is an important method for topic modeling, where "separable" assumes every topic contains at least one anchor word, defined as a word that has non-zero probability only on that topic. SNMF focuses on the word co-occurrence patterns to reveal topics by two steps: anchor word selection and topic recovery. The quality of the anchor words strongly influences the quality of the extracted topics. Existing anchor word selection algorithm is to greedily find an approximate convex hull in a high-dimensional word co-occurrence space. In this work, we propose a new method for the anchor word selection by associating the word co-occurrence probability with the words similarity and assuming that the most different words on semantic are potential candidates for the anchor words. Therefore, if the similarity of a word-pair is very low, then the two words are very likely to be the anchor words. According to the statistical information of text corpora, we can get the similarity of all word-pairs. We build the word similarity graph where the nodes correspond to words and weights on edges stand for the word-pair similarity. Following this way, we design a greedy method to find a minimum edge-weight anchor clique of a given size in the graph for the anchor word selection. Extensive experiments on real-world corpus demonstrate the effectiveness of the proposed anchor word selection method that outperforms the common convex hull-based methods on the revealed topic quality. Meanwhile, our method is much faster than typical SNMF based method.


title: On exact laws in incompressible Hall magnetohydrodynamic turbulence

abstract: A comparison is made between several existing exact laws in incompressible Hall magnetohydrodynamic (IHMHD) turbulence in order to show their equivalence, despite stemming from different mathematical derivations. Using statistical homogeneity, we revisit the law proposed by Hellinger et al. (2018) and show that it can be written, after being corrected by a multiplicative factor, in a more compact form implying only flux terms expressed as increments of the turbulent fields. The Hall contribution of this law is tested and compared to other exact laws derived by Galtier (2008) and Banerjee & Galtier (2017) using direct numerical simulations (DNSs) of three-dimensional electron MHD (EMHD) turbulence with a moderate mean magnetic field. We show that the studied laws are equivalent in the inertial range, thereby offering several choices on the formulation to use depending on the needs. The expressions that depend explicitly on a mean (guide) field may lead to residual errors in estimating the energy cascade rate ; however, we demonstrate that this guide field can be removed from these laws after mathematical manipulation. Therefore, it is recommended to use an expression independent of the mean guide field to analyze numerical or in-situ spacecraft data.


title: Ergodicity of affine processes on the cone of symmetric positive semidefinite matrices

abstract: This article investigates the long-time behavior of conservative affine processes on the cone of symmetric positive semidefinite $d\times d$-matrices. In particular, for conservative and subcritical affine processes on this cone we show that a finite $\log$-moment of the state-independent jump measure is sufficient for the existence of a unique limit distribution. Moreover, we study the convergence rate of the underlying transition kernel to the limit distribution: firstly, in a specific metric induced by the Laplace transform and secondly, in the Wasserstein distance under a first moment assumption imposed on the state-independent jump measure and an additional condition on the diffusion parameter.


title: Detecting Vietnamese Opinion Spam

abstract: Recently, Vietnamese Natural Language Processing has been researched by experts in academic and business. However, the existing papers have been focused only on information classification or extraction from documents. Nowadays, with quickly development of the e-commerce websites, forums and social networks, the products, people, organizations or wonders are targeted of comments or reviews of the network communities. Many people often use that reviews to make their decision on something. Whereas, there are many people or organizations use the reviews to mislead readers. Therefore, it is so necessary to detect those bad behaviors in reviews. In this paper, we research this problem and propose an appropriate method for detecting Vietnamese reviews being spam or non-spam. The accuracy of our method is up to 90%.


title: Human Motion Trajectory Prediction: A Survey

abstract: With growing numbers of intelligent autonomous systems in human environments, the ability of such systems to perceive, understand and anticipate human behavior becomes increasingly important. Specifically, predicting future positions of dynamic agents and planning considering such predictions are key tasks for self-driving vehicles, service robots and advanced surveillance systems. This paper provides a survey of human motion trajectory prediction. We review, analyze and structure a large selection of work from different communities and propose a taxonomy that categorizes existing methods based on the motion modeling approach and level of contextual information used. We provide an overview of the existing datasets and performance metrics. We discuss limitations of the state of the art and outline directions for further research.


title: Semantic Search using Spreading Activation based on Ontology

abstract: Currently, the text document retrieval systems have many challenges in exploring the semantics of queries and documents. Each query implies information which does not appear in the query but the documents related with the information are also expected by user. The disadvantage of the previous spreading activation algorithms could be many irrelevant concepts added to the query. In this paper, a proposed novel algorithm is only activate and add to the query named entities which are related with original entities in the query and explicit relations in the query.


title: Naive Bayes with Correlation Factor for Text Classification Problem

abstract: Naive Bayes estimator is widely used in text classification problems. However, it doesn't perform well with small-size training dataset. We propose a new method based on Naive Bayes estimator to solve this problem. A correlation factor is introduced to incorporate the correlation among different classes. Experimental results show that our estimator achieves a better accuracy compared with traditional Naive Bayes in real world data.


title: BuSCOPE : Fusing Individual & Aggregated Mobility Behavior for "Live" Smart City Services

abstract: While analysis of urban commuting data has a long and demonstrated history of providing useful insights into human mobility behavior, such analysis has been performed largely in offline fashion and to aid medium-to-long term urban planning. In this work, we demonstrate the power of applying predictive analytics on real-time mobility data, specifically the smart-card generated trip data of millions of public bus commuters in Singapore, to create two novel and "live" smart city services. The key analytical novelty in our work lies in combining two aspects of urban mobility: (a) conformity: which reflects the predictability in the aggregated flow of commuters along bus routes, and (b) regularity: which captures the repeated trip patterns of each individual commuter. We demonstrate that the fusion of these two measures of behavior can be performed at city-scale using our BuScope platform, and can be used to create two innovative smart city applications. The Last-Mile Demand Generator provides O(mins) lookahead into the number of disembarking passengers at neighborhood bus stops; it achieves over 85% accuracy in predicting such disembarkations by an ingenious combination of individual-level regularity with aggregate-level conformity. By moving driverless vehicles proactively to match this predicted demand, we can reduce wait times for disembarking passengers by over 75%. Independently, the Neighborhood Event Detector uses outlier measures of currently operating buses to detect and spatiotemporally localize dynamic urban events, as much as 1.5 hours in advance, with a localization error of 450 meters.


title: Notes on Projective, Contact, and Null Curves

abstract: These are notes on some algebraic geometry of complex projective curves, together with an application to studying the contact curves in CP^3 and the null curves in the complex quadric Q^3 in CP^4, related by the well-known Klein correspondence. Most of this note consists of recounting the classical background. The main application is the explicit classification of rational null curves of low degree in Q^3. I have recently received a number of requests for these notes, so I am posting them to make them generally available.


title: Learning to Groove with Inverse Sequence Transformations

abstract: We explore models for translating abstract musical ideas (scores, rhythms) into expressive performances using Seq2Seq and recurrent Variational Information Bottleneck (VIB) models. Though Seq2Seq models usually require painstakingly aligned corpora, we show that it is possible to adapt an approach from the Generative Adversarial Network (GAN) literature (e.g. Pix2Pix (Isola et al., 2017) and Vid2Vid (Wang et al. 2018a)) to sequences, creating large volumes of paired data by performing simple transformations and training generative models to plausibly invert these transformations. Music, and drumming in particular, provides a strong test case for this approach because many common transformations (quantization, removing voices) have clear semantics, and models for learning to invert them have real-world applications. Focusing on the case of drum set players, we create and release a new dataset for this purpose, containing over 13 hours of recordings by professional drummers aligned with fine-grained timing and dynamics information. We also explore some of the creative potential of these models, including demonstrating improvements on state-of-the-art methods for Humanization (instantiating a performance from a musical score).


title: Entropy: The former trouble with particles (including a new numerical model computational penalty for the Akaike information criterion)

abstract: Traditional random-walk particle-tracking (PT) models of advection and dispersion do not track entropy, because particle masses remain constant. Newer mass-transfer particle tracking (MTPT) models have the ability to do so because masses of all compounds may change along trajectories. Additionally, the probability mass functions (PMF) of these MTPT models may be compared to continuous solutions with probability density functions, when a consistent definition of entropy (or similarly, the dilution index) is constructed. This definition reveals that every numerical model incurs a computational entropy. Similar to Akaike's entropic penalty for larger numbers of adjustable parameters, the computational complexity of a model (e.g., number of nodes) adds to the entropy and, as such, must be penalized. The MTPT method can use a particle-collision based kernel or an SPH-derived adaptive kernel. The latter is more representative of a locally well-mixed system (i.e., one in which the dispersion tensor equally represents mixing and solute spreading), while the former better represents the separate processes of mixing versus spreading. We use computational means to demonstrate the viability of each of these methods.


title: A plasmonic ellipse resonator possessing hybrid modes for ultracompact chipscale application

abstract: We propose a plasmonic ellipse resonator possessing hybrid modes based on metal-insulator-metal (MIM) waveguide system. Specially, this nanocavity has hybrid characteristic of rectangle and disk resonator, therefore supporting both Fabry-Perot modes (FPMs) and whispering-gallery modes (WGMs). Besides, by changing the length of major and minor radius of the ellipse, the resonant wavelengths of FPMs and WGMs can be independently tuned and close to each other, thus constructing a plasmon-induced transparency (PIT) - like spectrum profile. Benefitting from this, a dual-band slow light is achieved with one single resonator. Furthermore, this component can also act as a multi-band color filter and refractive index sensor. We believe such multi-mode resonator with ultra-small footprint will play an important role in more compact on-chip optical circuits in the future.


title: Generation and Detection of Quantum Correlations and Entanglement on a Spin-Based Quantum Information Processor

abstract: This thesis focuses on the experimental creation and detection of a variety of quantum correlations using nuclear magnetic resonance hardware. Quantum entanglement, being most common and counter-intuitive, is one of the main type considered in this thesis. Quantum correlations play a major role in achieving, the much talked, computational speedup. Creation and detection of such correlations experimentally is a major thrust area in experimental quantum information processing field. Main goals of the studies undertaken in this thesis were to come up with strategies to detect the entanglement in a 'state-independent' way and with low experimental resources. The core of all the detection protocols is based on our own developed method which enables us to measure any observable with high accuracy. The experimental protocol has been successfully implemented to detect the entanglement of random two-qubit pure states. Further, the schemes for the experimental detection as well as classification of generic and general three-qubit pure states have also been devised and implemented successfully. Quantum correlation possessed by mixed and$/$or separable states e.g. non-classical, bound-entanglement and of non-local nature were also investigated. In all the investigations, the results were verified by one or more alternative ways e.g. full quantum state tomography.


title: On the Cost of Security Compliance in Information Systems

abstract: The onward development of information and communication technology has led to a new industrial revolution called Industry 4.0. This revolution involves Cyber-Physical Production Systems (CPPS), which consist of intelligent Cyber-Physical Systems that may be able to adapt themselves autonomously in a production environment. At the moment, machines in industrial environments are often not connected to the internet, which thus needs a point-to-point connection to access the device if necessary. Through Industry 4.0, these devices should enable remote access for smart maintenance through a connection to the outside world. However, this connection opens the gate for possible cyber-attacks and thus raises the question about providing security for these environments. Therefore, this paper used an adapted approach based on SixSigma to solve this security problem by investigating security standards. Security requirements were gathered and mapped to controls from well known security standards, formed into a catalog. This catalog includes assessment information to check how secure a solution for a use case is and also includes a link to an estimation method for implementation cost. Thus this papers outcome shows how to make Industry 4.0 use cases secure by fulfilling security standard controls and how to estimate the resulting implementation costs.


title: Dynamics of an itinerant spin-3 atomic dipolar gas in an optical lattice

abstract: Arrays of ultra-cold dipolar gases loaded in optical lattices are emerging as powerful quantum simulators of the many-body physics associated with the rich interplay between long-range dipolar interactions, contact interactions, motion, and quantum statistics. In this work we report on our investigation of the quantum many-body dynamics of a large ensemble of bosonic magnetic chromium atoms with spin S = 3 in a three-dimensional lattice as a function of lattice depth. Using extensive theory and experimental comparisons we study the dynamics of the population of the different Zeeman levels and the total magnetization of the gas across the superfluid to the Mott insulator transition. We are able to identify two distinct regimes: At low lattice depths, where atoms are in the superfluid regime, we observe that the spin dynamics is strongly determined by the competition between particle motion, onsite interactions and external magnetic field gradients. Contact spin dependent interactions help to stabilize the collective spin length, which sets the total magnetization of the gas. On the contrary, at high lattice depths, transport is largely frozen out. In this regime, while the spin populations are mainly driven by long range dipolar interactions, magnetic field gradients also play a major role in the total spin demagnetization. We find that dynamics at low lattice depth is qualitatively reproduced by mean-field calculations based on the Gutzwiller ansatz; on the contrary, only a beyond mean-field theory can account for the dynamics at large lattice depths. While the cross-over between these two regimes does not correspond to sharp features in the observed dynamical evolution of the spin components, our simulations indicate that it would be better revealed by measurements of the collective spin length.


title: Towards a Security Cost Model for Cyber-Physical Systems

abstract: In times of Industry 4.0 and cyber-physical systems (CPS) providing security is one of the biggest challenges. A cyber attack launched at a CPS poses a huge threat, since a security incident may affect both the cyber and the physical world. Since CPS are very flexible systems, which are capable of adapting to environmental changes, it is important to keep an overview of the resulting costs of providing security. However, research regarding CPS currently focuses more on engineering secure systems and does not satisfactorily provide approaches for evaluating the resulting costs. This paper presents an interaction-based model for evaluating security costs in a CPS. Furthermore, the paper demonstrates in a use case driven study, how this approach could be used to model the resulting costs for guaranteeing security.


title: Distributional Reinforcement Learning for Efficient Exploration

abstract: In distributional reinforcement learning (RL), the estimated distribution of value function models both the parametric and intrinsic uncertainties. We propose a novel and efficient exploration method for deep RL that has two components. The first is a decaying schedule to suppress the intrinsic uncertainty. The second is an exploration bonus calculated from the upper quantiles of the learned distribution. In Atari 2600 games, our method outperforms QR-DQN in 12 out of 14 hard games (achieving 483 \% average gain across 49 games in cumulative rewards over QR-DQN with a big win in Venture). We also compared our algorithm with QR-DQN in a challenging 3D driving simulator (CARLA). Results show that our algorithm achieves near-optimal safety rewards twice faster than QRDQN.


title: The role of small telescopes as a ground-based support for exoplanetary space missions

abstract: Small telescopes equiped with modern instrumentation are gaining on importance, especially, in the era of exoplanetary space missions such as TESS, PLATO and ARIEL. Crucial part of every planet hunting mission is now a ground-based follow-up of detectd planetary candidates. Mid-sized telescopes with apertures of 2 to 4-m with an existing instrumentation become more and more valued due to increasing need for observing time. In this paper, a brief overview on the follow-up process for exoplanetary space missions will be given. Requirements for the ground-based follow-up instrumentation will be discussed. Some of existing 2-m class telescope facilities and their capability and potential for the follow-up process of exoplanetary candidates will be presented. A special focus will be put on existing 2-m class telescopes in central Europe.


title: A Conjecture Regarding the Riemann Hypothesis as Visualized by t strings

abstract: The introduction of strings into the study of the Riemann Hypothesis provides a visualization of the genesis of zeros for the Zeta function. The method is heuristic and when originally introduced suggested strong visual evidence for the truth of the Riemann Hypothesis. Some sort of organizing principle for strings with similar t values is observed and points towards a region between (1, 0) and (0, 0) on the abscissa, and within order unity along the ordinate. Progress in understanding these observations has been made by expanding the domain of sigma from the critical strip, [0, 1], to the half-line [0, infinity]. The nature of the organizing principle is explained. A generic structure for strings over the expanded domain is proffered. New perspective is gained regarding the truth of the Riemann Hypothesis.


title: First Results of Arar-Magnetometer Station in Saudi Arabia

abstract: This paper presents the first results of a new Arar-magnetometer station located (Geographic Coordinates: 30 58.5 N, 41 2.3 E) at Northern Border University in Saudi Arabia. The geomagnetic response detected by the station during a moderate magnetic storm of April 20, 2018, is examined as an initial study. The total magnetic field components measured by the station showed a prompt increase in coincident with the Sudden Storm Commencement (SSC) time measured by ACE satellite. The high rate of magnetic field digital data system of Arar-Magnetometer station with a sampling rate of 0.1 s allowed us to study the geomagnetic pulsation at the northern region of the Arabian Peninsula for the first time.


title: Coherent multidimensional spectroscopy in the gas phase

abstract: Recent work applying multidimentional coherent electronic spectroscopy at dilute samples in the gas phase is reviewed. The development of refined phase-cycling approaches with improved sensitivity has opened-up new opportunities to probe even dilute gas-phase samples. In this context, first results of 2-dimensional spectroscopy performed at doped helium droplets reveal the femtosecond dynamics upon electronic excitation of cold, weakly-bound molecules, and even the induced dynamics from the interaction with the helium environment. Such experiments, offering well-defined conditions at low temperatures, are potentially enabling the isolation of fundamental processes in the excitation and charge transfer dynamics of molecular structures which so far have been masked in complex bulk environments.

categories: physics.atm-clus physics.chem-ph physics.optics quant-ph


title: A non-empirical free volume viscosity model for alkane lubricants under severe pressures

abstract: Viscosities $\eta$ and diffusion coefficients $D_s$ of linear and branched alkanes at high pressures $P$$<$0.7 GPa and temperatures $T$=500-600 K are calculated by equilibrium molecular dynamics. Combining Stokes-Einstein, free volume and random walk concepts results in an accurate viscosity model $\eta(D_s(P,T))$ for the considered P and T. All model parameters (hydrodynamic radius, random walk step size and attempt frequency) are defined as microscopic ensemble averages and extracted from EMD simulations rendering $\eta(D_s(P,T))$ a parameter-free predictor for lubrication simulations.


title: Defining what is Quantum: Not all what matters for physical phenomena is contained in space-time

abstract: It is argued that the three main quantum interpretations, Copenhagen, de Broglie-Bohm, and Many-Worlds, support the Principle Q (Quantum): Not all what matters for physical phenomena is contained in space-time. This principle underpins Born's rule as well. So Principle Q may be the best way to defining Quantum "from more fundamental principles".


title: Dynamical stability of water distribution networks

abstract: Water distribution networks are hydraulic infrastructures that aim to meet water demands at their various nodes. Water flows through pipes in the network create nonlinear dynamics on networks. A desirable feature of water distribution networks is high resistance to failures and other shocks given to the system. Such threats would at least transiently change the flow rate in various pipes, potentially undermining the functionality of the whole water distribution system. Here we carry out a linear stability analysis for a nonlinear dynamical system representing the flow rate through pipes that are interconnected through an arbitrary pipe network with reservoirs and consumer nodes. We show that the steady state is always locally stable and develop a method to calculate the eigenvalue that corresponds to the mode that decays the most slowly towards the equilibrium, which we use as an index for resilience of the system. We show that the proposed index is positively correlated with the recovery rate of the pipe network, which was derived from a realistic and industrially popular simulator. The present analytical framework is expected to be useful for deploying tools from nonlinear dynamics and network analysis to designing, resilience managements and scenario testings of water distribution networks.


title: Multi-scale Dynamic Graph Convolutional Network for Hyperspectral Image Classification

abstract: Convolutional Neural Network (CNN) has demonstrated impressive ability to represent hyperspectral images and to achieve promising results in hyperspectral image classification. However, traditional CNN models can only operate convolution on regular square image regions with fixed size and weights, so they cannot universally adapt to the distinct local regions with various object distributions and geometric appearances. Therefore, their classification performances are still to be improved, especially in class boundaries. To alleviate this shortcoming, we consider employing the recently proposed Graph Convolutional Network (GCN) for hyperspectral image classification, as it can conduct the convolution on arbitrarily structured non-Euclidean data and is applicable to the irregular image regions represented by graph topological information. Different from the commonly used GCN models which work on a fixed graph, we enable the graph to be dynamically updated along with the graph convolution process, so that these two steps can be benefited from each other to gradually produce the discriminative embedded features as well as a refined graph. Moreover, to comprehensively deploy the multi-scale information inherited by hyperspectral images, we establish multiple input graphs with different neighborhood scales to extensively exploit the diversified spectral-spatial correlations at multiple scales. Therefore, our method is termed 'Multi-scale Dynamic Graph Convolutional Network' (MDGCN). The experimental results on three typical benchmark datasets firmly demonstrate the superiority of the proposed MDGCN to other state-of-the-art methods in both qualitative and quantitative aspects.


title: Recommending Dream Jobs in a Biased Real World

abstract: Machine learning models learn what we teach them to learn. Machine learning is at the heart of recommender systems. If a machine learning model is trained on biased data, the resulting recommender system may reflect the biases in its recommendations. Biases arise at different stages in a recommender system, from existing societal biases in the data such as the professional gender gap, to biases introduced by the data collection or modeling processes. These biases impact the performance of various components of recommender systems, from offline training, to evaluation and online serving of recommendations in production systems. Specific techniques can help reduce bias at each stage of a recommender system. Reducing bias in our recommender systems is crucial to successfully recommending dream jobs to hundreds of millions members worldwide, while being true to LinkedIn's vision: "To create economic opportunity for every member of the global workforce".


title: Key signal contributions in photothermal deflection spectroscopy

abstract: We report on key signal contributions in photothermal deflection spectroscopy (PDS) of semiconductors at photon energies below the bandgap energy and show how to extract the actual absorption properties from the measurement data. To this end, we establish a rigorous computation scheme for the deflection signal including semi-analytic raytracing to analyze the underlying physical effects. The computation takes into account linear and nonlinear absorption processes affecting the refractive index and thus leading to a deflection of the probe beam. We find that beside the linear mirage effect, nonlinear absorption mechanisms make a substantial contribution to the signal for strongly focussed pump beams and sample materials with high two-photon absorption coefficients. For example, the measured quadratic absorption contribution exceeds 5% at a pump beam intensity of about ${1.3}\times{10^{5}}\;{W}/{cm^{2}}$ in Si and at ${5}\times{10^{4}}\;{W}/{cm^{2}}$ in GaAs. In addition, our method also includes thermal expansion effects as well as spatial gradients of the attenuation properties. We demonstrate that these effects result in an additional deflection contribution which substantially depends on the distance of the photodetector from the readout point. This distance dependent contribution enhances the surface related PDS signal up to two orders of magnitude and may be misinterpreted as surface absorption if not corrected in the analysis of the measurement data. We verify these findings by PDS measurements on crystalline silicon at a wavelength of 1550 nm and provide guidelines how to extract the actual attenuation coefficient from the PDS signal.


title: Conformal invariants from nodal sets II. Manifolds with boundary

abstract: In this paper, we study conformal invariants that arise from nodal sets and negative eigenvalues of conformally covariant operators on manifolds with boundary. We also consider applications to curvature prescription problems on manifolds with boundary. We relate Dirichlet and Neumann eigenvalues and put the results developed here for the Escobar problem into the more general framework of boundary operators of arbitrary order.


title: Modified log-Sobolev inequalities and two-level concentration

abstract: We consider a generic modified logarithmic Sobolev inequality (mLSI) of the form $\mathrm{Ent}_{\mu}(e^f) \le \tfrac{\rho}{2} \mathbb{E}_\mu e^f \Gamma(f)^2$ for some difference operator $\Gamma$, and show how it implies two-level concentration inequalities akin to the Hanson--Wright or Bernstein inequality. This can be applied to the continuous (e.\,g. the sphere or bounded perturbations of product measures) as well as discrete setting (the symmetric group, finite measures satisfying an approximate tensorization property, \ldots). Moreover, we use modified logarithmic Sobolev inequalities on the symmetric group $S_n$ and for slices of the hypercube to prove Talagrand's convex distance inequality, and provide concentration inequalities for locally Lipschitz functions on $S_n$. Some examples of known statistics are worked out, for which we obtain the correct order of fluctuations, which is consistent with central limit theorems.


title: Abelian periods of factors of Sturmian words

abstract: We study the abelian period sets of Sturmian words, which are codings of irrational rotations on a one-dimensional torus. The main result states that the minimum abelian period of a factor of a Sturmian word of angle $\alpha$ with continued fraction expansion $[0; a_1, a_2, \ldots]$ is either $tq_k$ with $1 \leq t \leq a_{k+1}$ (a multiple of a denominator $q_k$ of a convergent of $\alpha$) or $q_{k,\ell}$ (a denominator $q_{k,\ell}$ of a semiconvergent of $\alpha$). This result generalizes a result of Fici et. al stating that the abelian period set of the Fibonacci word is the set of Fibonacci numbers. A characterization of the Fibonacci word in terms of its abelian period set is obtained as a corollary.


title: Aligning Visual Regions and Textual Concepts for Semantic-Grounded Image Representations

abstract: In vision-and-language grounding problems, fine-grained representations of the image are considered to be of paramount importance. Most of the current systems incorporate visual features and textual concepts as a sketch of an image. However, plainly inferred representations are usually undesirable in that they are composed of separate components, the relations of which are elusive. In this work, we aim at representing an image with a set of integrated visual regions and corresponding textual concepts, reflecting certain semantics. To this end, we build the Mutual Iterative Attention (MIA) module, which integrates correlated visual features and textual concepts, respectively, by aligning the two modalities. We evaluate the proposed approach on two representative vision-and-language grounding tasks, i.e., image captioning and visual question answering. In both tasks, the semantic-grounded image representations consistently boost the performance of the baseline models under all metrics across the board. The results demonstrate that our approach is effective and generalizes well to a wide range of models for image-related applications. (The code is available at https://github.com/fenglinliu98/MIA)


title: Hybrid-functional and quasi-particle calculations of band structures of Mg2Si, Mg2Ge, and Mg2Sn

abstract: We perform hybrid functional and quasi-particle band structure calculations with spin-orbit interaction to investigate the band structures of Mg2Si, Mg2Ge, and Mg2Sn. For all Mg2X materials, where X = Si, Ge, and Sn, the characteristics of band edge states, i.e., band and valley degeneracies, and orbital characters, are found to be conserved, independent of the computational schemes such as density functional generalized gradient approximation, hybrid functionals, or quasi-particle calculations. However, the magnitude of the calculated band gap varies significantly with the computational schemes. Within density-functional calculations, the one-particle band gaps of Mg2Si, Mg2Ge, and Mg2Sn are 0.191, 0.090, and -0.346 eV, respectively, and thus severely underestimated compared to the experimental gaps, due to the band gap error in the density functional theory and the significant relativistic effect on the low-energy band structures. By employing hybrid-functional calculations with a 35% fraction of the exact Hartree-Fock exchange energy (HSE-35%), we overcame the negative band gap issue in Mg2Sn. Finally, in quasi-particle calculations on top of the HSE-35% Hamiltonians, we obtained band gaps of 0.835, 0.759, and 0.244 eV for Mg2Si, Mg2Ge, and Mg2Sn, respectively, consistent with the experimental band gaps of 0.77, 0.74, and 0.36 eV, respectively.


title: Aspects of the QCD $\theta$-vacuum

abstract: This paper addresses two aspects concerning the $\theta$-vacuum of Quantum Chromodynamics. First, large-$N_c$ chiral perturbation theory is used to calculate the first two non-trivial cumulants of the distribution of the winding number, i.\,e. the topological susceptibility, $\chi_\mathrm{top}$, and the fourth cumulant, $c_4$, up to next-to-leading order. Their large-$N_c$ scaling is discussed, and compared to lattice results. It is found that $\chi_\mathrm{top}=\mathcal{O}(N_c^0)$, as known before, and $c_4=\mathcal{O}(N_c^{-3})$, correcting the assumption of $\mathcal{O}(N_c^{-2})$ in the literature. Second, we discuss the properties of QCD at $\theta\sim\pi$ using chiral perturbation theory for the case of $2+1$ light flavors, i.\,e. by taking the strange quark mass heavier than the degenerate up and down quark masses. It is shown that --- in accordance with previous findings for $N_f=2$ and $N_f=3$ mass-degenerate flavors --- in the region $\theta\sim\pi$ two vacuum states coexist, which become degenerate at $\theta=\pi$. The wall tension of the energy barrier between these degenerate vacua is determined as well as the decay rate of a false vacuum.


title: The Mobility Network of Scientists: Analyzing Temporal Correlations in Scientific Careers

abstract: The mobility of scientists between different universities and countries is important to foster knowledge exchange. At the same time, the potential mobility is restricted by geographic and institutional constraints, which leads to temporal correlations in the career trajectories of scientists. To quantify this effect, we extract 3.5 million career trajectories of scientists from two large scale bibliographic data sets and analyze them applying a novel method of higher-order networks. We study the effect of temporal correlations at three different levels of aggregation, universities, cities and countries. We find strong evidence for such correlations for the top 100 universities, i.e. scientists move likely between specific institutions. These correlations also exist at the level of countries, but cannot be found for cities. Our results allow to draw conclusions about the institutional path dependence of scientific careers and the efficiency of mobility programs.


title: A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic

abstract: We define a infinitary labelled sequent calculus for PDL, G3PDL^{\infty}. A finitarily representable cyclic system, G3PDL^{\omega}, is then given. We show that both are sound and complete with respect to standard models of PDL and, further, that G3PDL^{\infty} is cut-free complete. We additionally investigate proof-search strategies in the cyclic system for the fragment of PDL without tests.


title: Feedback MPC for Torque-Controlled Legged Robots

abstract: The computational power of mobile robots is currently insufficient to achieve torque level whole-body Model Predictive Control (MPC) at the update rates required for complex dynamic systems such as legged robots. This problem is commonly circumvented by using a fast tracking controller to compensate for model errors between updates. In this work, we show that the feedback policy from a Differential Dynamic Programming (DDP) based MPC algorithm is a viable alternative to bridge the gap between the low MPC update rate and the actuation command rate. We propose to augment the DDP approach with a relaxed barrier function to address inequality constraints arising from the friction cone. A frequency-dependent cost function is used to reduce the sensitivity to high-frequency model errors and actuator bandwidth limits. We demonstrate that our approach can find stable locomotion policies for the torque-controlled quadruped, ANYmal, both in simulation and on hardware.


title: On convergence rate for homogeneous Markov chains

abstract: Improved rates of convergence for ergodic homogeneous Markov chains are studied. In comparison to the earlier papers the setting is also generalised to the case without a unique dominated measure. Examples are provided where the new bound is compared with the classical Markov -- Dobrushin inequality and with the second eigenvalue of the transition matrix for finite state spaces.