title: GeoWINE: Geolocation based Wiki, Image,News and Event Retrieval

abstract: In the context of social media, geolocation inference on news or events has become a very important task. In this paper, we present the GeoWINE (Geolocation-based Wiki-Image-News-Event retrieval) demonstrator, an effective modular system for multimodal retrieval which expects only a single image as input. The GeoWINE system consists of five modules in order to retrieve related information from various sources. The first module is a state-of-the-art model for geolocation estimation of images. The second module performs a geospatial-based query for entity retrieval using the Wikidata knowledge graph. The third module exploits four different image embedding representations, which are used to retrieve most similar entities compared to the input image. The embeddings are derived from the tasks of geolocation estimation, place recognition, ImageNet-based image classification, and their combination. The last two modules perform news and event retrieval from EventRegistry and the Open Event Knowledge Graph (OEKG). GeoWINE provides an intuitive interface for end-users and is insightful for experts for reconfiguration to individual setups. The GeoWINE achieves promising results in entity label prediction for images on Google Landmarks dataset. The demonstrator is publicly available at http://cleopatra.ijs.si/geowine/.


title: Interpretable Semantic Photo Geolocation

abstract: Planet-scale photo geolocalization is the complex task of estimating the location depicted in an image solely based on its visual content. Due to the success of convolutional neural networks (CNNs), current approaches achieve super-human performance. However, previous work has exclusively focused on optimizing geolocalization accuracy. Due to the black-box property of deep learning systems, their predictions are difficult to validate for humans. State-of-the-art methods treat the task as a classification problem, where the choice of the classes, that is the partitioning of the world map, is crucial for the performance. In this paper, we present two contributions to improve the interpretability of a geolocalization model: (1) We propose a novel semantic partitioning method which intuitively leads to an improved understanding of the predictions, while achieving state-of-the-art results for geolocational accuracy on benchmark test sets; (2) We introduce a metric to assess the importance of semantic visual concepts for a certain prediction to provide additional interpretable information, which allows for a large-scale analysis of already trained models. Source code and dataset are publicly available.


title: In Wigner phase space, convolution explains why the vacuum majorizes mixtures of Fock states

abstract: I show that a nonnegative Wigner function that represents a mixture of Fock states is majorized by the Wigner function of the vacuum state. As a consequence, the integration of any concave function over the Wigner phase space has a lower value for the vacuum state than for a mixture of Fock states. The Shannon differential entropy is an example of such concave function of significant physical importance. I demonstrate that the very cause of the majorization lies in the fact that a Wigner function is the result of a convolution. My proof is based on a new majorization result dedicated to the convolution of the negative exponential distribution with a precisely constrained function. I present a geometrical interpretation of the new majorization property in a discrete setting and extend this relation to a continuous setting. Findings presented in this article might be expanded upon to explain why the Wigner function of the vacuum majorizes - beyond mixtures of Fock states - many other physical states represented by a nonnegative Wigner function.


title: Convergence Analysis of a Local Stationarity Scheme for Rate-Independent Systems and Application to Damage

abstract: This paper is concerned with an approximation scheme for rate-independent systems governed by a non-smooth dissipation and a possibly non-convex energy functional. The scheme is based on the local minimization scheme introduced in [EM06], but relies on local stationarity of the underlying minimization problem. Under the assumption of Mosco-convergence for the dissipation functional, we show that accumulation points exist and are so-called parametrized solutions of the rate-independent system. In particular, this guarantees the existence of parametrized solutions for a rather general setting. Afterwards, we apply the scheme to a model for the evolution of damage.


title: The critical space for orthogonally invariant varieties

abstract: Let $q$ be a nondegenerate quadratic form on $V$. Let $X\subset V$ be invariant for the action of a Lie group $G$ contained in $SO(V,q)$. For any $f\in V$ consider the function $d_f$ from $X$ to $C$ defined by $d_f(x)=q(f-x)$. We show that the critical points of $d_f$ lie in the subspace orthogonal to ${\mathfrak g}\cdot f$, that we call critical space. In particular any closest point to $f$ in $X$ lie in the critical space. This construction applies to singular t-ples for tensors and to flag varieties and generalizes a previous result of Draisma, Tocino and the author. As an application, we compute the Euclidean Distance degree of a complete flag variety.


title: Analytical approximations for the speed of pacemaker-generated waves

abstract: In an oscillatory medium, a region which oscillates faster than its surroundings can act as a source of outgoing waves. Such pacemaker-generated waves can synchronize the whole medium and are present in many chemical and biological systems, where they are a means of transmitting information at a fixed speed over large distances. In this paper, we apply analytical tools to investigate the factors that determine the speed of these waves. More precisely, we apply singular perturbation and phase reduction methods to two types of negative-feedback oscillators, one built on underlying bistability and one including a time delay in the negative feedback. In both systems, we investigate the influence of timescale separation on the resulting wave speed, as well as the effect of size and frequency of the pacemaker region. We compare our analytical estimates to numerical simulations which we described previously [1].


title: Symplectic right keys -- Type C Willis' direct way

abstract: It is known that the right key of a Kashiwara-Nakashima tableau can be computed using the Lecouvey-Sheats symplectic jeu de taquin. Motivated by Willis' direct way of computing type A right keys, we also give a way of computing symplectic right keys without the use of jeu de taquin.


title: Hot-Start Optimization for Variational Quantum Eigensolver

abstract: The Variational Quantum Eigensolver (VQE) is one the most perspective algorithms for simulation of quantum many body physics that have recently attached a lot of attention and believed would be practical for implementation on the near term quantum devices. However, its feasibility and accuracy critically depend on the ansatz structure, which can be defined in different ways and appropriate choosing the structure presents a bottleneck of the protocol. In our work we present the optimization approach allowing shallow circuit solution. The major achievement of our Hot-Start method is the requiring gates number restriction by several times. In result it increases the fidelity of the final results what is important for the current noise quantum devices implementation. We suggest Hot-Start optimization to be a good new methods beginning for the modern quantum computational devices functionality development.


title: Analytical investigation of pre-inflationary effects in the primordial power spectrum: From General Relativity to hybrid Loop Quantum Cosmology

abstract: This work is an analytical study of the main differences between classical inflationary effects of a fast-roll regime and imprints of hybrid Loop Quantum Cosmology (LQC) on the primordial power spectrum. Effective LQC solutions of phenomenological interest typically contain a classical period of kinetic dominance prior to slow-roll inflation, with consequences on the power spectrum that here we try and tell apart from those of phenomena occuring in the vicinity of a bounce in hybrid LQC. For this comparison, we use the same criterion for the choice of a vacuum state of the primordial perturbations, both in the context of relativistic cosmology and on the LQC cosmological background. As a first approximation to the problem, our study ignores the influence of a quasi-de Sitter evolution (rather than de Sitter) in the slow-roll inflationary regime, and of a typically short transition between the kinetically dominated era and the slow-roll period. Our results show that, while the two studied types of effects can lead to a drastic power suppression in the infrared sector of the spectrum, the mode scale at which this happens is much larger for LQC than for classical relativistic cosmology, the corresponding scales being related to the spacetime curvature at the bounce and at the onset of inflation, respectively.


title: Memory Bounds for Concurrent Bounded Queues

abstract: Concurrent data structures often require additional memory for handling synchronization issues in addition to memory for storing elements. Depending on the amount of this additional memory, implementations can be more or less memory-friendly. A memory-optimal implementation enjoys the minimal possible memory overhead, which, in practice, reduces cache misses and unnecessary memory reclamation. In this paper, we discuss the memory-optimality of non-blocking bounded queues. Essentially, we investigate the possibility of constructing an implementation that utilizes a pre-allocated array to store elements and constant memory overhead, e.g., two positioning counters for enqueue(..) and dequeue() operations. Such an implementation can be readily constructed when the ABA problem is precluded, e.g., assuming that the hardware supports LL/SC instructions or all inserted elements are distinct. However, in the general case, we show that a memory-optimal non-blocking bounded queue incurs linear overhead in the number of concurrent processes. These results not only provide helpful intuition for concurrent algorithm developers but also open a new research avenue on the memory-optimality phenomenon in concurrent data structures.


title: Infinitely many sign changes of the Liouville function on $x^2+d$

abstract: We show that the Liouville function changes sign infinitely often for $x^2+d$.


title: The complex variability of blazars: Time-scales and periodicity analysis in S4 0954+65

abstract: Among active galactic nuclei, blazars show extreme variability properties. We here investigate the case of the BL Lac object S4 0954+65 with data acquired in 2019-2020 by the Transiting Exoplanet Survey Satellite (TESS) and by the Whole Earth Blazar Telescope (WEBT) Collaboration. The 2-min cadence optical light curves provided by TESS during three observing sectors of nearly one month each, allow us to study the fast variability in great detail. We identify several characteristic short-term time-scales, ranging from a few hours to a few days. However, these are not persistent, as they differ in the various TESS sectors. The long-term photometric and polarimetric optical and radio monitoring undertaken by the WEBT brings significant additional information, revealing that i) in the optical, long-term flux changes are almost achromatic, while the short-term ones are strongly chromatic; ii) the radio flux variations at 37 GHz follow those in the optical with a delay of about three weeks; iii) the range of variation of the polarization degree and angle is much larger in the optical than in the radio band, but the mean polarization angles are similar; iv) the optical long-term variability is characterized by a quasi-periodicity of about one month. We explain the source behaviour in terms of a rotating inhomogeneous helical jet, whose pitch angle can change in time.


title: ModelGuard: Runtime Validation of Lipschitz-continuous Models

