title: Sub-O(log n) Out-of-Order Sliding-Window Aggregation

abstract: Sliding-window aggregation summarizes the most recent information in a data stream. Users specify how that summary is computed, usually as an associative binary operator because this is the most general known form for which it is possible to avoid naively scanning every window. For strictly in-order arrivals, there are algorithms with $O(1)$ time per window change assuming associative operators. Meanwhile, it is common in practice for streams to have data arriving slightly out of order, for instance, due to clock drifts or communication delays. Unfortunately, for out-of-order streams, one has to resort to latency-prone buffering or pay $O(\log n)$ time per insert or evict, where $n$ is the window size. This paper presents the design, analysis, and implementation of FiBA, a novel sliding-window aggregation algorithm with an amortized upper bound of $O(\log d)$ time per insert or evict, where $d$ is the distance of the inserted or evicted value to the closer end of the window. This means $O(1)$ time for in-order arrivals and nearly $O(1)$ time for slightly out-of-order arrivals, with a smooth transition towards $O(\log n)$ as $d$ approaches $n$. We also prove a matching lower bound on running time, showing optimality. Our algorithm is as general as the prior state-of-the-art: it requires associativity, but not invertibility nor commutativity. At the heart of the algorithm is a careful combination of finger-searching techniques, lazy rebalancing, and position-aware partial aggregates. We further show how to answer range queries that aggregate subwindows for window sharing. Finally, our experimental evaluation shows that FiBA performs well in practice and supports the theoretical findings.


title: Concavity, Response Functions and Replica Energy

abstract: In nonadditive systems, like small systems or like long-range interacting systems even in the thermodynamic limit, ensemble inequivalence can be related to the occurrence of negative response functions, this in turn being connected with anomalous concavity properties of the thermodynamic potentials associated to the various ensembles. We show how the type and number of negative response functions depend on which of the quantities E, V and N (energy, volume and number of particles) are constrained in the ensemble. In particular, we consider the unconstrained ensemble in which E, V and N fluctuate, physically meaningful only for nonadditive systems. In fact, its partition function is associated to the replica energy, a thermodynamic function that identically vanishes when additivity holds, but that contains relevant information in nonadditive systems.


title: Periodic paths on the pentagon, double pentagon and golden L

abstract: We give a tree structure on the set of all periodic directions on the golden L, which gives an associated tree structure on the set of periodic directions for the pentagon billiard table and double pentagon surface. We use this to give the periods of periodic directions on the pentagon and double pentagon. We also show examples of many periodic billiard trajectories on the pentagon, which are strikingly beautiful, and we describe some of their properties. Finally, we give conjectures and future directions based on experimental computer evidence.


title: $K\pi$ scattering and excited meson spectroscopy using the stochastic LapH method

abstract: Elastic $I=1/2$, $s$- and $p$-wave $K\pi$ scattering amplitudes are simultaneously calculated using a L\"uscher style analysis on a single ensemble of dynamical Wilson-clover fermions at $m_\pi \sim 230$ MeV. Partial wave mixing due to the reduced rotational symmetries of the finite volume is included up to $\ell=2$. We also present finite-volume QCD spectra on two large anisotropic lattices ($32^3 \times 256$, $24^3 \times 128$) with $m_\pi \sim 230,\ 390$ MeV respectively. In each symmetry channel, a large basis of one- and two-hadron interpolating operators is employed with all-to-all quark propagation treated using the stochastic LapH method.


title: Omnidirectional Quasi-Orthogonal Space-Time Block Coded Massive MIMO Systems

abstract: Common signals in public channels of cellular systems are usually transmitted omnidirectionally from the base station (BS). In recent years, both discrete and consecutive omnidirectional space-time block codings (STBC) have been proposed for massive multiple-input multiple-output (MIMO) systems with a uniform linear array (ULA) configuration to ensure cell-wide coverage. In these systems, constant received signal power at discrete angles, or constant received signal sum power in a few consecutive time slots at any angle is achieved. In addition, equal-power transmission per antenna and full spatial diversity can be achieved as well. In this letter, by utilizing the property of orthogonal complementary codes (OCCs), a new consecutive omnidirectional quasi-orthogonal STBC (QOSTBC) design is proposed, in which constant received sum power at any angle can be realized with equal-power transmission per antenna through one STBC transmission, and a higher diversity order of 4 can be achieved. In addition, the proposed design can be further extended to the uniform planar array (UPA) configuration with the two-dimensional OCCs.


title: Cosmology in modified $f(R,T)$-gravity

abstract: In present paper we propose further modification of $f(R,T)$-gravity (where $T$ is trace of energy-momentum tensor) by introducing higher derivatives matter fields. We discuss stability conditions in proposed theory and find restrictions for parameters to prevent appearance of main type of instabilities, such as ghost-like and tachyon-like instabilities. We derive cosmological equations for a few representations of theory and discuss main differences with convenient $f(R,T)$-gravity without higher derivatives. It is demonstrated that in presented theory inflationary scenarios appears quite naturally even in the dust-filled Universe without any additional matter sources. Finally we construct inflationary model in one of the simplest representation of the theory, calculate main inflationary parameters and find that it may be in quite agreement with observations.


title: Fusion of Urban TanDEM-X raw DEMs using variational models

abstract: Recently, a new global Digital Elevation Model (DEM) with pixel spacing of 0.4 arcseconds and relative height accuracy finer than 2m for flat areas (slopes < 20%) and better than 4m for rugged terrain (slopes > 20%) was created through the TanDEM-X mission. One important step of the chain of global DEM generation is to mosaic and fuse multiple raw DEM tiles to reach the target height accuracy. Currently, Weighted Averaging (WA) is applied as a fast and simple method for TanDEM-X raw DEM fusion in which the weights are computed from height error maps delivered from the Interferometric TanDEM-X Processor (ITP). However, evaluations show that WA is not the perfect DEM fusion method for urban areas especially in confrontation with edges such as building outlines. The main focus of this paper is to investigate more advanced variational approaches such as TV-L1 and Huber models. Furthermore, we also assess the performance of variational models for fusing raw DEMs produced from data takes with different baseline configurations and height of ambiguities. The results illustrate the high efficiency of variational models for TanDEM-X raw DEM fusion in comparison to WA. Using variational models could improve the DEM quality by up to 2m particularly in inner-city subsets.


title: Cooperative emission in quantum plasmonic superradiance

abstract: Plasmonic superradiance originates from the plasmon mediated strong correlation that builds up between dipolar emitters coupled to a metal nanoparticle. This leads to a fast burst of emission so that plasmonic superradiance constitutes ultrafast and extremely bright optical nanosources of strong interest for integrated quantum nano-optics platforms. We elucidate the superradiance effect by establishing the dynamics of the system, including all features like the orientation of the dipoles, their distance to the particle and the number of active plasmon modes. We determine an optimal configuration for Purcell enhanced superradiance. We also show superradiance blockade at small distances.


title: Vertex connectivity of the power graph of a finite cyclic group II

abstract: The power graph $\mathcal{P}(G)$ of a given finite group $G$ is the simple undirected graph whose vertices are the elements of $G$, in which two distinct vertices are adjacent if and only if one of them can be obtained as an integral power of the other. The vertex connectivity $\kappa(\mathcal{P}(G))$ of $\mathcal{P}(G)$ is the minimum number of vertices which need to be removed from $G$ so that the induced subgraph of $\mathcal{P}(G)$ on the remaining vertices is disconnected or has only one vertex. For a positive integer $n$, let $C_n$ be the cyclic group of order $n$. Suppose that the prime power decomposition of $n$ is given by $n =p_1^{n_1}p_2^{n_2}\cdots p_r^{n_r}$, where $r\geq 1$, $n_1,n_2,\ldots, n_r$ are positive integers and $p_1,p_2,\ldots,p_r$ are prime numbers with $p_1<p_2<\cdots <p_r$. The vertex connectivity $\kappa(\mathcal{P}(C_n))$ of $\mathcal{P}(C_n)$ is known for $r\leq 3$, see \cite{panda, cps}. In this paper, for $r\geq 4$, we give a new upper bound for $\kappa(\mathcal{P}(C_n))$ and determine $\kappa(\mathcal{P}(C_n))$ when $n_r\geq 2$. We also determine $\kappa(\mathcal{P}(C_n))$ when $n$ is a product of distinct prime numbers.


title: Superensemble Classifier for Improving Predictions in Imbalanced Datasets

abstract: Learning from an imbalanced dataset is a tricky proposition. Because these datasets are biased towards one class, most existing classifiers tend not to perform well on minority class examples. Conventional classifiers usually aim to optimize the overall accuracy without considering the relative distribution of each class. This article presents a superensemble classifier, to tackle and improve predictions in imbalanced classification problems, that maps Hellinger distance decision trees (HDDT) into radial basis function network (RBFN) framework. Regularity conditions for universal consistency and the idea of parameter optimization of the proposed model are provided. The proposed distribution-free model can be applied for feature selection cum imbalanced classification problems. We have also provided enough numerical evidence using various real-life data sets to assess the performance of the proposed model. Its effectiveness and competitiveness with respect to different state-of-the-art models are shown.


title: Complex Balanced Spaces

abstract: In this paper, the concept of balanced manifolds is generalized to reduced complex spaces: the class B and balanced spaces. Compared with the case of Kahlerian, the class B is similar to the Fujiki class C and the balanced space is similar to the Kahler space. Some properties about these complex spaces are obtained, and the relations between the balanced spaces and the class B are studied.


title: HYPE: Massive Hypergraph Partitioning with Neighborhood Expansion

abstract: Many important real-world applications-such as social networks or distributed data bases-can be modeled as hypergraphs. In such a model, vertices represent entities-such as users or data records-whereas hyperedges model a group membership of the vertices-such as the authorship in a specific topic or the membership of a data record in a specific replicated shard. To optimize such applications, we need an efficient and effective solution to the NP-hard balanced k-way hypergraph partitioning problem. However, existing hypergraph partitioners that scale to very large graphs do not effectively exploit the hypergraph structure when performing the partitioning decisions. We propose HYPE, a hypergraph partitionier that exploits the neighborhood relations between vertices in the hypergraph using an efficient implementation of neighborhood expansion. HYPE improves partitioning quality by up to 95% and reduces runtime by up to 39% compared to streaming partitioning.


