title: DART: Distribution Aware Retinal Transform for Event-based Cameras

abstract: We introduce a generic visual descriptor, termed as distribution aware retinal transform (DART), that encodes the structural context using log-polar grids for event cameras. The DART descriptor is applied to four different problems, namely object classification, tracking, detection and feature matching: (1) The DART features are directly employed as local descriptors in a bag-of-features classification framework and testing is carried out on four standard event-based object datasets (N-MNIST, MNIST-DVS, CIFAR10-DVS, NCaltech-101). (2) Extending the classification system, tracking is demonstrated using two key novelties: (i) For overcoming the low-sample problem for the one-shot learning of a binary classifier, statistical bootstrapping is leveraged with online learning; (ii) To achieve tracker robustness, the scale and rotation equivariance property of the DART descriptors is exploited for the one-shot learning. (3) To solve the long-term object tracking problem, an object detector is designed using the principle of cluster majority voting. The detection scheme is then combined with the tracker to result in a high intersection-over-union score with augmented ground truth annotations on the publicly available event camera dataset. (4) Finally, the event context encoded by DART greatly simplifies the feature correspondence problem, especially for spatio-temporal slices far apart in time, which has not been explicitly tackled in the event-based vision domain.


title: Electron Paramagnetic Resonance Spectroscopy of Er$^{3+}$:Y$_2$SiO$_5$ Using Josephson Bifurcation Amplifier: Observation of Hyperfine and Quadrupole Structures

abstract: We performed magnetic field and frequency tunable electron paramagnetic resonance spectroscopy of an Er$^{3+}$ doped Y$_2$SiO$_5$ crystal by observing the change in flux induced on a direct current-superconducting quantum interference device (dc-SQUID) loop of a tunable Josephson bifurcation amplifer. The observed spectra show multiple transitions which agree well with the simulated energy levels, taking into account the hyperfine and quadrupole interactions of $^{167}$Er. The sensing volume is about 0.15 pl, and our inferred measurement sensitivity (limited by external flux noise) is approximately $1.5\times10^4$ electron spins for a 1 s measurement. The sensitivity value is two orders of magnitude better than similar schemes using dc-SQUID switching readout.


title: Tight upper bound for the maximal expectation value of the Mermin operators

abstract: The violation of the Mermin inequality (MI) for multipartite quantum states guarantees the existence of nonlocality between either few or all parties. The detection of optimal MI violation is fundamentally important, but current methods only involve numerical optimizations, thus hard to find even for three-qubit states. In this paper, we provide a simple and elegant analytical method to achieve the upper bound of Mermin operator for arbitrary three-qubit states. Also, the necessary and sufficient conditions for the tightness of the bound for some class of tri-partite states has been stated. Finally, we suggest an extension of this result for up to n qubits.


title: Drift and behavior of E. coli cells

abstract: Chemotaxis of the bacterium Escherichia coli is well understood in shallow chemical gradients, but its swimming behavior remains difficult to interpret in steep gradients. By focusing on single-cell trajectories from simulations, we investigated the dependence of the chemotactic drift velocity on attractant concentration in an exponential gradient. While maxima of the average drift velocity can be interpreted within analytical linear-response theory of chemotaxis in shallow gradients, limits in drift due to steep gradients and finite number of receptor-methylation sites for adaptation go beyond perturbation theory. For instance, we found a surprising pinning of the cells to the concentration in the gradient at which cells run out of methylation sites. To validate the positions of maximal drift, we recorded single-cell trajectories in carefully designed chemical gradients using microfluidics.


title: Extreme wave phenomena in down-stream running modulated waves

