title: The Tur\'an number of Berge-K_4 in triple systems

abstract: A Berge-$K_4$ in a triple system is a configuration with four vertices $v_1,v_2,v_3,v_4$ and six distinct triples $\{e_{ij}: 1\le i< j \le 4\}$ such that $\{v_i,v_j\}\subset e_{ij}$ for every $1\le i<j\le 4$. We denote by $\cal{B}$ the set of Berge-$K_4$ configurations. A triple system is $\cal{B}$-free if it does not contain any member of $\cal{B}$. We prove that the maximum number of triples in a $\cal{B}$-free triple system on $n\ge 6$ points is obtained by the balanced complete $3$-partite triple system: all triples $\{abc: a\in A, b\in B, c\in C\}$ where $A,B,C$ is a partition of $n$ points with $$\left\lfloor{n\over 3}\right\rfloor=|A|\le |B|\le |C|=\left\lceil{n\over 3}\right\rceil.$$


title: Persistence Atlas for Critical Point Variability in Ensembles

abstract: This paper presents a new approach for the visualization and analysis of the spatial variability of features of interest represented by critical points in ensemble data. Our framework, called Persistence Atlas, enables the visualization of the dominant spatial patterns of critical points, along with statistics regarding their occurrence in the ensemble. The persistence atlas represents in the geometrical domain each dominant pattern in the form of a confidence map for the appearance of critical points. As a by-product, our method also provides 2-dimensional layouts of the entire ensemble, highlighting the main trends at a global level. Our approach is based on the new notion of Persistence Map, a measure of the geometrical density in critical points which leverages the robustness to noise of topological persistence to better emphasize salient features. We show how to leverage spectral embedding to represent the ensemble members as points in a low-dimensional Euclidean space, where distances between points measure the dissimilarities between critical point layouts and where statistical tasks, such as clustering, can be easily carried out. Further, we show how the notion of mandatory critical point can be leveraged to evaluate for each cluster confidence regions for the appearance of critical points. Most of the steps of this framework can be trivially parallelized and we show how to efficiently implement them. Extensive experiments demonstrate the relevance of our approach. The accuracy of the confidence regions provided by the persistence atlas is quantitatively evaluated and compared to a baseline strategy using an off-the-shelf clustering approach. We illustrate the importance of the persistence atlas in a variety of real-life datasets, where clear trends in feature layouts are identified and analyzed.


title: The tensor-optimized high-momentum antisymmetrized molecular dynamics with bare interaction and its application in ${}^{4}$He nucleus

abstract: We formulate the "tensor-optimized high-momentum antisymmetrized molecular dynamics (TO-HMAMD)" framework for ab initio calculations of nuclei by hybridizing the tensor-optimized (TO-) and high-momentum (HM-) AMD approaches. This hybrid approach has advantages in both analytical simplicity and numerical efficiency comparing with other AMD-based methods which treat the bare interaction, especially for heavier nuclear systems. In this work, the $s$-shell nucleus $^{4}$He is calculated with TO-HMAMD by including up to double product of nucleon-nucleon ($NN$) correlations, described by using high-momentum pairs and spatial correlation functions of nucleons. The total energy and radius of $^{4}$He nucleus are well reproduced using the AV8$^\prime$ interaction. The spin-isospin channel dependence is also discussed for $NN$-correlations, which are found to be mostly contributed in the even-state channels, especially the triplet-even channel. Analyses of the analytical formation and numerical results suggest that TO-HMAMD could be a promising framework for general nuclear systems.


title: Nucleon spin structure from lattice QCD

abstract: In this lattice QCD study we evaluate the nucleon spin decomposition to quarks and gluons contributions. We employ one gauge ensemble of maximally twisted mass fermions with two degenerate light quarks tuned to approximately reproduce the physical pion mass. We find that both spin sum and momentum sum are satisfied within the current statistical and systematic accuracy.


title: CAKE: Compact and Accurate K-dimensional representation of Emotion

abstract: Numerous models describing the human emotional states have been built by the psychology community. Alongside, Deep Neural Networks (DNN) are reaching excellent performances and are becoming interesting features extraction tools in many computer vision tasks.Inspired by works from the psychology community, we first study the link between the compact two-dimensional representation of the emotion known as arousal-valence, and discrete emotion classes (e.g. anger, happiness, sadness, etc.) used in the computer vision community. It enables to assess the benefits -- in terms of discrete emotion inference -- of adding an extra dimension to arousal-valence (usually named dominance). Building on these observations, we propose CAKE, a 3-dimensional representation of emotion learned in a multi-domain fashion, achieving accurate emotion recognition on several public datasets. Moreover, we visualize how emotions boundaries are organized inside DNN representations and show that DNNs are implicitly learning arousal-valence-like descriptions of emotions. Finally, we use the CAKE representation to compare the quality of the annotations of different public datasets.


title: Toeplitz operators in polyanalytic Bergman type spaces

abstract: We consider Toeplitz operators in Bergman and Fock type spaces of polyanalytic $L^2\textup{-}$functions on the disk or on the half-plane with respect to the Lebesgue measure (resp., on $\mathbb{C}$ with the plane Gaussian measure). The structure involving creation and annihilation operators, similar to the classical one present for the Landau Hamiltonian, enables us to reduce Toeplitz operators in true polyanalytic spaces to the ones in the usual Bergman type spaces, however with distributional symbols. This reduction leads to describing a number of properties of the operators in the title, which may differ from the properties of the usual Bergman-Toeplitz operators.


title: $p$-adic dynamical systems of the function $\dfrac{ax}{x^2+a}$

abstract: We show that any $(1,2)$-rational function with a unique fixed point is topologically conjugate to a $(2,2)$-rational function or to the function $f(x)={ax\over x^2+a}$. The case $(2,2)$ was studied in our previous paper, here we study the dynamical systems generated by the function $f$ on the set of complex $p$-adic field $\mathbb C_p$. We show that the unique fixed point is indifferent and therefore the convergence of the trajectories is not the typical case for the dynamical systems. We construct the corresponding Siegel disk of these dynamical systems. We determine a sufficiently small set containing the set of limit points. It is given all possible invariant spheres. We show that the $p$-adic dynamical system reduced on each invariant sphere is not ergodic with respect to Haar measure on the set of $p$-adic numbers $Q_p$. Moreover some periodic orbits of the system are investigated.


title: Reward Sharing Schemes for Stake Pools

abstract: We introduce and study reward sharing schemes (RSS) that promote the fair formation of {\em stake pools}\ in collaborative projects that involve a large number of stakeholders such as the maintenance of a proof-of-stake (PoS) blockchain. Our mechanisms are parameterized by a target value for the desired number of pools. We show that by properly incentivizing participants, the desired number of stake pools is a Nash equilibrium arising from rational play. Our equilibria also exhibit an efficiency / security tradeoff via a parameter that calibrates between including pools with the smallest cost and providing protection against Sybil attacks, the setting where a single stakeholder creates a large number of pools in the hopes to dominate the collaborative project. We then describe how RSS can be deployed in the PoS setting, mitigating a number of potential deployment attacks and protocol deviations that include censoring transactions, performing Sybil attacks with the objective to control the majority of stake, lying about the actual cost and others. Finally, we experimentally demonstrate fast convergence to equilibria in dynamic environments where players react to each other's strategic moves over an indefinite period of interactive play. We also show how simple reward sharing schemes that are seemingly more "fair", perhaps counterintuitively, converge to centralized equilibria.


title: Training Neural Machine Translation using Word Embedding-based Loss

abstract: In neural machine translation (NMT), the computational cost at the output layer increases with the size of the target-side vocabulary. Using a limited-size vocabulary instead may cause a significant decrease in translation quality. This trade-off is derived from a softmax-based loss function that handles in-dictionary words independently, in which word similarity is not considered. In this paper, we propose a novel NMT loss function that includes word similarity in forms of distances in a word embedding space. The proposed loss function encourages an NMT decoder to generate words close to their references in the embedding space; this helps the decoder to choose similar acceptable words when the actual best candidates are not included in the vocabulary due to its size limitation. In experiments using ASPEC Japanese-to-English and IWSLT17 English-to-French data sets, the proposed method showed improvements against a standard NMT baseline in both datasets; especially with IWSLT17 En-Fr, it achieved up to +1.72 in BLEU and +1.99 in METEOR. When the target-side vocabulary was very limited to 1,000 words, the proposed method demonstrated a substantial gain, +1.72 in METEOR with ASPEC Ja-En.


title: Evidence of hot and cold spots on the Fermi surface of LiFeAs

abstract: Angle-resolved photoemission spectroscopy (ARPES) is used to study the energy and momentum dependence of the inelastic scattering rates and the mass renormalization of charge carriers in LiFeAs at several high symmetry points in the Brillouin zone. A strong and linear-in-energy scattering rate is observed for sections of the Fermi surface having predominantly Fe $3d_{xy/yz}$ orbital character on the inner hole and on electron pockets. We assign them to hot spots with marginal Fermi liquid character inducing high antiferromagnetic and pairing susceptibilities. The outer hole pocket, with Fe $3d_{xy}$ orbital character, has a reduced but still linear in energy scattering rate. Finally, we assign sections on the middle hole pockets with Fe $3d_{xz,yz}$ orbital character and on the electron pockets with Fe $3d_{xy}$ orbital character to cold spots because there we observe a quadratic-in-energy scattering rate with Fermi-liquid behavior. These cold spots prevail the transport properties. Our results indicate a strong $\it{momentum}$ dependence of the scattering rates. We also have indications that the scattering rates in correlated systems are fundamentally different from those in non-correlated materials because in the former the Pauli principle is not operative. We compare our results for the scattering rates with combined density functional plus dynamical mean-field theory calculations. The work provides a generic microscopic understanding of macroscopic properties of multiorbital unconventional superconductors.


