title: Connected sets of solutions of symmetric elliptic systems

abstract: The purpose of this paper is twofold. First we study bifurcations of connected sets of critical orbits of some invariant functional from a given family of critical orbits. We use techniques of equivariant bifurcation theory to obtain a Rabinowitz type alternative for symmetric gradient operators. The second aim is to apply the abstract results to studying orbits of nonconstant solutions of a nonlinear Neumann problem.


title: On the weighting field and admittance of irradiated Si-sensors

abstract: In this paper the weighting field $E_W$ and the frequency dependence of the admittance Y of n$^+$p pad sensors irradiated by 24 GeV/c protons to equivalent fluences in the range $\Phi_{\rm eq} = 3$ to $13\times 10^{15}$ cm$^{-2}$ are investigated. 1-D TCad simulations are used to calculate $E_W$. For $\Phi_{\rm eq} < 10^{13}$ cm$^{-2}$ $E_W$ depends on position and time. However, for higher $\Phi_{\rm eq}$ the time constant $\tau$ is much longer than the typical electronics readout time and $E_W = 1/d$ ($d$ = sensor thickness). It is demonstrated that the increase of the resistivity of the Si bulk with irradiation is responsible for the increase of $\tau$. The admittance Y of irradiated pad sensors has been measured for frequencies between f = 100 Hz and 1 MHz and voltages between 1 and 1000 V at -20$^\circ$C and -30$^\circ$C. For f < 1 kHz the parallel capacitance C$_p$ shows a f dependence. A model with a position-dependent resistivity is able to describe the data. It is concluded: 1. The weighting field of a highly irradiated sensor is the same as the weighting field of a fully depleted sensor before irradiation. 2. Models with a position-dependent resistivity describe the frequency dependence of C$_p$ for irradiated sensors.


title: VLBI observations of the G25.65+1.05 water maser superburst

