title: Decay of approximate solutions for the damped semilinear wave equation on a bounded 1d domain

abstract: In this paper we study the long time behavior for a semilinear wave equation with space-dependent and nonlinear damping term. After rewriting the equation as a first order system, we define a class of approximate solutions that employ tipical tools of hyperbolic systems of conservation laws, such as the Riemann problem. By recasting the problem as a discrete-time nonhomogeneous system, which is related to a probabilistic interpretation of the solution, we provide a strategy to study its long-time behavior uniformly with respect to the mesh size parameter $\Delta x=1/N\to 0$. The proof makes use of the Birkhoff decomposition of doubly stochastic matrices and of accurate estimates on the iteration system as $N\to\infty$. Under appropriate assumptions on the nonlinearity, we prove the exponential convergence in $L^\infty$ of the solution to the first order system towards a stationary solution, as $t\to+\infty$, as well as uniform error estimates for the approximate solutions.


title: Variational Bayesian dropout: pitfalls and fixes

abstract: Dropout, a stochastic regularisation technique for training of neural networks, has recently been reinterpreted as a specific type of approximate inference algorithm for Bayesian neural networks. The main contribution of the reinterpretation is in providing a theoretical framework useful for analysing and extending the algorithm. We show that the proposed framework suffers from several issues; from undefined or pathological behaviour of the true posterior related to use of improper priors, to an ill-defined variational objective due to singularity of the approximating distribution relative to the true posterior. Our analysis of the improper log uniform prior used in variational Gaussian dropout suggests the pathologies are generally irredeemable, and that the algorithm still works only because the variational formulation annuls some of the pathologies. To address the singularity issue, we proffer Quasi-KL (QKL) divergence, a new approximate inference objective for approximation of high-dimensional distributions. We show that motivations for variational Bernoulli dropout based on discretisation and noise have QKL as a limit. Properties of QKL are studied both theoretically and on a simple practical example which shows that the QKL-optimal approximation of a full rank Gaussian with a degenerate one naturally leads to the Principal Component Analysis solution.


title: Arcades: A deep model for adaptive decision making in voice controlled smart-home

abstract: In a voice-controlled smart-home, a controller must respond not only to user's requests but also according to the interaction context. This paper describes Arcades, a system which uses deep reinforcement learning to extract context from a graphical representation of home automation system and to update continuously its behavior to the user's one. This system is robust to changes in the environment (sensor breakdown or addition) through its graphical representation (scale well) and the reinforcement mechanism (adapt well). The experiments on realistic data demonstrate that this method promises to reach long life context-aware control of smart-home.


title: Reproducibility, accuracy and performance of the Feltor code and library on parallel computer architectures

abstract: Feltor is a modular and free scientific software package. It allows developing platform independent code that runs on a variety of parallel computer architectures ranging from laptop CPUs to multi-GPU distributed memory systems. Feltor consists of both a numerical library and a collection of application codes built on top of the library. Its main target are two- and three-dimensional drift- and gyro-fluid simulations with discontinuous Galerkin methods as the main numerical discretization technique. We observe that numerical simulations of a recently developed gyro-fluid model produce non-deterministic results in parallel computations. First, we show how we restore accuracy and bitwise reproducibility algorithmically and programmatically. In particular, we adopt an implementation of the exactly rounded dot product based on long accumulators, which avoids accuracy losses especially in parallel applications. However, reproducibility and accuracy alone fail to indicate correct simulation behaviour. In fact, in the physical model slightly different initial conditions lead to vastly different end states. This behaviour translates to its numerical representation. Pointwise convergence, even in principle, becomes impossible for long simulation times. In a second part, we explore important performance tuning considerations. We identify latency and memory bandwidth as the main performance indicators of our routines. Based on these, we propose a parallel performance model that predicts the execution time of algorithms implemented in Feltor and test our model on a selection of parallel hardware architectures. We are able to predict the execution time with a relative error of less than 25% for problem sizes between 0.1 and 1000 MB. Finally, we find that the product of latency and bandwidth gives a minimum array size per compute node to achieve a scaling efficiency above 50% (both strong and weak).


title: Beef Cattle Instance Segmentation Using Fully Convolutional Neural Network

abstract: We present an instance segmentation algorithm trained and applied to a CCTV recording of beef cattle during a winter finishing period. A fully convolutional network was transformed into an instance segmentation network that learns to label each instance of an animal separately. We introduce a conceptually simple framework that the network uses to output a single prediction for every animal. These results are a contribution towards behaviour analysis in winter finishing beef cattle for early detection of animal welfare-related problems.


title: Surface Mixing by Geostrophic Flows in the Bay of Bengal

