title: $P$-wave contributions to $B_{(s)}\to\psi K\pi$ decays in perturbative QCD approach

abstract: In this work, we studied the quasi-two-body decays $B_{(s)} \to \psi [K^*(892), K^*(1410),$ $K^*(1680)] \to \psi K\pi$ by employing the perturbative QCD (PQCD) factorization approach, where the charmonia $\psi$ represents $J/\psi$ and $\psi(2S)$. The corresponding decay channels are studied by constructing the kaon-pion distribution amplitude (DA) $\Phi_{K \pi}^{\rm P}$, which contained the important final state interactions between the kaon and pion in the resonant region. The relativistic Breit-Wigner formulas are adopted to parameterize the time-like form factor $F_{K\pi}$ appeared in the kaon-pion DAs. The SU(3) flavor symmetry breaking effect resulting from the mass difference between kaon and pion is taken into account, which makes significant contributions to the longitudinal polarizations. We accommodate well the observed branching ratios and the polarization fractions of the $B_{(s)} \to \psi K^*(892) \to \psi K\pi$ by tuning the hadronic parameters for the kaon-pion DAs. The PQCD predictions for the $B_{(s)} \to \psi [K^*(1410), K^*(1680)] \to \psi K\pi$ modes from the same set of parameters can be tested by the future precise data from the LHCb and the Belle II experiments.


title: An $\rm H\alpha$ Imaging Survey of the Low Surface Brightness Galaxies Selected from the Spring Sky Region of the 40% ALFALFA HI Survey

abstract: We present a narrow $\rm H\alpha$-band imaging survey of 357 low surface brightness galaxies (LSBGs) that are selected from the spring sky region of the 40% Arecibo Legacy Fast Arecibo L-band Feed Array (ALFALFA) HI Survey. All the $\rm H\alpha$ images are obtained from the 2.16 m telescope, operated by Xinglong Observatory of the National Astronomical Observatories, Chinese Academy of Sciences. We provide the $\rm H\alpha$ fluxes and derive the global star formation rates (SFRs) of LSBGs after the Galactic extinction, internal extinction, and [NII] contamination correction. Comparing to normal star-forming galaxies, LSBGs have a similar distribution in the HI surface density ($\rm \Sigma_{HI}$), but their SFRs and star formation surface density ($\rm \Sigma_{SFR}$) are much lower. Our results show that the gas-rich LSBGs selected from the ALFALFA survey obviously deviate from the Kennicutt-Schmidt law, in the relation between the star formation surface density ($\rm \Sigma_{SFR}$) and the gas surface density ($\rm \Sigma_{gas}$). However, they follow the extended Schmidt law well when taking the stellar mass of the galaxy into consideration.


title: Less (Data) Is More: Why Small Data Holds the Key to the Future of Artificial Intelligence

abstract: The claims that big data holds the key to enterprise successes and that Artificial Intelligence is going to replace humanity have become increasingly more popular over the past few years, both in academia and in the industry. However, while these claims may indeed capture some truth, they have also been massively oversold, or so we contend here. The goal of this paper is two-fold. First, we provide a qualified defence of the value of less data within the context of AI. This is done by carefully reviewing two distinct problems for big data driven AI, namely a) the limited track record of Deep Learning in key areas such as Natural Language Processing, b) the regulatory and business significance of being able to learn from few data points. Second, we briefly sketch what we refer to as a case of AI with humans and for humans, namely an AI paradigm whereby the systems we build are privacy-oriented and focused on human-machine collaboration, not competition. Combining our claims above, we conclude that when seen through the lens of cognitively inspired AI, the bright future of the discipline is about less data, not more, and more humans, not fewer.


title: Precise and robust optical beam steering for space optical instrumentation

abstract: This approach permits much finer adjustments of the beam direction and position when compared to other beam steering techniques of the same mechanical precision. This results in a much increased precision, accuracy and mechanical stability. A precision of better than 5 {\mu}rad and 5 {\mu}m is demonstrated, resulting in a resolution in coupling efficiency of 0.1%. Together with the added flexibility of an additional beam steering element, this allows a great simplification of the design of the fiber coupler, which normally is the most complex and sensitive element on an optical fiber breadboard. We demonstrate a fiber to fiber coupling efficiency of more than 89.8%, with a stability of 0.2% in a stable temperature environment and 2% fluctuations over a temperature range from 10C to 40C over a measurement time of 14 hours. Furthermore, we do not observe any non-reversible change in the coupling efficiency after performing a series of tests over large temperature variations. This technique finds direct application in proposed missions for quantum experiments in space, e.g.where laser beams are used to cool and manipulate atomic clouds.


title: New frontiers in Bayesian modeling using the INLA package in R

abstract: The INLA package provides a tool for computationally efficient Bayesian modeling and inference for various widely used models, more formally the class of latent Gaussian models. It is a non-sampling based framework which provides approximate results for Bayesian inference, using sparse matrices. The swift uptake of this framework for Bayesian modeling is rooted in the computational efficiency of the approach and catalyzed by the demand presented by the big data era. In this paper, we present new developments within the INLA package with the aim to provide a computationally efficient mechanism for the Bayesian inference of relevant challenging situations.


title: Magnetodynamics in orthogonal nanocontact spin-torque nano-oscillators based on magnetic tunnel junctions

abstract: We demonstrate field and current controlled magnetodynamics in nanocontact spin-torque nano-oscillators (STNOs) based on orthogonal magnetic tunnel junctions (MTJs). We systematically analyze the microwave properties (frequency $f$, linewidth $\Delta f$, power $P$, and frequency tunability $df/dI$) with their physical origins---perpendicular magnetic anisotropy (PMA), damping-like and field-like spin transfer torque (STT), and voltage-controlled magnetic anisotropy (VCMA). These devices present several advantageous characteristics: high emission frequencies ($f> 20$ GHz), high frequency tunability ($df/dI=0.25$~GHz/mA), and zero-field operation ($f\sim 4$ GHz). Furthermore, a detailed investigation of $f(H, I)$ reveals that $df/dI$ is mostly governed by the large VCMA (287~fJ/(V$\cdot$m)), while STT plays a negligible role.


title: EmoBed: Strengthening Monomodal Emotion Recognition via Training with Crossmodal Emotion Embeddings

abstract: Despite remarkable advances in emotion recognition, they are severely restrained from either the essentially limited property of the employed single modality, or the synchronous presence of all involved multiple modalities. Motivated by this, we propose a novel crossmodal emotion embedding framework called EmoBed, which aims to leverage the knowledge from other auxiliary modalities to improve the performance of an emotion recognition system at hand. The framework generally includes two main learning components, i. e., joint multimodal training and crossmodal training. Both of them tend to explore the underlying semantic emotion information but with a shared recognition network or with a shared emotion embedding space, respectively. In doing this, the enhanced system trained with this approach can efficiently make use of the complementary information from other modalities. Nevertheless, the presence of these auxiliary modalities is not demanded during inference. To empirically investigate the effectiveness and robustness of the proposed framework, we perform extensive experiments on the two benchmark databases RECOLA and OMG-Emotion for the tasks of dimensional emotion regression and categorical emotion classification, respectively. The obtained results show that the proposed framework significantly outperforms related baselines in monomodal inference, and are also competitive or superior to the recently reported systems, which emphasises the importance of the proposed crossmodal learning for emotion recognition.


title: Commercial Technologies for Advanced Light Control in Smart Building Energy Management Systems: A Comparative Study

abstract: This work investigates the economic, social, and environmental impact of adopting different smart lighting architectures for home automation in two geographical and regulatory regions: Algiers, Algeria, and Stuttgart, Germany. Lighting consumes a considerable amount of energy, and devices for smart light-ing solutions are among the most purchased smart home devices. As commercial-ized solutions come with variant features, we empirically evaluate through this study the impact of each one of the energy-related features and provide insights on those that have higher energy saving contribution. The study started by investigating the state-of-the-art of commercialized ICT-based light control solutions, which allowed the extraction of the energy-related features. Based on the outcomes of this study, we generated simulation scenarios and selected evaluations metrics to evaluate the impact of dimming, daylight harvesting, scheduling, and motion detection. The simulation study has been conducted using \textit{EnergyPlus} simulation tool, which enables fine-grained realistic evaluation. The results show that adopting smart lighting technologies have a payback period of few years, and that the use of these technologies has positive economic and societal impacts, as well as on the environment by considerably reducing gas emissions. However, this positive contribution is highly sensitive to the geographical location, energy prices, and the occupancy profile.


title: Noise Contrastive Variational Autoencoders

abstract: We take steps towards understanding the "posterior collapse (PC)" difficulty in variational autoencoders (VAEs),~i.e. a degenerate optimum in which the latent codes become independent of their corresponding inputs. We rely on calculus of variations and theoretically explore a few popular VAE models, showing that PC always occurs for non-parametric encoders and decoders. Inspired by the popular noise contrastive estimation algorithm, we propose NC-VAE where the encoder discriminates between the latent codes of real data and of some artificially generated noise, in addition to encouraging good data reconstruction abilities. Theoretically, we prove that our model cannot reach PC and provide novel lower bounds. Our method is straightforward to implement and has the same run-time as vanilla VAE. Empirically, we showcase its benefits on popular image and text datasets.


title: Resonant high-energy bremsstrahlung of ultrarelativistic electrons in the field of a nucleus and an electromagnetic wave