title: A Review of Innovation-Based Methods to Jointly Estimate Model and Observation Error Covariance Matrices in Ensemble Data Assimilation

abstract: Data assimilation combines forecasts from a numerical model with observations. Most of the current data assimilation algorithms consider the model and observation error terms as additive Gaussian noise, specified by their covariance matrices Q and R, respectively. These error covariances, and specifically their respective amplitudes, determine the weights given to the background (i.e., the model forecasts) and to the observations in the solution of data assimilation algorithms (i.e., the analysis). Consequently, Q and R matrices significantly impact the accuracy of the analysis. This review aims to present and to discuss, with a unified framework, different methods to jointly estimate the Q and R matrices using ensemble-based data assimilation techniques. Most of the methodologies developed to date use the innovations, defined as differences between the observations and the projection of the forecasts onto the observation space. These methodologies are based on two main statistical criteria: (i) the method of moments, in which the theoretical and empirical moments of the innovations are assumed to be equal, and (ii) methods that use the likelihood of the observations, themselves contained in the innovations. The reviewed methods assume that innovations are Gaussian random variables, although extension to other distributions is possible for likelihood-based methods. The methods also show some differences in terms of levels of complexity and applicability to high-dimensional systems. The conclusion of the review discusses the key challenges to further develop estimation methods for Q and R. These challenges include taking into account time-varying error covariances, using limited observational coverage, estimating additional deterministic error terms, or accounting for correlated noises.


title: Non-Abelian quasiholes in lattice Moore-Read states and parent Hamiltonians

abstract: This work concerns Ising quasiholes in Moore-Read type lattice wave functions derived from conformal field theory. We commence with constructing Moore-Read type lattice states and then add quasiholes to them. By use of Metropolis Monte Carlo simulations, we analyze the features of the quasiholes, such as their size, shape, charge, and braiding properties. The braiding properties, which turn out to be the same as in the continuum Moore-Read state, demonstrate the topological attributes of the Moore-Read lattice states in a direct way. We also derive parent Hamiltonians for which the states with quasiholes included are ground states. One advantage of these Hamiltonians lies therein that we can now braid the quasiholes just by changing the coupling strengths in the Hamiltonian since the Hamiltonian is a function of the positions of the quasiholes. The methodology exploited in this article can also be used to construct other kinds of lattice fractional quantum Hall models containing quasiholes, for example investigation of Fibonacci quasiholes in lattice Read-Rezayi states.


title: Delay controls chimera relay synchronization in multiplex networks

abstract: We study remote (or relay) synchronization in multilayer networks between parts of one layer and their counterparts in a second layer, where these two layers are not directly connected. A simple realization of such a system is a triplex network where a relay layer in the middle, which is generally not synchronized, acts as a transmitter between two outer layers. We establish time delay in the inter-layer coupling as a powerful tool to control various partial synchronization patterns, in particular chimera states, i.e., complex patterns of coexisting coherent and incoherent domains. We demonstrate that the three-layer structure of the network allows for synchronization of the coherent domains of chimera states in the first layer with their counterparts in the third layer, whereas the incoherent domains either remain desynchronized or synchronized. By varying the topology of the relay layer, we study its influence on the remote synchronization in the outer layers. As model dynamics we use the paradigmatic FitzHugh-Nagumo system.


title: Sharp upper and lower bounds for the spectral radius of a nonnegative weakly irreducible tensor and its applications

abstract: In this paper, we obtain the sharp upper and lower bounds for the spectral radius of a nonnegative weakly irreducible tensor. We also apply these bounds to the adjacency spectral radius and signless Laplacian spectral radius of a uniform hypergraph.


title: Fragility of the Kondo insulating gap against disorder: relevance to recent puzzles in topological Kondo insulators

abstract: Kondo insulators are strongly correlated system in which a clean insulating gap emerges only at very low temperature due to many-body effects involving localized $f$-electrons. However, certain Kondo insulators, like SmB$_6$ and Ce${_3}$Bi${_4}$Pt${_3}$, display metallic behaviors at extremely low temperatures, that have defied current understanding. Recent advances in topological effects in materials has raised the attention on the protected surface states in these "topological Kondo insulators" as a potential resolution to some of the puzzling behaviors. Here we resolve these puzzles via a different route, by showing that the emergent Kondo insulating scale is extremely vulnerable against moderate degree of disorder, such that the gap is filled with a small number of states. Therefore, the real samples are probably never truly insulating and this in turn compromises the essential building block of topological considerations. Our results suggest strongly that systems like the Slater insulators would be a more promising direction to extend the realm of topology to strongly correlated systems.


title: Deep Hybrid Real and Synthetic Training for Intrinsic Decomposition

abstract: Intrinsic image decomposition is the process of separating the reflectance and shading layers of an image, which is a challenging and underdetermined problem. In this paper, we propose to systematically address this problem using a deep convolutional neural network (CNN). Although deep learning (DL) has been recently used to handle this application, the current DL methods train the network only on synthetic images as obtaining ground truth reflectance and shading for real images is difficult. Therefore, these methods fail to produce reasonable results on real images and often perform worse than the non-DL techniques. We overcome this limitation by proposing a novel hybrid approach to train our network on both synthetic and real images. Specifically, in addition to directly supervising the network using synthetic images, we train the network by enforcing it to produce the same reflectance for a pair of images of the same real-world scene with different illuminations. Furthermore, we improve the results by incorporating a bilateral solver layer into our system during both training and test stages. Experimental results show that our approach produces better results than the state-of-the-art DL and non-DL methods on various synthetic and real datasets both visually and numerically.


title: YouTube AV 50K: An Annotated Corpus for Comments in Autonomous Vehicles

abstract: With one billion monthly viewers, and millions of users discussing and sharing opinions, comments below YouTube videos are rich sources of data for opinion mining and sentiment analysis. We introduce the YouTube AV 50K dataset, a freely-available collections of more than 50,000 YouTube comments and metadata below autonomous vehicle (AV)-related videos. We describe its creation process, its content and data format, and discuss its possible usages. Especially, we do a case study of the first self-driving car fatality to evaluate the dataset, and show how we can use this dataset to better understand public attitudes toward self-driving cars and public reactions to the accident. Future developments of the dataset are also discussed.


title: Predicting Conversion of Mild Cognitive Impairments to Alzheimer's Disease and Exploring Impact of Neuroimaging

abstract: Nowadays, a lot of scientific efforts are concentrated on the diagnosis of Alzheimer's Disease (AD) applying deep learning methods to neuroimaging data. Even for 2017, there were published more than a hundred papers dedicated to AD diagnosis, whereas only a few works considered a problem of mild cognitive impairments (MCI) conversion to the AD. However, the conversion prediction is an important problem since approximately 15% of patients with MCI converges to the AD every year. In the current work, we are focusing on the conversion prediction using brain Magnetic Resonance Imaging and clinical data, such as demographics, cognitive assessments, genetic, and biochemical markers. First of all, we applied state-of-the-art deep learning algorithms on the neuroimaging data and compared these results with two machine learning algorithms that we fit using the clinical data. As a result, the models trained on the clinical data outperform the deep learning algorithms applied to the MR images. To explore the impact of neuroimaging further, we trained a deep feed-forward embedding using similarity learning with Histogram loss on all available MRIs and obtained 64-dimensional vector representation of neuroimaging data. The use of learned representation from the deep embedding allowed to increase the quality of prediction based on the neuroimaging. Finally, the current results on this dataset show that the neuroimaging does affect conversion prediction, however, cannot noticeably increase the quality of the prediction. The best results of predicting MCI-to-AD conversion are provided by XGBoost algorithm trained on the clinical and embedding data. The resulting accuracy is 0.76 +- 0.01 and the area under the ROC curve - 0.86 +- 0.01.


title: Adding vacuum branching to jet evolution in a dense medium

abstract: We study the fragmentation of a jet propagating in a dense quark-gluon plasma. We show that the "vacuum-like" emissions triggered by the parton virtualities can be factorized from the medium-induced radiation responsible for the energy loss within a controlled, "double-logarithmic", approximation in perturbative QCD. We show that the collisions with the plasma constituents modify the vacuum-like parton shower already at leading twist, in two ways: the radiation phase-space is reduced and the first emission outside the medium can violate angular ordering. We compute the jet fragmentation function and find results in qualitative agreement with measurements at the LHC.


title: Intrinsic structural and electronic properties of the Buffer Layer on Silicon Carbide unraveled by Density Functional Theory

abstract: The buffer carbon layer obtained in the first instance by evaporation of Si from the Si-rich surfaces of silicon carbide (SiC) is often studied only as the intermediate to the synthesis of SiC supported graphene. In this work, we explore its intrinsic potentialities, addressing its structural and electronic properties by means Density Functional Theory. While the system of corrugation crests organized in a honeycomb super-lattice of nano-metric side returned by calculations is compatible with atomic microscopy observations, our work reveals some possible alternative symmetries, which might coexist in the same sample. The electronic structure analysis reveals the presence of an electronic gap of ~0.7eV. In-gap states are present, localized over the crests, while near-gap states reveal very different structure and space localization, being either bonding states or outward pointing p orbitals and unsaturated Si dangling bonds. On one hand, he presence of these interface states was correlated with the n-doping of the monolayer graphene subsequently grown on the buffer. On the other hand, the correlation between their chemical character and their space localization is likely to produce a differential reactivity towards specific functional groups with a spatial regular modulation at the nano-scale, opening perspectives for a finely controlled chemical functionalization.


title: Cluster singularity: the unfolding of clustering behavior in globally coupled Stuart-Landau oscillators