title: Properties of the ground state of electronic excitations in carbon-like nanocones

abstract: On the basis of the continuum model for long-wavelength charge carriers, originating in the tight-binding approximation for the nearest-neighbour interaction of atoms in the crystalline lattice, we consider quantum ground-state effects of electronic excitations in Dirac materials with two-dimensional monolayer honeycomb structures warped into nanocones by a disclination; the nonzero size of the disclination is taken into account, and a boundary condition at the edge of the disclination is chosen to ensure self-adjointness of the Dirac-Weyl Hamiltonian operator. We show that the quantum ground-state effects are independent of the disclination size and find circumstances when they are independent of a parameter of the boundary condition. The magnetic flux circulating in the angular direction around the nanocone apex and the pseudomagnetic flux directed orthogonally to the nanocone surface are shown to be induced in the ground state.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el hep-ph


title: Comments on Penrose inequality with angular momentum for outermost apparent horizons

abstract: In a recent work we have proved a weaker version of the Penrose inequality with angular momentum, in axially symmetric space-times, for a compact and connected minimal surface. In this previous work we use the monotonicity of Geroch energy on 2-surfaces along the inverse mean curvature flow and we obtain a lower bound for the ADM mass in terms of the area, the angular momentun and a particular measure of size of the minimal surface. In the present work, using similar techniques and the same measure of size, we extend and improve the previous result for a compact and connected outermost apparent horizon. For this case we use the monotonicity of Hawking energy, instead of Geroch energy, along the inverse mean curvature flow, and assume different conditions on the extrinsic curvature. This type of relations constitutes an important test to evaluate the cosmic censorship conjecture.


title: Study of Exponential Growth Constants of Directed Heteropolygonal Archimedean Lattices

abstract: We infer upper and lower bounds on the exponential growth constants $\alpha(\Lambda)$, $\alpha_0(\Lambda)$, and $\beta(\Lambda)$ describing the large-$n$ behavior of, respectively, the number of acyclic orientations, acyclic orientations with a unique source vertex, and totally cyclic orientations of arrows on bonds of several $n$-vertex heteropolygonal Archimedean lattices $\Lambda$. These are, to our knowledge, the best bounds on these growth constants. The inferred upper and lower bounds on the growth constants are quite close to each other, which enables us to derive rather accurate values for the actual exponential growth constants. Combining our new results for heteropolygonal Archimedean lattices with our recent results for homopolygonal Archimedean lattices, we show that the exponential growth constants $\alpha(\Lambda)$, $\alpha_0(\Lambda)$, and $\beta(\Lambda)$ on these lattices are monotonically increasing functions of the lattice coordination number. Comparisons are made with the corresponding growth constants for spanning trees on these lattices. Our findings provide further support for the Merino-Welsh and Conde-Merino conjectures.


title: On random primitive sets, directable NDFAs and the generation of slowly synchronizing DFAs

abstract: We tackle the problem of the randomized generation of slowly synchronizing deterministic automata (DFAs) by generating random primitive sets of matrices. We show that when the randomized procedure is too simple the exponent of the generated sets is O(n log n) with high probability, thus the procedure fails to return DFAs with large reset threshold. We extend this result to random nondeterministic automata (NDFAs) by showing, in particular, that a uniformly sampled NDFA has both a 2-directing word and a 3-directing word of length O(n log n) with high probability. We then present a more involved randomized algorithm that manages to generate DFAs with large reset threshold and we finally leverage this finding for exhibiting new families of DFAs with reset threshold of order $ \Omega(n^2/4) $.


title: Anisotropic fluid spheres satisfying Karmarkar condition

abstract: In this work we obtain an analytic and well behaved solution to Einstein's field equations describing anisotropic matter distribution. It's achieved in the embedding class one spacetime framework using Karmarkar's condition. We ansatz the metric potential $g_{tt}$ corresponding to Wyman IIa solution. The obtained model is representing some strange star candidates such as Cen X-3, LMC X-4 and 4U 1538-52. A graphical analysis shows that our model is free from physical and geometric singularities and satisfies all the physical admissibility conditions from the physical and mathematical point of view.


title: Eikonal and asymptotic fits to high energy data for $\sigma$, $\rho$, and $B$: An update with curvature corrections

abstract: We update our eikonal fit and comprehensive asymptotic fits to high energy data on proton--proton and antiproton--proton scattering for $\sigma_{\rm tot}$, $\sigma_{\rm elas}$, $\sigma_{\rm inel}$, $\rho$, and $B$. The fits include the new TOTEM values of total proton-proton cross section, $\rho$, and $B$ at $W=\sqrt{s}$ = 13 TeV and the Telescope Array value of the total proton-proton cross section at $W=\sqrt{s}$ = 95 TeV, data from the latest measurements of the inelastic cross sections at $W$= 8 TeV (by TOTEM and ATLAS) and 13 TeV (by CMS, ATLAS, and TOTEM). An important new feature of this work is the correction of the data to include the effects of curvature in $\ln{(d\sigma/dt)}$ on the values of $B$, $d\sigma/dt$ at $t=0$, and $\sigma_{\rm tot}$ obtained by extrapolation from the larger values of $t$ where the differential cross section is measured, The effects are significant. The stability of the fits is excellent and the new results agree well with the predictions of earlier fits. This work again confirms the evidence for the proton asymptotically becoming a black disk of gluons.


title: Mechanism of N\'eel order switching in antiferromagnetic thin films revealed by magnetotransport and direct imaging

abstract: We probe the current-induced magnetic switching of insulating antiferromagnet/heavy metals systems, by electrical spin Hall magnetoresistance measurements and direct imaging, identifying a reversal occurring by domain wall (DW) motion. We observe switching of more than one third of the antiferromagnetic domains by the application of current pulses. Our data reveal two different magnetic switching mechanisms leading together to an efficient switching, namely the spin-current induced effective magnetic anisotropy variation and the action of the spin torque on the DWs.


title: Invariant measures and lower Ricci curvature bounds

abstract: Given a metric measure space $(X,d,\mathfrak{m})$ that satisfies the Riemannian Curvature Dimension condition, $RCD^*(K,N),$ and a compact subgroup of isometries $G \leq Iso(X)$ we prove that there exists a $G-$invariant measure, $\mathfrak{m}_G,$ equivalent to $\mathfrak{m}$ such that $(X,d,\mathfrak{m}_G)$ is still a $RCD^*(K,N)$ space. We also obtain some applications to Lie group actions on $RCD^*(K,N)$ spaces. We look at homogeneous spaces, symmetric spaces and obtain dimensional gaps for closed subgroups of isometries.


title: Homogenization of a stationary periodic Maxwell system in a bounded domain in the case of constant magnetic permeability

abstract: In a bounded domain $\mathcal{O}\subset\mathbb{R}^3$ of class $C^{1,1}$, we consider a stationary Maxwell system with the boundary conditions of perfect conductivity. It is assumed that the magnetic permeability is given by a constant positive $(3\times 3)$-matrix $\mu_0$ and the dielectric permittivity is of the form $\eta({\mathbf x}/ \varepsilon)$, where $\eta({\mathbf x})$ is a $(3 \times 3)$-matrix-valued function with real entries, periodic with respect to some lattice, bounded and positive definite. Here $\varepsilon >0$ is the small parameter. Suppose that the equation involving the curl of the magnetic field intensity is homogeneous, and the right-hand side $\mathbf r$ of the second equation is a divergence-free vector-valued function of class $L_2$. It is known that, as $\varepsilon \to 0$, the solutions of the Maxwell system, namely, the electric field intensity ${\mathbf u}_\varepsilon$, the electric displacement vector ${\mathbf w}_\varepsilon$, the magnetic field intensity ${\mathbf v}_\varepsilon$, and the magnetic displacement vector ${\mathbf z}_\varepsilon$ weakly converge in $L_2$ to the corresponding homogenized fields ${\mathbf u}_0$, ${\mathbf w}_0$, ${\mathbf v}_0$, ${\mathbf z}_0$ (the solutions of the homogenized Maxwell system with effective coefficients). We improve the classical results. It is shown that ${\mathbf v}_\varepsilon$ and ${\mathbf z}_\varepsilon$ converge to ${\mathbf v}_0$ and ${\mathbf z}_0$, respectively, in the $L_2$-norm, the error terms do not exceed $C \varepsilon \| {\mathbf r}\|_{L_2}$. We also find approximations for ${\mathbf v}_\varepsilon$ and ${\mathbf z}_\varepsilon$ in the energy norm with error $C\sqrt{\varepsilon} \|{\mathbf r}\|_{L_2}$. For ${\mathbf u}_\varepsilon$ and ${\mathbf w}_\varepsilon$ we obtain approximations in the $L_2$-norm with error $C\sqrt{\varepsilon} \| {\mathbf r}\|_{L_2}$.


title: Greedy Kernel Methods for Center Manifold Approximation

abstract: For certain dynamical systems it is possible to significantly simplify the study of stability by means of the center manifold theory. This theory allows to isolate the complicated asymptotic behavior of the system close to a non-hyperbolic equilibrium point, and to obtain meaningful predictions of its behavior by analyzing a reduced dimensional problem. Since the manifold is usually not known, approximation methods are of great interest to obtain qualitative estimates. In this work, we use a data-based greedy kernel method to construct a suitable approximation of the manifold close to the equilibrium. The data are collected by repeated numerical simulation of the full system by means of a high-accuracy solver, which generates sets of discrete trajectories that are then used to construct a surrogate model of the manifold. The method is tested on different examples which show promising performance and good accuracy.


title: Mechanochemical Synthesis of the Lead-Free Double Perovskite Cs2[AgIn]Br6 and its Optical Properties

