title: The Generalized Droop Formula

abstract: We present a theoretical model that fully supports the recently disclosed generalized droop formula (GDF) for calculating the signal-to-noise ratio (SNR) of constant-output power (COP) amplified dispersion-uncompensated coherent links operated at very low SNR. We compare the GDF to the better known Gaussian noise (GN) model. A key finding is that the end-to-end model underlying the GDF is a concatenation of per-span first-order regular perturbation (RP1) models with end-span power renormalization. This fact allows the GDF to well reproduce the SNR of highly nonlinear systems, well beyond the RP1 limit underlying the GN model. The GDF is successfully extended to the case where the bandwidth/modes of the COP amplifiers are not entirely filled by the transmitted multiplex. Finally, the GDF is extended to constant-gain (CG) amplifier chains and is shown to improve on known GN models of highly nonlinear propagation with CG amplifiers.


title: Effect of dynamical noncommutativity on the limiting mass of white dwarfs

abstract: The discovery of the existence of an upper bound on the mass of a white dwarf star is considered as one of the finest of twentieth century astrophysics. On approaching this limiting mass of $1.4M_\odot$, known as the Chandrasekhar mass-limit, a white dwarf is believed to spark of with an explosion called type Ia supernova, which is considered to be a standard candle. But since the last decade, observations of several over-luminous, peculiar type Ia supernovae indicate that the Chandrasekhar-limit be significantly larger. By postulating noncommutativity between the components of momentum variables, we show that the mass of white dwarfs can be enhanced significantly and arrive at a new super-Chandrasekhar mass limit of about $4.68M_\odot$. This can provide a plausible explanation for the origin of over-luminous peculiar type Ia supernovae.


title: Threat determination for radiation detection from the Remote Sensing Laboratory

abstract: The ability to search for radiation sources is of interest to the Homeland Security community. The hope is to find any radiation sources which may pose a reasonable chance for harm in a terrorist act. The best chance of success for search operations generally comes with fielding as many detection systems as possible. In doing this, the hoped for encounter with the threat source will inevitably be buried in an even larger number of encounters with non-threatening radiation sources commonly used for many medical and industrial use. The problem then becomes effectively filtering the non-threatening sources, and presenting the human-in-the-loop with a modest list of potential threats. Our approach is to field a collection of detection systems which utilize soft-sensing algorithms for the purpose of discriminating potential threat and non-threat objects, based on a variety of machine learning techniques.


title: The effect of a wall on the interaction of two spheres in shear flow: Batchelor-Green theory revisited

abstract: The seminal Batchelor-Green's (BG) theory on the hydrodynamic interaction of two spherical particles of radii a suspended in a viscous shear flow neglects the effect of the boundaries. In the present paper we study how a plane wall modifies this interaction. Using an integral equation for the surface traction we derive the expression for the particles' relative velocity as a sum of the BG's velocity and the term due to the presence of a wall at finite distance, z_0. Our calculation is not the perturbation theory of the BG solution, so the contribution due to the wall is not necessarily small. The distance at which the wall significantly alters the particles interaction scales as z_0^{3/5}. The phase portrait of the particles' relative motion is different from the BG theory, where there are two singly-connected regions of open and closed trajectories both of infinite volume. For finite z_0, there is a new domain of closed (dancing) and open (swapping) trajectories. The width of this region behaves as 1/z_0. Along the swapping trajectories, that have been previously observed numerically, the incoming particle is turning back after the encounter with the reference particle, rather than passing it by, as in the BG theory. The region of dancing trajectories has infinite volume. We found a one-parameter family of equilibrium states, overlooked previously, whereas the pair of spheres flows as a whole without changing its configuration. These states are marginally stable and their perturbation yields a two-parameter family of the dancing trajectories, where the particle is orbiting around a fixed point in a frame co-moving with the reference particle. We suggest that the phase portrait obtained at z_0>>a is topologically stable and can be extended down to rather small z_0 of several particle diameters. We confirm this by direct numerical simulations of the Navier-Stokes equations with z_0=5a.


title: A note on paper "Anomalous relaxation model based on the fractional derivative with a Prabhakarlike kernel" [Z. Angew. Math. Phys. (2019) 70:42]

abstract: Inspired by the article "Anomalous relaxation model based on the fractional derivative with a Prabhakar-like kernel" (Z. Angew. Math. Phys. (2019) 70:42) which authors D. Zhao and HG. Sun studied the integro-differential equation with the kernel given by the Prabhakar function $e^{-\gamma}_{\alpha, \beta}(t, \lambda)$ we provide the solution to this equation which is complementary to that obtained up to now. Our solution is valid for effective relaxation times which admissible range extends the limits given in \cite[Theorem 3.1]{DZhao2019} to all positive values. For special choices of parameters entering the equation itself and/or characterizing the kernel the solution comprises to known phenomenological relaxation patterns, e.g. to the Cole-Cole model (if $\gamma = 1, \beta=1-\alpha$) or to the standard Debye relaxation.


title: Distributed Kerr Nonlinearity in a Coherent All-Optical Fiber-Ring Reservoir Computer

abstract: We investigate, both numerically and experimentally, the usefulness of a distributed nonlinearity in a passive coherent photonic reservoir computer. This computing system is based on a passive coherent optical fiber-ring cavity in which part of the nonlinearities are realized by the Kerr nonlinearity. Linear coherent reservoirs can solve difficult tasks but are aided by nonlinear components in their input or output layer. Here, we compare the impact of nonlinear transformations of information in the reservoir input layer, its bulk - the fiber-ring cavity - and its readout layer. For the injection of data into the reservoir, we compare a linear input mapping to the nonlinear transfer function of a Mach Zehnder modulator. For the reservoir bulk, we quantify the impact of the optical Kerr effect. For the readout layer we compare a linear output to a quadratic output implemented by a photodiode. We find that optical nonlinearities in the reservoir itself, such as the optical Kerr nonlinearity studied in the present work, enhance the task solving capability of the reservoir. This suggests that such nonlinearities will play a key role in future coherent all-optical reservoir computers.


title: DeepDistance: A Multi-task Deep Regression Model for Cell Detection in Inverted Microscopy Images

abstract: This paper presents a new deep regression model, which we call DeepDistance, for cell detection in images acquired with inverted microscopy. This model considers cell detection as a task of finding most probable locations that suggest cell centers in an image. It represents this main task with a regression task of learning an inner distance metric. However, different than the previously reported regression based methods, the DeepDistance model proposes to approach its learning as a multi-task regression problem where multiple tasks are learned by using shared feature representations. To this end, it defines a secondary metric, normalized outer distance, to represent a different aspect of the problem and proposes to define its learning as complementary to the main cell detection task. In order to learn these two complementary tasks more effectively, the DeepDistance model designs a fully convolutional network (FCN) with a shared encoder path and end-to-end trains this FCN to concurrently learn the tasks in parallel. DeepDistance uses the inner distances estimated by this FCN in a detection algorithm to locate individual cells in a given image. For further performance improvement on the main task, this paper also presents an extended version of the DeepDistance model. This extended model includes an auxiliary classification task and learns it in parallel to the two regression tasks by sharing feature representations with them. Our experiments on three different human cell lines reveal that the proposed multi-task learning models, the DeepDistance model and its extended version, successfully identify cell locations, even for the cell line that was not used in training, and improve the results of the previous deep learning methods.


title: Stock Price Forecasting and Hypothesis Testing Using Neural Networks

abstract: In this work we use Recurrent Neural Networks and Multilayer Perceptrons to predict NYSE, NASDAQ and AMEX stock prices from historical data. We experiment with different architectures and compare data normalization techniques. Then, we leverage those findings to question the efficient-market hypothesis through a formal statistical test.


title: The Grover search as a naturally occurring phenomenon

abstract: We provide first evidence that under certain conditions, 1/2-spin fermions may naturally behave like a Grover search, looking for topological defects in a material. The theoretical framework is that of discrete-time quantum walks (QW), i.e. local unitary matrices that drive the evolution of a single particle on the lattice. Some QW are well-known to recover the $(2+1)$--dimensional Dirac equation in continuum limit, i.e. the free propagation of the 1/2-spin fermion. We study two such Dirac QW, one on the square grid and the other on a triangular grid reminiscent of graphene-like materials. The numerical simulations show that the walker localises around the defects in $O(\sqrt{N})$ steps with probability $O(1/\log{N})$, in line with previous QW search on the grid. The main advantage brought by those of this paper is that they could be implemented as `naturally occurring' freely propagating particles over a surface featuring topological---without the need for a specific oracle step. From a quantum computing perspective, however, this hints at novel applications of QW search : instead of using them to look for `good' solutions within the configuration space of a problem, we could use them to look for topological properties of the entire configuration space.


title: Global Reasoning over Database Structures for Text-to-SQL Parsing

abstract: State-of-the-art semantic parsers rely on auto-regressive decoding, emitting one symbol at a time. When tested against complex databases that are unobserved at training time (zero-shot), the parser often struggles to select the correct set of database constants in the new database, due to the local nature of decoding. In this work, we propose a semantic parser that globally reasons about the structure of the output query to make a more contextually-informed selection of database constants. We use message-passing through a graph neural network to softly select a subset of database constants for the output query, conditioned on the question. Moreover, we train a model to rank queries based on the global alignment of database constants to question words. We apply our techniques to the current state-of-the-art model for Spider, a zero-shot semantic parsing dataset with complex databases, increasing accuracy from 39.4% to 47.4%.


title: Texture Underfitting for Domain Adaptation

abstract: Comprehensive semantic segmentation is one of the key components for robust scene understanding and a requirement to enable autonomous driving. Driven by large scale datasets, convolutional neural networks show impressive results on this task. However, a segmentation algorithm generalizing to various scenes and conditions would require an enormously diverse dataset, making the labour intensive data acquisition and labeling process prohibitively expensive. Under the assumption of structural similarities between segmentation maps, domain adaptation promises to resolve this challenge by transferring knowledge from existing, potentially simulated datasets to new environments where no supervision exists. While the performance of this approach is contingent on the concept that neural networks learn a high level understanding of scene structure, recent work suggests that neural networks are biased towards overfitting to texture instead of learning structural and shape information. Considering the ideas underlying semantic segmentation, we employ random image stylization to augment the training dataset and propose a training procedure that facilitates texture underfitting to improve the performance of domain adaptation. In experiments with supervised as well as unsupervised methods for the task of synthetic-to-real domain adaptation, we show that our approach outperforms conventional training methods.