abstract: This paper presents ModelGuard, a sampling-based approach to runtime model validation for Lipschitz-continuous models. Although techniques exist for the validation of many classes of models the majority of these methods cannot be applied to the whole of Lipschitz-continuous models, which includes neural network models. Additionally, existing techniques generally consider only white-box models. By taking a sampling-based approach, we can address black-box models, represented only by an input-output relationship and a Lipschitz constant. We show that by randomly sampling from a parameter space and evaluating the model, it is possible to guarantee the correctness of traces labeled consistent and provide a confidence on the correctness of traces labeled inconsistent. We evaluate the applicability and scalability of ModelGuard in three case studies, including a physical platform.


title: Time series forecasting of new cases and new deaths rate for COVID-19 using deep learning methods

abstract: The first known case of Coronavirus disease 2019 (COVID-19) was identified in December 2019. It has spread worldwide, leading to an ongoing pandemic, imposed restrictions and costs to many countries. Predicting the number of new cases and deaths during this period can be a useful step in predicting the costs and facilities required in the future. The purpose of this study is to predict new cases and deaths rate one, three and seven-day ahead during the next 100 days. The motivation for predicting every n days (instead of just every day) is the investigation of the possibility of computational cost reduction and still achieving reasonable performance. Such a scenario may be encountered in real-time forecasting of time series. Six different deep learning methods are examined on the data adopted from the WHO website. Three methods are LSTM, Convolutional LSTM, and GRU. The bidirectional extension is then considered for each method to forecast the rate of new cases and new deaths in Australia and Iran countries. This study is novel as it carries out a comprehensive evaluation of the aforementioned three deep learning methods and their bidirectional extensions to perform prediction on COVID-19 new cases and new death rate time series. To the best of our knowledge, this is the first time that Bi-GRU and Bi-Conv-LSTM models are used for prediction on COVID-19 new cases and new deaths time series. The evaluation of the methods is presented in the form of graphs and Friedman statistical test. The results show that the bidirectional models have lower errors than other models. A several error evaluation metrics are presented to compare all models, and finally, the superiority of bidirectional methods is determined. This research could be useful for organisations working against COVID-19 and determining their long-term plans.


title: Innovative seismic isolation devices based on lattice materials: A review

abstract: This paper reviews recent literature results on the mechanics of structures formed by layers of pentamode lattices alternating with stiffening plates, which can be effectively employed for the development of seismic isolation devices and vibration attenuation tools, with nearly complete band gaps for shear waves. It is shown that such structures, named pentamode bearings, can respond either in the stretching-dominated regime, or in the bending-dominated regime, depending on the nature of the joints connecting the different members. Their response is characterized by high vertical stiffness and theoretically zero shear stiffness in the stretching dominated regime, or considerably low values of such a quantity in the bending dominated regime. Available results on the experimental response of 3d printed models to combined compression and shear loading highlight that the examined structures are able to exhibit energy dissipation capacity and effective damping that are suitable for seismic isolation devices. Their fabrication does not necessarily require heavy industry, and expensive materials, being possible with ordinary 3-D printers.


title: Analytical model of infiltration under constant surface ponding

abstract: An analytical solution of the nonlinear Richards equation is presented, for one-dimensional infiltration into a soil of uniform initial moisture content subject to a constant depth of surface ponded water. Adopted mathematical forms of the soil water diffusivity and conductivity are flexible enough to model a range of real soils. The solution takes the form of a power series in $\sqrt t$, but is observed to converge not only for small times but also for relatively large times at which travelling-wave-like behavior is evident. The solution is used to tabulate exact infiltration coefficients with higher-order corrections as the natural nonlinear limit of soil properties is approached. Previously published approximate solutions that apply for a wide range of soil properties are tested against the exact solution and found to be sufficiently accurate.


title: Degenerate Gaussian factors for probabilistic inference

abstract: In this paper, we propose a parametrised factor that enables inference on Gaussian networks where linear dependencies exist among the random variables. Our factor representation is effectively a generalisation of traditional Gaussian parametrisations where the positive-definite constraint of the covariance matrix has been relaxed. For this purpose, we derive various statistical operations and results (such as marginalisation, multiplication and affine transformations of random variables) that extend the capabilities of Gaussian factors to these degenerate settings. By using this principled factor definition, degeneracies can be accommodated accurately and automatically at little additional computational cost. As illustration, we apply our methodology to a representative example involving recursive state estimation of cooperative mobile robots.


title: Unstable binary black-hole spins: post-Newtonian theory and numerical relativity