abstract: The actual theoretical research investigates the resonant spontaneous bremsstrahlung (RSB) of ultrarelativistic electrons under the condition of scattering on a nucleus in the field of a weak electromagnetic wave. The progression of the functional mechanism indicates the transformation of the intermediate virtual electron into the real particle state. As a result, the initial second order process with accordance to the fine structure constant in the light field productively splits into two consequent first order formations: the laser-stimulated Compton effect and the laser-assisted scattering of an electron on a nucleus. It is important to emphasize that the resonance escalation possesses a possibility to develop within two reaction channels. Therefore, the first channel - delineates the occurrence that correlates to the spontaneous photon emission by an electron with subsequent scattering on a nucleus. The second channel - illustrates the configuration corresponding to the electron scattering on a nucleus with consecutive spontaneous photon emission in the wave field. Moreover, the spontaneous photon radiation angle allocates a single-valued dependency with the resonant frequency for the first channel in contrast to the second displacement that categorizes a composite area with three various resonant frequency magnitudes for the particular emission angle diapason. The project data analysis proposes that the reaction channels do not interfere within the whole range of observation. To summarize, the investigation calculates that the particular cross-section within the resonant ambience significantly exceeds the according cross-section in the approximation of an external field absence. In conclusion, numerous scientific facilities with specialization in pulsed laser radiation (SLAC, FAIR, XFEL, ELI, XCELS) may experimentally validate the computational estimations.


title: Toolbox approach for quasi-relativistic calculation of molecular properties for precision tests of fundamental physics

abstract: A generally applicable approach for the calculation of relativistic one-electron properties with two-component wave functions is presented. The formalism is explicitly evaluated for the example of quasi-relativistic wavefunctions obtained within the zeroth order regular approximation (ZORA). The wide applicability of the scheme is demonstrated for the calculation of parity ($\mathcal{P}$) and time-reversal ($\mathcal{T}$) symmetry violating properties, which are important for searches of physics beyond the standard model of particle physics. The quality of the ZORA results is shown exemplarily for the molecules RaF and TlF by comparison to data from four-component calculations as far as available. Finally, the applicability of RaF in experiments that search for $\mathcal{P,T}$-violation not only in the electronic but also in quark sector is demonstrated.


title: Interplay between the Weibel instability and the Biermann battery in realistic laser-solid interactions

abstract: A novel setup allows the Weibel instability and its interplay with the Biermann battery to be probed in laser-driven collisionless plasmas. Ab initio particle-in-cell (PIC) simulations of the interaction of short ($ \le ps$) intense $(a_0 \ge 1)$ laser-pulses with overdense plasma targets show observable Weibel generated magnetic fields. This field strength surpasses that of the Biermann battery, usually dominant in experiments, as long as the gradient scale length is much larger than the local electron inertial length; this is achievable by carefully setting the appropriate gradients in the front of the target e.g. by tuning the delay between the main laser pulse and the pre-pulse.


title: Ultrafast molecular orbital tomography of a pentacene thin film using time-resolved momentum microscopy at a free-electron laser

abstract: We use time-resolved momentum microscopy at a free-electron laser (FEL) and extend orbital tomography into the time domain to image the electronic wave functions of excited molecular orbitals. This technique provides unprecedented insight into the ultrafast interplay between structural and electronic dynamics. In this work we prove general applicability and establish the experimental conditions at FEL sources to minimize space charge effects and radiation damage. We investigate a bilayer pentacene film on Ag(110) by optical laser pump and FEL probe experiments. From the momentum microscopy signal, we obtain time-dependent momentum maps of the excited-state dynamics of both pentacene layers separately. Combining experimental observations with a theoretical study, we interpret the observed signal for the bottom layer as resulting from the charge redistribution between the molecule and the substrate induced by excitation. We identify that the dynamics of the top pentacene layer resembles excited-state molecular dynamics.


title: Constraining the gauge-fixed Lagrangian in minimal Landau gauge

abstract: A continuum formulation of gauge-fixing resolving the Gribov-Singer ambiguity remains a challenge. Finding a Lagrangian formulation of operational resolutions in numerical lattice calculations, like minimal Landau gauge, would be one possibility. Such a formulation will here be constrained by reconstructing the Dyson-Schwinger equation for which the lattice minimal-Landau-gauge ghost propagator is a solution. It is found that this requires an additional term. As a by-product new, high precision lattice results for the ghost-gluon vertex in three and four dimensions are obtained.


title: Weak solutions of ideal MHD which do not conserve magnetic helicity

abstract: We construct weak solutions to the ideal magneto-hydrodynamic (MHD) equations which have finite total energy, and whose magnetic helicity is not a constant function of time. In view of Taylor's conjecture, this proves that there exist finite energy weak solutions to ideal MHD which cannot be attained in the infinite conductivity and zero viscosity limit. Our proof is based on a Nash-type convex integration scheme with intermittent building blocks adapted to the geometry of the MHD system.


title: Bell inequalities for $S_4$ group: classical and quantum bounds for two orbits case

abstract: Within Guney-Hillery approach a number of examples of classical and quantum bounds on sum of probabilities resulting from two orbits of $S_4$ is considered. It is shown that the violation of Bell's inequalities is rather rare and gentle.


title: Edge-on HI-bearing ultra diffuse galaxy candidates in the 40% ALFALFA catalog