abstract: Modulational, Benjamin-Feir, instability is studied for the down-stream evolution of surface gravity waves. An explicit solution, the soliton on finite background, of the NLS equation in physical space is used to study various phenomena in detail. It is shown that for sufficiently long modulation lengths, at a unique position where the largest waves appear, phase singularities are present in the time signal. These singularities are related to wave dislocations and lead to a discrimination between successive `extreme' waves and much smaller intermittent waves. Energy flow in opposite directions through successive dislocations at which waves merge and split, causes the large amplitude difference. The envelope of the time signal at that point is shown to have a simple phase plane representation, and will be described by a symmetry breaking unfolding of the steady state solutions of NLS. The results are used together with the maximal temporal amplitude MTA, to design a strategy for the generation of extreme (freak, rogue) waves in hydrodynamic laboratories.


title: Modular Labelled Sequent Calculi for Abstract Separation Logics

abstract: Abstract separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model. Their assertion languages, called propositional abstract separation logics (PASLs), extend the logic of (Boolean) Bunched Implications (BBI) in various ways. In particular, these logics contain the connectives $*$ and $-\!*$, denoting the composition and extension of resources respectively. This added expressive power comes at a price since the resulting logics are all undecidable. Given their wide applicability, even a semi-decision procedure for these logics is desirable. Although several PASLs and their relationships with BBI are discussed in the literature, the proof theory and automated reasoning for these logics were open problems solved by the conference version of this paper, which developed a modular proof theory for various PASLs using cut-free labelled sequent calculi. This paper non-trivially improves upon this previous work by giving a general framework of calculi on which any new axiom in the logic satisfying a certain form corresponds to an inference rule in our framework, and the completeness proof is generalised to consider such axioms. Our base calculus handles Calcagno et al.'s original logic of separation algebras by adding sound rules for partial-determinism and cancellativity, while preserving cut-elimination. We then show that many important properties in separation logic, such as indivisible unit, disjointness, splittability, and cross-split, can be expressed in our general axiom form. Thus our framework offers inference rules and completeness for these properties for free. Finally, we show how our calculi reduce to calculi with global label substitutions, enabling more efficient implementation.


title: ALFABURST: A commensal search for Fast Radio Bursts with Arecibo

abstract: ALFABURST has been searching for Fast Radio Bursts (FRBs) commensally with other projects using the Arecibo L-band Feed Array (ALFA) receiver at the Arecibo Observatory since July 2015. We describe the observing system and report on the non-detection of any FRBs from that time until August 2017 for a total observing time of 518 hours. With current FRB rate models, along with measurements of telescope sensitivity and beam size, we estimate that this survey probed redshifts out to about 3.4 with an effective survey volume of around 600,000 Mpc$^3$. Based on this, we would expect, at the 99% confidence level, to see at most two FRBs. We discuss the implications of this non-detection in the context of results from other telescopes and the limitation of our search pipeline. During the survey, single pulses from 17 known pulsars were detected. We also report the discovery of a Galactic radio transient with a pulse width of 3 ms and dispersion measure of 281 pc cm$^{-3}$, which was detected while the telescope was slewing between fields.


title: Backhaul For Low-Altitude UAVs in Urban Environments

abstract: Unmanned Aerial Vehicles (UAVs) acting as access points in cellular networks require wireless backhauls to the core network. In this paper we employ stochastic geometry to carry out an analysis of the UAV backhaul performance that can be achieved with a network of dedicated ground stations. We provide analytical expressions for the probability of successfully establishing a backhaul and the expected data rate over the backhaul link, given either an LTE or a millimeter-wave backhaul. We demonstrate that increasing the density of the ground station network gives diminishing returns on the performance of the UAV backhaul, and that for an LTE backhaul the ground stations can benefit from being colocated with an existing base station network.


title: Constrained $L^2$-approximation by polynomials on subsets of the circle

abstract: We study best approximation to a given function, in the least square sense on a subset of the unit circle, by polynomials of given degree which are pointwise bounded on the complementary subset. We show that the solution to this problem, as the degree goes large, converges to the solution of a bounded extremal problem for analytic functions which is instrumental in system identification. We provide a numerical example on real data from a hyperfrequency filter.


title: Gaussian intrinsic entanglement for states with partial minimum uncertainty

abstract: We develop a theory of a quantifier of bipartite Gaussian entanglement called Gaussian intrinsic entanglement (GIE) which was proposed recently in [L. Mi\v{s}ta {\it et al.}, Phys. Rev. Lett. {\bf 117}, 240505 (2016)]. The GIE provides a compromise between computable and physically meaningful entanglement quantifiers and so far it was calculated for two-mode Gaussian states including all symmetric partial minimum-uncertainty states, weakly mixed asymmetric squeezed thermal states with partial minimum uncertainty, and weakly mixed symmetric squeezed thermal states. We improve the method of derivation of GIE and we show, that all previously derived formulas for GIE of weakly mixed states in fact hold for states with higher mixedness. In addition, we derive analytical formulas for GIE for several new classes of two-mode Gaussian states with partial minimum uncertainty. Finally, it is shown, that like for all previously known states, also for all new states the GIE is equal to Gaussian R\'{e}nyi-2 entanglement of formation. This finding strengthens a conjecture about equivalence of GIE and Gaussian R\'{e}nyi-2 entanglement of formation for all bipartite Gaussian states.


title: Is a doubly quantized vortex dynamically unstable in uniform superfluids?

abstract: We revisit the fundamental problem of the splitting instability of a doubly quantized vortex in uniform single-component superfluids at zero temperature. We analyze the system-size dependence of the excitation frequency of a doubly quantized vortex through large-scale simulations of the Bogoliubov--de Gennes equation, and find that the system remains dynamically unstable even in the infinite-system-size limit. Perturbation and semi-classical theories reveal that the splitting instability radiates a damped oscillatory phonon as an opposite counterpart of a quasi-normal mode.


title: Reliable Communication under the Influence of a State-Constrained Jammer: A Novel Perspective on Receive Diversity

abstract: The question of robust direct communication in vehicular networks is discussed. In most state-of-the-art approaches, there is no central entity controlling channel access, so there may be arbitrary interference from other parties. Thus, a suitable channel model for Vehicle-to-X (V2X) communication is the Arbitrarily Varying Channel (AVC). Employing multiple antennas on a vehicle or sending over multiple frequencies to make use of diversity are promising approaches to combat interference. In this setup, an important question about diversity is how many antennas or orthogonal carrier frequencies are necessary in order to avoid system breakdown due to unknown interference in AVCs. For Binary Symmetric AVCs (AVBSC) and a physically meaningful identical state-constrained jammer, the deployment of a third, uncorrelated receiving antenna or the parallel transmission over three different orthogonal frequencies avoids symmetrizability and thus ensures positivity of the capacity of the overall communication channel. Furthermore, the capacity of the identical state-constrained composite AVBSC is continuous and shows super-activation, a phenomenon which was hitherto deemed impossible for classical communication without secrecy constraints. Subsuming, spatial and frequency diversity are enablers for reliable communication over communication channels with arbitrarily varying interference.


title: Performance Analysis of Multi-Service Oriented Multiple Access Under General Channel Correlation

abstract: In this article, we provide both analytical and numerical performance analysis of multi-service oriented multiple access (MOMA), a recently proposed non-orthogonal multiple-access scheme for scenarios with a massive number of concurrent connections originating from separate service classes with diverse quality-of-service (QoS) profiles and running on both handheld terminals and Internet-of-Things (IoT) devices. MOMA is based on both class dependent hierarchical-spreading transmission scheme and per-class reception structure. The performance analysis presented in this article is based on realistic channel and signal models for scenarios where the base station is equipped with a large number of antennas. It provides asymptotically exact approximations of the ergodic rates achievable by MOMA.


title: Spin Structures of Kac-Moody Type

abstract: We study spin structures on affine Kac-Moody symmetric spaces and obtain sufficient conditions for their existence.\ As a by product of this, we obtain a spin-c representation of certain Kac-Moody quadratic subgroups of type E.


title: Hit Song Prediction for Pop Music by Siamese CNN with Ranking Loss

abstract: A model for hit song prediction can be used in the pop music industry to identify emerging trends and potential artists or songs before they are marketed to the public. While most previous work formulates hit song prediction as a regression or classification problem, we present in this paper a convolutional neural network (CNN) model that treats it as a ranking problem. Specifically, we use a commercial dataset with daily play-counts to train a multi-objective Siamese CNN model with Euclidean loss and pairwise ranking loss to learn from audio the relative ranking relations among songs. Besides, we devise a number of pair sampling methods according to some empirical observation of the data. Our experiment shows that the proposed model with a sampling method called A/B sampling leads to much higher accuracy in hit song prediction than the baseline regression model. Moreover, we can further improve the accuracy by using a neural attention mechanism to extract the highlights of songs and by using a separate CNN model to offer high-level features of songs.


title: Path to perfect photon entanglement with a quantum dot

abstract: Realizing perfect two-photon entanglement from quantum dots has been a long-standing scientific challenge. It is generally thought that the nuclear spins limit the entanglement fidelity through spin flip dephasing processes. However, this assumption lacks experimental support. Here, we show dephasing-free two-photon entanglement from an Indium rich single quantum dot comprising of nuclear spin 9/2 when excited quasi-resonantly. This remarkable finding is based on a perfect match between our entanglement measurements with our model that assumes no dephasing and takes into account the detection system's timing jitter and dark counts. We discover that neglecting the detection system is responsible for not reaching perfect entanglement in the past and not the nuclear spins. Therefore, the key to unity entanglement from quantum dots comprises of a resonant excitation scheme and a detection system with ultra-low timing jitter and dark counts.


title: Gaia: on the road to DR2

abstract: The second Gaia data release (DR2) is scheduled for April 2018. While Gaia DR1 had increased the number of stars with parallaxes by a factor 20 with respect to the Hipparcos catalogue, Gaia DR2 will bring another factor 500 increase, with parallaxes (and proper motions) for more than a billion stars. In addition, Gaia DR2 will deliver improved accuracy and precision for the astrometric and photometric data, $G$, $G_\mathrm{BP}$, $G_\mathrm{RP}$ magnitudes, radial velocities, identification and characterisation of variable stars and asteroids as well as stellar parameters for stars down to $G = 17$ mag. On behalf of the teams of the Gaia-DPAC consortium, these proceedings give a foretaste of Gaia DR2, 6 months before the release.


title: An experimental study of the rearrangements of valence protons and neutrons amongst single-particle orbits during double {\beta} decay in 100Mo

abstract: The rearrangements of protons and neutrons amongst the valence single-particle orbitals during double {\beta} decay of 100Mo have been determined by measuring cross sections in (d,p), (p,d), (3He,{\alpha}) and (3He,d) reactions on 98,100Mo and 100,102Ru targets. The deduced nucleon occupancies reveal significant discrepancies when compared with theoretical calculations; the same calculations have previously been used to determine the nuclear matrix element associated with the decay probability of double {\beta} decay of the 100Mo system.


title: Life Outside the Golden Window: Statistical Angles on the Signal-to-Noise Problem

abstract: Lattice QCD simulations of multi-baryon correlation functions can predict the structure and reactions of nuclei without encountering the baryon chemical potential sign problem. However, they suffer from a signal-to-noise problem where Monte Carlo estimates of observables have quantum fluctuations that are exponentially larger than their average values. Recent lattice QCD results demonstrate that the complex phase of baryon correlations functions relates the baryon signal-to-noise problem to a sign problem and exhibits unexpected statistical behavior resembling a heavy-tailed random walk on the unit circle. Estimators based on differences of correlation function phases evaluated at different Euclidean times are discussed that avoid the usual signal-to-noise problem, instead facing a signal-to-noise problem as the time interval associated with the phase difference is increased, and allow hadronic observables to be determined from arbitrarily large-time correlation functions.


title: K-theory of locally compact modules over rings of integers

abstract: We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite different: Instead of a homotopy coherent cone construction in infinity categories, we rely on calculus of fraction type results in the style of Schlichting. This produces concrete exact category models for certain quotients, a fact which might be of independent interest. As in Clausen's work, our computation works for all localizing invariants, not just K-theory.


title: Class forcing, the forcing theorem and Boolean completions

abstract: The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma can fail for class forcing. In addition to these negative results, we show that the forcing theorem is equivalent to the existence of a (certain kind of) Boolean completion, and we introduce a weak combinatorial property (approachability by projections) that implies the forcing theorem to hold. Finally, we show that unlike for set forcing, Boolean completions need not be unique for class forcing.


title: Monotonicity and robustness in Wiener disorder detection

abstract: We study the problem of detecting a drift change of a Brownian motion under various extensions of the classical case. Specifically, we consider the case of a random post-change drift and examine monotonicity properties of the solution with respect to different model parameters. Moreover, robustness properties -- effects of misspecification of the underlying model -- are explored.


title: Vertical drying of a suspension of sticks: Monte Carlo simulation for continuous two-dimensional problem

abstract: The vertical drying of a two dimensional colloidal film containing zero-thickness sticks (lines) was studied by means of kinetic Monte Carlo (MC) simulations. The continuous two-dimensional problem for both the positions and orientations was considered. The initial state before drying was produced using a model of random sequential adsorption with isotropic orientations of the sticks. During the evaporation, an upper interface falls with a linear velocity in the vertical direction and the sticks undergo translational and rotational Brownian motions. The MC simulations were run at different initial number concentrations (the numbers of sticks per unit area), $p_i$, and solvent evaporation rates, $u$. For completely dried films, the spatial distributions of the sticks, the order parameters and the electrical conductivities of the films in both the horizontal, $x$, and vertical, $y$, directions were examined. Significant evaporation-driven self-assembly and stratification of the sticks in the vertical direction was observed. The extent of stratification increased with increasing values of $u$. The anisotropy of the electrical conductivity of the film can be finely regulated by changes in the values of $p_i$ and $u$.


title: Some remarks on the notions of boundary systems and boundary triple(t)s

abstract: In this note we show that if a boundary system in the sense of (Schubert et al. 2015) gives rise to any skew-self-adjoint extension, then it induces a boundary triplet and the classification of all extensions given by (Schubert et al. 2015) coincides with the skew-symmetric version of the classical characterization due to (Gorbachuk et al. 1991). On the other hand we show that for every skew-symmetric operator there is a natural boundary system which leads to an explicit description of at least one maximal dissipative extension. This is in particular also valid in the case that no boundary triplet exists for this operator.


title: Rough extreme learning machine: a new classification method based on uncertainty measure

abstract: Extreme learning machine (ELM) is a new single hidden layer feedback neural network. The weights of the input layer and the biases of neurons in hidden layer are randomly generated, the weights of the output layer can be analytically determined. ELM has been achieved good results for a large number of classification tasks. In this paper, a new extreme learning machine called rough extreme learning machine (RELM) was proposed. RELM uses rough set to divide data into upper approximation set and lower approximation set, and the two approximation sets are utilized to train upper approximation neurons and lower approximation neurons. In addition, an attribute reduction is executed in this algorithm to remove redundant attributes. The experimental results showed, comparing with the comparison algorithms, RELM can get a better accuracy and repeatability in most cases, RELM can not only maintain the advantages of fast speed, but also effectively cope with the classification task for high-dimensional data.


title: Characterizations of pretameness and the Ord-cc

abstract: It is well known that pretameness implies the forcing theorem, and that pretameness is characterized by the preservation of the axioms of $\mathsf{ZF}^-$, that is $\mathsf{ZF}$ without the power set axiom, or equivalently, by the preservation of the axiom scheme of replacement, for class forcing over models of $\mathsf{ZF}$. We show that pretameness in fact has various other characterizations, for instance in terms of the forcing theorem, the preservation of the axiom scheme of separation, the forcing equivalence of partial orders and their dense suborders, and the existence of nice names for sets of ordinals. These results show that pretameness is a strong dividing line between well and badly behaved notions of class forcing, and that it is exactly the right notion to consider in applications of class forcing. Furthermore, for most properties under consideration, we also present a corresponding characterization of the $\mathrm{Ord}$-chain condition.


title: Sufficient conditions for the forcing theorem, and turning proper classes into sets

abstract: We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself), including the three properties presented in this paper, imply yet another regularity property for class forcing notions, namely that proper classes of the ground model cannot become sets in a generic extension, that is they do not have set-sized names in the ground model. We then show that over certain models of G\"odel-Bernays set theory without the power set axiom, there is a notion of class forcing which turns a proper class into a set, however does not satisfy the forcing theorem. Moreover, we show that the property of not turning proper classes into sets can be used to characterize pretameness over such models of G\"odel-Bernays set theory.


title: Almost split morphisms in subcategories of triangulated categories

abstract: For a suitable triangulated category $\mathcal{T}$ with a Serre functor $S$ and a full precovering subcategory $\mathcal{C}$ closed under summands and extensions, an indecomposable object $C$ in $\mathcal{C}$ is called Ext-projective if Ext$^1(C,\mathcal{C})=0$. Then there is no Auslander-Reiten triangle in $\mathcal{C}$ with end term $C$. In this paper, we show that if, for such an object $C$, there is a minimal right almost split morphism $\beta:B\rightarrow C$ in $\mathcal{C}$, then $C$ appears in something very similar to an Auslander-Reiten triangle in $\mathcal{C}$: an essentially unique triangle in $\mathcal{T}$ of the form \begin{align*} \Delta= X\xrightarrow{\xi} B\xrightarrow{\beta} C\rightarrow \Sigma X, \end{align*} where $X$ is an indecomposable not in $\mathcal{C}$ and $\xi$ is a $\mathcal{C}$-envelope of $X$. Moreover, under some extra assumptions, we show that removing $C$ from $\mathcal{C}$ and replacing it with $X$ produces a new subcategory of $\mathcal{T}$ closed under extensions. We prove that this process coincides with the classic mutation of $\mathcal{C}$ with respect to the rigid subcategory of $\mathcal{C}$ generated by all the indecomposable Ext-projectives in $\mathcal{C}$ apart from $C$. When $\mathcal{T}$ is the cluster category of Dynkin type $A_n$ and $\mathcal{C}$ has the above properties, we give a full description of the triangles in $\mathcal{T}$ of the form $\Delta$ and show under which circumstances replacing $C$ by $X$ gives a new extension closed subcategory.


title: 2D Unitary ESPRIT Based Super-Resolution Channel Estimation for Millimeter-Wave Massive MIMO with Hybrid Precoding

abstract: Millimeter-wave (mmWave) massive multiple-input multiple-output (MIMO) with hybrid precoding is a promising technique for the future 5G wireless communications. Due to a large number of antennas but a much smaller number of radio frequency (RF) chains, estimating the high-dimensional mmWave massive MIMO channel will bring the large pilot overhead. To overcome this challenge, this paper proposes a super-resolution channel estimation scheme based on two-dimensional (2D) u- nitary ESPRIT algorithm. By exploiting the angular sparsity of mmWave channels, the continuously distributed angle of arrivals/departures (AoAs/AoDs) can be jointly estimated with high accuracy. Specifically, by designing the uplink training signals at both base station (BS) and mobile station (MS), we first use low pilot overhead to estimate a low-dimensional effective channel, which has the same shift-invariance of array response as the high-dimensional mmWave MIMO channel to be estimated. From the low-dimensional effective channel, the super- resolution estimates of AoAs and AoDs can be jointly obtained by exploiting the 2D unitary ESPRIT channel estimation algorithm. Furthermore, the associated path gains can be acquired based on the least squares (LS) criterion. Finally, we can reconstruct the high-dimensional mmWave MIMO channel according to the obtained AoAs, AoDs, and path gains. Simulation results have confirmed that the proposed scheme is superior to conventional schemes with a much lower pilot overhead.


title: Generalized gradient optimization over lossy networks for partition-based estimation

abstract: We address the problem of distributed convex unconstrained optimization over networks characterized by asynchronous and possibly lossy communications. We analyze the case where the global cost function is the sum of locally coupled local strictly convex cost functions. As discussed in detail in a motivating example, this class of optimization objectives is, for example, typical in localization problems and in partition-based state estimation. Inspired by a generalized gradient descent strategy, namely the block Jacobi iteration, we propose a novel solution which is amenable for a distributed implementation and which, under a suitable condition on the step size, is provably locally resilient to communication failures. The theoretical analysis relies on the separation of time scales and Lyapunov theory. In addition, to show the flexibility of the proposed algorithm, we derive a resilient gradient descent iteration and a resilient generalized gradient for quadratic programming as two natural particularizations of our strategy. In this second case, global robustness is provided. Finally, the proposed algorithm is numerically tested on the IEEE 123 nodes distribution feeder in the context of partition-based smart grid robust state estimation in the presence of measurements outliers.


title: A Framework for Over-the-air Reciprocity Calibration for TDD Massive MIMO Systems

abstract: One of the biggest challenges in operating massive multiple-input multiple-output systems is the acquisition of accurate channel state information at the transmitter. To take up this challenge, time division duplex is more favorable thanks to its channel reciprocity between downlink and uplink. However, while the propagation channel over the air is reciprocal, the radio-frequency front-ends in the transceivers are not. Therefore, calibration is required to compensate the RF hardware asymmetry. Although various over-the-air calibration methods exist to address the above problem, this paper offers a unified representation of these algorithms, providing a higher level view on the calibration problem, and introduces innovations on calibration methods. We present a novel family of calibration methods, based on antenna grouping, which improve accuracy and speed up the calibration process compared to existing methods. We then provide the Cram\'er-Rao bound as the performance evaluation benchmark and compare maximum likelihood and least squares estimators. We also differentiate between coherent and non-coherent accumulation of calibration measurements, and point out that enabling non-coherent accumulation allows the training to be spread in time, minimizing impact to the data service. Overall, these results have special value in allowing to design reciprocity calibration techniques that are both accurate and resource-effective.


title: SU(2) with fundamental fermions and scalars

abstract: We present preliminary results on the lattice simulation of an SU(2) gauge theory with two fermion flavors and one strongly interacting scalar field, all in the fundamental representation of SU(2). The motivation for this study comes from the recent proposal of "fundamental" partial compositeness models featuring strongly interacting scalar fields in addition to fermions. Here we describe the lattice setup for our study of this class of models and a first exploration of the lattice phase diagram. In particular we then investigate how the presence of a strongly coupled scalar field affects the properties of light meson resonances previously obtained for the SU(2) model.


title: Gradient Estimates on Dirichlet Eigenfunctions

abstract: By methods of stochastic analysis on Riemannian manifolds, we derive explicit constants $c\_1(D)$ and $c\_2(D)$ for a $d$-dimensional compact Riemannian manifold $D$ with boundary such that $c\_1(D)\sqrt{\lambda}\|\phi\|\_\infty \le \|\nabla \phi\|\_\infty\le c\_2(D)\sqrt{\lambda} \|\phi\|\_\infty$ holds for any Dirichlet eigenfunction $\phi$ of $-\Delta$ with eigenvalue $\lambda$. In particular, when $D$ is convex with nonnegative Ricci curvature, this estimate holds for $c\_1(D)=\frac{1}{de}$ and $c\_2(D)=\sqrt{e}\left(\frac{\sqrt{2}}{\sqrt{\pi}}+\frac{\sqrt{\pi}}{4\sqrt{2}}\right)$. Corresponding two-sided gradient estimates for Neumann eigenfunctions are derived in the second part of the paper.


title: Probe of Spin Dynamics in Superconducting NbN Thin Films via Spin Pumping

abstract: The emerging field of superconductor (SC) spintronics has attracted intensive attentions recently. Many fantastic spin dependent properties in SC have been discovered, including the observation of large magnetoresistance, long spin lifetimes and the giant spin Hall effect in SC, as well as spin supercurrent in Josephson junctions, etc. Regarding the spin dynamic in SC films, few studies has been reported yet. Here, we report the investigation of the spin dynamics in an s-wave superconducting NbN film via spin pumping from an adjacent insulating ferromagnet GdN layer. A profound coherence peak of the Gilbert damping is observed slightly below the superconducting critical temperature of the NbN layer, which is consistent with recent theoretical studies. Our results further indicate that spin pumping could be a powerful tool for investigating the spin dynamics in 2D crystalline superconductors.


title: An empirical modification of the force field approach to describe the modulation of galactic cosmic rays close to Earth in a broad range of rigidities

abstract: On their way through the heliosphere, Galactic Cosmic Rays (GCRs) are modulated by various effects before they can be detected at Earth. This process can be described by the Parker equation, which calculates the phase space distribution of GCRs depending on the main modulation processes: convection, drifts, diffusion and adiabatic energy changes. A first order approximation of this equation is the force field approach, reducing it to a one-parameter dependency, the solar modulation potential $\phi$. Utilizing this approach, it is possible to reconstruct $\phi$ from ground based and spacecraft measurements. However, it has been shown previously that $\phi$ depends not only on the Local Interstellar Spectrum (LIS) but also on the energy range of interest. We have investigated this energy dependence further, using published proton intensity spectra obtained by PAMELA as well as heavier nuclei measurements from IMP-8 and ACE/CRIS. Our results show severe limitations at lower energies including a strong dependence on the solar magnetic epoch. Based on these findings, we will outline a new tool to describe GCR proton spectra in the energy range from a few hundred MeV to tens of GeV over the last solar cycles. In order to show the importance of our modification, we calculate the global production rates of the cosmogenic radionuclide $^{10}$Be which is a proxy for the solar activity ranging back thousands of years.

categories: physics.space-ph astro-ph.EP astro-ph.HE astro-ph.SR


title: Verification of BSF Parallel Computational Model

abstract: The article is devoted to the verification of the BSF parallel computing model. The BSF-model is an evolution of the "master-slave" model and SPMD-model. The BSF-model is oriented to iterative algorithms that are implemented in cluster computing systems. The article briefly describes the basics of the BSF-model and its cost metrics. The structure of the BSF program is shown in the form of a UML activity diagram. The simulator of BSF-programs, implemented in C++ language using the MPI-library, is described. The results of computational experiments confirming the adequacy of the cost metrics of the BSF-model are presented.


title: An algorithmic approach to handle circular trading in commercial taxing system

abstract: Tax manipulation comes in a variety of forms with different motivations and of varying complexities. In this paper, we deal with a specific technique used by tax-evaders known as circular trading. In particular, we define algorithms for the detection and analysis of circular trade. To achieve this, we have modelled the whole system as a directed graph with the actors being vertices and the transactions among them as directed edges. We illustrate the results obtained after running the proposed algorithm on the commercial tax dataset of the government of Telangana, India, which contains the transaction details of a set of participants involved in a known circular trade.


title: Non-conformal higher spin supercurrents

abstract: In four spacetime dimensions there exist two off-shell formulations for the massless multiplet of superspin $(s+\frac 12)$, where $s=2,3, \dots$. These supersymmetric higher spin gauge theories, known as longitudinal and transverse, are dual to each other and describe two massless fields of spin $(s+\frac 12)$ and $(s+1)$ upon elimination of the auxiliary fields. They respectively reduce, in the limiting case of $s=1$, to the linearised actions for the old minimal and the $n=-1$ non-minimal ${\cal N}=1$ supergravity theories. Associated with these gauge massless theories are non-conformal higher spin supercurrent multiplets which we describe. We demonstrate that the longitudinal higher spin supercurrents are realised in the model for a massive chiral scalar superfield only if $s$ is odd, $s=2n+1$, with $n= 1,2, \dots$.


title: Permutation representations of nonsplit extensions involving alternating groups

abstract: L. Babai has shown that a faithful permutation representation of a nonsplit extension of a group by an alternating group $A_k$ must have degree at least $k^2(\frac{1}{2}-o(1))$, and has asked how sharp this lower bound is. We prove that Babai's bound is sharp (up to a constant factor), by showing that there are such nonsplit extensions that have faithful permutation representations of degree $\frac{3}{2}k(k-1)$. We also reprove Babai's quadratic lower bound with the constant $\frac{1}{2}$ improved to 1 (by completely different methods).


title: Integral representations and asymptotic behaviour of a Mittag-Leffler type function of two variables

abstract: Integral representations play a prominent role in the analysis of entire functions. The representations of generalized Mittag-Leffler type functions and their asymptotics have been (and still are) investigated by plenty of authors in various conditions and cases.The present paper explores the integral representations of a special function extending to two variables the two-parametric Mittag-Leffler type function. Integral representations of this functions within different variation ranges of its arguments for certain values of the parameters are thus obtained. Asymptotic expansion formulas and asymptotic properties of this function are also established for large values of the variables. This yields corresponding theorems providing integral representations as well as expansion formulas.


title: On Spectral Sequences for Iwasawa Adjoints \`a la Jannsen for Families

abstract: In \citenospec{MR1097615} several spectral sequences for (global and local) Iwasawa modules over (not necessarily commutative) Iwasawa algebras (mainly of $p$-adic Lie groups) over $\Z_p$ are established, which are very useful for determining certain properties of such modules in arithmetic applications. Slight generalizations of said results can be found in \citenospec{MR2333680} (for abelian groups and more general coefficient rings), \citenospec{MR1924402} (for products of not necessarily abelian groups, but with $\Z_p$-coefficients), and \citenospec{MR3084561}. Unfortunately, some of Jannsen's spectral sequences for families of representations as coefficients for (local) Iwasawa cohomology are still missing. We explain and follow the philosophy that all these spectral sequences are consequences or analogues of local cohomology and duality \`a la Grothendieck (and Tate for duality groups).


title: Anisotropic two-gap superconductivity and the absence of a Pauli paramagnetic limit in single-crystalline LaO$_{0.5}$F$_{0.5}$BiS$_2$

abstract: Ambient-pressure-grown LaO$_{0.5}$F$_{0.5}$BiS$_2$ with a superconducting transition temperature $T_{c}\sim$3K possesses a highly anisotropic normal state. By a series of electrical resistivity measurements with a magnetic field direction varying between the crystalline $c$-axis and the $ab$-plane, we present the first datasets displaying the temperature dependence of the out-of-plane upper critical field $H_{c2}^{\perp}(T)$, the in-plane upper critical field $H_{c2}^{\parallel}(T)$, as well as the angular dependence of $H_{c2}$ at fixed temperatures for ambient-pressure-grown LaO$_{0.5}$F$_{0.5}$BiS$_2$ single crystals. The anisotropy of the superconductivity, $H_{c2}^{\parallel}/H_{c2}^{\perp}$, reaches $\sim$16 on approaching 0 K, but it decreases significantly near $T_{c}$. A pronounced upward curvature of $H_{c2}^{\parallel}(T)$ is observed near $T_{c}$, which we analyze using a two-gap model. Moreover, $H_{c2}^{\parallel}(0)$ is found to exceed the Pauli paramagnetic limit, which can be understood by considering the strong spin-orbit coupling associated with Bi as well as the breaking of the local inversion symmetry at the electronically active BiS$_2$ bilayers. Hence, LaO$_{0.5}$F$_{0.5}$BiS$_2$ with a centrosymmetric lattice structure is a unique platform to explore the physics associated with local parity violation in the bulk crystal.


title: Behavior of Solutions to An Initial Boundary Value Problem for a hyperbolic system with relaxation

abstract: The behavior of solutions to an initial boundary value problem for a hyperbolic system with relaxation is studied when the relaxation parameter is small, by using the method of Fourier Series and the energy method.


title: Multiple Mechanisms Quench Passive Spiral Galaxies

abstract: We examine the properties of a sample of 35 nearby passive spiral galaxies in order to determine their dominant quenching mechanism(s). All five low mass ($\textrm{M}_{\star} < 1 \times 10^{10} \textrm{M}_{\odot}$) passive spiral galaxies are located in the rich Virgo cluster. This is in contrast to low mass spiral galaxies with star formation, which inhabit a range of environments. We postulate that cluster-scale gas stripping and heating mechanisms operating only in rich clusters are required to quench low mass passive spirals, and ram-pressure stripping and strangulation are obvious candidates. For higher mass passive spirals, while trends are present, the story is less clear. The passive spiral bar fraction is high: 74$\pm$15%, compared with 36$\pm$5% for a mass, redshift, and T-type matched comparison sample of star forming spiral galaxies. The high mass passive spirals occur mostly, but not exclusively, in groups, and can be central or satellite galaxies. The passive spiral group fraction of 74$\pm$15% is similar to that of the comparison sample of star forming galaxies at 61$\pm$7%. We find evidence for both quenching via internal structure and environment in our passive spiral sample, though some galaxies have evidence of neither. From this, we conclude no one mechanism is responsible for quenching star formation in passive spiral galaxies - rather, a mixture of mechanisms are required to produce the passive spiral distribution we see today.


title: Effect of surface ionic screening on polarization reversal scenario in ferroelectric thin films: crossover from ferroionic to antiferroionic states

abstract: Nonlinear electrostatic interaction between the surface ions of electrochemical nature and ferroelectric dipoles gives rise to the coupled ferroionic states in nanoscale ferroelectrics. Here, we investigated the role of the surface ions formation energy value on the polarization states and polarization reversal mechanisms, domain structure and corresponding phase diagrams of ferroelectric thin films. Using 3D finite elements modeling we analyze the distribution and hysteresis loops of ferroelectric polarization and ionic charge, and dynamics of the domain states. These calculations performed over large parameter space delineate the regions of single- and poly- domain ferroelectric, ferroionic, antiferroionic and non-ferroelectric states as a function of surface ions formation energy, film thickness, applied voltage and temperature. We further map the analytical theory for 1D system onto effective Landau-Ginzburg free energy and establish the correspondence between the 3D numerical and 1D analytical results. This approach allows performing the overview of the phase diagrams of ferroionic systems and exploring the specific of switching and domain evolution phenomena.


title: Gravitational collapse in Quantum Einstein Gravity

abstract: The existence of spacetime singularities is one of the biggest problems of nowadays physics. According to Penrose, each physical singularity should be covered by a "cosmic censor" which prevents any external observer from perceiving their existence. However, classical models describing the gravitational collapse usually results in strong curvature singularities, which can also remain "naked" for a finite amount of advanced time. This proceedings studies the modifications induced by Asymptotically Safe Gravity on the gravitational collapse of generic Vaidya spacetimes. It will be shown that, for any possible choice of the mass function, Quantum Gravity makes the internal singularity gravitationally weak, thus allowing a continuous extension of the spacetime beyond the singularity.


title: A Quadratic-Time Algorithm for General Multivariate Polynomial Interpolation

abstract: For $m,n \in \mathbb{N}$, $m\geq 1$ and a given function $f : \mathbb{R}^m\longrightarrow \mathbb{R}$ the polynomial interpolation problem (PIP) is to determine a \emph{generic node set} $P \subseteq \mathbb{R}^m$ and the coefficients of the uniquely defined polynomial $Q\in\mathbb{R}[x_1,\dots,x_m]$ in $m$ variables of degree $\mathrm{deg}(Q)\leq n \in \mathbb{N}$ that fits $f$ on $P$, i.e., $Q(p) = f(p)$, $\forall\, p \in P$. We here show that in general, i.e., for arbitrary $m,n \in \mathbb{N}$, $m \geq 1$, there exists an algorithm that determines $P$ and computes the $N(\mbox{m,n})=\#P$ coefficients of $Q$ in $\mathcal{O}\big(N(\mbox{m,n})^2\big)$ time using $\mathcal{O}\big(\mbox{m}N(\mbox{m,n})\big)$ storage, without inverting the occurring Vandermonde matrix. We provide such an algorithm, termed PIP-SOLVER, based on a recursive decomposition of the problem and prove its correctness. Since the present approach solves the PIP without matrix inversion, it is computationally more efficient and numerically more robust than previous approaches. We demonstrate this in numerical experiments and compare with previous approaches based on matrix inversion and linear systems solving.


title: Implementation of a fully nonlinear Hamiltonian Coupled-Mode Theory, and application to solitary wave problems over bathymetry

abstract: This paper deals with the implementation of a new, efficient, non-perturbative, Hamiltonian coupled-mode theory (HCMT) for the fully nonlinear, potential flow (NLPF) model of water waves over arbitrary bathymetry, Papoutsellis and Athanassoulis (2017) (arXiv:1704.03276). Applications considered herein concern the interaction of solitary waves with bottom topographies and vertical walls both in two- and three-dimensional environments. The essential novelty is a new representation of the Dirichlet-to-Neumann operator, needed to close the Hamiltonian evolution equations. This representation emerges from the treatment of the substrate kinematical problem by means of exact semi-separation of variables in the irregular fluid domain, established recently by Athanassoulis & Papoutsellis (2017) (https://doi.org/10.1098/rspa.2017.0017). The HCMT ensures an efficient dimensional reduction of the exact NLFP, being able to treat an arbitrary bathymetry as simply as the flat-bottom case. A key point for the efficient implementation of HCMT is the fast and accurate evaluation of the space-time varying coefficients appearing in some of its equations. All varying coefficients are calculated analytically, resulting in a refined version of the theory, characterized by improved accuracy at significantly reduced computational time. This improved version of HCMT is first validated against existing experimental results and other computations, and subsequently applied to new solitary wave-bottom interaction problems. The latter include: i) the investigation of a new type of Bragg scattering effect, appearing when a solitary wave propagates over a seabed with a sinusoidal patch, and ii) the disintegration, focusing and reflection of a solitary wave moving over a three-dimensional bathymetry consisting of parallel banks and troughs, and impinging on a vertical wall.


title: Stability of an active longitude of the giant PZ Mon

abstract: Analysis of photometric data of the active giant PZ Mon is presented. Using ASAS-3 project data and new more accurate photometry we establish that during 15 years of PZ Mon CCD observations the light curve remains stable, and consequently a longitude of the active spotted area is stable. The small deviations may be explained by differential rotation or inhomogeneous distribution of spots on the active hemisphere of PZ Mon. The stability of the active longitude and it's location on the PZ Mon surface indicates on the secondary component as reason of stellar activity.


title: On a conjecture of Furusho over function fields

abstract: We state and prove a function field analogue of Furusho for multiple zeta values.


title: Possible open-charmed pentaquark molecule $\Omega_c(3188)$ --- the $D \Xi$ bound state --- in the Bethe-Salpeter formalism

abstract: We study the $S$-wave $D\Xi$ bound state in the Bethe-Salpeter formalism in the ladder and instantaneous approximations. With the kernel generated by the hadronic effective Lagrangian, two open-charmed bound states, which quantum numbers are $I=0$, $J^P=(\frac{1}{2})^-$ and $I=1$, $J^P=(\frac{1}{2})^-$, respectively, are predicted as new candidates of hadronic pentaquark molecules in our formalism. If existing, they could contribute to the broad 3188 eV structure near the five new narrow $\Omega_c$ states observed recently by the LHCb Collaboration.


title: A general formula for the Magnus expansion in terms of iterated integrals of right-nested commutators

abstract: We present a general expression for any term of the Magnus series as an iterated integral of a linear combination of independent right-nested commutators with given coefficients. The relation with the Malvenuto--Reutenauer Hopf algebra of permutations is also discussed.


title: Physics of Autonomous Driving based on Three-Phase Traffic Theory

abstract: We have revealed physical features of autonomous driving in the framework of the three-phase traffic theory for which there is no fixed time headway to the preceding vehicle. A comparison with the classical model approach to autonomous driving for which an autonomous driving vehicle tries to reach a fixed (desired or "optimal") time headway to the preceding vehicle has been made. It turns out that autonomous driving in the framework of the three-phase traffic theory exhibits the following advantages in comparison with the classical model of autonomous driving: (i) The absence of string instability. (ii) Considerably smaller speed disturbances at road bottlenecks. (iii) Autonomous driving vehicles based on the three-phase theory decrease the probability of traffic breakdown at the bottleneck in mixed traffic flow consisting of human driving and autonomous driving vehicles; on the contrary, even a single autonomous driving vehicle based on the classical approach can provoke traffic breakdown at the bottleneck in mixed traffic flow.


title: Ten-dimensional lifts of global supersymmetry on curved spaces

abstract: Admissible curved space backgrounds for four-dimensional supersymmetric field theories are determined by solving Killing spinor equations of four-dimensional off-shell supergravities. These can be obtained by combining ten-dimensional type IIB supersymmetry with D-brane kappa-symmetry and identifying auxiliary fields of the four-dimensional supergravity fields in terms of type IIB fields. In this paper we show how to extend a number of solutions of four-dimensional Killing spinor equations with four or less supercharges to solutions of the ten-dimensional supersymmetry constraints.


title: VALD3: current developments

abstract: Today Vienna Atomic Line Database (VALD) is one of main databases of atomic and molecular parameters required for stellar spectra analysis. We present the new features that recently appeared in the VALD3 release, including the effects of isotopic composition and hyperfine splitting. The latest version of VALD contains parameters for several isotopes of Li, Ca, Ti, Cu, Ba, Eu, and hyperfine splitting of 35 isotopes from Li to Eu.


title: Possible heights of graph transformation groups

abstract: In the following text we prove that for all finite $p\geq0$ there exists a topological graph $X$ such that $\{p,p+1,p+2,\ldots\}\cup\{+\infty\}$ is the collection of all possible heights for transformation groups with phase space $X$. Moreover for all topological graph $X$ with $p$ as height of transformation group $(Homeo(X),X)$, $\{p,p+1,p+2,\ldots\}\cup\{+\infty\}$ again is the collection of all possible heights for transformation groups with phase space $X$.


title: Program package for the analysis of high resolution high signal-to-noise stellar spectra

abstract: The program package SME (Spectroscopy Made Easy), designed to perform an analysis of stellar spectra using spectral fitting techniques, was updated due to adding new functions (isotopic and hyperfine splittins) in VALD and including grids of NLTE calculations for energy levels of few chemical elements. SME allows to derive automatically stellar atmospheric parameters: effective temperature, surface gravity, chemical abundances, radial and rotational velocities, turbulent velocities, taking into account all the effects defining spectral line formation. SME package uses the best grids of stellar atmospheres that allows us to perform spectral analysis with the similar accuracy in wide range of stellar parameters and metallicities - from dwarfs to giants of BAFGK spectral classes.


title: Weighted Proportional Fair Scheduling for Downlink Non-Orthogonal Multiple Access

abstract: In this paper, a weighted proportional fair (PF) scheduling method is proposed in the context of non-orthogonal multiple access (NOMA) with successive interference cancellation (SIC) at the receiver side. The new scheme introduces weights that adapt the classical PF metric to the NOMA scenario, improving performance indicators and enabling new services. The distinguishing value of the proposal resides in its ability to improve long term fairness and total system throughput while achieving a high level of fairness in every scheduling slot. Finally, it is shown that the additional complexity caused by the weight calculation has only a limited impact on the overall scheduler complexity while simulation results confirm the claimed improvements making the proposal an appealing alternative for resource allocation in a cellular downlink system.


title: Internal structure and swelling behaviour of in silico microgel particles

abstract: Microgels are soft colloids that, in virtue of their polymeric nature, can react to external stimuli such as temperature or pH by changing their size. The resulting swelling/deswelling transition can be exploited in fundamental research as well as for many diverse practical applications, ranging from art restoration to medicine. Such an extraordinary versatility stems from the complex internal structure of the individual microgels, each of which is a crosslinked polymer network. Here we employ a recently-introduced computational method to generate realistic microgel configurations and look at their structural properties, both in real and Fourier space, for several temperatures across the volume phase transition as a function of the crosslinker concentration and of the confining radius employed during the `in-silico' synthesis. We find that the chain-length distribution of the resulting networks can be analytically predicted by a simple theoretical argument. In addition, we find that our results are well-fitted to the fuzzy-sphere model, which correctly reproduces the density profile of the microgels under study.


