title: A Lichnerowicz Vanishing Theorem for the Maximal Roe Algebra

abstract: We show that if a countable discrete group acts properly and isometrically on a spin manifold of bounded Riemannian geometry and uniformly positive scalar curvature, then, under a suitable condition on the group action, the maximal higher index of the Dirac operator vanishes in K-theory of the maximal equivariant Roe algebra. The group action is not assumed to be cocompact. A key step in the proof is to establish a functional calculus for the Dirac operator in the maximal equivariant uniform Roe algebra. This allows us to prove vanishing of the index of the Dirac operator in K-theory of this algebra, which in turn yields the result for the maximal higher index.


title: Attention Based Pruning for Shift Networks

abstract: In many application domains such as computer vision, Convolutional Layers (CLs) are key to the accuracy of deep learning methods. However, it is often required to assemble a large number of CLs, each containing thousands of parameters, in order to reach state-of-the-art accuracy, thus resulting in complex and demanding systems that are poorly fitted to resource-limited devices. Recently, methods have been proposed to replace the generic convolution operator by the combination of a shift operation and a simpler 1x1 convolution. The resulting block, called Shift Layer (SL), is an efficient alternative to CLs in the sense it allows to reach similar accuracies on various tasks with faster computations and fewer parameters. In this contribution, we introduce Shift Attention Layers (SALs), which extend SLs by using an attention mechanism that learns which shifts are the best at the same time the network function is trained. We demonstrate SALs are able to outperform vanilla SLs (and CLs) on various object recognition benchmarks while significantly reducing the number of float operations and parameters for the inference.


title: Gravitational dephasing in spontaneous emission of atomic ensembles in timed Dicke states

abstract: Here we discuss an effect of dephasing induced by a weak gravitational field on the collective radiation dynamics of an atomic system in timed single-photon Dicke states. We show that a photon absorbed by the stationary system of randomly placed stationary atoms is no longer spontaneously emitted in the direction of the impinging photon. Gravity leads to broadening of the angular distribution of emission.


title: Dual-criteria time stepping for weakly compressible smoothed particle hydrodynamics

abstract: Implementing particle-interaction configuration and time integration are performance intensive essentials of particle-based methods. In this paper, a dual-criteria time-stepping method is proposed to improve the computational efficiency of the weakly-compressible smoothed particle hydrodynamic (WCSPH) method for modeling incompressible flows. The key idea is to introduce an advection time criterion, which is based on fluid velocity field, for recreating the particle-interaction configuration. Within this time criterion, several steps of pressure relaxation determined by the acoustic time criterion, based on the artificial speed of sound, can be carried out without updating the particle interaction configuration and much larger time-step sizes compared with the conventional counterpart. The method has shown optimized computational performance through CPU cost analysis. Good accuracy and performance is obtained for the presented benchmarks implying promising potential of the proposed method for incompressible flow and fluid-structure interaction simulations.


title: Semiclassical behaviour of quantum eigenstates

abstract: Given a quantum Hamiltonian, we explain how the dynamical properties of the underlying classical system affect the behaviour of quantum eigenstates in the semi-classical limit. We study this problem via the notion of semiclassical measures. We mostly focus on two opposite dynamical paradigms: completely integrable systems and chaotic ones. We recall standard tools from microlocal analysis and from dynamical systems. We show how to use them in order to illustrate the classical-quantum correspondance and to compare properties of completely integrable and chaotic systems.

categories: math-ph math.AP math.MP math.SP quant-ph


title: Revision in Continuous Space: Unsupervised Text Style Transfer without Adversarial Learning

abstract: Typical methods for unsupervised text style transfer often rely on two key ingredients: 1) seeking the explicit disentanglement of the content and the attributes, and 2) troublesome adversarial learning. In this paper, we show that neither of these components is indispensable. We propose a new framework that utilizes the gradients to revise the sentence in a continuous space during inference to achieve text style transfer. Our method consists of three key components: a variational auto-encoder (VAE), some attribute predictors (one for each attribute), and a content predictor. The VAE and the two types of predictors enable us to perform gradient-based optimization in the continuous space, which is mapped from sentences in a discrete space, to find the representation of a target sentence with the desired attributes and preserved content. Moreover, the proposed method naturally has the ability to simultaneously manipulate multiple fine-grained attributes, such as sentence length and the presence of specific words, when performing text style transfer tasks. Compared with previous adversarial learning based methods, the proposed method is more interpretable, controllable and easier to train. Extensive experimental studies on three popular text style transfer tasks show that the proposed method significantly outperforms five state-of-the-art methods.


title: Fusion of Heterogeneous Earth Observation Data for the Classification of Local Climate Zones

abstract: This paper proposes a novel framework for fusing multi-temporal, multispectral satellite images and OpenStreetMap (OSM) data for the classification of local climate zones (LCZs). Feature stacking is the most commonly-used method of data fusion but does not consider the heterogeneity of multimodal optical images and OSM data, which becomes its main drawback. The proposed framework processes two data sources separately and then combines them at the model level through two fusion models (the landuse fusion model and building fusion model), which aim to fuse optical images with landuse and buildings layers of OSM data, respectively. In addition, a new approach to detecting building incompleteness of OSM data is proposed. The proposed framework was trained and tested using data from the 2017 IEEE GRSS Data Fusion Contest, and further validated on one additional test set containing test samples which are manually labeled in Munich and New York. Experimental results have indicated that compared to the feature stacking-based baseline framework the proposed framework is effective in fusing optical images with OSM data for the classification of LCZs with high generalization capability on a large scale. The classification accuracy of the proposed framework outperforms the baseline framework by more than 6% and 2%, while testing on the test set of 2017 IEEE GRSS Data Fusion Contest and the additional test set, respectively. In addition, the proposed framework is less sensitive to spectral diversities of optical satellite images and thus achieves more stable classification performance than state-of-the art frameworks.


title: Effective viscosity of a polydispersed suspension

abstract: We compute the first order correction of the effective viscosity for a suspension containing solid particles with arbitrary shapes. We rewrite the computation as an homogenization problem for the Stokes equations in a perforated domain. Then, we extend the method of reflections to approximate the solution to the Stokes problem with a fixed number of particles. By obtaining sharp estimates, we are able to prove that this method converges for small volume fraction of the solid phase whatever the number of particles. This allows to address the limit when the number of particles diverges while their radius tends to 0. We obtain a system of PDEs similar to the Stokes system with a supplementary term in the viscosity proportional to the volume fraction of the solid phase in the mixture.


title: Multiplicative persistent distances

abstract: We define and study several new interleaving distances for persistent cohomology which take into account the algebraic structures of the cohomology of a space, for instance the cup product or the action of the Steenrod algebra. In particular, we prove that there exists a persistent A-infinity-structure associated to data sets and and we define the associated distance. We prove the stability of these new distances for Cech or Vietoris Rips complexes with respect to the Gromov-Hausdorff distance, and we compare these new distances with each other and the classical one, building some examples which prove that they are not equal in general and refine effectively the classical bottleneck distance.


title: From LaH10 to room-temperature superconductors

abstract: Thermodynamic parameters of the $\rm LaH_{10}$ superconductor were an object of our interest. $\rm LaH_{10}$ is characterised by the highest experimentally observed value of the critical temperature: $T^{a}_{C}=215$~K ($p_{a}=150$~GPa) and $T^{b}_{C}=260$~K ($p_{b}=190$~GPa). It belongs to the group of superconductors with a~strong electron--phonon coupling ($\lambda_{a}\sim 2.2$ and $\lambda_{b}\sim 2.8$). We calculated thermodynamical parameters of this superconductor and found that the values of the order parameter, the thermodynamic critical field, and the specific heat differ significantly from the values predicted by the conventional BCS theory. Due to the specific structure of the Eliashberg function for the hydrogenated compounds, the qualitative analysis suggests that the superconductors of the ${\rm La_{\delta}X_{1-\delta}H_{10}}$--type (LaXH--type) structure, where ${\rm X}\in\{{\rm Sc},{\rm Y}\}$, would exhibit significantly higher critical temperature than $T_{C}$ obtained for $\rm LaH_{10}$. In the case of LaScH we came to the following assessments: $T^{a}_{C}\in\left<220,267\right>$~K and $T^{b}_{C}\in\left<263,294\right>$~K, while the results for LaYH were: $T^{a}_{C}\in\left<218,247\right>$~K and $T^{b}_{C}\in\left<261,274\right>$~K.


title: The condition for a cyclic code over Z4 of odd length to have a complementary dual

abstract: We show that a necessary and sufficient condition for a cyclic code C over Z4 of odd length to be an LCD code is that C=(f(x)) where f is a self-reciprocal polynomial in Z4[X].


title: Adversarial Imitation Learning from Incomplete Demonstrations

abstract: Imitation learning targets deriving a mapping from states to actions, a.k.a. policy, from expert demonstrations. Existing methods for imitation learning typically require any actions in the demonstrations to be fully available, which is hard to ensure in real applications. Though algorithms for learning with unobservable actions have been proposed, they focus solely on state information and overlook the fact that the action sequence could still be partially available and provide useful information for policy deriving. In this paper, we propose a novel algorithm called Action-Guided Adversarial Imitation Learning (AGAIL) that learns a policy from demonstrations with incomplete action sequences, i.e., incomplete demonstrations. The core idea of AGAIL is to separate demonstrations into state and action trajectories, and train a policy with state trajectories while using actions as auxiliary information to guide the training whenever applicable. Built upon the Generative Adversarial Imitation Learning, AGAIL has three components: a generator, a discriminator, and a guide. The generator learns a policy with rewards provided by the discriminator, which tries to distinguish state distributions between demonstrations and samples generated by the policy. The guide provides additional rewards to the generator when demonstrated actions for specific states are available. We compare AGAIL to other methods on benchmark tasks and show that AGAIL consistently delivers comparable performance to the state-of-the-art methods even when the action sequence in demonstrations is only partially available.