title: From the Token to the Review: A Hierarchical Multimodal approach to Opinion Mining

abstract: The task of predicting fine grained user opinion based on spontaneous spoken language is a key problem arising in the development of Computational Agents as well as in the development of social network based opinion miners. Unfortunately, gathering reliable data on which a model can be trained is notoriously difficult and existing works rely only on coarsely labeled opinions. In this work we aim at bridging the gap separating fine grained opinion models already developed for written language and coarse grained models developed for spontaneous multimodal opinion mining. We take advantage of the implicit hierarchical structure of opinions to build a joint fine and coarse grained opinion model that exploits different views of the opinion expression. The resulting model shares some properties with attention-based models and is shown to provide competitive results on a recently released multimodal fine grained annotated corpus.


title: Machine learning with electroencephalography features for precise diagnosis of depression subtypes

abstract: Depression is a common psychiatric disorder, which causes significant patient distress. Bipolar disorder is characterized by mood fluctuations between depression and mania. Unipolar and bipolar depression can be easily confused because of similar symptom profiles, but their adequate treatment plans are different. Therefore, a precise data-driven diagnosis is essential for successful treatment. In order to aid diagnosis, research applied machine learning to brain imaging data, in particular to electroencephalography (EEG), with accuracies reaching 99.5% (unipolar vs. healthy) or 85% (bipolar vs. healthy). However, these results arise from small training sets, without validation on independent data, and thus have a high risk of inflated accuracies due to data over-fitting. We propose to use a bigger corpus of realistic clinical data for training and testing and improve classification with microstates features, which can assess the function of large-scale brain networks.


title: Deep Modulation (Deepmod): A Self-Taught PHY Layer for Resilient Digital Communications

abstract: Traditional physical (PHY) layer protocols contain chains of signal processing blocks that have been mathematically optimized to transmit information bits efficiently over noisy channels. Unfortunately, this same optimality encourages ubiquity in wireless communication technology and enhances the potential for catastrophic cyber or physical attacks due to prolific knowledge of underlying physical layers. Additionally, optimal signal processing for one channel medium may not work for another without significant changes in the software protocol. Any truly resilient communications protocol must be capable of immediate redeployment to meet quality of service (QoS) demands in a wide variety of possible channel media. Contrary to many traditional approaches which use immutable man-made signal processing blocks, this work proposes generating real-time blocks {\it ad hoc} through a machine learning framework, so-called deepmod, that is only relevant to the particular channel medium being used. With this approach, traditional signal processing blocks are replaced with machine learning graphs which are trained, used, and discarded as needed. Our experiments show that deepmod, using the same machine intelligence, converges to viable communication links over vastly different channels including: radio frequency (RF), powerline communications (PLC), and acoustic channels.


title: Environment Sound Classification using Multiple Feature Channels and Attention based Deep Convolutional Neural Network

abstract: In this paper, we propose a model for the Environment Sound Classification Task (ESC) that consists of multiple feature channels given as input to a Deep Convolutional Neural Network (CNN) with Attention mechanism. The novelty of the paper lies in using multiple feature channels consisting of Mel-Frequency Cepstral Coefficients (MFCC), Gammatone Frequency Cepstral Coefficients (GFCC), the Constant Q-transform (CQT) and Chromagram. Such multiple features have never been used before for signal or audio processing. And, we employ a deeper CNN (DCNN) compared to previous models, consisting of spatially separable convolutions working on time and feature domain separately. Alongside, we use attention modules that perform channel and spatial attention together. We use some data augmentation techniques to further boost performance. Our model is able to achieve state-of-the-art performance on all three benchmark environment sound classification datasets, i.e. the UrbanSound8K (97.52%), ESC-10 (95.75%) and ESC-50 (88.50%). To the best of our knowledge, this is the first time that a single environment sound classification model is able to achieve state-of-the-art results on all three datasets. For ESC-10 and ESC-50 datasets, the accuracy achieved by the proposed model is beyond human accuracy of 95.7% and 81.3% respectively.


title: Twistor fishnets

abstract: Four-dimensional conformal fishnet theory is an integrable scalar theory which arises as a double scaling limit of $\gamma$-deformed maximally supersymmetric Yang-Mills. We give a perturbative reformulation of $\gamma$-deformed super-Yang-Mills theory in twistor space, and implement the double scaling limit to obtain a twistor description of conformal fishnet theory. The conformal fishnet theory retains an abelian gauge symmetry on twistor space which is absent in space-time, allowing us to obtain cohomological formulae for scattering amplitudes that manifest conformal invariance. We study various classes of scattering amplitudes in twistor space with this formalism.


title: Multi-Channel Deep Networks for Block-Based Image Compressive Sensing

abstract: Incorporating deep neural networks in image compressive sensing (CS) receives intensive attentions in multimedia technology and applications recently. As deep network approaches learn the inverse mapping directly from the CS measurements, the reconstruction speed is significantly faster than the conventional CS algorithms. However, for existing network based approaches, a CS sampling procedure has to map a separate network model. This may potentially degrade the performance of image CS with block-wise sampling because of blocking artifacts, especially when multiple sampling rates are assigned to different blocks within an image. In this paper, we develop a multichannel deep network for block-based image CS by exploiting inter-block correlation with performance significantly exceeding the current state-of-the-art methods. The significant performance improvement is attributed to block-wise approximation but full image removal of blocking artifacts. Specifically, with our multichannel structure, the image blocks with a variety of sampling rates can be reconstructed in a single model. The initially reconstructed blocks are then capable of being reassembled into a full image to improve the recovered images by unrolling a hand-designed block based CS recovery algorithm. Experimental results demonstrate that the proposed method outperforms the state-of-the-art CS methods by a large margin in terms of objective metrics and subjective visual image quality. Our source codes are available at https://github.com/siwangzhou/DeepBCS.


title: The Siegel-Weil formula for unitary groups: the second term range

abstract: We study the Siegel-Weil formula in the second term range ($n+1\leq m\leq n+r$) for unitary groups of hermitian forms over a skew-field $D$ with involution of the second kind.


title: Structure formation in the new Deser-Woodard nonlocal gravity model

abstract: We consider the structure formation in the nonlocal gravity model proposed recently by Deser and Woodard (DW-2019 model), which can not only reproduce the $\Lambda$CDM cosmology without fine-tuning puzzle but also may provide a screening mechanism for free. By using the direct numerical method of the reconstructing technique, the nonlocal distortion function $f(Y)$ is fixed as $f(Y)\simeq\boldsymbol{e}^{2.153(Y-16.97)}$ which has a small deviation with the fitted function proposed by Deser and Woodard. Based on the numerical results, we plotted the curve of the growth rate $f\sigma_8(z)$ under the DW-2019 model, which shows this model is not ruled out by the $f\sigma_8$ data from the Redshift-space distortions measurements. The evolving curve of the growth rate has a distinct plummet at $z\simeq0.39$, which is a great difference with the DW model. The possible reason is that the DW-2019 model provides the strong nonlocal effect, which behaves as the anisotropic effect to influence the matter perturbation in the low-redshift range. Finally the qualitative analysis of the screening mechanism is discussed by considering the spacial dependence of the nonlocal modification in the small-scale range.


title: Equivariant cohomology, Schubert calculus, and edge labeled tableaux

abstract: This chapter concerns edge labeled Young tableaux, introduced by H. Thomas and the third author. It is used to model equivariant Schubert calculus of Grassmannians. We survey results, problems, conjectures, together with their influences from combinatorics, algebraic and symplectic geometry, linear algebra, and computational complexity. We report on a new shifted analogue of edge labeled tableaux. Conjecturally, this gives a Littlewood-Richardson rule for the structure constants of the D. Anderson-W. Fulton ring, which is related to the equivariant cohomology of isotropic Grassmannians.


title: Enabling Simulation-Based Optimization Through Machine Learning: A Case Study on Antenna Design

abstract: Complex phenomena are generally modeled with sophisticated simulators that, depending on their accuracy, can be very demanding in terms of computational resources and simulation time. Their time-consuming nature, together with a typically vast parameter space to be explored, make simulation-based optimization often infeasible. In this work, we present a method that enables the optimization of complex systems through Machine Learning (ML) techniques. We show how well-known learning algorithms are able to reliably emulate a complex simulator with a modest dataset obtained from it. The trained emulator is then able to yield values close to the simulated ones in virtually no time. Therefore, it is possible to perform a global numerical optimization over the vast multi-dimensional parameter space, in a fraction of the time that would be required by a simple brute-force search. As a testbed for the proposed methodology, we used a network simulator for next-generation mmWave cellular systems. After simulating several antenna configurations and collecting the resulting network-level statistics, we feed it into our framework. Results show that, even with few data points, extrapolating a continuous model makes it possible to estimate the global optimum configuration almost instantaneously. The very same tool can then be used to achieve any further optimization goal on the same input parameters in negligible time.


title: Port-Hamiltonian modeling of district heating networks

abstract: This paper provides a first contribution to port-Hamiltonian modeling of district heating networks. By introducing a model hierarchy of flow equations on the network, this work aims at a thermodynamically consistent port-Hamiltonian embedding of the partial differential-algebraic systems. We show that a spatially discretized network model describing the advection of the internal energy density with respect to an underlying incompressible stationary Euler-type hydrodynamics can be considered as a parameter-dependent finite-dimensional port-Hamiltonian system. Moreover, we present an infinite-dimensional port-Hamiltonian formulation for a compressible instationary thermodynamic fluid flow in a pipe. Based on these first promising results, we raise open questions and point out research perspectives concerning structure-preserving discretization, model reduction, and optimization.


title: VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