abstract: Hitting hard on the binary halides yields in the formation of Cs2[AgIn]Br6. The lead-free double perovskite marks, although not usable itself, a further step forward in finding sustainable and durable perovskite materials for photovoltaic applications. Cs2[AgIn]Br6 is one of the prominent examples of double perovskites materials that have been suggested to circumvent the use of lead compounds in perovskite solar cells. We herein report the successful synthesis of the material using a mechanochemical approach. It crystallizes in an elpasolite-type structure, an ordered perovskite superstructure, with a cell parameter of a = 11.00 {\AA}. However, the compound exhibits a relatively large optical bandgap of 2.36 eV and is unstable under illumination, which impedes its use as solar absorber material at this early stage. Still, substitution of lead and the potential of this synthesis method are promising as well as the fruitful combination of theoretical considerations with experimental materials discovery.


title: Weighted inequalities of Fefferman-Stein type for Riesz-Schr\"odinger Transforms

abstract: In this work we are concerned with Fefferman-Stein type inequalities. More precisely, given an operator $T$ and some $p$, $1<p<\infty$, we look for operators $\mathcal{M}$ such that the inequality $$\int |Tf|^pw\leq C\int |f|^p \mathcal{M}w$$ holds true for any weight $w$. Specifically, we are interested in the case of $T$ being any first or second order Riesz transform associated to the Schr\"odinger operator $L=-\Delta + V$, with $V$ a non-negative function satisfying an appropriate reverse-H\"older condition. For the Riesz-Schr\"odinger transforms $\nabla L^{-1/2}$ and $\nabla^2 L^{-1}$ we make use of a result due to C. P\'erez where this problem is solved for classical Calder\'on-Zygmund operators.


title: A fast algorithm for computing distance correlation

abstract: Classical dependence measures such as Pearson correlation, Spearman's $\rho$, and Kendall's $\tau$ can detect only monotonic or linear dependence. To overcome these limitations, Szekely et al.(2007) proposed distance covariance as a weighted $L_2$ distance between the joint characteristic function and the product of marginal distributions. The distance covariance is $0$ if and only if two random vectors ${X}$ and ${Y}$ are independent. This measure has the power to detect the presence of a dependence structure when the sample size is large enough. They further showed that the sample distance covariance can be calculated simply from modified Euclidean distances, which typically requires $\mathcal{O}(n^2)$ cost. The quadratic computing time greatly limits the application of distance covariance to large data. In this paper, we present a simple exact $\mathcal{O}(n\log(n))$ algorithm to calculate the sample distance covariance between two univariate random variables. The proposed method essentially consists of two sorting steps, so it is easy to implement. Empirical results show that the proposed algorithm is significantly faster than state-of-the-art methods. The algorithm's speed will enable researchers to explore complicated dependence structures in large datasets.


title: Comparing Multilayer Perceptron and Multiple Regression Models for Predicting Energy Use in the Balkans

abstract: Global demographic and economic changes have a critical impact on the total energy consumption, which is why demographic and economic parameters have to be taken into account when making predictions about the energy consumption. This research is based on the application of a multiple linear regression model and a neural network model, in particular multilayer perceptron, for predicting the energy consumption. Data from five Balkan countries has been considered in the analysis for the period 1995-2014. Gross domestic product, total number of population, and CO2 emission were taken as predictor variables, while the energy consumption was used as the dependent variable. The analyses showed that CO2 emissions have the highest impact on the energy consumption, followed by the gross domestic product, while the population number has the lowest impact. The results from both analyses are then used for making predictions on the same data, after which the obtained values were compared with the real values. It was observed that the multilayer perceptron model predicts better the energy consumption than the regression model.


title: Reasoning about Parallel Quantum Programs

abstract: We initiate the study of parallel quantum programming by defining the operational and denotational semantics of parallel quantum programs. The technical contributions of this paper include: (1) find a series of useful proof rules for reasoning about correctness of parallel quantum programs; (2) prove a (relative) completeness of our proof rules for partial correctness of disjoint parallel quantum programs; and (3) prove a strong soundness theorem of the proof rules showing that partial correctness is well maintained at each step of transitions in the operational semantics of a general parallel quantum program (with shared variables). This is achieved by partially overcoming the following conceptual challenges that are never present in classical parallel programming: (i) the intertwining of nondeterminism caused by quantum measurements and introduced by parallelism; (ii) entanglement between component quantum programs; and (iii) combining quantum predicates in the overlap of state Hilbert spaces of component quantum programs with shared variables. Applications of the techniques developed in this paper are illustrated by a formal verification of Bravyi-Gosset-K\"onig's parallel quantum algorithm solving a linear algebra problem, which gives for the first time an unconditional proof of a computational quantum advantage.


title: Outlier Detection using Generative Models with Theoretical Performance Guarantees

abstract: This paper considers the problem of recovering signals from compressed measurements contaminated with sparse outliers, which has arisen in many applications. In this paper, we propose a generative model neural network approach for reconstructing the ground truth signals under sparse outliers. We propose an iterative alternating direction method of multipliers (ADMM) algorithm for solving the outlier detection problem via $\ell_1$ norm minimization, and a gradient descent algorithm for solving the outlier detection problem via squared $\ell_1$ norm minimization. We establish the recovery guarantees for reconstruction of signals using generative models in the presence of outliers, and give an upper bound on the number of outliers allowed for recovery. Our results are applicable to both the linear generator neural network and the nonlinear generator neural network with an arbitrary number of layers. We conduct extensive experiments using variational auto-encoder and deep convolutional generative adversarial networks, and the experimental results show that the signals can be successfully reconstructed under outliers using our approach. Our approach outperforms the traditional Lasso and $\ell_2$ minimization approach.

categories: cs.IT cs.CV eess.IV math.IT math.OC stat.ML


title: Model-independent bounds on light pseudoscalars from rare B-meson decays

abstract: New light pseudoscalars, such as axion-like particles, appear in many well-motivated extensions of the Standard Model and provide an exciting target for present and future experiments. We study the experimental sensitivity for such particles by revising the CHARM exclusion contour, updating bounds from LHCb and presenting prospects for NA62 and SHiP. We first consider a simplified model of a light pseudoscalar $A$ and then propose a model-independent approach applicable to any spin-0 boson light enough to be produced in B-meson decays. As illustration, we provide upper bounds on $\text{BR}(B \to K\,A) \times \text{BR}(A \to \mu^+\mu^-)$ as a function of the boson lifetime and mass for models that satisfy minimal flavour violation. Our results demonstrate the important complementarity between different experiments resulting from their different geometries.


title: Data Assimilation for Navier-Stokes using the Least-Squares Finite-Element Method

abstract: We investigate theoretically and numerically the use of the Least-Squares Finite-element method (LSFEM) to approach data-assimilation problems for the steady-state, incompressible Navier-Stokes equations. Our LSFEM discretization is based on a stress-velocity-pressure (S-V-P) first-order formulation, using discrete counterparts of the Sobolev spaces $H({\rm div}) \times H^1 \times L^2$ respectively. Resolution of the system is via minimization of a least-squares functional representing the magnitude of the residual of the equations. A simple and immediate approach to extend this solver to data-assimilation is to add a data-discrepancy term to the functional. Whereas most data-assimilation techniques require a large number of evaluations of the forward-simulations and are therefore very expensive, the approach proposed in this work uniquely has the same cost as a single forward run. However, the question arises: what is the statistical model implied by this choice? We answer this within the Bayesian framework, establishing the latent background covariance model and the likelihood. Further we demonstrate that - in the linear case - the method is equivalent to application of the Kalman filter, and derive the posterior covariance. We practically demonstrate the capabilities of our method on a backward-facing step case. Our LSFEM formulation (without data) is shown to have good approximation quality, even on relatively coarse meshes - in particular with respect to mass-conservation and reattachment location. Adding limited velocity measurements from experiment, we show that the method is able to correct for discretization error on very coarse meshes, as well as correct for the influence of unknown and uncertain boundary-conditions.


title: Quantum control of molecular rotation

abstract: The angular momentum of molecules, or, equivalently, their rotation in three-dimensional space, is ideally suited for quantum control. Molecular angular momentum is naturally quantized, time evolution is governed by a well-known Hamiltonian with only a few accurately known parameters, and transitions between rotational levels can be driven by external fields from various parts of the electromagnetic spectrum. Control over the rotational motion can be exerted in one-, two- and many-body scenarios, thereby allowing to probe Anderson localization, target stereoselectivity of bimolecular reactions, or encode quantum information, to name just a few examples. The corresponding approaches to quantum control are pursued within separate, and typically disjoint, subfields of physics, including ultrafast science, cold collisions, ultracold gases, quantum information science, and condensed matter physics. It is the purpose of this review to present the various control phenomena, which all rely on the same underlying physics, within a unified framework. To this end, we recall the Hamiltonian for free rotations, assuming the rigid rotor approximation to be valid, and summarize the different ways for a rotor to interact with external electromagnetic fields. These interactions can be exploited for control --- from achieving alignment, orientation, or laser cooling in a one-body framework, steering bimolecular collisions, or realizing a quantum computer or quantum simulator in the many-body setting.


title: Dilute Fluid Governed by Quantum Fluctuations

abstract: Understanding the effects of interactions in complex quantum systems beyond the mean-field paradigm constitutes a fundamental problem in physics. Here, we show how the atom numbers and interactions in a Bose-Bose mixture can be tuned to cancel mean-field interactions completely. The resulting system is entirely governed by quantum fluctuations -- specifically the Lee-Huang-Yang correlations. We derive an effective one-component Gross-Pitaevskii equation for this system, which is shown to be very accurate by comparison with a full two-component description. This allows us to show how the Lee-Huang-Yang correlation energy can be accurately measured using two powerful probes of atomic gases: collective excitations and radio-frequency spectroscopy. Importantly, the behavior of the system is robust against deviations from the atom number and interaction criteria for canceling the mean-field interactions. This shows that it is feasible to realize a setting where quantum fluctuations are not masked by mean-field forces, allowing investigations of the Lee-Huang-Yang correction at unprecedented precision.


title: Igusa's conjecture for exponential sums: optimal estimates for non-rational singularities