title: Development and characterization of detectors for large area application in neutron scattering and small area application in neutron reflectometry

abstract: Neutron scattering techniques offer a unique combination of structural and the dynamic information of atomic and molecular systems over a wide range of distances and times. The increasing complexity in science investigations driven by technological advances is reflected in the studies of neutron scattering science, which enforces a diversification and an improvement of experimental tools, from the instrument design to the detector performance. It calls as well for more advanced data analysis and modelling. The improvements in resolution, count rate and signal-to-background ratio, achievable with the new instrumentations, also drive the research of alternative technologies to replace the 3He-based detector technology unable to fulfil the requirement of increasing performance. Two solution have been studied: a boron-10-based gaseous detector, the Multi-Blade and a solid-state Si-Gd detector. Both solution are suitable alternatives for neutron detection, able to meet the demands of high performance. It has been shown not only the technical characteristic of the devices, but how the science can profit from the better performance of these new detector technologies in real experimental condition.


title: Recurrence relations for Wronskian Laguerre polynomials

abstract: The 3-term recurrence relation for Hermite polynomials was recently generalized to a recurrence relation for Wronskians of Hermite polynomials. In this note, a similar generalization for Laguerre polynomials is obtained.


title: G2R Bound: A Generalization Bound for Supervised Learning from GAN-Synthetic Data

abstract: Performing supervised learning from the data synthesized by using Generative Adversarial Networks (GANs), dubbed GAN-synthetic data, has two important applications. First, GANs may generate more labeled training data, which may help improve classification accuracy. Second, in scenarios where real data cannot be released outside certain premises for privacy and/or security reasons, using GAN- synthetic data to conduct training is a plausible alternative. This paper proposes a generalization bound to guarantee the generalization capability of a classifier learning from GAN-synthetic data. This generalization bound helps developers gauge the generalization gap between learning from synthetic data and testing on real data, and can therefore provide the clues to improve the generalization capability.


title: Holographic correlators in AdS$_3$ without Witten diagrams

abstract: We present a formula for the holographic 4-point correlators in AdS$_3 \times S^3$ involving four single-trace operators of dimension $k, k, l, l$. As an input we use the supergravity results for the Heavy-Heavy-Light-Light correlators that can be derived by studying the linear fluctuations around known asymptotically AdS$_3 \times S^3$ geometries. When the operators of dimension $k$ and $l$ are in the same multiplet there are contributions due to the exchange of single-trace operators in the $t$ and $u$ channels, which are not captured by the approach mentioned above. However by rewriting the $s$-channel results in Mellin space we obtain a compact expression for the $s$-channel contribution that makes it possible to conjecture a formula for the complete result. We discuss some consistency checks that our proposal meets.


title: A Method of Expressing the Magnitude of Merit of Being Able to Access a Side Information During Encoding

abstract: In general, if there is one device A with the same performance as many devices B, it would be better to replace many devices with one device. In order to determine the number of devices that can be reduced, it is important to determine the number of other devices B having the same performance as one device A. In this paper, based on the concept of "representing the performance of one coding system A_n by the number of other coding systems B_n", we consider the merits of an encoder that can access the side information in the fixed-length source coding in general sources. The purpose of this paper is to characterize the merit of being able to access the side information during encoding with the number k_n of coding systems that can not access the side information during encoding. For this purpose, we derive general formulas for the upper limit of error probability and reliability functions without assuming a specific information theoretical structure. These general formulas are applicable to various fields other than source coding problems, because they have been proved without assuming any particular information theoretical structure. We prove some theorems under the condition that the coding system is subadditive.


title: Hamiltonian for guiding center motion: symplectic structure approach

abstract: The guiding center approximation represents a very powerful tool for analyzing and modeling a charged particle motion in strong magnetic fields. This approximation is based on conservation of the adiabatic invariant, magnetic moment. Hamiltonian equations for the guiding centre motion are traditionally intoduced using a non-canonical symplectic structure. Such approach requires application of non-canonical Hamiltonian perturbation theory for calculations of the magnetic moment corrections. In this study we present an alternative approach with canonical Hamiltonian equations for guiding centre motion in time-dependent electromagnetic fields. We show that the derived Hamiltonian decouples three types of motion (gyrorotation, field-aligned motion, and across-field drifts), and each type is described by a pair of conjugate variables. This form of Hamiltonian and symplectic structure allows simple introduction of adiabatic invariants and can be useful for analysis of various plasma systems.

categories: physics.plasm-ph math-ph math.DS math.MP


title: Factorization of the translation kernel for fast rigid image alignment

abstract: An important component of many image alignment methods is the calculation of inner products (correlations) between an image of $n\times n$ pixels and another image translated by some shift and rotated by some angle. For robust alignment of an image pair, the number of considered shifts and angles is typically high, thus the inner product calculation becomes a bottleneck. Existing methods, based on fast Fourier transforms (FFTs), compute all such inner products with computational complexity $\mathcal{O}(n^3 \log n)$ per image pair, which is reduced to $\mathcal{O}(N n^2)$ if only $N$ distinct shifts are needed. We propose to use a factorization of the translation kernel (FTK), an optimal interpolation method which represents images in a Fourier--Bessel basis and uses a rank-$H$ approximation of the translation kernel via an operator singular value decomposition (SVD). Its complexity is $\mathcal{O}(Hn(n + N))$ per image pair. We prove that $H = \mathcal{O}((W + \log(1/\epsilon))^2)$, where $2W$ is the magnitude of the maximum desired shift in pixels and $\epsilon$ is the desired accuracy. For fixed $W$ this leads to an acceleration when $N$ is large, such as when sub-pixel shift grids are considered. Finally, we present numerical results in an electron cryomicroscopy application showing speedup factors of $3$-$10$ with respect to the state of the art.


title: Critical graphs for the chromatic edge-stability number

abstract: The chromatic edge-stability number ${\rm es}_{\chi}(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph $G'$ with $\chi(G')=\chi(G)-1$. Edge-stability critical graphs are introduced as the graphs $G$ with the property that ${\rm es}_{\chi}(G-e) < {\rm es}_{\chi}(G)$ holds for every edge $e\in E(G)$. If $G$ is an edge-stability critical graph with $\chi(G)=k$ and ${\rm es}_{\chi}(G)=\ell$, then $G$ is $(k,\ell)$-critical. Graphs which are $(3,2)$-critical and contain at most four odd cycles are classified. It is also proved that the problem of deciding whether a graph $G$ has $\chi(G)=k$ and is critical for the chromatic number can be reduced in polynomial time to the problem of deciding whether a graph is $(k,2)$-critical.


title: Researh Note: Stokes-Einstein relation in simple fluids revisited

abstract: In this Research Note the Zwanzig's formulation of the Stokes-Einstein (SE) relation for simple atomistic fluids is re-examined. It is shown that the value of the coefficient in SE relation depends on the ratio of the transverse and longitudinal sound velocities. In some cases, this ratio can be directly related to the pair interaction potential operating in fluids and thus there can be a certain level of predictivity regarding the value of this coefficient. This Research Note provides some evidence in favour of this observation. In particular, analyzing the situation in several model systems such as one-component plasma, Yukawa, inverse-power-law, Lennard-Jones, and hard-sphere fluids, it is demonstrated that there are certain correlations between the interaction softness and the coefficient in SE relation. The SE coefficient is also re-evaluated for various liquid metals at the melting temperature, for which necessary data are available.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph physics.plasm-ph


title: Surface properties of large TNOs: Expanding the study to longer wavelengths with the James Webb Space Telescope

abstract: The largest trans-Neptunian objects (TNOs) represent an extremely diverse collection of primitive bodies in the outer solar system. The community typically refers to these objects as dwarf planets, though the IAU acknowledges only four TNOs officially as such: Pluto, Eris, Makemake, and Haumea. We present a list of 36 potential candidates for reclassification as dwarf planets, namely candidate dwarf planets (CDPs), which cover a wide range of sizes, geometric albedos, surface colors and probably, composition. Understanding the properties across this population, and how those properties change with size, will yield useful constraints on the environment in which these TNOs formed, as well as their dynamical evolution, and bulk interior composition. TNO surface characteristics are ideal for study with the James Webb Space Telescope (JWST), which provides imaging and spectroscopic capabilities from 0.6 to 28 $\mu$m. The four available science instruments, MIRI, NIRCam, NIRISS, and NIRSpec, and their capabilities for the study of TNOs, are presented. JWST will expand on the wavelength range observable from the ground in the near-infrared (0.6-5 $\mu$m) for compositional studies and will open a new window on TNOs in the mid-infrared (5-28 $\mu$m) for thermal characterization.


title: Complex-valued neural networks for machine learning on non-stationary physical data

abstract: Deep learning has become an area of interest in most scientific areas, including physical sciences. Modern networks apply real-valued transformations on the data. Particularly, convolutions in convolutional neural networks discard phase information entirely. Many deterministic signals, such as seismic data or electrical signals, contain significant information in the phase of the signal. We explore complex-valued deep convolutional networks to leverage non-linear feature maps. Seismic data commonly has a lowcut filter applied, to attenuate noise from ocean waves and similar long wavelength contributions. Discarding the phase information leads to low-frequency aliasing analogous to the Nyquist-Shannon theorem for high frequencies. In non-stationary data, the phase content can stabilize training and improve the generalizability of neural networks. While it has been shown that phase content can be restored in deep neural networks, we show how including phase information in feature maps improves both training and inference from deterministic physical data. Furthermore, we show that the reduction of parameters in a complex network outperforms larger real-valued networks.

categories: cs.LG cs.CV physics.comp-ph physics.geo-ph stat.ML


title: A Study of BFLOAT16 for Deep Learning Training