abstract: We present VeriSmart, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically important because smart contracts are immutable and even a single flaw can cause huge financial damage. In particular, ensuring that arithmetic operations are safe is one of the most important and common security concerns of Ethereum smart contracts nowadays. In response, several safety analyzers have been proposed over the past few years, but state-of-the-art is still unsatisfactory; no existing tools achieve high precision and recall at the same time, inherently limited to producing annoying false alarms or missing critical bugs. By contrast, VeriSmart aims for an uncompromising analyzer that performs exhaustive verification without compromising precision or scalability, thereby greatly reducing the burden of manually checking undiscovered or incorrectly-reported issues. To achieve this goal, we present a new domain-specific algorithm for verifying smart contracts, which is able to automatically discover and leverage transaction invariants that are essential for precisely analyzing smart contracts. Evaluation with real-world smart contracts shows that VeriSmart can detect all arithmetic bugs with a negligible number of false alarms, far outperforming existing analyzers.


title: Positive-definite Functions, Exponential Sums and the Greedy Algorithm: a curious Phenomenon

abstract: We describe a curious dynamical system that results in sequences of real numbers in $[0,1]$ with seemingly remarkable properties. Let the function $f:\mathbb{T} \rightarrow \mathbb{R}$ satisfy $\hat{f}(k) \geq c|k|^{-2}$ and define a sequence via $$ x_n = \arg\min_x \sum_{k=1}^{n-1}{f(x-x_k)}.$$ Such sequences $(x_n)_{n=1}^{\infty}$ seem to be astonishingly regularly distributed in various ways (satisfying favorable exponential sum estimates; every interval $J \subset [0,1]$ contains $\sim |J|n$ elements). We prove $$ W_2\left( \frac{1}{n} \sum_{k=1}^{n}{\delta_{x_k}}, dx\right) \leq \frac{c}{\sqrt{n}},$$ where $W_2$ is the 2-Wasserstein distance. Much stronger results seem to be true and it seems like an interesting problem to understand this dynamical system better. We obtain optimal results in dimension $d \geq 3$: using $G(x,y)$ to denote the Green's function of the Laplacian on a compact manifold, we show that $$ x_n = \arg\min_{x \in M} \sum_{k=1}^{n-1}{G(x,x_k)} \quad \mbox{satisfies} \quad W_2\left( \frac{1}{n} \sum_{k=1}^{n}{\delta_{x_k}}, dx\right) \lesssim \frac{1}{n^{1/d}}.$$


title: White-box vs Black-box: Bayes Optimal Strategies for Membership Inference

abstract: Membership inference determines, given a sample and trained parameters of a machine learning model, whether the sample was part of the training set. In this paper, we derive the optimal strategy for membership inference with a few assumptions on the distribution of the parameters. We show that optimal attacks only depend on the loss function, and thus black-box attacks are as good as white-box attacks. As the optimal strategy is not tractable, we provide approximations of it leading to several inference methods, and show that existing membership inference methods are coarser approximations of this optimal strategy. Our membership attacks outperform the state of the art in various settings, ranging from a simple logistic regression to more complex architectures and datasets, such as ResNet-101 and Imagenet.


title: Defeating Misclassification Attacks Against Transfer Learning

abstract: Transfer learning is prevalent as a technique to efficiently generate new models (Student models) based on the knowledge transferred from a pre-trained model (Teacher model). However, Teacher models are often publicly available for sharing and reuse, which inevitably introduces vulnerability to trigger severe attacks against transfer learning systems. In this paper, we take a first step towards mitigating one of the most advanced misclassification attacks in transfer learning. We design a distilled differentiator via activation-based network pruning to enervate the attack transferability while retaining accuracy. We adopt an ensemble structure from variant differentiators to improve the defence robustness. To avoid the bloated ensemble size during inference, we propose a two-phase defence, in which inference from the Student model is firstly performed to narrow down the candidate differentiators to be assembled, and later only a small, fixed number of them can be chosen to validate clean or reject adversarial inputs effectively. Our comprehensive evaluations on both large and small image recognition tasks confirm that the Student models with our defence of only 5 differentiators are immune to over 90% of the adversarial inputs with an accuracy loss of less than 10%. Our comparison also demonstrates that our design outperforms prior problematic defences.


title: Independence Polynomials and Hypergeometric Series

abstract: Let $\Gamma$ be a simple graph and $I_\Gamma(x)$ its multivariate independence polynomial. The main result of this paper is the characterization of chordal graphs as the only $\Gamma$ for which the power series expansion of $I_\Gamma^{-1}(x)$ is Horn hypergeometric.


title: Precision requirements for interferometric gridding in 21-cm power spectrum analysis

abstract: We analyse the accuracy of radio interferometric gridding of visibilities with the aim to quantify the Epoch of Reionization (EoR) 21-cm power spectrum bias caused by gridding, ultimately to determine the suitability of different imaging algorithms and gridding settings for 21-cm power spectrum analysis. We simulate realistic LOFAR data, and construct power spectra with convolutional gridding and w-stacking, w-projection, image domain gridding and without w-correction. These are compared against directly Fourier transformed data. The influence of oversampling, kernel size, w-quantization, kernel windowing function and image padding are quantified. The gridding excess power is measured with a foreground subtraction strategy, for which foregrounds have been subtracted using Gaussian progress regression, as well as with a foreground avoidance strategy. Constructing a power spectrum that has a bias significantly lower compared to the expected EoR signals is possible with the tested methods, but requires a kernel oversampling factor > 4000 and, when using w-correction, > 500 w-quantization levels. These values are higher than typical values used for imaging, but are computationally feasible. The kernel size and padding factor parameters are less crucial. Among the tested methods, image domain gridding shows the highest accuracy with the lowest imaging time. LOFAR 21-cm power spectrum results are not affected by gridding. Image domain gridding is overall the most suitable algorithm for 21-cm EoR experiments, including for future SKA EoR analyses. Nevertheless, convolutional gridding with tuned parameters results in sufficient accuracy. This holds also for w-stacking for wide-field imaging. The w-projection algorithm is less suitable because of the kernel oversampling requirements, and a faceting approach is unsuitable due to the resulting spatial discontinuities.


title: Sampling low-dimensional Markovian dynamics for pre-asymptotically recovering reduced models from data with operator inference

abstract: This work introduces a method for learning low-dimensional models from data of high-dimensional black-box dynamical systems. The novelty is that the learned models are exactly the reduced models that are traditionally constructed with model reduction techniques that require full knowledge of governing equations and operators of the high-dimensional systems. Thus, the learned models are guaranteed to inherit the well-studied properties of reduced models from traditional model reduction. The key ingredient is a new data sampling scheme to obtain re-projected trajectories of high-dimensional systems that correspond to Markovian dynamics in low-dimensional subspaces. The exact recovery of reduced models from these re-projected trajectories is guaranteed pre-asymptotically under certain conditions for finite amounts of data and for a large class of systems with polynomial nonlinear terms. Numerical results demonstrate that the low-dimensional models learned with the proposed approach match reduced models from traditional model reduction up to numerical errors in practice. The numerical results further indicate that low-dimensional models fitted to re-projected trajectories are predictive even in situations where models fitted to trajectories without re-projection are inaccurate and unstable.


title: The supernova remnant population of the Small Magellanic Cloud

abstract: Aims: We present a comprehensive study of the supernova remnant (SNR) population of the Small Magellanic Cloud (SMC). We measure multiwavelength properties of the SMC SNRs and compare them to those of the Large Magellanic Cloud (LMC) population. Methods: This study combines the large dataset of XMM-Newton observations of the SMC, archival and recent radio continuum observations, an optical line emission survey, and new optical spectroscopic observations. We can thus build a complete and clean sample of 19 confirmed and 4 candidate SNRs. The homogeneous X-ray spectral analysis allows to search for SN ejecta and Fe K line emission, and to measure interstellar medium (ISM) abundances. We estimate the ratio of core-collapse to type Ia supernova rates of the SMC based on the X-ray properties and the local stellar environment of each SNR. Results : After the removal of unconfirmed or misclassified objects, and the addition of two newly confirmed SNRs based on multi-wavelength features, we present a final list of 21 confirmed SNRs and 2 candidates. While no Fe K line is detected even for the brightest and youngest SNR, we find X-ray evidence of SN ejecta in 11 SNRs. We estimate a ratio of 4.7$_{-1.9} ^{+0.6}$ core-collapse supernova to every type Ia SN, three times higher than in the LMC. The difference can be ascribed to the absence of the enhanced star formation episode in the SMC, which occurred in the LMC 0.5-1.5 Gyr ago. The hot-gas abundances of O, Ne, Mg, and Fe are 0.1-0.2 times solar. Their ratios with respect to SMC stellar abundances reflect the effects of dust depletion and partial dust destruction in SNR shocks. We find evidence that the ambient medium probed by SMC SNRs is less disturbed and less dense on average than in the LMC, consistent with the different morphologies of the two galaxies.


title: Smoothing toroidal crossing spaces

abstract: We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is to study log structures that are incoherent on a subspace of codimension two and prove a Hodge-de Rham degeneration theorem for such log spaces which also settles a conjecture by Danilov. We show that the homotopy equivalence between Maurer-Cartan solutions and deformations combined with Batalin-Vilkovisky theory can be used to obtain smoothings. The construction of new Calabi-Yau and Fano manifolds as well as Frobenius manifold structures on moduli spaces are potential applications.


title: Forbidden detour number on virtual knot

abstract: We show that the forbidden detour move, essentially introduced by Kanenobu and Nelson, is an unknotting operation for virtual knots. Then we define the forbidden detour number of a virtual knot to be the minimal number of forbidden detour moves necessary to transform a diagram of the virtual knot into the trivial knot diagram. Some upper and lower bounds on the forbidden detour number are given in terms of the minimal number of real crossings or the coefficients of the affine index polynomial of the virtual knot.


title: Quantitative model for $^{13}$C tracing applied to citrate production and secretion of prostate epithelial tissue

abstract: Healthy human prostate epithelial cells have the unique ability to produce and secrete large amounts of citrate into the lumen of the prostate. Citrate is a Krebs cycle metabolite produced in the condensation reaction between acetyl-CoA and oxaloacetate in the mitochondria of the cell. With the application of $^{13}$C enriched substrates, such as $^{13}$C glucose or pyruvate, to prostate cells or tissues, it is possible to identify the contributions of different metabolic pathways to this production and secretion of citrate. In this work we present a quantitative model describing the mitochondrial production and the secretion of citrate by prostatic epithelial cells employing the $^{13}$C labeling pattern of secreted citrate as readout. We derived equations for the secretion fraction of citrate and the contribution of pyruvate dehydrogenase complex (PDC) versus the anaplerotic pyruvate carboxylase (PC) pathways in supplying the Krebs cycle with carbons from pyruvate for the production of citrate. These measures are independent of initial $^{13}$C-enrichment of the administered supplements and of $^{13}$C J-coupling patterns, making this method robust also if SNR is low. We propose use of these equations to distinguish between citrate metabolism in healthy and diseased prostate tissue, in particular upon malignant transformation.