abstract: The ubiquitous occurrence of cluster patterns in nature still lacks a comprehensive understanding. It is known that the dynamics of many such natural systems is captured by ensembles of Stuart-Landau oscillators. Here, we investigate clustering dynamics in a mean-coupled ensemble of such limit-cycle oscillators. In particular we show how clustering occurs in minimal networks, and elaborate how the observed 2-cluster states crowd when increasing the number of oscillators. Using persistence, we discuss how this crowding leads to a continuous transition from balanced cluster states to synchronized solutions via the intermediate unbalanced 2-cluster states. These cascade-like transitions emerge from what we call a cluster singularity. At this codimension-2 point, the bifurcations of all 2-cluster states collapse and the stable balanced cluster state bifurcates into the synchronized solution supercritically. We confirm our results using numerical simulations, and discuss how our conclusions apply to spatially extended systems.


title: An Approximate Newton Smoothing Method for Shape Optimization

abstract: A novel methodology to efficiently approximate the Hessian for numerical shape optimization is considered. The method enhances operator symbol approximations by including body fitted coordinates and spatially changing symbols in a semi automated framework based on local Fourier analysis. Contrary to classical operator symbol methods, the proposed strategy will identify areas in which a non-smooth design is physically meaningful and will automatically turn off smoothing in these regions. A new strategy to also numerically identify the analytic symbol is derived, extending the procedure to a wide variety of problems. The effectiveness is demonstrated by using drag minimization in Stokes and Navier-Stokes flows.


title: On soft capacities, quasi-stationary distributions and the pathwise approach to metastability

abstract: Motivated by the study of the metastable stochastic Ising model at subcritical temperature and in the limit of a vanishing magnetic field, we extend the notion of ($\kappa$, $\lambda$)-capacities between sets, as well as the associated notion of soft-measures, to the case of overlapping sets. We recover their essential properties, sometimes in a stronger form or in a simpler way, relying on weaker hypotheses. These properties allow to write the main quantities associated with reversible metastable dynamics, e.g. asymptotic transition and relaxation times, in terms of objects that are associated with two-sided variational principles. We also clarify the connection with the classical "pathwise approach" by referring to temporal means on the appropriate time scale.


title: Improving Electron Micrograph Signal-to-Noise with an Atrous Convolutional Encoder-Decoder

abstract: We present an atrous convolutional encoder-decoder trained to denoise 512$\times$512 crops from electron micrographs. It consists of a modified Xception backbone, atrous convoltional spatial pyramid pooling module and a multi-stage decoder. Our neural network was trained end-to-end to remove Poisson noise applied to low-dose ($\ll$ 300 counts ppx) micrographs created from a new dataset of 17267 2048$\times$2048 high-dose ($>$ 2500 counts ppx) micrographs and then fine-tuned for ordinary doses (200-2500 counts ppx). Its performance is benchmarked against bilateral, non-local means, total variation, wavelet, Wiener and other restoration methods with their default parameters. Our network outperforms their best mean squared error and structural similarity index performances by 24.6% and 9.6% for low doses and by 43.7% and 5.5% for ordinary doses. In both cases, our network's mean squared error has the lowest variance. Source code and links to our new high-quality dataset and trained network have been made publicly available at https://github.com/Jeffrey-Ede/Electron-Micrograph-Denoiser


title: Spin structure of K valleys in single-layer WS$_2$ on Au(111)

abstract: The spin structure of the valence and conduction bands at the $\overline{\text{K}}$ and $\overline{\text{K}}$' valleys of single-layer WS$_2$ on Au(111) is determined by spin- and angle-resolved photoemission and inverse photoemission. The bands confining the direct band gap of 1.98 eV are out-of-plane spin polarized with spin-dependent energy splittings of 417 meV in the valence band and 16 meV in the conduction band. The sequence of the spin-split bands is the same in the valence and in the conduction bands and opposite at the $\overline{\text{K}}$ and the $\overline{\text{K}}$' high-symmetry points. The first observation explains "dark" excitons discussed in optical experiments, the latter points to coupled spin and valley physics in electron transport. The experimentally observed band dispersions are discussed along with band structure calculations for a freestanding single layer and for a single layer on Au(111).


title: Semantic Labeling in Very High Resolution Images via a Self-Cascaded Convolutional Neural Network

abstract: Semantic labeling for very high resolution (VHR) images in urban areas, is of significant importance in a wide range of remote sensing applications. However, many confusing manmade objects and intricate fine-structured objects make it very difficult to obtain both coherent and accurate labeling results. For this challenging task, we propose a novel deep model with convolutional neural networks (CNNs), i.e., an end-to-end self-cascaded network (ScasNet). Specifically, for confusing manmade objects, ScasNet improves the labeling coherence with sequential global-to-local contexts aggregation. Technically, multi-scale contexts are captured on the output of a CNN encoder, and then they are successively aggregated in a self-cascaded manner. Meanwhile, for fine-structured objects, ScasNet boosts the labeling accuracy with a coarse-to-fine refinement strategy. It progressively refines the target objects using the low-level features learned by CNN's shallow layers. In addition, to correct the latent fitting residual caused by multi-feature fusion inside ScasNet, a dedicated residual correction scheme is proposed. It greatly improves the effectiveness of ScasNet. Extensive experimental results on three public datasets, including two challenging benchmarks, show that ScasNet achieves the state-of-the-art performance.


title: A nonconforming Trefftz virtual element method for the Helmholtz problem: numerical aspects

abstract: We discuss the implementation details and the numerical performance of the recently introduced nonconforming Trefftz virtual element method for the 2D Helmholtz problem. In particular, we present a strategy to significantly reduce the ill-conditioning of the original method; such a recipe is based on an automatic filtering of the basis functions edge by edge, and therefore allows for a notable reduction of the number of degrees of freedom. A widespread set of numerical experiments, including an application to acoustic scattering, the $h$-, $p$-, and $hp$-versions of the method, is presented. Moreover, a comparison with other Trefftz-based methods for the Helmholtz problem shows that this novel approach results in robust and effective performance.


title: Attractive dipolar coupling between stacked exciton fluids

abstract: The interaction between aligned dipoles is long-ranged and highly anisotropic: it changes from repulsive to attractive depending on the relative positions of the dipoles. We report on the observation of the attractive component of the dipolar coupling between excitonic dipoles in stacked semiconductor bilayers. We show that the presence of a dipolar exciton fluid in one bilayer modifies the spatial distribution and increases the binding energy of excitonic dipoles in a vertically remote layer. The binding energy changes are explained by a many-body polaron model describing the deformation of the exciton cloud due to its interaction with a remote dipolar exciton. The results open the way for the observation of theoretically predicted new and exotic collective phases, the realization of interacting dipolar lattices in semiconductor systems as well as for engineering and sensing their collective excitations.


title: Secondary-electron radiation accompanying hadronic GeV-TeV gamma-rays from supernova remnants

abstract: The synchrotron radiation from secondary electrons and positrons (SEPs) generated by hadronic interactions in the shock of supernova remnant (SNR) could be a distinct evidence of cosmic ray (CR) production in SNR shocks. Here we provide a method where the observed gamma-ray flux from SNRs, created by pion decays, is directly used to derive the SEP distribution and hence the synchrotron spectrum. We apply the method to three gamma-ray bright SNRs. In the young SNR RX J1713.7-3946, if the observed GeV-TeV gamma-rays are of hadronic origin and the magnetic field in the SNR shock is $B\gtrsim 0.5$mG, the SEPs may produce a spectral bump at $10^{-5}-10^{-2}$eV, exceeding the predicted synchrotron component of the leptonic model, and a soft spectral tail at $\gtrsim 100$keV, distinct from the hard spectral slope in the leptonic model. In the middle-aged SNRs IC443 and W44, if the observed gamma-rays are of hadronic origin, the SEP synchrotron radiation with $B\sim 400 - 500 \mu$G can well account for the observed radio flux and spectral slopes, supporting the hadronic origin of gamma-rays. Future microwave to far-infrared and hard X-ray (>100keV) observations are encouraged to constraining the SEP radiation and the gamma-ray origin in SNRs.


title: Energy and system dependence of nuclear modification factors of inclusive charged particles and identified light hadrons measured in p--Pb, Xe--Xe and Pb--Pb collisions with ALICE

abstract: We report recent ALICE results on primary charged particle and neutral meson production in pp, p--Pb, Pb--Pb and Xe--Xe collisions at LHC energies. In this article, measurements of the nuclear modification factors $R_{\rm AA}$ of primary charged particles and of light neutral mesons in Pb--Pb, in Xe--Xe and in p--Pb collisions in a wide $p_{\rm T}$ range and different centrality classes are discussed. We compare the nuclear modification factors obtained for different collision systems as a function of transverse momentum, collision centrality as well as charged particle multiplicity (${\rm d}N_{\rm ch} / {\rm d}\eta$). We also present comparison of experimental results to model calculations.


title: Mechanomyography based closed-loop Functional Electrical Stimulation cycling system

abstract: Functional Electrical Stimulation (FES) systems are successful in restoring motor function and supporting paralyzed users. Commercially available FES products are open loop, meaning that the system is unable to adapt to changing conditions with the user and their muscles which results in muscle fatigue and poor stimulation protocols. This is because it is difficult to close the loop between stimulation and monitoring of muscle contraction using adaptive stimulation. FES causes electrical artefacts which make it challenging to monitor muscle contractions with traditional methods such as electromyography (EMG). We look to overcome this limitation by combining FES with novel mechanomyographic (MMG) sensors to be able to monitor muscle activity during stimulation in real time. To provide a meaningful task we built an FES cycling rig with a software interface that enabled us to perform adaptive recording and stimulation, and then combine this with sensors to record forces applied to the pedals using force sensitive resistors (FSRs), crank angle position using a magnetic incremental encoder and inputs from the user using switches and a potentiometer. We illustrated this with a closed-loop stimulation algorithm that used the inputs from the sensors to control the output of a programmable RehaStim 1 FES stimulator (Hasomed) in real-time. This recumbent bicycle rig was used as a testing platform for FES cycling. The algorithm was designed to respond to a change in requested speed (RPM) from the user and change the stimulation power (% of maximum current mA) until this speed was achieved and then maintain it.