abstract: We prove an upper bound on the log canonical threshold of a hypersurface that satisfies a certain power condition and use it to prove several generalizations of Igusa's conjecture on exponential sums, with the log-canonical threshold in the exponent of the estimates. We show that this covers optimally all situations of the conjectures for non-rational singularities, by comparing the log canonical threshold with a local notion of the motivic oscillation index.


title: Breaking degeneracy in jet dynamics: multi-epoch joint modelling of the BL Lac PKS 2155-304

abstract: Supermassive black holes can launch powerful jets which can be some of the most luminous multi-wavelength sources; decades after their discovery their physics and energetics are still poorly understood. The past decade has seen a dramatic improvement in the quality of available data, but despite this improvement the semi-analytical modelling of jets has advanced slowly: simple one-zone models are still the most commonly employed method of interpreting data, in particular for AGN jets. These models can roughly constrain the properties of jets but they cannot unambiguously couple their emission to the launching regions and internal dynamics, which can be probed with simulations. However, simulations are not easily comparable to observations because they cannot yet self-consistently predict spectra. We present an advanced semi-analytical model which accounts for the dynamics of the whole jet, starting from a simplified parametrization of Relativistic Magnetohydrodynamics in which the magnetic flux is converted into bulk kinetic energy. To benchmark the model we fit six quasisimultaneous, multi-wavelength spectral energy distributions of the BL Lac PKS 2155-304 obtained by the TANAMI program, and we address the degeneracies inherent to such a complex model by employing a state-of-the-art exploration of parameter space, which so far has been mostly neglected in the study of AGN jets. We find that this new approach is much more effective than a single-epoch fit in providing meaningful constraints on model parameters.


title: Irreducibility of a sum of polynomials depending on disjoint sets of variables