title: New CTEQ Global Analysis with High Precision Data from the LHC

abstract: We present the new CTEQ-TEA global analysis of quantum chromodynamics (QCD). In this analysis, parton distribution functions (PDFs) of the nucleon are determined within the Hessian method at the next-to-next-to leading order (NNLO) in perturbative QCD, based on the most recent measurements from the Large Hadron Collider (LHC) and a variety of world collider data. Because of difficulties in fitting both the ATLAS 7 and 8 TeV $W$ and $Z$ vector boson production cross section data, we present two families of PDFs, named CT18 and CT18$Z$ PDFs, respectively, without and with the ATLAS 7 TeV $W$ and $Z$ measurements. We study the impact of the CT18 family of PDFs on the theoretical predictions of standard candle cross sections at the LHC.


title: Mechanical behavior of InP twinning superlattice nanowires

abstract: Taper-free InP twinning superlattice (TSL) nanowires with an average twin spacing of ~ 13 nm were grown along the zinc-blende close-packed [111] direction using metalorganic vapor phase epitaxy. The mechanical properties and fracture mechanisms of individual InP TSL nanowires in tension were ascertained by means of in situ uniaxial tensile tests in a transmission electron microscope. The elastic modulus, failure strain and tensile strength along the [111] direction were determined. No evidence of inelastic deformation mechanisms was found before fracture, which took place in a brittle manner along the twin boundary. The experimental results were supported by molecular dynamics simulations of the tensile deformation of the nanowires that also showed that the fracture of twinned nanowires occurred in the absence of inelastic deformation mechanisms by the propagation of a crack from the nanowire surface along the twin boundary.


title: Great Ape Detection in Challenging Jungle Camera Trap Footage via Attention-Based Spatial and Temporal Feature Blending

abstract: We propose the first multi-frame video object detection framework trained to detect great apes. It is applicable to challenging camera trap footage in complex jungle environments and extends a traditional feature pyramid architecture by adding self-attention driven feature blending in both the spatial as well as the temporal domain. We demonstrate that this extension can detect distinctive species appearance and motion signatures despite significant partial occlusion. We evaluate the framework using 500 camera trap videos of great apes from the Pan African Programme containing 180K frames, which we manually annotated with accurate per-frame animal bounding boxes. These clips contain significant partial occlusions, challenging lighting, dynamic backgrounds, and natural camouflage effects. We show that our approach performs highly robustly and significantly outperforms frame-based detectors. We also perform detailed ablation studies and validation on the full ILSVRC 2015 VID data corpus to demonstrate wider applicability at adequate performance levels. We conclude that the framework is ready to assist human camera trap inspection efforts. We publish code, weights, and ground truth annotations with this paper.


title: Quantitative Boundedness of Littlewood--Paley Functions on Weighted Lebesgue Spaces in the Schr\"{o}dinger Setting

abstract: Let $L:=-\Delta+V$ be the Schr\"{o}dinger operator on $\mathbb{R}^n$ with $n\geq 3$, where $V$ is a non-negative potential which belongs to certain reverse H\"{o}lder class $RH_q(\mathbb{R}^n)$ with $q\in (n/2,\,\infty)$. In this article, the authors obtain the quantitative weighted boundedness of Littlewood--Paley functions $g_L$, $S_L$ and $g_{L,\,\lambda}^\ast$, associated to $L$, on weighted Lebesgue spaces $L^p(w)$, where $w$ belongs to the class of Muckenhoupt $A_p$ weights adapted to $L$.


title: High resolution digitization system for the CROSS experiment

abstract: The signal digitization for CROSS, a bolometric experiment for the search of neutrinoless double beta decay at LSC - Canfranc Underground Laboratory, will be based on a custom solution comprised of an analog-to-digital board interfaced to an Altera Cyclone V FPGA module. Each analog-to-digital board hosts 12 channels that allow data digitization up to 25 ksps per channel and an effective resolution of 21 bits at the typical sample rate required by the experiment (5 ksps). The board also allows to digitally select the cut-off frequency of the anti-aliasing filter with 10 bit resolution from 24 Hz up to 2.5 kHz, as required by fast scintillating bolometers. The FPGA is responsible for the synchronization of the analog-to-digital boards and for the data transfer to the storage, using UDP protocol on a standard Ethernet interface. Each FPGA can manage the data coming from 8 boards (96 channels), allowing an excellent scalability. In this contribution we will present a complete overview of the system, and a detailed characterization of the system performance.


title: Multiscale modeling of vascularized tissues via non-matching immersed methods

abstract: We consider a multiscale approach based on immersed methods for the efficient computational modeling of tissues composed of an elastic matrix (in two or three-dimensions) and a thin vascular structure (treated as a co-dimension two manifold) at a given pressure. We derive different variational formulations of the coupled problem, in which the effect of the vasculature can be surrogated in the elasticity equations via singular or hyper-singular forcing terms. These terms only depend on information defined on co-dimension two manifolds (such as vessel center line, cross sectional area, and mean pressure over cross section), thus drastically reducing the complexity of the computational model. We perform several numerical tests, ranging from simple cases with known exact solutions to the modeling of materials with random distributions of vessels. In the latter case, we use our immersed method to perform an in silico characterization of the mechanical properties of the effective biphasic material tissue via statistical simulations.


title: Substitutive systems and a finitary version of Cobham's theorem

abstract: We study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear as common factors of two automatic sequences defined over multiplicatively independent bases. This generalises the famous theorem of Cobham.


title: Fully analytic valence force field model for the elastic and inner elastic properties of diamond and zincblende crystals

abstract: Using a valence force field model based on that introduced by Martin, we present three related methods through which we analytically determine valence force field parameters. The methods introduced allow easy derivation of valence force field parameters in terms of the Kleinman parameter $\zeta$ and bulk properties of zincblende and diamond crystals. We start with a model suited for covalent and weakly ionic materials, where the valence force field parameters are derived in terms of $\zeta$ and the bulk elastic constants $C_{11}$, $C_{12}$, and $C_{44}$. We show that this model breaks down as the material becomes more ionic and specifically when the elastic anisotropy factor $A = 2C_{44}/(C_{11}-C_{12}) > 2$. The analytic model can be stabilised for ionic materials by including Martin's electrostatic terms with effective cation and anion charges in the valence force field model. Inclusion of effective charges determined via the optical phonon mode splitting provides a stable model for all but two of the materials considered (zincblende GaN and AlN). A stable model is obtained for all materials considered by also utilising the inner elastic constant $E_{11}$ to determine the magnitude of the effective charges used in the Coulomb interaction. Test calculations show that the models describe well structural relaxation in superlattices and alloys, and reproduce key phonon band structure features.


title: Vectorized Uncertainty Propagation and Input Probability Sensitivity Analysis

abstract: In this article we construct a theoretical and computational process for assessing Input Probability Sensitivity Analysis (IPSA) using a Graphics Processing Unit (GPU) enabled technique called Vectorized Uncertainty Propagation (VUP). VUP propagates probability distributions through a parametric computational model in a way that's computational time complexity grows sublinearly in the number of distinct propagated input probability distributions. VUP can therefore be used to efficiently implement IPSA, which estimates a model's probabilistic sensitivity to measurement and parametric uncertainty over each relevant measurement location. Theory and simulation illustrate the effectiveness of these methods.


title: On a class of weighted p-Laplace equation with singular nonlinearity