title: Pupil Plane Phase Apodization

abstract: Phase apodization coronagraphs are implemented in a pupil plane to create a dark hole in the science camera focal plane. They are successfully created as "Apodizing Phase Plates" (APPs) using classical optical manufacturing, and as "vector-APPs" using liquid-crystal patterning with essentially achromatic performance. This type of coronagraph currently delivers excellent broadband contrast ($\sim$10$^{-5}$) at small angular separations (few $\lambda/D$) at ground-based telescopes, owing to their insensitivity to tip/tilt errors.


title: Active Learning for Interactive Neural Machine Translation of Data Streams

abstract: We study the application of active learning techniques to the translation of unbounded data streams via interactive neural machine translation. The main idea is to select, from an unbounded stream of source sentences, those worth to be supervised by a human agent. The user will interactively translate those samples. Once validated, these data is useful for adapting the neural machine translation model. We propose two novel methods for selecting the samples to be validated. We exploit the information from the attention mechanism of a neural machine translation system. Our experiments show that the inclusion of active learning techniques into this pipeline allows to reduce the effort required during the process, while increasing the quality of the translation system. Moreover, it enables to balance the human effort required for achieving a certain translation quality. Moreover, our neural system outperforms classical approaches by a large margin.


title: SPH Consistent With Explicit LES

abstract: The aim of this paper is to introduce a consistent velocity smoothing method for smoothed particle hydrodynamics (SPH). First the locally averaged Navier-Stokes equations are derived in a mathematically rigorous way to demonstrate the "missing" turbulent stress in standard SPH formulations. It is then shown that with a proper choice of velocity smoothing, SPH and large eddy simulation (LES) equivalently solve the same set of filtered equations that require closure approximations. The only difference between SPH and LES, as demonstrated in this paper is the representation of governing equations; for the former the equations are in integro-differential form whereas for the latter they are in differential form. One direct consequence of this equivalence between SPH and LES is that turbulence modeling techniques originally developed for LES can easily be adopted into this version of SPH. Our representation of the sub-grid stress tensor in integral form will provide insight into alternative approaches for dealing with turbulence modeling. Although the use of the Smagorinsky model is the common practice for turbulence modeling in LES, it will be shown that for SPH the most natural choice is to use approximate deconvolution methods. The other particularly fundamental consequence of our choice of velocity smoothing is that the resulting filtered equations are nonconservative in nature and a correct Lagrangian cannot be easily constructed.


title: Recurrently Exploring Class-wise Attention in A Hybrid Convolutional and Bidirectional LSTM Network for Multi-label Aerial Image Classification

abstract: Aerial image classification is of great significance in remote sensing community, and many researches have been conducted over the past few years. Among these studies, most of them focus on categorizing an image into one semantic label, while in the real world, an aerial image is often associated with multiple labels, e.g., multiple object-level labels in our case. Besides, a comprehensive picture of present objects in a given high resolution aerial image can provide more in-depth understanding of the studied region. For these reasons, aerial image multi-label classification has been attracting increasing attention. However, one common limitation shared by existing methods in the community is that the co-occurrence relationship of various classes, so called class dependency, is underexplored and leads to an inconsiderate decision. In this paper, we propose a novel end-to-end network, namely class-wise attention-based convolutional and bidirectional LSTM network (CA-Conv-BiLSTM), for this task. The proposed network consists of three indispensable components: 1) a feature extraction module, 2) a class attention learning layer, and 3) a bidirectional LSTM-based sub-network. Particularly, the feature extraction module is designed for extracting fine-grained semantic feature maps, while the class attention learning layer aims at capturing discriminative class-specific features. As the most important part, the bidirectional LSTM-based sub-network models the underlying class dependency in both directions and produce structured multiple object labels. Experimental results on UCM multi-label dataset and DFC15 multi-label dataset validate the effectiveness of our model quantitatively and qualitatively.


title: DCASE 2018 Challenge - Task 5: Monitoring of domestic activities based on multi-channel acoustics

abstract: The DCASE 2018 Challenge consists of five tasks related to automatic classification and detection of sound events and scenes. This paper presents the setup of Task 5 which includes the description of the task, dataset and the baseline system. In this task, it is investigated to which extent multi-channel acoustic recordings are beneficial for the purpose of classifying domestic activities. The goal is to exploit spectral and spatial cues independent of sensor location using multi-channel audio. For this purpose we provided a development and evaluation dataset which are derivatives of the SINS database and contain domestic activities recorded by multiple microphone arrays. The baseline system, based on a Neural Network architecture using convolutional and dense layer(s), is intended to lower the hurdle to participate the challenge and to provide a reference performance.


title: The Haldane model under quenched disorder

abstract: We study the half-filled Haldane model with Anderson and binary disorder and determine its phase diagram, as a function of the Haldane flux and staggered sub-lattice potential, for increasing disorder strength. We establish that disorder stabilizes topologically nontrivial phases in regions of the phase diagram where the clean limit is topologically trivial. At small disorder strength, our results agree with analytical predictions obtained using a first order self-consistent Born approximation, and extend to the intermediate and large disorder values where this perturbative approach fails. We further characterize the phases according to their gapless or gapped nature by determining the spectral weight at the Fermi level. We find that gapless topological nontrivial phases are supported for both Anderson and binary disorder. In the binary case, we find a reentrant topological phase where, starting from a trivial region, a topological transition occurs for increasing staggered potential $\eta$, followed by a second topological transition to the trivial phase for higher values of $\eta$.


title: Comparison of FaaS Orchestration Systems

abstract: Since the appearance of Amazon Lambda in 2014, all major cloud providers have embraced the Function as a Service (FaaS) model, because of its enormous potential for a wide variety of applications. As expected (and also desired), the competition is fierce in the serverless world, and includes aspects such as the run-time support for the orchestration of serverless functions. In this regard, the three major production services are currently Amazon Step Functions (December 2016), Azure Durable Functions (June 2017), and IBM Composer (October 2017), still young and experimental projects with a long way ahead. In this article, we will compare and analyze these three serverless orchestration systems under a common evaluation framework. We will study their architectures, programming and billing models, and their effective support for parallel execution, among others. Through a series of experiments, we will also evaluate the run-time overhead of the different infrastructures for different types of workflows.


title: Modular Sensor Fusion for Semantic Segmentation

abstract: Sensor fusion is a fundamental process in robotic systems as it extends the perceptual range and increases robustness in real-world operations. Current multi-sensor deep learning based semantic segmentation approaches do not provide robustness to under-performing classes in one modality, or require a specific architecture with access to the full aligned multi-sensor training data. In this work, we analyze statistical fusion approaches for semantic segmentation that overcome these drawbacks while keeping a competitive performance. The studied approaches are modular by construction, allowing to have different training sets per modality and only a much smaller subset is needed to calibrate the statistical models. We evaluate a range of statistical fusion approaches and report their performance against state-of-the-art baselines on both real-world and simulated data. In our experiments, the approach improves performance in IoU over the best single modality segmentation results by up to 5%. We make all implementations and configurations publicly available.


title: Fast Analog Transmission for High-Mobility Wireless Data Acquisition in Edge Learning

abstract: By implementing machine learning at the network edge, edge learning trains models by leveraging rich data distributed at edge devices (e.g., smartphones and sensors) and in return endow on them capabilities of seeing, listening, and reasoning. In edge learning, the need of high-mobility wireless data acquisition arises in scenarios where edge devices (or even servers) are mounted on the ground or aerial vehicles. In this paper, we present a novel solution, called fast analog transmission (FAT), for high- mobility data acquisition in edge-learning systems, which has several key features. First, FAT incurs low-latency. Specifically, FAT requires no source-and-channel coding and no channel training via the proposed technique of Grassmann analog encoding (GAE) that encodes data samples into subspace matrices. Second, FAT supports spatial multiplexing by directly transmitting analog vector data over an antenna array. Third, FAT can be seamlessly integrated with edge learning (i.e., training of a classifier model in this work). In particular, by applying a Grassmannian-classification algorithm from computer vision, the received GAE encoded data can be directly applied to training the model without decoding and conversion. This design is found by simulation to outperform conventional schemes in learning accuracy due to its robustness against data distortion induced by fast fading.


title: On the Tree Structure of Orderings and Valuations on Rings