title: On Levi-Malcev theorem for Leibniz algebras

abstract: The present paper is devoted to provide conditions for the Levi--Malcev theorem to hold or not to hold (i.e. for two Levi subalgebras to be or not conjugate by an inner automorphism) in the context of finite-dimensional Leibniz algebras over a field of characteristic zero. Particularly, in the case of the field $\mathbb{C}$ of complex numbers, we consider all possible cases in which Levi subalgebras are conjugate and not conjugate.


title: Efficient simulation techniques for biochemical reaction networks

abstract: Discrete-state, continuous-time Markov models are becoming commonplace in the modelling of biochemical processes. The mathematical formulations that such models lead to are opaque, and, due to their complexity, are often considered analytically intractable. As such, a variety of Monte Carlo simulation algorithms have been developed to explore model dynamics empirically. Whilst well-known methods, such as the Gillespie Algorithm, can be implemented to investigate a given model, the computational demands of traditional simulation techniques remain a significant barrier to modern research. In order to further develop and explore biologically relevant stochastic models, new and efficient computational methods are required. In this thesis, high-performance simulation algorithms are developed to estimate summary statistics that characterise a chosen reaction network. The algorithms make use of variance reduction techniques, which exploit statistical properties of the model dynamics, to improve performance. The multi-level method is an example of a variance reduction technique. The method estimates summary statistics of well-mixed, spatially homogeneous models by using estimates from multiple ensembles of sample paths of different accuracies. In this thesis, the multi-level method is developed in three directions: firstly, a nuanced implementation framework is described; secondly, a reformulated method is applied to stiff reaction systems; and, finally, different approaches to variance reduction are implemented and compared. The variance reduction methods that underpin the multi-level method are then re-purposed to understand how the dynamics of a spatially-extended Markov model are affected by changes in its input parameters. By exploiting the inherent dynamics of spatially-extended models, an efficient finite difference scheme is used to estimate parametric sensitivities robustly.