abstract: This paper presents the first comprehensive empirical study demonstrating the efficacy of the Brain Floating Point (BFLOAT16) half-precision format for Deep Learning training across image classification, speech recognition, language modeling, generative networks and industrial recommendation systems. BFLOAT16 is attractive for Deep Learning training for two reasons: the range of values it can represent is the same as that of IEEE 754 floating-point format (FP32) and conversion to/from FP32 is simple. Maintaining the same range as FP32 is important to ensure that no hyper-parameter tuning is required for convergence; e.g., IEEE 754 compliant half-precision floating point (FP16) requires hyper-parameter tuning. In this paper, we discuss the flow of tensors and various key operations in mixed precision training, and delve into details of operations, such as the rounding modes for converting FP32 tensors to BFLOAT16. We have implemented a method to emulate BFLOAT16 operations in Tensorflow, Caffe2, IntelCaffe, and Neon for our experiments. Our results show that deep learning training using BFLOAT16 tensors achieves the same state-of-the-art (SOTA) results across domains as FP32 tensors in the same number of iterations and with no changes to hyper-parameters.


title: Quantum control attack on quantum key distribution systems

abstract: In this paper we present the quantum control attack on quantum key distribution systems. The cornerstone of the attack is that Eve can use unitary (polar) decomposition of her positive-operator valued measure elements, which allows her to realize the feed-forward operation (quantum control), change the states in the channel after her measurement and impose them to Bob. Below we consider the general eavesdropping strategy and the conditions those should be satisfied to provide the attack successfully. Moreover we consider several types of the attack, each of them is based on a different type of discrimination. We also provide the example on two non-orthogonal states and discuss different strategies in this case.


title: A new definition of the distortion matrix for an audio-to-score alignment system

abstract: In this paper we present a new definition of the distortion matrix for a score following framework based on DTW. The proposal consists of arranging the score information in a sequence of note combinations and learning a spectral pattern for each combination using instrument models. Then, the distortion matrix is computed using these spectral patterns and a novel decomposition of the input signal.


title: Towards Polarization-based Excitation Tailoring for Extended Raman Spectroscopy

abstract: Undoubtedly, Raman spectroscopy is one of the most elaborated spectroscopy tools in materials science, chemistry, medicine and optics. However, when it comes to the analysis of nanostructured specimens, accessing the Raman spectra resulting from an exciting electric field component oriented perpendicularly to the substrate plane is a difficult task and conventionally can only be achieved by mechanically tilting the sample, or by sophisticated sample preparation. Here, we propose a novel experimental method based on the utilization of polarization tailored light for Raman spectroscopy of individual nanostructures. As a proof of principle, we create three-dimensional electromagnetic field distributions at the nanoscale using tightly focused cylindrical vector beams impinging normally onto the specimen, hence keeping the conventional beam-path of commercial Raman systems. Using this excitation scheme, we experimentally show that the recorded Raman spectra of individual gallium-nitride nanostructures of sub-wavelength diameter used as a test platform depend sensitively on their location relative to the focal vector field. The observed Raman spectra can be attributed to the interaction with transverse or longitudinal electric field components. This novel technique may pave the way towards a characterization of Raman active nanosystems using full information of all Raman modes.


title: Fluctuations of the Magnetization for Ising Models on Dense Erd\H{o}s-R\'enyi Random Graphs

abstract: We analyze Ising/Curie-Weiss models on the (directed) Erd\H{o}s-R\'enyi random graph on $N$ vertices in which every edge is present with probability $p$. These models were introduced by Bovier and Gayrard [J. Stat. Phys., 1993]. We prove a quenched Central Limit Theorem for the magnetization in the high-temperature regime $\beta<1$ when $p=p(N)$ satisfies $p^3N^2\to +\infty$.


title: On noncommutative generalisations of Boolean algebras

abstract: Skew Boolean algebras (skew BA) and Boolean-like algebras (nBA) are one-pointed and n-pointed noncommutative generalisation of Boolean algebras, respectively. We show that any nBA is a cluster of n isomorphic right-handed skew BAs, axiomatised here as the variety of skew star algebras. The variety of skew star algebras is shown to be term equivalent to the variety of nBAs. We use skew BAs in order to develop a general theory of multideals for nBAs. We also provide a representation theorem for right-handed skew BAs in terms of nBAs of n-partitions.


title: Derivations and dimensionally nilpotent derivations in Lie triple algebras

abstract: In this paper, we first study derivations in non nilpotent Lie triple algebras. We determine the structure of derivation algebra according to whether the algebra admits an idempotent or a pseudo-idempotent. We study the multiplicative structure of non nilpotent dimensionally nilpotent Lie triple algebras. We show that when $n=2p+1$ the adapted basis coincides with the canonical basis of the gametic algebra $G(2p+2,2)$ or this one obviously associated to a pseudo-idempotent and if $n=2p$ then the algebra is either one of the precedent case or a conservative Bernstein algebra.


title: A practical review on the measurement tools for cellular adhesion force

abstract: Cell cell and cell matrix adhesions are fundamental in all multicellular organisms. They play a key role in cellular growth, differentiation, pattern formation and migration. Cell-cell adhesion is substantial in the immune response, pathogen host interactions, and tumor development. The success of tissue engineering and stem cell implantations strongly depends on the fine control of live cell adhesion on the surface of natural or biomimetic scaffolds. Therefore, the quantitative and precise measurement of the adhesion strength of living cells is critical, not only in basic research but in modern technologies, too. Several techniques have been developed or are under development to quantify cell adhesion. All of them have their pros and cons, which has to be carefully considered before the experiments and interpretation of the recorded data. Current review provides a guide to choose the appropriate technique to answer a specific biological question or to complete a biomedical test by measuring cell adhesion.


title: Word-order biases in deep-agent emergent communication

abstract: Sequence-processing neural networks led to remarkable progress on many NLP tasks. As a consequence, there has been increasing interest in understanding to what extent they process language as humans do. We aim here to uncover which biases such models display with respect to "natural" word-order constraints. We train models to communicate about paths in a simple gridworld, using miniature languages that reflect or violate various natural language trends, such as the tendency to avoid redundancy or to minimize long-distance dependencies. We study how the controlled characteristics of our miniature languages affect individual learning and their stability across multiple network generations. The results draw a mixed picture. On the one hand, neural networks show a strong tendency to avoid long-distance dependencies. On the other hand, there is no clear preference for the efficient, non-redundant encoding of information that is widely attested in natural language. We thus suggest inoculating a notion of "effort" into neural networks, as a possible way to make their linguistic behavior more human-like.


title: Soft N-Topological Spaces

abstract: Very recently, the idea of studying structures equipped with two or more soft topologies has been considered by several researchers. Soft bitopological spaces were introduced and studied, in 2014, by Ittanagi as a soft counterpart of the notion of bitopological space and, independently, in 2015, by Naz, Shabir and Ali. In 2017, Hassan too introduced the concept of soft tritopological spaces and gave some first results. The notion of N-topological space related to ordinary topological spaces was instead introduced and studied, in 2011, by Tawfiq and Majeed. In this paper we introduce the concept of Soft N-Topological Space as generalization both of the concepts of Soft Topological Space and N-Topological Space and we investigate such class of spaces and their basic properties with particular regard to their subspaces, the parameterized families of crisp topologies generated by them and some new separation axioms called N-wise soft T0, N-wise soft T1, and N-wise soft T2.


title: One-shot quantum state exchange

abstract: The quantum state exchange is a quantum communication task in which two users exchange their respective quantum information in the asymptotic setting. In this work, we consider a one-shot version of the quantum state exchange task, in which the users hold a single copy of the initial state, and they exchange their parts of the initial state by means of entanglement-assisted local operations and classical communication. We first derive lower bounds on the least amount of entanglement required for carrying out this task, and provide conditions on the initial state such that the protocol succeeds with zero entanglement cost. Based on these results, we reveal two counter-intuitive phenomena in this task, which make it different from a conventional SWAP operation. One tells how the users deal with their symmetric information in order to reduce the entanglement cost. The other shows that it is possible for the users to gain extra shared entanglement after this task.


title: Two-element structures modulo primitive positive constructability

abstract: Primitive positive constructions have been introduced in recent work of Barto, Opr\v{s}al, and Pinsker to study the computational complexity of constraint satisfaction problems. Let $\mathfrak P_{\operatorname{fin}}$ be the poset which arises from ordering all finite relational structures by pp-constructability. This poset is infinite, but we do not know whether it is uncountable. In this paper, we give a complete description of the restriction $\mathfrak P_{\operatorname{Boole}}$ of $\mathfrak P_{\operatorname{fin}}$ to relational structures on a two-element set; in particular, we prove that $\mathfrak P_{\operatorname{Boole}}$ is a lattice. Finally, we use $\mathfrak P_{\operatorname{Boole}}$ to present the various complexity regimes of Boolean constraint satisfaction problems that were described by Allender, Bauland, Immerman, Schnoor and Vollmer.


title: Mixed Precision Training With 8-bit Floating Point

abstract: Reduced precision computation for deep neural networks is one of the key areas addressing the widening compute gap driven by an exponential growth in model size. In recent years, deep learning training has largely migrated to 16-bit precision, with significant gains in performance and energy efficiency. However, attempts to train DNNs at 8-bit precision have met with significant challenges because of the higher precision and dynamic range requirements of back-propagation. In this paper, we propose a method to train deep neural networks using 8-bit floating point representation for weights, activations, errors, and gradients. In addition to reducing compute precision, we also reduced the precision requirements for the master copy of weights from 32-bit to 16-bit. We demonstrate state-of-the-art accuracy across multiple data sets (imagenet-1K, WMT16) and a broader set of workloads (Resnet-18/34/50, GNMT, Transformer) than previously reported. We propose an enhanced loss scaling method to augment the reduced subnormal range of 8-bit floating point for improved error propagation. We also examine the impact of quantization noise on generalization and propose a stochastic rounding technique to address gradient noise. As a result of applying all these techniques, we report slightly higher validation accuracy compared to full precision baseline.