abstract: In this article, we give two different sufficient conditions for the irreducibility of a polynomial of more than one variable, over the field of complex numbers, that can be written as a sum of two polynomials which depend on mutually disjoint sets of variables. These conditions are derived from analyzing the Newton polytope of such a polynomial and then applying the `Irreducibility criterion' introduced by Gao.


title: String theory integrands and supergravity divergences

abstract: At low energies, interactions of massless particles in type II strings compactified on a torus $T^d$ are described by an effective Wilsonian action $\mathcal{S}(\Lambda)$, consisting of the usual supergravity Lagrangian supplemented by an infinite series of higher-derivative vertices, including the much studied $\nabla^{4p+6q} \mathcal{R}^4$ gravitational interactions. Using recent results on the asymptotics of the integrands governing four-graviton scattering at genus one and two, I determine the $\Lambda$-dependence of the coefficient of the above interaction, and show that the logarithmic terms appearing in the limit $\Lambda\to 0$ are related to UV divergences in supergravity amplitudes, augmented by stringy interactions. This provides a strong consistency check on the expansion of the integrand near the boundaries of moduli space, in particular it elucidates the appearance of odd zeta values in these expansions. I briefly discuss how these logarithms are reflected in non-analytic terms in the low energy expansion of the string scattering amplitude.


title: Benefits of over-parameterization with EM

abstract: Expectation Maximization (EM) is among the most popular algorithms for maximum likelihood estimation, but it is generally only guaranteed to find its stationary points of the log-likelihood objective. The goal of this article is to present theoretical and empirical evidence that over-parameterization can help EM avoid spurious local optima in the log-likelihood. We consider the problem of estimating the mean vectors of a Gaussian mixture model in a scenario where the mixing weights are known. Our study shows that the global behavior of EM, when one uses an over-parameterized model in which the mixing weights are treated as unknown, is better than that when one uses the (correct) model with the mixing weights fixed to the known values. For symmetric Gaussians mixtures with two components, we prove that introducing the (statistically redundant) weight parameters enables EM to find the global maximizer of the log-likelihood starting from almost any initial mean parameters, whereas EM without this over-parameterization may very often fail. For other Gaussian mixtures, we provide empirical evidence that shows similar behavior. Our results corroborate the value of over-parameterization in solving non-convex optimization problems, previously observed in other domains.


title: Improving a Constant in High-Dimensional Discrepancy Estimates

abstract: For all $s \geq 1$ and $N \geq 1$ there exist sequences $(z_1,\ldots,z_N)$ in $[0,1]^s$ such that the star-discrepancy of these points can be bounded by $$D_N^*(z_1,\ldots,z_N) \leq c \frac{\sqrt{s}}{\sqrt{N}}.$$ The best known value for the constant is $c=10$ as has been calculated by Aistleitner in \cite{Ais11}. In this paper we improve the bound to $c=9$.


title: Lattices of finite abelian groups

abstract: We study certain lattices constructed from finite abelian groups. We show that such a lattice is eutactic, thereby confirming a conjecture by B\"ottcher, Eisenbarth, Fukshansky, Garcia, Maharaj. Our methods also yield simpler proofs of two known results: First, such a lattice is strongly eutactic if and only if the abelian group has odd order or is elementary abelian. Second, such a lattice has a basis of minimal vectors, except for the cyclic group of order 4.


title: Generating equilibrium molecules with deep neural networks

abstract: Discovery of atomistic systems with desirable properties is a major challenge in chemistry and material science. Here we introduce a novel, autoregressive, convolutional deep neural network architecture that generates molecular equilibrium structures by sequentially placing atoms in three-dimensional space. The model estimates the joint probability over molecular configurations with tractable conditional probabilities which only depend on distances between atoms and their nuclear charges. It combines concepts from state-of-the-art atomistic neural networks with auto-regressive generative models for images and speech. We demonstrate that the architecture is capable of generating molecules close to equilibrium for constitutional isomers of C$_7$O$_2$H$_{10}$.


title: Security Event Recognition for Visual Surveillance

abstract: With rapidly increasing deployment of surveillance cameras, the reliable methods for automatically analyzing the surveillance video and recognizing special events are demanded by different practical applications. This paper proposes a novel effective framework for security event analysis in surveillance videos. First, convolutional neural network (CNN) framework is used to detect objects of interest in the given videos. Second, the owners of the objects are recognized and monitored in real-time as well. If anyone moves any object, this person will be verified whether he/she is its owner. If not, this event will be further analyzed and distinguished between two different scenes: moving the object away or stealing it. To validate the proposed approach, a new video dataset consisting of various scenarios is constructed for more complex tasks. For comparison purpose, the experiments are also carried out on the benchmark databases related to the task on abandoned luggage detection. The experimental results show that the proposed approach outperforms the state-of-the-art methods and effective in recognizing complex security events.


title: New predictions from the logotropic model

abstract: In a previous paper we have introduced a new cosmological model that we called the logotropic model. The logotropic model is able to account, without free parameter, for the constant surface density of the dark matter halos, for their mass-radius relation, and for the Tully-Fisher relation. In this paper, we explore other consequences of this model. By advocating a form of "strong cosmic coincidence" we predict that the present proportion of dark energy in the Universe is $\Omega_{\rm de,0}=e/(1+e)\simeq 0.731$ which is close to the observed value. We also remark that the surface density of dark matter halos and the surface density of the Universe are of the same order as the surface density of the electron. This makes a curious connection between cosmological and atomic scales. Using these coincidences, we can relate the Hubble constant, the electron mass and the electron charge to the cosmological constant. We also suggest that the famous numbers $137$ (fine-structure constant) and $123$ (logotropic constant) may actually represent the same thing. This could unify microphysics and cosmophysics. We study the thermodynamics of the logotropic model and find a connection to the Bekenstein-Hawking entropy of black holes if we assume that the logotropic fluid is made of particles of mass $m_{\Lambda}\sim \hbar\sqrt{\Lambda}/c^2=2.08\times 10^{-33}\, {\rm eV/c^2}$ (cosmons). In that case, the universality of the surface density of the dark matter halos may be related to a form of holographic principle (the fact that their entropy scales like their area). We use similar arguments to explain why the surface density of the electron and the surface density of the Universe are of the same order and justify the empirical Weinberg relation.


title: Comment to: "The quantum square well with moving boundaries: a numerical analysis"

abstract: In this comment we show that the approach presented by Foj\'on et al~\cite{Fojon10} is not as accurate as they claim. A straightforward calculation using the models considered buy those authors clearly shows that the spectral method, which the authors criticize, proves to be considerably better.


title: Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language

abstract: Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim's context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and we provide examples.


title: A novel pyramidal-FSMN architecture with lattice-free MMI for speech recognition

abstract: Deep Feedforward Sequential Memory Network (DFSMN) has shown superior performance on speech recognition tasks. Based on this work, we propose a novel network architecture which introduces pyramidal memory structure to represent various context information in different layers. Additionally, res-CNN layers are added in the front to extract more sophisticated features as well. Together with lattice-free maximum mutual information (LF-MMI) and cross entropy (CE) joint training criteria, experimental results show that this approach achieves word error rates (WERs) of 3.62% and 10.89% respectively on Librispeech and LDC97S62 (Switchboard 300 hours) corpora. Furthermore, Recurrent neural network language model (RNNLM) rescoring is applied and a WER of 2.97% is obtained on Librispeech.


title: Reduction of integration domain in Triebel-Lizorkin spaces

abstract: We investigate the comparability of generalized Triebel--Lizorkin and Sobolev seminorms on uniform and non-uniform sets when the integration domain is truncated according to the distance from the boundary. We provide numerous examples of kernels and domains in which the comparability does and does not hold.


title: Influence of Disorder and Anharmonic Fluctuations on the Dynamical Rashba Effect in Purely Inorganic Lead-Halide Perovskites

abstract: Doping organic metal-halide perovskites with cesium could be the best solution to stabilize highly-efficient perovskite solar cells. The understanding of the respective roles of the organic molecule, on one hand, and the inorganic lattice, on the other, is thus crucial in order to be able to optimize the physical properties of the mixed-cation structures. In particular, the study of the recombination mechanisms is thought to be one of the key challenges towards full comprehension of their working principles. Using molecular dynamics and frozen phonons, we evidence sub-picosecond anharmonic fluctuations in the fully inorganic $CsPbI_3$ perovskite. We reveal the effect of these fluctuations, combined with spin-orbit coupling, on the electronic band structure, evidencing a dynamical Rashba effect. Our study show that under certain conditions space disorder can quench the Rashba effect. As for time disorder, we evidence a dynamical Rashba effect which is similar to what was found for $MAPbI_3$ and which is still sizable despite temperature disorder, the large investigated supercell, and the absence of the organic cations' motion. We show that the spin texture associated to the Rashba splitting cannot be deemed responsible for a consistent reduction of recombination rates, although the spin mismatch between valence and conduction band increases with the ferroelectric distortion causing the Rashba splitting.


title: A simplified version of the Sequent Calculus G3[mic]^=

abstract: We show that the Replacement Rule in the sequent calculus G3[mic]}^=, for first order languages with function symbols and equality, can be replaced by the simpler rule in which the transformed formula is not repeated in the premiss.


title: Analysis of the magnetic and magnetocaloric properties of ALaFeMnO6 (A= Sr, Ba and Ca) double perovskites

abstract: In previous studies, we have reported that double perovskite La2NiMnO6 presents a non-negligible potential for room temperature magnetocaloric tasks. With the aim of improving even further the cooling performances and the working temperature range of double perovskites, we report the magnetic and magnetocaloric properties of La2MnFeO6 and ALaMnFeO6 (A = Sr, Ba, Ca) compounds. X-ray diffraction (XRD) and Rietveld refinement show that La2MnFeO6 (LMFO) and CaLaMnFeO6 (CLMFO) samples crystallize in an orthorhombic structure with the Pnma space group. However, a rhombohedral structure with the R3C space group is obtained for BaLaMnFeO6 (BLMFO) and SrLaMnFeO6 (SLMFO) samples. Substituting La by Ba or Sr in LMFO leads to a clear increase of the Curie temperature (Tc) compared to LMFO from 150 K for BLMFO up to 350 K for SLMFO. Moreover, CLMFO shows the smallest Tc down to 70 K. Ferromagnetic-like behavior is observed for SLMFO and BLMFO while CLMFO's magnetism resembles that of LMFO. A clear connection between the structural parameters and the magnetic properties of these doped LMFO samples is unveiled as the highest Tc and the largest magnetization are observed for SLMFO which shows also bond angles closest to 180{\deg} and the smallest bond lengths, thus optimizing the superexchange interaction. The partial substitution of Sr for La leads in fact to a significant magnetocaloric effect over a wide operating temperature range extending beyond 300 K. For some optimal growth conditions, its entropy change varies slowly over an unusually large temperature range, which is of clear interest from a practical point of view.


title: Short intervals asymptotic formulae for binary problems with prime powers, II

abstract: We improve some results about the asymptotic formulae in short intervals for the average number of representations of integers of the forms $n=p_{1}^{\ell_1}+p_{2}^{\ell_2}$ and $n=p^{\ell_1} + m^{\ell_2}$, where $\ell_1, \ell_2\ge 2$ are fixed integers, $p,p_1,p_2$ are prime numbers and $m$ is an integer.


title: On the spectral properties of nonsingular matrices that are strictly sign-regular for some order with applications to totally positive discrete-time systems

abstract: A matrix is called strictly sign-regular of order $k$ (denoted by $SSR_k$) if all its $k\times k$ minors are non-zero and have the same sign. For example, totally positive matrices, i.e., matrices with all minors positive, are $SSR_k$ for all $k$. Another important subclass are those that are $SSR_k$ for all odd $k$. Such matrices have interesting sign variation diminishing properties, and it has been recently shown that they play an important role in the analysis of certain nonlinear cooperative dynamical systems. In this paper, the spectral properties of nonsingular matrices that are $SSR_k$ for a specific value $k$ are studied. One of the results is that the product of the first $k$ eigenvalues is real and of the same sign as the $k\times k$ minors, and that linear combinations of certain eigenvectors have specific sign patterns. It is then shown how known results for matrices that are $SSR_k$ for several values of $k$ can be derived from these spectral properties. Using these theoretical results, the notion of a totally positive discrete-time system (TPDTS) is introduced. This may be regarded as the discrete-time analogue of the important notion of a totally positive differential system, introduced by Schwarz in 1970. The asymptotic behavior of time-invariant and time-varying TPDTSs is analyzed, and it is shown that every trajectory of a periodic time-varying TPDTS converges to a periodic solution.


title: gpuRIR: A Python Library for Room Impulse Response Simulation with GPU Acceleration

abstract: The Image Source Method (ISM) is one of the most employed techniques to calculate acoustic Room Impulse Responses (RIRs), however, its computational complexity grows fast with the reverberation time of the room and its computation time can be prohibitive for some applications where a huge number of RIRs are needed. In this paper, we present a new implementation that dramatically improves the computation speed of the ISM by using Graphic Processing Units (GPUs) to parallelize both the simulation of multiple RIRs and the computation of the images inside each RIR. Additional speedups were achieved by exploiting the mixed precision capabilities of the newer GPUs and by using lookup tables. We provide a Python library under GNU license that can be easily used without any knowledge about GPU programming and we show that it is about 100 times faster than other state of the art CPU libraries. It may become a powerful tool for many applications that need to perform a large number of acoustic simulations, such as training machine learning systems for audio signal processing, or for real-time room acoustics simulations for immersive multimedia systems, such as augmented or virtual reality.


title: New Designs on MVDR Robust Adaptive Beamforming Based on Optimal Steering Vector Estimation

abstract: The robust adaptive beamforming design problem based on estimation of the signal of interest steering vector is considered in the paper. In this case, the optimal beamformer is obtained by computing the sample matrix inverse and an optimal estimate of the signal of interest steering vector. The common criteria to find the best estimate of the steering vector are the beamformer output SINR and output power, while the constraints assume as little as possible prior inaccurate knowledge about the signal of interest, the propagation media, and the antenna array. Herein, a new beamformer output power maximization problem is formulated and solved subject to a double-sided norm perturbation constraint, a similarity constraint, and a quadratic constraint that guarantees that the direction-of-arrival (DOA) of the signal of interest is away from the DOA region of all linear combinations of the interference steering vectors. In the new robust design, the prior information required consists of some allowable error norm bounds, the approximate knowledge of the antenna array geometry, and the angular sector of the signal of interest. It turns out that the array output power maximization problem is a non-convex QCQP problem with inhomogeneous constraints. However, we show that the problem is still solvable, and develop efficient algorithms for finding globally optimal estimate of the signal of interest steering vector. The results are generalized to the case where an ellipsoidal constraint is considered, and sufficient conditions for the global optimality are derived. In addition, a new quadratic constraint on the actual signal steering vector is proposed in order to improve the array performance. To validate our results, simulation examples are presented, and they demonstrate the improved performance of the new robust beamformers in terms of the output SINR as well as the output power.


title: Temporally, Spatially or Light-like Modulated Vacua in Lorentz Invariant Theories

abstract: We study the vacuum structure of a class of Lorentz invariant field theories where the vacuum expectation values are not constant but are (phase) modulated. The vacua are classified into spatial, temporal, and light-like modulation types according to the patterns of spontaneous breaking of translational symmetry. The conditions for having temporal or light-like modulated vacua imply severe constraints on the models. We utilize the notion of generalized Nambu-Goldstone modes which appear in the modulated vacua. Finally, we examine fluctuation modes around these vacua and discuss their dynamics and the absence of ghosts.


title: On The Ignition, Propagation and Termination Of The Neuronal Bursting Activity During Ictogenesis In Epileptic Patients

abstract: Epilepsy creates a persistent increase in the probability of spontaneous seizures. An ictal episode evolves due to acute disturbance of the fine-tuned balance between excitatory vs. inhibitory inputs within a neural network in favor of excitation. The current literature that proposes the activity-dependent disinhibition as a valid mechanism of chronic epilepsy, does not provide clues on why this mechanism emerges only in epileptic patients and how the vicious circle resulting of an activity-dependent disinhibition in over-active ictogenic network would end. A new model, which presents chronic epilepsy as a disease of faulty architecture of the neural circuit, is discussed. Wherein; variable genetic or acquired predisposing factors drive abnormalities in the construction of multiple neural circuits resulting in an activity-dependent positive feedback excitatory loops which transform normal neural circuits into ictal foci. Such new mechanism, for igniting an activity-dependent unstable excitation with subsequent relatively stable disinhibition, leads to an ictal escape rhythm. The propagation of such bursting activity occurs either electrochemically via synaptic communication to remote susceptible circuits, or chemically via a trigger wave which recruits the non-connected proximal neurons. Termination occurs abruptly when the inhibitory interneurons functionally recover and reimpose their inhibitory effect on the ictogenic circuit to transform the escape rhythm into a normal, under-control output. The proposed model elucidates various enigmatic features of the disease; and illustrates both the end-result ictogenic mechanism arising from the wide variety of etiologies of human spontaneous and acquired epilepsy, and the timing of episodic transitions from normal activity to seizures.


title: CatBoost: gradient boosting with categorical features support

abstract: In this paper we present CatBoost, a new open-sourced gradient boosting library that successfully handles categorical features and outperforms existing publicly available implementations of gradient boosting in terms of quality on a set of popular publicly available datasets. The library has a GPU implementation of learning algorithm and a CPU implementation of scoring algorithm, which are significantly faster than other gradient boosting libraries on ensembles of similar sizes.


title: Conformal to Harmonic Gauge for Bosonic Strings

abstract: We consider Polyakov theory of Bosonic strings in conformal gauge which are used to study conformal anomaly. However it exhibits ghost number anomaly. We show how this anomaly can be avoided by connecting this theory to that of in background covariant harmonic gauge which is known to be free from conformal and ghost number current anomaly, by using suitably constructed finite field dependent BRST transformation.


title: A new light on the darkest corner of the landscape

abstract: Motivated by the recently proposed bounds on the slow-roll parameters for scalar potentials arising from string/M-theory compactifications, a.k.a. the Refined de Sitter Swampland conjecture, we explore the sharpness of such constraints within 4D supergravities coming from compactifications of massive type IIA string theory on $\mathbb{T}^{6}/(\mathbb{Z}_{2}\,\times\,\mathbb{Z}_{2})$. With the aid of a numerical technique, known as differential evolution, we are able to find a de Sitter extremum which is fully metastable up to one single flat direction. This solution is supported by spacetime filling sources such as O6 planes and KK monopoles. Our example violates the bound imposed by this conjecture.


title: Breakthrough in HAXPES Performance Combining Full-Field k-Imaging with Time-of-Flight Recording

abstract: We established a new approach to hard-X-ray photoelectron spectroscopy (HAXPES). The instrumental key feature is an increase of the dimensionality of the recording scheme from 2D to 3D. A high-energy momentum microscope can detect electrons with initial kinetic energies more than 6 keV with high angular resolution < 0.1{\deg}. The large k-space acceptance of the special objective lens allows for simultaneous full-field imaging of many Brillouin zones. Combined with time-of-flight parallel energy recording, this method yields maximum parallelization of data acquisition. In a pilot experiment at the new beamline P22 at PETRA III, Hamburg, count rates of more than $10^{6}$ counts per second in the d-band complex of transition metals established an unprecedented HAXPES recording speed. It was found that the concept of tomographic k-space mapping previously demonstrated in the soft X-ray regime works equally well in the hard X-ray range. Sharp valence band k-patterns of Re collected at an excitation energy of 6 keV correspond to direct transitions to the 28th repeated Brillouin zone. Given the high X-ray brilliance (1.1x$10^{13}$ hv/s in a spot of less than 20x15 $mu^{2}$), the 3D bulk Brillouin zone can be mapped in a few hours. X-ray photoelectron diffraction (XPD) patterns with < 0.1{\deg} resolution are recorded within minutes. Previously unobserved fine details in the diffractograms reflect the large number of scatterers, several $10^{4}$ to $10^{6}$, depending on energy. The short photoelectron wavelength (an order of magnitude smaller than the interatomic distance) amplifies phase differences and makes hard X-ray XPD with high resolution a very sensitive structural tool. The high count rates pave the way towards spin-resolved HAXPES using an imaging spin filter.


title: LAMVI-2: A Visual Tool for Comparing and Tuning Word Embedding Models

abstract: Tuning machine learning models, particularly deep learning architectures, is a complex process. Automated hyperparameter tuning algorithms often depend on specific optimization metrics. However, in many situations, a developer trades one metric against another: accuracy versus overfitting, precision versus recall, smaller models and accuracy, etc. With deep learning, not only are the model's representations opaque, the model's behavior when parameters "knobs" are changed may also be unpredictable. Thus, picking the "best" model often requires time-consuming model comparison. In this work, we introduce LAMVI-2, a visual analytics system to support a developer in comparing hyperparameter settings and outcomes. By focusing on word-embedding models ("deep learning for text") we integrate views to compare both high-level statistics as well as internal model behaviors (e.g., comparing word 'distances'). We demonstrate how developers can work with LAMVI-2 to more quickly and accurately narrow down an appropriate and effective application-specific model.


title: Experimental and numerical study of spectral properties of three-dimensional chaotic microwave cavities: The case of missing levels

abstract: We present an experimental and numerical study of missing-level statistics of chaotic three-dimensional microwave cavities. The nearest-neighbor spacing distribution, the spectral rigidity, and the power spectrum of level fluctuations were investigated. We show that the theoretical approach to a problem of incomplete spectra does not work well when the incompleteness of the spectra is caused by unresolved resonances. In such a case the fraction of missing levels can be evaluated by calculations based on random matrix theory.


title: The Information Flow Foundation for Conceptual Knowledge Organization

abstract: The sharing of ontologies between diverse communities of discourse allows them to compare their own information structures with that of other communities that share a common terminology and semantics - ontology sharing facilitates interoperability between online knowledge organizations. This paper demonstrates how ontology sharing is formalizable within the conceptual knowledge model of Information Flow (IF). Information Flow indirectly represents sharing through a specifiable, ontology extension hierarchy augmented with synonymic type equivalencing - two ontologies share terminology and meaning through a common generic ontology that each extends. Using the paradigm of participant community ontologies formalized as IF logics, a common shared extensible ontology formalized as an IF theory, participant community specification links from the common ontology to the participating community ontology formalizable as IF theory interpretations, this paper argues that ontology sharing is concentrated in a virtual ontology of community connections, and demonstrates how this virtual ontology is computable as the fusion of the participant ontologies - the quotient of the sum of the participant ontologies modulo the ontological sharing structure.


title: A simulated annealing approach to the student-project allocation problem

abstract: We describe a solution to the student-project allocation problem using simulated annealing. The problem involves assigning students to projects, where each student has ranked a fixed number of projects in order of preference. Each project is offered by a specific supervisor (or supervisors), and the goal is to find an optimal matching of students to projects taking into account the students' preferences, the constraint that only one student can be assigned to a given project, and the constraint that supervisors have a maximum workload. We show that when applied to a real dataset from a university physics department, simulated annealing allows the rapid determination of high quality solutions to this allocation problem. The quality of the solution is quantified by a satisfaction metric derived from empirical student survey data. Our approach provides high quality allocations in a matter of minutes that are as good as those found previously by the course organizer using a laborious trial-and-error approach. We investigate how the quality of the allocation is affected by the ratio of the number of projects offered to the number of students and the number of projects ranked by each student. We briefly discuss how our approach can be generalized to include other types of constraints and discuss its potential applicability to wider allocation problems.


title: Relay self-oscillations for second order, stable, nonminimum phase plants

abstract: We study a relay feedback system (RFS) having an ideal relay element and a linear, time-invariant, second order plant. We model the relay element using an ideal on-off switch. And we model the second order plant with a transfer function that: (i) is Hurwitz stable, (ii) is proper, (iii) has a positive real zero, and (iv) has a positive DC gain. We analyze this RFS using a state space description, with closed form expressions for the state trajectory from one switching time to the next. We prove that the state transformation from one switching time to the next: (a) has a Schur stable linearization, (b) is a contraction mapping, and (c) maps points of large magnitudes to points with lesser magnitudes. Then using the Banach contraction mapping theorem, we prove that every trajectory of this RFS converges asymptotically to an unique limit cycle. This limit cycle is symmetric, and is unimodal as it has exactly two relay switches per period. This result helps understand the behaviour of the relay autotuning method, when applied to second order plants with no time delay. We also treat cases where the plant either has no finite zero, or has exactly one zero and that is negative.


title: Pattern avoidance and quasisymmetric functions

abstract: Given a set of permutations Pi, let S_n(Pi) denote the set of permutations in the symmetric group S_n that avoid every element of Pi in the sense of pattern avoidance. Given a subset S of {1,...,n-1}, let F_S be the fundamental quasisymmetric function indexed by S. Our object of study is the generating function Q_n(Pi) = sum F_{Des sigma} where the sum is over all sigma in S_n(Pi) and Des sigma is the descent set of sigma. We characterize those Pi contained in S_3 such that Q_n(Pi) is symmetric or Schur nonnegative for all n. In the process, we show how each of the resulting Pi can be obtained from a theorem or conjecture involving more general sets of patterns. In particular, we prove results concerning symmetries, shuffles, and Knuth classes, as well as pointing out a relationship with the arc permutations of Elizalde and Roichman. Various conjectures and questions are mentioned throughout.


title: A three-state model with competing antiferromagnetic and pairing interactions

abstract: Motivated by the rich phase diagram of the high temperature superconductors, we introduce a toy model with three state variables which can be interpreted as two state particles and holes. The Hamiltonian has a term which favors antiferromagnetism and an additional competing interaction which favors bonding between pairs of antiparallel spins mediated by holes. For low concentration of holes the dominant interaction between particles has antiferromagnetic character, leading to an antiferromagnetic phase in the temperature-hole concentration phase diagram, qualitatively similar to the antiferromagnetic phase of doped Mott insulators. For growing concentration of holes antiferromagnetic order is weakend and a phase with a different kind of order mediated by holes appears. This last phase has the form of a dome in the T-hole concentration plane. The whole phase diagram resembles those of some families of high $T_c$ superconductors. We compute the phase diagram in the mean field approximation and characterize the different phase transitions through Monte Carlo simulations.


title: Direct observation of $\Gamma - X$ energy spectrum transition in narrow AlAs quantum wells

abstract: Spectra of magnetoplasma excitations have been investigated in a two-dimensional electron systems in AlAs quantum wells (QWs) of different widths. The magnetoplasma spectrum have been found to change profoundly when the quantum well width became thinner than $5.5$~nm, indicating a drastic change in the conduction electron energy spectrum. The transformation can be interpreted in terms of transition from the in-plane strongly anisotropic $X_x - X_y$ valley occupation to the out-of-plane isotropic $X_z$ valley in the QW plane. Strong enhancement of the cyclotron effective mass over the band value in narrow AlAs QWs is reported.


title: Reliable mass calculation in spherical gravitating systems

abstract: We present an innovative approach to the methodology of dynamical modelling, allowing practical reconstruction of the underlying dark matter mass without assuming both the density and anisotropy functions. With this, the mass-anisotropy degeneracy is reduced to simple model inference, incorporating the uncertainties inherent with observational data, statistically circumventing the mass-anisotropy degeneracy in spherical collisionless systems. We also tackle the inadequacy that the Jeans method of moments has on small datasets, with the aid of Generative Adversarial Networks: we leverage the power of artificial intelligence to reconstruct non-parametrically the projected line-of-sight velocity distribution. We show with realistic numerical simulations of dwarf spheroidal galaxies that we can distinguish between competing dark matter distributions and recover the anisotropy and mass profile of the system.


title: A comparative study on different non-Hermitian approaches for modeling open quantum systems

abstract: In this paper, we test and compare the performance of two different theoretical methods that use anti-Hermitian terms for modeling open quantum systems. It is, the non-Hermitian quantum mechanics method (NHQM) and the recent methodology known as corrected non-Hermitian effective Hamiltonian (corrected NHEH) approach. In particular, we provide a comprehensive analysis of the performance of these two theoretical approaches by describing the dynamics of the pumped-dissipative Jaynes--Cummings model. Our results demonstrate that whereas the NHQM method fails for describing correctly the time evolution of the density matrix elements as well as the quantum fidelity measure. The corrected NHEH approach shows an excellent agreement with simulations based on the Lindblad master equation formalism.


title: A Large deviation principle for last passage times in an asymmetric Bernoulli potential

abstract: We prove a large deviation principle and give an expression for the rate function, for the last passage time in a Bernoulli environment. The model is exactly solvable and its invariant version satisfies a Burke-type property. Finally, we compute explicit limiting logarithmic moment generating functions for both the classical and the invariant models. The shape function of this model exhibits a flat edge in certain directions, and we also discuss the rate function and limiting log-moment generating functions in those directions.


title: Improving the Stability of the Knockoff Procedure: Multiple Simultaneous Knockoffs and Entropy Maximization

abstract: The Model-X knockoff procedure has recently emerged as a powerful approach for feature selection with statistical guarantees. The advantage of knockoff is that if we have a good model of the features X, then we can identify salient features without knowing anything about how the outcome Y depends on X. An important drawback of knockoffs is its instability: running the procedure twice can result in very different selected features, potentially leading to different conclusions. Addressing this instability is critical for obtaining reproducible and robust results. Here we present a generalization of the knockoff procedure that we call simultaneous multi-knockoffs. We show that multi-knockoff guarantees false discovery rate (FDR) control, and is substantially more stable and powerful compared to the standard (single) knockoff. Moreover we propose a new algorithm based on entropy maximization for generating Gaussian multi-knockoffs. We validate the improved stability and power of multi-knockoffs in systematic experiments. We also illustrate how multi-knockoffs can improve the accuracy of detecting genetic mutations that are causally linked to phenotypes.


title: Parameter estimation for a Lorentz invariance violation

abstract: We employ techniques from quantum estimation theory (QET) to estimate the Lorentz violation parameters in the 1+3-dimensional flat spacetime. We obtain and discuss the expression of the quantum Fisher information (QFI) in terms of the Lorentz violation parameter $\sigma_0$ and the momentum k of the created particles. We show that the maximum QFI is achieved for a specific momentum $k_{\mathrm{max}}$. We also find that the optimal precision of estimation of the Lorentz violation parameter is obtained near the Planck scale.


title: YatSim: an Open-Source Simulator For Testing Consensus-based Control Strategies in Urban Traffic Networks

abstract: This paper presents YatSim, an open-source program for simulating consensus-based control strategies in urban traffic networks. Urban traffic is a multi-agent system which requires agreement among the agents to guarantees performance, safety, and higher efficiency. YatSim is an user-friendly program that allows to create randomized urban traffic networks in which vehicles run. Vehicles agree on crossing priorities at the intersections by executing a Consensus-Based Auction Algorithm Modified. Ccollisions are avoided by employing an onboard Model Predictive Controller.


title: Immobilization of convex bodies in $R^n$

abstract: We extend to arbitrary finite $n$ the notion of immobilization of a convex body $O$ in $R^n$ by a finite set of points $P$ in the boundary of $O$. Because of its importance for this problem, necessary and sufficient conditions are found for the immobilization of an $n$-simplex. A fairly complete geometric description of these conditions is given: as $n$ increases from $n = 2$, some qualitative difference in the nature of the sets $P$ emerges.


title: Approximating the Lateral Distribution Function of Cherenkov Radiation as a Function of the Particle Type for Tunka-133 Array

abstract: The main interest of the present work is in analyzing the lateral distribution function (LDF) of Cherenkov radiation from particles that produced in Extensive Air Showers (EAS). The simulation of Cherenkov radiation LDF is fulfilled by utilizing the CORSIKA program at 1 PeV of the primary energy around the knee region for many primaries for vertical showers for Tunka-133 array conditions. Depending on the numerical simulation results of Cherenkov light LDF, sets of parameterized polynomial functions are resetted for several particles as a function of primary particle type. The comparison between the approximated LDF of Cherenkov radiation with the LDF which has been simulated using CORSIKA program for Tunka-133 array is verified for several primary particles for vertical EAS cascade.


title: Some Requests for Machine Learning Research from the East African Tech Scene

abstract: Based on 46 in-depth interviews with scientists, engineers, and CEOs, this document presents a list of concrete machine research problems, progress on which would directly benefit tech ventures in East Africa.


title: Dynamics of a high-density plasma in a magnetic field

abstract: The paper considers the dynamics of the plasma generated by the explosive-emission cells of the cathode spot of a vacuum arc in a magnetic field. It is shown that the expansion of the (high-density) plasma in a transverse magnetic field may cause asymmetry in the plasma density distribution at the cathode spot boundary. The asymmetry, in turn, increases the probability of the ignition of new explosive-emission cells in the region of a stronger magnetic field in the 'anti-amperian' direction of BxI. The disturbed plasma density distribution estimated in the MHD approximation is presented. In addition, the velocity of the 'retrograde' spot motion (ignition of new explosive-emission cells) in the stronger field region is estimated as a function of the external magnetic field strength. The velocity estimates (a few to tens of m/(s T)) are shown to agree with experimental data


title: Data-driven Variable Speed Limit Design for Highways via Distributionally Robust Optimization

abstract: This paper introduces an optimization problem (P) and a solution strategy to design variable-speed-limit controls for a highway that is subject to traffic congestion and uncertain vehicle arrival and departure. By employing a finite data-set of samples of the uncertain variables, we aim to find a data-driven solution that has a guaranteed out-of-sample performance. In principle, such formulation leads to an intractable problem (P) as the distribution of the uncertainty variable is unknown. By adopting a distributionally robust optimization approach, this work presents a tractable reformulation of (P) and an efficient algorithm that provides a suboptimal solution that retains the out-of-sample performance guarantee. A simulation illustrates the effectiveness of this method.

categories: math.OC cs.SY eess.SY math.DS math.PR stat.AP


title: On a Diagonal Conjecture for Classical Ramsey Numbers

abstract: Let $R(k_1, \cdots, k_r)$ denote the classical $r$-color Ramsey number for integers $k_i \ge 2$. The Diagonal Conjecture (DC) for classical Ramsey numbers poses that if $k_1, \cdots, k_r$ are integers no smaller than 3 and $k_{r-1} \leq k_r$, then $R(k_1, \cdots, k_{r-2}, k_{r-1}-1, k_r +1) \leq R(k_1, \cdots, k_r)$. We obtain some implications of this conjecture, present evidence for its validity, and discuss related problems. Let $R_r(k)$ stand for the $r$-color Ramsey number $R(k, \cdots, k)$. It is known that $\lim_{r \rightarrow \infty} R_r(3)^{1/r}$ exists, either finite or infinite, the latter conjectured by Erd\H{o}s. This limit is related to the Shannon capacity of complements of $K_3$-free graphs. We prove that if DC holds, and $\lim_{r \rightarrow \infty} R_r(3)^{1/r}$ is finite, then $\lim_{r \rightarrow \infty} R_r(k)^{1/r}$ is finite for every integer $k \geq 3$.


title: Theoretical research without projects

abstract: We propose a funding scheme for theoretical research that does not rely on project proposals, but on recent past scientific productivity. Given a quantitative figure of merit on the latter and the total research budget, we introduce a number of policies to decide the allocation of funds in each grant call. Under some assumptions on scientific productivity, some of such policies are shown to converge, in the limit of many grant calls, to a funding configuration that is close to the maximum total productivity of the whole scientific community. We present numerical simulations showing evidence that these schemes would also perform well in the presence of statistical noise in the scientific productivity and/or its evaluation. Finally, we prove that one of our policies cannot be cheated by individual research units. Our work must be understood as a first step towards a mathematical theory of the research activity.


title: Deep Intrinsically Motivated Continuous Actor-Critic for Efficient Robotic Visuomotor Skill Learning

abstract: In this paper, we present a new intrinsically motivated actor-critic algorithm for learning continuous motor skills directly from raw visual input. Our neural architecture is composed of a critic and an actor network. Both networks receive the hidden representation of a deep convolutional autoencoder which is trained to reconstruct the visual input, while the centre-most hidden representation is also optimized to estimate the state value. Separately, an ensemble of predictive world models generates, based on its learning progress, an intrinsic reward signal which is combined with the extrinsic reward to guide the exploration of the actor-critic learner. Our approach is more data-efficient and inherently more stable than the existing actor-critic methods for continuous control from pixel data. We evaluate our algorithm for the task of learning robotic reaching and grasping skills on a realistic physics simulator and on a humanoid robot. The results show that the control policies learned with our approach can achieve better performance than the compared state-of-the-art and baseline algorithms in both dense-reward and challenging sparse-reward settings.


title: The geometry of domains with negatively pinched K\"ahler metrics

abstract: We study how the existence of a negatively pinched K\"ahler metric on a domain in complex Euclidean space restricts the geometry of its boundary. In particular, we show that if a convex domain admits a complete K\"ahler metric, with pinched negative holomorphic bisectional curvature outside a compact set, then the boundary of the domain does not contain any complex subvariety of positive domain. Moreover, if the boundary of the domain is smooth, then it is of finite type in the sense of D'Angelo. We also use curvature to provide a characterization of strong pseudoconvexity amongst convex domains. In particular, we show that a convex domain with $C^{2,\alpha}$ boundary is strongly pseudoconvex if and only if it admits a complete K\"ahler metric with sufficiently tight pinched negative holomorphic sectional curvature outside a compact set.


title: Joint Estimation of DOA and Frequency with Sub-Nyquist Sampling in a Binary Array Radar System

abstract: Recently, several array radar structures combined with sub-Nyquist techniques and corresponding algorithms have been extensively studied. Carrier frequency and direction-of-arrival (DOA) estimations of multiple narrow-band signals received by array radars at the sub-Nyquist rates are considered in this paper. We propose a new sub-Nyquist array radar architecture (a binary array radar separately connected to a multi-coset structure with M branches) and an efficient joint estimation algorithm which can match frequencies up with corresponding DOAs. We further come up with a delay pattern augmenting method, by which the capability of the number of identifiable signals can increase from M-1 to Q-1 (Q is extended degrees of freedom). We further conclude that the minimum total sampling rate 2MB is sufficient to identify $ {K \leq Q-1}$ narrow-band signals of maximum bandwidth $B$ inside. The effectiveness and performance of the estimation algorithm together with the augmenting method have been verified by simulations.


title: Finding dissimilar explanations in Bayesian networks: Complexity results

abstract: Finding the most probable explanation for observed variables in a Bayesian network is a notoriously intractable problem, particularly if there are hidden variables in the network. In this paper we examine the complexity of a related problem, that is, the problem of finding a set of sufficiently dissimilar, yet all plausible, explanations. Applications of this problem are, e.g., in search query results (you won't want 10 results that all link to the same website) or in decision support systems. We show that the problem of finding a 'good enough' explanation that differs in structure from the best explanation is at least as hard as finding the best explanation itself.


title: Automatic Analysis of Facial Expressions Based on Deep Covariance Trajectories

abstract: In this paper, we propose a new approach for facial expression recognition using deep covariance descriptors. The solution is based on the idea of encoding local and global Deep Convolutional Neural Network (DCNN) features extracted from still images, in compact local and global covariance descriptors. The space geometry of the covariance matrices is that of Symmetric Positive Definite (SPD) matrices. By conducting the classification of static facial expressions using Support Vector Machine (SVM) with a valid Gaussian kernel on the SPD manifold, we show that deep covariance descriptors are more effective than the standard classification with fully connected layers and softmax. Besides, we propose a completely new and original solution to model the temporal dynamic of facial expressions as deep trajectories on the SPD manifold. As an extension of the classification pipeline of covariance descriptors, we apply SVM with valid positive definite kernels derived from global alignment for deep covariance trajectories classification. By performing extensive experiments on the Oulu-CASIA, CK+, and SFEW datasets, we show that both the proposed static and dynamic approaches achieve state-of-the-art performance for facial expression recognition outperforming many recent approaches.


title: Dendritic cortical microcircuits approximate the backpropagation algorithm

abstract: Deep learning has seen remarkable developments over the last years, many of them inspired by neuroscience. However, the main learning mechanism behind these advances - error backpropagation - appears to be at odds with neurobiology. Here, we introduce a multilayer neuronal network model with simplified dendritic compartments in which error-driven synaptic plasticity adapts the network towards a global desired output. In contrast to previous work our model does not require separate phases and synaptic learning is driven by local dendritic prediction errors continuously in time. Such errors originate at apical dendrites and occur due to a mismatch between predictive input from lateral interneurons and activity from actual top-down feedback. Through the use of simple dendritic compartments and different cell-types our model can represent both error and normal activity within a pyramidal neuron. We demonstrate the learning capabilities of the model in regression and classification tasks, and show analytically that it approximates the error backpropagation algorithm. Moreover, our framework is consistent with recent observations of learning between brain areas and the architecture of cortical microcircuits. Overall, we introduce a novel view of learning on dendritic cortical circuits and on how the brain may solve the long-standing synaptic credit assignment problem.


title: Fermi-LAT improved Pass~8 event selection

abstract: The current version of the Fermi Large Area Telescope data (P8R2) has been publicly available since June 2015, with the caveat that the residual background of all event classes, except ULTRACLEANVETO, was not fully isotropic: it was enhanced by a factor ~2 at 1-3 GeV within ~20 deg of the Ecliptic compared to the poles. By investigating the residual background using data only, we were able to find two sources of residual background: one due to non-interacting heavy ions and one due to cosmic-ray electrons leaking through the ribbons of the Anti-Coincidence Detector, the latter source being responsible for the background anisotropy. A set of simple cuts allows us to reject these events while losing less than 1% of the SOURCE class acceptance. This new selection has been used to produce a new version of the LAT data (P8R3).


title: On the local isomorphism property for families of K3 surfaces

abstract: We construct two families of K3 surfaces over a complex manifold $S$ such that the families are pointwise isomorphic but not locally isomorphic over $S$. This answers a question of Wehler from 1977 in the negative and challenges a more recent result of Meersseman.


title: On the complexity of class group computations for large degree number fields

abstract: In this paper, we examine the general algorithm for class group computations, when we do not have a small defining polynomial for the number field. Based on a result of Biasse and Fieker, we simplify their algorithm, improve the complexity analysis and identify the optimal parameters to reduce the runtime. We make use of the classes $\mathcal D$ defined in [GJ16] for classifying the fields according to the size of the extension degree and prove that they enable to describe all the number fields.


title: Robust Inference Using Inverse Probability Weighting

abstract: Inverse Probability Weighting (IPW) is widely used in empirical work in economics and other disciplines. As Gaussian approximations perform poorly in the presence of "small denominators," trimming is routinely employed as a regularization strategy. However, ad hoc trimming of the observations renders usual inference procedures invalid for the target estimand, even in large samples. In this paper, we first show that the IPW estimator can have different (Gaussian or non-Gaussian) asymptotic distributions, depending on how "close to zero" the probability weights are and on how large the trimming threshold is. As a remedy, we propose an inference procedure that is robust not only to small probability weights entering the IPW estimator but also to a wide range of trimming threshold choices, by adapting to these different asymptotic distributions. This robustness is achieved by employing resampling techniques and by correcting a non-negligible trimming bias. We also propose an easy-to-implement method for choosing the trimming threshold by minimizing an empirical analogue of the asymptotic mean squared error. In addition, we show that our inference procedure remains valid with the use of a data-driven trimming threshold. We illustrate our method by revisiting a dataset from the National Supported Work program.


title: Observing substructure in circumstellar discs around massive young stellar objects

abstract: Simulations of massive star formation predict the formation of discs with significant substructure, such as spiral arms and clumps due to fragmentation. Here we present a semi-analytic framework for producing synthetic observations of discs with substructure, in order to determine their observability in interferometric observations. Unlike post-processing of hydrodynamical models, the speed inherent to our approach permits us to explore a large parameter space of star and disc parameters, and thus constrain properties for real observations. We compute synthetic dust continuum and molecular line observations probing different disc masses, distances, inclinations, thermal structures, dust distributions, and number and orientation of spirals and fragments. With appropriate spatial and kinematic filtering applied, our models predict that ALMA observations of massive YSOs at <5 kpc distances should detect spirals in both gas and dust in strongly self-gravitating discs (i.e. discs with up to two spiral arms and strong kinematic perturbations). Detecting spirals will be possible in discs of arbitrary inclination, either by directly spatially resolving them for more face-on discs (inclinations up to ~50 degrees), or through a kinematic signature otherwise. Clumps resulting from disc fragmentation should be detectable in the continuum, if the clump is sufficiently hotter than the surrounding disc material.


title: Quantum model for Impulsive Stimulated Raman Scattering

abstract: The interaction between ultrashort light pulses and non-absorbing materials is dominated by Impulsive Stimulated Raman Scattering (ISRS). The description of ISRS in the context of pump\&probe experiments is based on effective classical models describing the interaction between the phonon and pulsed electromagnetic fields. Here we report a theoretical description of ISRS where we do not make any semi-classical approximation and we treat both photonic and phononic degrees of freedom at the quantum level. The results of the quantum model are compared with semiclassical results and validated by means of spectrally resolved pump\&probe measurements on $\alpha$-quartz.


title: On localizations of quasi-simple groups with given countable center

abstract: A group homomorphism $i: H \to G$ is a localization of $H$ if for every homomorphism $\varphi: H\rightarrow G$ there exists a unique endomorphism $\psi: G\rightarrow G$, such that $i \psi=\varphi$ (maps are acting on the right). G\"{o}bel and Trlifaj asked in \cite[Problem 30.4(4), p. 831]{GT12} which abelian groups are centers of localizations of simple groups. Approaching this question we show that every countable abelian group is indeed the center of some localization of a quasi-simple group, i.e. a central extension of a simple group. The proof uses Obraztsov and Ol'shanskii's construction of infinite simple groups with a special subgroup lattice and also extensions of results on localizations of finite simple groups by the second author and Scherer, Th\'{e}venaz and Viruel.


title: Accurate tracer particles of baryon dynamics in the adaptive mesh refinement code Ramses

abstract: We present a new implementation of the tracer particles algorithm based on a Monte Carlo approach for the Eulerian adaptive mesh refinement code Ramses. The purpose of tracer particles is to keep track of where fluid elements originate in Eulerian mesh codes, so as to follow their Lagrangian trajectories and re-processing history. We provide a comparison to the more commonly used velocity-based tracer particles, and show that the Monte Carlo approach reproduces the gas distribution much more accurately. We present a detailed statistical analysis of the properties of the distribution of tracer particles in the gas and report that it follows a Poisson law. We extend these Monte Carlo gas tracer particles to tracer particles for the stars and black holes, so that they can exchange mass back and forth between themselves. With such a scheme, we can follow the full cycle of baryons, that is, from gas-forming stars to the release of mass back to the surrounding gas multiple times, or accretion of gas onto black holes. The overall impact on computation time is $\sim$ 3% per tracer per initial cell. As a proof of concept, we study an astrophysical science case -- the dual accretion modes of galaxies at high redshifts --, which highlights how the scheme yields information hitherto unavailable. These tracer particles will allow us to study complex astrophysical systems where both efficiency of shock-capturing Godunov schemes and a Lagrangian follow-up of the fluid are required simultaneously.


title: Optimal control of ODEs with state suprema

abstract: We consider the optimal control of a differential equation that involves the suprema of the state over some part of the history. In many applications, this non-smooth functional dependence is crucial for the successful modeling of real-world phenomena. We prove the existence of solutions and show that related problems may not possess optimal controls. Due to the non-smoothness in the state equation, we cannot obtain optimality conditions via standard theory. Therefore, we regularize the problem via a novel LogIntExp functional which generalizes the well-known LogSumExp. By passing to the limit with the regularization, we obtain an optimality system for the original problem. The theory is illustrated by some numerical experiments.