title: Autoreactivity to malondialdehyde-modifications in rheumatoid arthritis is linked to disease activity and synovial pathogenesis

abstract: Oxidation-associated malondialdehyde (MDA) modification of proteins can generate immunogenic neo-epitopes that are recognized by autoantibodies. In health, IgM antibodies to MDA-adducts are part of the natural antibody pool, while elevated levels of IgG anti-MDA are associated with inflammatory conditions. Yet, in human autoimmune disease IgG anti-MDA responses have not been well characterized and their potential contribution to disease pathogenesis is not known. Here, we investigate MDA-modifications and anti-MDA-modified protein autoreactivity in rheumatoid arthritis (RA). While RA is primarily associated with autoreactivity to citrullinated antigens, we also observed increases in serum IgG anti-MDA in RA patients compared to controls. IgG anti-MDA levels significantly correlated with disease activity by DAS28-ESR and serum TNF-alpha, IL-6, and CRP. Mass spectrometry analysis of RA synovial tissue identified MDA-modified proteins and revealed shared peptides between MDA-modified and citrullinated actin and vimentin. Furthermore, anti-MDA autoreactivity among synovial B cells was discovered when investigating recombinant monoclonal antibodies (mAbs) cloned from single B cells. Several clones were highly specific for MDA-modification with no cross-reactivity to other antigen modifications. The mAbs recognized MDA-adducts in a variety of proteins. Interestingly, the most reactive clone, originated from an IgG1-bearing memory B cell, was encoded by germline variable genes, and showed similarity to previously reported natural IgM. Other anti-MDA clones display somatic hypermutations and lower reactivity. These anti-MDA antibodies had significant in vitro functional properties and induced enhanced osteoclastogenesis, while the natural antibody related high-reactivity clone did not. We postulate that these may represent distinctly different facets of anti-MDA autoreactive responses.