abstract: Ultra-diffuse galaxies (UDGs) are objects which have very extended morphology and faint central surface brightness. Most UDGs are discovered in galaxy clusters and groups, but also some are found in low density environments. The diffuse morphology and faint surface brightness make them difficult to distinguish from the sky background. Several previous works have suggested that at least some UDGs are consistent with exponential surface brightness profiles (S\'{e}rsic n ~ 1). The surface brightness of exponential disks is enhanced in edge-on systems, so searching for edge-on systems may be an efficient way to select UDGs. In this paper, we focus on searching for edge-on HI-bearing ultra-diffuse sources (HUDS) from the 40% ALFALFA catalog, based on SDSS g- and r-band images. After correcting the observed central surface brightness to a face-on perspective, we discover 11 edge-on HUDS candidates. All these newly discovered HUDS candidates are blue and HI-bearing, similar to other HUDS in 70% ALFALFA catalog, and different from UDGs in clusters.


title: L^p estimates for Baouendi-Gru

abstract: We prove L^p estimates for the Baouendi-Grushin operator L=Delta_x+|x|^\alpha Delta_y in L^p(R^N+M), 1 < p < 1, where x belongs to R^N; y belongs to R^M. When p = 2 more general weights belonging to Reverse Holder classes are allowed.


title: Interactions in MacDowell-Mansouri Gravitation

abstract: In this bachelor thesis, possible kinetic terms and couplings of standard fields in MacDowell-Mansouri-Stelle-West gravity are studied with some aspects of group theory in mind. Possible obstructions to these couplings are considered and used to make statements about the validity of the theory when coupled to matter. While interactions themselves turn out to be mostly unaffected except for scalar fields, the theory fails at its goal of putting gravity on equal footing with Yang-Mills theories. This happens with the kinetic term for spin-1 gauge fields and spin-0 ones, as one needs auxiliary fields to ensure manifest covariance with respect to the internal group $ SO(2,3) $.


title: Observing the Spectral Collapse of Two-Photon Interaction Models

abstract: Until very recently, two-photon interaction processes have been considered only as arising from second- or higher-order effects in driven systems, and so limited to extremely small coupling strengths. However, a variety of novel physical phenomena emerges in the strong and ultrastrong coupling regimes. Strikingly, for a critical value of the coupling strength the discrete spectrum collapses into a continuous band. In this extended abstract, we discuss recent proposals to implement genuine two-photon interactions in an undriven solid-state system, in the framework of circuit QED. In particular, we review counterintuitive spectral features of two-photon interaction models and we show how the onset of the spectral collapse can be observed in feasible scattering experiments.


title: CAMLPAD: Cybersecurity Autonomous Machine Learning Platform for Anomaly Detection

abstract: As machine learning and cybersecurity continue to explode in the context of the digital ecosystem, the complexity of cybersecurity data combined with complicated and evasive machine learning algorithms leads to vast difficulties in designing an end to end system for intelligent, automatic anomaly classification. On the other hand, traditional systems use elementary statistics techniques and are often inaccurate, leading to weak centralized data analysis platforms. In this paper, we propose a novel system that addresses these two problems, titled CAMLPAD, for Cybersecurity Autonomous Machine Learning Platform for Anomaly Detection. The CAMLPAD systems streamlined, holistic approach begins with retrieving a multitude of different species of cybersecurity data in real time using elasticsearch, then running several machine learning algorithms, namely Isolation Forest, Histogram Based Outlier Score (HBOS), Cluster Based Local Outlier Factor (CBLOF), and K Means Clustering, to process the data. Next, the calculated anomalies are visualized using Kibana and are assigned an outlier score, which serves as an indicator for whether an alert should be sent to the system administrator that there are potential anomalies in the network. After comprehensive testing of our platform in a simulated environment, the CAMLPAD system achieved an adjusted rand score of 95 percent, exhibiting the reliable accuracy and precision of the system. All in all, the CAMLPAD system provides an accurate, streamlined approach to real time cybersecurity anomaly detection, delivering a novel solution that has the potential to revolutionize the cybersecurity sector.


title: Backreaction of electromagnetic fields and the Schwinger effect in pseudoscalar inflation magnetogenesis

abstract: We study magnetogenesis in axionlike inflation driven by a pseudoscalar field $\phi$ coupled axially to the electromagnetic (EM) field $(\beta/M_{p})\phi F_{\mu\nu}\tilde{F}^{\mu\nu}$ with dimensionless coupling constant $\beta$. A set of equations for the inflaton field, scale factor, and expectation values of quadratic functions of the EM field is derived. These equations take into account the Schwinger effect and the backreaction of generated EM fields on the Universe expansion. It is found that the backreaction becomes important when the EM energy density reaches the value $\rho_{\rm EM}\sim (\sqrt{2\epsilon}/\beta)\rho_{\rm inf}$ ($\epsilon$ is the slow-roll parameter and $\rho_{\rm inf}$ is the energy density of the inflaton) slowing down the inflaton rolling and terminating magnetogenesis. The Schwinger effect becomes relevant when the electric energy density exceeds the value $\rho_{E}\sim \alpha_{\rm EM}^{-3} (\rho_{\rm tot}^{2}/M_{p}^{4})$, where $\rho_{\rm tot}=3H^{2}M_{p}^{2}$ is the total energy density and $\alpha_{\rm EM}$ is the EM coupling constant. For large $\beta$, produced charged particles could constitute a significant part of the Universe energy density even before the preheating stage. Numerically studying magnetogenesis in the $\alpha$-attractor model of inflation, we find that it is possible to generate helical magnetic fields with the maximal strength $10^{-15}\,{\rm G}$, however, only with the correlation length of order $1\,{\rm pc}$ at present.


title: Constant Delay Traversal of Grammar-Compressed Graphs with Bounded Rank

abstract: We present a pointer-based data structure for constant time traversal of the edges of an edge-labeled (alphabet $\Sigma$) directed hypergraph (a graph where edges can be incident to more than two vertices, and the incident vertices are ordered) given as hyperedge-replacement grammar $G$. It is assumed that the grammar has a fixed rank $\kappa$ (maximal number of vertices connected to a nonterminal hyperedge) and that each vertex of the represented graph is incident to at most one $\sigma$-edge per direction ($\sigma \in \Sigma$). Precomputing the data structure needs $O(|G||\Sigma|\kappa r h)$ space and $O(|G||\Sigma|\kappa rh^2)$ time, where $h$ is the height of the derivation tree of $G$ and $r$ is the maximal rank of a terminal edge occurring in the grammar.


title: Detection of white dwarf spin period variability in the intermediate polar V2306 Cygni

abstract: Magnetic cataclysmic variables are close binaries which consist of a compact object - a white dwarf - and a red dwarf filling its Roche Lobe. Such systems are physical laboratories which enable study of the influence of magnetic fields on matter flows. They often exhibit spin-up or spin-down of the white dwarf, while some systems exhibit more complex behaviour of the spin period change. We monitor changes of the spin periods of white dwarfs in a sample of close binary systems to study interaction of the magnetic field and accretion processes as well as evolution of intermediate polars. Within the framework of our intermediate polar monitoring program, we obtained photometric CCD observations at several observatories. Two-period trigonometric polynomial fitting was used for determination of extrema timings. The (O-C) analysis was performed to study the variability of the orbital and spin periods of the systems. Using data taken during 9 years of observations of the magnetic cataclysmic variable V2306 Cygni (formerly known as 1WGA J1958.2+3232), we detected the spin period variability which shows a spin-up of the white dwarf with a characteristic time of $(53\pm5)\cdot10^4$ years. The value of the spin period was $733.33976$ seconds with the formal accuracy of $0.00015$ seconds. We derived an improved value of the orbital period of the system to be $4.371523\pm0.000009$ hours.


title: Generalized Aubry-Andr\'e-Harper model with modulated hopping and $p$-wave pairing

abstract: We study an extended Aubry-Andr{\'e}-Harper model with simultaneous modulation of hopping, on-site potential, and $p$-wave superconducting pairing. For the case of commensurate modulation of $\beta = 1/2$ it is shown that the model hosts four different types of topological states: adiabatic cycles can be defined which pump particles, two types of Majorana fermions, or Cooper pairs. In the incommensurate case we calculate the phase diagram of the model in several regions. We characterize the phases by calculating the mean inverse participation ratio and perform multi-fractal analysis. In addition, we characterize whether the phases found are topologically trivial or not. We find an interesting critical extended phase when incommensurate hopping modulation is present. The rise between the inverse participation ratio in regions separating localized and extended states is gradual, rather than sharp. When, in addition, the on-site potential modulation is incommensurate, we find several sharp rises and falls in the inverse participation ratio. In these two cases all different phases exhibit topological edge states. For the commensurate case we calculate the evolution of the Hofstadter butterfly and the band Chern numbers upon variation of the pairing parameter for zero and finite on-site potential. For zero on-site potential the butterflies are triangular-like near zero pairing, when gap-closure occurs, they are square-like, and hexagonal-like for larger pairing, but with the Chern numbers switched compared to the triangular case. For the finite case gaps at quarter and three-quarters filling close and lead to a switch in Chern numbers.


title: Peta-Pascal Pressure Driven by Fast Isochoric Heating with Multi-Picosecond Intense Laser Pulse

abstract: Fast isochoric laser heating is a scheme to heat a matter with relativistic-intensity ($>$ 10$^{18}$ W/cm$^2$) laser pulse or X-ray free electron laser pulse. The fast isochoric laser heating has been studied for creating efficiently ultra-high-energy-density (UHED) state. We demonstrate an fast isochoric heating of an imploded dense plasma using a multi-picosecond kJ-class petawatt laser with an assistance of externally applied kilo-tesla magnetic fields for guiding fast electrons to the dense plasma.The UHED state with 2.2 Peta-Pascal is achieved experimentally with 4.6 kJ of total laser energy that is one order of magnitude lower than the energy used in the conventional implosion scheme. A two-dimensional particle-in-cell simulation reveals that diffusive heating from a laser-plasma interaction zone to the dense plasma plays an essential role to the efficient creation of the UHED state.


title: Transport Monte Carlo: High-Accuracy Posterior Approximation via Random Transport

abstract: In Bayesian applications, there is a huge interest in rapid and accurate estimation of the posterior distribution, particularly for high dimensional or hierarchical models. In this article, we propose to use optimization to solve for a joint distribution (random transport plan) between two random variables, $\theta$ from the posterior distribution and $\beta$ from the simple multivariate uniform. Specifically, we obtain an approximate estimate of the conditional distribution $\Pi(\beta\mid \theta)$ as an infinite mixture of simple location-scale changes; applying the Bayes' theorem, $\Pi(\theta\mid\beta)$ can be sampled as one of the reversed transforms from the uniform, with the weight proportional to the posterior density/mass function. This produces independent random samples with high approximation accuracy, as well as nice theoretic guarantees. Our method shows compelling advantages in performance and accuracy, compared to the state-of-the-art Markov chain Monte Carlo and approximations such as variational Bayes and normalizing flow. We illustrate this approach via several challenging applications, such as sampling from multi-modal distribution, estimating sparse signals in high dimension, and soft-thresholding of a graph with a prior on the degrees.


title: Distributional Analysis of Polysemous Function Words

abstract: In this paper, we are concerned with the phenomenon of function word polysemy. We adopt the framework of distributional semantics, which characterizes word meaning by observing occurrence contexts in large corpora and which is in principle well situated to model polysemy. Nevertheless, function words were traditionally considered as impossible to analyze distributionally due to their highly flexible usage patterns. We establish that contextualized word embeddings, the most recent generation of distributional methods, offer hope in this regard. Using the German reflexive pronoun 'sich' as an example, we find that contextualized word embeddings capture theoretically motivated word senses for 'sich' to the extent to which these senses are mirrored systematically in linguistic usage.


title: Investigating Correlations of Inter-coder Agreement and Machine Annotation Performance for Historical Video Data

abstract: Video indexing approaches such as visual concept classification and person recognition are essential to enable fine-grained semantic search in large-scale video archives such as the historical video collection of former German Democratic Republic (GDR) maintained by the German Broadcasting Archive (DRA). Typically, a lexicon of visual concepts has to be defined for semantic search. However, the definition of visual concepts can be more or less subjective due to individually differing judgments of annotators, which may have an impact on annotation quality and subsequently training of supervised machine learning methods. In this paper, we analyze the inter-coder agreement for historical TV data of the former GDR for visual concept classification and person recognition. The inter-coder agreement is evaluated for a group of expert as well as non-expert annotators in order to determine differences in annotation homogeneity. Furthermore, correlations between visual recognition performance and inter-annotator agreement are measured. In this context, information about image quantity and agreement are used to predict average precision for concept classification. Finally, the influence of expert vs. non-expert annotations acquired in the study are used to evaluate person recognition.


title: Dense Feature Aggregation and Pruning for RGBT Tracking

abstract: How to perform effective information fusion of different modalities is a core factor in boosting the performance of RGBT tracking. This paper presents a novel deep fusion algorithm based on the representations from an end-to-end trained convolutional neural network. To deploy the complementarity of features of all layers, we propose a recursive strategy to densely aggregate these features that yield robust representations of target objects in each modality. In different modalities, we propose to prune the densely aggregated features of all modalities in a collaborative way. In a specific, we employ the operations of global average pooling and weighted random selection to perform channel scoring and selection, which could remove redundant and noisy features to achieve more robust feature representation. Experimental results on two RGBT tracking benchmark datasets suggest that our tracker achieves clear state-of-the-art against other RGB and RGBT tracking methods.


title: A distributed control problem for a fractional tumor growth model

abstract: In this paper, the authors study the distributed optimal control of a system of three evolutionary equations involving fractional powers of three selfadjoint, monotone, unbounded linear operators having compact resolvents. The system is a generalization of a Cahn-Hilliard type phase field system modeling tumor growth that goes back to Hawkins-Daarud et al. (Int. J. Numer. Math. Biomed. Eng. 28 (2012), 3-24). The aim of the control process, which could be realized by either administering a drug or monitoring the nutrition, is to keep the tumor cell fraction under control while avoiding possible harm for the patient. In contrast to previous studies, in which the occurring unbounded operators governing the diffusional regimes were all given by the Laplacian with zero Neumann boundary conditions, the operators may in our case be different; more generally, we consider systems with fractional powers of the type that were studied in the recent work Adv. Math. Sci. Appl. 28 (2019), 343-375 (see arXiv:1906.10874), by the present authors. In the analysis, the Fr\'echet differentiability of the associated control-to-state operator is shown, by also establishing the existence of solutions to the associated adjoint system, and deriving the first-order necessary conditions of optimality for a cost functional of tracking type.


title: Detecting Stable Communities in Link Streams at Multiple Temporal Scales

abstract: Link streams model interactions over time in a wide range of fields. Under this model, the challenge is to mine efficiently both temporal and topological structures. Community detection and change point detection are one of the most powerful tools to analyze such evolving interactions. In this paper, we build on both to detect stable community structures by identifying change points within meaningful communities. Unlike existing dynamic community detection algorithms, the proposed method is able to discover stable communities efficiently at multiple temporal scales. We test the effectiveness of our method on synthetic networks, and on high-resolution time-varying networks of contacts drawn from real social networks.


title: Quantum Advantage and Y2K Bug: Comparison

abstract: Quantum Computers (QCs), once they mature, will be able to solve some problems faster than Classic Computers. This phenomenon is called "quantum advantage" (or a stronger term "quantum supremacy"). Quantum advantage will help us to speed up computations in many areas, from artificial intelligence to medicine. However, QC power can also be leveraged to break modern cryptographic algorithms, which pervade modern software: use cases range from encryption of Internet traffic, to encryption of disks, to signing blockchain ledgers. While the exact date when QCs will evolve to reach quantum advantage is unknown, the consensus is that this future is near. Thus, in order to maintain crypto agility of the software, one needs to start preparing for the era of quantum advantage proactively. In this paper, we recap the effect of quantum advantage on the existing and new software systems, as well as the data that we currently store. We also highlight similarities and differences between the security challenges brought by QCs and the challenges that software engineers faced twenty years ago while fixing widespread Y2K bug. Technically, the Y2K bug and the quantum advantage problems are different: the former was caused by timing-related problems, while the latter is caused by a cryptographic algorithm being non-quantum-resistant. However, conceptually, the problems are similar: we know what the root cause is, the fix (strategically) is straightforward, yet the implementation of the fix is challenging. To address the quantum advantage challenge, we create a seven-step roadmap, deemed 7E. It is inspired by the lessons-learnt from the Y2K era amalgamated with modern knowledge. The roadmap gives developers a structured way to start preparing for the quantum advantage era, helping them to start planning for the creation of new as well as the evolution of the existent software.


title: A hybrid ion-atom trap with integrated high resolution mass spectrometer

abstract: In this article we describe the design, construction and implementation of our ion-atom hybrid system incorporating a high resolution time of flight mass spectrometer (TOFMS). Potassium atoms ($^{39}$K) in a Magneto Optical Trap (MOT) and laser cooled calcium ions ($^{40}$Ca$^+$) in a linear Paul trap are spatially overlapped and the combined trap is integrated with a TOFMS for radial extraction and detection of reaction products. We also present some experimental results showing interactions between $^{39}$K$^+$ and $^{39}$K, $^{40}$Ca$^+$ and $^{39}$K$^+$ as well as $^{40}$Ca$^+$ and $^{39}$K pairs. Finally, we discuss prospects for cooling CaH$^+$ molecular ions in the hybrid ion-atom system.


title: Understanding Adversarial Attacks on Deep Learning Based Medical Image Analysis Systems

abstract: Deep neural networks (DNNs) have become popular for medical image analysis tasks like cancer diagnosis and lesion detection. However, a recent study demonstrates that medical deep learning systems can be compromised by carefully-engineered adversarial examples/attacks with small imperceptible perturbations. This raises safety concerns about the deployment of these systems in clinical settings. In this paper, we provide a deeper understanding of adversarial examples in the context of medical images. We find that medical DNN models can be more vulnerable to adversarial attacks compared to models for natural images, according to two different viewpoints. Surprisingly, we also find that medical adversarial attacks can be easily detected, i.e., simple detectors can achieve over 98% detection AUC against state-of-the-art attacks, due to fundamental feature differences compared to normal examples. We believe these findings may be a useful basis to approach the design of more explainable and secure medical deep learning systems.


title: Scaling relations for solar-like oscillations: a review

abstract: The scaling relations for solar-like oscillations provide a translation of the features of the stochastic low-degree modes of oscillation in the Sun to predict the features of solar-like oscillations in other stars with convective outer layers. This prediction is based on their stellar mass, radius and effective temperature. Over time, the original scaling relations have been reversed in their use from predicting features of solar-like oscillations to deriving stellar parameters. Updates to the scaling relations as well as their reference values have been proposed to accommodate for the different requirements set by the change in their use. In this review the suggestions for improving the accuracy of the estimates of stellar parameters through the scaling relations for solar-like oscillations are presented together with a discussion of pros and cons of different approaches.


title: The stable marriage problem with ties and restricted edges

abstract: In the stable marriage problem, a set of men and a set of women are given, each of whom has a strictly ordered preference list over the acceptable agents in the opposite class. A matching is called stable if it is not blocked by any pair of agents, who mutually prefer each other to their respective partner. Ties in the preferences allow for three different definitions for a stable matching: weak, strong and super-stability. Besides this, acceptable pairs in the instance can be restricted in their ability of blocking a matching or being part of it, which again generates three categories of restrictions on acceptable pairs. Forced pairs must be in a stable matching, forbidden pairs must not appear in it, and lastly, free pairs cannot block any matching. Our computational complexity study targets the existence of a stable solution for each of the three stability definitions, in the presence of each of the three types of restricted pairs. We solve all cases that were still open. As a byproduct, we also derive that the maximum size weakly stable matching problem is hard even in very dense graphs, which may be of independent interest.


title: Semi-Quantized Spin Pumping and Spin-Orbit Torques in Topological Dirac Semimetals

abstract: We study the time-development processes of spin and charge transport phenomena in a topological Dirac semimetal attached to a ferromagnetic insulator with a precessing magnetization. Compared to conventional normal metals, topological Dirac semimetals manifest a large inverse spin Hall effect when a spin current is pumped from the attached ferromagnetic insulator. It is shown that the induced charge current is semi-quantized, i.e., it depends only on the distance between the two Dirac points in momentum space and hardly depends on the disorder strength when the system remains in the topological Dirac semimetal phase. As an inverse effect, we show that the electric field applied to the topological Dirac semimetal exerts a spin torque on the local magnetization in the ferromagnetic insulator via the exchange interaction and the semi-quantized spin Hall effect. Our study demonstrates that the topological Dirac semimetal offers a less-dissipative platform for spin-charge conversion and spin switching.


title: Gauge field and brane-localized kinetic terms on the chiral square

abstract: Extra dimensions have been used as attempts to explain several phenomena in particle physics. In this paper we investigate the role of brane-localized kinetic terms (BLKT) on thin and thick branes with two flat extra dimensions (ED) compactified on the chiral square, and an abelian gauge field in the bulk. The results for a thin brane have resemblance with the 5-D case, leading to a tower of massive KK particles whose masses depend upon the compactification radius and the BLKT parameter. On the other hand, for the thick brane scenario, there is no solution that satisfy the boundary conditions. Because of this, the mechanism of suppressed couplings due to ED [1902.08339] cannot be extended to 6-D.


title: A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems

abstract: In this paper we propose a novel method to establish stability and, in addition, convergence to a consensus state for a class of discrete-time Multi-Agent System (MAS) evolving according to nonlinear heterogeneous local interaction rules which is not based on Lyapunov function arguments. In particular, we focus on a class of discrete-time MASs whose global dynamics can be represented by sub-homogeneous and order-preserving nonlinear maps. This paper directly generalizes results for sub-homogeneous and order-preserving linear maps which are shown to be the counterpart to stochastic matrices thanks to nonlinear Perron-Frobenius theory. We provide sufficient conditions on the structure of local interaction rules among agents to establish convergence to a fixed point and study the consensus problem in this generalized framework as a particular case. Examples to show the effectiveness of the method are provided to corroborate the theoretical analysis.


title: The NEFOCAST System for Detection and Estimation of Rainfall Fields by the Opportunistic Use of Broadcast Satellite Signals

abstract: In this paper we present results from the NEFOCAST project, funded by the Tuscany Region, aiming at detecting and estimating rainfall fields from the opportunistic use of the rain-induced excess attenuation incurred in the downlink channel by a commercial DVB satellite signal. The attenuation is estimated by reverse-engineering the effects of the various propagation phenomena affecting the received signal, among which, in first place, the perturbations factors affecting geostationary orbits, such as the gravitational attraction from the moon and the sun and the inhomogeneity in Earth mass distribution and, secondly, the small-scale irregularities in the atmospheric refractive index, causing rapid fluctuations in signal amplitude. The latter impairments, in particular, even if periodically counteracted by correction maneuvers, may give rise to significant departures of the actual satellite position from the nominal orbit. A further problem to deal with is the daily and seasonal random fluctuation of the rain height and altitude/size of the associated melting layer. All of the above issues lead to non-negligible random deviations from the dry nominal downlink attenuation, that can be misinterpreted as rain events. In this paper we show how to counteract these issues by employing two differentially-configured Kalman filters designed to track slow and fast changes of the received signal-to-noise ratio, so that the rain events can be reliably detected and the relevant rainfall rate estimated.


title: Algebraic values of certain analytic functions defined by a canonical product

abstract: We give a partial answer to a question attributed to Chris Miller on algebraic values of certain transcendental functions of order less than one. We obtain C(logH)^n bounds for the number of algebraic points of height at most H on certain subsets of the graphs of such functions. The constant C and exponent n depend on certain data associated with the functions and can be effectively computed from them.


title: Collective modes in pumped unconventional superconductors with competing ground states

abstract: Motivated by the recent development of terahertz pump-probe experiments, we investigate the short-time dynamics in superconductors with multiple attractive pairing channels. Studying a single-band square lattice model with spin-spin interaction as an example, we find the signatures of collective excitations of the pairing symmetries (known as Bardasis-Schrieffer modes) as well as the order parameter amplitude (Higgs mode) in the short-time dynamics of the spectral gap and quasiparticle distribution after an excitation by a pump pulse. We show that the polarization and intensity of the pulse can be used to control the symmetry of the non-equilibrium state as well as frequencies and relative intensities of the contributions of different collective modes. We find particularly strong signatures of the Bardasis-Schrieffer mode in the dynamics of the quasiparticle distribution function. Our work shows the potential of modern ultrafast experiments to address the collective excitations in unconventional superconductors and highlights the importance of sub-dominant interactions for the non-equilibrium dynamics in these systems.


title: Multi-task Localization and Segmentation for X-ray Guided Planning in Knee Surgery

abstract: X-ray based measurement and guidance are commonly used tools in orthopaedic surgery to facilitate a minimally invasive workflow. Typically, a surgical planning is first performed using knowledge of bone morphology and anatomical landmarks. Information about bone location then serves as a prior for registration during overlay of the planning on intra-operative X-ray images. Performing these steps manually however is prone to intra-rater/inter-rater variability and increases task complexity for the surgeon. To remedy these issues, we propose an automatic framework for planning and subsequent overlay. We evaluate it on the example of femoral drill site planning for medial patellofemoral ligament reconstruction surgery. A deep multi-task stacked hourglass network is trained on 149 conventional lateral X-ray images to jointly localize two femoral landmarks, to predict a region of interest for the posterior femoral cortex tangent line, and to perform semantic segmentation of the femur, patella, tibia, and fibula with adaptive task complexity weighting. On 38 clinical test images the framework achieves a median localization error of 1.50 mm for the femoral drill site and mean IOU scores of 0.99, 0.97, 0.98, and 0.96 for the femur, patella, tibia, and fibula respectively. The demonstrated approach consistently performs surgical planning at expert-level precision without the need for manual correction.


title: Measuring a QED cross section via a witness particle

abstract: We consider a QED scattering ($AB\rightarrow AB$), in which $B$ is initially entangled with a third particle ($C$) that does not participate directly in the scattering. The effect of the scattering over $C$'s final state is evaluated and we note coherence (off-diagonal) terms are created, which lead to non null values for $\langle \sigma_x\rangle$ and $\langle \sigma_y\rangle$ that are, in principle, measurable in a Stern-Gerlach apparatus. We chose a particular QED scattering ($e^+e^-\rightarrow\mu^+\mu^-$) and found that $\langle \sigma_x\rangle$ and $\langle \sigma_y\rangle$ are proportional to the total cross section ($\sigma_{\text{total}}$) of the $AB$ scattering, besides being maximal if $BC$'s initial state is taken as a Bell basis. Furthermore, we calculated the initial and final mutual informations $I_{AC}$ and $I_{BC}$, and noticed an increase (decrease) in $I_{AC}$ ($I_{BC}$), which indicates that, after $AB$ interact, the total amount of correlations (quantum $+$ classical) are distributed among the $3$ subsystems.


title: Exact Thermodynamic Properties of (1,1/2) Mixed Diamond Chains with Strong Single-Site Anisotropy

abstract: The ground states and finite-temperature properties of mixed diamond chains with spins 1 and 1/2 are investigated in the limit of strong easy-axis anisotropy on the spin-1 sites. Magnetization curves, entropy, specific heat and magnetic susceptibility are exactly calculated using the method of \v{C}anov\`a et al. [J. Phys.: Condens. Matter 18 4967 (2006)].


title: The Complexity of Computational Problems about Nash Equilibria in Symmetric Win-Lose Games

abstract: We revisit the complexity of deciding, given a {\it bimatrix game,} whether it has a {\it Nash equilibrium} with certain natural properties; such decision problems were early known to be ${\mathcal{NP}}$-hard~\cite{GZ89}. We show that ${\mathcal{NP}}$-hardness still holds under two significant restrictions in simultaneity: the game is {\it win-lose} (that is, all {\it utilities} are $0$ or $1$) and {\it symmetric}. To address the former restriction, we design win-lose {\it gadgets} and a win-lose reduction; to accomodate the latter restriction, we employ and analyze the classical {\it ${\mathsf{GHR}}$-symmetrization}~\cite{GHR63} in the win-lose setting. Thus, {\it symmetric win-lose bimatrix games} are as complex as general bimatrix games with respect to such decision problems. As a byproduct of our techniques, we derive hardness results for search, counting and parity problems about Nash equilibria in symmetric win-lose bimatrix games.


title: Partial Compilation of ASP Programs

abstract: Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from deductive databases applications to the solution of hard combinatorial problems. State-of-the-art ASP systems are based on the traditional ground\&solve approach and are general-purpose implementations, i.e., they are essentially built once for any kind of input program. In this paper, we propose an extended architecture for ASP systems, in which parts of the input program are compiled into an ad-hoc evaluation algorithm (i.e., we obtain a specific binary for a given program), and might not be subject to the grounding step. To this end, we identify a condition that allows the compilation of a sub-program, and present the related partial compilation technique. Importantly, we have implemented the new approach on top of a well-known ASP solver and conducted an experimental analysis on publicly-available benchmarks. Results show that our compilation-based approach improves on the state of the art in various scenarios, including cases in which the input program is stratified or the grounding blow-up makes the evaluation unpractical with traditional ASP systems.


title: Strange metal behavior in a pure ferromagnetic Kondo lattice

abstract: The strange metal phases found to develop in a wide range of materials near a quantum critical point (QCP), have posed a long-standing mystery. The frequent association of strange metals with unconventional superconductivity and antiferromagnetic QCPs has led to a belief that they are highly entangled quantum states. Ferromagnets, by contrast are regarded as an unlikely setting for strange metals, for they are weakly entangled and their QCPs are often interrupted by competing phases or first order phase transitions. Here, we provide compelling evidence that the stoichiometric heavy fermion ferromagnet CeRh$_6$Ge$_4$ becomes a strange metal at a pressure-induced QCP: specific heat and resistivity measurements demonstrate that the FM transition is continuously suppressed to zero temperature revealing a strange metal phase. We argue that strong magnetic anisotropy plays a key role in this process,injecting entanglement, in the form of triplet resonating valence bonds (tRVBs) into the ordered ferromagnet. We show that the singular transformation from tRVBs into Kondo singlets that occurs at the QCP causes a jump in the Fermi surface volume: a key driver of strange metallic behavior. Our results open up a new direction for research into FM quantum criticality, while also establishing an important new setting for the strange metal problem. Most importantly, strange metallic behavior at a FM quantum critical point suggests that it is quantum entanglement rather than the destruction of antiferromagnetism that is the common driver of the many varied examples of strange metallic behavior.


title: STD: Sparse-to-Dense 3D Object Detector for Point Cloud

abstract: We present a new two-stage 3D object detection framework, named sparse-to-dense 3D Object Detector (STD). The first stage is a bottom-up proposal generation network that uses raw point cloud as input to generate accurate proposals by seeding each point with a new spherical anchor. It achieves a high recall with less computation compared with prior works. Then, PointsPool is applied for generating proposal features by transforming their interior point features from sparse expression to compact representation, which saves even more computation time. In box prediction, which is the second stage, we implement a parallel intersection-over-union (IoU) branch to increase awareness of localization accuracy, resulting in further improved performance. We conduct experiments on KITTI dataset, and evaluate our method in terms of 3D object and Bird's Eye View (BEV) detection. Our method outperforms other state-of-the-arts by a large margin, especially on the hard set, with inference speed more than 10 FPS.


title: Irradiation-induced metal-insulator transition in monolayer graphene

abstract: A brief review of experiments directed to study a gradual localization of charge carriers and metal-insulator transition in samples of disordered monolayer graphene is presented. Disorder was induced by irradiation with different doses of heavy and light ions. Degree of disorder was controlled by measurements of the Raman scattering spectra. The temperature dependences of conductivity and magnetoresistance (MR) showed that at low disorder, conductivity is governed by the weak localization and antilocalization regime. Further increase of disorder leads to strong localization of charge carriers, when the conductivity is described by the variable-range-hopping (VRH) mechanism. It was observed that MR in the VRH regime is negative in perpendicular fields and is positive in parallel magnetic fields which allowed to reveal different mechanisms of hopping MR. Theoretical analysis is in a good agreement with experimental data.


title: Switchable Normalization for Learning-to-Normalize Deep Representation

abstract: We address a learning-to-normalize problem by proposing Switchable Normalization (SN), which learns to select different normalizers for different normalization layers of a deep neural network. SN employs three distinct scopes to compute statistics (means and variances) including a channel, a layer, and a minibatch. SN switches between them by learning their importance weights in an end-to-end manner. It has several good properties. First, it adapts to various network architectures and tasks. Second, it is robust to a wide range of batch sizes, maintaining high performance even when small minibatch is presented (e.g. 2 images/GPU). Third, SN does not have sensitive hyper-parameter, unlike group normalization that searches the number of groups as a hyper-parameter. Without bells and whistles, SN outperforms its counterparts on various challenging benchmarks, such as ImageNet, COCO, CityScapes, ADE20K, MegaFace, and Kinetics. Analyses of SN are also presented to answer the following three questions: (a) Is it useful to allow each normalization layer to select its own normalizer? (b) What impacts the choices of normalizers? (c) Do different tasks and datasets prefer different normalizers? We hope SN will help ease the usage and understand the normalization techniques in deep learning. The code of SN has been released at https://github.com/switchablenorms.


title: On the Cheeger problem for rotationally invariant domains

abstract: We investigate the properties of the Cheeger sets of rotationally invariant, bounded domains $\Omega \subset \mathbb{R}^n$. For a rotationally invariant Cheeger set $C$, the free boundary $\partial C \cap \Omega$ consists of pieces of Delaunay surfaces, which are rotationally invariant surfaces of constant mean curvature. We show that if $\Omega$ is convex, then the free boundary of $C$ consists only of pieces of spheres and nodoids. This result remains valid for nonconvex domains when the generating curve of $C$ is closed, convex, and of class $\mathcal{C}^{1,1}$. Moreover, we provide numerical evidence of the fact that, for general nonconvex domains, pieces of unduloids or cylinders can also appear in the free boundary of $C$.


title: The origin of up-up-down-down magnetic order in Cu$_2$GeO$_4$

abstract: We use density-functional band-structure calculations to explore the origin of the up-up-down-down (UUDD) magnetic order in Cu$_2$GeO$_4$ with the frustrated $J_1-J_2$ spin chains coupled into layers within the spinel-like crystal structure. In contrast to earlier studies, we find that the nearest-neighbor coupling $J_1$ may be negligibly small, owing to a nearly perfect compensation of the ferromagnetic direct exchange and antiferromagnetic superexchange. Under this condition, weak symmetric anisotropy of the exchange couplings gives rise to the UUDD order observed experimentally and also elucidates the non-trivial ordering pattern between the layers, whereas a small Dzyaloshinsky-Moriya interaction causes a spin canting that may generate local electric polarization. We argue that the buckling of the copper chains plays a crucial role in the suppression of $J_1$ in Cu$_2$GeO$_4$ and sets this compound apart from other $J_1-J_2$ chain magnets.


title: On the APOGEE DR14 sodium spread in the Galactic open cluster NGC 188

abstract: Since several years ago, the search for multiple populations (MPs) in Galactic open clusters (OCs) has become a field of increasing interest, particularly to the light of the general knowledge that MPs are observed in relatively massive clusters (>= 5 10^4 Mo). I report here measurements of stellar parameters and abundances of 17 different chemical species, including light and iron-peak elements of the old open cluster NGC188, from the APOGEE DR14 database. I selected 15 bonafide cluster red giants that reveal an spread in [Na/Fe] of +-0.16 dex, caused by two different groups of measurements whose mean [Na/Fe] values differ by ~ 0.30 dex. A hint for a subtle anti-correlation with Al and TiII, which also show relative large [X/Fe] dispersions, is also seen in the data. However, [Na/Fe] abundances have been found to be typically affected by uncertainties of 0.16 dex. Furthermore, I directly compared the available spectra for stars with similar atmospheric parameters and it would seem that they look similar. Therefore, I warn users of large spectroscopic surveys to be extra careful when finding peculiar abundance results. Analysis pipelines that run in an unsupervised fashion may produce bad results which may not be noticed before publication.


title: On importance-weighted autoencoders

abstract: The importance weighted autoencoder (IWAE) (Burda et al., 2016) is a popular variational-inference method which achieves a tighter evidence bound (and hence a lower bias) than standard variational autoencoders by optimising a multi-sample objective, i.e. an objective that is expressible as an integral over $K > 1$ Monte Carlo samples. Unfortunately, IWAE crucially relies on the availability of reparametrisations and even if these exist, the multi-sample objective leads to inference-network gradients which break down as $K$ is increased (Rainforth et al., 2018). This breakdown can only be circumvented by removing high-variance score-function terms, either by heuristically ignoring them (which yields the 'sticking-the-landing' IWAE (IWAE-STL) gradient from Roeder et al. (2017)) or through an identity from Tucker et al. (2019) (which yields the 'doubly-reparametrised' IWAE (IWAE-DREG) gradient). In this work, we argue that directly optimising the proposal distribution in importance sampling as in the reweighted wake-sleep (RWS) algorithm from Bornschein & Bengio (2015) is preferable to optimising IWAE-type multi-sample objectives. To formalise this argument, we introduce an adaptive-importance sampling framework termed adaptive importance sampling for learning (AISLE) which slightly generalises the RWS algorithm. We then show that AISLE admits IWAE-STL and IWAE-DREG (i.e. the IWAE-gradients which avoid breakdown) as special cases.


title: Progressive Image Inpainting with Full-Resolution Residual Network

abstract: Recently, learning-based algorithms for image inpainting achieve remarkable progress dealing with squared or irregular holes. However, they fail to generate plausible textures inside damaged area because there lacks surrounding information. A progressive inpainting approach would be advantageous for eliminating central blurriness, i.e., restoring well and then updating masks. In this paper, we propose full-resolution residual network (FRRN) to fill irregular holes, which is proved to be effective for progressive image inpainting. We show that well-designed residual architecture facilitates feature integration and texture prediction. Additionally, to guarantee completion quality during progressive inpainting, we adopt N Blocks, One Dilation strategy, which assigns several residual blocks for one dilation step. Correspondingly, a step loss function is applied to improve the performance of intermediate restorations. The experimental results demonstrate that the proposed FRRN framework for image inpainting is much better than previous methods both quantitatively and qualitatively. Our codes are released at: \url{https://github.com/ZongyuGuo/Inpainting_FRRN}.


title: Conductance of gated junctions as a probe of topological interface states

abstract: Energy dispersion and spin orientation of the protected states at interfaces between topological insulators (TIs) and non-topological materials depend on the charge redistribution, strain, and atomic displacement at the interface. Knowledge of these properties is essential for applications of topological compounds, but direct access to them in the interface geometry is difficult. We show that conductance of a gated double junction at the surface of a topological insulator exhibits oscillations and a quasi-linear decay as a function of gate voltage in different regimes. These give the values for the quasiparticle velocities along and normal to the junction in the interface region, and determine the symmetry of the topological interface states. The results are insensitive to the boundary conditions at the junction.


title: Deep Learning for Energy Estimation and Particle Identification in Gamma-ray Astronomy

abstract: Deep learning techniques, namely convolutional neural networks (CNN), have previously been adapted to select gamma-ray events in the TAIGA experiment, having achieved a good quality of selection as compared with the conventional Hillas approach. Another important task for the TAIGA data analysis was also solved with CNN: gamma-ray energy estimation showed some improvement in comparison with the conventional method based on the Hillas analysis. Furthermore, our software was completely redeveloped for the graphics processing unit (GPU), which led to significantly faster calculations in both of these tasks. All the results have been obtained with the simulated data of TAIGA Monte Carlo software; their experimental confirmation is envisaged for the near future.


title: CUR Low Rank Approximation at Deterministic Sublinear Cost

abstract: A matrix algorithm runs at {\em sublinear cost} if it uses much fewer memory cells and arithmetic operations than the input matrix has entries. Such algorithms are indispensable for Big Data Mining and Analysis. Quite typically in that area the input matrices are so immense that realistically one can only access a small fraction of all their entries but can access and process at sublinear cost their Low Rank Approximation {\em (LRA)}. Can, however, we compute LRA at sublinear cost? Adversary argument shows that the output of any algorithm running at sublinear cost is extremely far from LRA of the worst case input matrices and even of the matrices of small families of our Appendix, but we prove that some deterministic sublinear cost algorithms output reasonably close LRA in a memory efficient form of CUR LRA if an input matrix admits LRA and is Symmetric Positive Semidefinite or is very close to a low rank matrix. The latter result is technically simple but provides some (very limited but long overdue) support for the well-known empirical efficiency of sublinear cost LRA by means of Cross-Approximation. We demonstrate the power of application of such LRA by turning the Fast Multipole celebrated Method into Superfast Multipole Method. The design and analysis of our algorithms rely on extensive prior study of the link of LRA of a matrix to maximization of its volume.


title: The MPGD-Based Photon Detectors for the upgrade of COMPASS RICH-1

abstract: After pioneering gaseous detectors of single photon for RICH applications using CsI solid state photocathodes in MWPCs within the RD26 collaboration and by the constructions for the RICH detector of the COMPASS experiment at CERN SPS, in 2016 we have upgraded COMPASS RICH by novel gaseous photon detectors based on MPGD technology. Four novel photon detectors, covering a total active area of 1.5~m$^2$, have been installed in order to cope with the challenging efficiency and stability requirements of the COMPASS physics programme. They are the first application in an experiment of MPGD-based single photon detectors. All aspects of the upgrade are presented, including engineering, mass production, quality assessment and performance. Perspectives for further developments in the field of gaseous single photon detectors are also indicated.


title: Lepton angular distribution of Z boson production and jet discrimination

abstract: High precision data of lepton angular distributions in inclusive $Z$ boson production, reported by the CMS and ATLAS Collaborations, showed pronounced transverse momentum ($q_T$) dependencies of the $A_0$ and $A_2$ coefficients. Violation of the Lam-Tung relation, $A_0 = A_2$, was also found. An intuitive understanding of these results can be obtained from a geometric approach. We predict that $A_0$ and $A_2$ for $Z$ plus single gluon-jet events are very different from that of $Z$ plus single quark-jet events, allowing a new experimental tool for checking various algorithms which attempt to discriminate quark jets from gluon jets. We also predict that the Lam-Tung relation would be more severely violated for the $Z$ plus multiple-jet data than what has been observed so far for inclusive $Z$ production data. These predictions can be readily tested using existing LHC data.


title: Secure and Transparent Audit Logs with BlockAudit

abstract: Audit logs serve as a critical component in enterprise business systems and are used for auditing, storing, and tracking changes made to the data. However, audit logs are vulnerable to a series of attacks enabling adversaries to tamper data and corresponding audit logs without getting detected. Among them, two well-known attacks are "the physical access attack," which exploits root privileges, and "the remote vulnerability attack," which compromises known vulnerabilities in database systems. In this paper, we present BlockAudit: a scalable and tamper-proof system that leverages the design properties of audit logs and security guarantees of blockchain to enable secure and trustworthy audit logs. Towards that, we construct the design schema of BlockAudit and outline its functional and operational procedures. We implement our design on a custom-built Practical Byzantine Fault Tolerance (PBFT) blockchain system and evaluate the performance in terms of latency, network size, payload size, and transaction rate. Our results show that conventional audit logs can seamlessly transition into BlockAudit to achieve higher security and defend against the known attacks on audit logs.


title: Early Anomaly Detection in Power Systems Based on Random Matrix Theory

abstract: It is important for detecting the anomaly in power systems before it expands and causes serious faults such as power failures or system blackout. With the deployments of phasor measurement units (PMUs), massive amounts of synchrophasor measurements are collected, which makes it possible for the real-time situation awareness of the entire system. In this paper, based on random matrix theory (RMT), a data-driven approach is proposed for anomaly detection in power systems. First, spatio-temporal data set is formulated by arranging high-dimensional synchrophasor measurements in chronological order. Based on the Ring Law in RMT for the empirical spectral analysis of `signal+noise' matrix, the mean spectral radius (MSR) is introduced to indicate the system states from the macroscopic perspective. In order to realize anomaly declare automatically, an anomaly indicator based on the MSR is designed and the corresponding confidence level $1-\alpha$ is calculated. The proposed approach is capable of detecting the anomaly in an early phase and robust against random fluctuations and measuring errors. Cases on the synthetic data generated from IEEE 300-bus, 118-bus and 57-bus test systems validate the effectiveness and advantages of the approach.


title: Edelstein and inverse Edelstein effects caused by the pristine surface states of topological insulators

abstract: The Edelstein effect caused by the pristine surface states of three-dimensional topological insulators is investigated by means of a semiclassical approach. The combined effect of random impurity scattering and the spin-momentum locking of the gapless Dirac cone yields a current-induced surface spin accumulation independent from chemical potential and temperature. Through combing the semiclassical approach with the Bloch equation, the inverse Edelstein effect that converts the spin pumping spin current into a charge current is well explained. Consistency of these results with various experiments will be elaborated in detail.


title: Future Uses of the LSST Facility: Input from the LSST Project Science Team

abstract: In this white paper, we discuss future uses of the LSST facility after the planned 10-year survey is complete. We expect the LSST survey to profoundly affect the scientific landscape over the next ten years, and it is likely that unexpected discoveries may drive its future scientific program. We discuss various operations and instrument options that could be considered for an extended LSST mission beyond ten years.


title: Prospects of strongly lensed repeating fast radio bursts: complementary constraints on dark energy evolution

abstract: Fast radio bursts (FRBs) are highly dispersed and probably extragalactic radio flashes with millisecond-duration. Recently, the Canadian Hydrogen Intensity Mapping Experiment (using the CHIME/FRB instrument) has reported detections of 13 FRBs during a pre-commissioning phase. It is more exciting that one of the 13 FRBs is a second source of repeaters which suggests that CHIME/FRB and other wide-field sensitive radio telescopes will find a substantial population of repeating FRBs. We have proposed strongly lensed repeating FRBs as a precision cosmological probe, e.g. constraining the Hubble constant and model-independently estimating the cosmic curvature. Here, we study complementary constraints on the equation of state of dark energy from strongly lensed FRBs to currently available popular probes. It is found that, in the framework of Chevalier-Polarski-Linder parametrization, adding time delay measurement of 30 strongly lensed FRB systems to cosmic microwave background radiation and type Ia supernovae can improve the dark energy figure of merit by a factor 2. In the precision cosmology era, this improvement is of great significance for studying the nature of dark energy.


title: Soliton transmutations in KdV--Burgers layered media

abstract: We study the behavior of the soliton which, while moving in non-dissipative medium encounters a barrier with dissipation. The modelling included the case of a finite dissipative layer as well as a wave passing from a dissipative layer into a non-dissipative one and vice versa. New effects are presented in the case of numerically finite barrier on the soliton path: first, if the form of dissipation distribution has a form of a frozen soliton, the wave that leaves the dissipative barrier becomes a bi-soliton and a reflection wave arises as a comparatively small and quasi-harmonic oscillation. Second, if the dissipation is negative (the wave, instead of loosing energy, is pumped with it) the passed wave is a soliton of a greater amplitude and velocity. Third, when the travelling wave solution of the KdV-Burgers (it is a shock wave in a dissipative region) enters a non-dissipative layer this shock transforms into a quasi-harmonic oscillation known for the KdV.


title: A travel guide to the canonical bundle formula

abstract: We survey known results on the canonical bundle formula and its applications in algebraic geometry.


title: Alternative Intersection Designs with Connected and Automated Vehicle

abstract: Alternative intersection designs (AIDs) can improve the performance of an intersection by not only reducing the number of signal phases but also change the configuration of the conflicting points by re-routing traffic. However the AID studies have rarely been extended to Connected and Automated Vehicle (CAV) which is expected to revolutionize our transportation system. In this study, we investigate the potential benefits of CAV to two AIDs: the diverging diamond interchange (DDI) and the restricted crossing U-turn intersection. The potential enhancements of AID, CAV, and the combination of both are quantified via microscopic traffic simulation. We found that CAV is able to positively contribute to the performance of an intersection. However, converting an existing conventional diamond interchange (CDI) to a diverging one is a more effective way according to the simulation results. DDI improves the throughput of a CDI by 950 vehicles per hour, a near 20% improvement; whereas with full penetration of CAV, the throughput of a CDI is increased only by 300 vehicles per hour. A similar trend is observed in the average delay per vehicle as well. Furthermore, we assess the impact for the driver's confusion, a concern for deploying AIDs, on the traffic flow. According to the ANOVA test, the negative impacts of driver's confusion are of statistical significance.


title: Social Choice Methods for Database Aggregation

abstract: Knowledge can be represented compactly in multiple ways, from a set of propositional formulas, to a Kripke model, to a database. In this paper we study the aggregation of information coming from multiple sources, each source submitting a database modelled as a first-order relational structure. In the presence of integrity constraints, we identify classes of aggregators that respect them in the aggregated database, provided these are satisfied in all individual databases. We also characterise languages for first-order queries on which the answer to a query on the aggregated database coincides with the aggregation of the answers to the query obtained on each individual database. This contribution is meant to be a first step on the application of techniques from social choice theory to knowledge representation in databases.


title: Learning Wi-Fi Connection Loss Predictions for Seamless Vertical Handovers Using Multipath TCP

abstract: We present a novel data-driven approach to perform smooth Wi-Fi/cellular handovers on smartphones. Our approach relies on data provided by multiple smartphone sensors (e.g., Wi-Fi RSSI, acceleration, compass, step counter, air pressure) to predict Wi-Fi connection loss and uses Multipath TCP to dynamically switch between different connectivity modes. We train a random forest classifier and an artificial neural network on real-world sensor data collected by five smartphone users over a period of three months. The trained models are executed on smartphones to reliably predict Wi-Fi connection loss 15 seconds ahead of time, with a precision of up to 0.97 and a recall of up to 0.98. Furthermore, we present results for four DASH video streaming experiments that run on a Nexus 5 smartphone using available Wi-Fi/cellular networks. The neural network predictions for Wi-Fi connection loss are used to establish MPTCP subflows on the cellular link. The experiments show that our approach provides seamless wireless connectivity, improves quality of experience of DASH video streaming, and requires less cellular data compared to handover approaches without Wi-Fi connection loss predictions.


title: An Improved Gradient Method with Approximately Optimal Stepsize Based on Conic model for Unconstrained Optimization

abstract: A new type of stepsize, which was recently introduced by Liu and Liu (Optimization, 67(3), 427-440, 2018), is called approximately optimal stepsize and is quit efficient for gradient method. Interestingly, all gradient methods can be regarded as gradient methods with approximately optimal stepsizes. In this paper, based on the work (Numer. Algorithms 78(1), 21-39, 2018), we present an improved gradient method with approximately optimal stepsize based on conic model for unconstrained optimization. If the objective function $ f $ is not close to a quadratic on the line segment between the current and latest iterates, we construct a conic model to generate approximately optimal stepsize for gradient method if the conic model can be used; otherwise, we construct some quadratic models to generate approximately optimal stepsizes for gradient method. The convergence of the proposed method is analyzed under suitable conditions. Numerical comparisons with some well-known conjugate gradient software packages such as CG$ \_ $DESCENT (SIAM J. Optim. 16(1), 170-192, 2005) and CGOPT (SIAM J. Optim. 23(1), 296-320, 2013) indicate the proposed method is very promising.


title: Drain Current Model of One-Dimensional Ballistic Reconfigurable Transistors

abstract: A simple model based on the WKB approximation for one-dimensional ballistic multi--gate reconfigurable field--effect transistors (RFETs) with Schottky-Barrier contacts has been developed for the drain current taking into account electron and hole band-to-band tunneling. By using a proper approximation of both the Fermi-Dirac distribution function and transmission probability, an analytical solution for the Landauer integral can be obtained. A comparative analysis of the two-gate and triple-gate RFETs is performed based on the numerical integration of the current integral.


title: Inferring the 3-D shapes of extremely metal-poor galaxies from sets of projected shapes

abstract: The three-dimensional (3-D) shape of a galaxy inevitably is tied to how it has formed and evolved and to its dark matter halo. Local extremely metal-poor galaxies (XMPs; defined as having an average gas-phase metallicity < 0.1 solar) are important objects for understanding galaxy evolution largely because they appear to be caught in the act of accreting gas from the cosmic web, and their 3-D shape may reflect this. Here we report on the 3-D shape of XMPs as inferred from their observed projected minor-to-major axial ratios using a hierarchical Bayesian inference model, which determines the likely shape and orientation of each galaxy while simultaneously inferring the average shape and dispersion. We selected a sample of 149 XMPs and divided it into three sub-samples according to physical size and found that (1) the stellar component of XMPs of all sizes tends to be triaxial, with an intermediate axis approx 0.7 times the longest axis and that (2) smaller XMPs tend to be relatively thicker, with the shortest axis going from approx 0.15 times the longest axis for the large galaxies to approx 0.4 for the small galaxies. We provide the inferred 3-D shape and inclination of the individual XMPs in electronic format. We show that our results for the intermediate axis are not clouded by a selection effect against face-on XMPs. We discuss how an intermediate axis significantly smaller than the longest axis may be produced by several mechanisms, including lopsided gas accretion, non-axisymmetric star formation, or coupling with an elongated dark matter halo. Large relative thickness may reflect slow rotation, stellar feedback, or recent gas accretion.


title: Extreme Ultraviolet Time- and Angle-Resolved Photoemission Spectroscopy with 21.5 meV Resolution using High-Order Harmonic Generation from a Turn-Key Yb:KGW Amplifier

abstract: Characterizing and controlling electronic properties of quantum materials require direct measurements of non-equilibrium electronic band structures over large regions of momentum space. Here, we demonstrate an experimental apparatus for time- and angle-resolved photoemission spectroscopy using high-order harmonic probe pulses generated by a robust, moderately high power (20 W) Yb:KGW amplifier with tunable repetition rate between 50 and 150 kHz. By driving high-order harmonic generation (HHG) with the second harmonic of the fundamental 1025 nm laser pulses, we show that single-harmonic probe pulses at 21.8 eV photon energy can be effectively isolated without the use of a monochromator. The on-target photon flux can reach 5 x 10^10 photons/second at 50 kHz, and the time resolution is measured to be 320 fs. The relatively long pulse duration of the Yb-driven HHG source allows us to reach an excellent energy resolution of 21.5 meV, which is achieved by suppressing the space-charge broadening using a low photon flux of 1.5 x 10^8 photons/second at a higher repetition rate of 150 kHz. The capabilities of the setup are demonstrated through measurements in the topological semimetal ZrSiS and the topological insulator Sb2-xGdxTe3.


title: Systematic beyond-DFT study of binary transition metal oxides

abstract: Various methods going beyond density-functional theory (DFT), such as DFT+U, hybrid functionals, meta-GGAs, GW, and DFT-embedded dynamical mean field theory (eDMFT), have been developed to describe the electronic structure of correlated materials, but it is unclear how accurate these methods can be expected to be when applied to a given strongly correlated solid. It is thus of pressing interest to compare their accuracy as they apply to different categories of materials. Here, we introduce a novel paradigm in which a chosen set of beyond-DFT methods is systematically and uniformly tested on a chosen class of materials. For a first application, we choose the target materials to be the binary transition-metal oxides FeO, CoO, MnO, and NiO in their antiferromagnetic phase and present a head-to-head comparison of spectral properties as computed using the various methods. We also compare with available experimental angle-resolved photoemission spectroscopy (ARPES), inverse-photoemission spectroscopy, and with optical absorption. We find both B3LYP and eDMFT can reproduce the experiments quite well, with eDMFT doing best in particular when comparing with the ARPES data.


title: P-SLOCAL-Completeness of Maximum Independent Set Approximation

abstract: We prove that the maximum independent set approximation problem with polylogarithmic approximation factor is P-SLOCAL-complete. Thus an efficient algorithm for the maximum independent set approximation in the LOCAL model implies efficient algorithms for many problems in the LOCAL model including the computation of (polylog n, polylog n) network decompositions.


title: Learning Goal-Oriented Visual Dialog Agents: Imitating and Surpassing Analytic Experts

abstract: This paper tackles the problem of learning a questioner in the goal-oriented visual dialog task. Several previous works adopt model-free reinforcement learning. Most pretrain the model from a finite set of human-generated data. We argue that using limited demonstrations to kick-start the questioner is insufficient due to the large policy search space. Inspired by a recently proposed information theoretic approach, we develop two analytic experts to serve as a source of high-quality demonstrations for imitation learning. We then take advantage of reinforcement learning to refine the model towards the goal-oriented objective. Experimental results on the GuessWhat?! dataset show that our method has the combined merits of imitation and reinforcement learning, achieving the state-of-the-art performance.


title: 3-Commutators Revisited

abstract: We present a class of Pseudo-differential elliptic systems with anti-self-dual potentials on ${\mathbb R}$ satisfying compensation phenomena similar to the ones for elliptic systems with anti-symmetric potentials. These compensation phenomena are based on new "multi-commutator" structures generalizing the 3-commtators introduced by the authors in a previous work some years ago.


title: Solute effects in confined freezing

abstract: The presence of liquid water in frozen media impacts the strength of soils, the growth of frost heave, plant life and microbial activities, or the durability of infrastructures in cold regions. If the effect of confinement on freezing is well known, water is never pure and solutes depressing the freezing point are naturally found. Moreover, the combination of confinement and solute is poorly understood. We imaged the freezing dynamics of water in a model porous medium with various salt (KCl) concentrations. We showed that the freezing front, initially heterogeneous due to confinement, drives salt enrichment in the remaining liquid, further depressing its freezing point. Confinement and solute have a synergistic effect that results in much larger mushy layers and greater freezing point depression. These results should help understand the distribution of water in frozen porous media, solute precipitation and redistribution in soils, and cryo-tolerance of construction materials and organisms.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci physics.geo-ph


title: Entropy Constraints on High Spin Particles

abstract: Elementary particles of large spin $s$ store quantum information in degenerate states and therefore are subject to the Bekenstein entropy bound. We observe that for sufficiently large $s$ the bound is violated unless the particle acquires a new associated length-scale different from its Compton wavelength. This can be regarded as a glimpse of stringiness. Moreover, this bound is independent of gravity. The inclusion of gravity additionally generates a new scale at which the thermality of the black hole radiation is violated by the emission of a high spin particle. This bound can be understood as the black hole species bound, i.e. an induced quantum gravity cutoff-scale given by $M_P/\sqrt{s}$. The two bounds carry qualitatively different information.


title: Single use register automata for data words

abstract: Our starting point are register automata for data words, in the style of Kaminski and Francez. We study the effects of the single-use restriction, which says that a register is emptied immediately after being used. We show that under the single-use restriction, the theory of automata for data words becomes much more robust. The main results are: (a) five different machine models are equivalent as language acceptors, including one-way and two-way single-use register automata; (b) one can recover some of the algebraic theory of languages over finite alphabets, including a version of the Krohn-Rhodes Theorem; (c) there is also a robust theory of transducers, with four equivalent models, including two-way single use transducers and a variant of streaming string transducers for data words. These results are in contrast with automata for data words without the single-use restriction, where essentially all models are pairwise non-equivalent.


title: The aspherical explosion of the Type IIP SN 2017gmr

abstract: Type IIP supernovae (SNe IIP), which represent the most common class of core-collapse (CC) SNe, show a rapid increase in continuum polarization just after entering the tail phase. This feature can be explained by a highly asymmetric helium core, which is exposed when the hydrogen envelope becomes transparent. Here we report the case of a SN IIP (SN~2017gmr) that shows an unusually early rise of the polarization, $\gtrsim 30$ days before the start of the tail phase. This implies that SN~2017gmr is an SN IIP that has very extended asphericity. The asymmetries are not confined to the helium core, but reach out to a significant part of the outer hydrogen envelope, hence clearly indicating a marked intrinsic diversity in the aspherical structure of CC explosions. These observations provide new constraints on the explosion mechanism, where viable models must be able to produce such extended deviations from spherical symmetry, and account for the observed geometrical diversity.


title: Conformal Four-Point Correlation Functions from the Operator Product Expansion

abstract: We show how to compute conformal blocks of operators in arbitrary Lorentz representations using the formalism described in arXiv:1905.00036 and arXiv:1905.00434, and present several explicit examples of blocks derived via this method. The procedure for obtaining the blocks has been reduced to (1) determining the relevant group theoretic structures and (2) applying appropriate predetermined substitution rules. The most transparent expressions for the blocks we find are expressed in terms of specific substitutions on the Gegenbauer polynomials. In our examples, we study operators which transform as scalars, symmetric tensors, two-index antisymmetric tensors, as well as mixed representations of the Lorentz group.


title: Modified zero forcing decoder for ill-conditioned channels

abstract: A modified zero-forcing (MZF) decoder for ill-conditioned Multi-Input Multi-Output (MIMO) channels is proposed. The proposed decoder provides significant performance improvement compared to the traditional zero-forcing decoder by only considering the well-conditioned elements of the channel matrix. This is achieved by reformulating the QR decomposition of the channel matrix by neglecting the elements which are responsible for the correlation. By combining the traditional ZF with the MZF decoders, a hybrid decoder can be formed that alternates between the traditional ZF and the proposed MZF according to the channel condition. We will illustrate through simulations the significant improvement in performance with little change in complexity over the traditional implementation of the zero forcing decoder.


title: A system of different layers of abstraction for artificial intelligence

abstract: The field of artificial intelligence (AI) represents an enormous endeavour of humankind that is currently transforming our societies down to their very foundations. Its task, building truly intelligent systems, is underpinned by a vast array of subfields ranging from the development of new electronic components to mathematical formulations of highly abstract and complex reasoning. This breadth of subfields renders it often difficult to understand how they all fit together into a bigger picture and hides the multi-faceted, multi-layered conceptual structure that in a sense can be said to be what AI truly is. In this perspective we propose a system of five levels/layers of abstraction that underpin many AI implementations. We further posit that each layer is subject to a complexity-performance trade-off whilst different layers are interlocked with one another in a control-complexity trade-off. This overview provides a conceptual map that can help to identify how and where innovation should be targeted in order to achieve different levels of functionality, assure them for safety, optimise performance under various operating constraints and map the opportunity space for social and economic exploitation.


title: Direct information transfer rate optimisation for SSVEP-based BCI

abstract: In this work, a classification method for SSVEP-based BCI is proposed. The classification method uses features extracted by traditional SSVEP-based BCI methods and finds optimal discrimination thresholds for each feature to classify the targets. Optimising the thresholds is formalised as a maximisation task of a performance measure of BCIs called information transfer rate (ITR). However, instead of the standard method of calculating ITR, which makes certain assumptions about the data, a more general formula is derived to avoid incorrect ITR calculation when the standard assumptions are not met. This allows the optimal discrimination thresholds to be automatically calculated and thus eliminates the need for manual parameter selection or performing computationally expensive grid searches. The proposed method shows good performance in classifying targets of a BCI, outperforming previously reported results on the same dataset by a factor of 2 in terms of ITR. The highest achieved ITR on the used dataset was 62 bit/min. The proposed method also provides a way to reduce false classifications, which is important in real-world applications.


title: Topological Approximate Dynamic Programming under Temporal Logic Constraints

abstract: In this paper, we develop a Topological Approximate Dynamic Programming (TADP) method for planningin stochastic systems modeled as Markov Decision Processesto maximize the probability of satisfying high-level systemspecifications expressed in Linear Temporal Logic (LTL). Ourmethod includes two steps: First, we propose to decompose theplanning problem into a sequence of sub-problems based on thetopological property of the task automaton which is translatedfrom the LTL constraints. Second, we extend a model-freeapproximate dynamic programming method for value iterationto solve, in an order reverse to a causal dependency of valuefunctions, one for each state in the task automaton. Particularly,we show that the complexity of the TADP does not growpolynomially with the size of the product Markov DecisionProcess (MDP). The correctness and efficiency of the algorithmare demonstrated using a robotic motion planning example.


title: Green's functions, Biot-Savart Operators and Linking Numbers on Negatively Curved Symmetric Spaces

abstract: We construct radial fundamental solutions for the differential form Laplacian on negatively curved symmetric spaces. At least one of these Green's functions also yields a Biot-Savart Opearator, i.e. a right inverse of the exterior differential on closed forms with image in the kernel of the codifferential. Any Biot-Savart operator gives rise to a Gauss linking integral.