title: TopExNet: Entity-Centric Network Topic Exploration in News Streams

abstract: The recent introduction of entity-centric implicit network representations of unstructured text offers novel ways for exploring entity relations in document collections and streams efficiently and interactively. Here, we present TopExNet as a tool for exploring entity-centric network topics in streams of news articles. The application is available as a web service at https://topexnet.ifi.uni-heidelberg.de/ .


title: Monopole and quadrupole contributions to the angular momentum density

abstract: The energy-momentum tensor form factors contain a wealth of information about the nucleon. It is insightful to visualize this information in terms of 3D or 2D densities related by Fourier transformations to the form factors. The densities associated with the angular momentum distribution were recently shown to receive monopole and quadrupole contributions. We show that these two contributions are uniquely related to each other. The quadrupole contribution can be viewed as induced by the monopole contribution, and contains no independent information. Both contributions however play important roles for the visualization of the angular momentum density.


title: Learning the Non-linearity in Convolutional Neural Networks

abstract: We propose the introduction of nonlinear operation into the feature generation process in convolutional neural networks. This nonlinearity can be implemented in various ways. First we discuss the use of nonlinearities in the process of data augmentation to increase the robustness of the neural networks recognition capacity. To this end, we randomly disturb the input data set by applying exponents within a certain numerical range to individual data points of the input space. Second we propose nonlinear convolutional neural networks where we apply the exponential operation to each element of the receptive field. To this end, we define an additional weight matrix of the same dimension as the standard kernel weight matrix. The weights of this matrix then constitute the exponents of the corresponding components of the receptive field. In the basic setting, we keep the weight parameters fixed during training by defining suitable parameters. Alternatively, we make the exponential weight parameters end-to-end trainable using a suitable parameterization. The network architecture is applied to time series analysis data set showing a considerable increase in the classification performance compared to baseline networks.


title: Combinatorics and their evolution in resolution of embedded algebroid surfaces

abstract: The seminal concept of characteristic polygon of an embedded algebroid surface, first developed by Hironaka, seems well suited for combinatorially (perhaps even effectively) tracking of a resolution process. However, the way this object evolves through the resolution of singularities was not really well understood, as some references had pointed out. The aim of this paper is to explain, in a clear way, how this object changes as the surface gets resolved. In order to get a precise description of the phenomena involved, we need to use different techniques and ideas. Eventually, some effective results regarding the number of blow-ups needed to decrease the multiplicity are obtained as a side product.


title: The relationship between viscoelasticity and elasticity

abstract: We consider models for elastic liquids, such as solutions of flexible polymers. They introduce a relaxation time $\lambda$ into the system, over which stresses relax. We study the kinematics of the problem, and clarify the relationship between Lagrangian and Eulerian descriptions, thereby showing which polymer models correspond to a nonlinear elastic deformation in the limit $\lambda\rightarrow\infty$. This allows us to split the change in elastic energy into reversible and dissipative parts, and thus to write an equation for the total energy, the sum of kinetic and elastic energies. As an illustration, we show how the presence or absence of an elastic limit determines the fate of an elastic thread during capillary instability, using novel numerical schemes based on our insights into the flow kinematics.


title: Rethinking Full Connectivity in Recurrent Neural Networks

abstract: Recurrent neural networks (RNNs) are omnipresent in sequence modeling tasks. Practical models usually consist of several layers of hundreds or thousands of neurons which are fully connected. This places a heavy computational and memory burden on hardware, restricting adoption in practical low-cost and low-power devices. Compared to fully convolutional models, the costly sequential operation of RNNs severely hinders performance on parallel hardware. This paper challenges the convention of full connectivity in RNNs. We study structurally sparse RNNs, showing that they are well suited for acceleration on parallel hardware, with a greatly reduced cost of the recurrent operations as well as orders of magnitude less recurrent weights. Extensive experiments on challenging tasks ranging from language modeling and speech recognition to video action recognition reveal that structurally sparse RNNs achieve competitive performance as compared to fully-connected networks. This allows for using large sparse RNNs for a wide range of real-world tasks that previously were too costly with fully connected networks.


title: Fast and Robust Rank Aggregation against Model Misspecification

abstract: In rank aggregation (RA), a collection of preferences from different users are summarized into a total order under the assumption of homogeneity of users. Model misspecification in RA arises since the homogeneity assumption fails to be satisfied in the complex real-world situation. Existing robust RAs usually resort to an augmentation of the ranking model to account for additional noises, where the collected preferences can be treated as a noisy perturbation of idealized preferences. Since the majority of robust RAs rely on certain perturbation assumptions, they cannot generalize well to agnostic noise-corrupted preferences in the real world. In this paper, we propose CoarsenRank, which possesses robustness against model misspecification. Specifically, the properties of our CoarsenRank are summarized as follows: (1) CoarsenRank is designed for mild model misspecification, which assumes there exist the ideal preferences (consistent with model assumption) that locates in a neighborhood of the actual preferences. (2) CoarsenRank then performs regular RAs over a neighborhood of the preferences instead of the original dataset directly. Therefore, CoarsenRank enjoys robustness against model misspecification within a neighborhood. (3) The neighborhood of the dataset is defined via their empirical data distributions. Further, we put an exponential prior on the unknown size of the neighborhood, and derive a much-simplified posterior formula for CoarsenRank under particular divergence measures. (4) CoarsenRank is further instantiated to Coarsened Thurstone, Coarsened Bradly-Terry, and Coarsened Plackett-Luce with three popular probability ranking models. Meanwhile, tractable optimization strategies are introduced with regards to each instantiation respectively. In the end, we apply CoarsenRank on four real-world datasets.


title: Necessary and sufficient conditions for the finiteness of the second moment of the measure of level sets

abstract: For a smooth vectorial stationary Gaussian random field $X : \Omega \times \mathbb{R}^d \to \mathbb{R}^d$, we give necessary and sufficient conditions to have a finite second moment for the number of roots of $X(t) - u$. The results are obtained by using a method of proof inspired on the one obtained by D. Geman for stationary Gaussian processes long time ago. Afterwards the same method is applied to the number of critical points of a scalar random field and also to the level set of a vectorial process $X : \Omega \times \mathbb{R}^D \to \mathbb{R}^d$ with $D > d$.


title: Self-similar breakup of polymeric threads as described by the Oldroyd-B model

abstract: When a drop of fluid containing long, flexible polymers breaks up, it forms threads of almost constant thickness, whose size decreases exponentially in time. Using an Oldroyd-B fluid as a model, we show that the thread profile, rescaled by the thread thickness, converges to a similarity solution. Using the correspondence between viscoelastic fluids and non-linear elasticity, we derive similarity equations for the full three-dimensional axisymmetric flow field in the limit that the viscosity of the solvent fluid can be neglected. A conservation law balancing pressure and elastic energy permits to calculate the thread thickness exactly. The explicit form of the velocity and stress fields can be deduced from a solution of the similarity equations. Results are validated by detailed comparison with numerical simulations.


title: Prospects of reinforcement learning for the simultaneous damping of many mechanical modes

abstract: We apply adaptive feedback for the partial refrigeration of a mechanical resonator, i.e. with the aim to simultaneously cool the classical thermal motion of more than one vibrational degree of freedom. The feedback is obtained from a neural network parametrized policy trained via a reinforcement learning strategy to choose the correct sequence of actions from a finite set in order to simultaneously reduce the energy of many modes of vibration. The actions are realized either as optical modulations of the spring constants in the so-called quadratic optomechanical coupling regime or as radiation pressure induced momentum kicks in the linear coupling regime. As a proof of principle we numerically illustrate efficient simultaneous cooling of four independent modes with an overall strong reduction of the total system temperature.


title: Reinforcement Learning with Policy Mixture Model for Temporal Point Processes Clustering

abstract: Temporal point process is an expressive tool for modeling event sequences over time. In this paper, we take a reinforcement learning view whereby the observed sequences are assumed to be generated from a mixture of latent policies. The purpose is to cluster the sequences with different temporal patterns into the underlying policies while learning each of the policy model. The flexibility of our model lies in: i) all the components are networks including the policy network for modeling the intensity function of temporal point process; ii) to handle varying-length event sequences, we resort to inverse reinforcement learning by decomposing the observed sequence into states (RNN hidden embedding of history) and actions (time interval to next event) in order to learn the reward function, thus achieving better performance or increasing efficiency compared to existing methods using rewards over the entire sequence such as log-likelihood or Wasserstein distance. We adopt an expectation-maximization framework with the E-step estimating the cluster labels for each sequence, and the M-step aiming to learn the respective policy. Extensive experiments show the efficacy of our method against state-of-the-arts.


title: Nystr\"om landmark sampling and regularized Christoffel functions

abstract: Selecting diverse and important items, called landmarks, from a large set is a problem of interest in machine learning. As a specific example, in order to deal with large training sets, kernel methods often rely on low rank matrix Nystr\"om approximations based on the selection or sampling of landmarks. In this context, we propose a deterministic and a randomized adaptive algorithm for selecting landmark points within a training data set. These landmarks are related to the minima of a sequence of kernelized Christoffel functions. Beyond the known connection between Christoffel functions and leverage scores, a connection of our method with finite determinantal point processes (DPPs) is also explained. Namely, our construction promotes diversity among important landmark points in a way similar to DPPs. Also, we explain how our randomized adaptive algorithm can influence the accuracy of Kernel Ridge Regression.


title: Tight Recovery Guarantees for Orthogonal Matching Pursuit Under Gaussian Noise