title: Quantum Spin-Hall Effect of Light at Bound States in the Continuum

abstract: The discovery of the topological nature of free-space light and its quantum chiral behavior has recently raised large attention. This important scientific endeavor features spin-based integrated quantum technologies. Herein, we discuss a novel phenomenon based on a resonantly-enhanced quantum spin-Hall transport of light observed in a dielectric resonator operating near the bound-state-in-continuum (BIC) regime. The BIC mode is characterized by a transverse photonic spin angular momentum density extended on a macroscopic area. As such, the experimental excited mode in near-BIC regime generates resonant surface waves characterized by spin-momentum locking and that propagate along the symmetry axes of the structure. In addition, the generated side waves are interpreted as an abrupt nonparaxial redirection of the exciting far field light, which is responsible for the spin-to-orbital angular momentum conversion evidenced in the spin-orbit asymmetry measured in the intensity of the side waves. The experimental results are in excellent agreement with a model that combines geometric parallel transport of light polarization and spin-momentum locking. In addition, breaking the excitation symmetry leads to a total spin-directive coupling. Our results reveal the possibility of a BIC-enhanced macroscopic spin-directive coupling, a novel fundamental mechanism of light-spin manipulation that will have strong impact on emerging quantum technologies.


title: Planet population synthesis driven by pebble accretion in cluster environments