abstract: Mixing in the Bay of Bengal, driven by altimetry derived daily geostrophic surface currents, is studied on subseasonal timescales. Hovm{\"o}ller and wavenumber-frequency diagrams with power spectra confirm the multiscale nature of the flow. Advection of bands immediately brings out the chaotic nature of mixing in the Bay via repeated straining and filamentation of the tracer field. A principal finding is that mixing is local, i.e., of the scale of the eddies, and does not span the entire basin. Indeed, Finite Time Lyapunov Exponent (FTLE), Relative Dispersion (RD) and Finite Size Lyapunov Exponents (FSLE) maps in all seasons are patchy with minima scattered through the interior of the Bay. Non-uniform stirring of the Bay is reflected in long tailed histograms of FTLEs, that become more stretched for longer time intervals. Quantitatively, advection for a week shows the mean FTLE lies near 0.15-0.16 $day^{-1}$, while extremes reach almost 0.5 $day^{-1}$. Averaged over the Bay, RD initially grows exponentially, this is followed by a power-law at scales between approximately 100 and 250 $km$, which finally transitions to an eddy-diffusive regime. These findings are confirmed by FSLEs; in addition, below 250 $km$, a scale dependent diffusion coefficient is extracted, while above 250 $km$, eddy-diffusivities range from $6 \times 10^3$ - $10^4$ $m^2/s$. Finally, with satellite salinity data, these Lagrangian tools are used in the analysis a single post-monsoonal fresh water mixing event. Here, FTLEs and FSLEs allow the identification of transport barriers, and elucidate how eddies help preserve the identity of fresh water.


title: What Stays in Mind? - Retention Rates in Programming MOOCs

abstract: This work presents insights about the long-term effects and retention rates of knowledge acquired within MOOCs. In 2015 and 2017, we conducted two introductory MOOCs on object-oriented programming in Java with each over 10,000 registered participants. In this paper, we analyze course scores, quiz results and self-stated skill levels of our participants. The aim of our analysis is to uncover factors influencing the retention of acquired knowledge, such as time passed or knowledge application, in order to improve long-term success. While we know that some participants learned the programming basics within our course, we lack information on whether this knowledge was applied and fortified after the course's end. To fill this knowledge gap, we conducted a survey in 2018 among all participants of our 2015 and 2017 programming MOOCs. The first part of the survey elicits responses on whether and how MOOC knowledge was applied and gives participants opportunity to voice individual feedback. The second part of the survey contains several questions of increasing difficulty and complexity regarding course content in order to learn about the consolidation of the acquired knowledge. We distinguish three programming knowledge areas in the survey: First, understanding of concepts, such as loops and boolean algebra. Second, syntax knowledge, such as specific keywords. Third, practical skills including debugging and coding. We further analyzed the long-term effects separately per participant skill group. While answer rates were low, the collected data shows a decrease of knowledge over time, relatively unaffected by skill level. Application of the acquired knowledge improves the memory retention rates of MOOC participants across all skill levels.


title: Universality of jamming of non-spherical particles

abstract: Amorphous packings of non-spherical particles such as ellipsoids and spherocylinders are known to be hypostatic: the number of mechanical contacts between particles is smaller than the number of degrees of freedom, thus violating Maxwell's mechanical stability criterion. In this work, we propose a general theory of hypostatic amorphous packings and the associated jamming transition. First, we show that many systems fall into a same universality class. As an example, we explicitly map ellipsoids into a system of `breathing' particles. We show by using a marginal stability argument that in both cases jammed packings are hypostatic, and that the critical exponents related to the contact number and the vibrational density of states are the same. Furthermore, we introduce a generalized perceptron model which can be solved analytically by the replica method. The analytical solution predicts critical exponents in the same hypostatic jamming universality class. Our analysis further reveals that the force and gap distributions of hypostatic jamming do not show power-law behavior, in marked contrast to the isostatic jamming of spherical particles. Finally, we confirm our theoretical predictions by numerical simulations.

categories: cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech


title: Are fast radio bursts generated by cosmic string cusps?

abstract: We revisit the idea that cosmic strings could source fast radio bursts by taking into account Lorentz boosts and a weaker assumption about the scaling law for the energy of particle decay. We show that the distance relation and time scale, for a specific value of the scaling of energy, are still compatible with observations. However, the event rate predicted by the model is too high when compared to the data. We additionally show that a more realistic string, with a finite thickness, further compounds the problem by prohibiting cusp formation and point out how a superconducting wiggly string could circumvent this issue.


title: A theory for combinations of risk measures

abstract: We study combinations of risk measures under no restrictive assumption on the set of alternatives. We develop and discuss results regarding the preservation of properties and acceptance sets for the combinations of risk measures. One of the main results is the representation of resulting risk measures from the properties of both alternative functionals and combination functions. We build on developing a dual representation for an arbitrary mixture of convex risk measures. In this case, we obtain a penalty that recalls the notion of inf-convolution under theoretical measure integration. We develop results related to this specific context. We also explore features of individual interest generated by our frameworks, such as the preservation of continuity properties and the representation of worst-case risk measures.


title: The Evolution of Chemical Abundance in Quasar Broad Line Region

abstract: We study the relation between the metallicity of quasar broad line region (BLR) and black hole (BH) mass ($10^{7.5}M_{\odot} \sim 10^{10}M_{\odot}$) and quasar bolometric luminosity ($10^{44.6}erg/s \sim 10^{48} erg/s$) using a sample of $\sim$130,000 quasars at $2.25\leq z\leq 5.25$ from Sloan Digital Sky Survey (SDSS) Data Release 12 (DR12). We generate composite spectra by stacking individual spectra in the same BH mass (bolometric luminosity) and redshift bins and then estimate the metallicity of quasar BLR using metallicity-sensitive broad emission-line flux ratios based on the photoionization models. We find a significant correlation between quasar BLR metallicity and BH mass (bolometric luminosity) but no correlation between quasar BLR metallicity and redshift. We also compare the metallicity of quasar BLR and that of host galaxies inferred from the mass-metallicity relation of star-forming galaxy at $z\sim2.3$ and $z\sim3.5$. We find quasar BLR metallicity is 0.3 $\sim$ 1.0 dex higher than their host galaxies. This discrepancy cannot be interpreted by the uncertainty due to different metallicity diagnostic methods, mass-metallicity relation of galaxy, metallicity gradient in quasar host galaxies, BH mass estimation, the effect of different spectral energy distribution (SED) models, and a few other potential sources of uncertainties. We propose a possibility that the high metallicity in quasar BLR might be caused by metal enrichment from massive star formation in the nucleus region of quasars or even the accretion disk.


title: Optimal Portfolio in Intraday Electricity Markets Modelled by L\'evy-Ornstein-Uhlenbeck Processes

abstract: We study an optimal portfolio problem designed for an agent operating in intraday electricity markets. The investor is allowed to trade in a single risky asset modelling the continuously traded power and aims to maximize the expected terminal utility of his wealth. We assume a mean-reverting additive process to drive the power prices. In the case of logarithmic utility, we reduce the fully non-linear Hamilton-Jacobi-Bellman equation to a linear parabolic integro-differential equation, for which we explicitly exhibit a classical solution in two cases of modelling interest. The optimal strategy is given implicitly as the solution of an integral equation, which is possible to solve numerically as well as to describe analytically. An analysis of two different approximations for the optimal policy is provided. Finally, we perform a numerical test by adapting the parameters of a popular electricity spot price model.


title: SpeedyChain: A framework for decoupling data from blockchain for smart cities

abstract: There is increased interest in smart vehicles acting as both data consumers and producers in smart cities. Vehicles can use smart city data for decision-making, such as dynamic routing based on traffic conditions. Moreover, the multitude of embedded sensors in vehicles can collectively produce a rich data set of the urban landscape that can be used to provide a range of services. Key to the success of this vision is a scalable and private architecture for trusted data sharing. This paper proposes a framework called SpeedyChain, that leverages blockchain technology to allow smart vehicles to share their data while maintaining privacy, integrity, resilience and non-repudiation in a decentralized, and tamper-resistant manner. Differently from traditional blockchain usage (e.g., Bitcoin and Ethereum), the proposed framework uses a blockchain design that decouples the data stored in the transactions from the block header, thus allowing for fast addition of data to the blocks. Furthermore, an expiration time for each block to avoid large sized blocks is proposed. This paper also presents an evaluation of the proposed framework in a network emulator to demonstrate its benefits.


title: V902 Monocerotis: a likely disc-accreting intermediate polar

abstract: Aims: We aim to confirm whether the eclipsing cataclysmic variable V902 Mon is an Intermediate Polar, to characterise its X-ray spectrum and flux, and to refine its orbital ephemeris and spin period. Methods: We performed spectrographic observations of V902 Mon in 2016 with the 2.2m Calar Alto telescope, and X-ray photometry and spectroscopy with XMM-Newton in October 2017. This data was supplemented by several years of AAVSO visual photometry. Results: We have confirmed V902 Mon as an IP based on detecting the spin period, with a value of 2,208s, at multiple epochs. Spectroscopy of the donor star and Gaia parallax yield a distance of 3.5+1.3-0.9, kpc, suggesting an X-ray luminosity one or two orders of magnitude lower than the 10^33 erg/s typical of previously known IPs. The X-ray to optical flux ratio is also very low. The inclination of the system is more than 79deg, with a most likely value of around 82deg. We have refined the eclipse ephemeris, stable over 14,000 cycles. The Halpha line is present throughout the orbital cycle and is clearly present during eclipse, suggesting an origin distant from the white dwarf, and shows radial velocity variations at the orbital period. The amplitude and overall recessional velocity seem inconsistent with an origin in the disc. The \emph{XMM-Newton} observation reveals a partially absorbed plasma model typical of magnetic CVs, with a fluorescent iron line at 6.4keV showing a large equivalent width of 1.4keV. Conclusions: V902 Mon is an IP, and probably a member of the hypothesized X-ray underluminous class of IPs. It is likely to be a disc accretor, though the radial velocity behaviour of the Halpha line remains puzzling. The large equivalent width of the fluorescent iron line, the small FX/Fopt ratio, and the only marginal detection of X-ray eclipses suggests that the X-ray emission arises from scattering.


title: Flat ring epimorphisms and universal localisations of commutative rings

abstract: We study different types of localisations of a commutative noetherian ring. More precisely, we provide criteria to decide: (a) if a given flat ring epimorphism is a universal localisation in the sense of Cohn and Schofield; and (b) when such universal localisations are classical rings of fractions. In order to find such criteria, we use the theory of support and we analyse the specialisation closed subset associated to a flat ring epimorphism. In case the underlying ring is locally factorial or of Krull dimension one, we show that all flat ring epimorphisms are universal localisations. Moreover, it turns out that an answer to the question of when universal localisations are classical depends on the structure of the Picard group. We furthermore discuss the case of normal rings, for which the divisor class group plays an essential role to decide if a given flat ring epimorphism is a universal localisation. Finally, we explore several (counter)examples which highlight the necessity of our assumptions.


title: Photonic Topological Insulator in Synthetic Dimensions

abstract: Topological phases enable protected transport along the edges of materials, offering immunity against scattering from disorder and imperfections. These phases were suggested and demonstrated not only for electronic systems, but also for electromagnetic waves, cold atoms, acoustics, and even mechanics. Their potential applications range from spintronics and quantum computing to highly efficient lasers. Traditionally, the underlying model of these systems is a spatial lattice in two or three dimensions. However, it recently became clear that many lattice systems can exist also in synthetic dimensions which are not spatial but extend over a different degree of freedom. Thus far, topological insulators in synthetic dimensions were demonstrated only in cold atoms, where synthetic dimensions have now become a useful tool for demonstrating a variety of lattice models that are not available in spatial lattices. Subsequently, efforts have been directed towards realizing topological lattices with synthetic dimensions in photonics, where they are connected to physical phenomena in high-dimensions, interacting photons, and more. Here we demonstrate experimentally the first photonic topological insulator in synthetic dimensions. The ability to study experimentally photonic systems in synthetic dimensions opens the door for a plethora of unexplored physical phenomena ranging from PT-symmetry, exceptional points and unidirectional invisibility to Anderson localization in high dimensions and high-dimensional lattice solitons, topological insulator lasers in synthetic dimensions and more. Our study here paves the way to these exciting phenomena, which are extremely hard (if not impossible) to observe in other physical systems.


title: Confinement and Asymptotic Freedom with Cooper pairs

abstract: One of the most profound aspects of the standard model of particle physics, the mechanism of confinement binding quarks into hadrons, is not sufficiently understood. The only known semiclassical mechanism of confinement, mediated by chromo-electric strings in a condensate of magnetic monopoles still lacks experimental evidence. Here we show that the infinite resistance superinsulating state, which emerges on the insulating side of the superconductor-insulator transition in superconducting films offers a realization of confinement that allows for a direct experimental access. We find that superinsulators realize a single-color version of quantum chromodynamics and establish the mapping of quarks onto Cooper pairs. We reveal that the mechanism of superinsulation is the linear binding of Cooper pairs into neutral "mesons" by electric strings. Our findings offer a powerful laboratory for exploring and testing the fundamental implications of confinement, asymptotic freedom, and related quantum chromodynamics phenomena via desktop experiments on superconductors.


title: BayesGrad: Explaining Predictions of Graph Convolutional Networks

abstract: Recent advances in graph convolutional networks have significantly improved the performance of chemical predictions, raising a new research question: "how do we explain the predictions of graph convolutional networks?" A possible approach to answer this question is to visualize evidence substructures responsible for the predictions. For chemical property prediction tasks, the sample size of the training data is often small and/or a label imbalance problem occurs, where a few samples belong to a single class and the majority of samples belong to the other classes. This can lead to uncertainty related to the learned parameters of the machine learning model. To address this uncertainty, we propose BayesGrad, utilizing the Bayesian predictive distribution, to define the importance of each node in an input graph, which is computed efficiently using the dropout technique. We demonstrate that BayesGrad successfully visualizes the substructures responsible for the label prediction in the artificial experiment, even when the sample size is small. Furthermore, we use a real dataset to evaluate the effectiveness of the visualization. The basic idea of BayesGrad is not limited to graph-structured data and can be applied to other data types.


title: Nonlinear dynamo in obliquely rotating stratified electroconductive fluid in an uniformly magnetic field

abstract: We study a new type of large-scale instability, which arises in obliquely rotating stratified electroconductive fluid with an external uniform magnetic field and a small-scale external force having zero helicity. This force gives rise to small-scale oscillations of the velocity with a small Reynolds number. Using the method of multi-scale asymptotic expansions there are obtained nonlinear equations for vortex and magnetic perturbations in the third order in Reynolds number. Studied is the linear stage of magneto-vortex dynamo caused by instabilities of $\alpha$-effect type. Stationary solutions for the equations of nonlinear magneto-vortex dynamo are found by numerical methods in the form of localized chaotic structures.


title: Model-based Clustering

abstract: Mixture models extend the toolbox of clustering methods available to the data analyst. They allow for an explicit definition of the cluster shapes and structure within a probabilistic framework and exploit estimation and inference techniques available for statistical models in general. In this chapter an introduction to cluster analysis is provided, model-based clustering is related to standard heuristic clustering methods and an overview on different ways to specify the cluster model is given. Post-processing methods to determine a suitable clustering, infer cluster distribution characteristics and validate the cluster solution are discussed. The versatility of the model-based clustering approach is illustrated by giving an overview on the different areas of applications.


title: Delay-induced stochastic bursting in excitable noisy systems

abstract: We show that a cumulative action of noise and delayed feedback on an excitable theta-neuron leads to rather coherent stochastic bursting. An idealized point process, valid if the characteristic time scales in the problem are well-separated, is used to describe statistical properties such as the power spectrum and the interspike interval distribution. We show how the main parameters of the point process, the spontaneous excitation rate and the probability to induce a spike during the delay action, can be calculated from the solutions of a stationary and a forced Fokker-Planck equation.


title: Revisiting Perspective Information for Efficient Crowd Counting

abstract: Crowd counting is the task of estimating people numbers in crowd images. Modern crowd counting methods employ deep neural networks to estimate crowd counts via crowd density regressions. A major challenge of this task lies in the perspective distortion, which results in drastic person scale change in an image. Density regression on the small person area is in general very hard. In this work, we propose a perspective-aware convolutional neural network (PACNN) for efficient crowd counting, which integrates the perspective information into density regression to provide additional knowledge of the person scale change in an image. Ground truth perspective maps are firstly generated for training; PACNN is then specifically designed to predict multi-scale perspective maps, and encode them as perspective-aware weighting layers in the network to adaptively combine the outputs of multi-scale density maps. The weights are learned at every pixel of the maps such that the final density combination is robust to the perspective distortion. We conduct extensive experiments on the ShanghaiTech, WorldExpo'10, UCF_CC_50, and UCSD datasets, and demonstrate the effectiveness and efficiency of PACNN over the state-of-the-art.


title: Transfer Learning From Synthetic To Real Images Using Variational Autoencoders For Precise Position Detection

abstract: Capturing and labeling camera images in the real world is an expensive task, whereas synthesizing labeled images in a simulation environment is easy for collecting large-scale image data. However, learning from only synthetic images may not achieve the desired performance in the real world due to a gap between synthetic and real images. We propose a method that transfers learned detection of an object position from a simulation environment to the real world. This method uses only a significantly limited dataset of real images while leveraging a large dataset of synthetic images using variational autoencoders. Additionally, the proposed method consistently performed well in different lighting conditions, in the presence of other distractor objects, and on different backgrounds. Experimental results showed that it achieved accuracy of 1.5mm to 3.5mm on average. Furthermore, we showed how the method can be used in a real-world scenario like a "pick-and-place" robotic task.


title: Electron mass enhancement and magnetic phase separation near the Mott transition in double layer ruthenates

abstract: We present a detailed investigation of the specific heat in Ca$_3$(Ru$_{1-x}M_x$)$_2$O$_7$ ($M$ = Ti, Fe, Mn) single crystals. With different dopants and doping levels, three distinct regions are present, including a quasi-2D metallic state with an antiferromagnetic (AFM) order formed by ferromagnetic bilayers (AFM-$b$), a Mott insulating state with G-type AFM order (G-AFM) and a localized state with a mixed AFM-b and G-AFM phase. Our specific heat data provide deep insights into the Mott transitions induced by Ti and Mn dopings. We observed not only an anomalous large mass enhancement but also an additional term in the specific heat i.e. $C\propto T^2$ in the localized region. The $C\propto T^2$ term is most likely due to the long-wavelength excitations with both FM and AFM components. A decrease of Debye temperature is observed in the G-type AFM region, indicating a lattice softening associated with the Mott transition.


title: Discrimination of discord in separable Gaussian states

abstract: Consider two bosonic modes which are prepared in one of two possible Gaussian states with the same local energy: either a tensor-product thermal state (with zero correlations) or a separable Gaussian state with maximal correlations (with both classical and quantum correlations, the latter being quantified by quantum discord). For the discrimination of these states, we compare the optimal joint coherent measurement with the best local measurement based on single-mode Gaussian detections. We show how the coherent measurement always strictly outperforms the local detection strategy for both single- and multi-copy discrimination. This means that using local Gaussian measurements (assisted by classical communication) is strictly suboptimal in detecting discord. A better performance may only be achieved by either using non Gaussian measurements (non linear optics) or coherent non-local measurements.


title: Quantum Symmetric Cooperative Game with a Harmonious Coalition

abstract: The concept of forming harmonious coalitions is introduced to both classical and quantum symmetric cooperative game. In both cases, players are motivated to form coalitions. Also, the main feature of the cooperative game is conserved.


title: Bring a friend! Privately or Publicly?

abstract: We study the optimal referral strategy of a seller and its relationship with the type of communication channels among consumers. The seller faces a partially uninformed population of consumers, interconnected through a directed social network. In the network, the seller offers rewards to informed consumers (influencers) conditional on inducing purchases by uninformed consumers (influenced). Rewards are needed to bear a communication cost and to induce word-of-mouth (WOM) either privately (cost-per-contact) or publicly (fixed cost to inform all friends). From the seller's viewpoint, eliciting Private WOM is more costly than eliciting Public WOM. We investigate (i) the incentives for the seller to move to a denser network, inducing either Private or Public WOM and (ii) the optimal mix between the two types of communication. A denser network is found to be always better, not only for information diffusion but also for seller's profits, as long as Private WOM is concerned. Differently, under Public WOM, the seller may prefer an environment with less competition between informed consumers and the presence of highly connected influencers (hubs) is the main driver to make network density beneficial to profits. When the seller is able to discriminate between Private and Public WOM, the optimal strategy is to cheaply incentivize the more connected people to pass on the information publicly and then offer a high bonus for Private WOM.


title: Testing Horndeski gravity as dark matter with $\texttt{hi_class}$

abstract: We consider a model of dark matter fluid based on a sector of Horndeski gravity. The model is very successful, at the background level, in reproducing the evolution of the Universe from early times to today. However, at the perturbative level the model fails. To show this, we use the code $\texttt{hi_class}$ and we compute the matter power spectrum and the cosmic microwave background spectrum. Our results confirm, in a new and independent way, that this sector of Horndeski gravity is not viable, in agreement with the recent constraints coming from the measurement of the speed of gravitational waves obtained from the observation of the neutron star merger event GW170817.


title: A Formal Ontology-Based Classification of Lexemes and its Applications

abstract: The paper describes the enrichment of OntoSenseNet - a verb-centric lexical resource for Indian Languages. A major contribution of this work is preservation of an authentic Telugu dictionary by developing a computational version of the same. It is important because native speakers can better annotate the sense-types when both the word and its meaning are in Telugu. Hence efforts are made to develop the aforementioned Telugu dictionary and annotations are done manually. The manually annotated gold standard corpus consists 8483 verbs, 253 adverbs and 1673 adjectives. Annotations are done by native speakers according to defined annotation guidelines. In this paper, we provide an overview of the annotation procedure and present the validation of the developed resource through inter-annotator agreement. Additional words from Telugu WordNet are added to our resource and are crowd-sourced for annotation. The statistics are compared with the sense-annotated lexicon, our resource for more insights.


title: Is spacetime as physical as is space?

abstract: Two questions are investigated by looking successively at classical mechanics, special relativity, and relativistic gravity: first, how is space related with spacetime? The proposed answer is that each given reference fluid, that is a congruence of reference trajectories, defines a physical space. The points of that space are formally defined to be the world lines of the congruence. That space can be endowed with a natural structure of 3-D differentiable manifold, thus giving rise to a simple notion of spatial tensor --- namely, a tensor on the space manifold. The second question is: does the geometric structure of the spacetime determine the physics, in particular, does it determine its relativistic or preferred-frame character? We find that it does not, for different physics (either relativistic or not) may be defined on the same spacetime structure --- and also, the same physics can be implemented on different spacetime structures. Keywords: Affine space; classical mechanics; special relativity; relativistic gravity; reference fluid.


title: Quantum Theory and Special Relativity: when are physical properties attributed jointly to the system and to the context in which it is studied?

abstract: Alexia Auff\`eves and Philippe Grangier proposed to modify the quantum ontology by requiring that physical properties are attributed jointly to the system and to the context in which it is embedded. Comparing the formal structures of Quantum Theory and of Special Relativity may suggest a basis for such an interpretation of quantum theory.


title: Stability analysis and parameter classification of a reaction-diffusion model on non-compact circular geometries

abstract: This work explores the influence of domain size of a non-compact two dimensional annular domain on the evolution of pattern formation that is modelled by an \textit{activator-depleted} reaction-diffusion system. A closed form expression is derived for the spectrum of Laplace operator on the domain satisfying a set of homogeneous conditions of Neumann type both at inner and outer boundaries. The closed form solution is numerically verified using the spectral method on polar coordinates. The bifurcation analysis of \textit{activator-depleted} reaction-diffusion system is conducted on the admissible parameter space under the influence of two bounds on the parameter denoting the thickness of the annular region. The admissibility of Hopf and transcritical bifurcations is proven conditional on the domain size satisfying a lower bound in terms of reaction-diffusion parameters. The admissible parameter space is partitioned under the proposed conditions corresponding to each case, and in turn such conditions are numerically verified by applying a method of polynomials on a quadrilateral mesh. Finally, the full system is numerically simulated on a two dimensional annular region using the standard Galerkin finite element method to verify the influence of the analytically derived conditions on the domain size for all types of admissible bifurcations.


title: Independence of topological surface state and bulk conductances in three-dimensional topological insulators

abstract: The archetypical 3D topological insulators Bi2Se3, Bi2Te3 and Sb2Te3 commonly exhibit high bulk conductivities, hindering the characterization of the surface state charge transport. The optimally doped topological insulators Bi2Te2Se and Bi2-xSbxTe2S, however, allow for such characterizations to be made. Here we report the first experimental comparison of the topological surface states and bulk conductances of Bi2Te2Se and Bi1.1Sb0.9Te2S, based on temperature-dependent high-pressure measurements. We find that the surface state conductance at low temperatures remains constant in the face of orders of magnitude increase in the bulk state conductance, revealing in a straightforward way that the topological surface states and bulk states are decoupled at low temperatures, consistent with theoretical models, and confirming topological insulators to be an excellent venue for studying charge transport in 2D Dirac electron systems.


title: Acquire, Augment, Segment & Enjoy: Weakly Supervised Instance Segmentation of Supermarket Products

abstract: Grocery stores have thousands of products that are usually identified using barcodes with a human in the loop. For automated checkout systems, it is necessary to count and classify the groceries efficiently and robustly. One possibility is to use a deep learning algorithm for instance-aware semantic segmentation. Such methods achieve high accuracies but require a large amount of annotated training data. We propose a system to generate the training annotations in a weakly supervised manner, drastically reducing the labeling effort. We assume that for each training image, only the object class is known. The system automatically segments the corresponding object from the background. The obtained training data is augmented to simulate variations similar to those seen in real-world setups.


title: Asymptotic behavior of the complete Kahler-Einstein metric in tube domains

abstract: We study the complete Kahler-Einstein metric in tube domains. We obtain estimates of this metric and its holomorphic bisectional curvatures near the weakly pseudoconvex boundary points.


title: A solution to a linear integral equation with an application to statistics of infinitely divisible moving averages

abstract: For a stationary moving average random field, a non-parametric low frequency estimator of the L\'evy density of its infinitely divisible independently scattered integrator measure is given. The plug-in estimate is based on the solution $w$ of the linear integral equation $v(x) = \int_{\mathbb{R}^d} g(s) w(h(s)x)ds$, where $g,h:\mathbb{R}^d \rightarrow \mathbb{R}$ are given measurable functions and $v$ is a (weighted) $L^2$-function on $\mathbb{R}$. We investigate conditions for the existence and uniqueness of this solution and give $L^2$-error bounds for the resulting estimates. An application to pure jump moving averages and a simulation study round off the paper.


title: Calamari - A High-Performance Tensorflow-based Deep Learning Package for Optical Character Recognition

abstract: Optical Character Recognition (OCR) on contemporary and historical data is still in the focus of many researchers. Especially historical prints require book specific trained OCR models to achieve applicable results (Springmann and L\"udeling, 2016, Reul et al., 2017a). To reduce the human effort for manually annotating ground truth (GT) various techniques such as voting and pretraining have shown to be very efficient (Reul et al., 2018a, Reul et al., 2018b). Calamari is a new open source OCR line recognition software that both uses state-of-the art Deep Neural Networks (DNNs) implemented in Tensorflow and giving native support for techniques such as pretraining and voting. The customizable network architectures constructed of Convolutional Neural Networks (CNNS) and Long-ShortTerm-Memory (LSTM) layers are trained by the so-called Connectionist Temporal Classification (CTC) algorithm of Graves et al. (2006). Optional usage of a GPU drastically reduces the computation times for both training and prediction. We use two different datasets to compare the performance of Calamari to OCRopy, OCRopus3, and Tesseract 4. Calamari reaches a Character Error Rate (CER) of 0.11% on the UW3 dataset written in modern English and 0.18% on the DTA19 dataset written in German Fraktur, which considerably outperforms the results of the existing softwares.


title: On the existence of infinite-dimensional generalized harish-chandra modules

abstract: We prove a general existence result for infinite-dimensional admissible (g;k)-modules, where g is a reductive finite-dimensional complex Lie algebra and k is a reductive in g algebraic subalgebra.


title: Fast optical control of a coded qubit in a triple quantum dot

abstract: In this work, we study strategies for the optical control, within the dipole approximation, of a qubit encoded in the three-electron states of a triple quantum dot. The system is described by effective confining potentials, and its electronic structure by the configuration interaction method. Optimal control theory (OCT) was applied to design low-fluence time-dependent electric fields controlling the qubit in times shorter than a nanosecond. The resulting pulses produce transitions between the qubit states for experimentally available field amplitudes with high fidelity. Their frequency spectra are related to transitions to some lower-lying excited states and a simplified pulse based on those sequential transitions is presented. The limitations of an extended Hubbard description for the type of strategy analyzed here are also discussed.


title: Planar ringlike vortices

abstract: We investigate the presence of vortex structures in generalized Maxwell-Higgs and Chern-Simons-Higgs models in the three-dimensional spacetime. Despite the important difference between the Maxwell and Chern-Simons dynamics, we have been able to introduce first order differential equations that solve the equations of motion for static and rotationally symmetric field configurations. In both cases, solutions of the first order equations engender minimum energy, and we have found vortex configurations whose internal structure unveils interesting and unusual ringlike profile.


title: Probing primordial non-Gaussianity with 21 cm fluctuations from minihalos

abstract: We investigate future constraints on primordial local-type non-Gaussianity from 21 cm angular power spectrum from minihalos. We particularly focus on the trispectrum of primordial curvature perturbations which are characterized by the non-linearity parameters $\tau_{\rm NL}$ and $g_{\rm NL}$. We show that future measurements of minihalo 21 cm angular power spectrum can probe these non-linearity parameters with an unprecedented precision of $\tau_{\rm NL}\sim30$ and $g_{\rm NL}\sim2\times10^3$ for Square Kilometre Array (SKA) and $\tau_{\rm NL}\sim0.6$ and $g_{\rm NL}\sim8\times10^2$ for Fast Fourier Transform Telescope (FFTT). These levels of sensitivity would give significant implications for models of the inflationary Universe and the origin of cosmic density fluctuations.


title: On-Demand Deployment of Multiple Aerial Base Stations for Traffic Offloading and Network Recovery

abstract: Unmanned aerial vehicles (UAVs) are being utilized for a wide spectrum of applications in wireless networks leading to attractive business opportunities. In the case of abrupt disruption to existing cellular network operation or infrastructure, e.g., due to an unexpected surge in user demand or a natural disaster, UAVs can be deployed to provide instant recovery via temporary wireless coverage in designated areas. A major challenge is to determine efficiently how many UAVs are needed and where to position them in a relatively large 3D search space. To this end, we formulate the problem of 3D deployment of a fleet of UAVs as a mixed integer linear program, and present a greedy approach that mimics the optimal behavior assuming a grid composed of a finite set of possible UAV locations. In addition, we propose and evaluate a novel low complexity algorithm for multiple UAV deployment in a continuous 3D space, based on an unsupervised learning technique that relies on the notion of electrostatics with repulsion and attraction forces. We present performance results for the proposed algorithm as a function of various system parameters and demonstrate its effectiveness compared to the close-to-optimal greedy approach and its superiority compared to recent related work from the literature.


title: DNA Computing for Combinational Logic

abstract: With the progressive scale-down of semiconductor's feature size, people are looking forward to More Moore and More than Moore. In order to offer a possible alternative implementation process, people are trying to figure out a feasible transfer from silicon to molecular computing. Such transfer lies on bio-based modules programming with computer-like logic, aiming at realizing the Turing machine. To accomplish this, the DNA-based combinational logic is inevitably the first step we have taken care of. This timely overview paper introduces combinational logic synthesized in DNA computing from both analog and digital perspectives separately. State-of-the-art research progress is summarized for interested readers to quick understand DNA computing, initiate discussion on existing techniques and inspire innovation solutions. We hope this paper can pave the way for the future DNA computing synthesis.


title: Improving Unsupervised Defect Segmentation by Applying Structural Similarity to Autoencoders

abstract: Convolutional autoencoders have emerged as popular methods for unsupervised defect segmentation on image data. Most commonly, this task is performed by thresholding a pixel-wise reconstruction error based on an $\ell^p$ distance. This procedure, however, leads to large residuals whenever the reconstruction encompasses slight localization inaccuracies around edges. It also fails to reveal defective regions that have been visually altered when intensity values stay roughly consistent. We show that these problems prevent these approaches from being applied to complex real-world scenarios and that it cannot be easily avoided by employing more elaborate architectures such as variational or feature matching autoencoders. We propose to use a perceptual loss function based on structural similarity which examines inter-dependencies between local image regions, taking into account luminance, contrast and structural information, instead of simply comparing single pixel values. It achieves significant performance gains on a challenging real-world dataset of nanofibrous materials and a novel dataset of two woven fabrics over the state of the art approaches for unsupervised defect segmentation that use pixel-wise reconstruction error metrics.


title: Correlated long-range mixed-harmonic fluctuations measured in $pp$, $p$+Pb and low-multiplicity Pb+Pb collisions with the ATLAS detector

abstract: Correlations of two flow harmonics $v_n$ and $v_m$ via three- and four-particle cumulants are measured in 13 TeV $pp$, 5.02 TeV $p$+Pb, and 2.76 TeV peripheral Pb+Pb collisions with the ATLAS detector at the LHC. The goal is to understand the multi-particle nature of the long-range collective phenomenon in these collision systems. The large non-flow background from dijet production present in the standard cumulant method is suppressed using a method of subevent cumulants involving two, three and four subevents separated in pseudorapidity. The results show a negative correlation between $v_2$ and $v_3$ and a positive correlation between $v_2$ and $v_4$ for all collision systems and over the full multiplicity range. However, the magnitudes of the correlations are found to depend strongly on the event multiplicity, the choice of transverse momentum range and collision system. The relative correlation strength, obtained by normalisation of the cumulants with the $\langle v_n^2\rangle$ from a two-particle correlation analysis, is similar in the three collision systems and depends weakly on the event multiplicity and transverse momentum. These results based on the subevent methods provide strong evidence of a similar long-range multi-particle collectivity in $pp$, $p$+Pb and peripheral Pb+Pb collisions.


title: Dynamic network identification from non-stationary vector autoregressive time series

abstract: Learning the dynamics of complex systems features a large number of applications in data science. Graph-based modeling and inference underpins the most prominent family of approaches to learn complex dynamics due to their ability to capture the intrinsic sparsity of direct interactions in such systems. They also provide the user with interpretable graphs that unveil behavioral patterns and changes. To cope with the time-varying nature of interactions, this paper develops an estimation criterion and a solver to learn the parameters of a time-varying vector autoregressive model supported on a network of time series. The notion of local breakpoint is proposed to accommodate changes at individual edges. It contrasts with existing works, which assume that changes at all nodes are aligned in time. Numerical experiments validate the proposed schemes.


title: Categories of operators and actions of group operads

abstract: We propose a new model for multicategories with symmetries with respect to Zhang's group operads. The fully faithful embedding of the category of group operads into that of crossed interval groups is made use of, and it is shown that every multicategory gives rise to a fibration, in a sense, over a quotient of the total category of group operads. The symmetric structures can be presented as structures of internal presheaves over a category internal to the category of small categories, in other words a double category.


title: Mean field systems on networks, with singular interaction through hitting times

abstract: Building on the line of work [DIRT15a], [DIRT15b], [NS17a], [DT17], [HLS18], [HS18] we continue the study of particle systems with singular interaction through hitting times. In contrast to the previous research, we (i) consider very general driving processes and interaction functions, (ii) allow for inhomogeneous connection structures, and (iii) analyze a game in which the particles determine their connections strategically. Hereby, we uncover two completely new phenomena. First, we characterize the "times of fragility" of such systems (e.g., the times when a macroscopic part of the population defaults or gets infected simultaneously, or when the neuron cells "synchronize") explicitly in terms of the dynamics of the driving processes, the current distribution of the particles' values, and the topology of the underlying network (represented by its Perron-Frobenius eigenvalue). Second, we use such systems to describe a dynamic credit-network game and show that, in equilibrium, the system regularizes: i.e., the times of fragility never occur, as the particles avoid them by adjusting their connections strategically. Two auxiliary mathematical results, useful in their own right, are uncovered during our investigation: a generalization of Schauder's fixed-point theorem for the Skorokhod space with the M1 topology, and the application of the max-plus algebra to the equilibrium version of the network flow problem.


title: Expressivity in Natural and Artificial Systems

abstract: Roboticists are trying to replicate animal behavior in artificial systems. Yet, quantitative bounds on capacity of a moving platform (natural or artificial) to express information in the environment are not known. This paper presents a measure for the capacity of motion complexity -- the expressivity -- of articulated platforms (both natural and artificial) and shows that this measure is stagnant and unexpectedly limited in extant robotic systems. This analysis indicates trends in increasing capacity in both internal and external complexity for natural systems while artificial, robotic systems have increased significantly in the capacity of computational (internal) states but remained more or less constant in mechanical (external) state capacity. This work presents a way to analyze trends in animal behavior and shows that robots are not capable of the same multi-faceted behavior in rich, dynamic environments as natural systems.


title: Heterogeneous local plastic deformation of interstitial free steel revealed using in-situ tensile testing and high angular resolution electron backscatter diffraction

abstract: Metals are important structural materials for transport and the built environment. Low carbon steels can fail through strain localisation due to the role of interstitial solute atoms (such as carbon and nitrogen) interacting with mobile dislocations, and this gives rise to the Portevin-Le Chatelier effect and the formation of Luders bands. In this work, we use in-situ tensile testing and observation with High Angular Resolution Electron Back Scatter Diffraction (HR-EBSD) to explore deformation patterning in two Interstitial Free (IF) steel samples. One of these steels was heat treated to trigger strain localisation and Luders bands whilst the other was heat treated to homogenise plastic strain and limit flow localisation. Our work reveals that flow localisation at the macroscopic scale is closely correlated with differences in the storage of dislocations at the microscale through analysis of the HR-EBSD derived fields of stored Geometrically Necessary Dislocations (GNDs). Homogeneous plastic flow correlates with more 'Face Centred Cubic (FCC)-like' deformation patterning in these Body Centred Cubic (BCC) materials, where work hardening is correlated with the association of dislocation networks which interact with triple junctions and grain boundaries, and our in-situ tests enable us to see how these fields develop. Our findings enable the modification of steel processing routes, and micromechanical models, based upon information obtained from these in-situ tests.


title: Variational formulation of classical and quantum models for intense laser pulse propagation

abstract: We consider the theoretical description of intense laser pulses propagating through gases. Starting from a first-principles description of both the electromagnetic field and the electron motion within the gas atoms, we derive a hierarchy of reduced models. We obtain a parallel set of models, where the atomic electrons are treated classically on the one hand, and quantum-mechanically on the other. By working consistently in either a Lagrangian formulation or a Hamiltonian formulation, we ensure that our reduced models preserve the variational structure of the parent models. Taking advantage of the Hamiltonian formulation, we deduce a number of conserved quantities of the reduced models.


title: Bubble regime of plasma wakefield in 2D and 3D geometries

abstract: Considering the popularity of two-dimensional particle-in-cell simulations, a 2D model of plasma wakefield in the strongly nonlinear (bubble) regime in transversely non-uniform plasma is developed. A differential equation for the boundary of the bubble in the 2D geometry is obtained, its analytic solution is derived. 2D particle-in-cell simulations are used to confirm the validity of our model. The results are compared to the bubble in the realistic 3D geometry. For uniform plasma, it is shown that the 2D bubble is elongated and has stronger focusing forces, while the structure of the accelerating field remains completely unchanged. A method of generating a quasi-2D bubble in the realistic three-dimensional geometry is proposed.


title: Detection and Analysis of Content Creator Collaborations in YouTube Videos using Face- and Speaker-Recognition

abstract: This work discusses and implements the application of speaker recognition for the detection of collaborations in YouTube videos. CATANA, an existing framework for detection and analysis of YouTube collaborations, is utilizing face recognition for the detection of collaborators, which naturally performs poor on video-content without appearing faces. This work proposes an extension of CATANA using active speaker detection and speaker recognition to improve the detection accuracy.


title: A Semi-Analytical Method for Calculating Revisit Time for Satellite Constellations with Discontinuous Coverage

abstract: This paper presents a unique approach to the problem of calculating revisit time metrics for different satellite orbits, sensor geometries, and constellation configurations with application to early lifecycle design and optimisation processes for Earth observation missions. The developed semi-analytical approach uses an elliptical projected footprint geometry to provide an accuracy similar to that of industry standard numerical orbit simulation software but with an efficiency of published analytical methods. Using the developed method, extensive plots of maximum revisit time are presented for varying altitude, inclination, target latitudes, sensor capabilities, and constellation configuration, providing valuable reference for Earth observation system design.


title: The TESTMED Project Experience. Process-aware Enactment of Clinical Guidelines through Multimodal Interfaces

abstract: Healthcare is one of the largest business segments in the world and is a critical area for future growth. In order to ensure efficient access to medical and patient-related information, hospitals have invested heavily in improving clinical mobile technologies and spread their use among doctors. Notwithstanding the benefits of mobile technologies towards a more efficient and personalized delivery of care procedures, there are also indications that their use may have a negative impact on patient-centeredness and often places many cognitive and physical demands on doctors, making them prone to make medical errors. To tackle this issue, in this paper we present the main outcomes of the project TESTMED, which aimed at realizing a clinical system that provides operational support to doctors using mobile technologies for delivering care to patients, in a bid to minimize medical errors. The system exploits concepts from Business Process Management on how to manage a specific class of care procedures, called clinical guidelines, and how to support their execution and mobile orchestration among doctors. As a viable solution for doctors' interaction with the system, we investigated the use of vocal and touch interfaces. User evaluation results indicate a good usability of the system.


title: Quantum circuits for floating-point arithmetic

abstract: Quantum algorithms to solve practical problems in quantum chemistry, materials science, and matrix inversion often involve a significant amount of arithmetic operations which act on a superposition of inputs. These have to be compiled to a set of fault-tolerant low-level operations and throughout this translation process, the compiler aims to come close to the Pareto-optimal front between the number of required qubits and the depth of the resulting circuit. In this paper, we provide quantum circuits for floating-point addition and multiplication which we find using two vastly different approaches. The first approach is to automatically generate circuits from classical Verilog implementations using synthesis tools and the second is to generate and optimize these circuits by hand. We compare our two approaches and provide evidence that floating-point arithmetic is a viable candidate for use in quantum computing, at least for typical scientific applications, where addition operations usually do not dominate the computation. All our circuits were constructed and tested using the software tools LIQ$Ui|\rangle{}$ and RevKit.


title: Measurement of the $\Omega_c^0$ baryon lifetime

abstract: We report a measurement of the lifetime of the $\Omega_c^0$ baryon using proton-proton collision data at center-of-mass energies of 7 and 8~TeV, corresponding to an integrated luminosity of 3.0 fb$^{-1}$ collected by the LHCb experiment. The sample consists of about 1000 $\Omega_b^-\to\Omega_c^0\mu^-\bar{\nu}_{\mu} X$ signal decays, where the $\Omega_c^0$ baryon is detected in the $pK^-K^-\pi^+$ final state and $X$ represents possible additional undetected particles in the decay. The $\Omega_c^0$ lifetime is measured to be $\tau_{\Omega_c^0} = 268\pm24\pm10\pm2$ fs, where the uncertainties are statistical, systematic, and from the uncertainty in the $D^+$ lifetime, respectively. This value is nearly four times larger than, and inconsistent with, the current world-average value.


title: A note on singularities in finite time for the constrained Willmore flow

abstract: This work investigates the formation of singularities under the steepest descent $L^2$-gradient flow of the functional $\mathcal W_{\lambda_1, \lambda_2}$, the sum of the Willmore energy, $\lambda_1$ times the area, and $\lambda_2$ times the signed volume of an immersed closed surface without boundary in $\mathbb R^3$. We show that in the case that $\lambda_1>1$ and $\lambda_2=0$ any immersion develops singularities in finite time under this flow. If $\lambda_1 >0$ and $\lambda_2 > 0$, embedded closed surfaces with energy less than $$8\pi+\min\{(16 \pi \lambda_1^3)/(3\lambda_2^2), 8\pi\}$$ and positive volume evolve singularities in finite time. If in this case the initial surface is a topological sphere and the initial energy is less than $8 \pi$, the flow shrinks to a round point in finite time. We furthermore discuss similar results for the case that $\lambda_2$ is negative.


title: Virtual Testing of Experimental Continuation

abstract: We present a critical advance in experimental testing of nonlinear structures. Traditional quasi-static experimental methods control the displacement or force at one or more load-introduction points on a structure. This approach is unable to traverse limit points in the control parameter, as the immediate equilibrium beyond these points is statically unstable, causing the structure to snap to another equilibrium. As a result, unstable equilibria---observed numerically---are yet to be verified experimentally. Based on previous experimental work, and a virtual testing environment developed herein, we propose a new experimental continuation method that can path-follow along unstable equilibria and traverse limit points. To support these developments, we provide insightful analogies between a fundamental building block of our technique---shape control---and analysis concepts such as the principle of virtual work and Galerkin's method. The proposed testing method will enable the validation of an emerging class of nonlinear structures that exploit instabilities for novel functionality.


title: Finite Density $QED_{1+1}$ Near Lefschetz Thimbles

abstract: One strategy for reducing the sign problem in finite-density field theories is to deform the path integral contour from real to complex fields. If the deformed manifold is the appropriate combination of Lefschetz thimbles -- or somewhat close to them -- the sign problem is alleviated. Gauge theories lack a well-defined thimble decomposition, and therefore it is unclear how to carry out a generalized thimble method. In this paper we discuss some of the conceptual issues involved by applying this method to $QED_{1+1}$ at finite density, showing that the generalized thimble method yields correct results with less computational effort than standard methods.


title: In-Situ Star Formation in the Outskirts of the Large Magellanic Cloud: Gaia DR2 Confirmation

abstract: We explore the Gaia DR2 proper motions of six young, main-sequence stars, members of the Large Magellanic Cloud (LMC) reported by Moni Bidin et al. (2017). These stars are located in the outskirts of the disk, between 7 and 13 degrees from the LMC's center where there is very low H I content. Gaia DR2 proper motions confirm that four stars formed locally, in situ, while two are consistent with being expelled via dynamical interactions from inner, more gas-rich regions of the LMC. This finding establishes that recent star formation occurred in the periphery of the LMC, where thus far only old populations are known.


title: Locally optimal measurement-based quantum feedback with application to multi-qubit entanglement generation

abstract: We present a general approach to measurement-based quantum feedback that employs proportional and quantum state-based (PaQS) feedback components to obtain locally optimal protocols. To demonstrate the power of the method, we first show that it reproduces many known feedback protocols, and then apply it to generation of multipartite entanglement with an emphasis on remote entanglement, which requires spatially local feedback Hamiltonians. The symmetry of both measurement and feedback operators is found to be essential for construction of effective protocols. We show that under perfect measurement efficiency, entangled states can be reached with fidelity approaching unity under non-Markovian feedback control protocols, while Markovian protocols resulting from optimizing the feedback unitaries on ensemble averaged states still yield fidelities above 94%. Application of the PaQS approach to generation of N-qubit W, general Dicke and GHZ states shows that such entangled states can be efficiently generated with high fidelity, for up to N = 100 in some cases.


title: Reflection Analysis for Face Morphing Attack Detection

abstract: A facial morph is a synthetically created image of a face that looks similar to two different individuals and can even trick biometric facial recognition systems into recognizing both individuals. This attack is known as face morphing attack. The process of creating such a facial morph is well documented and a lot of tutorials and software to create them are freely available. Therefore, it is mandatory to be able to detect this kind of fraud to ensure the integrity of the face as reliable biometric feature. In this work, we study the effects of face morphing on the physically correctness of the illumination. We estimate the direction to the light sources based on specular highlights in the eyes and use them to generate a synthetic map for highlights on the skin. This map is compared with the highlights in the image that is suspected to be a fraud. Morphing faces with different geometries, a bad alignment of the source images or using images with different illuminations, can lead to inconsistencies in reflections that indicate the existence of a morphing attack.


title: Supersymmetric Galilean conformal blocks

abstract: We set up the bootstrap procedure for supersymmetric Galilean Conformal (SGC) field theories in two dimensions by constructing the SGC blocks in the $\mathcal{N}=1$ and two possible $\mathcal{N} =2$ extensions of the Galilean conformal algebra. In all analyzed cases, we present the bootstrap equations by crossing symmetry of the four point function. In addition, we compute the global SGC blocks analytically by solving the differential equations obtained by acting with the Casimirs of the global subalgebras inside the four point function. These global blocks agree with the general SGC blocks in the limit of large central charge. We comment on possible applications to supersymmetric BMS$_3$ invariant field theories and flat holography.


title: Domain wall dynamics for an in-plane magnetized thin film with large perpendicular hard axis anisotropy including Dzyaloshinskii-Moriya interaction

abstract: We consider a thin ferromagnetic layer to which an external field or a current are applied along an in plane easy axis. The perpendicular hard axis anisotropy constant is large so that the out of plane magnetization component is smaller than the in plane components. A perturbation approach is used to obtain the profile and velocity of the moving domain wall. The dynamics of the in plane components of the magnetization is governed by a reaction diffusion equation which determines the speed of the profile. We find a simple analytic expression for the out of plane magnetization showing a symmetric distortion due to the motion in addition to the asymmetric component due to the Dzyaloshinskii--Moriya interaction. The results obtained complement previous studies in which either the Dzyalozhinskii vector or the out of plane hard axis anisotropy were assumed small. In the regime studied the Walker breakdown is not observed but the reaction diffusion dynamics predicts a slowing down of the domain wall for sufficiently large magnetic field. The transition point depends on the applied field, saturation magnetization and easy axis anisotropy.


title: Consistent Generative Query Networks

abstract: Stochastic video prediction models take in a sequence of image frames, and generate a sequence of consecutive future image frames. These models typically generate future frames in an autoregressive fashion, which is slow and requires the input and output frames to be consecutive. We introduce a model that overcomes these drawbacks by generating a latent representation from an arbitrary set of frames that can then be used to simultaneously and efficiently sample temporally consistent frames at arbitrary time-points. For example, our model can "jump" and directly sample frames at the end of the video, without sampling intermediate frames. Synthetic video evaluations confirm substantial gains in speed and functionality without loss in fidelity. We also apply our framework to a 3D scene reconstruction dataset. Here, our model is conditioned on camera location and can sample consistent sets of images for what an occluded region of a 3D scene might look like, even if there are multiple possibilities for what that region might contain. Reconstructions and videos are available at https://bit.ly/2O4Pc4R.


title: Fast quantum control in dissipative systems using dissipationless solutions

abstract: We report on a systematic geometric procedure, built up on solutions designed in the absence of dissipation, to mitigate the effects of dissipation in the control of open quantum systems. Our method addresses a standard class of open quantum systems modeled by non-Hermitian Hamiltonians. It provides the analytical expression of the extra magnetic field to be superimposed to the driving field in order to compensate the geometric distortion induced by dissipation, and produces an exact geometric optimization of fast population transfer. Interestingly, it also preserves the robustness properties of protocols originally optimized against noise. Its extension to two interacting spins restores a fidelity close to unity for the fast generation of Bell state in the presence of dissipation.


title: Spontaneous mass generation due to phonons in a two-dimensional Dirac fermion system

abstract: Fermions with one and two Dirac nodes are coupled to in-plane phonons to study a spontaneous transition into the Hall insulating phase. At sufficiently strong electron-phonon interaction a gap appears in the spectrum of fermions, signaling a transition into a phase with spontaneously broken parity and time-reversal symmetry. The structure of elementary excitations above the gap in the corresponding phase reveals the presence of scale invariant parity breaking terms which resemble Chern-Simons excitations. Evaluating the Kubo formula for both models we find quantized Hall plateaux in each case, with conductance of binodal model exactly twice as large as of the mononodal model.


title: Generalized Adiabatic Theorem and Strong-Coupling Limits

abstract: We generalize Kato's adiabatic theorem to nonunitary dynamics with an isospectral generator. This enables us to unify two strong-coupling limits: one driven by fast oscillations under a Hamiltonian, and the other driven by strong damping under a Lindbladian. We discuss the case where both mechanisms are present and provide nonperturbative error bounds. We also analyze the links with the quantum Zeno effect and dynamics.


title: TFLMS: Large Model Support in TensorFlow by Graph Rewriting

abstract: While accelerators such as GPUs have limited memory, deep neural networks are becoming larger and will not fit with the memory limitation of accelerators for training. We propose an approach to tackle this problem by rewriting the computational graph of a neural network, in which swap-out and swap-in operations are inserted to temporarily store intermediate results on CPU memory. In particular, we first revise the concept of a computational graph by defining a concrete semantics for variables in a graph. We then formally show how to derive swap-out and swap-in operations from an existing graph and present rules to optimize the graph. To realize our approach, we developed a module in TensorFlow, named TFLMS. TFLMS is published as a pull request in the TensorFlow repository for contributing to the TensorFlow community. With TFLMS, we were able to train ResNet-50 and 3DUnet with 4.7x and 2x larger batch size, respectively. In particular, we were able to train 3DUNet using images of size of $192^3$ for image segmentation, which, without TFLMS, had been done only by dividing the images to smaller images, which affects the accuracy.


title: Frame-constrained Total Variation Regularization for White Noise Regression

abstract: Despite the popularity and practical success of total variation (TV) regularization for function estimation, surprisingly little is known about its theoretical performance in a statistical setting. While TV regularization has been known for quite some time to be minimax optimal for denoising one-dimensional signals, for higher dimensions this remains elusive until today. In this paper we consider frame-constrained TV estimators including many well-known (overcomplete) frames in a white noise regression model, and prove their minimax optimality w.r.t. $L^q$-risk ($1\leq q<\infty$) up to a logarithmic factor in any dimension $d\geq 1$. Overcomplete frames are an established tool in mathematical imaging and signal recovery, and their combination with TV regularization has been shown to give excellent results in practice, which our theory now confirms. Our results rely on a novel connection between frame-constraints and certain Besov norms, and on an interpolation inequality to relate them to the risk functional.


title: Towards a simplified ontology for better e-commerce search

abstract: Query Understanding is a semantic search method that can classify tokens in a customer's search query to entities such as Product, Brand, etc. This method can overcome the limitations of bag-of-words methods but requires an ontology. We show that current ontologies are not optimized for search and propose a simplified ontology framework designed specifically for e-commerce search and retrieval. We also present three methods for automatically extracting product classes for the proposed ontology and compare their performance relative to each other.


title: Joint Neural Network Equalizer and Decoder

abstract: Recently, deep learning methods have shown significant improvements in communication systems. In this paper, we study the equalization problem over the nonlinear channel using neural networks. The joint equalizer and decoder based on neural networks are proposed to realize blind equalization and decoding process without the knowledge of channel state information (CSI). Different from previous methods, we use two neural networks instead of one. First, convolutional neural network (CNN) is used to adaptively recover the transmitted signal from channel impairment and nonlinear distortions. Then the deep neural network decoder (NND) decodes the detected signal from CNN equalizer. Under various channel conditions, the experiment results demonstrate that the proposed CNN equalizer achieves better performance than other solutions based on machine learning methods. The proposed model reduces about $2/3$ of the parameters compared to state-of-the-art counterparts. Besides, our model can be easily applied to long sequence with $\mathcal{O}(n)$ complexity.


title: Spacetime Thermodynamics with Contorsion

abstract: We prove that a conserved effective energy-momentum tensor for Einstein-Cartan theory can be identified from the Noether identities of the matter Lagrangian, using the torsion field equations relating them. More precisely, a one-parameter family labelled by the Immirzi parameter. We use this result and the contorsion description to show that Jacobson's thermodynamical derivation of the Einstein equations follows as in the metric theory, namely from the equilibrium Clausius relation and the fact that a Killing horizon is metric-geodetic. Our derivation works for an arbitrary torsion field. In the course of our discussion we review the laws of black hole mechanics and their dependence on torsion.


title: Construction of accurate machine learning force fields for copper and silicon dioxide

abstract: Recently, the machine learning force field has emerged as a powerful atomic simulation approach for its high accuracy and low computational cost. However, its applications in the multi-component materials are relatively less. In this study, the ML force fields are constructed for both elemental material (Cu) and binary material (SiO2). The atomic environments are described by the structural fingerprint that takes the bond angle into account, and then, different ML techniques, including linear regression, neural network and mixture model method, are used to learn the structure-force relationship. We found that the use of angular structural fingerprint and mixture model method significantly improves the accuracy of ML force fields. In addition, we discussed the effective structural fingerprints auto-selection method based on LASSO and the genetic algorithm. The atomic simulations carried out with ML force fields are in excellent agreement with ab initio calculations.


title: Azimuthal variations of gas-phase oxygen abundance in NGC 2997

abstract: The azimuthal variation of the HII region oxygen abundance in spiral galaxies is a key observable for understanding how quickly oxygen produced by massive stars can be dispersed within the surrounding interstellar medium. Observational constraints on the prevalence and magnitude of such azimuthal variations remain rare in the literature. Here, we report the discovery of pronounced azimuthal variations of HII region oxygen abundance in NGC 2997, a spiral galaxy at approximately 11.3 Mpc. Using 3D spectroscopic data from the TYPHOON Program, we study the HII region oxygen abundance at a physical resolution of 125 pc. Individual HII regions or complexes are identified in the 3D optical data and their strong emission line fluxes measured to constrain their oxygen abundances. We find 0.06 dex azimuthal variations in the oxygen abundance on top of a radial abundance gradient that is comparable to those seen in other star-forming disks. At a given radial distance, the oxygen abundances are highest in the spiral arms and lower in the inter-arm regions, similar to what has been reported in NGC 1365 using similar observations. We discuss whether the azimuthal variations could be recovered when the galaxy is observed at worse physical resolutions and lower signal-to-noise ratios.


title: Real-Time Subpixel Fast Bilateral Stereo

abstract: Stereo vision technique has been widely used in robotic systems to acquire 3-D information. In recent years, many researchers have applied bilateral filtering in stereo vision to adaptively aggregate the matching costs. This has greatly improved the accuracy of the estimated disparity maps. However, the process of filtering the whole cost volume is very time consuming and therefore the researchers have to resort to some powerful hardware for the real-time purpose. This paper presents the implementation of fast bilateral stereo on a state-of-the-art GPU. By highly exploiting the parallel computing architecture of the GPU, the fast bilateral stereo performs in real time when processing the Middlebury stereo datasets.


title: A Mountaineering Strategy to Excited States: Highly-Accurate Reference Energies and Benchmarks

abstract: Striving to define very accurate vertical transition energies, we perform both high-level coupled cluster (CC) calculations (up to CCSDTQP) and selected configuration interaction (sCI) calculations (up to several millions of determinants) for 18 small compounds. By systematically increasing the order of the CC expansion, the number of determinants in the CI expansion as well as the size of the one-electron basis set, we have been able to reach near full CI (FCI) quality transition energies. These calculations are carried out on CC3/aug-cc-pVTZ geometries, using a series of increasingly large atomic basis sets systematically including diffuse functions. In this way, we define a list of 110 transition energies for states of various characters to be used as references for further calculations. Benchmark transition energies are provided at the aug-pVTZ level as well as with additional basis set corrections, in order to obtain results close to the complete basis set limit. These reference data are used to benchmark a series of twelve excited-state wave function methods accounting for double and triple contributions, namely ADC(2), ADC(3), CIS(D), CIS(D$_\infty$), CC2, STEOM-CCSD, CCSD, CCSDR(3), CCSDT-3, CC3, CCSDT and CCSDTQ. It turns out that CCSDTQ yields a negligible difference with the extrapolated CI values with a mean absolute error as small as $0.01$ eV, whereas the coupled cluster approaches including iterative triples are also very accurate (mean absolute error of $0.03$ eV). Consequently, CCSDT-3 and CC3 can be used to define reliable benchmarks. This observation does not hold for ADC(3) that delivers quite large errors for this set of small compounds, with a clear tendency to overcorrect its second-order version, ADC(2). Finally, we discuss the possibility to use basis set extrapolation approaches so as to tackle more easily larger compounds.


title: Graphs in perturbation theory: Algebraic structure and asymptotics

abstract: This thesis provides an extension of the work of Dirk Kreimer and Alain Connes on the Hopf algebra structure of Feynman graphs and renormalization to general graphs. Additionally, an algebraic structure of the asymptotics of formal power series with factorial growth, which is compatible with the Hopf algebraic structure, is introduced. The Hopf algebraic structure on graphs permits the explicit enumeration of graphs with constraints for the allowed subgraphs. In the case of Feynman diagrams a lattice structure, which will be introduced, exposes additional unique properties for physical quantum field theories. The differential ring of factorially divergent power series allows the extraction of asymptotic results of implicitly defined power series with vanishing radius of convergence. Together both structures provide an algebraic formulation of large graphs with constraints on the allowed subgraphs. These structures are motivated by and used to analyze renormalized zero-dimensional quantum field theory at high orders in perturbation theory. As a pure application of the Hopf algebra structure, an Hopf algebraic interpretation of the Legendre transformation in quantum field theory is given. The differential ring of factorially divergent power series will be used to solve two asymptotic counting problems from combinatorics: The asymptotic number of connected chord diagrams and the number of simple permutations. For both asymptotic solutions, all order asymptotic expansions are provided as generating functions in closed form. Both structures are combined in an application to zero-dimensional quantum field theory. Various quantities are explicitly given asymptotically in the zero-dimensional version of $\varphi^3$, $\varphi^4$, QED, quenched QED and Yukawa theory with their all order asymptotic expansions.


title: Mechanisms for magnetic Field generation in precessing cubes

abstract: It is shown that flows in precessing cubes develop at certain parameters large axisymmetric components in the velocity field which are large enough to either generate magnetic fields by themselves, or to contribute to the dynamo effect if inertial modes are already excited and acting as a dynamo. This effect disappears at small Ekman numbers. The critical magnetic Reynolds number also increases at low Ekman numbers because of turbulence and small scale structures.


title: Search for supersymmetry in events with a $\tau$ lepton pair and missing transverse momentum in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for the electroweak production of supersymmetric particles in proton-proton collisions at a center-of-mass energy of 13 TeV is presented in final states with a $\tau$ lepton pair. Both hadronic and leptonic decay modes are considered for the $\tau$ leptons. Scenarios involving the direct pair production of $\tau$ sleptons, or their indirect production via the decays of charginos and neutralinos, are investigated. The data correspond to an integrated luminosity of 35.9 fb$^{-1}$ collected with the CMS detector in 2016. The observed number of events is consistent with the standard model background expectation. The results are interpreted as upper limits on the cross section for $\tau$ slepton pair production in different scenarios. The strongest limits are observed in the scenario of a purely left-handed low mass $\tau$ slepton decaying to a nearly massless neutralino. Exclusion limits are also set in the context of simplified models of chargino-neutralino and chargino pair production with decays to $\tau$ leptons, and range up to 710 and 630 GeV, respectively.


title: Effect of resonance for $CP$ asymmetry of the decay process $\bar{B}_{s}\rightarrow P\pi^+\pi^-$ in perturbative QCD

abstract: In the framework of Perturbative QCD (PQCD) approach we study the direct $CP$ asymmetry for the decay channel $\bar{B}_{s}\rightarrow P\pi^+\pi^-$ around the resonance range via the $\rho-\omega$ mixing mechanism (where P refer to pseudoscalar meson). We find that the $CP$ asymmetry can be enhanced by $\rho-\omega$ mixing when the masses of the $\pi^+\pi^-$ pairs are at the area of $\rho-\omega$ resonance, and the maximum $CP$ asymmetry can reach 59{\%} for the relevant decay channels.


title: Bridging magnonics and spin-orbitronics

abstract: The emerging field of nano-magnonics utilizes high-frequency waves of magnetization - the spin waves - for the transmission and processing of information on the nanoscale. The advent of spin-transfer torque has spurred significant advances in nano-magnonics, by enabling highly efficient local spin-wave generation in magnonic nanodevices. Furthermore, the recent emergence of spin-orbitronics, which utilizes spin-orbit interaction as the source of spin torque, has provided a unique ability to exert spin torque over spatially extended areas of magnonic structures, enabling enhanced spin-wave transmission. Here, we experimentally demonstrate that these advances can be efficiently combined. We utilize the same spin-orbit torque mechanism for the generation of propagating spin waves, and for the long-range enhancement of their propagation, in a single integrated nano-magnonic device. The demonstrated system exhibits a controllable directional asymmetry of spin wave emission, which is highly beneficial for applications in non-reciprocal magnonic logic and neuromorphic computing.


title: Coulomb blockade-tuned indirect exchange in ferromagnetic nanostructures

abstract: We develop a theory of the reversible switching of the magnetic state of the ferromagnet-insulator-normal metalferromagnet (FINF) nanostructure. The switching is controlled by tuning the Coulomb blockade strength via the gate voltage on the normal metal granule. The proposed mechanism allows for realizing the switching without passing a dissipative current through the structure.


title: Which is better, a SCoTSS gamma imager, or an ARDUO UAV-borne directional detector?

abstract: The SiPM-based Compton Telescope for Safety and Security (SCoTSS) has been developed with inorganic crystalline scintillator material for gamma detection. The instrument is sensitive enough to be used in a mobile survey mode, accumulating energy deposited in any crystal second-by-second and tagging these spectra with GPS position. The SCoTSS imager of course has the additional advantage of being able to produce an image of the radioactive objects in its field of view using events that satisfy a coincidence trigger between the scatter and absorber layers. The Advanced Radiation Detector for UAV Operations (ARDUO) on the other hand, is a non-imaging directional detector intended for use aboard a small unmanned aerial vehicle (UAV). The ARDUO detector features exactly the same volume of CsI(Tl) as is used in the absorber layer of a single SCoTSS module, giving it similar detection and alarming sensitivity, and map-making capability. However, in the ARDUO detector, the crystals are arranged closely together to optimize direction determination from self-shielding effects. Flown in a grid pattern with a UAV over an area of extended contamination, the ARDUO detector is also capable of making a map or image of that area. With its close-packed crystal arrangement, the ARDUO detector makes a poor Compton imager but does have some ability to produce a peripheral image in a fly-by. In this presentation we investigate the relative merits of Compton imaging versus mobile directional detection.


title: Rapid counter-diabatic sweeps in lattice gauge adiabatic quantum computing

abstract: We present a coherent counter-diabatic quantum protocol to prepare ground states in the lattice gauge mapping of all-to-all Ising models (LHZ) with considerably enhanced final ground state fidelity compared to a quantum annealing protocol. We make use of a variational method to find approximate counter-diabatic Hamiltonians that has recently been introduced by Sels and Polkovnikov [Proc. Natl. Acad. Sci. 114, 3909 (2017)]. The resulting additional terms in our protocol are time-dependent local on-site y-magnetic fields. These additional Hamiltonian terms do not increase the minimal energy gap, but instead rely on coherent phase maximization. A single free parameter is introduced which is optimized via classical updates. The protocol consists only of local and nearest-neighbor terms which makes it attractive for implementations in near term experiments.


title: Searching for dense subsets in a graph via the partition function

abstract: For a set $S$ of vertices of a graph $G$, we define its density $0 \leq \sigma(S) \leq 1$ as the ratio of the number of edges of $G$ spanned by the vertices of $S$ to ${|S| \choose 2}$. We show that, given a graph $G$ with $n$ vertices and an integer $m$, the partition function $\sum_S \exp\{ \gamma m \sigma(S) \}$, where the sum is taken over all $m$-subsets $S$ of vertices and $0 < \gamma <1$ is fixed in advance, can be approximated within relative error $0 < \epsilon < 1$ in quasi-polynomial $n^{O(\ln m - \ln \epsilon)}$ time. We discuss numerical experiments and observe that for the random graph $G(n, 1/2)$ one can afford a much larger $\gamma$, provided the ratio $n/m$ is sufficiently large.


title: Solving isomorphism problems about 2-designs from disjoint difference families

abstract: Recently, two new constructions of $(v,k,k-1)$ disjoint difference families in Galois rings were presented by Davis, Huczynska, and Mullen and Momihara. Both were motivated by a well-known construction of difference families from cyclotomy in finite fields by Wilson. It is obvious that the difference families in the Galois ring and the difference families in the finite field are not equivalent. A related question which is in general harder to answer is whether the associated designs are isomorphic or not. In our case, this problem was raised by Davis, Huczynska and Mullen. In this paper we show that the $2$-$(v,k,k-1)$ designs arising from the difference families in Galois rings and those arising from the difference families in finite fields are nonisomorphic by comparing their block intersection numbers.


title: Electronic optics in graphene in the semiclassical approximation

abstract: We study above-barrier scattering of Dirac electrons by a smooth electrostatic potential combined with a coordinate-dependent mass in graphene. We assume that the potential and mass are sufficiently smooth, so that we can define a small dimensionless semiclassical parameter $h \ll 1$. This electronic optics setup naturally leads to focusing and the formation of caustics, which are singularities in the density of trajectories. We construct a semiclassical approximation for the wavefunction in all points, placing particular emphasis on the region near the caustic, where the maximum of the intensity lies. Because of the matrix character of the Dirac equation, this wavefunction contains a nontrivial semiclassical phase, which is absent for a scalar wave equation and which influences the focusing. We carefully discuss the three steps in our semiclassical approach: the adiabatic reduction of the matrix equation to an effective scalar equation, the construction of the wavefunction using the Maslov canonical operator and the application of the uniform approximation to the integral expression for the wavefunction in the vicinity of a caustic. We consider several numerical examples and show that our semiclassical results are in very good agreement with the results of tight-binding calculations. In particular, we show that the semiclassical phase can have a pronounced effect on the position of the focus and its intensity.


title: Quantum interferometric generation of polarization entangled photons

abstract: Quantum interference, like Hong-Ou-Mandel interference, has played an important role to test fundamental concepts in quantum physics. We experimentally show that the multiple quantum interference effects enable the generation of high-performance polarization entangled photons. These photons have a high-emission rate, are degenerate, have a broadband distribution, and are postselection free. A quantum interferometric scheme, based on a round-trip configuration of a double-pass polarization Sagnac interferometer, makes it possible to use the large generation efficiency of polarization entangled photons in the process of parametric down-conversion and to separate degenerate photon pairs into different optical modes with no requirement of postselection. We demonstrate experimentally that multiple quantum interference is not only an interesting fundamental quantum optical phenomenon but can be used for novel photonic quantum information technologies.


title: The em-convex rewrite system

abstract: We introduce and study em (or "emergent"), a lambda calculus style rewrite system inspired from dilations structures in metric geometry. Then we add a new axiom (convex) and explore its consequences. Although (convex) forces commutativity of the infinitesimal operations, Theorems 6.2, 8.9 and Proposition 8.7 appear as a lambda calculus style version of Gleason and Montgomery-Zippin solution to the Hilbert 5th problem.


title: Testing the universality of free fall by tracking a pulsar in a stellar triple system

abstract: Einstein's theory of gravity, general relativity, has passed stringent tests in laboratories, elsewhere in the Solar Sytem, and in pulsar binaries. Nevertheless it is known to be incompatible with quantum mechanics and must differ from the true behaviour of matter in strong fields and at small spatial scales. A key aspect of general relativity to test is the strong equivalence principle (SEP), which states that all freely falling objects, regardless of how strong their gravity, experience the same acceleration in the same gravitational field. Essentially all alternatives to general relativity violate this principle at some level. Previous direct tests of the SEP are limited by the weak gravity of the bodies in the Earth-Moon-Sun system or by the weak gravitational pull of the Galaxy on pulsar-white dwarf binaries. PSR~J0337+1715 is a hierarchical stellar triple system, where the inner binary consists of a millisecond radio pulsar in a $1.6$-day orbit with a white dwarf. This inner binary is in a $327$-day orbit with another white dwarf. In this system, the pulsar and the inner companion fall toward the outer companion with an acceleration about $10^8$ times greater than that produced by falling in the Galactic potential, and the pulsar's gravitational binding energy is roughly $10\%$ of its mass. Here we report that in spite of the pulsar's strong gravity, the accelerations experienced by it and the inner white dwarf differ by a fraction of no more than $2.6\times 10^{-6}$ ($95\%$ confidence level). We can roughly compare this to other SEP tests by using the strong-field Nordtvedt parameter $\hat\eta_N$. Our limit on $\hat\eta_N$ is a factor of ten smaller than that obtained from (weak-field) Solar-System SEP tests and a factor of almost a thousand smaller than that obtained from other strong-field SEP tests.