abstract: Orthogonal Matching pursuit (OMP) is a popular algorithm to estimate an unknown sparse vector from multiple linear measurements of it. Assuming exact sparsity and that the measurements are corrupted by additive Gaussian noise, the success of OMP is often formulated as exactly recovering the support of the sparse vector. Several authors derived a sufficient condition for exact support recovery by OMP with high probability depending on the signal-to-noise ratio, defined as the magnitude of the smallest non-zero coefficient of the vector divided by the noise level. We make two contributions. First, we derive a slightly sharper sufficient condition for two variants of OMP, in which either the sparsity level or the noise level is known. Next, we show that this sharper sufficient condition is tight, in the following sense: for a wide range of problem parameters, there exist a dictionary of linear measurements and a sparse vector with a signal-to-noise ratio slightly below that of the sufficient condition, for which with high probability OMP fails to recover its support. Finally, we present simulations which illustrate that our condition is tight for a much broader range of dictionaries.


title: Entanglement and quantum discord in optically coupled coherent Ising machines

abstract: We present analytical and numerical simulation results for squeezing, entanglement, and quantum discord in a dissipatively coupled coherent Ising machine (CIM). Both analytical solutions and numerical simulation results, which are obtained with positive-P, truncated-Wigner and truncated-Husimi representations for the density operator, predict the presence of entanglement and quantum discord, below and above the threshold of CIM. The entanglement criteria and quantum discord are evaluated as a function of the dissipative coupling strength relative to the background loss. For coupled two DOPOs, while entanglement disappears as the background loss exceeds the Ising coupling strength, the quantum discord remains finite even with a large linear loss. For one-dimensional lattice of DOPOs, while entanglement disappears for DOPO pair with large distance, quantum discord remains finite.


title: Super Interaction Neural Network

abstract: Recent studies have demonstrated that the convolutional networks heavily rely on the quality and quantity of generated features. However, in lightweight networks, there are limited available feature information because these networks tend to be shallower and thinner due to the efficiency consideration. For farther improving the performance and accuracy of lightweight networks, we develop Super Interaction Neural Networks (SINet) model from a novel point of view: enhancing the information interaction in neural networks. In order to achieve information interaction along the width of the deep network, we propose Exchange Shortcut Connection, which can integrate the information from different convolution groups without any extra computation cost. And then, in order to achieve information interaction along the depth of the network, we proposed Dense Funnel Layer and Attention based Hierarchical Joint Decision, which are able to make full use of middle layer features. Our experiments show that the superior performance of SINet over other state-of-the-art lightweight models in ImageNet dataset. Furthermore, we also exhibit the effectiveness and universality of our proposed components by ablation studies.


title: A far-UV survey of three hot, metal-polluted white dwarf stars: WD0455-282, WD0621-376, and WD2211-495

abstract: Using newly obtained high-resolution data ($R\sim{1\times{10}^{5}}$) from the \textit{Hubble Space Telescope}, and archival UV data from the \textit{Far Ultraviolet Spectroscopic Explorer} we have conducted a detailed UV survey of the three hot, metal-polluted white dwarfs WD0455-282, WD0621-376, and WD2211-495. Using bespoke model atmospheres we measured $T_{\mathrm{eff}}$, log $g$, and photospheric abundances for these stars. In conjunction with data from Gaia we measured masses, radii, and gravitational redshift velocities for our sample of objects. We compared the measured photospheric abundances with those predicted by radiative levitation theory, and found that the observed Si abundances in all three white dwarfs, and the observed Fe abundances in WD0621-376 and WD2211-495, were larger than those predicted by an order of magnitude. These findings imply not only an external origin for the metals, but also ongoing accretion, as the metals not supported by radiative levitation would sink on extremely short timescales. We measured the radial velocities of several absorption features along the line of sight to the three objects in our sample, allowing us to determine the velocities of the photospheric and interstellar components along the line of sight for each star. Interestingly, we made detections of circumstellar absorption along the line of sight to WD0455-282 with three velocity components. To our knowledge, this is the first such detection of multi-component circumstellar absorption along the line of sight to a white dwarf.


title: Read-Uncommitted Transactions for Smart Contract Performance

abstract: Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches ACID compliance, use cases that rely on frequent state changes are impractical due to the block publishing interval of $O(10^1)$ seconds. The effective isolation level is Read-Committed, only revealing state transitions at the end of the block interval. Values read may be stale and not match program order, causing many transactions to fail when a block is committed. This paper perceives the blockchain as a transactional data structure, using this analogy in the development of a new algorithm, Hash-Mark-Set (HMS), that improves transaction throughput by providing a Read-Uncommitted view of state variables. HMS creates a directed acyclic graph (DAG) from the pending transaction pool. The transaction order derived from the DAG is used to provide a Read-Uncommitted view of the data for new transactions, which enter the DAG as they are received. An implementation of HMS is provided, interoperable with Ethereum and ready for use in smart contracts. Over a wide range of transaction mixes, HMS is demonstrated to improve throughput. A side product of the implementation is a new technique, Runtime Argument Augmentation (RAA), that allows smart contracts to communicate with external data services before submitting a transaction. RAA has use cases beyond HMS and can serve as a lightweight replacement for blockchain oracles.


title: Scaling limit of stochastic 2D Euler equations with transport noises to the deterministic Navier-Stokes equations

abstract: We consider a family of stochastic 2D Euler equations in vorticity form on the torus, with transport type noises and $L^2$-initial data. Under a suitable scaling of the noises, we show that the solutions converge weakly to that of the deterministic 2D Navier--Stokes equations. Consequently, we deduce that the weak solutions of the stochastic 2D Euler equations are approximately unique and "weakly quenched exponential mixing".


title: A magnonic directional coupler for integrated magnonic half-adders

abstract: Magnons, the quanta of spin waves, could be used to encode information in beyond-Moore computing applications, and magnonic device components, including logic gates, transistors, and units for non-Boolean computing, have already been developed. Magnonic directional couplers, which can function as circuit building blocks, have also been explored, but have been impractical because of their millimetre dimensions and multi-mode spectra. Here, we report a magnonic directional coupler based on yttrium iron garnet single-mode waveguides of 350 nm width. We use the amplitude of a spin-wave to encode information and to guide it to one of the two outputs of the coupler depending on the signal magnitude, frequency, and the applied magnetic field. Using micromagnetic simulations, we also propose an integrated magnonic half-adder that consists of two directional couplers and processes all information within the magnon domain with aJ energy consumption.


title: Fast Optimal Energy Management with Engine On/Off Decisions for Plug-in Hybrid Electric Vehicles

abstract: In this paper we demonstrate a novel alternating direction method of multipliers (ADMM) algorithm for the solution of the hybrid vehicle energy management problem considering both power split and engine on/off decisions. The solution of a convex relaxation of the problem is used to initialize the optimization, which is necessarily nonconvex, and whilst only local convergence can be guaranteed, it is demonstrated that the algorithm will terminate with the optimal power split for the given engine switching sequence. The algorithm is compared in simulation against a charge-depleting/charge-sustaining (CDCS) strategy and dynamic programming (DP) using real world driver behaviour data, and it is demonstrated that the algorithm achieves 90\% of the fuel savings obtained using DP with a 3000-fold reduction in computational time.


title: Genetic composition of an exponentially growing cell population

abstract: We study a simple model of DNA evolution in a growing population of cells. Each cell contains a nucleotide sequence which randomly mutates at cell division. Cells divide according to a branching process. Following typical parameter values in bacteria and cancer cell populations, we take the mutation rate to zero and the final number of cells to infinity. We prove that almost every site (entry of the nucleotide sequence) is mutated in only a finite number of cells, and these numbers are independent across sites. However independence breaks down for the rare sites which are mutated in a positive fraction of the population. The model is free from the popular but disputed infinite sites assumption. Violations of the infinite sites assumption are widespread while their impact on mutation frequencies is negligible at the scale of population fractions. Some results are generalised to allow for cell death, selection, and site-specific mutation rates. For illustration we estimate mutation rates in a lung adenocarcinoma.


title: SECRET: Semantically Enhanced Classification of Real-world Tasks

abstract: Supervised machine learning (ML) algorithms are aimed at maximizing classification performance under available energy and storage constraints. They try to map the training data to the corresponding labels while ensuring generalizability to unseen data. However, they do not integrate meaning-based relationships among labels in the decision process. On the other hand, natural language processing (NLP) algorithms emphasize the importance of semantic information. In this paper, we synthesize the complementary advantages of supervised ML and NLP algorithms into one method that we refer to as SECRET (Semantically Enhanced Classification of REal-world Tasks). SECRET performs classifications by fusing the semantic information of the labels with the available data: it combines the feature space of the supervised algorithms with the semantic space of the NLP algorithms and predicts labels based on this joint space. Experimental results indicate that, compared to traditional supervised learning, SECRET achieves up to 14.0% accuracy and 13.1% F1 score improvements. Moreover, compared to ensemble methods, SECRET achieves up to 12.7% accuracy and 13.3% F1 score improvements. This points to a new research direction for supervised classification based on incorporation of semantic information.


title: Constraints on the environment and energetics of the Broad-Line Ic SN2014ad from deep radio and X-ray observations