abstract: The evolution of protoplanetary discs embedded in stellar clusters depends on the age and the stellar density in which they are embedded. Stellar clusters of young age and high stellar surface density destroy protoplanetary discs by external photoevaporation and stellar encounters. Here we consider the effect of background heating from newly formed stellar clusters on the structure of protoplanetary discs and how it affects the formation of planets in these discs. Our planet formation model is build on the core accretion scenario including pebble accretion. We synthesize planet populations that we compare to observations. The giant planets in our simulations migrate over large distances due to the fast type-II migration regime induced by a high disc viscosity ($\alpha=5.4 \times 10^{-3}$). Cold Jupiters (r>1 AU) originate preferably from the outer disc, while hot Jupiters (r<0.1 AU) preferably form in the inner disc. We find that the formation of gas giants via pebble accretion is in agreement with the metallicity correlation, meaning that more gas giants are formed at larger metallicity. However, our synthetic population of isolated stars host a significant amount of giant planets even at low metallicity, in contradiction to observations where giant planets are preferably found around high metallicity stars, indicating that pebble accretion is very efficient in the standard pebble accretion framework. On the other hand, discs around stars embedded in cluster environments hardly form any giant planets at low metallicity in agreement with observations, where these changes originate from the increased temperature in the outer parts of the disc, which prolongs the core accretion time-scale of the planet. We therefore conclude that the outer disc structure and the planet's formation location determines the giant planet occurrence rate and the formation efficiency of cold and hot Jupiters.


title: An Introduction to Wishart Matrix Moments

abstract: These lecture notes provide a comprehensive, self-contained introduction to the analysis of Wishart matrix moments. This study may act as an introduction to some particular aspects of random matrix theory, or as a self-contained exposition of Wishart matrix moments. Random matrix theory plays a central role in statistical physics, computational mathematics and engineering sciences, including data assimilation, signal processing, combinatorial optimization, compressed sensing, econometrics and mathematical finance, among numerous others. The mathematical foundations of the theory of random matrices lies at the intersection of combinatorics, non-commutative algebra, geometry, multivariate functional and spectral analysis, and of course statistics and probability theory. As a result, most of the classical topics in random matrix theory are technical, and mathematically difficult to penetrate for non-experts and regular users and practitioners. The technical aim of these notes is to review and extend some important results in random matrix theory in the specific context of real random Wishart matrices. This special class of Gaussian-type sample covariance matrix plays an important role in multivariate analysis and in statistical theory. We derive non-asymptotic formulae for the full matrix moments of real valued Wishart random matrices. As a corollary, we derive and extend a number of spectral and trace-type results for the case of non-isotropic Wishart random matrices. We also derive the full matrix moment analogues of some classic spectral and trace-type moment results. For example, we derive semi-circle and Marchencko-Pastur-type laws in the non-isotropic and full matrix cases. Laplace matrix transforms and matrix moment estimates are also studied, along with new spectral and trace concentration-type inequalities.


title: Asymptotic analysis of average case approximation complexity of additive random fields

abstract: We study approximation properties of sequences of centered additive random fields $Y_d$, $d\in\mathbb{N}$. The average case approximation complexity $n^{Y_d}(\varepsilon)$ is defined as the minimal number of evaluations of arbitrary linear functionals that is needed to approximate $Y_d$ with relative $2$-average error not exceeding a given threshold $\varepsilon\in(0,1)$. We investigate the growth of $n^{Y_d}(\varepsilon)$ for arbitrary fixed $\varepsilon\in(0,1)$ and $d\to\infty$. Under natural assumptions we obtain general results concerning asymptotics of $n^{Y_d}(\varepsilon)$. We apply our results to additive random fields with marginal random processes corresponding to the Korobov kernels.


title: Unifying Value Iteration, Advantage Learning, and Dynamic Policy Programming

abstract: Approximate dynamic programming algorithms, such as approximate value iteration, have been successfully applied to many complex reinforcement learning tasks, and a better approximate dynamic programming algorithm is expected to further extend the applicability of reinforcement learning to various tasks. In this paper we propose a new, robust dynamic programming algorithm that unifies value iteration, advantage learning, and dynamic policy programming. We call it generalized value iteration (GVI) and its approximated version, approximate GVI (AGVI). We show AGVI's performance guarantee, which includes performance guarantees for existing algorithms, as special cases. We discuss theoretical weaknesses of existing algorithms, and explain the advantages of AGVI. Numerical experiments in a simple environment support theoretical arguments, and suggest that AGVI is a promising alternative to previous algorithms.


title: Factorizations of $k$-Nonnegative Matrices

abstract: A matrix is $k$-nonnegative if all its minors of size $k$ or less are nonnegative. We give a parametrized set of generators and relations for the semigroup of $k$-nonnegative $n\times n$ invertible matrices in two special cases: when $k = n-1$ and when $k = n-2$, restricted to unitriangular matrices. For these two cases, we prove that the set of $k$-nonnegative matrices can be partitioned into cells based on their factorizations into generators, generalizing the notion of Bruhat cells from totally nonnegative matrices. Like Bruhat cells, these cells are homeomorphic to open balls and have a topological structure that neatly relates closure of cells to subwords of factorizations. In the case of $(n-2)$-nonnegative unitriangular matrices, we show the cells form a Bruhat-like CW-complex.


title: $\gamma\gamma \to \gamma \gamma$ scattering in ultrarelativistic UPC

abstract: We discuss diphoton semi(exclusive) production in ultraperipheral lead-lead collisions at energy of $\sqrt{s_{NN}}$ = 5.5 TeV (LHC) and in proton-proton collisions at $\sqrt{s_{pp}}$ = 7 TeV (LHC) and $\sqrt{s_{pp}}$ = 100 TeV (FCC). The nuclear calculations are based on equivalent photon approximation in the impact parameter space. The cross sections for elementary $\gamma\gamma \to \gamma\gamma$ subprocess are calculated including three different mechanisms: box diagrams with leptons and quarks in the loops, a VDM-Regge contribution with virtual intermediate hadronic excitations of the photons and the two-gluon exchange contribution. We get relatively high cross sections in heavy ion collisions. This opens a possibility to study the light-by-light (quasi)elastic scattering at the LHC. We find that the cross section for elastic $\gamma\gamma$ scattering could be measured in the lead-lead collisions for the diphoton invariant mass up to $W_{\gamma\gamma} \approx$ 15 - 20 GeV. Our Standard Model predictions are compared to a recent ATLAS experimental result. We present differential distributions for PbPb$\to$PbPb$\gamma\gamma$ and pp$\to$pp$\gamma\gamma$ reaction.


title: A novel Recurrence-Transience transition and Tracy-Widom growth in a cellular automaton with quenched noise

abstract: We study the growing patterns formed by a deterministic cellular automaton, the rotor-router model, in the presence of quenched noise. By the detailed study of two cases, we show that: (a) the boundary of the pattern displays KPZ fluctuations with a Tracy-Widom distribution, (b) as one increases the amount of randomness, the rotor-router path undergoes a transition from a recurrent to a transient walk. This transition is analysed here for the first time, and it is shown that it falls in the 3D Anisotropic Directed Percolation universality class.


title: Sparse covariance matrix estimation in high-dimensional deconvolution

abstract: We study the estimation of the covariance matrix $\Sigma$ of a $p$-dimensional normal random vector based on $n$ independent observations corrupted by additive noise. Only a general nonparametric assumption is imposed on the distribution of the noise without any sparsity constraint on its covariance matrix. In this high-dimensional semiparametric deconvolution problem, we propose spectral thresholding estimators that are adaptive to the sparsity of $\Sigma$. We establish an oracle inequality for these estimators under model miss-specification and derive non-asymptotic minimax convergence rates that are shown to be logarithmic in $n/\log p$. We also discuss the estimation of low-rank matrices based on indirect observations as well as the generalization to elliptical distributions. The finite sample performance of the threshold estimators is illustrated in a numerical example.


title: Stiffness of Probability Distributions of Work and Jarzynski Relation for Non-Gibbsian Initial States

abstract: We consider closed quantum systems (into which baths may be integrated) that are driven, i.e., subject to time-dependent Hamiltonians. Our point of departure is the assumption that, if systems start in microcanonical states at some initial energies, the resulting probability distributions of work may be largely independent of the specific initial energies. It is demonstrated that this assumption has some far-reaching consequences, e.g., it implies the validity of the Jarzynski relation for a large class of non-Gibbsian initial states. By performing numerical analysis on integrable and non-integrable spin systems, we find the above assumption fulfilled for all considered examples. Through an analysis based on Fermi's Golden Rule, we partially relate these findings to the applicability of the eigenstate thermalization ansatz to the respective driving operators.


title: Depressed serum IgM levels in SLE are restricted to defined subgroups

abstract: Natural IgM autoantibodies have been proposed to convey protection from autoimmune pathogenesis. Herein, we investigated the IgM responses in 396 systemic lupus erythematosus (SLE) patients, divided into subgroups based on distinct autoantibody profiles. Depressed IgM levels were more common in SLE than in matched population controls. Strikingly, an autoreactivity profile defined by IgG anti-Ro/La was associated with reduced levels of specific natural IgM anti-phosphorylcholine (PC) antigens and anti-malondialdehyde (MDA) modified-protein, as well total IgM, while no differences were detected in SLE patients with an autoreactivity profile defined by anti-cardiolipin/Beta2glycoprotein-I. We also observed an association of reduced IgM levels with the HLA-DRB1*03 allelic variant amongst SLE patients and controls. Associations of low IgM anti-PC with cardiovascular disease were primarily found in patients without antiphospholipid antibodies. These studies further highlight the clinical relevance of depressed IgM. Our results suggest that low IgM levels in SLE patients reflect immunological and genetic differences between SLE subgroups.