abstract: This article deals with the existence of the following quasilinear degenerate singular elliptic equation \begin{equation*} (P_\la)\left\{ \begin{split} -\text{div}(w(x)|\nabla u|^{p-2}\nabla u) &= g_{\la}(u),\;u>0\; \text{in}\; \Om, u&=0 \; \text{on}\; \partial \Om, \end{split}\right. \end{equation*} where $ \Om \subset \mb R^n$ is a smooth bounded domain, $n\geq 3$, $\la>0$, $p>1$ and $w$ is a Muckenhoupt weight. Using variational techniques, for $g_{\la}(u)= \la f(u)u^{-q}$ and certain assumptions on $f$, we show existence of a solution to $(P_\la)$ for each $\la>0$. Moreover when $g_{\la}(u)= \la u^{-q}+ u^{r}$ we establish existence of atleast two solutions to $(P_\la)$ in a suitable range of the parameter $\la$. Here we assume $q\in (0,1)$ and $r \in (p-1,p^*_s-1)$.


title: Efficient Implementation of Color Coding Algorithm for Subgraph Isomorphism Problem

abstract: We consider the subgraph isomorphism problem where, given two graphs G (source graph) and F (pattern graph), one is to decide whether there is a (not necessarily induced) subgraph of G isomorphic to F. While many practical heuristic algorithms have been developed for the problem, as pointed out by McCreesh et al. [JAIR 2018], for each of them there are rather small instances which they cannot cope. Therefore, developing an alternative approach that could possibly cope with these hard instances would be of interest. A seminal paper by Alon, Yuster and Zwick [J. ACM 1995] introduced the color coding approach to solve the problem, where the main part is a dynamic programming over color subsets and partial mappings. As with many exponential-time dynamic programming algorithms, the memory requirements constitute the main limiting factor for its usage. Because these requirements grow exponentially with the treewidth of the pattern graph, all existing implementations based on the color coding principle restrict themselves to specific pattern graphs, e.g., paths or trees. In contrast, we provide an efficient implementation of the algorithm significantly reducing its memory requirements so that it can be used for pattern graphs of larger treewidth. Moreover, our implementation not only decides the existence of an isomorphic subgraph, but it also enumerates all such subgraphs (or given number of them). We provide an extensive experimental comparison of our implementation to other available solvers for the problem.


title: Analysis of a DNA mixture case involving Romani reference populations

abstract: Here we present an Italian criminal case that shows how statistical methods can be used to extract information from a series of mixed DNA profiles. The case involves several different individuals and a set of different DNA traces. The case possibly involves persons of interest of a small, inbred population of Romani origin. First, a brief description of the case is provided. Secondly, we introduce some heuristic tools that can be used to evaluate the data and briefly outline the statistical model used for analysing DNA mixtures. Finally, we illustrate some of the findings on the case and discuss further directions of research. The results show how the use of different population database allele frequencies for analysing the DNA mixtures can lead to very different results, some seemingly inculpatory and some seemingly exculpatory. We also illustrate the results obtained from combining the evidence from different samples.


title: Smaller Models, Better Generalization

abstract: Reducing network complexity has been a major research focus in recent years with the advent of mobile technology. Convolutional Neural Networks that perform various vision tasks without memory overhaul is the need of the hour. This paper focuses on qualitative and quantitative analysis of reducing the network complexity using an upper bound on the Vapnik-Chervonenkis dimension, pruning, and quantization. We observe a general trend in improvement of accuracies as we quantize the models. We propose a novel loss function that helps in achieving considerable sparsity at comparable accuracies to that of dense models. We compare various regularizations prevalent in the literature and show the superiority of our method in achieving sparser models that generalize well.


title: A General Model Validation and Testing Tool

abstract: We construct and propose the "Bayesian Validation Metric" (BVM) as a general model validation and testing tool. We find the BVM to be capable of representing all of the standard validation metrics (square error, reliability, probability of agreement, frequentist, area, probability density comparison, statistical hypothesis testing, and Bayesian model testing) as special cases and find that it can be used to improve, generalize, or further quantify their uncertainties. Thus, the BVM allows us to assess the similarities and differences between existing validation metrics in a new light. The BVM has the capacity to allow users to invent and select models according to novel validation requirements. We formulate and test a few novel compound validation metrics that improve upon other validation metrics in the literature. Further, we construct the BVM Ratio for the purpose of quantifying model selection under user defined definitions of agreement in the presence or absence of uncertainty. This construction generalizes the Bayesian model testing framework.


title: Using CO line ratios to trace compressed areas in bubble N131

abstract: N131 is a typical infrared dust bubble showing an expanding ringlike shell. We study what kinds of CO line ratios can be used to trace the interaction in the expanding bubble. We carry out new $\rm CO\,(3-2)$ observations towards bubble N131 using the JCMT 15-m telescope, and derive line ratios by combining with our previous $\rm CO\,(2-1)$ and $\rm CO\,(1-0)$ data from the IRAM 30-m telescope observations. To trace the interaction between the molecular gas and the ionized gas in the HII region, we use RADEX to model the dependence of CO line ratios on kinetic temperature and H$_2$ volume density, and examine the abnormal line ratios based on other simulations. We present $\rm CO\,(3-2)$, $\rm CO\,(2-1)$, and $\rm CO\,(1-0)$ integrated intensity maps convolved to the same angular resolution (22.5$"$). The three different CO transition maps show apparently similar morphology. The line ratios of $W_{\rm CO\,(3-2)}$/$W_{\rm CO\,(2-1)}$ mostly range from 0.2 to 1.2 with a median of $0.54\pm0.12$, while the line ratios of $W_{\rm CO\,(2-1)}$/$W_{\rm CO\,(1-0)}$ range from 0.5 to 1.6 with a median of $0.84\pm0.15$. The high CO line ratios $W_{\rm CO\,(3-2)}$/$W_{\rm CO\,(2-1)}\gtrsim 0.8 $ and $W_{\rm CO\,(2-1)}$/$W_{\rm CO\,(1-0)}\gtrsim 1.2$ are beyond the threshold predicted by numerical simulations based on the assumed density-temperature structure for the inner rims of ringlike shell, where are the compressed areas in bubble N131. These high CO integrated intensity ratios, such as $W_{\rm CO\,(3-2)}$/$W_{\rm CO\,(2-1)}\gtrsim0.8$ and $W_{\rm CO\,(2-1)}$/$W_{\rm CO\,(1-0)}\gtrsim1.2$, can be used as a tracer of gas compressed regions with a relatively high temperature and density. This further suggests that the non-Gaussian part of the line-ratio distribution can be used to trace the interaction between the molecular gas and the hot gas in the bubble.


title: Measurement-induced phase transition: A case study in the non-integrable model by density-matrix renormalization group calculations

abstract: We study the effect of local projective measurements on the quantum quench dynamics. As a concrete example, a one-dimensional Bose-Hubbard model is simulated by the matrix product state and time-evolving block decimation. We map out a global phase diagram in terms of the measurement rate in spatial space and time domain, which demonstrates a volume-to-area law entanglement phase transition. When the measurement rate reaches the critical value, we observe a logarithmic growth of entanglement entropy as the subsystem size or evolved time increases. Moreover, we find that the probability distribution of the single-site entanglement entropy distinguishes the volume and area law phases, similar to the case of disorder-induced many-body localization. We also investigate the scaling behavior of entanglement entropy and mutual information between two separated sites, which is indicative of a single universality class and thus suggests a possible unified description of this transition.


title: FAMULUS: Interactive Annotation and Feedback Generation for Teaching Diagnostic Reasoning

abstract: Our proposed system FAMULUS helps students learn to diagnose based on automatic feedback in virtual patient simulations, and it supports instructors in labeling training data. Diagnosing is an exceptionally difficult skill to obtain but vital for many different professions (e.g., medical doctors, teachers). Previous case simulation systems are limited to multiple-choice questions and thus cannot give constructive individualized feedback on a student's diagnostic reasoning process. Given initially only limited data, we leverage a (replaceable) NLP model to both support experts in their further data annotation with automatic suggestions, and we provide automatic feedback for students. We argue that because the central model consistently improves, our interactive approach encourages both students and instructors to recurrently use the tool, and thus accelerate the speed of data creation and annotation. We show results from two user studies on diagnostic reasoning in medicine and teacher education and outline how our system can be extended to further use cases.


title: Quantitative invertibility of random matrices: a combinatorial perspective

abstract: We study the lower tail behavior of the least singular value of an $n\times n$ random matrix $M_n := M+N_n$, where $M$ is a fixed complex matrix with operator norm at most $\exp(n^{c})$ and $N_n$ is a random matrix, each of whose entries is an independent copy of a complex random variable with mean $0$ and variance $1$. Motivated by applications, our focus is on obtaining bounds which hold with extremely high probability, rather than on the least singular value of a typical such matrix. This setting has previously been considered in a series of influential works by Tao and Vu, most notably in connection with the strong circular law, and the smoothed analysis of the condition number, and our results improve upon theirs in two ways: (i) We are able to handle $\|M\| = O(\exp(n^{c}))$, whereas the results of Tao and Vu are applicable only for $M = O(\text{poly(n)})$. (ii) Even for $M = O(\text{poly(n)})$, we are able to extract more refined information -- for instance, our results show that for such $M$, the probability that $M_n$ is singular is $O(\exp(-n^{c}))$, whereas even in the case when $\xi$ is a Bernoulli random variable, the results of Tao and Vu only give a bound of the form $O_{C}(n^{-C})$ for any constant $C>0$. As opposed to all previous works obtaining such bounds with error rate better than $n^{-1}$, our proof makes no use either of the inverse Littlewood--Offord theorems, or of any sophisticated net constructions. Instead, we show how to reduce the problem from the (complex) sphere to (Gaussian) integer vectors, where it is solved directly by utilizing and extending a combinatorial approach to the singularity problem for random discrete matrices, recently developed by Ferber, Luh, Samotij, and the author.


title: Prospects for Lorentz Invariance Violation searches with top pair production at the LHC and future hadron colliders

abstract: This paper investigates a signature of Lorentz invariance violation with the $t\bar{t}$ production at the LHC and future hadron colliders. Possible deviations from the Lorentz symmetry remain poorly constrained in the top quark sector. With a dedicated analysis of $t\bar{t}$ events produced at the LHC, bounds in the top sector can be improved by up to three orders of magnitude relative to Tevatron, the only measurement existing so far. The sensitivity will be even further enhanced at the HL-LHC and future colliders.


title: Some martingales associated with multivariate Jacobi processes and Aomoto's Selberg integral

abstract: We study $\beta$-Jacobi diffusion processes on alcoves in $\mathbb R^N$, depending on 3 parameters. Using elementary symmetric functions, we present space-time-harmonic functions and martingales for these processes $(X_t)_{t\ge0}$ which are independent from one parameter. This leads to a formula for $\mathbb E(\prod_{i=1}^N (y-X_{t,i}))$ in terms of classical Jacobi polynomials. For $t\to\infty$ this yields a corresponding formula for Jacobi ensembles and thus Aomoto's Selberg integral.


title: Rotating neutron stars with non-barotropic thermal profile

abstract: Neutron stars provide an excellent laboratory for physics under the most extreme conditions. Up to now, models of axisymmetric, stationary, differentially rotating neutron stars were constructed under the strong assumption of barotropicity, where a one-to-one relation between all thermodynamic quantities exists. This implies that the specific angular momentum of a matter element depends only on its angular velocity. The physical conditions in the early stages of neutron stars, however, are determined by their violent birth processes, typically a supernova or in some cases the merger of two neutron stars, and detailed numerical models show that the resulting stars are by no means barotropic. Here, we construct models for stationary, differentially rotating, non-barotropic neutron stars, where the equation of state and the specific angular momentum depend on more than one independent variable. We show that the potential formulation of the relativistic Euler equation can be extended to the non-barotropic case, which, to the best of our knowledge, is a new result even for the Newtonian case. We implement the new method into the XNS code and construct equilibrium configurations for non-barotropic equations of state. We scrutinize the resulting configurations by evolving them dynamically with the numerical relativity code BAM, thereby demonstrating that the new method indeed produces stationary, differentially rotating, non-barotropic neutron star configurations.


title: Smarr Mass formulas for BPS multicenter Black Holes

abstract: Mass formulas for multicenter BPS 4D black holes are presented. For example, ADM mass for a two center BPS solution can be related to the intercencenter distance $r$, the angular momentum $J^2$, the dyonic charge vectors $q_i$ and the value of the scalar moduli at infinity ($z_\infty$)by $M_{ADM}^2 =A\left (1+ \alpha J^2\left(1+\frac{2M_{ADM}}{r}+\frac{A}{r^2}\right)\right)$ where $A(Q),\alpha(q_i)$ are symplectic invariant quantities ($Q$, the total charge vector) depending on the special geometry prepotential defining the theory. The formula predicts the existence of a continuos class, for fixed value of the charges, of BH's with interdistances $r\in (0,\infty)$ and $M_{ADM}\in (\infty,M_\infty)$. Smarr-like expressions incorporating the intercenter distance are obtained from it: $$ dM\equiv\Omega d J+\Phi_i d q_i+ F dr,$$ in addition to an effective angular velocity $\Omega$ and electromagnetic potentials $\Phi_i$, the equation allows to define an effective "force", $F$, acting between the centers. This effective force is always negative: at infinity we recover the familiar Newton law $F\sim 1/r^2$ while at short distances $F\sim f_0+f_1/r^2$. Similar results can be easily obtained for more general models and number of centers.


title: A Time-space Trade-off for Computing the Geodesic Center of a Simple Polygon

abstract: In this paper we study the problem of computing the geodesic center of a simple polygon when the available workspace is limited. For an $n$-vertex simple polygon, we give a time-space trade-off algorithm that finds the geodesic center in $O(T(n, s) \log^2 n+ \frac{n^2}{s} \log n)$ expected time and uses $O(s)$ additional words of space where $s\in \Omega(\log n) \cap O(n)$, and $T(n, s)$ is the time needed for constructing the shortest path tree of a given point inside a simple polygon, in depth-first order, with $O(s)$ extra space. Applying the best current known time-space trade-off of Oh and Ahn (Algorithmica 2019) for shortest path tree, our algorithm runs in $O(\frac{n^2}{s} \log^3 n)$ expected time.


title: Visualizing biomolecular electrostatics in virtual reality with UnityMol-APBS

abstract: Virtual reality is a powerful tool with the ability to immerse a user within a completely external environment. This immersion is particularly useful when visualizing and analyzing interactions between small organic molecules, molecular inorganic complexes, and biomolecular systems such as redox proteins and enzymes. A common tool used in the biomedical community to analyze such interactions is the APBS software, which was developed to solve the equations of continuum electrostatics for large biomolecular assemblages. Numerous applications exist for using APBS in the biomedical community including analysis of protein ligand interactions and APBS has enjoyed widespread adoption throughout the biomedical community. Currently, typical use of the full APBS toolset is completed via the command line followed by visualization using a variety of two-dimensional external molecular visualization software. This process has inherent limitations: visualization of three-dimensional objects using a two-dimensional interface masks important information within the depth component. Herein, we have developed a single application, UnityMol-APBS, that provides a dual experience where users can utilize the full range of the APBS toolset, without the use of a command line interface, by use of a simple \ac{GUI} for either a standard desktop or immersive virtual reality experience.


title: Traffic Sign Detection under Challenging Conditions: A Deeper Look Into Performance Variations and Spectral Characteristics

abstract: Traffic signs are critical for maintaining the safety and efficiency of our roads. Therefore, we need to carefully assess the capabilities and limitations of automated traffic sign detection systems. Existing traffic sign datasets are limited in terms of type and severity of challenging conditions. Metadata corresponding to these conditions are unavailable and it is not possible to investigate the effect of a single factor because of simultaneous changes in numerous conditions. To overcome the shortcomings in existing datasets, we introduced the CURE-TSD-Real dataset, which is based on simulated challenging conditions that correspond to adversaries that can occur in real-world environments and systems. We test the performance of two benchmark algorithms and show that severe conditions can result in an average performance degradation of 29% in precision and 68% in recall. We investigate the effect of challenging conditions through spectral analysis and show that challenging conditions can lead to distinct magnitude spectrum characteristics. Moreover, we show that mean magnitude spectrum of changes in video sequences under challenging conditions can be an indicator of detection performance. CURE-TSD-Real dataset is available online at https://github.com/olivesgatech/CURE-TSD.


title: PULP-NN: Accelerating Quantized Neural Networks on Parallel Ultra-Low-Power RISC-V Processors

abstract: We present PULP-NN, an optimized computing library for a parallel ultra-low-power tightly coupled cluster of RISC-V processors. The key innovation in PULP-NN is a set of kernels for Quantized Neural Network (QNN) inference, targeting byte and sub-byte data types, down to INT-1, tuned for the recent trend toward aggressive quantization in deep neural network inference. The proposed library exploits both the digital signal processing (DSP) extensions available in the PULP RISC-V processors and the cluster's parallelism, achieving up to 15.5 MACs/cycle on INT-8 and improving performance by up to 63x with respect to a sequential implementation on a single RISC-V core implementing the baseline RV32IMC ISA. Using PULP-NN, a CIFAR-10 network on an octa-core cluster runs in 30x and 19.6x less clock cycles than the current state-of-the-art ARM CMSIS-NN library, running on STM32L4 and STM32H7 MCUs, respectively. The proposed library, when running on GAP-8 processor, outperforms by 36.8x and by 7.45x the execution on energy efficient MCUs such as STM32L4 and high-end MCUs such as STM32H7 respectively, when operating at the maximum frequency. The energy efficiency on GAP-8 is 14.1x higher than STM32L4 and 39.5x higher than STM32H7, at the maximum efficiency operating point.


title: M\"unchhausen provability

abstract: By Solovay's celebrated completeness result on formal provability we know that the provability logic $\mathrm GL$ describes exactly all provable structural properties for any sound and strong enough arithmetical theory with a decidable axiomatisation. Japaridze generalised this result by considering a polymodal version $\mathrm GLP$ of $\mathrm GL$ with modalities $[n]$ for each natural number $n$ referring to ever increasing notions of provability. Modern treatments of $\mathrm GLP$ tend to interpret the $[n]$ provability notion as "provable in a base theory $T$ together with all true $\Pi^0_n$ formulas as oracles". In this paper we generalise this interpretation into the transfinite. In order to do so, a main difficulty to overcome is to generalise the syntactical characterisations of the oracle formulas of complexity $\Pi^0_n$ to the hyper-arithmetical hierarchy. The paper exploits the fact that provability is $\Sigma^0_1$ complete and that similar results hold for stronger provability notions. As such, the oracle sentences to define provability at level $\alpha$ will recursively be taken to be consistency statements at lower levels: provability through provability whence the name of the paper. The paper proves soundness and completeness for the proposed interpretation for a wide class of theories; namely for any theory that can formalise the recursion described above and that has some further very natural properties. Some remarks are provided on how the recursion can be formalised into second order arithmetic and on lowering the proof-theoretical strength of these systems of second order arithmetic.


title: Non-linear Schr\"{o}dinger-type formulation of scalar field cosmology: two barotropic fluids and exact solutions

abstract: Time-independent non-linear Schr\"{o}dinger-type (NLS) formulation of FRW cosmology with canonical scalar field are considered in case of two barotropic fluids. We derived Friedmann formulation variables in terms of NLS variables. Seven exact solutions found by D'Ambroise \cite{DAmbroise:2010dgl} and one new found solution are explored and tested in cosmology. The result suggests that time-independent NLS formulation of cosmology case should be upgraded to the time-dependent case.


title: Effects of Contact Parameters on Transmission through a Benzene Ring

abstract: Transmission through a benzene ring, connected by sulfur contact atoms to gold leads, is calculated by a tight-binding model by means of the renormalization method. Attention is focused on the parameters associated with the contact atoms, namely their site energy and their bond energies with the ring and the leads. These parameters are found to have significant effects on the transmission probability function.


title: SENSAAS (SENsitive Surface As A Shape): utilizing open-source algorithms for 3D point cloud alignment of molecules

abstract: Open-source 3D data processing libraries originally developed for computer vision and pattern recognition are used to align and compare molecular shapes and sub-shapes. Here, a shape is represented by a set of points distributed on the van der Waals surface of molecules. Each point is colored by its closest atom, which itself belongs to a user defined class. The strength of this representation is that it allows for comparisons of point clouds of different kind of chemical entities: small molecules, peptides, proteins or cavities (the negative image of the


title: Realistic indirect spin-interactions between magnetic impurities on a metallic Pb(110) surface

abstract: Motivated by recent experiments, here we study the indirect interactions between magnetic impurities deposited on top of a clean Pb(110) surface induced by the underlying conduction electrons. Our approach makes use of \textit{ab initio} calculations to characterize the clean Pb(110) surface and avoids self-consistency, a feature that greatly reduces the computational cost. In combination with 2$^{\text{nd}}$ order perturbation theory in the microscopic \textit{s-d} exchange parameter $J_{K}$ between a magnetic adatom and the conduction electrons, we are able to systematically derive the Ruderman-Kittel-Kasuya-Yosida (RKKY), the Dzyaloshinskii-Moriya (DM) and the anisotropic tensor interactions emerging at the Pb(110) surface between magnetic impurities. The only adjustable parameter is $J_{K}$, which is fitted to reproduce the experiments. Our results show important anisotropy effects arising both from the rectangular geometry of the (110) unit cell, and from the strong Rashba spin-orbit interaction due to the broken inversion symmetry at the Pb(110) surface. In addition to Pb(110), the characterization of the indirect spin interactions described here could be extended to other realistic metallic surfaces for weakly-coupled impurities, and would enable to fabricate atomic-size nanostructures with engineered interactions and on-demand magnetic properties, anticipating useful applications in nanotechnology.


title: Magnon crystals and magnetic phases in a Kagom\'e-stripe antiferromagnet

abstract: In this work we analyze the magnetization properties of an antiferromagnetic Kagom\'e stripe lattice, motivated by the recent synthesis of materials exhibiting this structure. By employing a variety of techniques that include numerical methods as Density Matrix Renormalization Group and Monte Carlo simulations, as well as analytical techniques, as perturbative low energy effective models and exact solutions, we characterize the magnetization process and magnetic phase diagram of a Kagom\'e stripe lattice. The model captures a variety of behaviors present in the two dimensional Kagom\'e lattice, which are described here by analytical models and numerically corroborated. In addition to the characterization of semiclassical intermediate plateaus, it is worth noting the determination of an exact magnon crystal phase which breaks the underlying symmetry of the lattice. This magnon crystal phase generalizes previous findings and according to our knowledge is reported here for the first time.


title: Quasi-steady state and singular perturbation reduction for reaction networks with non-interacting species

abstract: Quasi-steady state (QSS) reduction is a commonly used method to lower the dimension of a differential equation model of a chemical reaction network. From a mathematical perspective, QSS reduction is generally interpreted as a special type of singular perturbation reduction, but in many instances the correspondence is not worked out rigorously, and the QSS reduction may yield incorrect results. The present paper contains a thorough discussion of QSS reduction and its relation to singular perturbation reduction for the special, but important, case when the right hand side of the differential equation is linear in the variables to be eliminated. For this class we give necessary and sufficient conditions for a singular perturbation reduction (in the sense of Tikhonov and Fenichel) to exist, and to agree with QSS reduction. We then apply the general results to chemical reaction networks with non-interacting species, generalizing earlier results and methods for steady states to quasi-steady state scenarios. We provide easy-to-check graphical conditions to select parameter values yielding to singular perturbation reductions and additionally, we identify a choice of parameters for which the corresponding singular perturbation reduction agrees with the QSS reduction. Finally we consider a number of examples.


title: Cubic bent functions outside the completed Maiorana-McFarland class

abstract: In this paper we prove that in opposite to the cases of 6 and 8 variables, the Maiorana-McFarland construction does not describe the whole class of cubic bent functions in $n$ variables for all $n\ge 10$. Moreover, we show that for almost all values of $n$, these functions can simultaneously be homogeneous and have no affine derivatives.


title: Modeling and Optimization with Gaussian Processes in Reduced Eigenbases -- Extended Version

abstract: Parametric shape optimization aims at minimizing an objective function f(x) where x are CAD parameters. This task is difficult when f is the output of an expensive-to-evaluate numerical simulator and the number of CAD parameters is large. Most often, the set of all considered CAD shapes resides in a manifold of lower effective dimension in which it is preferable to build the surrogate model and perform the optimization. In this work, we uncover the manifold through a high-dimensional shape mapping and build a new coordinate system made of eigenshapes. The surrogate model is learned in the space of eigenshapes: a regularized likelihood maximization provides the most relevant dimensions for the output. The final surrogate model is detailed (anisotropic) with respect to the most sensitive eigenshapes and rough (isotropic) in the remaining dimensions. Last, the optimization is carried out with a focus on the critical dimensions, the remaining ones being coarsely optimized through a random embedding and the manifold being accounted for through a replication strategy. At low budgets, the methodology leads to a more accurate model and a faster optimization than the classical approach of directly working with the CAD parameters.


title: The stochastic Airy operator at large temperature

abstract: It was shown in [J. A. Ram\'irez, B. Rider and B. Vir\'ag. J. Amer. Math. Soc. 24, 919-944 (2011)] that the edge of the spectrum of $\beta$ ensembles converges in the large $N$ limit to the bottom of the spectrum of the stochastic Airy operator. In the present paper, we obtain a complete description of the bottom of this spectrum when the temperature $1/\beta$ goes to $\infty$: we show that the point process of appropriately rescaled eigenvalues converges to a Poisson point process on $\mathbb{R}$ of intensity $e^x dx$ and that the eigenfunctions converge to Dirac masses centered at IID points with exponential laws. Furthermore, we obtain a precise description of the microscopic behavior of the eigenfunctions near their localization centers.

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


title: A Complete Resource Theory of Quantum Incompatibility as Quantum Programmability

abstract: Measurement incompatibility describes two or more quantum measurements whose expected joint outcome on a given system cannot be defined. This purely non-classical phenomenon provides a necessary ingredient in many quantum information tasks such violating a Bell Inequality or nonlocally steering part of an entangled state. In this paper, we characterize incompatibility in terms of programmable measurement devices and the general notion of quantum programmability. This refers to the temporal freedom a user has in issuing programs to a quantum device. For devices with a classical control and classical output, measurement incompatibility emerges as the essential quantum resource embodied in their functioning. Based on the processing of programmable measurement devices, we construct a quantum resource theory of incompatibility. A complete set of convertibility conditions for programmable devices is derived based on quantum state discrimination with post-measurement information.


title: Non-Abelian geometric potentials and spin-orbit coupling for periodically driven systems

abstract: We demonstrate the emergence of the non-Abelian geometric potentials and thus the three-dimensional (3D) spin-orbit coupling (SOC) for ultracold atoms without using the laser beams. This is achieved by subjecting an atom to a periodic perturbation which is the product of a position-dependent Hermitian operator $\hat{V}\left(\mathbf{r}\right)$ and a fast oscillating periodic function $f\left(\omega t\right)$ with a zero average. To have a significant spin-orbit coupling (SOC), we analyze a situation where the characteristic energy of the periodic driving is not necessarily small compared to the driving energy $\hbar\omega$. Applying a unitary transformation to eliminate the original periodic perturbation, we arrive at a non-Abelian (non-commuting) vector potential term describing the 3D SOC. The general formalism is illustrated by analyzing the motion of an atom in a spatially inhomogeneous magnetic field oscillating in time. A cylindrically symmetric magnetic field provides the SOC involving the coupling between the spin $\mathbf{F}$ and all three components of the orbital angular momentum (OAM) $\mathbf{L}$. In particular, the spherically symmetric monopole-type synthetic magnetic field $\mathbf{B}\propto\mathbf{r}$ generates the 3D SOC of the $\mathbf{L}\cdot \mathbf{F}$ form, which resembles the fine-structure interaction of hydrodgen atom. However, the strength of the SOC here goes as $1/r^{2}$ for larger distances, instead of $1/r^3$ as in atomic fine structure. Such a longer-ranged SOC significantly affects not only the lower states of the trapped atom, but also the higher ones. Furthermore, by properly tailoring the external trapping potential, the ground state of the system can occur at finite OAM, while the ground state of hydrogen atom has zero OAM.


title: Instantons from Blow-up

abstract: We generalize Nakajima-Yoshioka blowup equations to arbitrary gauge group with hypermultiplets in arbitrary representations. Using our blowup equations, we compute the instanton partition functions for 4d N=2 and 5d N=1 gauge theories for arbitrary gauge theory with a large class of matter representations, without knowing explicit construction of the instanton moduli space. Our examples include exceptional gauge theories with fundamentals, SO(N) gauge theories with spinors, and SU(6) gauge theories with rank-3 antisymmetric hypers. Remarkably, the instanton partition function is completely determined by the perturbative part.


title: Elliptically polarized laser-pumped $M_x$ magnetometer towards applications at room temperature

abstract: An atomic magnetometer operated with elliptically polarized light is investigated theoretically and experimentally. To explore the potential of this magnetometric configuration, the analytical form of the outgoing signal is derived. Parameters that significantly influence the performance are optimized, which lead to a sensitivity of 300 $\rm fT/\sqrt{Hz}$ at 45 $^{\circ}$C with a 2$\times$2$\times2$ cm uncoated Rb vapor cell. It is remarkable that a sensitivity of 690 $\rm fT/\sqrt{Hz}$ is achieved at room temperature of 24 $^{\circ}$C, which is improved by an order of magnitude compared with the conventional $M_x$ magnetometer under its own optimized condition. The elliptically polarized approach offers attractive features for developing compact, low-power magnetometers, which are available without heating the uncoated vapor cell.


title: Kinematical superspaces

abstract: We classify $N{=}1$ $d=4$ kinematical and aristotelian Lie superalgebras with spatial isotropy, but not necessarily parity nor time-reversal invariance. Employing a quaternionic formalism which makes rotational covariance manifest and simplifies many of the calculations, we find a list of $43$ isomorphism classes of Lie superalgebras, some with parameters, whose (nontrivial) central extensions are also determined. We then classify their corresponding simply-connected homogeneous $(4|4)$-dimensional superspaces, resulting in a list of $27$ homogeneous superspaces, some with parameters, all of which are reductive. We determine the invariants of low rank and explore how these superspaces are related via geometric limits.


title: Grounded Agreement Games: Emphasizing Conversational Grounding in Visual Dialogue Settings

abstract: Where early work on dialogue in Computational Linguistics put much emphasis on dialogue structure and its relation to the mental states of the dialogue participants (e.g., Allen 1979, Grosz & Sidner 1986), current work mostly reduces dialogue to the task of producing at any one time a next utterance; e.g. in neural chatbot or Visual Dialogue settings. As a methodological decision, this is sound: Even the longest journey is a sequence of steps. It becomes detrimental, however, when the tasks and datasets from which dialogue behaviour is to be learned are tailored too much to this framing of the problem. In this short note, we describe a family of settings which still allow to keep dialogues simple, but add a constraint that makes participants care about reaching mutual understanding. In such agreement games, there is a secondary, but explicit goal besides the task level goal, and that is to reach mutual understanding about whether the task level goal has been reached. As we argue, this naturally triggers meta-semantic interaction and mutual engagement, and hence leads to richer data from which to induce models.


title: Origin of the PN molecule in star-forming regions: the enlarged sample

abstract: Phosphorus nitride (PN) is the P-bearing species with the highest number of detections in star-forming regions. Multi-line studies of the molecule have shown that the excitation temperature of PN is usually lower than the gas kinetic temperature, suggesting that PN is likely in conditions of sub-thermal excitation. We present an analysis of PN which takes the possible sub-thermal excitation conditions into account in a sample of 24 massive star-forming regions. We observed PN (2-1), (3-2), (4-3), and (6-5) with the IRAM-30m and APEX telescopes and detected PN lines in 15 of them. Together with 9 similar sources detected in PN in previous works, we have analysed the largest sample of star-forming regions to date, made of 33 sources with 24 detections in total (among which 13 are new detections). Hence, we have increased the number of star-forming regions detected in PN by more than a factor 2. Our analysis indicates that the PN lines are indeed sub-thermally excited, but well described by a single excitation temperature. We have compared line profiles and fractional abundances of PN and SiO, a typical shock tracer, and found that almost all objects detected in PN have high-velocity SiO wings. Moreover, the SiO and PN abundances with respect to H2 are correlated over several orders of magnitude, and uncorrelated with gas temperature. This clearly shows that the production of PN is strongly linked to the presence of shocked gas, and rules out alternative scenarios based on thermal evaporation from iced grain mantles.


title: Using Mobile Devices to Augment Inquiry-Based Learning Processes with Multiple Representations

abstract: Technological advances offer the possibility of using mobile devices to enrich learning environments with multimedia content. Although physical experiments play a key role in science learning, little is known about integrating multimedia learning in physical experimental processes, especially in real classroom settings. In our approach, students use tablet PCs to investigate motions with an application providing multiple representations of the measurement data. We present the results of a cluster-randomized controlled trial (N=262 matched samples) that covered the topic uniform motion. The results show that the treatment not only leads to a significant reduction of extraneous cognitive load (F(1,240)=27.01, p<10-3, ${\eta}$2=0.101, $1-{\beta}$=1.000), but also to greater conceptual knowledge (F(1,259)=10.82, p=0.001, ${\eta}$2=0.048, $1-{\beta}$=0.953). Structure equation modeling statistically supports the assumption of a causal relationship between the reduction of extraneous cognitive load and the increase in conceptual understanding.


title: Global mass-preserving solutions for a two-dimensional chemotaxis system with rotational flux components coupled with a full Navier-Stokes equation

abstract: We study the chemotaxis-Navier-Stokes system \[\left\{\; \begin{aligned} n_t + u\cdot\nabla n &=\Delta n - \nabla\cdot (nS(x,n,c)\nabla c), &&x\in\Omega, t > 0, \\ c_t + u\cdot\nabla c &=\Delta c - n f(c), && x\in \Omega, t > 0, \\ u_t + (u\cdot\nabla) u &=\Delta u + \nabla P + n \nabla \phi, \;\;\;\; \nabla\cdot u = 0, && x\in\Omega, t > 0 \end{aligned}\right.\tag{$\star$} \] with no-flux boundary conditions for $n$, $c$ in a bounded, convex domain $\Omega\subseteq\mathbb{R}^2$ with a smooth boundary, which is motivated by recent modeling approaches from biology for aerobic bacteria suspended in a sessile water drop. We further do not assume the chemotactic sensitivity $S$ to be scalar as is common, but to be able to attain values in $\mathbb{R}^{2\times 2}$, which allows for more complex modeling of bacterial behavior near the boundary. This is seen as a potential source of the structure formation observed in experiments. While there have been various results for scalar chemotactic sensitivities $S$ due to a convenient energy-type inequality and some for the non-scalar case with only a Stokes fluid equation (or other strong restrictions) simplifying the analysis of the third equation in ($\star$) significantly, we consider the full combined case under little restrictions for the system giving us very little to go on in terms of a priori estimates. We nonetheless manage to still achieve sufficient estimates using Trudinger-Moser type inequalities to extend the existence results seen in a recent work by Winkler for the Stokes case with non-scalar $S$ to the full Navier-Stokes case. Namely, we construct a similar global mass-preserving generalized solution for ($\star$) in planar convex domains for sufficiently smooth parameter functions $S$, $f$ and $\phi$ and only under the fairly weak assumptions that $S$ is appropriately bounded, $f$ is non-negative and $f(0) = 0$.


title: Homological epimorphisms and homotopy epimorphisms

abstract: We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of induced maps of their chain algebras of based loop spaces. In the case of a universal acyclic map we obtain, for a wide class of spaces, an explicit algebraic description for these induced maps in terms of derived localization.


title: Sub-microsecond entangling gate between trapped ions via Rydberg interaction

abstract: Generating quantum entanglement in large systems on time scales much shorter than the coherence time is key to powerful quantum simulation and computation. Trapped ions are among the most accurately controlled and best isolated quantum systems with low-error entanglement gates operated via the vibrational motion of a few-ion crystal within tens of microseconds. To exceed the level of complexity tractable by classical computers the main challenge is to realise fast entanglement operations in large ion crystals. The strong dipole-dipole interactions in polar molecule and Rydberg atom systems allow much faster entangling gates, yet stable state-independent confinement comparable with trapped ions needs to be demonstrated in these systems. Here, we combine the benefits of these approaches: we report a $700\,\mathrm{ns}$ two-ion entangling gate which utilises the strong dipolar interaction between trapped Rydberg ions and produce a Bell state with $78\%$ fidelity. The sources of gate error are identified and a total error below $0.2\%$ is predicted for experimentally-achievable parameters. Furthermore, we predict that residual coupling to motional modes contributes $\sim 10^{-4}$ gate error in a large ion crystal of 100 ions. This provides a new avenue to significantly speed up and scale up trapped ion quantum computers and simulators.


title: Kirchhoff equations with Choquard exponential type nonlinearity involving the fractional Laplacian

abstract: In this article, we deal with the existence of non-negative solutions of the class of following non local problem $$ \left\{ \begin{array}{lr} \quad - M\left(\displaystyle\int_{\mathbb R^n}\int_{\mathbb R^{n}} \frac{|u(x)-u(y)|^{\frac{n}{s}}}{|x-y|^{2n}}~dxdy\right) (-\Delta)^{s}_{n/s} u=\left(\displaystyle\int_{\Omega}\frac{G(y,u)}{|x-y|^{\mu}}~dy\right)g(x,u) \; \text{in}\; \Omega,\\ \quad \quad u =0\quad\text{in} \quad \mathbb R^n \setminus \Omega, \end{array} \right. $$ where $(-\Delta)^{s}_{n/s}$ is the $n/s$-fractional Laplace operator, $n\geq 1$, $s\in(0,1)$ such that $n/s\geq 2$, $\Omega\subset \mathbb R^n$ is a bounded domain with Lipschitz boundary, $M:\mathbb R^+\rightarrow \mathbb R^+$ and $g:\Omega\times\mathbb R\rightarrow \mathbb R$ are continuous functions, where $g$ behaves like $\exp({|u|^{\frac{n}{n-s}}})$ as $|u|\rightarrow\infty$.


title: Statistical properties of a tangentially driven active filament

abstract: Active polymers play a central role in many biological systems, from bacterial flagella to cellular cytoskeletons. Minimal models of semiflexible active filaments have been used to study a variety of interesting phenomena in active systems, such as defect dynamics in active nematics, clustering and laning in motility assays, and conformational properties of chromatin in eukaryotic cells. In this paper, we map a semiflexible polymer to an exactly solvable active Rouse chain, which enables us to analytically compute configurational and dynamical properties of active polymers with arbitrary rigidity.


title: Using the fluctuation-dissipation theorem for nonconservative forces

abstract: An equilibrium system which is perturbed by an external potential relaxes to a new equilibrium state, a process obeying the fluctuation-dissipation theorem. In contrast, perturbing by nonconservative forces yields a nonequilibrium steady state, and the fluctuation-dissipation theorem can in general not be applied. Here we exploit a freedom inherent to linear response theory: Force fields which perform work that does not couple statistically to the considered observable can be added without changing the response. Using this freedom, we demonstrate that the fluctuation-dissipation theorem can be applied for certain nonconservative forces. We discuss the case of a nonconservative force field linear in particle coordinates, where the mentioned freedom can be formulated in terms of symmetries. In particular, for the case of shear, this yields a response formula, which we find advantageous over the known Green-Kubo relation in terms of statistical accuracy.


title: A communication solution for portable detectors of the Cosmic Ray Extremely Distributed Observatory

abstract: The search for Cosmic-Ray Ensembles (CRE), groups of correlated cosmic rays that might be distributed over very large areas, even of the size of the planet, requires a globally spread and dense network of detectors, as proposed by the Cosmic-Ray Extremely Distributed Observatory (CREDO) Collaboration. This proposal motivates an effort towards exploring the potential of using even very much diversified detection technologies within one system, with detection units located even in hard-to-reach places, where, nevertheless, the sensors could work independently - without human intervention. For these reasons we have developed a dedicated communication solution enabling the connection of many different types of detectors, in a range of environments. The proposed data transmission system uses radio waves as an information carrier on the 169MHz frequency band in a contrast to the typical commercially used frequencies in a IoT systems (868MHz). The connectivity within the system is based on the star topology, which ensures the least energy consumption. The solution is now being prepared to being implemented using the prototype detection system based on the CosmicWatch open hardware design: a portable, pocket size, and economy particle detector using the scintillation technique. Our prototype detector is equipped with a dedicated software that integrates it with the already operational CREDO server system.


title: Factorization and Normalization, Essentially

abstract: Lambda-calculi come with no fixed evaluation strategy. Different strategies may then be considered, and it is important that they satisfy some abstract rewriting property, such as factorization or normalization theorems. In this paper we provide simple proof techniques for these theorems. Our starting point is a revisitation of Takahashi's technique to prove factorization for head reduction. Our technique is both simpler and more powerful, as it works in cases where Takahishi's does not. We then pair factorization with two other abstract properties, defining \emph{essential systems}, and show that normalization follows. Concretely, we apply the technique to four case studies, two classic ones, head and the leftmost-outermost reductions, and two less classic ones, non-deterministic weak call-by-value and least-level reductions.


title: Ingredients for Solar-like Systems: protostar IRAS 16293-2422 B versus comet 67P/Churyumov-Gerasimenko

abstract: Our modern day Solar System has $4.6\times10^9$ yrs of evolution behind it with just a few relics of its birth conditions remaining. Comets are thought to be some of the most pristine tracers of the initial ingredients that were combined to produce the Earth and the other planets. Other low-mass protostars may be analogous to our proto-Sun and hence, could be used to study the building blocks necessary to form Solar-like systems. This study tests this idea on the basis of new high sensitivity, high spatial resolution ALMA data on the protoplanetary disc-scales (~70 au) of IRAS 16293-2422 and the bulk composition of comet 67P/Churyumov-Gerasimenko, as determined for the first time with the unique in situ monitoring carried out by Rosetta. The comparative analysis of the observations from the Protostellar Interferometric Line Survey (PILS) and the measurements made with Rosetta Orbiter Spectrometer for Ion and Neutral Analysis (ROSINA) shows that the relative abundances of CHO-, N-, and S-bearing molecules correlate, with some scatter, between protostellar and cometary data. A tentative correlation is seen for the first time for P- and Cl-bearing compounds. The results imply that the volatile composition of cometesimals and planetesimals is partially inherited from the pre- and protostellar phases of evolution.