abstract: This paper reports observations of a 22 GHz water maser `superburst' in the G25.65+1.05 massive star forming region, conducted in response to an alert from the Maser Monitoring Organisation (M2O). Very long baseline interferometry (VLBI) observations using the European VLBI Network (EVN) recorded a maser flux density of $1.2 \times 10^{4}$ Jy. The superburst was investigated in the spectral, structural and temporal domains and its cause was determined to be an increase in maser path length generated by the superposition of multiple maser emitting regions aligning in the line of sight to the observer. This conclusion was based on the location of the bursting maser in the context of the star forming region, its complex structure, and its rapid onset and decay.


title: Learning switched systems from simulation models

abstract: The design of decision and control strategies for switched systems typically requires complete knowledge of (i) mathematical models of the subsystems and (ii) restrictions on admissible switches between the subsystems. We propose an active learning algorithm that infers (i) and (ii) for discrete-time switched systems whose subsystems dynamics are governed by sets of scalar polynomials and switching signals are constrained by automata. We collect data from gray-box simulation models of the switched systems for this purpose. Our technique for learning (i) involves linear algebraic tools, while for learning (ii) we employ a modified version of the well-known $L^*$-algorithm from machine learning literature. A numerical example is presented to demonstrate our learning algorithm.


title: High-resolution spectroscopy of the high velocity hot post-AGB star IRAS 18379-1707 (LS 5112)

abstract: The high-resolution ($R\sim48\,000$) optical spectrum of the B-type supergiant LS 5112, identified as the optical counterpart of the post-AGB candidate IRAS 18379-1707, is analysed. We report the detailed identifications of the observed absorption and emission features in the wavelength range 3700-9200 A for the first time. The absorption line spectrum has been analysed using non-LTE model atmosphere techniques to determine stellar atmospheric parameters and chemical composition. We estimate $T_\text{eff}=18~000\pm1000$ K, $\log g=2.25\pm0.08$, $\xi_{\rm t}=10\pm4$ km/s and $v \sin i=37\pm6$ km/s, and the derived abundances indicate a metal-deficient ([M/H]$\approx-0.6)$ post-AGB star. Chemical abundances of eight different elements were obtained. The estimates of the CNO abundances in IRAS 18379-1707 indicate that these elements are overabundant with [(C+N+O)/S]=+0.5$\pm$0.2 suggesting that the products of helium burning have been brought to the surface as a result of third dredge-up on the AGB. From the absorption lines, we derived heliocentric radial velocity of $V_\text{r}=-124.0\pm0.4$ km/s. We have identified permitted emission lines of O I, N I, Na I, S II, Si II, C II, Mg II and Fe III. The nebula forbidden lines of [N I], [O I], [Fe II], [N II], [S II], [Ni II] and [Cr II] have also been identified. The Balmer lines H$\alpha$, H$\beta$ and H$\gamma$ show P-Cygni behaviour clearly indicating post-AGB mass-loss process in the object with the wind velocity up to 170 km/s.


title: Legal document retrieval across languages: topic hierarchies based on synsets

abstract: Cross-lingual annotations of legislative texts enable us to explore major themes covered in multilingual legal data and are a key facilitator of semantic similarity when searching for similar documents. Multilingual probabilistic topic models have recently emerged as a group of semi-supervised machine learning models that can be used to perform thematic explorations on collections of texts in multiple languages. However, these approaches require theme-aligned training data to create a language-independent space, which limits the amount of scenarios where this technique can be used. In this work, we provide an unsupervised document similarity algorithm based on hierarchies of multi-lingual concepts to describe topics across languages. The algorithm does not require parallel or comparable corpora, or any other type of translation resource. Experiments performed on the English, Spanish, French and Portuguese editions of JCR-Acquis corpora reveal promising results on classifying and sorting documents by similar content.


title: Quantum Lower Bounds for 2D-Grid and Dyck Language

abstract: We show quantum lower bounds for two problems. First, we consider the problem of determining if a sequence of parentheses is a properly balanced one (a Dyck word), with a depth of at most $k$. It has been known that, for any $k$, $\tilde{O}(\sqrt{n})$ queries suffice, with a $\tilde{O}$ term depending on $k$. We prove a lower bound of $\Omega(c^k \sqrt{n})$, showing that the complexity of this problem increases exponentially in $k$. This is interesting as a representative example of star-free languages for which a surprising $\tilde{O}(\sqrt{n})$ query quantum algorithm was recently constructed by Aaronson et al. Second, we consider connectivity problems on directed/undirected grid in 2 dimensions, if some of the edges of the grid may be missing. By embedding the "balanced parentheses" problem into the grid, we show a lower bound of $\Omega(n^{1.5-\epsilon})$ for the directed 2D grid and $\Omega(n^{2-\epsilon})$ for the undirected 2D grid. The directed problem is interesting as a black-box model for a class of classical dynamic programming strategies including the one that is usually used for the well-known edit distance problem. We also show a generalization of this result to more than 2 dimensions.


title: Manually driven harmonic oscillator

abstract: Oscillations and resonance are essential topics in physics that can be explored theoretically and experimentally in the classroom or teaching laboratory environments. However, one of the main challenges concerning the experimental study of resonance phenomena via forced oscillations is the control of the oscillation frequency, which demands an electronic circuit or a fine tuned coupled mechanical system. In this work, we demonstrate that, in what concerns the physics teaching, such demanding accessories are not necessary. The forced oscillations can be implemented by the teacher's hand guided by an oscillating circle displayed in a web application loaded in a smartphone. The oscillations are applied to an ordinary spiral toy. Qualitative, as well quantitative, proposals are explored in this work with excellent results.


title: Kaluza-Klein Spectrometry for Supergravity

abstract: Exceptional field theories yield duality covariant formulations of supergravity. We show that they provide a highly efficient tool to compute the Kaluza-Klein mass spectra associated to compactifications around various background geometries relevant for string theory and holographic applications. This includes geometries with little to no remaining symmetries, hardly accessible to standard methods. As an illustration, we work out the masses of some higher Kaluza-Klein multiplets around warped geometries corresponding to some prominent ${\cal N} = 2$ supersymmetric AdS vacua in maximal supergravity.


title: PhIT-Net: Photo-consistent Image Transform for Robust Illumination Invariant Matching

abstract: We propose a new and completely data-driven approach for generating a photo-consistent image transform. We show that simple classical algorithms which operate in the transform domain become extremely resilient to illumination changes. This considerably improves matching accuracy, outperforming the use of state-of-the-art invariant representations as well as new matching methods based on deep features. The transform is obtained by training a neural network with a specialized triplet loss, designed to emphasize actual scene changes while attenuating illumination changes. The transform yields an illumination invariant representation, structured as an image map, which is highly flexible and can be easily used for various tasks.


title: Spin-phonon interfaces in coupled nanomechanical cantilevers

abstract: Coupled micro- and nanomechanical oscillators are of fundamental and technical interest for emerging quantum technologies. Upon interfacing with long-lived solid-state spins, the coherent manipulation of the quantum hybrid system becomes possible even at ambient conditions. While, the ability of these systems to act as a quantum bus inducing long-range spin-spin interactions has been known, the possibility to coherently couple electron/nuclear spins to the common modes of multiple oscillators and map their mechanical motion to spin-polarization has not been experimentally demonstrated. We here report experiments on interfacing spins to the common modes of a coupled cantilever system, and show their correlation by translating ultra-low forces induced by radiation from one oscillator to a distant spin. Further, we analyze the coherent spin-spin coupling induced by the common modes and estimate the entanglement generation among distant spins.


title: Predicting Performance of Software Configurations: There is no Silver Bullet

abstract: Many software systems offer configuration options to tailor their functionality and non-functional properties (e.g., performance). Often, users are interested in the (performance-)optimal configuration, but struggle to find it, due to missing information on influences of individual configuration options and their interactions. In the past, various supervised machine-learning techniques have been used to predict the performance of all configurations and to identify the optimal one. In the literature, there is a large number of machine-learning techniques and sampling strategies to select from. It is unclear, though, to what extent they affect prediction accuracy. We have conducted a comparative study regarding the mean prediction accuracy when predicting the performance of all configurations considering 6 machine-learning techniques, 18 sampling strategies, and 6 subject software systems. We found that both the learning technique and the sampling strategy have a strong influence on prediction accuracy. We further observed that some learning techniques (e.g., random forests) outperform other learning techniques (e.g., k-nearest neighbor) in most cases. Moreover, as the prediction accuracy strongly depends on the subject system, there is no combination of a learning technique and sampling strategy that is optimal in all cases, considering the tradeoff between accuracy and measurement overhead, which is in line with the famous no-free-lunch theorem.


title: Low-Voltage Printed, All-Polymer Integrated Circuits Employing a Low-leakage and High-Yield Polymer Dielectric

abstract: In the path toward the integration of organic field effect transistors (OFETs) and logic circuits into low-cost and mass produced consumer products, all-organic devices based on printed semiconductors are one of the best options to meet stringent costs requirements. Within this framework, it is still challenging to achieve low voltage operation, as required by the use of thin film batteries and energy harvesters, for which a high capacitance and reliable organic dielectric is required. Here, the development of a parylene-C based dielectric bilayer compatible with top-gate architectures for low-voltage OFETs and logic circuits is presented. The polymer bilayer dielectric allowed the high yield fabrication of all-polymer, bendable, transparent p- and n-type OFETs operating below 2 V, with low leakage, uniform performances and high yield. Such result is a key enabler for the reliable realization of complementary logic circuits that can operate already at a voltage bias of 2 V, such as well-balanced inverters, ring-oscillators and D-Flip-Flops.


title: Tailored joint fabrication process derived ultra-low resistance MgB2 superconducting joint

abstract: We report an ultra-low resistance superconducting joint using unreacted multifilament MgB2 wires produced by tailoring the powder compaction pressure within the joint with heat treatment conditions. The joint demonstrated an ultra-low resistance of 5.48 x 10^-15 ohms and critical current (Ic) of 91.3 A at 20 K in self-field. The microstructural and composition studies of the joint revealed cracks and a high amount of MgO, respectively. These two features reduced the Ic of the joint to some extent; nevertheless, the joint resistance was not affected by it. Our tailored joining process will play a pivotal role in superconducting joint development.


title: (b,v)-type variables for black to white hole transitions in effective loop quantum gravity

abstract: Quantum gravity effects in effective models of loop quantum gravity, such as loop quantum cosmology, are encoded in the choice of so-called polymerisation schemes. Physical viability of the models, such as an onset of quantum effects at curvature scales near the Planck curvature, severely restrict the possible choices. An alternative point of view on the choice of polymerisation scheme is to choose adapted variables so that the scheme is the simplest possible one, known as $\mu_0$-scheme in loop quantum cosmology. There, physically viable models with $\mu_0$-scheme polymerise the Hubble rate $b$ that is directly related to the Ricci scalar and the matter energy density on-shell. Consequently, the onset of quantum effects depends precisely on those parameters. In this letter, we construct similar variables for black to white hole transitions modelled using the description of the Schwarzschild interior as a Kantowski-Sachs cosmology. The resulting model uses the $\mu_0$-scheme and features sensible physics for a broad range of initial conditions (= choices of black and white hole masses) and favours symmetric transitions upon invoking additional qualitative arguments. The resulting Hamiltonian is very simple and at most quadratic in its arguments, allowing for a straight forward quantisation.


title: Controllable Normal mode splitting and Switching performance in hybrid optomechanical semiconductor microcavity containing single quantum dot

abstract: We theoretically explore optical bistability for possible signature of all optical switching and their performance in a hybrid quantum optomechanical system comprising of two semiconductor microcavity coupled optically. One of the cavity is driven by an external optical pump laser while the second cavity which contains a quantum dot is indirectly driven by light transmitted from the first cavity. The generated bistable behavior due to optomechanical nonlinearity shows a typical optical switching behavior and it can be controlled by changing the laser power, QD cavity coupling, rocking parameter, and the optomechanical coupling. A clear signature of energy exchange between mechanical optical modes is visible from the mechanical displacement spectrum. These results suggest that the present system can be used for an application in sensitive optical switch and optical sensors.


title: Metastability phenomena in two-dimensional rectangular lattices with nearest-neighbour interaction

abstract: We study analytically the dynamics of two-dimensional rectangular lattices with periodic boundary conditions. We consider anisotropic initial data supported on one low-frequency Fourier mode. We show that, in the continuous approximation, the resonant normal form of the system is given by integrable PDEs. We exploit the normal form result in order to prove the existence of metastability phenomena for the lattices. More precisely, we show that the energy spectrum of the normal modes attains a distribution in which the energy is shared among a packet of low-frequencies modes; such distribution remains unchanged up to the time-scale of validity of the continuous approximation.


title: Orbits of cuspidal types on $\textrm{GL}_{p}(\mathcal{O}_{F})$

abstract: Let $F$ be a non-Archimedean local field and let $\mathcal{O}_{F}$ be its ring of integers. The orbit of an irreducible representation $\rho$ of $\mathrm{GL}_n(\mathcal{O}_F)$ is a conjugacy class in $\mathfrak{gl}_n(\mathcal{O}_F)$ attached to $\rho$ by means of Clifford's theory. We give a description of orbits of cuspidal types on $\mathrm{GL}_{p}( \mathcal{O}_{F})$, with $p$ prime. We determine which of them are regular and we provide an example which shows that the orbit of a representation does not always determine whether it is a cuspidal type or not.


title: Multiple quadrotors carrying a flexible hose: dynamics, differential flatness and control

abstract: Using quadrotors UAVs for cooperative payload transportation using cables has been actively gaining interest in recent years. Understanding the dynamics of these complex multi-agent systems would help towards designing safe and reliable systems. In this work, we study one such multi-agent system comprising of multiple quadrotors transporting a flexible hose. We model the hose as a series of smaller discrete links and derive a generalized coordinate-free dynamics for the same. We show that certain configurations of this under-actuated system are differentially-flat. We linearize the dynamics using variation-based linearization and present a linear time-varying LQR to track desired trajectories. Finally, we present numerical simulations to validate the dynamics, flatness, and control.


title: Type Safety with JSON Subschema

abstract: JSON is a popular data format used pervasively in web APIs, cloud computing, NoSQL databases, and increasingly also machine learning. JSON Schema is a language for declaring the structure of valid JSON data. There are validators that can decide whether a JSON document is valid with respect to a schema. Unfortunately, like all instance-based testing, these validators can only show the presence and never the absence of a bug. This paper presents a complementary technique: JSON subschema checking, which can be used for static type checking with JSON Schema. Deciding whether one schema is a subschema of another is non-trivial because of the richness of the JSON Schema specification language. Given a pair of schemas, our approach first canonicalizes and simplifies both schemas, then decides the subschema question on the canonical forms, dispatching simpler subschema queries to type-specific checkers. We apply an implementation of our subschema checking algorithm to 8,548 pairs of real-world JSON schemas from different domains, demonstrating that it can decide the subschema question for most schema pairs and is always correct for schema pairs that it can decide. We hope that our work will bring more static guarantees to hard-to-debug domains, such as cloud computing and artificial intelligence.


title: Experimental investigation of vortex ring evolution in polymer solution

abstract: We have conducted experiments on the effect of polymer solutions on the formation and propagation of vortex rings. We study this effect in aqueous solution of hydrolyzed polyacrylamide (PAMH) at different concentrations. Addition of PAMH imparts shear-rate dependent viscosity and elasticity to the solvent. With increasing concentration of PAMH both the zero-shear-rate viscosity ($\eta_0$) and the infinite-shear-rate viscosity ($\eta_{\infty}$) increase. The relaxation time also increases with the increase in concentration. We generate vortex rings using a piston-cylinder mechanism in a glass tank and measure vortex ring properties such as ring position, ring circulation, enstrophy, kinetic energy and peak vorticity using particle image velocimetry (PIV). Experiments are conducted by (1) matching impulse, and (2) matching Reynolds number. We show that, at constant impulse, vortex ring properties in PAMH solution deviate from that in Newtonian water. As the concentration of the PAMH solution increases, so too does the deviation from water. We further perform experiments in water by matching the limiting Reynolds numbers of the PAMH solution corresponding to both $\eta_0$ and $\eta_{\infty}$. We find that while the circulation of PAMH solutions lies between the circulation curves of the two extreme Reynolds number matched water experiments for an extended period of time, the enstrophy and peak vorticity do not. We attribute this behavior to the modification of vorticity distribution within the core of vortex rings in PAMH solutions. We also study the effect of polymer solutions on the formation number. We find that the formation number remains the same even in polymer solutions. We also demonstrate, using planar laser induced fluorescence (PLIF), the phenomenon of ring reversal.


title: Low-friction, wear-resistant, and electrically homogeneous multilayer graphene grown by chemical vapor deposition on molybdenum

abstract: Chemical vapour deposition (CVD) is a promising method for producing large-scale graphene (Gr). Nevertheless, microscopic inhomogeneity of Gr grown on traditional metal substrates such as copper or nickel results in a spatial variation of Gr properties due to long wrinkles formed when the metal substrate shrinks during the cooling part of the production cycle. Recently, molybdenum (Mo) has emerged as an alternative substrate for CVD growth of Gr, mainly due to a better matching of the thermal expansion coefficient of the substrate and Gr. We investigate the quality of multilayer Gr grown on Mo and the relation between Gr morphology and nanoscale mechanical and electrical properties, and spatial homogeneity of these parameters. With atomic force microscopy (AFM) based scratching, Kelvin probe force microscopy, and conductive AFM, we measure friction and wear, surface potential, and local conductivity, respectively. We find that Gr grown on Mo is free of large wrinkles that are common with growth on other metals, although it contains a dense network of small wrinkles. We demonstrate that as a result of this unique and favorable morphology, the Gr studied here has low friction, high wear resistance, and excellent homogeneity of electrical surface potential and conductivity.


title: Numerically stable eigenmode extraction in 3D periodic metamaterials

abstract: A numerical method is presented to compute the eigenmodes supported by three dimensional (3D) metamaterials using the Method of Moments (MoM). The method relies on interstitial equivalent currents between layers. First, a parabolic formulation is presented. Then, we present an iterative technique that can be used to linearize the problem. In this way, all the eigenmodes characterized by their transmission coefficients and equivalent interstitial currents can be found using a simple eigenvalue decomposition of a matrix. The accuracy that can be achieved is only limited by the quality of simulation, and we demonstrate that the error introduced when linearizing the problem decreases doubly exponentially with respect to the time devoted to the iterative process. We also draw a mathematical link and distinguish the proposed method from other transfer-matrix based methods available in the literature.


title: The Effect of Pressure on the Negative Thermal Expansion of Solid Methane

abstract: The effect of pressure on the thermal expansion of solid CH$_4$ is calculated for the low temperature region where the contributions from phonons and librons can be neglected and only the rotational tunnelling modes are essential. The effect of pressure is shown to increase the magnitude of the peaks of the negative thermal expansion and shifts the positions of the peaks to the low-temperature region, which goes asymptotically to zero temperature with increasing pressure. The Gruneisen thermodynamical parameter for the rotational tunnelling modes is calculated. It is large, negative, and increases in magnitude with rising pressure.


title: Optimal Multivariate Tuning with Neuron-Level and Population-Level Energy Constraints

abstract: Optimality principles have been useful in explaining many aspects of biological systems. In the context of neural encoding in sensory areas, optimality is naturally formulated in a Bayesian setting, as neural tuning which minimizes mean decoding error. Many works optimize Fisher information, which approximates the Minimum Mean Square Error (MMSE) of the optimal decoder for long encoding time, but may be misleading for short encoding times. We study MMSE-optimal neural encoding of a multivariate stimulus by uniform populations of spiking neurons, under firing rate constraints for each neuron as well as for the entire population. We show that the population-level constraint is essential for the formulation of a well-posed problem having finite optimal tuning widths, and optimal tuning aligns with the principal components of the prior distribution. Numerical evaluation of the two-dimensional case shows that encoding only the dimension with higher variance is optimal for short encoding times. We also compare direct MMSE optimization to optimization of several proxies to MMSE, namely Fisher information, Maximum Likelihood estimation error, and the Bayesian Cram\'er-Rao bound. We find that optimization of these measures yield qualitatively misleading results regarding MMSE-optimal tuning and its dependence on encoding time and energy constraints.


title: Two photon transition form factors of neutral pseudoscalar mesons

abstract: Starting from the axial vector Ward-Green-Takahashi identity, and the necessity of preserving this identity when attempting to calculate the properties describing pseudoscalar mesons, we describe a Bethe-Salpeter kernel which takes into account the non-Abelian anomaly and therefore is suitable to describe the flavor mixing states $\eta,\eta^\prime$. We then report results for the two photon transition form factors of $\eta,\eta^\prime$, and compare them with existing experimental data.


title: Constraints on the cosmic string loop collapse fraction from Primordial Black Holes

abstract: A small fraction, $f$, of cosmic string loops can collapse to form Primordial Black Holes (PBHs). Constraints on the abundance of PBHs can therefore be used to constrain $f$. We update these calculations, taking into account the PBH extended mass function, and find $f < 10^{-31} (G \mu/ c^2)^{-3/2}$. This is roughly two orders of magnitude tighter than previous constraints. The improvement from the tighter constraints on the abundance of PBHs is partly off-set by refinements to the theoretical calculation of the cosmic string loop formation rate.


title: Neutrino-deuteron scattering: Uncertainty quantification and new $L_{1,A}$ constraints

abstract: We study neutral- and charged-current (anti)neutrino-induced dissociation of the deuteron at energies from threshold up to 150 MeV by employing potentials, as well as one- and two-body currents, derived in chiral effective field theory ($\chi$EFT). We provide uncertainty estimates from $\chi$EFT truncations of the electroweak current, dependences on the $\chi$EFT cutoff and variations in the pool of fit data used to fix the low-energy constants of $\chi$EFT. At 100 MeV of incident (anti)neutrino energy, these uncertainties amount to about 2-3\% and are smaller than the sensitivity of the cross sections to the single-nucleon axial form factor, which amounts to 5\% if one varies the range of the nucleon axial radius within the bands determined by recent lattice quantum chromodynamics evaluations and phenomenological extractions. We conclude that a precise determination of the nucleon axial form factor is required for a high-precision calculation of the neutrino-deuteron cross sections at energies higher than 100 MeV. By matching our low-energy $\chi$EFT results to those of pionless effective field theory ($\cancel{\pi}$EFT), we provide new constraints for the counterterm $L_{1,A}$ that parameterizes the strength of the axial two-body current in $\cancel{\pi}$EFT. We obtain a value of $4.9^{+1.9}_{-1.5}\mathrm{fm}^3$ at renormalization scale set to pion mass, which is compatible with, albeit narrower than, previous experimental determinations, and comparable to a recent lattice quantum chromodynamics calculation.


title: All-analytical evaluation of the singular integrals involved in the Method of Moments

abstract: Surface Integral Equation (SIE) methods routinely require the integration of the singular Green's function or its gradient over Basis Functions (BF) and Testing Functions (TF). Many techniques have been described in the literature for the fast and accurate computation of these integrals for TF that is located close to the BF. In this paper, we propose an all-analytical formula for the singular part of the integral for both the Electric and Magnetic Field Integral Equations (EFIE and MFIE). The method works for any flat polygonal BF and TF of any order, and proves to be competitive with existing techniques.


title: Maestro: A Python library for multi-carrier energy district optimal control design

abstract: This paper introduces the Maestro library. This library for Python focuses on the design of predictive controllers for small to medium-scale energy networks. It allows non-expert users to describe multi-carrier (electricity, heat, gas) energy networks with a range of energy production, conversion, and storage component classes; together with consumption patterns. Based on this description a predictive controller can be synthesized and tested in simulation. This controller manages the dispatch of energy in the network, making sure that the demands are met, while minimizing the total energy cost. Alternative objectives can be specified. The library uses a mixed-integer linear modelling framework to describe the network and can be used in stand-alone based on standardized input files or as part of the larger energy network control platform PENTAGON.


title: QPDAS: Dual Active Set Solver for Mixed Constraint Quadratic Programming

abstract: We present a method for solving the general mixed constrained convex quadratic programming problem using an active set method on the dual problem. The approach is similar to existing active set methods, but we present a new way of solving the linear systems arising in the algorithm. There are two main contributions; we present a new way of factorizing the linear systems, and show how iterative refinement can be used to achieve good accuracy and to solve both types of sub-problems that arise from semi-definite problems.


title: System Identification for Hybrid Systems using Neural Networks

abstract: With new advances in machine learning and in particular powerful learning libraries, we illustrate some of the new possibilities they enable in terms of nonlinear system identification. For a large class of hybrid systems, we explain how these tools allow for identification of complex dynamics using neural networks. We illustrate the method by examining the performance on a quad-rotor example.


title: Atomic reconstruction in twisted bilayers of transition metal dichalcogenides

abstract: Van der Waals heterostructures form a massive interdisciplinary research field, fueled by the rich material science opportunities presented by layer assembly of artificial solids with controlled composition, order and relative rotation of adjacent atomic planes. Here we use atomic resolution transmission electron microscopy and multiscale modeling to show that the lattice of MoS$_2$ and WS$_2$ bilayers twisted to a small angle, $\theta<3^{\circ}$, reconstructs into energetically favorable stacking domains separated by a network of stacking faults. For crystal alignments close to 3R stacking, a tessellated pattern of mirror reflected triangular 3R domains emerges, separated by a network of partial dislocations which persist to the smallest twist angles. Scanning tunneling measurements show that the electronic properties of those 3R domains appear qualitatively different from 2H TMDs, featuring layer-polarized conduction band states caused by lack of both inversion and mirror symmetry. In contrast, for alignments close to 2H stacking, stable 2H domains dominate, with nuclei of an earlier unnoticed metastable phase limited to $\sim$ 5nm in size. This appears as a kagome-like pattern at $\theta\sim 1^{\circ}$, transitioning at $\theta\rightarrow 0$ to a hexagonal array of screw dislocations separating large-area 2H domains.


title: D-SPIDER-SFO: A Decentralized Optimization Algorithm with Faster Convergence Rate for Nonconvex Problems

abstract: Decentralized optimization algorithms have attracted intensive interests recently, as it has a balanced communication pattern, especially when solving large-scale machine learning problems. Stochastic Path Integrated Differential Estimator Stochastic First-Order method (SPIDER-SFO) nearly achieves the algorithmic lower bound in certain regimes for nonconvex problems. However, whether we can find a decentralized algorithm which achieves a similar convergence rate to SPIDER-SFO is still unclear. To tackle this problem, we propose a decentralized variant of SPIDER-SFO, called decentralized SPIDER-SFO (D-SPIDER-SFO). We show that D-SPIDER-SFO achieves a similar gradient computation cost---that is, $\mathcal{O}(\epsilon^{-3})$ for finding an $\epsilon$-approximate first-order stationary point---to its centralized counterpart. To the best of our knowledge, D-SPIDER-SFO achieves the state-of-the-art performance for solving nonconvex optimization problems on decentralized networks in terms of the computational cost. Experiments on different network configurations demonstrate the efficiency of the proposed method.


title: Spectropolarimetric Insight into Plasma-Sheet Dynamics of a Solar Flare

abstract: We examine spectropolarimetric data from the CoMP instrument, acquired during the evolution of the September 10th 2017 X8.2 solar flare on the western solar limb. CoMP captured linearly polarized light from two emission lines of Fe XIII at 1074.7 and 1079.8 nm, from 1.03 to 1.5 solar radii. We focus here on the hot plasma-sheet lying above the bright flare loops and beneath the ejected CME. The polarization has a striking and coherent spatial structure, with unexpectedly small polarization aligned with the plasma-sheet. By elimination, we find that small-scale magnetic field structure is needed to cause such significant depolarization, and suggest that plasmoid formation during reconnection (associated with the tearing mode instability) creates magnetic structure on scales below instrument resolution of 6 Mm. We conclude that polarization measurements with new coronagraphs, such as the upcoming DKIST, will further enhance our understanding of magnetic reconnection and development of turbulence in the solar corona.


title: Self-Supervised Learning by Cross-Modal Audio-Video Clustering

abstract: Visual and audio modalities are highly correlated, yet they contain different information. Their strong correlation makes it possible to predict the semantics of one from the other with good accuracy. Their intrinsic differences make cross-modal prediction a potentially more rewarding pretext task for self-supervised learning of video and audio representations compared to within-modality learning. Based on this intuition, we propose Cross-Modal Deep Clustering (XDC), a novel self-supervised method that leverages unsupervised clustering in one modality (e.g., audio) as a supervisory signal for the other modality (e.g., video). This cross-modal supervision helps XDC utilize the semantic correlation and the differences between the two modalities. Our experiments show that XDC outperforms single-modality clustering and other multi-modal variants. XDC achieves state-of-the-art accuracy among self-supervised methods on multiple video and audio benchmarks. Most importantly, our video model pretrained on large-scale unlabeled data significantly outperforms the same model pretrained with full-supervision on ImageNet and Kinetics for action recognition on HMDB51 and UCF101. To the best of our knowledge, XDC is the first self-supervised learning method that outperforms large-scale fully-supervised pretraining for action recognition on the same architecture.


title: Correspondence theory on $p$-Fock spaces with applications to Toeplitz algebras

abstract: We prove several results concerning the theory of Toeplitz algebras over $p$-Fock spaces using a correspondence theory of translation invariant symbol and operator spaces. The most notable results are: The full Toeplitz algebra is the norm closure of all Toeplitz operators with bounded uniformly continuous symbols. This generalizes a result obtained by J. Xia (J. Funct. Anal. 269:781-814, 2015) in the case $p = 2$, which was proven by different methods. Further, we prove that every Toeplitz algebra which has a translation invariant $C^\ast$ subalgebra of the bounded uniformly continuous functions as its set of symbols is linearly generated by Toeplitz operators with the same space of symbols.


title: Generalized modulation theory for strongly nonlinear gravity waves in a compressible atmosphere

abstract: This study investigates nonlinear gravity waves in the compressible atmosphere from the Earth's surface to the deep atmosphere. These waves are effectively described by Grimshaw's dissipative modulation equations which provide the basis for finding stationary solutions such as mountain lee waves and testing their stability in an analytic fashion. Assuming energetically consistent boundary and far-field conditions, that is no energy flux through the surface, free-slip boundary, and finite total energy, general wave solutions are derived and illustrated in terms of realistic background fields. These assumptions also imply that the wave-Reynolds number must become less than unity above a certain height. The modulational stability of admissible, both non-hydrostatic and hydrostatic, waves is examined. It turns out that, when accounting for the self-induced mean flow, the wave-Froude number has a resonance condition. If it becomes $1/\sqrt{2}$, then the wave destabilizes due to perturbations from the essential spectrum of the linearized modulation equations. However, if the horizontal wavelength is large enough, waves overturn before they can reach the modulational stability condition.


title: Singular measures and information capacity of turbulent cascades

abstract: Is there really such a thing as weak turbulence? Here we analyze turbulence of weakly interacting waves using the tools of information theory. It offers a unique perspective for comparing thermal equilibrium and turbulence: the mutual information between modes is shown to be stationary and small in equilibrium but grows linearly with time in weak turbulence. We trace this growth to the concentration of probability on the resonance surfaces, which can go all the way to a singular measure. The surprising conclusion is that no matter how small is the nonlinearity and how close to Gaussian is the statistics of any single amplitude, a stationary phase-space measure is far from Gaussian, as manifested by a large relative entropy. Though it might be upsetting to practitioners of weak turbulence approach, this is a rare piece of good news for turbulence modeling: the resolved scales carry significant information about the unresolved scales. The mutual information between large and small scales is the information capacity of turbulent cascade, setting the limit on the representation of subgrid scales in turbulence modeling.

categories: physics.flu-dyn cond-mat.stat-mech math-ph math.MP nlin.CD


title: Reconstructing the Grassmannian of lines from Kapranov's tilting bundle

abstract: Let $E$ be the tilting bundle on the Grassmannian $\text{Gr}(n,r)$ of $r$-dimensional quotients of $\Bbbk^n$ constructed by Kapranov. Buchweitz, Leuschke and Van den Bergh introduced a quiver $Q$ and a surjective $\Bbbk$-algebra homomorphism $\Phi\colon\Bbbk Q\rightarrow A=\text{End}(E)$, together with a recipe on how the kernel may be computed. In this paper, for the case $r=2$ we give a new, direct proof that $\Phi$ is surjective and then complete the picture by calculating the ideal of relations explicitly. As an application, we then use this presentation to show that $\text{Gr}(n,2)$ is isomorphic to a fine moduli space of certain stable $A$-modules, just as $\mathbb{P}^n$ can be recovered from the endomorphism algebra of Beilinson's tilting bundle $\bigoplus_{0\leq i\leq n}\mathcal{O}_{\mathbb{P}^n}(i)$.


title: Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness

abstract: Our topic is the use of machine learning to improve software by making choices which do not compromise the correctness of the output, but do affect the time taken to produce such output. We are particularly concerned with computer algebra systems (CASs), and in particular, our experiments are for selecting the variable ordering to use when performing a cylindrical algebraic decomposition of $n$-dimensional real space with respect to the signs of a set of polynomials. In our prior work we explored the different ML models that could be used, and how to identify suitable features of the input polynomials. In the present paper we both repeat our prior experiments on problems which have more variables (and thus exponentially more possible orderings), and examine the metric which our ML classifiers targets. The natural metric is computational runtime, with classifiers trained to pick the ordering which minimises this. However, this leads to the situation were models do not distinguish between any of the non-optimal orderings, whose runtimes may still vary dramatically. In this paper we investigate a modification to the cross-validation algorithms of the classifiers so that they do distinguish these cases, leading to improved results.


title: The reduction of entropy uncertainty for qutrit system under non-Markov noisy environment

abstract: In this paper, we explore the entropy uncertainty for qutrit system under non-Markov noisy environment and discuss the effects of the quantum memory system and the spontaneously generated interference (SGI) on the entropy uncertainty in detail. The results show that, the entropy uncertainty can be reduced by using the methods of quantum memory system and adjusting of SGI. Particularly, the entropy uncertainty can be decreased obviously when both the quantum memory system and the SGI are simultaneously applied.


title: RETRO: Relation Retrofitting For In-Database Machine Learning on Textual Data

abstract: There are massive amounts of textual data residing in databases, valuable for many machine learning (ML) tasks. Since ML techniques depend on numerical input representations, word embeddings are increasingly utilized to convert symbolic representations such as text into meaningful numbers. However, a naive one-to-one mapping of each word in a database to a word embedding vector is not sufficient and would lead to poor accuracies in ML tasks. Thus, we argue to additionally incorporate the information given by the database schema into the embedding, e.g. which words appear in the same column or are related to each other. In this paper, we propose RETRO (RElational reTROfitting), a novel approach to learn numerical representations of text values in databases, capturing the best of both worlds, the rich information encoded by word embeddings and the relational information encoded by database tables. We formulate relation retrofitting as a learning problem and present an efficient algorithm solving it. We investigate the impact of various hyperparameters on the learning problem and derive good settings for all of them. Our evaluation shows that the proposed embeddings are ready-to-use for many ML tasks such as classification and regression and even outperform state-of-the-art techniques in integration tasks such as null value imputation and link prediction.


title: Continuous Dropout

abstract: Dropout has been proven to be an effective algorithm for training robust deep networks because of its ability to prevent overfitting by avoiding the co-adaptation of feature detectors. Current explanations of dropout include bagging, naive Bayes, regularization, and sex in evolution. According to the activation patterns of neurons in the human brain, when faced with different situations, the firing rates of neurons are random and continuous, not binary as current dropout does. Inspired by this phenomenon, we extend the traditional binary dropout to continuous dropout. On the one hand, continuous dropout is considerably closer to the activation characteristics of neurons in the human brain than traditional binary dropout. On the other hand, we demonstrate that continuous dropout has the property of avoiding the co-adaptation of feature detectors, which suggests that we can extract more independent feature detectors for model averaging in the test stage. We introduce the proposed continuous dropout to a feedforward neural network and comprehensively compare it with binary dropout, adaptive dropout, and DropConnect on MNIST, CIFAR-10, SVHN, NORB, and ILSVRC-12. Thorough experiments demonstrate that our method performs better in preventing the co-adaptation of feature detectors and improves test performance. The code is available at: https://github.com/jasonustc/caffe-multigpu/tree/dropout.


title: xMUDA: Cross-Modal Unsupervised Domain Adaptation for 3D Semantic Segmentation

abstract: Unsupervised Domain Adaptation (UDA) is crucial to tackle the lack of annotations in a new domain. There are many multi-modal datasets, but most UDA approaches are uni-modal. In this work, we explore how to learn from multi-modality and propose cross-modal UDA (xMUDA) where we assume the presence of 2D images and 3D point clouds for 3D semantic segmentation. This is challenging as the two input spaces are heterogeneous and can be impacted differently by domain shift. In xMUDA, modalities learn from each other through mutual mimicking, disentangled from the segmentation objective, to prevent the stronger modality from adopting false predictions from the weaker one. We evaluate on new UDA scenarios including day-to-night, country-to-country and dataset-to-dataset, leveraging recent autonomous driving datasets. xMUDA brings large improvements over uni-modal UDA on all tested scenarios, and is complementary to state-of-the-art UDA techniques. Code is available at https://github.com/valeoai/xmuda.


title: Binomial Edge Ideals of Unicyclic Graphs

abstract: Let $G$ be a connected simple graph on the vertex set $[n]$. Banerjee-Betancourt proved that $depth(S/J_G)\leq n+1$. In this article, we prove that if $G$ is a unicyclic graph, then the depth of $S/J_G$ is bounded below by $n$. Also, we characterize $G$ with $depth(S/J_G)=n$ and $depth(S/J_G)=n+1$. We then compute one of the distinguished extremal Betti numbers of $S/J_G$. If $G$ is obtained by attaching whiskers at some vertices of the cycle of length $k$, then we show that $k-1\leq reg(S/J_G)\leq k+1$. Furthermore, we characterize $G$ with $reg(S/J_G)=k-1$, $reg(S/J_G)=k$ and $reg(S/J_G)=k+1$. In each of these cases, we classify the uniqueness of extremal Betti number of these graphs.


title: Optimized Runge-Kutta (LDDRK) timestepping schemes for non-constant-amplitude oscillations

abstract: Finite differences and Runge-Kutta time stepping schemes used in Computational AeroAcoustics simulations are often optimized for low dispersion and dissipation (e.g. DRP or LDDRK schemes) when applied to linear problems in order to accurately simulate waves with the least computational cost. Here, the performance of optimized Runge-Kutta time stepping schemes for linear time-invariant problems with non-constant-amplitude oscillations is considered. This is in part motivated by the recent suggestion that optimized spatial derivatives perform poorly for growing and decaying waves, as their optimization implicitly assumes real wavenumbers. To our knowledge, this is the first time the time-stepping of non-constant-amplitude oscillations has been considered. It is found that current optimized Runge-Kutta schemes perform poorly in comparison with their maximal order equivalents for non-constant-amplitude oscillations. Moreover, significantly more accurate results can be achieved for the same computation cost by replacing a two-step scheme such as LDDRK56 with a single step higher-order scheme with a longer time step. Attempts are made at finding optimized schemes that perform well for non-constant-amplitude oscillations, and three such examples are provided. However, the traditional maximal order Runge-Kutta time stepping schemes are still found to be preferable for general problems with broadband excitation. These theoretical predictions are illustrated using a realistic 1D wave-propagation example.


abstract: These are lecture notes for the mini-course \textit{PDE and hypersurfaces with prescribed mean curvature} held in Federal University of S\~ao Carlos at the Workshop on Submanifold Theory and Geometric Analysis, August 05 -- 09, 2019. The aim of these notes is to introduce to the geometers useful tools from the \textit{Theory of partial differential equations} which are used in order to obtain hypersurfaces with prescribed mean curvature. For instance, graphs with prescribed mean curvature can be obtained by solving the Dirichlet problem for a particular quasilinear elliptic partial differential equation of second order.


title: Vertical quasi-isometries and branched quasisymmetries

abstract: We introduce a class of mappings called vertical quasi-isometries and show that branched quasisymmetries $X\to Y$ of Guo and Williams between compact, bounded turning metric doubling spaces admit natural vertically quasi-isometric extensions $\widehat X\to \widehat Y$ between hyperbolic fillings $\widehat X$ and $\widehat Y$ of $X$ and $Y$, respectively. We also give a converse for this result by showing that a finite multiplicity vertical quasi-isometry $\widehat X \to \widehat Y$ between hyperbolic fillings induces a branched quasisymmetry $X \to Y$.


title: The dynamics of entropy uncertainty for qutrit system under the random telegraph noise

abstract: We study the dynamics of quantum memory assist entropy uncertainty for qutrit system coupled to an environment modeled by random matrices. The results show that the effect of relative coupling strength on entropy uncertainty is opposite in Markov region and non-Markov region, and the influence of a common environment and independent environments in Markov region and non-Markov region is also opposite. One can reduce the entropy uncertainty by decreasing relative coupling strength or puting the system in two separate environments in the Markov case. In the non-Markov case, the entropy uncertainty can be reduced by increasing the relative coupling strength or by placing the system in a common environment.


title: Patch Reordering: a Novel Way to Achieve Rotation and Translation Invariance in Convolutional Neural Networks

abstract: Convolutional Neural Networks (CNNs) have demonstrated state-of-the-art performance on many visual recognition tasks. However, the combination of convolution and pooling operations only shows invariance to small local location changes in meaningful objects in input. Sometimes, such networks are trained using data augmentation to encode this invariance into the parameters, which restricts the capacity of the model to learn the content of these objects. A more efficient use of the parameter budget is to encode rotation or translation invariance into the model architecture, which relieves the model from the need to learn them. To enable the model to focus on learning the content of objects other than their locations, we propose to conduct patch ranking of the feature maps before feeding them into the next layer. When patch ranking is combined with convolution and pooling operations, we obtain consistent representations despite the location of meaningful objects in input. We show that the patch ranking module improves the performance of the CNN on many benchmark tasks, including MNIST digit recognition, large-scale image recognition, and image retrieval. The code is available at https://github.com//jasonustc/caffe-multigpu/tree/TICNN .


title: Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization

abstract: We propose a method to compute an approximation of the moments of a discrete-time stochastic polynomial system. We use the Carleman linearization technique to transform this finite-dimensional polynomial system into an infinite-dimensional linear one. After taking expectation and truncating the induced deterministic dynamics, we obtain a finite-dimensional linear deterministic system, which we then use to iteratively compute approximations of the moments of the original polynomial system at different time steps. We provide upper bounds on the approximation error for each moment and show that, for large enough truncation limits, the proposed method precisely computes moments for sufficiently small degrees and numbers of time steps. We use our proposed method for safety analysis to compute bounds on the probability of the system state being outside a given safety region. Finally, we illustrate our results on two concrete examples, a stochastic logistic map and a vehicle dynamics under stochastic disturbance.


title: Revisiting the coupling between accessibility and population growth

abstract: The coupling between population growth and transport accessibility has been an elusive problem for more than 60 years now. Due to the lack of theoretical foundations, most of the studies that considered how the evolution of transportation networks impacts the population growth are based on regression analysis in order to identify relevant variables. The recent availability of large amounts of data allows us to envision the construction of new approaches for understanding this coupling between transport and population growth. Here, we use a detailed dataset for about 36000 municipalities in France from 1968 until now. In the case of large urban areas such as Paris, we show that growth rate statistical variations decay in time and display a trend towards homogeneization where local aspects are less relevant. We also show that growth rate differences due to accessibility are very small and can mostly be observed for cities that experienced very large accessibility variations. This suggests that the relevant variable for explaining growth rate variations is not the accessibility but its temporal variation. We propose a model that integrates the stochastic internal variation of the municipalitie's population and an inter-urban migration term that we show to be proportional to the accessibility variation and has a limited time duration. This model provides a simple theoretical framework that allows to go beyond econometric studies and sheds a new light on the impact of transportation modes on city growth.


title: Primordial black hole merger rates: distributions for multiple LIGO observables

abstract: We have calculated the detectable merger rate of primordial black holes, as a function of the redshift, as well as the binary's mass ratio, total mass and chirp mass (observables that have not previously been explored in great detail for PBHs). We consider both the current and design sensitivity of LIGO and five different primordial black hole mass functions, as well as showing a comparison to a predicted astrophysical black hole merger rate. We show that the empirical preference for nearly equal-mass binaries in current LIGO/Virgo data can be consistent with a PBH hypothesis once observational selection effects are taken into account. However, current data do exclude some PBH mass distributions, and future data may be able to rule out the possibility that all observed BH mergers had a primordial origin.


title: J/$\psi$p Scattering Length from GlueX Threshold Measurements

abstract: The quality of the recent GlueX $J/\psi $ photoproduction data from Hall~D at Jefferson Laboratory, and the proximity of the data to the energy threshold, gives access to a variety of interesting physics aspects. As an example, an estimation of the $J/\psi$-nucleon scattering length $\alpha_{J/\psi p}$ is provided within the vector meson dominance model. It results in $|\alpha_{J/\psi p}| = (3.08\pm 0.55 ({\rm stat.}) \pm 0.45 ({\rm syst.}))$~mfm.


title: Modeling the Thermal Bulge of A Hot Jupiter with the Two-Stream Approximation

abstract: We revisit the problem of thermal bulge of asynchronous hot Jupiters, using HD 209458 b as a fiducial study. We improve upon previous works by using a double-gray atmosphere model and interior structure from MESA as the background state, and then solve for the thermal bulge in response to the semidiurnal component of stellar insolation. The atmosphere model is based on the radiative transfer with Eddington's two-stream approximation. Two opacity cases are considered: the first introduces a greenhouse effect and the second exhibits a strong temperature inversion. We find that for the predominant thermal bulges excited by g-modes of lower orders, our results are qualitatively similar to the adiabatic results from Arras and Socrates (2010). It arises because the perturbed heating due to self-absorption of thermal emissions can be significant (i.e., greenhouse effect) against Newtonian damping, thereby leading to almost undamped thermal bulges. We also find that the contribution to the thermal bulge from the evanescent waves in the convective zone is not negligible, implying that the thermal bulge is not merely confined in the atmosphere and radiative envelope. Assuming the torque balance between the thermal and gravitational bulges, we estimate the tidal quality factor of the planet for gravitational tides to match the observed radius. The limitations of our model are also briefly discussed.


title: A novel classification-selection approach for the self updating of template-based face recognition systems

abstract: The boosting on the need of security notably increased the amount of possible facial recognition applications, especially due to the success of the Internet of Things (IoT) paradigm. However, although handcrafted and deep learning-inspired facial features reached a significant level of compactness and expressive power, the facial recognition performance still suffers from intra-class variations such as ageing, facial expressions, lighting changes, and pose. These variations cannot be captured in a single acquisition and require multiple acquisitions of long duration, which are expensive and need a high level of collaboration from the users. Among others, self-update algorithms have been proposed in order to mitigate these problems. Self-updating aims to add novel templates to the users' gallery among the inputs submitted during system operations. Consequently, computational complexity and storage space tend to be among the critical requirements of these algorithms. The present paper deals with the above problems by a novel template-based self-update algorithm, able to keep over time the expressive power of a limited set of templates stored in the system database. The rationale behind the proposed approach is in the working hypothesis that a dominating mode characterises the features' distribution given the client. Therefore, the key point is to select the best templates around that mode. We propose two methods, which are tested on systems based on handcrafted features and deep-learning-inspired autoencoders at the state-of-the-art. Three benchmark data sets are used. Experimental results confirm that, by effective and compact feature sets which can support our working hypothesis, the proposed classification-selection approaches overcome the problem of manual updating and, in case, stringent computational requirements.


title: Neural networks with redundant representation: detecting the undetectable

abstract: We consider a three-layer Sejnowski machine and show that features learnt via contrastive divergence have a dual representation as patterns in a dense associative memory of order P=4. The latter is known to be able to Hebbian-store an amount of patterns scaling as N^{P-1}, where N denotes the number of constituting binary neurons interacting P-wisely. We also prove that, by keeping the dense associative network far from the saturation regime (namely, allowing for a number of patterns scaling only linearly with N, while P>2) such a system is able to perform pattern recognition far below the standard signal-to-noise threshold. In particular, a network with P=4 is able to retrieve information whose intensity is O(1) even in the presence of a noise O(\sqrt{N}) in the large N limit. This striking skill stems from a redundancy representation of patterns -- which is afforded given the (relatively) low-load information storage -- and it contributes to explain the impressive abilities in pattern recognition exhibited by new-generation neural networks. The whole theory is developed rigorously, at the replica symmetric level of approximation, and corroborated by signal-to-noise analysis and Monte Carlo simulations.


title: Strong coupling superconductivity in trilayer film LiB$_2$C$_2$

abstract: Coupling between $\sigma$-bonding electrons and phonons is generally very strong. To metallize $\sigma$-electrons provides a promising route to hunt for new high-T$_c$ superconductors. Based on this picture and first-principles density functional calculation with Wannier interpolation for electronic structure and lattice dynamics, we predict that trilayer film LiB$_2$C$_2$ is a good candidate to realize this kind of high-T$_c$ superconductivity. By solving the anisotropic Eliashberg equations, we find that free-standing trilayer LiB$_2$C$_2$ is a phonon-mediated superconductor with T$_c$ exceeding the liquid-nitrogen temperature at ambient pressure. The transition temperature can be further raised to 125 K by applying a biaxial tensile strain.


title: How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing

abstract: Quantum computing promises substantial speedups by exploiting quantum mechanical phenomena such as superposition and entanglement. Corresponding design methods require efficient means of representation and manipulation of quantum functionality. In the classical domain, decision diagrams have been successfully employed as a powerful alternative to straightforward means such as truth tables. This motivated extensive research on whether decision diagrams provide similar potential in the quantum domain -- resulting in new types of decision diagrams capable of substantially reducing the complexity of representing quantum states and functionality. From an implementation perspective, many concepts and techniques from the classical domain can be re-used in order to implement decision diagrams packages for the quantum realm. However, new problems -- namely how to efficiently handle complex numbers -- arise. In this work, we propose a solution to overcome these problems. Experimental evaluations confirm that this yields improvements of orders of magnitude in the runtime needed to create and to utilize these decision diagrams. The resulting implementation is publicly available as a quantum DD package at http://iic.jku.at/eda/research/quantum_dd.


title: New Temperature Dependent Configurational Probability Diffusion Equation For Diluted FENE Polymer Fluids: Existence of Solution Results

abstract: The theory for the non-isothermal rheology of polymer fluids proposed in [14] used several approximations including the so-called linear gradient approximations for the temperature field and Brownian forces. While it had the significant advantage of dealing with linear equations, the approximations involved may have led to several non-physical predictions. This work is a continuation of [14] in that it obtains the corresponding non-linear configurational probability density equation in dimensionless form without the linear gradient approximations for the temperature field and Brownian forces. It does so for incompressible diluted polymer solutions with polymer molecules being modeled as FENE (F initely E xtensible N onlinear E lastic) chains. Next we prove the existence of temperature dependent, positive variational solutions for the probability density equation of the FENE model.


title: Graded quiver varieties and singularities of normalized R-matrices for fundamental modules

abstract: We present a simple unified formula expressing the denominators of the normalized R-matrices between the fundamental modules over the quantum loop algebras of type ADE. It has an interpretation in terms of representations of the Dynkin quivers and can be proved in a unified way using the geometry of graded quiver varieties. As a by-product, we obtain a geometric interpretation of Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl duality functor when it arises from a family of fundamental modules. We also study several cases when the graded quiver varieties are isomorphic to the graded nilpotent orbits of type A.


title: Biophysical characterization of membrane phase transition profiles for the discrimination of Outer Membrane Vesicles (OMVs) from Escherichia coli grown at different temperatures

abstract: Dynamic Light Scattering (DLS), Small Angle X-ray Scattering (SAXS) and Transmission Electron Microscopy (TEM) are physical techniques widely employed to characterize the morphology and the structure of vesicles such as liposomes or human extracellular vesicles (exosomes). Bacterial extracellular vesicles are similar in size to human exosomes, although their function and membrane properties have not been elucidated in such detail as in the case of exosomes. Here, we applied the above cited techniques, in synergy with the thermodynamic characterization of the vesicles lipid membrane using a turbidimetric technique to the study of vesicles produced by Gram-negative bacteria (Outer Membrane Vesicles, OMVs) grown at different temperatures. This study demonstrated that our combined approach is useful to discriminate vesicles of different origin or coming from bacteria cultured under different experimental conditions. We envisage that in a near future the techniques employed in our work will be further implemented to discriminate complex mixtures of bacterial vesicles, thus showing great promises for biomedical or diagnostic applications.


title: Anharmonicity and scissoring modes in the negative thermal expansion materials ScF$_3$ and CaZrF$_6$

abstract: We use a symmetry-motivated approach to analysing X-ray pair distribution functions to study the mechanism of negative thermal expansion in two ReO$_3$-like compounds; ScF$_3$ and CaZrF$_6$. Both average and local structure suggest that it is the flexibility of M-F-M linkages (M = Ca, Zr, Sc) due to dynamic rigid and semi-rigid "scissoring" modes that facilitates the observed NTE behaviour. The amplitudes of these dynamic distortions are greater for CaZrF$_6$ than for ScF$_3$, which corresponds well with the larger magnitude of the thermal expansion reported in the literature for the former. We show that this flexbility is enhanced in CaZrF$_6$ due to the rock-salt ordering mixing the characters of two of these scissoring modes. Additionally, we show that in ScF$_3$ anharmonic coupling between the modes responsible for the structural flexibility and the rigid unit modes contributes to the unusually high NTE behaviour in this material.


title: Phase transition for the volume of high-dimensional random polytopes

abstract: The beta polytope $P_{n,d}^\beta$ is the convex hull of $n$ i.i.d. random points distributed in the unit ball of $\mathbb{R}^d$ according to a density proportional to $(1-\lVert{x}\rVert^2)^{\beta}$ if $\beta>-1$ (in particular, $\beta=0$ corresponds to the uniform distribution in the ball), or uniformly on the unit sphere if $\beta=-1$. We show that the expected normalized volumes of high-dimensional beta polytopes exhibit a phase transition and we describe its shape. We derive analogous results for the intrinsic volumes of beta polytopes and, when $\beta=0$, their number of vertices.


title: Joint User Association and Resource Allocation in the Uplink of Heterogeneous Networks

abstract: This letter considers the problem of joint user association (UA), sub-channel assignment, antenna selection (AS), and power control in the uplink (UL) of a heterogeneous network such that the data rate of small cell users can be maximized while the macro-cell users are protected by imposing a threshold on the cross-tier interference. The considered problem is a non-convex mixed integer non-linear programming (MINLP). To tackle the problem, we decompose the original problem into two sub-problems: (i) joint UA, sub-channel assignment, and AS, and (ii) power control. Then, we iteratively solve the subproblems by applying the tools from majorization-minimization (MM) theory and augmented Lagrange method, respectively, and obtain locally optimal solutions for each sub-problem. Simulation results illustrate that our proposed scheme outperforms existing schemes. Complexity analysis of the proposed algorithm is also presented.


title: Conley-Morse-Forman theory for generalized combinatorial multivector fields on finite topological spaces

abstract: We generalize and extend the Conley-Morse-Forman theory for combinatorial multivector fields introduced in \cite{Mr2017}. The generalization consists in dropping the restrictive assumption in \cite{Mr2017} that every multivector has a unique maximal element. The extension is from the setting of Lefschetz complexes to the more general situation of finite topological spaces. We define isolated invariant sets, isolating neighbourhoods, Conley index and Morse decompositions. We also establish the additivity property of the Conley index and the Morse inequalities.


title: Depletion attraction favors the elastic response of emulsions flowing in a constriction

abstract: We study the elasto-plastic behavior of dense attractive emulsions under mechanical perturbation. The attraction is introduced through non-specific depletion interactions between the droplets and is controlled by changing the concentration of surfactant micelles in the continuous phase. We find that such attractive forces are not sufficient to induce any measurable modification on the scalings between the local packing fraction and the deformation of the droplets. However, when the emulsions are flown through 2D microfluidic constrictions, we uncover a measurable effect of attraction on their elasto-plastic response. Indeed, we measure higher levels of deformation inside the constriction for attractive droplets. In addition, we show that these measurements correlate with droplet rearrangements that are spatially delayed in the constriction for higher attraction forces.


title: Spacetime and deformations of special relativistic kinematics

abstract: A deformation of special relativistic kinematics (possible signal of a theory of quantum gravity at low energies) leads to a modification of the notion of spacetime. At the classical level, this modification is required when one considers a model including single- or multi-interaction processes, for which absolute locality in terms of canonical space-time coordinates is lost. We discuss the different alternatives for observable effects in the propagation of a particle over very large distances that emerge from the new notion of spacetime. A central ingredient in the discussion is the cluster decomposition principle, which can be used to favor some alternatives over the others.


title: Moduli theory, stability of fibrations and optimal symplectic connections

abstract: K-polystability is, on the one hand, conjecturally equivalent to the existence of certain canonical K\"ahler metrics on polarised varieties, and, on the other hand, conjecturally gives the correct notion to form moduli. We introduce a notion of stability for families of K-polystable varieties, extending the classical notion of slope stability of a bundle, viewed as a family of K-polystable varieties via the associated projectivisation. We conjecture that this is the correct condition for forming moduli of fibrations. Our main result relates this stability condition to K\"ahler geometry: we prove that the existence of an optimal symplectic connection implies semistability of the fibration. An optimal symplectic connection is a choice of fibrewise constant scalar curvature K\"ahler metric, satisfying a certain geometric partial differential equation. We conjecture that the existence of such a connection is equivalent to polystability of the fibration. We prove a finite dimensional analogue of this conjecture, by describing a GIT problem for fibrations embedded in a fixed projective space, and showing that GIT polystability is equivalent to the existence of a zero of a certain moment map.


title: Sunspot Observations by Hisako Koyama: 1945-1996

abstract: The sunspot record is the only observational tracer of solar activity that provides a fundamental, multi-century reference. Its homogeneity has been largely maintained with a succession of long-duration visual observers. In this paper, we examine observations of one of the primary reference sunspot observers, Hisako Koyama. By consulting original archives of the National Museum of Nature and Science of Japan (hereafter, NMNS), we retrace the main steps of her solar-observing career, from 1945 to 1996. We also present the reconstruction of a full digital database of her sunspot observations at the NMNS, with her original drawings and logbooks. Here, we extend the availability of her observational data from 1947-1984 to 1945-1996. Comparisons with the international sunspot number (version 2) and with the group sunspot number series show a good global stability of Koyama's observations, with only temporary fluctuations over the main interval 1947-1982. Identifying drawings made by alternate observers throughout the series, we find that a single downward baseline shift in the record coincides with the partial contribution of replacement observers mostly after 1983. We determine the correction factor to bring the second part (1983-1996) to the same scale with Koyama's main interval (1947-1982). We find a downward jump by 9% after 1983, which then remains stable until 1996. Overall, the high quality of Koyama's observations with her life-long dedication leaves a lasting legacy of this exceptional personal achievement. With this comprehensive recovery, we now make the totality of this legacy directly accessible and exploitable for future research.


title: Spin structure of hadrons and minimum energy of bound systems

abstract: The spin of a composite particle, like a nucleus or a hadron, is generated by the composition of angular moments (consisting of spins and orbital angular moments) of the constituents. The composition of two angular moments is done by the standard way with the use of Clebsch-Gordan coefficients. However, if there are more than two constituents, the composition must be done in a hierarchical way, which admits more ways leading to the same resulting spin state |J, J_{z}>. Different composition patterns can generate states with the same spin quantum numbers, but which may vary in the contributions of different kinds of the constituents. We will discuss which composition patterns could be preferred in the hadrons from the viewpoint of minimal energy of the bound system. In this context, particular attention is paid to the role of gluons or quark orbital angular momentum in the proton spin.


title: Comparative Study of Differentially Private Synthetic Data Algorithms from the NIST PSCR Differential Privacy Synthetic Data Challenge

abstract: Differentially private synthetic data generation offers a recent solution to release analytically useful data while preserving the privacy of individuals in the data. In order to utilize these algorithms for public policy decisions, policymakers need an accurate understanding of these algorithms' comparative performance. Correspondingly, data practitioners require standard metrics for evaluating the analytic qualities of the synthetic data. In this paper, we present an in-depth evaluation of several differentially private synthetic data algorithms using actual differentially private synthetic data sets created by contestants in the 2018-2019 National Institute of Standards and Technology Public Safety Communications Research (NIST PSCR) Division's ``Differential Privacy Synthetic Data Challenge.'' We offer analyses of these algorithms based on both the accuracy of the data they created and their usability by potential data providers. We frame the methods used in the NIST PSCR data challenge within the broader differentially private synthetic data literature. We implement additional utility metrics, including two of our own, on the differentially private synthetic data and compare mechanism utility on three categories. Our comparative assessment of the differentially private data synthesis methods and the quality metrics shows the relative usefulness, the general strengths and weaknesses, and offers preferred choices of algorithms and metrics. Finally we describe the implications of our evaluation for policymakers seeking to implement differentially private synthetic data algorithms on future data products.


title: Deconfined, Massive Quark Phase at High Density and Compact Stars: A Holographic Study

abstract: In Hoyos et al. (arXiv:1603.02943) a holographic D3/D7 system was used to describe a deconfined yet massive quark phase of QCD at finite density, concluding that the equation of state of such a phase was not stiff enough to support exotic dense stars. That analysis used a hard quark mass to represent the dynamical mass and assumed a conformal gauge background. Here we phenomenologically adjust the D3/D7 system to include a running anomalous dimension for the quark condensate. This introduces a dynamical mechanism for chiral symmetry breaking yet the model still has a deconfined massive phase at intermediate densities. We show that these systems, dependent on the running profile in the deep IR, generate much stiffer equations of state and non-monotonic behaviour in the speed of sound. The results suggest that these equations of state may be closer to supporting hybrid stars with quark cores.


title: Cameras Viewing Cameras Geometry

abstract: A basic problem in computer vision is to understand the structure of a real-world scene given several images of it. Here we study several theoretical aspects of the intra multi-view geometry of calibrated cameras when all that they can reliably recognize is each other. With the proliferation of wearable cameras, autonomous vehicles and drones, the geometry of these multiple cameras is a timely and relevant problem to study.


title: Generalized Guerra's interpolation schemes for dense associative neural networks

abstract: In this work we develop analytical techniques to investigate a broad class of associative neural networks set in the high-storage regime. These techniques translate the original statistical-mechanical problem into an analytical-mechanical one which implies solving a set of partial differential equations, rather than tackling the canonical probabilistic route. We test the method on the classical Hopfield model - where the cost function includes only two-body interactions (i.e., quadratic terms) - and on the "relativistic" Hopfield model - where the (expansion of the) cost function includes p-body (i.e., of degree p) contributions. Under the replica symmetric assumption, we paint the phase diagrams of these models by obtaining the explicit expression of their free energy as a function of the model parameters (i.e., noise level and memory storage). Further, since for non-pairwise models ergodicity breaking is non necessarily a critical phenomenon, we develop a fluctuation analysis and find that criticality is preserved in the relativistic model.


title: Generalised K\"ahler Structure on $\mathbb{C}P^2$ and Elliptic Functions

abstract: We construct a toric generalised K\"ahler structure on $\mathbb{C}P^2$ and show that the various structures such as the complex structure, metric etc are expressed in terms of certain elliptic functions. We also compute the generalised K\"ahler potential in terms of integrals of elliptic functions.


title: Continuous Adaptation for Interactive Object Segmentation by Learning from Corrections

abstract: In interactive object segmentation a user collaborates with a computer vision model to segment an object. Recent works employ convolutional neural networks for this task: Given an image and a set of corrections made by the user as input, they output a segmentation mask. These approaches achieve strong performance by training on large datasets but they keep the model parameters unchanged at test time. Instead, we recognize that user corrections can serve as sparse training examples and we propose a method that capitalizes on that idea to update the model parameters on-the-fly to the data at hand. Our approach enables the adaptation to a particular object and its background, to distributions shifts in a test set, to specific object classes, and even to large domain changes, where the imaging modality changes between training and testing. We perform extensive experiments on 8 diverse datasets and show: Compared to a model with frozen parameters, our method reduces the required corrections (i) by 9%-30% when distribution shifts are small between training and testing; (ii) by 12%-44% when specializing to a specific class; (iii) and by 60% and 77% when we completely change domain between training and testing.


title: Lorentz violation footprints in the spectrum of high-energy cosmic neutrinos: Deformation of the spectrum of superluminal neutrinos from electron-positron pair production in vacuum

abstract: The observation of cosmic neutrinos up to 2 PeV is used to put bounds on the energy scale of Lorentz invariance violation through the loss of energy due to the production of $e^+e^-$ pairs in the propagation of superluminal neutrinos. A model to study this effect, which allows to understand qualitatively the results of numerical simulations, is presented.


title: Lockless Transaction Isolation in Hyperledger Fabric

abstract: Hyperledger Fabric is a distributed operating system for permissioned blockchains hosted by the Linux Foundation. It is the first truly extensible blockchain system for running distributed applications at enterprise grade scale. To achieve this, Hyperledger Fabric introduces a novel execute-order-validate blockchain architecture, allowing parallelization of transaction execution and validation. However, this raises the need for transaction isolation. Today transaction isolation is attained by locking the entire state database during simulation of transactions and database updates. This lock is one of the major performance bottlenecks as observed by previous work. This work presents a new lock-free approach for providing transaction isolation. It harnesses the already existing versioning of key-value pairs in the database, used primarily for a read-write conflict detection during the validation phase, to create a version-based snapshot isolation. We further implement and evaluate our new approach. We show that our solution outperforms the current implementation by 8.1x and that it is comparable to the optimal solution where no isolation mechanism is applied.


title: Anisotropic field-induced ordering in the triangular-lattice quantum spin liquid NaYbSe$_2$

abstract: High-quality single crystals of NaYbSe$_2$, which resembles a perfect triangular-lattice antiferromagnet without the intrinsic disorder, are investigated by magnetization and specific heat, as well as the local probe techniques nuclear magnetic resonance (NMR) and electron spin resonance (ESR). The low-field measurements confirm the absence of any spin freezing or long-range magnetic order down to 50~mK, which suggests a quantum spin liquid ground (QSL) state with gapless excitations. The instability of the QSL state is observed upon applying magnetic fields. For the $H\bot c$ direction, a field-induced magnetic phase transition is observed above 2~T from the $C_{\rm p}(T)$ data, agreeing with a clear $\frac{M_s}{3}$ plateau of $M(H)$, which is associated with an up-up-down (uud) spin arrangement. For the $H\|c$ direction, a field-induced transition could be evidenced at a much higher field range (9 - 21~T). The $^{23}$Na NMR measurements provide microscopic evidence for field-induced ordering for both directions. A reentrant behavior of $T_{\rm N}$, originating from the thermal and quantum spin fluctuations, is observed for both directions. The anisotropic exchange interactions $J_{\perp}\simeq$ 4.7~K and $J_z\simeq$2.33~K are extracted from the modified bond-dependent XXZ model for the spin-$\frac{1}{2}$ triangular-lattice antiferromagnet. The absence of magnetic long-range order at zero fields is assigned to the effect of strong bond-frustration, arising from the complex spin-orbit entangled $4f$ ground state. Finally, we derive the highly anisotropic magnetic phase diagram, which is discussed in comparison with the existing theoretical models for spin-$\frac{1}{2}$ triangular-lattice antiferromagnets.


title: Sengi: a small, fast, interactive viewer for spectral outputs from stellar population synthesis models

abstract: We present Sengi, https://christopherlovell.github.io/sengi , an online tool for viewing the spectral outputs of stellar population synthesis (SPS) codes. Typical SPS codes require significant disk space or computing resources to produce spectra for simple stellar populations with arbitrary parameters. This makes it difficult to present their results in an interactive, web-friendly format. Sengi uses Non-negative Matrix Factorisation (NMF) and bilinear interpolation to estimate output spectra for arbitrary values of stellar age and metallicity. The reduced disk requirements and computational expense allows the result to be served as a client-based Javascript application. In this paper we present the method for generating grids of spectra, fitting those grids with NMF, bilinear interpolation across the fitted coefficients, and finally provide estimates of the prediction and interpolation errors.


title: Differential measurement of $\mathrm{t}\bar{\mathrm{t}}\mathrm{Z}$ production at $\sqrt{s}=13\,\mathrm{TeV}$ with the CMS experiment

abstract: Measurements of top quark pair production in association with a Z boson ($\mathrm{t}\bar{\mathrm{t}}\mathrm{Z}$) provide direct tests of the coupling of top quarks and Z bosons, as well as the description of the production mechanism in QCD. The measurements can be used to constrain possible contributions from anomalous top quark-Z boson couplings. A first differential $\mathrm{t}\bar{\mathrm{t}}\mathrm{Z}$ production measurement has been performed by the CMS experiment using events with three leptons collected in 2016 & 2017. The differential cross sections are reported as functions of the Z boson transverse momentum, and of the angle between the Z boson and one of its decay leptons, boosted to the Z boson's rest frame. The results are compared to state-of-the-art theory predictions.


title: Analysis of the $\psi(4040)$ and $\psi(4160)$ decay into $D^{(\ast)} \bar D^{(\ast)}$, $D_s^{(\ast)}\bar D_s^{(\ast)}$

abstract: We have performed an analysis of the $e^+ e^- \to D^{(*)} \bar D^{(*)}$ data in the region of the $\psi(4040)$ and $\psi(4160)$ resonances which have a substantial overlap and require special care. By using the $^3 P_0$ model to relate the different $D^{(*)} \bar D^{(*)}$ production modes, we make predictions for production of these channels and compare with experiment and other theoretical approaches. As a side effect we find that these resonances qualify largely as $c \bar c$ states and the weight of the meson-meson components in the wave function is very small.


title: HS-CAI: A Hybrid DCOP Algorithm via Combining Search with Context-based Inference

abstract: Search and inference are two main strategies for optimally solving Distributed Constraint Optimization Problems (DCOPs). Recently, several algorithms were proposed to combine their advantages. Unfortunately, such algorithms only use an approximated inference as a one-shot preprocessing phase to construct the initial lower bounds which lead to inefficient pruning under the limited memory budget. On the other hand, iterative inference algorithms (e.g., MB-DPOP) perform a context-based complete inference for all possible contexts but suffer from tremendous traffic overheads. In this paper, $(i)$ hybridizing search with context-based inference, we propose a complete algorithm for DCOPs, named {HS-CAI} where the inference utilizes the contexts derived from the search process to establish tight lower bounds while the search uses such bounds for efficient pruning and thereby reduces contexts for the inference. Furthermore, $(ii)$ we introduce a context evaluation mechanism to select the context patterns for the inference to further reduce the overheads incurred by iterative inferences. Finally, $(iii)$ we prove the correctness of our algorithm and the experimental results demonstrate its superiority over the state-of-the-art.


title: The tensor embedding for a grothendieck cosmos

abstract: While the Yoneda embedding and its generalizations have been studied extensively in the literature, the so-called tensor embedding has only received little attention. In this paper, we study the tensor embedding for closed symmetric monoidal categories and show how it is connected to the notion of geometrically purity, which has recently been investigated in works of Enochs, Estrada, Gillespie, and Odaba\c{s}{\i}. More precisely, for a Gro\-thendieck cosmos---that is, a bicomplete Grothendick category $\mathcal{V}$ with a closed symmetric monoidal structure---we prove that the geometrically pure exact category $(\mathcal{V},\mathscr{E}_\otimes)$ has enough relative injectives; in fact, every object has a geometrically pure injective envelope. We also show that for some regular cardinal $\lambda$, the tensor embedding yields an exact equivalence between $(\mathcal{V},\mathscr{E}_\otimes)$ and the category of $\lambda$-cocontinuous $\mathcal{V}$-functors from $\mbox{Pres}(\mathcal{V})$ to $\mathcal{V}$, where the former is the full $\mathcal{V}$-subcategory of $\lambda$-presentable objects in $\mathcal{V}$. In many cases of interest, $\lambda$ can be chosen to be $\aleph_0$ and the tensor embedding identifies the geometrically pure injective objects in $\mathcal{V}$ with the (categorically) injective objects in the abelian category of $\mathcal{V}$-functors from $\mathrm{fp}(\mathcal{V})$ to $\mathcal{V}$. As we explain, the developed theory applies e.g.~to the category $\mathsf{Ch}(R)$ of chain complexes of modules over a commutative ring $R$ and to the category $\mathsf{Qcoh}(X)$ of quasi-coherent sheaves over a (suitably nice) scheme $X$.


title: Bose-Einstein condensate of alpha particles in the ground state of nuclear matter?

abstract: The phase diagram of isospin-symmetric chemically equilibrated mixture of alpha particles and nucleons is studied in the mean-field approximation. Skyrme-like parametrization is used for the mean-field potentials as functions of partial densities of nucleons and alphas. We find that there is a threshold value a* of the parameter a(N-alpha) which describes the attractive interaction between alpha-particles and nucleons. At a(N-alpha)<a* the ground state of nuclear matter at zero temperature behaves as a pure system of interacting nucleons, whereas at a(N-alpha)>a* the nuclear ground state includes also a nonzero fraction of alphas. We demonstrate that the equation of state of such alpha-N system includes both the first-order liquid-gas phase transitions and the Bose-Einstein condensation of alpha particles.


title: Testing for high frequency features in a noisy signal

abstract: Given nonstationary data, one generally wants to extract the trend from the noise by smoothing or filtering. However, it is often important to delineate a third intermediate category, that we call high frequency (HF) features: this is the case in our motivating example, which consists in experimental measurements of the time-dynamics of depolymerising protein fibrils average size. One may intuitively visualise HF features as the presence of fast, possibly nonstationary and transient oscillations, distinct from a slowly-varying trend envelope. The aim of this article is to propose an empirical definition of HF features and construct estimators and statistical tests for their presence accordingly, when the data consists of a noisy nonstationary 1-dimensional signal. We propose a parametric characterization in the Fourier domain of the HF features by defining a maximal amplitude and distance to low frequencies of significant energy. We introduce a data-driven procedure to estimate these parameters, and compute a p-value proxy based on a statistical test for the presence of HF features. The test is first conducted on simulated signals where the ratio amplitude of the HF features to the level of the noise is controlled. The test detects HF features even when the level of noise is five times larger than the amplitude of the oscillations. In a second part, the test is conducted on experimental data from Prion disease experiments and it confirms the presence of HF features in these signals with significant confidence.


title: A note on the Tikhonov theorem on an infinite interval

abstract: In this note we provide a new proof of the Tikhonov theorem for the infinite time interval and discuss some of its applications.


title: Training Multi-Object Detector by Estimating Bounding Box Distribution for Input Image

abstract: In multi-object detection using neural networks, the fundamental problem is, "How should the network learn a variable number of bounding boxes in different input images?". Previous methods train a multi-object detection network through a procedure that directly assigns the ground truth bounding boxes to the specific locations of the network's output. However, this procedure makes the training of a multi-object detection network too heuristic and complicated. In this paper, we reformulate the multi-object detection task as a problem of density estimation of bounding boxes. Instead of assigning each ground truth to specific locations of network's output, we train a network by estimating the probability density of bounding boxes in an input image using a mixture model. For this purpose, we propose a novel network for object detection called Mixture Density Object Detector (MDOD), and the corresponding objective function for the density-estimation-based training. We applied MDOD to MS COCO dataset. Our proposed method not only deals with multi-object detection problems in a new approach, but also improves detection performances through MDOD. The code is available: https://github.com/yoojy31/MDOD.


title: A Fine-Grained Sentiment Dataset for Norwegian

abstract: We introduce NoReC_fine, a dataset for fine-grained sentiment analysis in Norwegian, annotated with respect to polar expressions, targets and holders of opinion. The underlying texts are taken from a corpus of professionally authored reviews from multiple news-sources and across a wide variety of domains, including literature, games, music, products, movies and more. We here present a detailed description of this annotation effort. We provide an overview of the developed annotation guidelines, illustrated with examples, and present an analysis of inter-annotator agreement. We also report the first experimental results on the dataset, intended as a preliminary benchmark for further experiments.


title: First direct measurement of the intrinsic dipole moment in pear-shaped thorium isotopes

abstract: It is now well established that atomic nuclei composed of certain combinations of protons and neutrons can adopt reflection-asymmetric, or octupole-deformed, shapes at low excitation energy. These nuclei show promise in the search for a permanent atomic electric dipole moment, the existence of which has implications for physics beyond the Standard Model. Theoretical studies have suggested that certain isotopes of thorium may have the largest octupole deformation. However, due to experimental challenges, the extent of the octupole collectivity in the low-energy states in these thorium nuclei has not yet been demonstrated. This paper reports measurements of the lifetimes of low-energy states in 228Th (Z = 90) undertaken using the mirror symmetric centroid difference method, which is a direct electronic fast-timing technique. Lifetime measurements of the low-lying Jp = 1- and 3- states, which are the first for a thorium isotope, have allowed the B(E1) rates and the intrinsic dipole moment to be determined. The results are in agreement with those of previous theoretical calculations allowing the extent of the octupole deformation of 228Th to be estimated. This study indicates that the nuclei 229Th and 229Pa (Z = 91) may be good candidates for the search for a permanent atomic electric dipole moment.