title: Cluster approximations for the TASEP: stationary state and dynamical transition

abstract: We develop and test cluster approximations, which generalize simple mean--field by taking into account more and more local correlations, for the Totally Asymmetric Simple Exclusion Process with open boundaries. We consider in detail the pair and triplet approximations, discussing the improvements with respect to mean field in various steady state properties. Moreover, we analyze the recently discovered dynamical transition, describing how the spectrum of the relaxation matrix changes at the transition.


title: Kroll-Lee-Zumino quantum field theory of pionic interactions: rho-meson propagator at two-loop level and electromagnetic pion form factor

abstract: The Kroll-Lee-Zumino renormalizable Abelian quantum field theory of pionic strong interactions is used to compute the rho-meson propagator at the two-loop level.


title: Shifts of the prime divisor function of Alladi and Erd\H{o}s

abstract: We introduce a variation on the prime divisor function $B(n)$ of Alladi and Erd\H{o}s, a close relative of the sum of proper divisors function $s(n)$. After proving some basic properties regarding these functions, we study the dynamics of its iterates and discover behaviour that is reminiscent of aliquot sequences. We prove that no unbounded sequences occur, analogous to the Catalan-Dickson conjecture, and give evidence towards the analogue of the Erd\H{o}s-Granville-Pomerance-Spiro conjecture on the pre-image of $s(n)$.


title: Measurement of the pairwise kinematic Sunyaev-Zeldovich effect with Planck and BOSS data