abstract: Let $R$ be a not necessarily commutative ring with $1.$ In the present paper we first introduce a notion of quasi-orderings, which axiomatically subsumes all the orderings and valuations on $R$. We proceed by uniformly defining a coarsening relation $\leq$ on the set $\mathcal{Q}(R)$ of all quasi-orderings on $R.$ One of our main results states that $(\mathcal{Q}(R),\leq')$ is a rooted tree for some slight modification $\leq'$ of $\leq,$ i.e. a partially ordered set admitting a maximum such that for any element there is a unique chain to that maximum. As an application of this theorem we obtain that $(\mathcal{Q}(R),\leq')$ is a spectral set, i.e. order-isomorphic to the spectrum of some commutative ring with $1.$ We conclude this paper by studying $\mathcal{Q}(R)$ as a topological space.


title: Electronic Structure of Exfoliated and Epitaxial Hexagonal Boron Nitride

abstract: Hexagonal boron nitride (hBN) is an essential component in van der Waals heterostructures as it provides high quality and weakly interacting interfaces that preserve the electronic properties of adjacent materials. While exfoliated flakes of hBN have been extensively studied using electron transport and optical probes, detailed experimental measurements of the energy- and momentum- dependent electronic excitation spectrum are lacking. Here, we directly determine the full valence band (VB) electronic structure of micron-sized exfoliated flakes of hBN using angle-resolved photoemission spectroscopy with micrometer spatial resolution. We identify the {\pi}- and {\sigma}-band dispersions, the hBN stacking order and determine a total VB bandwidth of 19.4 eV. We compare these results with electronic structure data for epitaxial hBN on graphene on silicon carbide grown in situ using a borazine precursor. The epitaxial growth and electronic properties are investigated using photoe- mission electron microscopy. Our measurements show that the fundamental electronic properties of hBN are highly dependent on the fabrication strategy.


title: Towards Optimal Grouping and Resource Allocation for Multicast Streaming in LTE

abstract: Multimedia traffic is predicted to account for 82% of the total data traffic by the year 2020. With the increasing popularity of video streaming applications like YouTube, Netflix, Amazon Prime Video, popular video content is often required to be delivered to a large number of users simultaneously. Multicast transmission can be used for catering to such applications efficiently. The common content can be transmitted to the users on the same resources resulting in considerable resource conservation. This paper proposes various schemes for efficient grouping and resource allocation for multicast transmission in LTE. The optimal grouping and resource allocation problems are shown to be NP-hard and so, we propose heuristic algorithms for both these problems. We also formulate a Simulated Annealing based algorithm to approximate the optimal resource allocation for our problem. The LP-relaxation based resource allocation proposed by us results in allocations very close to the estimated optimal.


title: Extreme Network Compression via Filter Group Approximation

abstract: In this paper we propose a novel decomposition method based on filter group approximation, which can significantly reduce the redundancy of deep convolutional neural networks (CNNs) while maintaining the majority of feature representation. Unlike other low-rank decomposition algorithms which operate on spatial or channel dimension of filters, our proposed method mainly focuses on exploiting the filter group structure for each layer. For several commonly used CNN models, including VGG and ResNet, our method can reduce over 80% floating-point operations (FLOPs) with less accuracy drop than state-of-the-art methods on various image classification datasets. Besides, experiments demonstrate that our method is conducive to alleviating degeneracy of the compressed network, which hurts the convergence and performance of the network.


title: Second Order Langevin Equation and Definition of Quantum Gravity By Stochastic Quantisation

abstract: Euclidean quantum gravity might be defined by stochastic quantisation that is governed by a higher order Langevin equation rather than a first order stochastic equation. In a transitory phase where the Lorentz time cannot be defined, the parameter that orders the evolution of quantum gravity phenomena is the stochastic time. This changes the definition of causality in the period of primordial cosmology. The prediction of stochastically quantised gravity is that there will a transition from an oscillating quantum phase to a semi-classical one, when the Lorentz time emerges. The end of the transition, as it can be observed from now and described by inflation models, is a diluted Universe, following the inflation phenomenological evolution. It is filled at the beginning with scattered classical primordial black holes. The smallest ones will quickly decay in matter, with a standard quantum field theory evolution till our period. The stable heavier black holes will remain, forming a good fraction of the dark matter and the large black holes observed in the galaxies. In a theoretically related way, this framework suggests the possibility of a gravitational parton content for "point-like" particles, in the same five dimensional quantum field theory context as in the primordial cosmology, with a (+----) signature for the 5d metrics. The very precise and explicit result expressed in this paper is actually far more modest than its motivation. We compute explicitly the meaning of a second order Langevin equation in zero dimensions and define precisely what is second order stochastic quantisation in a soluble case.


title: A Metalanguage for Guarded Iteration

abstract: Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of guardedness in symmetric monoidal categories, which serves as a unifying framework for various examples from program semantics, process algebra, and beyond. In the present paper, we propose a generic metalanguage for guarded iteration based on combining this notion with the fine-grain call-by-value paradigm, which we intend as a unifying programming language for guarded and unguarded iteration in the presence of computational effects. We give a generic (categorical) semantics of this language over a suitable class of strong monads supporting guarded iteration, and show it to be in touch with the standard operational behaviour of iteration by giving a concrete big-step operational semantics for a certain specific instance of the metalanguage and establishing soundness and (computational) adequacy for this case.


title: Optimal Noise in a Stochastic Model for Local Search

abstract: We develop a prototypical stochastic model for local search around a given home. The stochastic dynamic model is motivated by experimental findings of the motion of a fruit fly around a given spot of food but shall generally describe local search behavior. The local search consists of a sequence of two epochs. In the first the searcher explores new space around the home whereas it returns to the home during the second epoch. In the proposed two dimensional model both tasks are described by the same stochastic dynamics. The searcher moves with constant speed and its angular dynamics is driven by a symmetric {\alpha}-stable noise source. The latter stands for the uncertainty to decide the new direction of motion. The main ingredient of the model is the nonlinear interaction dynamics of the searcher with its home. In order to determine the new heading direction, the angles of its position to the home and of the heading vector need to be known. A bound state to the home is realized by a permanent switch of a repulsive and attractive forcing of the heading direction from the position direction corresponding to search and return epochs. Our investigation elucidates the analytic tractability of the deterministic and stochastic dynamics. The noise enables a faster finding of a target distinct from the home with optimal intensity. This optimal situation is related to the noise dependent relaxation time. It is uniquely defined for all {\alpha} and distinguishes between the stochastic dynamics before and after its value. For times large compared to this we derive the corresponding Smoluchowski equation and find diffusive spreading of searcher in the space. As result of its simplicity the model aims to reproduce the local search behavior of simple units during their exploration of surrounding space and their quasi-periodic return to a home.


title: Algebraic spectral curves over $\mathbb Q$ and their tau-functions

abstract: Let $W(z)$ be a $n\times n$ matrix polynomial with rational coefficients. Denote $C$ the spectral curve $\det \left( w\cdot{\bf 1}-W(z)\right) =0$. Under some natural assumptions about the structure of $W(z)$ we prove that certain combinations of logarithmic derivatives of the Riemann theta-function of $C$ of an arbitrary order starting from the third one all take rational values at the point of the Jacobi variety $J(C)$ specified by the line bundle of eigenvectors of $W(z)$.


title: Sociophysics of Intractable Conflicts: Three-Group Dynamics

abstract: We extend a sociophysics model of two-group conflict dynamics to three groups. The model with attractors and chaos is proposed as a tool for exploring and managing intractable conflicts. It can be used to generate scenarios of trajectories and outcomes. We use mean-field theory for long-range interactions to study the time dependence of the three grousp' mean attitudes. We find that at some intermediate temperatures the group mean attitudes oscillate in time. Independent of initial conditions, trajectories converge overtime to an attractor in the three-dimensional space of mean attitudes. We use Monte Carlo simulations to explore short-range group interactions and find chaotic unpredictable time variation of attitudes at high temperatures. For illustrative purposes we apply the model to the Bosnia and Herze-govina conflict.


title: Cumulative distribution functions for the five simplest natural exponential families

abstract: Suppose that the distribution of $X_a$ belongs to a natural exponential family concentrated on the nonegative integers and is such that $\E(z^{X_a})=f(az)/f(a)$. Assume that $\Pr(X_a\leq k)$ has the form $c_k\int_a ^{\infty}u^k\mu(du)$ for some number $c_k$ and some positive measure $\mu,$ both independent of $a.$ We show that this asumption implies that the exponential family is either a binomial, or the Poisson, or a negative binomial family. Next, we study an analogous property for continuous distributions and we find that it is satisfied if and only the families are either Gaussian or Gamma. Ultimately, the proofs rely on the fact that only Moebius functions preserve the cross ratio, \textsc{Keywords:} Binomial, Poisson and negative binomial distributions. Gaussian and Gamma distributions. Moebius transforms. Cross ratio.


title: Search and Return Model for Stochastic Path Integrators

abstract: We extend a recently introduced prototypical stochastic model describing uniformly the search and return of objects looking for new food sources around a given home. The model describes the kinematic motion of the object with constant speed in two dimensions. The angular dynamics is driven by noise and describes a "pursuit" and "escape" behavior of the heading and the position vectors. Pursuit behavior ensures the return to the home and the escaping between the two vectors realizes exploration of space in the vicinity of the given home. Noise is originated by environmental influences and during decision making of the object. We take symmetric {\alpha}-stable noise since such noise is observed in experiments. We now investigate for the simplest possible case, the consequences of limited knowledge of the position angle of the home. We find that both noise type and noise strength can significantly increase the probability of returning to the home. First, we review shortly main findings of the model presented in the former manuscript. These are the stationary distance distribution of the noise driven conservative dynamics and the observation of an optimal noise for finding new food sources. Afterwards, we generalize the model by adding a constant shift {\gamma} within the interaction rule between the two vectors. The latter might be created by a permanent uncertainty of the correct home position. Non vanishing shifts transform the kinematics of the searcher to a dissipative dynamics. For the latter we discuss the novel deterministic properties and calculate the stationary spatial distribution around the home.


title: Protostellar half-life: new methodology and estimates

abstract: (Abridged) Protostellar systems evolve from prestellar cores, through the deeply embedded stage and then disk-dominated stage, before they end up on the main sequence. Knowing how much time a system spends in each stage is crucial for understanding how stars and associated planetary systems form, because a key constraint is the time available to form such systems. Equally important is understanding what the spread in these time scales is. The most commonly used method for inferring protostellar ages is to assume the lifetime of one evolutionary stage, and then scale this to the relative number of protostars in the other stages, i.e., assuming steady state. This method does not account for the underlying age distribution and apparent stochasticity of star formation, nor that relative populations are not in steady state. To overcome this, we propose a new scheme where the lifetime of each protostellar stage follows a distribution based on the formalism of sequential nuclear decay. The main assumptions are: Class 0 sources follow a straight path to Class III sources, the age distribution follows a binomial distribution, and the star-formation rate is constant. The results are that the half-life of Class 0, Class I, and Flat sources are (2.4+/-0.2)%, (4.4+/-0.3)%, and (4.3+/-0.4)% of the Class II half-life, respectively, which translates to 47+/-4, 88+/-7, and 87+/-8 kyr, respectively, for a Class II half-life of 2 Myr for protostars in the Gould Belt clouds with more than 100 protostars. The mean age of these clouds is 1.2+/-0.1 Myr, and the star formation rate is (8.3+/-0.5)x10^-4 Msun/yr. The critical parameters in arriving at these numbers are the assumed half-life of the Class II stage, and the assumption that the star-formation rate and half-lives are constant. This method presents a first step in moving from steady-state to non-steady-state solutions of protostellar populations.


title: Estimation of the height of the first interaction in gamma-ray showers observed by Cherenkov telescopes

abstract: Very high energy gamma rays entering the atmosphere initiate Extensive Air Showers (EAS). The Cherenkov light induced by an EAS can be observed by ground-based telescopes to study the primary gamma rays. An important parameter of an EAS, determining its evolution, is the height of the first interaction of the primary particle. However, this variable cannot be directly measured by Cherenkov telescopes. We study two simple, independent methods for the estimation of the first interaction height. We test the methods using the Monte Carlo simulations for the 4 Large Size Telescopes (LST) that are part of the currently constructed Cherenkov Telescope Array (CTA) Observatory. We find that using such an estimated parameter in the gamma/hadron separation can bring a mild improvement (~10-20%) in the sensitivity in the energy range ~30-200 GeV.


title: Real Time Lidar and Radar High-Level Fusion for Obstacle Detection and Tracking with evaluation on a ground truth

abstract: - Both Lidars and Radars are sensors for obstacle detection. While Lidars are very accurate on obstacles positions and less accurate on their velocities, Radars are more precise on obstacles velocities and less precise on their positions. Sensor fusion between Lidar and Radar aims at improving obstacle detection using advantages of the two sensors. The present paper proposes a real-time Lidar/Radar data fusion algorithm for obstacle detection and tracking based on the global nearest neighbour standard filter (GNN). This algorithm is implemented and embedded in an automative vehicle as a component generated by a real-time multisensor software. The benefits of data fusion comparing with the use of a single sensor are illustrated through several tracking scenarios (on a highway and on a bend) and using real-time kinematic sensors mounted on the ego and tracked vehicles as a ground truth.


title: Curvature correction to the field emission current

abstract: The curvature of field emitter tips leads to an altered tunneling potential that assumes significance when the radius of curvature is small. We provide here an analytical curvature-corrected formula for the field emission current from smooth vertically aligned emitter tips and test its applicability across a range of apex radius, $R_a$, and local electric field, $E_a$. It is found to give excellent results for $R_a > 10$nm with errors generally less than $10\%$. Surprisingly, for the uncorrected potential, we find the errors to be high even at $R_a = 100$nm ($ > 35\%$ at $E_a = 3$V/nm) and conclude that curvature correction is essential for apex radius less than a micron.


title: Controllable nonlinear effects in a hybrid optomechanical semiconductor microcavity containing a quantum dot and Kerr medium

abstract: We theoretically investigate the nonlinear effects in a hybrid quantum optomechanical system consisting of two optically coupled semiconductor microcavities containing a quantum dot and a Kerr nonlinear substrate.The steady state behavior of the mean intracavity optical field demonstrates that the system can be used as an all optical switch. We further investigate the spectrum of small fluctuations in the mechanical displacement of the movable distributed Bragg reflectors (DBR) and observe that normal mode splitting (NMS) takes place for high Kerr nonlinearity and pump power. In addition, we have shown that steady state of the system exhibits two possible bipartite entanglements by proper tuning of the system parameters. The entanglement results suggest that the proposed system has the potential to be used in quantum communication platform. Our work demonstrates that the Kerr-nonlinearity can effectively control the optical properties of the hybrid system, which can be used to design efficient optical devices.


title: Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof

abstract: Type classes are one of Haskell's most popular features and extend its type system with ad-hoc polymorphism. Since their conception, there were useful features that could not be offered because of the desire to offer two correctness properties: coherence and global uniqueness of instances. Coherence essentially guarantees that program semantics are independent from type-checker internals. Global uniqueness of instances is relied upon by libraries for enforcing, for example, that a single order relation is used for all manipulations of an ordered binary tree. The features that could not be offered include explicit dictionary application and local instances, which would be highly useful in practice. We propose a new design for offering explicit dictionary application, without compromising coherence and global uniqueness. We introduce a novel criterion based on GHC's type argument roles to decide when a dictionary application is safe with respect to global uniqueness of instances. We preserve coherence by detecting potential sources of incoherence, and prove it formally. Moreover, our solution makes it possible to use local dictionaries. In addition to developing our ideas formally, we have implemented a working prototype in GHC. This report contains the full formalisation and coherence proof.


title: A dynamical approach to ancilla assisted quantum thermometry

abstract: A scheme for improving the sensitivity of quantum thermometry is proposed where the sensing quantum system used to recover the temperature of an external bath is dynamically coupled with an external ancilla (a meter) via a Hamiltonian term $\hat{H}_I$. At variance with previous approaches, our scheme relies neither on the presence of initial entanglement between the sensor and the meter, nor on the possibility of performing joint measurements on the two systems. The advantages we report arise from the fact that the presence of $\hat{H}_I$ interferes with the bath-sensor interaction, transforming the sensor into an effective transducer which extracts the intrinsically incoherent information on the bath temperature, and maps it into coherences in the meter where it can finally be recovered by local measurements.


title: The Large Area Detector onboard the eXTP mission

abstract: The eXTP (enhanced X-ray Timing and Polarimetry) mission is a major project of the Chinese Academy of Sciences (CAS) and China National Space Administration (CNSA) currently performing an extended phase A study and proposed for a launch by 2025 in a low-earth orbit. The eXTP scientific payload envisages a suite of instruments (Spectroscopy Focusing Array, Polarimetry Focusing Array, Large Area Detector and Wide Field Monitor) offering unprecedented simultaneous wide-band X-ray spectral, timing and polarimetry sensitivity. A large European consortium is contributing to the eXTP study and it is expected to provide key hardware elements, including a Large Area Detector (LAD). The LAD instrument for eXTP is based on the design originally proposed for the LOFT mission within the ESA context. The eXTP/LAD envisages a deployed 3.4 m2 effective area in the 2-30 keV energy range, achieved through the technology of the large-area Silicon Drift Detectors - offering a spectral resolution of up to 200 eV FWHM at 6 keV - and of capillary plate collimators - limiting the field of view to about 1 degree. In this paper we provide an overview of the LAD instrument design, including new elements with respect to the earlier LOFT configuration.


title: Large deformation mixed finite elements for smart structures

abstract: Recently, "Tangential Displacement Normal Normal Stress" (TDNNS) elements were introduced for small-deformation piezoelectric structures. Benefits of these ele- ments are that they are free from shear locking in thin structures and volume locking for nearly incompressible materials. We extend these elements to the large defor- mation case for electro-active polymers in the framework of an updated Lagrangian method. We observe that convergence does not deteriorate as the material becomes nearly incompressible with growing Lam\'e parameter $\lambda$, and that the discretization of slender structures by flat volume elements is feasible. The elements are freely available in the open source software package Netgen/NGSolve.


title: The construction of Hom left-symmetric conformal bialgebras

abstract: In this paper, we first introduce the notion of Hom-left-symmetric conformal bialgebras and show some nontrivial examples. Also, we present construction methods of matched pairs of Hom-Lie conformal algebras and Hom-left-symmetric conformal algebras. Finally, we prove that a finite Hom-left-symmetric conformal bialgebra is free as a $\mathbb{C}[\partial]$-module is equivalent to a Hom-parak\"{a}hler Lie conformal algebra. In particular, we investigate the coboundary Hom-left-symmetric conformal bialgebras.


title: Uncertainty Quantification in CNN-Based Surface Prediction Using Shape Priors

abstract: Surface reconstruction is a vital tool in a wide range of areas of medical image analysis and clinical research. Despite the fact that many methods have proposed solutions to the reconstruction problem, most, due to their deterministic nature, do not directly address the issue of quantifying uncertainty associated with their predictions. We remedy this by proposing a novel probabilistic deep learning approach capable of simultaneous surface reconstruction and associated uncertainty prediction. The method incorporates prior shape information in the form of a principal component analysis (PCA) model. Experiments using the UK Biobank data show that our probabilistic approach outperforms an analogous deterministic PCA-based method in the task of 2D organ delineation and quantifies uncertainty by formulating distributions over predicted surface vertex positions.


title: Deducing Three Gap Theorem From Rauzy-Veech Induction

abstract: The Three Gap Theorem states that there are at most three distinct lengths of gaps if one places $n$ points on a circle, at angles of $z, 2z, 3z, \ldots nz$ from the starting point. The theorem was first proven in 1958 by S\'os and many proofs have been found since then. In this note we show how the Three Gap Theorem can easily be deduced by using Rauzy-Veech induction.


title: Stochastic Policy Gradient Ascent in Reproducing Kernel Hilbert Spaces

abstract: Reinforcement learning consists of finding policies that maximize an expected cumulative long-term reward in a Markov decision process with unknown transition probabilities and instantaneous rewards. In this paper, we consider the problem of finding such optimal policies while assuming they are continuous functions belonging to a reproducing kernel Hilbert space (RKHS). To learn the optimal policy we introduce a stochastic policy gradient ascent algorithm with three unique novel features: (i) The stochastic estimates of policy gradients are unbiased. (ii) The variance of stochastic gradients is reduced by drawing on ideas from numerical differentiation. (iii) Policy complexity is controlled using sparse RKHS representations. Novel feature (i) is instrumental in proving convergence to a stationary point of the expected cumulative reward. Novel feature (ii) facilitates reasonable convergence times. Novel feature (iii) is a necessity in practical implementations which we show can be done in a way that does not eliminate convergence guarantees. Numerical examples in standard problems illustrate successful learning of policies with low complexity representations which are close to stationary points of the expected cumulative reward.


title: Elliptic problems with growth in nonreflexive Orlicz spaces and with measure or $L^1$ data

abstract: We investigate solutions to nonlinear elliptic Dirichlet problems of the type \[ \left\{\begin{array}{cl} - {\rm div} A(x,u,\nabla u)= \mu &\qquad \mathrm{ in}\qquad \Omega, u=0 &\qquad \mathrm{ on}\qquad \partial\Omega, \end{array}\right. \] where $\Omega$ is a bounded Lipschitz domain in $\mathbb{R}^n$ and $A(x,z,\xi)$ is a Carath\'eodory's function. The growth of~the~monotone vector field $A$ with respect to the $(z,\xi)$ variables is expressed through some $N$-functions $B$ and $P$. We do not require any particular type of growth condition of such functions, so we deal with problems in nonreflexive spaces. When the problem involves measure data and weakly monotone operator, we prove existence. For $L^1$-data problems with strongly monotone operator we infer also uniqueness and regularity of~solutions and their gradients in the scale of Orlicz-Marcinkiewicz spaces.


title: Graphene: Semantically-Linked Propositions in Open Information Extraction

abstract: We present an Open Information Extraction (IE) approach that uses a two-layered transformation stage consisting of a clausal disembedding layer and a phrasal disembedding layer, together with rhetorical relation identification. In that way, we convert sentences that present a complex linguistic structure into simplified, syntactically sound sentences, from which we can extract propositions that are represented in a two-layered hierarchy in the form of core relational tuples and accompanying contextual information which are semantically linked via rhetorical relations. In a comparative evaluation, we demonstrate that our reference implementation Graphene outperforms state-of-the-art Open IE systems in the construction of correct n-ary predicate-argument structures. Moreover, we show that existing Open IE approaches can benefit from the transformation process of our framework.


title: A study on spline quasi-interpolation based quadrature rules for the isogeometric Galerkin BEM

abstract: Two recently introduced quadrature schemes for weakly singular integrals [Calabr\`o et al. J. Comput. Appl. Math. 2018] are investigated in the context of boundary integral equations arising in the isogeometric formulation of Galerkin Boundary Element Method (BEM). In the first scheme, the regular part of the integrand is approximated by a suitable quasi--interpolation spline. In the second scheme the regular part is approximated by a product of two spline functions. The two schemes are tested and compared against other standard and novel methods available in literature to evaluate different types of integrals arising in the Galerkin formulation. Numerical tests reveal that under reasonable assumptions the second scheme convergences with the optimal order in the Galerkin method, when performing $h$-refinement, even with a small amount of quadrature nodes. The quadrature schemes are validated also in numerical examples to solve 2D Laplace problems with Dirichlet boundary conditions.


title: First Hot Corino detected around an Isolated Intermediate-Mass Protostar: Cep\,E-mm

abstract: Intermediate-mass (IM) protostars provide a bridge between the low- and high-mass protostars. Despite their relevance, little is known about their chemical diversity. We want to investigate the molecular richness towards the envelope of IM protostars and to compare their properties with other sources. We have selected the isolated IM Class 0 protostar CepE-mm to carry out an unbiased molecular survey with the IRAM 30m telescope between 72 and 350 GHz with an angular resolution lying in the range 7-34". These data were complemented with NOEMA observations of the spectral bands 85.9 - 89.6 GHz and 216.8 - 220.4 GHz at an angular resolution of 2.3 and 1.4", respectively. 30m spectra show bright emission of O- and N-bearing COMs. We identify three components in the spectral signature: an extremely broad line component associated with the outflowing gas, a narrow line component associated with the cold envelope, and a broad line component tracing the hot corino. NOEMA observations reveal CepE-mm as a binary protostellar system CepE-A and B, separated by 1.7". CepE-A dominates the core continuum emission and powers the high-velocity jet associated with HH377. Our interferometric maps show that COMs arises from a region of 0.7" size around CepE-A. Rotational temperatures were found to lie in the range 20-40 K with column densities ranging from a few 10^15 cm-2 for O-bearing species, down to a few 10^14 cm-2 for N-bearing species. Molecular abundances are similar to those measured towards other low- and intermediate-mass protostars. High-mass hot cores are significantly less abundant in methanol and N-bearing species are more abundant by 3 orders of magnitude.CepE-mm reveals itself as a binary protostellar system with a strong chemical differentiation. The brightest component of the binary is associated with a hot corino. Its properties are similar to those of low-mass hot corinos.


title: Self-Calibration of Cameras with Euclidean Image Plane in Case of Two Views and Known Relative Rotation Angle

abstract: The internal calibration of a pinhole camera is given by five parameters that are combined into an upper-triangular $3\times 3$ calibration matrix. If the skew parameter is zero and the aspect ratio is equal to one, then the camera is said to have Euclidean image plane. In this paper, we propose a non-iterative self-calibration algorithm for a camera with Euclidean image plane in case the remaining three internal parameters --- the focal length and the principal point coordinates --- are fixed but unknown. The algorithm requires a set of $N \geq 7$ point correspondences in two views and also the measured relative rotation angle between the views. We show that the problem generically has six solutions (including complex ones). The algorithm has been implemented and tested both on synthetic data and on publicly available real dataset. The experiments demonstrate that the method is correct, numerically stable and robust.


title: Game of Orbits: A Gaming Approach to Neptune's Discovery

abstract: One reason that the planet Neptune will be remembered for, is to do with the fact that it was the first planet whose existence was postulated before being observed. This was based on analysing deviations in Uranus' orbit. The present study gives a brief account of the history behind the discovery of Neptune, looking at the same, through the conflicting lenses of France and Britain. With this context established, the study then investigates deviations in Uranus' orbit (experimentally found to range from 10,100 km to 21,276,000 km), under a host of different conditions and orientations of the perturbing body (Neptune/Jupiter). This was accomplished using Universe Sandbox 2, which is a physics-based simulation software, presented on the gaming platform, Steam. The paper then examines what these deviations correspond to, as viewed from Earth, finding that the deviation angle ranges between 0.04 arc-seconds and 3.22 arc-seconds. The paper in this way, demonstrates how using games like Universe Sandbox 2, can aid in approaching problems that would be considered difficult to visualize using a purely mathematical approach.


title: Angular distributions in electroweak pion production off nucleons: odd parity hadron terms, strong relative phases and model dependence

abstract: The study of pion production in nuclei is important for signal and background determinations in current and future neutrino oscillation experiments. The first step, however, is to understand the pion production reactions at the free nucleon level. We present an exhaustive study of the charged-current and neutral-current neutrino and antineutrino pion production off nucleons, paying a special attention to the angular distributions of the outgoing pion. We show, using general arguments, that parity violation and time-reversal odd correlations in the weak differential cross sections are generated from the interference between different contributions to the hadronic current that are not relatively real. Next, we present a detailed comparison of three, state of the art, microscopic models for electroweak pion production off nucleons, and we also confront their predictions with polarized electron data, as a test of the vector content of these models. We also illustrate the importance of carrying out a comprehensive test at the level of outgoing pion angular distributions, going beyond comparisons done for partially integrated cross sections, where model differences cancel to a certain extent. Finally, we observe that all charged and neutral current distributions show sizable anisotropies, and identify channels for which parity violating effects are clearly visible. Based on the above results, we conclude that the use of isotropic distributions for the pions in the center of mass of the final pion-nucleon system, as assumed by some of the Monte Carlo event generators, needs to be improved by incorporating the findings of microscopic calculations.


title: Atomic clock performance beyond the geodetic limit

abstract: The passage of time is tracked by counting oscillations of a frequency reference, such as Earth's revolutions or swings of a pendulum. By referencing atomic transitions, frequency (and thus time) can be measured more precisely than any other physical quantity, with the current generation of optical atomic clocks reporting fractional performance below the $10^{-17}$ level. However, the theory of relativity prescribes that the passage of time is not absolute, but impacted by an observer's reference frame. Consequently, clock measurements exhibit sensitivity to relative velocity, acceleration and gravity potential. Here we demonstrate optical clock measurements surpassing the present-day ability to account for the gravitational distortion of space-time across the surface of Earth. In two independent ytterbium optical lattice clocks, we demonstrate unprecedented levels in three fundamental benchmarks of clock performance. In units of the clock frequency, we report systematic uncertainty of $1.4 \times 10^{-18}$, measurement instability of $3.2 \times 10^{-19}$ and reproducibility characterised by ten blinded frequency comparisons, yielding a frequency difference of $[-7 \pm (5)_{stat} \pm (8)_{sys}] \times 10^{-19}$. While differential sensitivity to gravity could degrade the performance of these optical clocks as terrestrial standards of time, this same sensitivity can be used as an exquisite probe of geopotential. Near the surface of Earth, clock comparisons at the $1 \times 10^{-18}$ level provide 1 cm resolution along gravity, outperforming state-of-the-art geodetic techniques. These optical clocks can further be used to explore geophysical phenomena, detect gravitational waves, test general relativity and search for dark matter.


title: Categorial properties of compressed zero-divisor graphs of finite commutative rings

abstract: We define a compressed zero-divisor graph $\varTheta(K)$ of a finite commutative unital ring $K$, where the compression is performed by means of the associatedness relation. We prove that this is the best possible compression which induces a functor $\varTheta$, and that this functor preserves categorial products (in both directions). We use the structure of $\varTheta(K)$ to characterize important classes of finite commutative unital rings, such as local rings and principal ideal rings.


title: Unsupervised Domain Adaptation by Adversarial Learning for Robust Speech Recognition

abstract: In this paper, we investigate the use of adversarial learning for unsupervised adaptation to unseen recording conditions, more specifically, single microphone far-field speech. We adapt neural networks based acoustic models trained with close-talk clean speech to the new recording conditions using untranscribed adaptation data. Our experimental results on Italian SPEECON data set show that our proposed method achieves 19.8% relative word error rate (WER) reduction compared to the unadapted models. Furthermore, this adaptation method is beneficial even when performed on data from another language (i.e. French) giving 12.6% relative WER reduction.


title: Cooling of Many-Body Systems via Selective Interactions

abstract: We propose a model describing $N$ spin-1/2 systems coupled through $N$-order homogeneous interaction terms, in presence of local time-dependent magnetic fields. This model can be experimentally implemented with current technologies in trapped ions and superconducting circuits. By introducing a chain of unitary transformations, we succeed in exactly converting the quantum dynamics of this system into that of $2^{N-1}$ fictitious spin-1/2 dynamical problems. We bring to light the possibility of controlling the unitary evolution of the $N$ spins generating GHZ states under specific time-dependent scenarios. Moreover, we show that by appropriately engineering the time-dependence of the coupling parameters, one may choose a specific subspace in which the $N$-spin system dynamics takes place. This dynamical feature, which we call time-dependent selective interaction, can generate a cooling effect of all spins in the system.


title: Towards an automated approach for bug fix pattern detection

abstract: The characterization of bug datasets is essential to support the evaluation of automatic program repair tools. In a previous work, we manually studied almost 400 human-written patches (bug fixes) from the Defects4J dataset and annotated them with properties, such as repair patterns. However, manually finding these patterns in different datasets is tedious and time-consuming. To address this activity, we designed and implemented PPD, a detector of repair patterns in patches, which performs source code change analysis at abstract-syntax tree level. In this paper, we report on PPD and its evaluation on Defects4J, where we compare the results from the automated detection with the results from the previous manual analysis. We found that PPD has overall precision of 91% and overall recall of 92%, and we conclude that PPD has the potential to detect as many repair patterns as human manual analysis.


title: Sparse Bayesian Imaging of Solar Flares

abstract: We consider imaging of solar flares from NASA RHESSI data as a parametric imaging problem, where flares are represented as a finite collection of geometric shapes. We set up a Bayesian model in which the number of objects forming the image is a priori unknown, as well as their shapes. We use a Sequential Monte Carlo algorithm to explore the corresponding posterior distribution. We apply the method to synthetic and experimental data, largely known in the RHESSI community. The method reconstructs improved images of solar flares, with the additional advantage of providing uncertainty quantification of the estimated parameters.


title: Model predictive control of linear systems with preview information: feasibility, stability and inherent robustness

abstract: The use of available disturbance predictions within a nominal model predictive control formulation is studied. The main challenge that arises is the loss of recursive feasibility and stability guarantees when a persistent disturbance is present in the model and on the system. We show how standard stabilizing terminal conditions may be modified to account for the use of disturbances in the prediction model. Robust stability and feasibility are established under the assumption that the disturbance change across sampling instances is limited.


title: On the Most Informative Boolean Functions of the Very Noisy Channel

abstract: Let $X^n$ be a uniformly distributed $n$-dimensional binary vector, and $Y^n$ be the result of passing $X^n$ through a binary symmetric channel (BSC) with crossover probability $\alpha$. A recent conjecture postulated by Courtade and Kumar states that for any Boolean function $f:\{0,1\}^n\to\{0,1\}$, $I(f(X^n);Y^n)\le 1-H(\alpha)$. Although the conjecture has been proved to be true in the dimension-free high noise regime by Samorodnitsky, here we present a calculus-based approach to show a dimension-dependent result by examining the second derivative of $H(\alpha)-H(f(X^n)|Y^n)$ at $\alpha=1/2$. Along the way, we show that the dictator function is the most informative function in the high noise regime.


title: Riemannian geometry for shape analysis and computational anatomy

abstract: Shape analysis and compuational anatomy both make use of sophisticated tools from infinite-dimensional differential manifolds and Riemannian geometry on spaces of functions. While comprehensive references for the mathematical foundations exist, it is sometimes difficult to gain an overview how differential geometry and functional analysis interact in a given problem. This paper aims to provide a roadmap to the unitiated to the world of infinite-dimensional Riemannian manifolds, spaces of mappings and Sobolev metrics: all tools used in computational anatomy and shape analysis.


title: The story of magnetism: from Heisenberg, Slater, and Stoner to Van Vleck, and the issues of exchange and correlation

abstract: This article is devoted to the development of the central ideas in the field of magnetism. The presentation is semi-technical in nature and it roughly follows the chronological order. The key contributions of Van Vleck, Dorfman, Pauli, Heisenberg, and Landau are presented. Then the advent of the field of itinerant electron magnetism starting with the investigations of Bloch and Wigner, and more successful formulation by Slater and Stoner is presented. The physical basis of the Slater-Stoner theory is discussed and its problems are summarized. Then, an overview of the debate between itinerant electron view of Stoner and localized electron view of Heisenberg is presented. Connected with this debate are the issues of exchange interactions. The issues related to the origin of exchange interaction in Stoner model are discussed. We review the "middle-road" theory of van Vleck and Hurwitz--the very first theory which takes into account the electron correlation effects in the itinerant model. We close our presentation with the discussion of the very important issue of strong electron correlation in the itinerant picture.


title: Variational Inequalities Governed By Strongly Pseudomonotone Operators

abstract: Qualitative and quantitative aspects for variational inequalities governed by strongly pseudomonotone operators on Hilbert space are investigated in this paper. First, we establish a global error bound for the solution set of the given problem with the residual function being the normal map. Second, we will prove that the iterative sequences generated by gradient projection method (GPM) with stepsizes forming a non-summable diminishing sequence of positive real numbers converge to the unique solution of the problem when the operator is bounded over the constraint set. Two counter-examples are given to show the necessity of the boundedness assumption and the variation of stepsizes. We also analyze the convergence rate of the iterative sequences generated by this method. Finally, we give an in-depth comparison between our algorithm and a recent related algorithm through several numerical experiments.


title: Improving Spatiotemporal Self-Supervision by Deep Reinforcement Learning

abstract: Self-supervised learning of convolutional neural networks can harness large amounts of cheap unlabeled data to train powerful feature representations. As surrogate task, we jointly address ordering of visual data in the spatial and temporal domain. The permutations of training samples, which are at the core of self-supervision by ordering, have so far been sampled randomly from a fixed preselected set. Based on deep reinforcement learning we propose a sampling policy that adapts to the state of the network, which is being trained. Therefore, new permutations are sampled according to their expected utility for updating the convolutional feature representation. Experimental evaluation on unsupervised and transfer learning tasks demonstrates competitive performance on standard benchmarks for image and video classification and nearest neighbor retrieval.


title: Benchmarking of Gaussian boson sampling using two-point correlators

abstract: Gaussian boson sampling is a promising scheme for demonstrating a quantum computational advantage using photonic states that are accessible in a laboratory and, thus, offer scalable sources of quantum light. In this contribution, we study two-point photon-number correlation functions to gain insight into the interference of Gaussian states in optical networks. We investigate the characteristic features of statistical signatures which enable us to distinguish classical from quantum interference. In contrast to the typical implementation of boson sampling, we find additional contributions to the correlators under study which stem from the phase dependence of Gaussian states and which are not observable when Fock states interfere. Using the first three moments, we formulate the tools required to experimentally observe signatures of quantum interference of Gaussian states using two outputs only. By considering the current architectural limitations in realistic experiments, we further show that a statistically significant discrimination between quantum and classical interference is possible even in the presence of loss, noise, and a finite photon-number resolution. Therefore, we formulate and apply a theoretical framework to benchmark the quantum features of Gaussian boson sampling under realistic conditions.


title: Serre-Tate theory for Calabi-Yau varieties

abstract: Classical Serre-Tate theory describes deformations of ordinary abelian varieties. It implies that every such variety has a canonical lift to characteristic zero and equips its local moduli space with a Frobenius lifting and canonical multiplicative coordinates. A variant of this theory has been obtained for ordinary K3 surfaces by Nygaard and Ogus. In this paper, we construct canonical liftings modulo $p^2$ of varieties with trivial canonical class which are ordinary in the weak sense that the Frobenius acts bijectively on the top cohomology of the structure sheaf. Consequently, we obtain a Frobenius lifting on the moduli space of such varieties. The quite explicit construction uses Frobenius splittings and a relative version of Witt vectors of length two. If the variety has a smooth deformation space and bijective first higher Hasse-Witt operation, the Frobenius lifting gives rise to canonical coordinates. One of the key features of our liftings is that the crystalline Frobenius preserves the Hodge filtration. We also extend Nygaard's approach from K3 surfaces to higher dimensions, and show that no nontrivial families of such varieties exist over simply connected bases with no global one-forms.


title: Relative kinematics of an anchorless network

abstract: Estimating the location of N coordinates in a P dimensional Euclidean space from pairwise distances (or proximity measurements), is a principal challenge in a wide variety of fields. Conventionally, when localizing a static network of immobile nodes, non-linear dimensional reduction techniques are applied on the measured Euclidean distance matrix (EDM) to obtain the relative coordinates upto a rotation and translation. In this article, we focus on an anchorless network of mobile nodes, where the distance measurements between the mobile nodes are time-varying in nature. Furthermore, in an anchorless network the absolute knowledge of any node positions, motion or reference frame is absent. We derive a novel data model which relates the time-varying EDMs to the time-varying relative positions of an anchorless network. Using this data model, we estimate the relative position, relative velocity and higher order derivatives, which are collectively termed as the relative kinematics of the anchorless network. The derived data model is inherently ill-posed, however can be solved using certain relative immobility constraints. We propose elegant closed form solutions to recursively estimate the relative kinematics of the network. For the sake of completeness, estimators are also proposed to find the absolute kinematics of the nodes, given known reference anchors. Cramer-Rao bounds are derived for the new data model and simulations are performed to analyze the performance of the proposed solutions.