abstract: Spin precession occurs in binary black holes whose spins are misaligned with the orbital angular momentum. Otherwise, the spin configuration is constant and the subsequent binary dynamics and gravitational-wave emission are much simpler. We summarize a series of works which has shown that, while three of the aligned configurations are stable equilibria, the `up-down' configuration, in which the heavier (lighter) black hole is (anti) aligned with the orbital angular momentum, is unstable when perturbed; at a critical point in the inspiral the black hole spins begin to tilt wildly as precession takes over. We present two equivalent approaches to derive the instability onset based on multitimescale post-Newtonian techniques, and point out that the instability has a predictable endpoint. Finally, we demonstrate the presence of this precessional instability in the strong-field regime of numerical relativity with simulations of aligned-spin binaries lasting $\sim100$ orbits before merger. The spins of up-down systems can tilt by $\sim90^\circ$, leaving a notable imprint in the emitted gravitational-wave signals and providing a possible mechanism to form precessing systems in astrophysical environments from which sources are preferentially born with (anti) aligned spins.


title: Optical vortex manipulation for topological quantum computation

abstract: Proposed approaches to topological quantum computation based on Majorana bound states may enable new paths to fault-tolerant quantum computing. Several recent experiments have suggested that the vortex cores of topological superconductors, such as iron-based superconductors, may host Majorana bound states at zero energy. To facilitate quantum computation with these zero-energy vortex bound states, a precise and fast manipulation of individual vortices is crucial. However, handling individual vortices remains a challenge, and a theoretical framework for describing individually controlled vortex motion is still critically needed. We propose a scheme for the use of local heating based on scanning optical microscopy to manipulate Majorana bound states emergent in the vortex cores of topological superconductors. Specifically, we derive the conditions required for transporting a single vortex between two stationary defects in the superconducting material by trapping it with a "hot spot" generated by local optical heating. Using these critical conditions for the vortex motion, we then establish the ideal material properties for the implementation of our manipulation scheme, which paves the way toward the controllable handling of zero-energy vortex bound states.


title: Comparing absorption from classic tracers of the diffuse interstellar medium at optical and radio wavelengths along the same sightlines

abstract: % aims To compare information gained from radio and optical absorption line profiles from the diffuse interstellar medium along the same sightline % methods We compare new and existing 21cm HI and 3.4mm HCO+ profiles with profiles of the optical tracers CaII, NaI, and KI from an unpublished thesis of Tappe (2004) %results The atoms traced optically are all heavily depleted compared to a Solar abundance and only the integrated optical depths of HI and HCO+ correlate well with E(B-V). HCO+ is the species with by far the most limited kinematic distribution and the narrowest lines followed in order by KI, HI, NaI and CaII. CaII behaves separately in both column density and kinematics because it samples broader-lined warmer gas. Tracers of the cold neutral medium NaI, KI, HI and HCO+ share the same kinematic space statistically without correlating to nearly the same extent in abundance. N(NaI) and N(KI) are correlated, as are the integrated optical depths of HI and HCO+ but abundance correlations between optical and radio tracers are not seen. In the only direction with a measured CH+ profile, a 2 km/s velocity shift between CH+ and CH, usually interpreted as the sign of shocked gas, is mimicked in the shift of HI relative to HCO+. CH and HCO+ appear in the ratios N(CH)/N(HCO+)=14.6 and 21.1 along the two sightlines with optically-measured N(CH),compared with a mean of 12 determined previously at radio and submillimeter wavelengths.


title: Emulation of quantum measurements with mixtures of coherent states

abstract: We propose a methodology to emulate quantum phenomena arising from any non-classical quantum state using only a finite set of mixtures of coherent states. This allows us to successfully reproduce well-known quantum effects using resources that can be much more feasibly generated in the laboratory. We present a simple procedure to experimentally carry out quantum-state emulation with coherent states, illustrate it emulating multi-photon NOON states with few phase-averaged coherent states, and demonstrate its capabilities in observing fundamental quantum-mechanical effects, such as the Hong-Ou-Mandel effect, violating Bell inequalities and witnessing quantum non-classicality.


title: RR-Net: Injecting Interactive Semantics in Human-Object Interaction Detection

abstract: Human-Object Interaction (HOI) detection devotes to learn how humans interact with surrounding objects. Latest end-to-end HOI detectors are short of relation reasoning, which leads to inability to learn HOI-specific interactive semantics for predictions. In this paper, we therefore propose novel relation reasoning for HOI detection. We first present a progressive Relation-aware Frame, which brings a new structure and parameter sharing pattern for interaction inference. Upon the frame, an Interaction Intensifier Module and a Correlation Parsing Module are carefully designed, where: a) interactive semantics from humans can be exploited and passed to objects to intensify interactions, b) interactive correlations among humans, objects and interactions are integrated to promote predictions. Based on modules above, we construct an end-to-end trainable framework named Relation Reasoning Network (abbr. RR-Net). Extensive experiments show that our proposed RR-Net sets a new state-of-the-art on both V-COCO and HICO-DET benchmarks and improves the baseline about 5.5% and 9.8% relatively, validating that this first effort in exploring relation reasoning and integrating interactive semantics has brought obvious improvement for end-to-end HOI detection.


title: DNA origami

abstract: Biological materials are self-assembled with near-atomic precision in living cells, whereas synthetic 3D structures generally lack such precision and controllability. Recently, DNA nanotechnology, especially DNA origami technology, has been useful in the bottom-up fabrication of well-defined nanostructures ranging from tens of nanometres to sub-micrometres. In this Primer, we summarize the methodologies of DNA origami technology, including origami design, synthesis, functionalization and characterization. We highlight applications of origami structures in nanofabrication, nanophotonics and nanoelectronics, catalysis, computation, molecular machines, bioimaging, drug delivery and biophysics. We identify challenges for the field, including size limits, stability issues and the scale of production, and discuss their possible solutions. We further provide an outlook on next-generation DNA origami techniques that will allow in vivo synthesis and multiscale manufacturing.


title: Feedback from an O star formed in a filament

abstract: We explore a simple semi-analytic model for what happens when an O star (or cluster of O stars) forms in an isolated filamentary cloud. The model is characterised by three configuration parameters: the radius of the filament, R_FIL, the mean density of H_2 in the filament, n_FIL, and the rate at which the O star emits ionising photons, Ndot_LyC. We show that for a wide range of these configuration parameters, ionising radiation from the O star rapidly erodes the filament, and the ionised gas from the filament disperses into the surroundings. Under these circumstances the distance from the O star to the ionisation front (IF) is given approximately by L ~ 5.2 pc [R_FIL/0.2pc]^-1/6 [n_FIL/10^4cm^-3]^-1/3 [Ndot_LyC/10^49s^-1]^1/6 [t/Myr]^2/3, and we derive similar simple power-law expressions for other quantities, for example the rate at which ionised gas boils off the filament, and the mass of the shock-compressed layer (SCL) that is swept up behind the IF. We show that a very small fraction of the ionising radiation is expended locally, and a rather small amount of molecular gas is ionised and dispersed. We discuss some features of more realistic models, and the extent to which they might modify or invalidate the predictions of this idealised model. In particular we show that, for very large R_FIL and/or large n_FIL and/or low Ndot_LyC, continuing accretion onto the filament might trap the ionising radiation from the O star, slowing the erosion of the filament even further.


title: An augmented Lagrangian method exploiting an active-set strategy and second-order information

abstract: In this paper, we consider nonlinear optimization problems with nonlinear equality constraints and bound constraints on the variables. For the solution of such problems, many augmented Lagrangian methods have been defined in the literature. Here, we propose to modify one of these algorithms, namely ALGENCAN by Andreani et al., in such a way to incorporate second-order information into the augmented Lagrangian framework, using an active-set strategy. We show that the overall algorithm has the same convergence properties as ALGENCAN and an asymptotic quadratic convergence rate under suitable assumptions. The numerical results confirm that the proposed algorithm is a viable alternative to ALGENCAN with greater robustness.


title: Impacts of shared autonomous vehicles: Tradeoff between parking demand reduction and congestion increase

abstract: Shared autonomous vehicles (SAVs) can have significant impacts on the transport system and land use by replacing private vehicles. Sharing vehicles without drivers is expected to reduce parking demand, and as a side effect, increase congestion owing to the empty fleets made by SAVs picking up travelers and relocating. Although the impact may not be uniform over a region of interest owing to the heterogeneity of travel demand distribution and network configuration, few studies have debated such impact at a local scale, such as in transportation analysis zones (TAZs). To understand the impact in relation to geographical situations, this study aims to estimate the impacts of SAVs at the local scale by simulating their operation on a developed simulator. Using the mainland of Okinawa, Japan as a case study, it was found that parking demand was reduced the most in residence-dominant zones in terms of quantity and in office-dominant zones in terms of proportion. As a side effect of replacing private vehicles with SAVs, empty fleets increase congestion, particularly at the periphery of the city. Overall, the results show the heterogeneous impacts of the SAVs at the TAZ level on both land use and traffic, thus suggesting the importance of developing appropriate strategies for urban and transport planning when considering the characteristics of the zones.


title: Diffraction of a Waveguide Mode at the Transverse Boundary of Magnetized Plasma

abstract: Here we develop a general theory of mode transformation (diffraction) at the flat transverse boundary between cold magnetized electron plasma and isotropic vacuum-like medium inside a circular waveguide. The obtained results can be also directly applied to the narrow-band Cherenkov radiation generated in plasma (or in isotropic medium) by a moving charged particle bunch.


title: Formalizing the Face Lattice of Polyhedra

abstract: Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and operations over polyhedra, including projections, convex hulls and images under linear maps. Moreover, we design a special mechanism which automatically introduces an appropriate representation of a polyhedron or a face, depending on the context of the proof. We demonstrate the usability of this approach by establishing some of the most important combinatorial properties of faces, namely that they constitute a family of graded atomistic and coatomistic lattices closed under interval sublattices. We also prove a theorem due to Balinski on the $d$-connectedness of the adjacency graph of polytopes of dimension $d$.


title: Deep Image Destruction: Vulnerability of Deep Image-to-Image Models against Adversarial Attacks

abstract: Recently, the vulnerability of deep image classification models to adversarial attacks has been investigated. However, such an issue has not been thoroughly studied for image-to-image tasks that take an input image and generate an output image (e.g., colorization, denoising, deblurring, etc.) This paper presents comprehensive investigations into the vulnerability of deep image-to-image models to adversarial attacks. For five popular image-to-image tasks, 16 deep models are analyzed from various standpoints such as output quality degradation due to attacks, transferability of adversarial examples across different tasks, and characteristics of perturbations. We show that unlike image classification tasks, the performance degradation on image-to-image tasks largely differs depending on various factors, e.g., attack methods and task objectives. In addition, we analyze the effectiveness of conventional defense methods used for classification models in improving the robustness of the image-to-image models.


title: Post-training deep neural network pruning via layer-wise calibration

abstract: We present a post-training weight pruning method for deep neural networks that achieves accuracy levels tolerable for the production setting and that is sufficiently fast to be run on commodity hardware such as desktop CPUs or edge devices. We propose a data-free extension of the approach for computer vision models based on automatically-generated synthetic fractal images. We obtain state-of-the-art results for data-free neural network pruning, with ~1.5% top@1 accuracy drop for a ResNet50 on ImageNet at 50% sparsity rate. When using real data, we are able to get a ResNet50 model on ImageNet with 65% sparsity rate in 8-bit precision in a post-training setting with a ~1% top@1 accuracy drop. We release the code as a part of the OpenVINO(TM) Post-Training Optimization tool.


title: An integration by parts formula for the bilinear form of the hypersingular boundary integral operator for the transient heat equation in three spatial dimensions

abstract: While an integration by parts formula for the bilinear form of the hypersingular boundary integral operator for the transient heat equation in three spatial dimensions is available in the literature, a proof of this formula seems to be missing. Moreover, the available formula contains an integral term including the time derivative of the fundamental solution of the heat equation, whose interpretation is difficult at second glance. To fill these gaps we provide a rigorous proof of a general version of the integration by parts formula and an alternative representation of the mentioned integral term, which is valid for a certain class of functions including the typical tensor-product discretization spaces.


title: The Maximax Minimax Quotient Theorem

abstract: We present an optimization problem emerging from optimal control theory and situated at the intersection of fractional programming and linear max-min programming on polytopes. A na\"ive solution would require solving four nested, possibly nonlinear, optimization problems. Instead, relying on numerous geometric arguments we determine an analytical solution to this problem. In the course of proving our main theorem we also establish another optimization result stating that the minimum of a specific minimax optimization is located at a vertex of the constraint set.


title: Magnetic impurities at quantum critical points: large-$N$ expansion and SPT connections

abstract: In symmetry protected topological (SPT) phases, the combination of symmetries and a bulk gap stabilizes protected modes at surfaces or at topological defects. Understanding the fate of these modes at a quantum critical point, when the protecting symmetries are on the verge of being broken, is an outstanding problem. This interplay of topology and criticality must incorporate both the bulk dynamics of critical points, often described by nontrivial conformal field theories, and SPT physics. Here, we study the simplest nontrivial setting - that of a 0+1 dimensional topological mode - a quantum spin - coupled to a 2+1D critical bulk. Using the large-$N$ technique we solve a series of models which, as a consequence of topology, demonstrate intermediate coupling fixed points. We compare our results to previous numerical simulations and find good agreement. We also point out intriguing connections to generalized Kondo problems and Sachdev-Ye-Kitaev (SYK) models. In particular, we show that a Luttinger theorem derived for the complex SYK models, that relates the charge density to particle-hole asymmetry, also holds in our setting. These results should help stimulate further analytical study of the interplay between SPT physics and quantum criticality.


title: Team MMSE Precoding with Applications to Cell-free Massive MIMO

abstract: This article studies a novel distributed precoding design, coined team minimum mean-square error (TMMSE) precoding, which rigorously generalizes classical centralized MMSE precoding to distributed operations based on transmitter-specific channel state information (CSIT). Building on the so-called theory of teams, we derive a set of necessary and sufficient conditions for optimal TMMSE precoding, in the form of an infinite dimensional linear system of equations. These optimality conditions are further specialized to cell-free massive MIMO networks, and explicitly solved for two important examples, i.e., the classical case of local CSIT and the case of unidirectional CSIT sharing along a serial fronthaul. The latter case is relevant, e.g., for the recently proposed radio stripe concept and the related advances on sequential processing exploiting serial connections. In both cases, our optimal design outperforms the heuristic methods that are known from the previous literature. Duality arguments and numerical simulations validate the effectiveness of the proposed team theoretical approach in terms of ergodic achievable rates under a sum-power constraint.


title: Efficient Multiple Testing Adjustment for Hierarchical Inference

abstract: Hierarchical inference in (generalized) regression problems is powerful for finding significant groups or even single covariates, especially in high-dimensional settings where identifiability of the entire regression parameter vector may be ill-posed. The general method proceeds in a fully data-driven and adaptive way from large to small groups or singletons of covariates, depending on the signal strength and the correlation structure of the design matrix. We propose a novel hierarchical multiple testing adjustment that can be used in combination with any significance test for a group of covariates to perform hierarchical inference. Our adjustment passes on the significance level of certain hypotheses that could not be rejected and is shown to guarantee strong control of the familywise error rate. Our method is at least as powerful as a so-called depth-wise hierarchical Bonferroni adjustment. It provides a substantial gain in power over other previously proposed inheritance hierarchical procedures if the underlying alternative hypotheses occur sparsely along a few branches in the tree-structured hierarchy.


title: Cavity volume and free energy in many-body systems

abstract: Within this work we derive and analyse an expression for the free energy of a single-species system in the thermodynamic limit in terms of a generalised cavity volume, that is exact in general, and in principle applicable to systems across their entire range of density, as well as to particles within a general coordinate space. This provides a universal equation of state, and can thus relate the cavity volume to classical results, such as Mayer's cluster expansions. Through this we are able to provide some insight into the connections between cavity volume and free energy density, as well as their consequences. We use examples which permit explicit computations to further probe these results, reclaiming the exact results for a classical Tonks gas and providing a novel derivation of Onsager's free energy for a single species, isotropic system. Given the complexity of the problem we also provide a local lattice ansatz, exact in one dimension, with which we may approximate the cavity volume for hard sphere systems to provide an accurate equation of state in the cases of hard disks and spheres in both dilute regimes as well as beyond the freezing transition.


title: Sharpening the Boundaries Between Flux Landscape and Swampland by Tadpole Charge

abstract: We investigate the vacuum structure of four-dimensional effective theory arising from Type IIB flux compactifications on a mirror of the rigid Calabi-Yau threefold, corresponding to a T-dual of the DeWolfe-Giryavets-Kachru-Taylor model in Type IIA flux compactifications. By analyzing the vacuum structure of this interesting corner of string landscape, it turns out that there exist perturbatively unstable de Sitter (dS) vacua in addition to supersymmetric and non-supersymmetric anti-de Sitter vacua. On the other hand, the stable dS vacua appearing in the low-energy effective action violate the tadpole cancellation condition, indicating a strong correlation between the existence of dS vacua and the flux-induced D3-brane charge (tadpole charge). We also find analytically that the tadpole charge constrained by the tadpole cancellation condition emerges in the scalar potential in a nontrivial way. Thus, the tadpole charge would restrict the existence of stable dS vacua, and this fact underlies the statement of the dS conjecture. Furthermore, our analytical and numerical results exhibit that distributions of ${\cal O}(1)$ parameters in expressions of several swampland conjectures peak at specific values.


title: Strongest transformations

abstract: We continue our study of maps transforming high-dimensional complicated objects into squares of stationary sets. Previously, we proved that many such transformations exist in ZFC, and here we address the consistency of the strongest conceivable transformations. Along the way, we obtain new results on Shelah's coloring principle $Pr_1$. For $\kappa$ inaccessible, we prove the consistency of $Pr_1(\kappa,\kappa,\kappa,\kappa)$. For successors of regulars, we obtain a full lifting of Galvin's 1980 theorem. In contrast, the full lifting of Galvin's theorem to successors of singulars is shown to be inconsistent.


title: Generalizability of deep learning based fluence map prediction as an inverse planning approach

abstract: Deep learning-based fluence map prediction(DL-FMP) method has been reported in the literature, which generated fluence maps for desired dose by deep neural network(DNN)-based inverse mapping. We hypothesized that DL-FMP is similar to general fluence map optimization(FMO) because it's theoretically based on a general inverse mapping. We designed four experiments to validate the generalizability of DL-FMP to other types of plans apart from the training data, which contained only clinical head and neck(HN) full-arc VMAT plans. The first three experiments quantified the generalizability of DL-FMP to multiple anatomical sites, different delivery modalities, and various degree of modulation(DOM), respectively. The fourth experiment explored the generalizability and stability to infeasible dose inputs. Results of the first experiment manifested that DL-FMP can generalize to lung, liver, esophagus and prostate, with gamma passing rates (GPR) higher than 95%(2%/2mm). The second experiment showed that DL-FMP can generalize to partial-arc plans and predict partial-arc fluences. GPR(3mm/3%) ranged from 96% to 99%. DL-FMP cannot generate fluence maps in discrete beam angles for IMRT input. But the predicted dose still agreed with ground truth dose with 93% GPR(5%/5mm). The third experiment demonstrated that DL-FMP can generalize to various DOMs, with GPRs(3%/3mm) ranged in 94%-98%. Moreover, the DOM of predicted fluence maps correlated to the optimality of the input dose accordingly. The fourth experiment exemplified that DL-FMP can make stable predictions for infeasible dose input. In conclusion, we validated that DL-FMP can generalize to plans for multiple anatomical sites, plans of different delivery modalities and plans with various DOM. It can also make stable prediction for infeasible input.


title: Multiple recurrence and hypercyclicity

abstract: We study multiply recurrent and hypercyclic operators as a special case of $\mathcal F$-hypercyclicity, where $\mathcal F$ is the family of subsets of the natural numbers containing arbitrarily long arithmetic progressions. We prove several properties of hypercyclic multiply recurrent operators, we characterize those operators which are weakly mixing and multiply recurrent, and we show that there are operators that are multiply recurrent and hypercyclic but not weakly mixing.


title: Noe: Norms Emergence and Robustness Based on Emotions in Multiagent Systems

abstract: Social norms characterize collective and acceptable group conducts in human society. Furthermore, some social norms emerge from interactions of agents or humans. To achieve agent autonomy and make norm satisfaction explainable, we include emotions into the normative reasoning process, which evaluates whether to comply or violate a norm. Specifically, before selecting an action to execute, an agent observes the environment and infers the state and consequences with its internal states after norm satisfaction or violation of a social norm. Both norm satisfaction and violation provoke further emotions, and the subsequent emotions affect norm enforcement. This paper investigates how modeling emotions affect the emergence and robustness of social norms via social simulation experiments. We find that an ability in agents to consider emotional responses to the outcomes of norm satisfaction and violation (1) promotes norm compliance; and (2) improves societal welfare.


title: The radial defocusing energy-supercritical NLS in dimension four

abstract: We consider the radial defocusing nonlinear Schr\"odinger equations $iu_t+\Delta u=|u|^{p}u$ with supercritical exponent $p>4$ in four space dimensions, and prove that any radial solution that remains bounded in the critical Sobolev space must be global and scatter.


title: Uniform exponential contraction for viscous Hamilton-Jacobi equations

abstract: The well known phenomenon of exponential contraction for solutions to the viscous Hamilton-Jacobi equation in the space-periodic setting is based on the Markov mechanism. However, the corresponding Lyapunov exponent $\lambda(\nu)$ characterizing the exponential rate of contraction depends on the viscosity $\nu$. The Markov mechanism provides only a lower bound for $\lambda(\nu)$ which vanishes in the limit $\nu \to 0$. At the same time, in the inviscid case $\nu=0$ one also has exponential contraction based on a completely different dynamical mechanism. This mechanism is based on hyperbolicity of action-minimizing orbits for the related Lagrangian variational problem. In this paper we consider the discrete time case (kicked forcing), and establish a uniform lower bound for $\lambda(\nu)$ which is valid for all $\nu\geq 0$. The proof is based on a nontrivial interplay between the dynamical and Markov mechanisms for exponential contraction. We combine PDE methods with the ideas from the Weak KAM theory.


title: A search for distant, pulsating red giants in the southern halo

abstract: To investigate the asymptotic giant branch (AGB) population in the Galactic halo, we search for pulsating AGB stars at a heliocentric distance over 50kpc. Our research is based on the Catalina Southern Survey (CSS) catalogue of variables, comprising 1286 long-period variables (LPVs) with declination less than -20deg. We first focus on the 77 stars in the cap abs(b)>30deg for which spectral M-type or C-type classification can be derived from Hamburg-ESO objective prism spectra. Most of these are oxygen-rich (M-type) and very few are carbon rich. The periods are in the range 100-500 days, and CSS amplitudes are up to 3 mag. In this small sample, no halo AGB star is fainter than Ks0=12.5. This may be due to the scarcity of AGBs in the outer halo, or insufficient instrumental depth. Leaving aside spectral information, we then searched for even fainter pulsators (Ks>12.5) in the entire CSS catalogue. Gaia astrometry makes it possible to identify some contaminants. Our final result is the identification of ten candidate distant LPVs. If these ten stars obey the fundamental mode K-band period luminosity relation used for Miras and small-amplitude Miras, their distances are between 50 and 120kpc from the Sun. In a diagram showing distance versus Gaia tangential velocity, these ten stars have positions similar to those of other objects in the halo, such as globular clusters and dwarf galaxies. We also detect some underluminous AGBs that deserve further study. A detailed catalogue of the 77 high-latitude M or C stars will be made available at the CDS.


title: Envisioning security control in renewable dominated power systems through stochastic multi-period AC security constrained optimal power flow

abstract: The accelerated penetration rate of renewable energy sources (RES) brings environmental benefits at the expense of increasing operation cost and undermining the satisfaction of the N-1 security criterion. To address the latter issue, this paper envisions N-1 security control in RES dominated power systems through stochastic multi-period AC security constrained optimal power flow (SCOPF). The paper extends the state-of-the-art, i.e. deterministic and single time period AC SCOPF, to capture two new dimensions, RES stochasticity and multiple time periods, as well as emerging sources of flexibility such as flexible loads (FL) and energy storage systems (ESS). Accordingly, the paper proposes and solves for the first time a new problem formulation in the form of stochastic multi-period AC SCOPF (S-MP-SCOPF). The S-MP-SCOPF is formulated as a non-linear programming (NLP) problem. It computes optimal setpoints of flexibility resources and other conventional control means for congestion management and voltage control in day-ahead operation. Another salient feature of this paper is the comprehensive and accurate modelling, using: AC power flow model for both pre-contingency and post-contingency states, inter-temporal constraints for resources such as FL and ESS in a 24-hours time horizon and RES uncertainties. The importance and performances of the proposed model through a direct approach, pushing the problem size up to the solver limit, are illustrated on two test systems of 5 nodes and 60 nodes, respectively, while future work will develop a tractable algorithm.


title: Impact on power system transient stability of AC-line-emulation controllers of VSC-HVDC links

abstract: High voltage direct current links based on voltage source converters (VSC-HVDC) embedded in alternating current (AC) systems are receiving a great deal of attention recently because they can contribute positively to the flexibilisation of modern power systems. Among several possibilities, AC-line-emulation control has been highlighted as an simple-but-useful alternative for these type of systems. With this strategy, the power flow through the link is controlled proportionally to the angle difference between its two AC terminals and this provides self-adaptation of the power flow in case of contingencies in the parallel AC lines, naturally. Although this controller is mainly concerned with steady state, it can also have an impact on the dynamic behaviour of the system, which has not been sufficiently analysed. Along this line, this paper analyses the impact of AC-line-emulation controllers of VSC-HVDC on power system transient stability. Nonlinear time-domain simulations were carried out by using PSS/E on a small test system with an embedded point-to-point VSC-HVDC link. The critical clearing time (CCT) of a test fault has been used to assess transient-stability margins of the whole system. The paper provides recommendations for the design of AC-line-emulation controllers in order to ensure that transient stability is not jeopardised.


title: Using Small MUSes to Explain How to Solve Pen and Paper Puzzles

abstract: In this paper, we present Demystify, a general tool for creating human-interpretable step-by-step explanations of how to solve a wide range of pen and paper puzzles from a high-level logical description. Demystify is based on Minimal Unsatisfiable Subsets (MUSes), which allow Demystify to solve puzzles as a series of logical deductions by identifying which parts of the puzzle are required to progress. This paper makes three contributions over previous work. First, we provide a generic input language, based on the Essence constraint language, which allows us to easily use MUSes to solve a much wider range of pen and paper puzzles. Second, we demonstrate that the explanations that Demystify produces match those provided by humans by comparing our results with those provided independently by puzzle experts on a range of puzzles. We compare Demystify to published guides for solving a range of different pen and paper puzzles and show that by using MUSes, Demystify produces solving strategies which closely match human-produced guides to solving those same puzzles (on average 89% of the time). Finally, we introduce a new randomised algorithm to find MUSes for more difficult puzzles. This algorithm is focused on optimised search for individual small MUSes.


title: From Elastic Scattering to Central Exclusive Production: Physics with Forward Protons at RHIC

abstract: We describe a physics program at the Relativistic Heavy Ion Collider (RHIC) with tagged forward protons. The program started with the proton-proton elastic scattering experiment (PP2PP), for which a set of Roman Pot stations was build. The PP2PP experiment took data at RHIC as a dedicated experiment at the beginning of RHIC operations. To expand the physics program to include non-elastic channels with forward protons, like Central Exclusive Production (CEP), Central Production (CP) and Single Diffraction Dissociation (SD), the experiment with its equipment was merged with the STAR experiment at RHIC. Consequently the expanded program, which included both elastic and inelastic channels became part of the physics program and operations of the STAR experiment. In this paper we shall describe the physics results obtained by the PP2PP and STAR experiments to date.


title: Divide-and-conquer based Large-Scale Spectral Clustering

abstract: Spectral clustering is one of the most popular clustering methods. However, how to balance the efficiency and effectiveness of the large-scale spectral clustering with limited computing resources has not been properly solved for a long time. In this paper, we propose a divide-and-conquer based large-scale spectral clustering method to strike a good balance between efficiency and effectiveness. In the proposed method, a divide-and-conquer based landmark selection algorithm and a novel approximate similarity matrix approach are designed to construct a sparse similarity matrix within low computational complexities. Then clustering results can be computed quickly through a bipartite graph partition process. The proposed method achieves a lower computational complexity than most existing large-scale spectral clustering methods. Experimental results on ten large-scale datasets have demonstrated the efficiency and effectiveness of the proposed method. The MATLAB code of the proposed method and experimental datasets are available at https://github.com/Li-Hongmin/MyPaperWithCode.


title: Inference and model determination for Temperature-Driven non-linear Ecological Models

abstract: This paper is concerned with a contemporary Bayesian approach to the effect of temperature on developmental rates. We develop statistical methods using recent computational tools to model four commonly used ecological non-linear mathematical curves that describe arthropods' developmental rates. Such models address the effect of temperature fluctuations on the developmental rate of arthropods. In addition to the widely used Gaussian distributional assumption, we also explore Inverse Gamma--based alternatives, which naturally accommodate adaptive variance fluctuation with temperature. Moreover, to overcome the associated parameter indeterminacy in the case of no development, we suggest the Zero Inflated Inverse Gamma model. The ecological models are compared graphically via posterior predictive plots and quantitatively via Marginal likelihood estimates and Information criteria values. Inference is performed using the Stan software and we investigate the statistical and computational efficiency of its Hamiltonian Monte Carlo and Variational Inference methods. We explore model uncertainty and use Bayesian Model Averaging framework for robust estimation of the key ecological parameters


title: Pulser: An open-source package for the design of pulse sequences in programmable neutral-atom arrays

abstract: Programmable arrays of hundreds of Rydberg atoms have recently enabled the exploration of remarkable phenomena in many-body quantum physics. In addition, the development of high-fidelity quantum gates are making them promising architectures for the implementation of quantum circuits. We present here \textit{Pulser}, an open-source Python library for programming neutral-atom devices at the pulse level. The low-level nature of Pulser makes it a versatile framework for quantum control both in the digital and analog settings. The library also contains simulation routines for studying and exploring the outcome of pulse sequences for small systems.


title: Some notes on continuity in convex optimization

abstract: We provide proof that the optimal value function of a convex parametrized optimization problem in Euclidean spaces is itself a convex function onto the extended real line.


title: Dynamic Slate Recommendation with Gated Recurrent Units and Thompson Sampling

abstract: We consider the problem of recommending relevant content to users of an internet platform in the form of lists of items, called slates. We introduce a variational Bayesian Recurrent Neural Net recommender system that acts on time series of interactions between the internet platform and the user, and which scales to real world industrial situations. The recommender system is tested both online on real users, and on an offline dataset collected from a Norwegian web-based marketplace, FINN.no, that is made public for research. This is one of the first publicly available datasets which includes all the slates that are presented to users as well as which items (if any) in the slates were clicked on. Such a data set allows us to move beyond the common assumption that implicitly assumes that users are considering all possible items at each interaction. Instead we build our likelihood using the items that are actually in the slate, and evaluate the strengths and weaknesses of both approaches theoretically and in experiments. We also introduce a hierarchical prior for the item parameters based on group memberships. Both item parameters and user preferences are learned probabilistically. Furthermore, we combine our model with bandit strategies to ensure learning, and introduce `in-slate Thompson Sampling' which makes use of the slates to maximise explorative opportunities. We show experimentally that explorative recommender strategies perform on par or above their greedy counterparts. Even without making use of exploration to learn more effectively, click rates increase simply because of improved diversity in the recommended slates.