abstract: We present a new measurement of the kinetic Sunyaev-Zeldovich effect (kSZ) using Planck cosmic microwave background (CMB) and Baryon Oscillation Spectroscopic Survey (BOSS) data. Using the `LowZ North/South' galaxy catalogue from BOSS DR12, and the group catalogue from BOSS DR13, we evaluate the mean pairwise kSZ temperature associated with BOSS galaxies. We construct a `Central Galaxies Catalogue' (CGC) which consists of isolated galaxies from the original BOSS data set, and apply the aperture photometry (AP) filter to suppress the primary CMB contribution. By constructing a halo model to fit the pairwise kSZ function, we constrain the mean optical depth to be $\bar{\tau}=(0.53\pm0.32)\times10^{-4}(1.65\,\sigma)$ for `LowZ North CGC', $\bar{\tau}=(0.30\pm0.57)\times10^{-4}(0.53\,\sigma)$ for `LowZ South CGC', and $\bar{\tau}=(0.43\pm0.28)\times10^{-4}(1.53\,\sigma)$ for `DR13 Group'. In addition, we vary the radius of the AP filter and find that the AP size of $7\,{\rm arcmin}$ gives the maximum detection for $\bar{\tau}$. We also investigate the dependence of the signal with halo mass and find $\bar{\tau}=(0.32\pm0.36)\times10^{-4}(0.8\,\sigma)$ and $\bar{\tau}=(0.67\pm0.46)\times10^{-4}(1.4\,\sigma)$ for `DR13 Group' with halo mass restricted to, respectively, less and greater than its median halo mass, $10^{12}\, h^{-1}{\rm M}_{\odot}$. For the `LowZ North CGC' sample restricted to $M_{\rm h} \gtrsim 10^{14}\, h^{-1}{\rm M}_\odot$ there is no detection of the kSZ signal because these high mass halos are associated with the high-redshift galaxies of the LowZ North catalogue, which have limited contribution to the pairwise kSZ signals.


title: Diffractive production of isolated photons with the ZEUS detector at HERA

abstract: The photoproduction of isolated photons has been measured in diffractive events recorded by the ZEUS detector at HERA. Cross sections are evaluated in the photon-proton transverse-energy and pseudorapidity ranges 5<ET(gamma)<15 GeV and -0.7<eta(gamma)<0.9 inclusively and also with a jet with transverse energy and pseudorapidity in the range 4<ET(jet)<35 GeV and -1.5<eta(jet)<1.8, using a total integrated electron-proton luminosity of 374 pb-1. A number of kinematic variables were studied and compared to predictions from the RAPGAP Monte Carlo model. An excess of data is observed above the RAPGAP predictions for z|P(meas)>0.9, where z|P(meas) is the fraction of the longitudinal momentum of the colourless "Pomeron" exchange that is transferred to the photon-jet final state, giving evidence for direct Pomeron interactions.


title: Dynamical control over the confinement of spatially indirect excitons in electrostatic traps of GaAs coupled quantum wells

abstract: We study spatially indirect excitons confined in a 10 $\mu$m wide electrostatic trap of a GaAs double quantum well. We introduce a technique to control the amplitude of the electric field interacting with the excitons electric dipole, with nanosecond precision. Our approach relies on electronic waveforms corrected for the distorsions occurring at highest frequencies so that impedance matching is not necessary. Thus, we manipulate the confinement of cold gases without inducing sizeable perturbations down to sub-Kelvin bath temperatures.


title: Bell inequality, Einstein-Podolsky-Rosen steering and quantum metrology with spinor Bose-Einstein condensates

abstract: We propose an experiment, where the Bell inequality is violated in a many-body system of massive particles. The source of correlated atoms is a spinor $F=1$ Bose-Einstein condensate residing in an optical lattice. We characterize the complete experimental procedure--- the local operations, the measurements and the inequality---necessary to run the Bell test. We show how the degree of violation of the Bell inequality depends on the strengths of the two-body correlations and on the number of scattered pairs. We show that the system can be used to demonstrate the Einstein-Podolsky-Rosen paradox. Also, the scattered pairs are an excellent many-body resource for the quantum-enhanced metrology. With the possibility to generalize our analysis to other configurations in a straightforward way, the presented inquiry can be important in the planning of the forthcoming Bell tests in correlated atomic systems.


title: On the dynamics of skew tent maps

abstract: In this paper we give an elementary treatment of the dynamics of skew tent maps. We divide the two-parameter space into six regions. Two of these regions are further subdivided into infinitely many regions. All of the regions are given explicitly. We find the attractor in each subregion, determine whether the attractor is a periodic orbit or is chaotic, and also determine the asymptotic fate of every point. We find that when the attractor is chaotic, it is either a single interval or the disjoint union of a finite number of intervals; when it is a periodic orbit, all periods are possible. Sometimes, besides the attractor, there exists an invariant chaotic Cantor set.


title: Fast Linear Model for Knowledge Graph Embeddings

abstract: This paper shows that a simple baseline based on a Bag-of-Words (BoW) representation learns surprisingly good knowledge graph embeddings. By casting knowledge base completion and question answering as supervised classification problems, we observe that modeling co-occurences of entities and relations leads to state-of-the-art performance with a training time of a few minutes using the open sourced library fastText.


title: Milne boost from galilean gauge theory

abstract: Physical origin of Milne boost invariance of the Newton Cartan spacetime is traced to the effect of local Galilean boosts in its metric structure, using galilean gauge theory. Specifically, we do not require any gauge field to understand Milne boost invariance.


title: Weak Stability of $\ell_1$-minimization Methods in Sparse Data Reconstruction

abstract: As one of the most plausible convex optimization methods for sparse data reconstruction, $\ell_1$-minimization plays a fundamental role in the development of sparse optimization theory. The stability of this method has been addressed in the literature under various assumptions such as restricted isometry property (RIP), null space property (NSP), and mutual coherence. In this paper, we propose a unified means to develop the so-called weak stability theory for $\ell_1$-minimization methods under the condition called weak range space property of a transposed design matrix, which turns out to be a necessary and sufficient condition for the standard $\ell_1$-minimization method to be weakly stable in sparse data reconstruction. The reconstruction error bounds established in this paper are measured by the so-called Robinson's constant. We also provide a unified weak stability result for standard $\ell_1$-minimization under several existing compressed-sensing matrix properties. In particular, the weak stability of $\ell_1$-minimization under the constant-free range space property of order $k$ of the transposed design matrix is established for the first time in this paper. Different from the existing analysis, we utilize the classic Hoffman's Lemma concerning the error bound of linear systems as well as the Dudley's theorem concerning the polytope approximation of the unit $\ell_2$-ball to show that $\ell_1$-minimization is robustly and weakly stable in recovering sparse data from inaccurate measurements.


title: Divisibility of binomial coefficients by powers of two

abstract: For nonnegative integers $j$ and $n$ let $\Theta(j,n)$ be the number of entries in the $n$-th row of Pascal's triangle that are not divisible by $2^{j+1}$. In this paper we prove that the family $j\mapsto\Theta(j,n)$ usually follows a normal distribution. The method used for proving this theorem involves the computation of first and second moments of $\Theta(j,n)$, and uses asymptotic analysis of multivariate generating functions by complex analytic methods, building on earlier work by Drmota (1994) and Drmota, Kauers and Spiegelhofer (2016).


title: Models with varying structure

abstract: In this paper the problems of the retrospective analysis of models with time-varying structure are considered. These models include contamination models with randomly switching parameters and multivariate classification models with an arbitrary number of classes. Our main task here is to classify observations with different stochastic generation mechanisms. A new classification method is proposed. We analyze its properties both theoretically and empirically. The asymptotic optimality of the propodsed method (by the order of convergence to zero of the estimation error) is also established. At the end of the paper we consider multivariate change-in-mean models and multivariate regression models.


title: Calorimeter-less gamma-ray telescopes: Optimal measurement of charged particle momentum from multiple scattering by Bayesian analysis of Kalman filtering innovations

abstract: Novel gamma-ray telescope schemes (silicon wafer stacks, emulsions, gas detectors) are being developed so as to bridge the sensitivity gap between Compton and pair-creation telescopes. The lower average density with respect to the tungsten/silicon active target of the Fermi-LAT makes large effective-area telescopes voluminous objects, for which the photon energy measurement by conventional means (calorimeter, magnetic spectrometer, transition radiation detector) is a challenge for the mass budget of the space mission. We present an optimal measurement of track momentum by the multiple measurement of the angular deflections induced by multiple scattering in the active target itself, using a Bayesian analysis of the filtering innovations of a series of Kalman filters applied to the track. For a silicon-wafer-stack telescope, the method yields meaningful results up to a couple of GeV/c.


title: On geodesics in low regularity

abstract: We consider geodesics in both Riemannian and Lorentzian manifolds with metrics of low regularity. We discuss existence of extremal curves for continuous metrics and present several old and new examples that highlight their subtle interrelation with solutions of the geodesic equations. Then we turn to the initial value problem for geodesics for locally Lipschitz continuous metrics and generalize recent results on existence, regularity and uniqueness of solutions in the sense of Filippov.


title: Efficient computation of minimum-area rectilinear convex hull under rotation and generalizations

abstract: Let $P$ be a set of $n$ points in the plane. We compute the value of $\theta\in [0,2\pi)$ for which the rectilinear convex hull of $P$, denoted by $\mathcal{RH}_{\theta}(P)$, has minimum (or maximum) area in optimal $O(n\log n)$ time and $O(n)$ space, improving the previous $O(n^2)$ bound. Let $\mathcal{O}$ be a set of $k$ lines through the origin sorted by slope and let $\alpha_i$ be the aperture angles of the $2k$ sectors defined by every pair of two consecutive lines. Let $\Theta_{i}=\pi-\alpha_i$ and $\Theta=\min\{\Theta_i:i=1,\ldots,2k\}$. We further obtain: (1) Given a set $\mathcal{O}$ such that $\Theta\ge\frac{\pi}{2}$, we provide an algorithm to compute the $\mathcal{O}$-convex hull of $P$ in optimal $O(n\log n)$ time and $O(n)$ space, while if $\Theta<\frac{\pi}{2}$ the complexities are $O(\frac{n}{\Theta}\log n)$ time and $O(\frac{n}{\Theta})$ space. (2) Given a set $\mathcal{O}$ such that $\Theta\ge\frac{\pi}{2}$, we compute and maintain the boundary of the ${\mathcal{O}}_{\theta}$-convex hull of $P$ for $\theta\in [0,2\pi)$ in $O(kn\log n)$ time and $O(kn)$ space, or in $O(k\frac{n}{\Theta}\log n)$ time and $O(k\frac{n}{\Theta})$ space if $\Theta<\frac{\pi}{2}$. (3) Finally, given a set $\mathcal{O}$ such that $\Theta\ge\frac{\pi}{2}$, we compute the ${\mathcal{O}}_{\theta}$-convex hull of $P$ of minimum (or maximum) area over all $\theta\in [0,2\pi)$ in $O(kn\log n)$ time and $O(kn)$ space.


title: Constraining Photon Portal Dark Matter with Texono and Coherent Data

abstract: Dark matter may reside in sector without Standard Model (SM) gauge interactions. One way in which such a dark sector can still impact SM particles through non-gravitational interactions is via the "photon portal" in which a dark photon kinetically mixes with the ordinary SM photon. We study the implications of this setup for electron recoil events at TEXONO reactor and nuclear recoil events at the COHERENT experiment. We find that the recent COHERENT data rules out previously allowed regions of parameter space favored by the thermal relic hypothesis for the DM abundance. When mapped onto the DM-electron cross section, we find that COHERENT provides the leading direct constraints for DM masses < 30 MeV.


title: Self-bound quantum droplets in atomic mixtures

abstract: Self-bound quantum droplets are a newly discovered phase in the context of ultracold atoms. In this work we report their experimental realization following the original proposal by Petrov [Phys. Rev. Lett. 115, 155302 (2015)], using an attractive bosonic mixture. In this system spherical droplets form due to the balance of competing attractive and repulsive forces, provided by the mean-field energy close to the collapse threshold and the first-order correction due to quantum fluctuations. Thanks to an optical levitating potential with negligible residual confinement we observe self-bound droplets in free space and we characterize the conditions for their formation as well as their equilibrium properties. This work sets the stage for future studies on quantum droplets, from the measurement of their peculiar excitation spectrum, to the exploration of their superfluid nature.

categories: cond-mat.quant-gas physics.atm-clus physics.atom-ph quant-ph


title: Open Set Logo Detection and Retrieval

abstract: Current logo retrieval research focuses on closed set scenarios. We argue that the logo domain is too large for this strategy and requires an open set approach. To foster research in this direction, a large-scale logo dataset, called Logos in the Wild, is collected and released to the public. A typical open set logo retrieval application is, for example, assessing the effectiveness of advertisement in sports event broadcasts. Given a query sample in shape of a logo image, the task is to find all further occurrences of this logo in a set of images or videos. Currently, common logo retrieval approaches are unsuitable for this task because of their closed world assumption. Thus, an open set logo retrieval method is proposed in this work which allows searching for previously unseen logos by a single query sample. A two stage concept with separate logo detection and comparison is proposed where both modules are based on task specific CNNs. If trained with the Logos in the Wild data, significant performance improvements are observed, especially compared with state-of-the-art closed set approaches.


title: Level algebras and $\boldsymbol{s}$-lecture hall polytopes

abstract: Given a family of lattice polytopes, a common endeavor in Ehrhart theory is the classification of those polytopes in the family that are Gorenstein, or more generally level. In this article, we consider these questions for $\boldsymbol{s}$-lecture hall polytopes, which are a family of simplices arising from $\boldsymbol{s}$-lecture hall partitions. In particular, we provide concrete classifications for both of these properties purely in terms of $\boldsymbol{s}$-inversion sequences. Moreover, for a large subfamily of $\boldsymbol{s}$-lecture hall polytopes, we provide a more geometric classification of the Gorenstein property in terms of its tangent cones. We then show how one can use the classification of level $\boldsymbol{s}$-lecture hall polytopes to construct infinite families of level $\boldsymbol{s}$-lecture hall polytopes, and to describe level $\boldsymbol{s}$-lecture hall polytopes in small dimensions.


title: Quantum cavities with alternating boundary conditions

abstract: We consider the quantum dynamics of a free nonrelativistic particle moving in a cavity and we analyze the effect of a rapid switching between two different boundary conditions. We show that this procedure induces, in the limit of infinitely frequent switchings, a new effective dynamics in the cavity related to a novel boundary condition. We obtain a dynamical composition law for boundary conditions which gives the emerging boundary condition in terms of the two initial ones.


title: Strictly zero-dimensional biframes and a characterisation of congruence frames

abstract: Strictly zero-dimensional biframes were introduced by Banaschewski and Br\"{u}mmer as a class of strongly zero-dimensional biframes including the congruence biframes. We consider the category of strictly zero-dimensional biframes and show it is both complete and cocomplete. We characterise the extremal monomorphisms in this category and explore the special position that congruence biframes hold in it. Finally, we provide an internal characterisation of congruence biframes, and hence, of congruence frames.


title: RbEu(Fe$_{1-x}$Ni$_x$)$_4$As$_4$: From a ferromagnetic superconductor to a superconducting ferromagnet

abstract: The intrinsically hole-doped RbEuFe$_4$As$_4$ exhibits bulk superconductivity at $T_{\mathrm{sc}}=36.5$ K and ferromagnetic ordering in the Eu sublattice at $T_\mathrm{m}=15$ K. Here we present a hole-compensation study by introducing extra itinerant electrons via a Ni substitution in the ferromagnetic superconductor RbEuFe$_4$As$_4$ with $T_{\mathrm{sc}}>T_{\mathrm{m}}$. With the Ni doping, $T_{\mathrm{sc}}$ decreases rapidly, and the Eu-spin ferromagnetism and its $T_{\mathrm{m}}$ remain unchanged. Consequently, the system RbEu(Fe$_{1-x}$Ni$_x$)$_4$As$_4$ transforms into a superconducting ferromagnet with $T_{\mathrm{m}}>T_{\mathrm{sc}}$ for $0.07\leq x\leq0.08$. The occurrence of superconducting ferromagnets is attributed to the decoupling between Eu$^{2+}$ spins and superconducting Cooper pairs. The superconducting and magnetic phase diagram is established, which additionally includes a recovered yet suppressed spin-density-wave state.


title: On the infinitesimal automorphisms of principal bundles

abstract: We review some basic facts on vector fields, in the complex-analytic setting, thus, obtaining a rationality result and an extension of the Birkhoff-Grothendieck theorem, as follows: (1) Let $Z$ be a compact complex manifold endowed with a very ample line bundle $L$. Denote by $\mathfrak{g}_L$ the extended Lie algebra of infinitesimal automorphisms of $L$. If the representation of $\mathfrak{g}_L$ on the space of holomorphic sections of $L$ is irreducible then $Z$ is rational; (2) Let $P$ be a holomorphic principal bundle over the Riemann sphere, with structural group $G$ whose Lie algebra is not equal to its nilpotent radical. Then there exists a Lie subgroup $H$ of $G$ which is a quotient of a Borel subgroup of ${\rm SL}(2)$ and such that $P$ admits a reduction to $H$.


title: \'Etale groupoids and their $C^*$-algebras

abstract: These notes were written as supplementary material for a five-hour lecture series presented at the Centre de Recerca Mathem\`atica at the Universitat Aut\`onoma de Barcelona from the 13th to the 17th of March 2017. The intention of these notes is to give a brief overview of some key topics in the area of $C^*$-algebras associated to \'etale groupoids. The scope has been deliberately contained to the case of \'etale groupoids with the intention that much of the representation-theoretic technology and measure-theoretic analysis required to handle general groupoids can be suppressed in this simpler setting. A published version of these notes will appear in the volume tentatively titled "Operator algebras and dynamics: groupoids, crossed products and Rokhlin dimension" by Gabor Szabo, Dana P. Williams and myself, and edited by Francesc Perera, in the series "Advanced Courses in Mathematics. CRM Barcelona." The pagination of this arXiv version is not identical to Birkh\"auser's style, but I have tried to make it close. The theorem numbering should be correct. I'm grateful to the CRM and Birkh\"auser for allowing me to post a version on arXiv.


title: Learning to solve inverse problems using Wasserstein loss

abstract: We propose using the Wasserstein loss for training in inverse problems. In particular, we consider a learned primal-dual reconstruction scheme for ill-posed inverse problems using the Wasserstein distance as loss function in the learning. This is motivated by miss-alignments in training data, which when using standard mean squared error loss could severely degrade reconstruction quality. We prove that training with the Wasserstein loss gives a reconstruction operator that correctly compensates for miss-alignments in certain cases, whereas training with the mean squared error gives a smeared reconstruction. Moreover, we demonstrate these effects by training a reconstruction algorithm using both mean squared error and optimal transport loss for a problem in computerized tomography.