abstract: Broad-line type Ic Supernovae (BL-Ic SNe) are characterized by high ejecta velocity ($\gtrsim 10^4$ km s$^{-1}$) and are sometimes associated with the relativistic jets typical of long duration ($\gtrsim 2$ s) Gamma-Ray Bursts (L-GRBs). The reason why a small fraction of BL-Ic SNe harbor relativistic jets is not known. Here we present deep X-ray and radio observations of the BL-Ic SN2014ad extending from $13$ to $930$ days post explosion. SN2014ad was not detected at either frequency and has no observational evidence of a GRB counterpart. The proximity of SN2014ad ($d\sim 26$ Mpc) enables very deep constraints on the progenitor mass-loss rate $\dot{M}$ and on the total energy of the fast ejecta $E$. We consider two synchrotron emission scenarios for a wind-like circumstellar medium (CSM): (i) uncollimated non-relativistic ejecta, and (ii) off-axis relativistic jet. Within the first scenario our observations are consistent with GRB-less BL-Ic SNe characterized by a modest energy budget of their fast ejecta ($E \lesssim 10^{45}$ erg), like SNe 2002ap and 2010ay. For jetted explosions, we cannot rule out a GRB with $E \lesssim 10^{51}$ erg (beam-corrected) with a narrow opening angle ($\theta_j \sim 5^{\circ}$) observed moderately off-axis ($\theta_{\rm obs} \gtrsim 30^{\circ}$) and expanding in a very low CSM density ($\dot{M}$ $\lesssim 10^{-6}$ M$_{\odot}$ yr$^{-1}$). Our study shows that off-axis low-energy jets expanding in a low-density medium cannot be ruled out even in the most nearby BL-Ic SNe with extensive deep observations, and might be a common feature of BL-Ic SNe.


title: The $\kappa$-(A)dS noncommutative spacetime

abstract: The (3+1)-dimensional $\kappa$-(A)dS noncommutative spacetime is explicitly constructed by quantizing its semiclassical counterpart, which is the $\kappa$-(A)dS Poisson homogeneous space. This turns out to be the only possible generalization of the well-known $\kappa$-Minkowski spacetime to the case of non-vanishing cosmological constant, under the condition that the time translation generator of the corresponding quantum (A)dS algebra is primitive. Moreover, the $\kappa$-(A)dS noncommutative spacetime is shown to have a quadratic subalgebra of local spatial coordinates whose first-order brackets in terms of the cosmological constant parameter define a quantum sphere, while the commutators between time and space coordinates preserve the same structure of the $\kappa$-Minkowski spacetime. When expressed in ambient coordinates, the quantum $\kappa$-(A)dS spacetime is shown to be defined as a noncommutative pseudosphere.


title: Quasinormal-mode analysis of grating spectra at fixed incidence angles

abstract: Grating spectra exhibit sharp variations of the scattered light, known as grating anomalies. The latter are due to resonances that have fascinated specialists of optics and physics for decades and are nowadays used in many applications. We present a comprehensive theory of grating anomalies, and develop a formalism to expand the field scattered by metallic or dielectric gratings into the basis of its natural resonances, thereby enabling the possibility to reconstruct grating spectra measured for fixed illumination angles as a sum over every individual resonance contribution with closed-form expressions. This gives physical insights into the spectral properties and a direct access to the resonances to engineer the spectral response of gratings and their sensitivity to tiny perturbations.


title: The Monomial Lattice in Modular Symmetric Power Representations

abstract: Let $p$ be a prime. We study the structure of and the inclusion relations among the terms in the monomial lattice in the modular symmetric power representations of $\mathrm{GL}_2(\mathbb{F}_p)$. We also determine the structure of certain related quotients of the symmetric power representations which arise when studying the reductions of local Galois representations of slope at most $p$. In particular, we show that these quotients are periodic and depend only on the congruence class modulo $p(p-1)$. Many of our results are stated in terms of the sizes of various sums of digits in base $p$-expansions and in terms of the vanishing or non-vanishing of certain binomial coefficients modulo $p$.


title: Nonexpansive Piecewise Constant Hybrid Systems are Conservative

abstract: Consider a partition of $R^n$ into finitely many polyhedral regions $D_i$ and associated drift vectors $\mu_i\in R^n$. We study ``hybrid'' dynamical systems whose trajectories have a constant drift, $\dot x=\mu_i$, whenever $x$ is in the interior of the $i$th region $D_i$, and behave consistently on the boundary between different regions. Our main result asserts that if such a system is nonexpansive (i.e., if the Euclidean distance between any pair of trajectories is a nonincreasing function of time), then the system must be conservative, i.e., its trajectories are the same as the trajectories of the negative subgradient flow associated with a potential function. Furthermore, this potential function is necessarily convex, and is linear on each of the regions $D_i$. We actually establish a more general version of this result, by making seemingly weaker assumptions on the dynamical system of interest.


title: Practical Statistics for Particle Physics

abstract: This is the write-up of a set of lectures given at the Asia Europe Pacific School of High Energy Physics in Quy Nhon, Vietnam in September 2018, to an audience of PhD students in all branches of particle physics They cover the different meanings of 'probability', particularly frequentist and Bayesian, the binomial, Poisson and Gaussian distributions, hypothesis testing, estimation, errors (including asymmetric and systematic errors) and goodness of fit. Several different methods used in setting upper limits are explained, followed by a discussion on why 5 sigma are conventionally required for a 'discovery'.


title: Extragradient with player sampling for faster Nash equilibrium finding

abstract: Data-driven modeling increasingly requires to find a Nash equilibrium in multi-player games, e.g. when training GANs. In this paper, we analyse a new extra-gradient method for Nash equilibrium finding, that performs gradient extrapolations and updates on a random subset of players at each iteration. This approach provably exhibits a better rate of convergence than full extra-gradient for non-smooth convex games with noisy gradient oracle. We propose an additional variance reduction mechanism to obtain speed-ups in smooth convex games. Our approach makes extrapolation amenable to massive multiplayer settings, and brings empirical speed-ups, in particular when using a heuristic cyclic sampling scheme. Most importantly, it allows to train faster and better GANs and mixtures of GANs.


title: Separators - a new statistic for permutations

abstract: A digit $\pi_j$ in a permutation $\pi=[\pi_1,\ldots,\pi_n]\in S_n$ is defined to be a separator of $\pi$ if by omitting it from $\pi$ we get a new $2-$block. In this work we introduce a new statistic, the number of separators, on the symmetric group $S_n$ and calculate its distribution over $S_n$. We also provide some enumerative and asymptotic results regarding this statistic.


title: Disentangling Monocular 3D Object Detection

abstract: In this paper we propose an approach for monocular 3D object detection from a single RGB image, which leverages a novel disentangling transformation for 2D and 3D detection losses and a novel, self-supervised confidence score for 3D bounding boxes. Our proposed loss disentanglement has the twofold advantage of simplifying the training dynamics in the presence of losses with complex interactions of parameters, and sidestepping the issue of balancing independent regression terms. Our solution overcomes these issues by isolating the contribution made by groups of parameters to a given loss, without changing its nature. We further apply loss disentanglement to another novel, signed Intersection-over-Union criterion-driven loss for improving 2D detection results. Besides our methodological innovations, we critically review the AP metric used in KITTI3D, which emerged as the most important dataset for comparing 3D detection results. We identify and resolve a flaw in the 11-point interpolated AP metric, affecting all previously published detection results and particularly biases the results of monocular 3D detection. We provide extensive experimental evaluations and ablation studies on the KITTI3D and nuScenes datasets, setting new state-of-the-art results on object category car by large margins.


title: Adaptive Heart Rate Estimation from Face Videos

abstract: We propose a novel heart rate (HR) estimation method from facial videos that dynamically adapts the HR pulse extraction algorithm to separately deal with noise from 'rigid' head motion and 'non-rigid' facial expression. We first identify the noise type, based on which, we apply specific noise removal steps. Experiments performed on popular database show that the proposed method reduces HR estimation error by over 32%.


title: Lattice dynamics and phase stability of rhombohedral antimony under high pressure

abstract: The high pressure lattice dynamics of rhombohedral antimony have been studied by a combination of diffuse scattering and inelastic x-ray scattering. The evolution of the phonon behavior as function of pressure was analyzed by means of two theoretical approaches: density functional perturbation theory and symmetry-based phenomenological phase transition analysis. This paper focuses on the first structural phase transition, SbI-SbIV, and the role of vibrations in leading the transition. The phonon dispersion exhibits complex behaviour as one approaches the structural transition, with the branches, corresponding to the two transitions happening at high pressure in the Va elements (A7-to-BCC and A7-to-PC) both showing softening.


title: Cumulative labelling with thymidine analogues when the steady-state assumption is violated

abstract: We present modelling results that examine the consequences of implementing cumulative labelling with thymidine analogues, to estimate the cell cycle time and growth fraction of dividing cells, when the steady-state assumption is violated. We fix the value of the cell cycle time a priori and examine whether cumulative labelling can reproduce this value. We find that the cumulative labelling technique systematically overestimates the growth fraction and cell cycle time in non-steady cell populations. Our results suggest an explanation for discrepancies in experimental measurements of oligodendrocyte precursor cell properties using cumulative labelling. These results also emphasise the utility of using computational models to determine what violating the assumptions of experimental techniques would look like in the laboratory before experiments are undertaken.


title: Existence and static stability of a capillary free surface appearing in a dewetted Bridgman process. I

abstract: This paper present six theoretical results concerning the existence and static stability of a capillary free surface appearing in a dewetted Bridgman crystal growth technique. The results are obtained in an axis symmetric 2D model for semiconductors for which the sum of wetting angle and growth angle is less than 180. Numerical results are presented in case of InSb semiconductor growth. The reported results can help, the practical crystal growers, in better understanding the dependence of the free surface shape and size on the pressure difference across the free surface and prepare the appropriate seed size, and thermal conditions before seeding the growth process.

categories: cond-mat.mtrl-sci cond-mat.soft nlin.PS physics.flu-dyn


title: Cascading Non-Stationary Bandits: Online Learning to Rank in the Non-Stationary Cascade Model

abstract: Non-stationarity appears in many online applications such as web search and advertising. In this paper, we study the online learning to rank problem in a non-stationary environment where user preferences change abruptly at an unknown moment in time. We consider the problem of identifying the K most attractive items and propose cascading non-stationary bandits, an online learning variant of the cascading model, where a user browses a ranked list from top to bottom and clicks on the first attractive item. We propose two algorithms for solving this non-stationary problem: CascadeDUCB and CascadeSWUCB. We analyze their performance and derive gap-dependent upper bounds on the n-step regret of these algorithms. We also establish a lower bound on the regret for cascading non-stationary bandits and show that both algorithms match the lower bound up to a logarithmic factor. Finally, we evaluate their performance on a real-world web search click dataset.