title: Safety-Control of Mobile Robots Under Time-Delay Using Barrier Certificates and a Two-Layer Predictor

abstract: Performing swift and agile maneuvers is essential for the safe operation of autonomous mobile robots. Moreover, the presence of time-delay restricts the response time of the system and hinders the safety performance. Thus, this paper proposes a modular and scalable safety-control design that utilizes the Smith predictor and barrier certificates to safely and consistently avoid obstacles with different footprints. The proposed solution includes a two-layer predictor to compensate for the time-delay in the servo-system and angle control loops. The proposed predictor configuration dramatically improves the transient performance and reduces response time. Barrier certificates are used to determine the safe range of the robot's heading angle to avoid collisions. The proposed obstacle avoidance technique conveniently integrates with various trajectory tracking algorithms, which enhances design flexibility. The angle condition is adaptively calculated and corrects the robot's heading angle and angular velocity. Also, the proposed method accommodates multiple obstacles and decouples the control structure from the obstacles' shape, count, and distribution. The control structure has only eight tunable parameters facilitating control calibration and tuning in large systems of mobile robots. Extensive experimental results verify the effectiveness of the proposed safety-control.


title: Spectral solutions of PDEs on networks

abstract: To solve linear PDEs on metric graphs with standard coupling conditions (continuity and Kirchhoff's law), we develop and compare a spectral, a second-order finite difference, and a discontinuous Galerkin method. The spectral method yields eigenvalues and eigenvectors of arbitary order with machine precision and converges exponentially. These eigenvectors provide a Fourier-like basis on which to expand the solution; however, more complex coupling conditions require additional research. The discontinuous Galerkin method provides approximations of arbitrary polynomial order; however computing high-order eigenvalues accurately requires the respective eigenvector to be well-resolved. The method allows arbitrary non-Kirchhoff flux conditions and requires special penalty terms at the vertices to enforce continuity of the solutions. For the finite difference method, the standard one-sided second-order finite difference stencil reduces the accuracy of the vertex solution to $ O(h^{3/2})$. To preserve overall second-order accuracy, we used ghost cells for each edge. For all three methods we provide the implementation details, their validation, and examples illustrating their performance for the eigenproblem, Poisson equation, and the wave equation.


title: Updatable Siamese Tracker with Two-stage One-shot Learning

abstract: Offline Siamese networks have achieved very promising tracking performance, especially in accuracy and efficiency. However, they often fail to track an object in complex scenes due to the incapacity in online update. Traditional updaters are difficult to process the irregular variations and sampling noises of objects, so it is quite risky to adopt them to update Siamese networks. In this paper, we first present a two-stage one-shot learner, which can predict the local parameters of primary classifier with object samples from diverse stages. Then, an updatable Siamese network is proposed based on the learner (SiamTOL), which is able to complement online update by itself. Concretely, we introduce an extra inputting branch to sequentially capture the latest object features, and design a residual module to update the initial exemplar using these features. Besides, an effective multi-aspect training loss is designed for our network to avoid overfit. Extensive experimental results on several popular benchmarks including OTB100, VOT2018, VOT2019, LaSOT, UAV123 and GOT10k manifest that the proposed tracker achieves the leading performance and outperforms other state-of-the-art methods


title: Generative Models Improve Radiomics Reproducibility in Low Dose CTs: A Simulation Study

abstract: Radiomics is an active area of research in medical image analysis, the low reproducibility of radiomics has limited its applicability to clinical practice. This issue is especially prominent when radiomic features are calculated from noisy images, such as low dose computed tomography (CT) scans. In this article, we investigate the possibility of improving the reproducibility of radiomic features calculated on noisy CTs by using generative models for denoising.One traditional denoising method - non-local means - and two generative models - encoder-decoder networks (EDN) and conditional generative adversarial networks (CGANs) - were selected as the test models. We added noise to the sinograms of full dose CTs to mimic low dose CTs with two different levels of noise: low-noise CT and high-noise CT. Models were trained on high-noise CTs and used to denoise low-noise CTs without re-training. We also test the performance of our model in real data, using dataset of same-day repeat low dose CTs to assess the reproducibility of radiomic features in denoised images. The EDN and the CGAN improved the concordance correlation coefficients (CCC) of radiomic features for low-noise images from 0.87 to 0.92 and for high-noise images from 0.68 to 0.92 respectively. Moreover, the EDN and the CGAN improved the test-retest reliability of radiomic features (mean CCC increased from 0.89 to 0.94) based on real low dose CTs. The results show that denoising using EDN and CGANs can improve the reproducibility of radiomic features calculated on noisy CTs. Moreover, images with different noise levels can be denoised to improve the reproducibility using these models without re-training, as long as the noise intensity is equal or lower than that in high-noise CTs. To the authors' knowledge, this is the first effort to improve the reproducibility of radiomic features calculated on low dose CT scans.


title: Improved quality tests of R11410-21 photomultiplier tubes for the XENONnT experiment

abstract: Photomultiplier tubes (PMTs) are often used in low-background particle physics experiments, which rely on an excellent response to single-photon signals and stable long-term operation. In particular, the Hamamatsu R11410 model is the light sensor of choice for liquid xenon dark matter experiments, including XENONnT. The same PMT model was also used for the predecessor, XENON1T, where issues affecting its long-term operation were observed. Here, we report on an improved PMT testing procedure which ensures optimal performance in XENONnT. Using both new and upgraded facilities, we tested 368 new PMTs in a cryogenic xenon environment. We developed new tests targeted at the detection of light emission and the degradation of the PMT vacuum through small leaks, which can lead to spurious signals known as afterpulses, both of which were observed in XENON1T. We exclude the use of 26 of the 368 tested PMTs and categorise the remainder according to their performance. Given that we have improved the testing procedure, yet we rejected fewer PMTs, we expect significantly better PMT performance in XENONnT.


title: DRAM Failure Prediction in AIOps: Empirical Evaluation, Challenges and Opportunities

abstract: DRAM failure prediction is a vital task in AIOps, which is crucial to maintain the reliability and sustainable service of large-scale data centers. However, limited work has been done on DRAM failure prediction mainly due to the lack of public available datasets. This paper presents a comprehensive empirical evaluation of diverse machine learning techniques for DRAM failure prediction using a large-scale multi-source dataset, including more than three millions of records of kernel, address, and mcelog data, provided by Alibaba Cloud through PAKDD 2021 competition. Particularly, we first formulate the problem as a multi-class classification task and exhaustively evaluate seven popular/state-of-the-art classifiers on both the individual and multiple data sources. We then formulate the problem as an unsupervised anomaly detection task and evaluate three state-of-the-art anomaly detectors. Further, based on the empirical results and our experience of attending this competition, we discuss major challenges and present future research opportunities in this task.


title: Some constructive variants of S4 with the finite model property

abstract: The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In this paper we introduce two logics closely related to IS4: GS4, obtained by adding the Godel-Dummett axiom to IS4, and S4I, obtained by reversing the roles of the modal and intuitionistic relations. We then prove that CS4, GS4, and S4I all enjoy the finite model property.


title: Accurate simulation and thermal tuning by temperature-adaptive boundary interactions on quantum many-body systems

abstract: Constructing quantum Hamiltonians for simulating and controlling the exotic physics of many-body systems belongs to the most important topics of condensed matter physics and quantum technologies. The main challenge that hinders the future investigations is the extremely high complexity for either their numerical simulations or experimental realizations. In this work, we propose the temperature-adaptive entanglement simulator (TAES) that mimics and tunes the thermodynamics of the one-dimensional (1D) many-body system by embedding a small-size model in an entanglement bath. The entanglement bath is described by the interactions located at the boundaries of the small-size model, whose coupling constants are optimized by means of differentiable tensor network at target temperatures. With the benchmark on 1D spin chains, TAES surpasses the state-of-the-art accuracy compared with the existing finite-temperature approaches such as linearized and differential tensor renormalization group algorithms. By tuning the couplings of the entanglement bath with the temperature fixed, the bulk entropy exhibits similar behavior compared to that obtained by tuning the temperature. Our work provides novel opportunities of engineering the distribution of fluctuations and mimicking the non-equilibrium phenomena in a uniform temperature within the canonical ensemble framework using the optimized boundary interactions.


title: Compactness of Hashing Modes and Efficiency beyond Merkle Tree

abstract: We revisit the classical problem of designing optimally efficient cryptographically secure hash functions. Hash functions are traditionally designed via applying modes of operation on primitives with smaller domains. The results of Shrimpton and Stam (ICALP 2008), Rogaway and Steinberger (CRYPTO 2008), and Mennink and Preneel (CRYPTO 2012) show how to achieve optimally efficient designs of $2n$-to-$n$-bit compression functions from non-compressing primitives with asymptotically optimal $2^{n/2-\epsilon}$-query collision resistance. Designing optimally efficient and secure hash functions for larger domains ($> 2n$ bits) is still an open problem. In this work we propose the new \textit{compactness} efficiency notion. It allows us to focus on asymptotically optimally collision resistant hash function and normalize their parameters based on Stam's bound from CRYPTO 2008 to obtain maximal efficiency. We then present two tree-based modes of operation -Our first construction is an \underline{A}ugmented \underline{B}inary T\underline{r}ee (ABR) mode. The design is a $(2^{\ell}+2^{\ell-1} -1)n$-to-$n$-bit hash function making a total of $(2^{\ell}-1)$ calls to $2n$-to-$n$-bit compression functions for any $\ell\geq 2$. Our construction is optimally compact with asymptotically (optimal) $2^{n/2-\epsilon}$-query collision resistance in the ideal model. For a tree of height $\ell$, in comparison with Merkle tree, the $ABR$ mode processes additional $(2^{\ell-1}-1)$ data blocks making the same number of internal compression function calls. -While the $ABR$ mode achieves collision resistance, it fails to achieve indifferentiability from a random oracle within $2^{n/3}$ queries. $ABR^{+}$ compresses only $1$ less data block than $ABR$ with the same number of compression calls and achieves in addition indifferentiability up to $2^{n/2-\epsilon}$ queries.


title: On the viscous dissipation caused by randomly rough indenters in smooth sliding motion

abstract: The viscous dissipation between rigid, randomly rough indenters and linearly elastic counter bodies sliding past them is investigated using Green's function molecular dynamics. The study encompasses a variety of models differing in the height spectra properties of the rigid indenter, in the viscoelasticity of the elastomer, and in their interaction. All systems reveal the expected damping linear in sliding velocity $v$ at small $v$ and a pronounced maximum at intermediate $v$. Persson's theory of rubber friction, which is adopted to the studied model systems, reflects all observed trends. However, close quantitative agreement is only found up to intermediate sliding velocities. Relative errors in the friction force become significant once the contact area is substantially reduced by sliding.


title: Small sums of five roots of unity

abstract: Motivated by questions in number theory, Myerson asked how small the sum of 5 complex nth roots of unity can be. We obtain a uniform bound of O(n^{-4/3}) by perturbing the vertices of a regular pentagon, improving to O(n^{-7/3}) infinitely often. The corresponding configurations were suggested by examining exact minimum values computed for n <= 221000. These minima can be explained at least in part by selection of the best example from multiple families of competing configurations related to close rational approximations.


title: Perpetual Voting: The Axiomatic Lens

abstract: Perpetual voting was recently introduced as a framework for long-term collective decision making. In this framework, we consider a sequence of subsequent approval-based elections and try to achieve a fair overall outcome. To achieve fairness over time, perpetual voting rules take the history of previous decisions into account and identify voters that were dissatisfied with previous decisions. In this paper, we look at perpetual voting rules from an axiomatic perspective and study two main questions. First, we ask how simple such rules can be while still meeting basic desiderata. For two simple but natural classes, we fully characterize the axiomatic possibilities. Second, we ask how proportionality can be formalized in perpetual voting. We study proportionality on simple profiles that are equivalent to the apportionment setting and show that lower and upper quota axioms can be used to distinguish (and sometimes characterize) perpetual voting rules. Furthermore, we show a surprising connection between a perpetual rule called Perpetual Consensus and Frege's apportionment method.


title: Tropical tangents for complete intersection curves

abstract: We consider the tropicalization of tangent lines to a complete intersection curve $X$ in $\mathbb{P}^n$. Under mild hypotheses, we describe a procedure for computing the tropicalization of the image of the Gauss map of $X$ in terms of the tropicalizations of the hypersurfaces cutting out $X$. We apply this to obtain descriptions of the tropicalization of the dual variety $X^*$ and tangential variety $\tau(X)$ of $X$. In particular, we are able to compute the degrees of $X^*$ and $\tau(X)$ and the Newton polytope of $\tau(X)$ without using any elimination theory.


title: DriveGAN: Towards a Controllable High-Quality Neural Simulation

abstract: Realistic simulators are critical for training and verifying robotics systems. While most of the contemporary simulators are hand-crafted, a scaleable way to build simulators is to use machine learning to learn how the environment behaves in response to an action, directly from data. In this work, we aim to learn to simulate a dynamic environment directly in pixel-space, by watching unannotated sequences of frames and their associated action pairs. We introduce a novel high-quality neural simulator referred to as DriveGAN that achieves controllability by disentangling different components without supervision. In addition to steering controls, it also includes controls for sampling features of a scene, such as the weather as well as the location of non-player objects. Since DriveGAN is a fully differentiable simulator, it further allows for re-simulation of a given video sequence, offering an agent to drive through a recorded scene again, possibly taking different actions. We train DriveGAN on multiple datasets, including 160 hours of real-world driving data. We showcase that our approach greatly surpasses the performance of previous data-driven simulators, and allows for new features not explored before.


title: Black-box Gradient Attack on Graph Neural Networks: Deeper Insights in Graph-based Attack and Defense

abstract: Graph Neural Networks (GNNs) have received significant attention due to their state-of-the-art performance on various graph representation learning tasks. However, recent studies reveal that GNNs are vulnerable to adversarial attacks, i.e. an attacker is able to fool the GNNs by perturbing the graph structure or node features deliberately. While being able to successfully decrease the performance of GNNs, most existing attacking algorithms require access to either the model parameters or the training data, which is not practical in the real world. In this paper, we develop deeper insights into the Mettack algorithm, which is a representative grey-box attacking method, and then we propose a gradient-based black-box attacking algorithm. Firstly, we show that the Mettack algorithm will perturb the edges unevenly, thus the attack will be highly dependent on a specific training set. As a result, a simple yet useful strategy to defense against Mettack is to train the GNN with the validation set. Secondly, to overcome the drawbacks, we propose the Black-Box Gradient Attack (BBGA) algorithm. Extensive experiments demonstrate that out proposed method is able to achieve stable attack performance without accessing the training sets of the GNNs. Further results shows that our proposed method is also applicable when attacking against various defense methods.


title: Contracts in Electricity Markets under EU ETS: A Stochastic Programming Approach

abstract: The European Union Emission Trading Scheme (EU ETS) is a cornerstone of the EU's strategy to fight climate change and an important device for plummeting greenhouse gas (GHG) emissions in an economically efficient manner. The power industry has switched to an auction-based allocation system at the onset of Phase III of the EU ETS to bring economic efficiency by negating windfall profits that have been resulted from grandfathered allocation of allowances in the previous phases. In this work, we analyze and simulate the interaction of oligopolistic generators in an electricity market with a game-theoretical framework where the electricity and the emissions markets interact in a two-stage electricity market. For analytical simplicity, we assume a single futures market where the electricity is committed at the futures price, and the emissions allowance is contracted in advance, prior to a spot market where the energy and allowances delivery takes place. Moreover, a coherent risk measure is applied (Conditional Value at Risk) to model both risk averse and risk neutral generators and a two-stage stochastic optimization setting is introduced to deal with the uncertainty of renewable capacity, demand, generation, and emission costs. The performance of the proposed equilibrium model and its main properties are examined through realistic numerical simulations. Our results show that renewable generators are surging and substituting conventional generators without compromising social welfare. Hence, both renewable deployment and emission allowance auctioning are effectively reducing GHG emissions and promoting low-carbon economic path.


title: Dandelion: multiplexing Byzantine agreements to unlock blockchain performance

abstract: Permissionless blockchain protocols are known to consume an outrageous amount of computing power and suffer from a trade-off between latency and confidence in transaction confirmation. The recently proposed Algorand blockchain protocol employs Byzantine agreements and has shown transaction confirmation latency on the order of seconds. Its strong resilience to Denial-of-Service and Sybil attacks and its low computing power footprint make it a strong candidate for the venue of decentralized economies and business ecosystems across industries. Nevertheless, Algorand's throughput is still far from the requirements of such applications. In this paper, we empower Algorand's protocol by multiplexing its byzantine agreements in order to improve performance. Experiments on wide area networks with up to ten thousand nodes show a 4-fold throughput increase compared to the original Algorand protocol.


title: Black-box adversarial attacks using Evolution Strategies

abstract: In the last decade, deep neural networks have proven to be very powerful in computer vision tasks, starting a revolution in the computer vision and machine learning fields. However, deep neural networks, usually, are not robust to perturbations of the input data. In fact, several studies showed that slightly changing the content of the images can cause a dramatic decrease in the accuracy of the attacked neural network. Several methods able to generate adversarial samples make use of gradients, which usually are not available to an attacker in real-world scenarios. As opposed to this class of attacks, another class of adversarial attacks, called black-box adversarial attacks, emerged, which does not make use of information on the gradients, being more suitable for real-world attack scenarios. In this work, we compare three well-known evolution strategies on the generation of black-box adversarial attacks for image classification tasks. While our results show that the attacked neural networks can be, in most cases, easily fooled by all the algorithms under comparison, they also show that some black-box optimization algorithms may be better in "harder" setups, both in terms of attack success rate and efficiency (i.e., number of queries).


title: Energetic constraints on filament mediated cell polarization

abstract: Cell polarization underlies many cellular processes, such as differentiation, migration, and budding. Many living cells, such as budding yeast and fission yeast, use cytoskeletal structures to actively transport proteins to one location on the membrane and create a high density spot of membrane-bound proteins. Yet, the thermodynamic constraints on filament-based cell polarization remain unknown. We show by mathematical modeling that cell polarization requires detailed balance to be broken, and we quantify the free-energy cost of maintaining a polarized state of the cell. Our study reveals that detailed balance cannot only be broken via the active transport of proteins along filaments, but also via a chemical modification cycle, allowing detailed balance to be broken by the shuttling of proteins between the filament, membrane, and cytosol. Our model thus shows that cell polarization can be established via two distinct driving mechanisms, one based on active transport and one based on non-equilibrium binding. Furthermore, the model predicts that the driven binding process dissipates orders of magnitude less free-energy than the transport-based process to create the same membrane spot. Active transport along filaments may be sufficient to create a polarized distribution of membrane-bound proteins, but an additional chemical modification cycle of the proteins themselves is more efficient and less sensitive to the physical exclusion of proteins on the transporting filaments, providing insight in the design principles of the Pom1/Tea1/Tea4 system in fission yeast and the Cdc42 system in budding yeast.


title: Metastable two-component solitons near an exceptional point

abstract: We consider a two-dimensional nonlinear waveguide with distributed gain and losses. The optical potential describing the system consists of an unperturbed complex potential depending only on one transverse coordinate, i.e., corresponding to a planar waveguide, and a small non-separable perturbation depending on both transverse coordinates. It is assumed that the spectrum of the unperturbed planar waveguide features an exceptional point (EP), while the perturbation drives the system into the unbroken phase. Slightly below the EP, the waveguide sustains two-component envelope solitons. We derive one-dimensional equations for the slowly varying envelopes of the components and show their stable propagation. When both traverse directions are taken into account within the framework of the original model, the obtained two-component bright solitons become metastable and persist over remarkably long propagation distances.


title: Sub-posets in $\omega^\omega$ and the Strong Pytkeev$^\ast$ Property

abstract: Tukey order are used to compare the cofinal complexity of partially order sets (posets). We prove that there is a $2^\mathfrak{c}$-sized collection of sub-posets in $2^\omega$ which forms an antichain in the sense of Tukey ordering. Using the fact that any boundedly-complete sub-poset of $\omega^\omega$ is a Tukey quotient of $\omega^\omega$, we answer two open questions published in \cite{FKL16}. The relation between $P$-base and strong Pytkeev$^\ast$ property is investigated. Let $P$ be a poset equipped with a second-countable topology in which every convergent sequence is bounded. Then we prove that any topological space with a $P$-base has the strong Pytkeev$^\ast$ property. Furthermore, we prove that every uncountably-dimensional locally convex space (lcs) with a $P$-base contains an infinite-dimensional metrizable compact subspace. Examples in function spaces are given.


title: DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications

abstract: The rapid growth of Decentralized Finance (DeFi) boosts the Ethereum ecosystem. At the same time, attacks towards DeFi applications (apps) are increasing. However, to the best of our knowledge, existing smart contract vulnerability detection tools cannot be directly used to detect DeFi attacks. That's because they lack the capability to recover and understand high-level DeFi semantics, e.g., a user trades a token pair X and Y in a Decentralized EXchange (DEX). In this work, we focus on the detection of two types of new attacks on DeFi apps, including direct and indirect price manipulation attacks. The former one means that an attacker directly manipulates the token price in DEX by performing an unwanted trade in the same DEX by attacking the vulnerable DeFi app. The latter one means that an attacker indirectly manipulates the token price of the vulnerable DeFi app (e.g., a lending app). To this end, we propose a platform-independent way to recover high-level DeFi semantics by first constructing the cash flow tree from raw Ethereum transactions and then lifting the low-level semantics to high-level ones, including token trade, liquidity mining, and liquidity cancel. Finally, we detect price manipulation attacks using the patterns expressed with the recovered DeFi semantics. We have implemented a prototype named \tool{} and applied it to more than 350 million transactions. It successfully detected 432 real-world attacks in the wild. We confirm that they belong to four known security incidents and five zero-day ones. We reported our findings. Two CVEs have been assigned. We further performed an attack analysis to reveal the root cause of the vulnerability, the attack footprint, and the impact of the attack. Our work urges the need to secure the DeFi ecosystem.


title: A Good Image Generator Is What You Need for High-Resolution Video Synthesis

abstract: Image and video synthesis are closely related areas aiming at generating content from noise. While rapid progress has been demonstrated in improving image-based models to handle large resolutions, high-quality renderings, and wide variations in image content, achieving comparable video generation results remains problematic. We present a framework that leverages contemporary image generators to render high-resolution videos. We frame the video synthesis problem as discovering a trajectory in the latent space of a pre-trained and fixed image generator. Not only does such a framework render high-resolution videos, but it also is an order of magnitude more computationally efficient. We introduce a motion generator that discovers the desired trajectory, in which content and motion are disentangled. With such a representation, our framework allows for a broad range of applications, including content and motion manipulation. Furthermore, we introduce a new task, which we call cross-domain video synthesis, in which the image and motion generators are trained on disjoint datasets belonging to different domains. This allows for generating moving objects for which the desired video data is not available. Extensive experiments on various datasets demonstrate the advantages of our methods over existing video generation techniques. Code will be released at https://github.com/snap-research/MoCoGAN-HD.


title: Finite-temperature critical behavior of long-range quantum Ising models

abstract: We study the phase diagram and critical properties of quantum Ising chains with long-range ferromagnetic interactions decaying in a power-law fashion with exponent $\alpha$, in regimes of direct interest for current trapped ion experiments. Using large-scale path integral Monte Carlo simulations, we investigate both the ground-state and the nonzero-temperature regimes. We identify the phase boundary of the ferromagnetic phase and obtain accurate estimates for the ferromagnetic-paramagnetic transition temperatures. We further determine the critical exponents of the respective transitions. Our results are in agreement with existing predictions for interaction exponents $\alpha > 1$ up to small deviations in some critical exponents. We also address the elusive regime $\alpha < 1$, where we find that the universality class of both the ground-state and nonzero-temperature transition is consistent with the mean-field limit at $\alpha = 0$. Our work not only contributes to the understanding of the equilibrium properties of long-range interacting quantum Ising models, but can also be important for addressing fundamental dynamical aspects, such as issues concerning the open question of thermalization in such models.


title: On the randomized Euler schemes for ODEs under inexact information

abstract: We analyse errors of randomized explicit and implicit Euler schemes for approximate solving of ordinary differential equations (ODEs). We consider classes of ODEs for which the right-hand side functions satisfy Lipschitz condition globally or only locally. Moreover, we assume that only inexact discrete information, corrupted by some noise, about the right-hand side function is available. Optimality and stability of explicit and implicit randomized Euler algorithms are also investigated.


title: Shokurov's conjecture on conic bundles with canonical singularities

abstract: A conic bundle is a contraction $X\to Z$ between normal varieties of relative dimension $1$ such that $-K_X$ is relatively ample. We prove a conjecture of Shokurov which predicts that, if $X\to Z$ is a conic bundle such that $X$ has canonical singularities and $Z$ is $\mathbb{Q}$-Gorenstein, then $Z$ is always $\frac{1}{2}$-lc, and the multiplicities of the fibers over codimension $1$ points are bounded from above by $2$. Both values $\frac{1}{2}$ and $2$ are sharp. This is achieved by solving a more general conjecture of Shokurov on singularities of bases of lc-trivial fibrations of relative dimension $1$ with canonical singularities.


title: Virtual critical regularity of mapping class group actions on the circle

abstract: We show that if $G_1$ and $G_2$ are non-solvable groups, then no $C^{1,\tau}$ action of $(G_1\times G_2)*\mathbb{Z}$ on $S^1$ is faithful for $\tau>0$. As a corollary, if $S$ is an orientable surface of complexity at least three then the critical regularity of an arbitrary finite index subgroup of the mapping class group $\mathrm{Mod}(S)$ with respect to the circle is at most one, thus strengthening a result of the first two authors with Baik.


title: Search for $CP$ violation in $\Xi_b^- \to p K^- K^-$ decays

abstract: A search for $CP$ violation in charmless three-body $\Xi_b^- \to p K^- K^-$ decays is performed using $pp$ collision data recorded with the LHCb detector, corresponding to integrated luminosities of $1\,\text{fb}^{-1}$ at a centre-of-mass energy $\sqrt{s} = 7\,\text{TeV}$, $2\,\text{fb}^{-1}$ at $\sqrt{s} = 8\,\text{TeV}$ and $2\,\text{fb}^{-1}$ at $\sqrt{s} = 13\,\text{TeV}$. A good description of the phase-space distribution is obtained with an amplitude model containing contributions from $\Sigma(1385)$, $\Lambda(1405)$, $\Lambda(1520)$, $\Lambda(1670)$, $\Sigma(1775)$ and $\Sigma(1915)$ resonances. The model allows for $CP$-violation effects, which are found to be consistent with zero. The branching fractions of $\Xi_b^- \to \Sigma(1385) K^-$, $\Xi_b^- \to \Lambda(1405) K^-$, $\Xi_b^- \to \Lambda(1520) K^-$, $\Xi_b^- \to \Lambda(1670) K^-$, $\Xi_b^- \to \Sigma(1775) K^-$ and $\Xi_b^- \to \Sigma(1915) K^-$ decays are also reported. In addition, an upper limit is placed on the product of ratios of $\Omega_b^-$ and $\Xi_b^-$ fragmentation fractions and the $\Omega_b^- \to p K^- K^-$ and $\Xi_b^- \to p K^- K^-$ branching fractions.


title: Participatory Budgeting with Donations and Diversity Constraints

abstract: Participatory budgeting (PB) is a democratic process where citizens jointly decide on how to allocate public funds to indivisible projects. This paper focuses on PB processes where citizens may give additional money to projects they want to see funded. We introduce a formal framework for this kind of PB with donations. Our framework also allows for diversity constraints, meaning that each project belongs to one or more types, and there are lower and upper bounds on the number of projects of the same type that can be funded. We propose three general classes of methods for aggregating the citizens' preferences in the presence of donations and analyze their axiomatic properties. Furthermore, we investigate the computational complexity of determining the outcome of a PB process with donations and of finding a citizen's optimal donation strategy.


title: Climate Modelling in Low-Precision: Effects of both Deterministic & Stochastic Rounding

abstract: Motivated by recent advances in operational weather forecasting, we study the efficacy of low-precision arithmetic for climate simulations. We develop a framework to measure rounding error in a climate model which provides a stress-test for a low-precision version of the model, and we apply our method to a variety of models including the Lorenz system; a shallow water approximation for flow over a ridge; and a coarse resolution global atmospheric model with simplified parameterisations (SPEEDY). Although double precision (52 significant bits) is standard across operational climate models, in our experiments we find that single precision (23 sbits) is more than enough and that as low as half precision (10 sbits) is often sufficient. For example, SPEEDY can be run with 12 sbits across the entire code with negligible rounding error and this can be lowered to 10 sbits if very minor errors are accepted, amounting to less than 0.1 mm/6hr for the average grid-point precipitation, for example. Our test is based on the Wasserstein metric and this provides stringent non-parametric bounds on rounding error accounting for annual means as well as extreme weather events. In addition, by testing models using both round-to-nearest (RN) and stochastic rounding (SR) we find that SR can mitigate rounding error across a range of applications. Thus our results also provide evidence that SR could be relevant to next-generation climate models. While many studies have shown that low-precision arithmetic can be suitable on short-term weather forecasting timescales, our results give the first evidence that a similar low precision level can be suitable for climate.


title: Strange pentaquarks and excited $\Xi$ hyperons in $\Xi_b^- \to J/\psi \Lambda K^-$ final states

abstract: We comment on the recent evidence by the LHCb Collaboration for a structure in the $J/\psi \Lambda$ final state produced in the decay $\Xi^-_b \to J/\psi \Lambda K^-$, with minimal quark content $c \bar c u d s$.


title: Analogue gravity simulation of superpositions of spacetimes

abstract: Taking the principles of quantum mechanics as they stand and applying them to gravity, leads to the conclusion that one might be able to generate superpositions of spacetimes, at least formally. We analyze such a possibility from an analogue gravity perspective. We present an analogue toy model consisting of a Bose-Einstein condensate in a double-well potential and identify the states that could potentially be interpreted as superposition of effective spacetimes. These states are unstable and the source of instability from a microscopic point of view can be related to the absence of a well-defined causal structure in the effective geometric description. We explore the consequences of these instabilities and argue that they resonate with Penrose's ideas about the decay that superpositions of states with sufficiently different gravitational fields associated should experience.


title: Ranking the information content of distance measures

abstract: Real-world data typically contain a large number of features that are often heterogeneous in nature, relevance, and also units of measure. When assessing the similarity between data points, one can build various distance measures using subsets of these features. Using the fewest features but still retaining sufficient information about the system is crucial in many statistical learning approaches, particularly when data are sparse. We introduce a statistical test that can assess the relative information retained when using two different distance measures, and determine if they are equivalent, independent, or if one is more informative than the other. This in turn allows finding the most informative distance measure out of a pool of candidates. The approach is applied to find the most relevant policy variables for controlling the Covid-19 epidemic and to find compact yet informative representations of atomic structures, but its potential applications are wide ranging in many branches of science.


title: Do alcoved lattice polytopes have unimodal h*-vector?

abstract: We show that h*-vectors of alcoved polytopes P in R^n (of Lie type A) are unimodal if they contain interior lattice points and their facets have lattice distance 1 to the set of interior lattice points. The maximal possible such distance for general alcoved polytopes is shown to be dim(P)-1. A secondary purpose of the paper is to serve as a guide to previous work surrounding unimodality of h*-vectors of alcoved polytopes and related questions.