title: Computational study of radiative rate in silicon nanocrystals: Role of electronegative ligands and tensile strain

abstract: It is widely accepted that the properties of most semiconductor nanocrystals can be tuned by their core size, shape and material. In covalent semiconductor nanocrystal materials, such as silicon, germanium or carbon, certain degree of tunability of the properties can be also achieved by the surface ligands. In particular, covalently bonded ligand species on the surface of such a nanocrystal (i) contribute to the density of states of the core via orbital delocalization; (ii) might introduce strain via ligand-to-ligand steric hindrance and (iii) will cause charge transfer from/to the core. In this work we study all these effects on silicon nanocrystals (SiNCs). We analyze geometrically optimized ~ 2 nm SiNCs with electronegative organic ligands using density functional theory (DFT) simulations. We show that the radiative rate is enhanced by electronegative alkyl and fluorocarbon with respect to what is expected from quantum confinement effect, while bandgap remains unchanged. Also, we show that tensile strain caused by the ligand steric hindrance is detrimental to the rate enhancement, contrary to the positive effects of the more homogeneous tensile strain induced in pressure cell.


title: Resolution Lower Bounds for Refutation Statements

abstract: For any unsatisfiable CNF formula we give an exponential lower bound on the size of resolution refutations of a propositional statement that the formula has a resolution refutation. We describe three applications. (1) An open question in (Atserias, M\"uller 2019) asks whether a certain natural propositional encoding of the above statement is hard for Resolution. We answer by giving an exponential size lower bound. (2) We show exponential resolution size lower bounds for reflection principles, thereby improving a result in (Atserias, Bonet 2004). (3) We provide new examples of CNFs that exponentially separate Res(2) from Resolution (an exponential separation of these two proof systems was originally proved in (Segerlind, Buss, Impagliazzo 2004)).


title: Ultrafast Control of Excitonic Rashba Fine Structure by Phonon Coherences in a Metal Halide Perovskite CH$_3$NH$_3$PbI$_3$

abstract: We discover hidden Rashba fine structure in CH$_3$NH$_3$PbI$_3$ and demonstrate its quantum control by vibrational coherence through symmetry-selective vibronic (electron-phonon) coupling. Above a critical threshold of a single-cycle terahertz pump field, a Raman phonon mode distinctly modulates the middle excitonic states with {\em persistent} coherence for more than ten times longer than the ones on two sides that predominately couple to infrared phonons. These vibronic quantum beats, together with first-principles modeling of phonon periodically modulated Rashba parameters, identify a {\em three-fold} excitonic fine structure splitting, i.e., optically-forbidden, degenerate dark states in between two bright ones. Harnessing of vibronic quantum coherence and symmetry inspires light-perovskite quantum control and sub-THz-cycle "Rashba engineering" of spin-split bands for ultimate multi-function device.


title: GRU-ODE-Bayes: Continuous modeling of sporadically-observed time series

abstract: Modeling real-world multidimensional time series can be particularly challenging when these are sporadically observed (i.e., sampling is irregular both in time and across dimensions)-such as in the case of clinical patient data. To address these challenges, we propose (1) a continuous-time version of the Gated Recurrent Unit, building upon the recent Neural Ordinary Differential Equations (Chen et al., 2018), and (2) a Bayesian update network that processes the sporadic observations. We bring these two ideas together in our GRU-ODE-Bayes method. We then demonstrate that the proposed method encodes a continuity prior for the latent process and that it can exactly represent the Fokker-Planck dynamics of complex processes driven by a multidimensional stochastic differential equation. Additionally, empirical evaluation shows that our method outperforms the state of the art on both synthetic data and real-world data with applications in healthcare and climate forecast. What is more, the continuity prior is shown to be well suited for low number of samples settings.


title: Scalable Spike Source Localization in Extracellular Recordings using Amortized Variational Inference

abstract: Determining the positions of neurons in an extracellular recording is useful for investigating functional properties of the underlying neural circuitry. In this work, we present a Bayesian modelling approach for localizing the source of individual spikes on high-density, microelectrode arrays. To allow for scalable inference, we implement our model as a variational autoencoder and perform amortized variational inference. We evaluate our method on both biophysically realistic simulated and real extracellular datasets, demonstrating that it is more accurate than and can improve spike sorting performance over heuristic localization methods such as center of mass.


title: Topological numbers of quantum superpositions of topologically non-trivial bands

abstract: In this Article we address the definition and values of topological numbers of the manifolds of wavefunctions - bands obtained by quantum superposition of the wavefunctions that belong to topologically distinct manifolds. The problem, although simple in essence, can be formulated as a paradox: it may seem that quantum superposition implies non-integer topological numbers. We show that the results are different for superpositions that are created dynamically and for those obtained by stationary mixing of the manifolds. For dynamical superpositions we have found that the observable related to the topological number is non-integer indeed. For static superpositions the resulting bands bear integer topological numbers. We illustrate how the number quantization is restored upon avoided crossing of topologically distinct subbands. The crossings lead to the exchange of topological numbers between the bands. We consider complicated phase diagrams arising from this and show the absence of triple critical points and abundance of quadruple critical points that are rare in thermodynamic phase diagrams. We illustrate these features considering the bilayer Haldane model.


title: Enhancement in performance of quantum battery by ordered and disordered interactions

abstract: Considering ground state of a quantum spin model as the initial state of the quantum battery, we show that both ordered and disordered interaction strengths play a crucial role to increase the extraction of power from it. In particular, we demonstrate that exchange interactions in the xy-plane and in the z-direction, leading to the XYZ spin chain, along with local charging field in the x-direction substantially enhance the efficiency of the battery compared to the model without interactions. Moreover, such an advantage in power obtained due to interactions is almost independent of the system size. We find that the behavior of the power, although measured during dynamics, can faithfully mimic the equilibrium quantum phase transitions present in the model. We observe that with the proper tuning of system parameters, initial state prepared at finite temperature can generate higher power in the battery than that obtained with zero-temperature. Finally, we report that defects or impurities, instead of reducing the performance, can create larger amount of quenched averaged power in the battery in comparison with the situation when the initial state is produced from the spin chain without disorder, thereby showing the disorder-induced order in dynamics.


title: Testing the Cosmological Principle in the radio sky

abstract: The Cosmological Principle states that the Universe is statistically isotropic and homogeneous on large scales. In particular, this implies statistical isotropy in the galaxy distribution, after removal of a dipole anisotropy due to the observer's motion. We test this hypothesis with number count maps from the NVSS radio catalogue. We use a local variance estimator based on patches of different angular radii across the sky and compare the source count variance between and within these patches. In order to assess the statistical significance of our results, we simulate radio maps with the NVSS specifications and mask. We conclude that the NVSS data is consistent with statistical isotropy.


title: Reallocating Multiple Facilities on the Line

abstract: We study the multistage $K$-facility reallocation problem on the real line, where we maintain $K$ facility locations over $T$ stages, based on the stage-dependent locations of $n$ agents. Each agent is connected to the nearest facility at each stage, and the facilities may move from one stage to another, to accommodate different agent locations. The objective is to minimize the connection cost of the agents plus the total moving cost of the facilities, over all stages. $K$-facility reallocation was introduced by de Keijzer and Wojtczak, where they mostly focused on the special case of a single facility. Using an LP-based approach, we present a polynomial time algorithm that computes the optimal solution for any number of facilities. We also consider online $K$-facility reallocation, where the algorithm becomes aware of agent locations in a stage-by-stage fashion. By exploiting an interesting connection to the classical $K$-server problem, we present a constant-competitive algorithm for $K = 2$ facilities.


title: Some characterizations of parallel hyperplanes in multi-layered heat conductors

abstract: We consider the Cauchy problem for the heat diffusion equation in the whole space consisting of three layers with different constant conductivities, where initially the upper and middle layers have temperature 0 and the lower layer has temperature 1. Under some appropriate conditions, it is shown that, if either the interface between the lower layer and the middle layer is a stationary isothermic surface or there is a stationary isothermic surface in the middle layer near the lower layer, then the two interfaces must be parallel hyperplanes. Similar propositions hold true, either if a stationary isothermic surface is replaced by a surface with the constant flow property or if the Cauchy problem is replaced by an appropriate initial-boundary value problem.


title: One-dimensional quantum many body systems with long-range interactions

abstract: The presence of algebraically decaying long-range interactions may alter the critical as well as topological behaviour of a quantum many-body systems. However, when the interaction decays at a faster rate, the short-range behaviour is expected to be retrieved. Similarly, the long-range nature of interactions has a prominent signature on the out of equilibrium dynamics of these systems, e.g, in the growth of the entanglement entropy following a quench, the propagation of mutual information and non-equilibrium phase transitions. In this review, we summarize the results of long-range interacting classical and quantum Ising chains which have been studied since decades. Thereafter, we focus on the recent developments on the integrable long-range Kitaev chain emphasising the role of long-range superconducting pairing term on determining its topological phase diagram and out of equilibrium dynamics.


title: NeoGuard: a public, online learning platform for neonatal seizures

abstract: Seizures occur in the neonatal period more frequently than other periods of life and usually denote the presence of serious brain dysfunction. The gold standard for detecting seizures is based on visual inspection of continuous electroencephalogram (cEEG) complemented by video analysis, performed by an expert clinical neurophysiologist. Previous studies have reported varying degree of agreement between expert EEG readers, with kappa coefficients ranging from 0.4 to 0.85, calling into question the validity of visual scoring. This variability in visual scoring of neonatal seizures may be due to factors such as reader expertise and the nature of expressed patterns. One of the possible reasons for low inter-rater agreement is the absence of any benchmark for the EEG readers to be able to compare their opinions. One way to develop this is to use a shared multi-center neonatal seizure database and use the inputs from multiple experts. This will also improve the teaching of trainees, and help to avoid potential bias from a single expert's opinion. In this paper, we introduce and explain the NeoGuard public learning platform that can be used by trainees, tutors, and expert EEG readers who are interested to test their knowledge and learn from neonatal EEG-polygraphic segments scored by several expert EEG readers. For this platform, 1919 clinically relevant segments, totaling 280h, recorded from 71 term neonates in two centers, including a wide variety of seizures and artifacts were used. These segments were scored by 4 EEG readers from three different centers. Users of this platform can score an arbitrary number of segments and then test their scoring with the experts' opinions. The kappa and joint probability of agreement, is then shown as inter-rater agreement metrics between the user and each of the experts. The platform is publicly available at the NeoGuard website (www.neoguard.net).


title: Slow light-enhanced optical imaging of microfiber radius variations with sub-Angstr\"om precision

abstract: Optical fibers play a key role in many different fields of science and technology. In particular, fibers with a diameter of several micrometers are intensively used in photonics. For these applications, it is often important to precisely know and control the fiber radius. Here, we demonstrate a novel technique to determine the local radius variation of a 30-micrometer diameter silica fiber with sub-\AA ngstr\"om precision with axial resolution of several tens of micrometers over a fiber length of more than half a millimeter. Our method relies on taking an image of the fiber's whispering-gallery modes (WGMs). In these WGMs, the speed of light propagating along the fiber axis is strongly reduced. This enables us to determine the fiber radius with a significantly enhanced precision, far beyond the diffraction limit. By exciting different axial modes, we verify the precision and reproducibility of our method and demonstrate that we can achieve a precision better than 0.3 \AA. The method can be generalized to other experimental situations where slow light occurs and, thus, has a large range of potential applications in the realm of precision metrology and optical sensing.


title: Coherent Semantic Attention for Image Inpainting

abstract: The latest deep learning-based approaches have shown promising results for the challenging task of inpainting missing regions of an image. However, the existing methods often generate contents with blurry textures and distorted structures due to the discontinuity of the local pixels. From a semantic-level perspective, the local pixel discontinuity is mainly because these methods ignore the semantic relevance and feature continuity of hole regions. To handle this problem, we investigate the human behavior in repairing pictures and propose a fined deep generative model-based approach with a novel coherent semantic attention (CSA) layer, which can not only preserve contextual structure but also make more effective predictions of missing parts by modeling the semantic relevance between the holes features. The task is divided into rough, refinement as two steps and model each step with a neural network under the U-Net architecture, where the CSA layer is embedded into the encoder of refinement step. To stabilize the network training process and promote the CSA layer to learn more effective parameters, we propose a consistency loss to enforce the both the CSA layer and the corresponding layer of the CSA in decoder to be close to the VGG feature layer of a ground truth image simultaneously. The experiments on CelebA, Places2, and Paris StreetView datasets have validated the effectiveness of our proposed methods in image inpainting tasks and can obtain images with a higher quality as compared with the existing state-of-the-art approaches.


title: The spiked matrix model with generative priors

abstract: Using a low-dimensional parametrization of signals is a generic and powerful way to enhance performance in signal processing and statistical inference. A very popular and widely explored type of dimensionality reduction is sparsity; another type is generative modelling of signal distributions. Generative models based on neural networks, such as GANs or variational auto-encoders, are particularly performant and are gaining on applicability. In this paper we study spiked matrix models, where a low-rank matrix is observed through a noisy channel. This problem with sparse structure of the spikes has attracted broad attention in the past literature. Here, we replace the sparsity assumption by generative modelling, and investigate the consequences on statistical and algorithmic properties. We analyze the Bayes-optimal performance under specific generative models for the spike. In contrast with the sparsity assumption, we do not observe regions of parameters where statistical performance is superior to the best known algorithmic performance. We show that in the analyzed cases the approximate message passing algorithm is able to reach optimal performance. We also design enhanced spectral algorithms and analyze their performance and thresholds using random matrix theory, showing their superiority to the classical principal component analysis. We complement our theoretical results by illustrating the performance of the spectral algorithms when the spikes come from real datasets.

categories: math.ST cs.LG eess.SP math.PR stat.ML stat.TH


title: Misleading Authorship Attribution of Source Code using Adversarial Learning

abstract: In this paper, we present a novel attack against authorship attribution of source code. We exploit that recent attribution methods rest on machine learning and thus can be deceived by adversarial examples of source code. Our attack performs a series of semantics-preserving code transformations that mislead learning-based attribution but appear plausible to a developer. The attack is guided by Monte-Carlo tree search that enables us to operate in the discrete domain of source code. In an empirical evaluation with source code from 204 programmers, we demonstrate that our attack has a substantial effect on two recent attribution methods, whose accuracy drops from over 88% to 1% under attack. Furthermore, we show that our attack can imitate the coding style of developers with high accuracy and thereby induce false attributions. We conclude that current approaches for authorship attribution are inappropriate for practical application and there is a need for resilient analysis techniques.


title: Twenty-Vertex model with domain wall boundaries and domino tilings

abstract: We consider the triangular lattice ice model (20-Vertex model) with four types of domain-wall type boundary conditions. In types 1 and 2, the configurations are shown to be equinumerous to the quarter-turn symmetric domino tilings of an Aztec-like holey square, with a central cross-shaped hole. The proof of this statement makes extensive use of integrability and of a connection to the 6-Vertex model. The type 3 configurations are conjectured to be in same number as domino tilings of a particular triangle. The four enumeration problems are reformulated in terms of four types of Alternating Phase Matrices with entries 0 and sixth roots of unity, subject to suitable alternation conditions. Our result is a generalization of the ASM-DPP correspondence. Several refined versions of the above correspondences are also discussed.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: Direct Entropy Measurement in a Mesoscopic Quantum System

abstract: The entropy of an electronic system offers important insights into the nature of its quantum mechanical ground state. This is particularly valuable in cases where the state is difficult to identify by conventional experimental probes, such as conductance. Traditionally, entropy measurements are based on bulk properties, such as heat capacity, that are easily observed in macroscopic samples but are unmeasurably small in systems that consist of only a few particles. In this work, we develop a mesoscopic circuit to directly measure the entropy of just a few electrons, and demonstrate its efficacy using the well understood spin statistics of the first, second, and third electron ground states in a GaAs quantum dot. The precision of this technique, quantifying the entropy of a single spin-$\frac{1}{2}$ to within 5\% of the expected value of $k_B \ln{2}$, shows its potential for probing more exotic systems. For example, entangled states or those with non-Abelian statistics could be clearly distinguished by their low-temperature entropy.


title: A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems

abstract: We propose a set of compositional design patterns to describe a large variety of systems that combine statistical techniques from machine learning with symbolic techniques from knowledge representation. As in other areas of computer science (knowledge engineering, software engineering, ontology engineering, process mining and others), such design patterns help to systematize the literature, clarify which combinations of techniques serve which purposes, and encourage re-use of software components. We have validated our set of compositional design patterns against a large body of recent literature.


title: Cohomological dimension and relative Cohen-Maculayness

abstract: Let R be a commutative Noetherian (not necessarily local) ring with identity and a be a proper ideal of R. We introduce a notion of a-relative system of parameters and characterize them by using the notion of cohomological dimension. Also, we present a criterion of relative Cohen-Macaulay modules via relative system of parameters.


title: Magnetic Field and Curvature Effects on Pair Production II: Vectors and Implications for Chromodynamics

abstract: We calculate the pair production rates for spin-$1$ or vector particles on spaces of the form $M \times {\mathbb R}^{1,1}$ with $M$ corresponding to ${\mathbb R}^2$ (flat), $S^2$ (positive curvature) and $H^2$ (negative curvature), with and without a background (chromo)magnetic field on $M$. Beyond highlighting the effects of curvature and background magnetic field, this is particularly interesting since vector particles are known to suffer from the Nielsen-Olesen instability, which can dramatically increase pair production rates. The form of this instability for $S^2$ and $H^2$ is obtained. We also give a brief discussion of how our results relate to ideas about confinement in nonabelian theories.


title: Carbon cycling and interior evolution of water-covered plate tectonics and stagnant lid planets

abstract: Aims: The long-term carbon cycle for planets with a surface entirely covered by oceans works differently from that of the present-day Earth because inefficient erosion leads to a strong dependence of the weathering rate on the rate of volcanism. In this paper, we investigate the long-term carbon cycle for these planets throughout their evolution. Methods: We built box models of the long-term carbon cycle based on CO$_2$ degassing, seafloor-weathering, metamorphic decarbonation, and ingassing and coupled them with thermal evolution models of stagnant lid and plate tectonics planets. Results: The assumed relationship between the seafloor-weathering rate and the atmospheric CO$_2$ or the surface temperature strongly influences the climate evolution for both tectonic regimes. For a plate tectonics planet, the atmospheric CO$_2$ partial pressure is characterised by an equilibrium between ingassing and degassing and depends on the temperature gradient in subduction zones affecting the stability of carbonates. For a stagnant lid planet, partial melting and degassing are always accompanied by decarbonation, such that the combined carbon content of the crust and atmosphere increases with time. Whereas the initial mantle temperature for plate tectonics planets only affects the early evolution, it influences the evolution of the surface temperature of stagnant lid planets for much longer. Conclusions: For both tectonic regimes, mantle cooling results in a decreasing atmospheric CO$_2$ partial pressure. For a plate tectonics planet this is caused by an increasing fraction of subduction zones that avoid crustal decarbonation, and for stagnant lid planets this is caused by an increasing decarbonation depth. This mechanism may partly compensate for the increase of the surface temperature due to increasing solar luminosity with time and hereby contribute to keep planets habitable in the long-term.