title: Smooth Fock bundles, and spinor bundles on loop space

abstract: We address the construction of smooth bundles of fermionic Fock spaces, a problem that appears frequently in fermionic gauge theories. Our main motivation is the spinor bundle on the free loop space of a string manifold, a structure anticipated by Killingback, with a construction outlined by Stolz-Teichner. We develop a general framework for constructing smooth Fock bundles, and obtain as an application a complete and well-founded construction of spinor bundles on loop space.


title: Impact of the small-scale structure on the Stochastic Background of Gravitational Waves from cosmic strings

abstract: Numerical simulations and analytical models suggest that infinite cosmic strings produce cosmic string loops of all sizes with a given power-law. Precise estimations of the power-law exponent are still matter of debate while numerical simulations do not incorporate all the radiation and back-reaction effects expected to affect the network at small scales. Previously it has been shown, using a Boltzmann approach, that depending on the steepness of the loop production function and the gravitational back-reaction scale, a so-called Extra Population of Small Loops (EPSL) can be generated in the loop number density. We propose a framework to study the influence of this extra population of small loops on the Stochastic Background of Gravitational Waves (SBGW). We show that this extra population can have a significant signature at frequencies higher than $H_0(\Gamma G\mu)^{-1}$ where $\Gamma$ is of order $50$ and $H_0$ is the Hubble constant. We propose a complete classification of the gravitational wave power spectra expected from cosmic strings into four classes, including the model of Blanco-Pillado, Olum and Shlaer and the model of Lorenz, Ringeval and Sakellariadou. Finally we show that given the uncertainties on the Polchinski-Rocha exponents, two hybrid classes of gravitational wave power spectrum can be considered giving very different predictions for the SBGW.


title: Landscape of Machine Implemented Ethics

abstract: This paper surveys the state-of-the-art in machine ethics, that is, considerations of how to implement ethical behaviour in robots, unmanned autonomous vehicles, or software systems. The emphasis is on covering the breadth of ethical theories being considered by implementors, as well as the implementation techniques being used. There is no consensus on which ethical theory is best suited for any particular domain, nor is there any agreement on which technique is best placed to implement a particular theory. Another unresolved problem in these implementations of ethical theories is how to objectively validate the implementations. The paper discusses the dilemmas being used as validating 'whetstones' and whether any alternative validation mechanism exists. Finally, it speculates that an intermediate step of creating domain-specific ethics might be a possible stepping stone towards creating machines that exhibit ethical behaviour.


title: A metric approach to sparse domination

abstract: We present a general approach to sparse domination based on single-scale $L^p$-improving as a key property. The results are formulated in the setting of metric spaces of homogeneous type and avoid completely the use of dyadic-probabilistic techniques as well as of Christ-Hyt\"onen-Kairema cubes. Among the applications of our general principle, we recover sparse domination of Dini-continuous Calder\'on-Zygmund kernels on spaces of homogeneous type, we prove a family of sparse bounds for maximal functions associated to convolutions with measures exhibiting Fourier decay, and we deduce sparse estimates for Radon transforms along polynomial submanifolds of $\mathbb R^n$.


title: Variance Reduction with Array-RQMC for Tau-Leaping Simulation of Stochastic Biological and Chemical Reaction Networks

abstract: We explore the use of Array-RQMC, a randomized quasi-Monte Carlo method designed for the simulation of Markov chains, to reduce the variance when simulating stochastic biological or chemical reaction networks with $\tau$-leaping. The task is to estimate the expectation of a function of molecule copy numbers at a given future time $T$ by the sample average over $n$ sample paths, and the goal is to reduce the variance of this sample-average estimator. We find that when the method is properly applied, variance reductions by factors in the thousands can be obtained. These factors are much larger than those observed previously by other authors who tried RQMC methods for the same examples. Array-RQMC simulates an array of realizations of the Markov chain and requires a sorting function to reorder these chains according to their states, after each step. The choice of sorting function is a key ingredient for the efficiency of the method, although in our experiments, Array-RQMC was never worse than ordinary Monte Carlo, regardless of the sorting method. The expected number of reactions of each type per step also has an impact on the efficiency gain.


title: Fast, cheap, and scalable magnetic tracker with an array of magnetoresistors

abstract: We present the hardware of a cheap multi-sensor magnetometric setup where a relatively large set of magnetic field components is measured in several positions by calibrated magnetoresistive detectors. The setup is developed with the scope of mapping the (inhomogeneous) field generated by a known magnetic source, which is measured as superimposed to the (homogeneous) geomagnetic field. The final goal is to use the data produced by this hardware to reconstruct position and orientation of the magnetic source with respect to the sensor frame, simultaneously with the orientation of the frame with respect to the environmental field. Possible applications of the setup are shortly discussed, together with a synthetic description of the data elaboration and analysis.


title: Large-dimensional Central Limit Theorem with Fourth-moment Error Bounds on Convex Sets and Balls

abstract: We prove the large-dimensional Gaussian approximation of a sum of $n$ independent random vectors in $\mathbb{R}^d$ together with fourth-moment error bounds on convex sets and Euclidean balls. We show that compared with classical third-moment bounds, our bounds have near-optimal dependence on $n$ and can achieve improved dependence on the dimension $d$. For centered balls, we obtain an additional error bound that has a sub-optimal dependence on $n$, but recovers the known result of the validity of the Gaussian approximation if and only if $d=o(n)$. We discuss an application to the bootstrap. We prove our main results using Stein's method.


title: On cohesive powers of linear orders

abstract: Cohesive powers of computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let $\omega$, $\zeta$, and $\eta$ denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of $\omega$. If $\mathcal{L}$ is a computable copy of $\omega$ that is computably isomorphic to the usual presentation of $\omega$, then every cohesive power of $\mathcal{L}$ has order-type $\omega + \zeta\eta$. However, there are computable copies of $\omega$, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to $\omega + \zeta\eta$. For example, we show that there is a computable copy of $\omega$ with a cohesive power of order-type $\omega + \eta$. Our most general result is that if $X \subseteq \mathbb{N} \setminus \{0\}$ is a Boolean combination of $\Sigma_2$ sets, thought of as a set of finite order-types, then there is a computable copy of $\omega$ with a cohesive power of order-type $\omega + \sigma(X \cup \{\omega + \zeta\eta + \omega^*\})$, where $\sigma(X \cup \{\omega + \zeta\eta + \omega^*\})$ denotes the shuffle of the order-types in $X$ and the order-type $\omega + \zeta\eta + \omega^*$. Furthermore, if $X$ is finite and non-empty, then there is a computable copy of $\omega$ with a cohesive power of order-type $\omega + \sigma(X)$.


title: Yang-Baxter deformations of the Principal Chiral Model plus Wess-Zumino term

abstract: A large class of integrable deformations of the Principal Chiral Model, known as the Yang-Baxter deformations, are governed by skew-symmetric R-matrices solving the (modified) classical Yang-Baxter equation. We carry out a systematic investigation of these deformations in the presence of the Wess-Zumino term for simple Lie groups, working in a framework that treats both inhomogeneous and homogeneous deformations on the same footing. After analysing the cohomological conditions under which such a deformation is admissible, we consider an action for the general Yang-Baxter deformation of the Principal Chiral Model plus Wess-Zumino term and prove its classical integrability. We also show how the model is found from a number of alternative formulations: affine Gaudin models, E-models, 4-dimensional Chern-Simons theory and, for homogeneous deformations, non-abelian T-duality.


title: Molecular beam epitaxy of the half-Heusler antiferromagnet CuMnSb

abstract: We report growth of CuMnSb thin films by molecular beam epitaxy on InAs(001) substrates. The CuMnSb layers are compressively strained ($0.6~\text{%}$) due to lattice mismatch. The thin films have a $\omega$ full width half max of $7.7^{''}$ according to high resolution X-ray diffraction, and a root mean square roughness of $0.14~\text{nm}$ as determined by atomic force microscopy. Magnetic and electrical properties are found to be consistent with reported values from bulk samples. We find a N\'eel temperature of $62~\text{K}$, a Curie-Weiss temperature of $-65~\text{K}$ and an effective moment of $5.9~\mu_{\text{B}}/\text{f.u.}$. Transport measurements confirm the antiferromagetic transition and show a residual resistivity at $4~\text{K}$ of $35~\mu\Omega\cdot \text{cm}$.


title: Digital laser frequency and intensity stabilization based on the STEMlab platform (originally Red Pitaya)

abstract: We report on the development, implementation, and characterization of digital controllers for laser frequency stabilization as well as intensity stabilization and control. Our design is based on the STEMlab (originally Red Pitaya) platform. The presented analog hardware interfaces provide all necessary functionalities for the designated applications and can be integrated in standard 19-inch rack mount units. Printed circuit board layouts are made available as an open-source project.\cite{APQGit_Lockbox,APQGit_IntStab} A detailed characterization shows that the bandwidth 1.25 MHz and the noise performance of the controllers are limited by the STEMlab system and not affected by the supplementary hardware. Frequency stabilization of a diode laser system resulting in a linewidth of 52(1) kHz (FWHM) is demonstrated. Intensity control to the $10^{-3}$ level with sub-microsecond rise and fall times based on an acousto-optic modulator as actuator is achieved.


title: Irreducibility of integer-valued polynomials I

abstract: Let $S \subset R$ be an arbitrary subset of a unique factorization domain $R$ and $\K$ be the field of fractions of $R$. The ring of integer-valued polynomials over $S$ is the set $\mathrm{Int}(S,R)= \{ f \in \mathbb{K}[x]: f(a) \in R\ \forall\ a \in S \}.$ This article is an effort to study the irreducibility of integer-valued polynomials over arbitrary subsets of a unique factorization domain. We give a method to construct special kinds of sequences, which we call $d$-sequences. We then use these sequences to obtain a criteria for the irreducibility of the polynomials in $\mathrm{Int}(S,R).$ In some special cases, we explicitly construct these sequences and use these sequences to check the irreducibility of some polynomials in $\mathrm{Int}(S,R).$ At the end, we suggest a generalization of our results to an arbitrary subset of a Dedekind domain.


title: Multi-Array Electron Beam Stabilization using Block-Circulant Transformation and Generalized Singular Value Decomposition

abstract: We introduce a novel structured controller design for the electron beam stabilization problem of the UK's national synchrotron light source. Because changes to the synchrotron will not allow the application of existing control approaches, we develop a novel method to diagonalize the multi-input multi-output (MIMO) system. A generalized singular value decomposition (GSVD) is used to simultaneously diagonalize the actuator response matrices, which is applicable to an arbitrary number of actuator dynamics in a cross-directional setting. The resulting decoupled systems are regulated using mid-ranged control and the controller gains derived as a function of the generalized singular values. In addition, we exploit the inherent block-circulant symmetry of the system. The performance of our controller is demonstrated using simulations that involve machine data.


title: Methods for measuring the electron EDM using ultracold YbF molecules

abstract: Measurements of the electron's electric dipole moment (eEDM) are demanding tests of physics beyond the Standard Model. We describe how ultracold YbF molecules could be used to improve the precision of eEDM measurements by two to three orders of magnitude. Using numerical simulations, we show how the combination of magnetic focussing, two-dimensional transverse laser cooling, and frequency-chirped laser slowing, can produce an intense, slow, highly-collimated molecular beam. We show how to make a magneto-optical trap of YbF molecules and how the molecules could be loaded into an optical lattice. eEDM measurements could be made using the slow molecular beam or using molecules trapped in the lattice. We estimate the statistical sensitivity that could be reached in each case and consider how sources of noise can be reduced so that the shot-noise limit of sensitivity can be reached. We also consider systematic effects due to magnetic fields and vector light shifts and how they could be controlled.


title: Mapping the stray fields of a nanomagnet using spin qubits in SiC

abstract: We report the use of optically addressable spin qubits in SiC to probe the magnetic stray fields generated by a ferromagnetic microstructure lithographically patterned on the surface of a SiC crystal. The stray fields cause shifts in the resonance frequency of the spin centers. The spin resonance is driven by a micrometer-sized microwave antenna patterned adjacent to the magnetic element. The patterning of the antenna is done to ensure that the driving microwave fields are delivered locally and more efficiently compared to conventional, millimeter-sized circuits. A clear difference in the resonance frequency of the spin centers in SiC is observed at various distances to the magnetic element, for two different magnetic states. Our results offer a wafer-scale platform to develop hybrid magnon-quantum applications by deploying local microwave fields and the stray field landscape at the micrometer lengthscale.


title: LiftFormer: 3D Human Pose Estimation using attention models

abstract: Estimating the 3D position of human joints has become a widely researched topic in the last years. Special emphasis has gone into defining novel methods that extrapolate 2-dimensional data (keypoints) into 3D, namely predicting the root-relative coordinates of joints associated to human skeletons. The latest research trends have proven that the Transformer Encoder blocks aggregate temporal information significantly better than previous approaches. Thus, we propose the usage of these models to obtain more accurate 3D predictions by leveraging temporal information using attention mechanisms on ordered sequences human poses in videos. Our method consistently outperforms the previous best results from the literature when using both 2D keypoint predictors by 0.3 mm (44.8 MPJPE, 0.7% improvement) and ground truth inputs by 2mm (MPJPE: 31.9, 8.4% improvement) on Human3.6M. It also achieves state-of-the-art performance on the HumanEva-I dataset with 10.5 P-MPJPE (22.2% reduction). The number of parameters in our model is easily tunable and is smaller (9.5M) than current methodologies (16.95M and 11.25M) whilst still having better performance. Thus, our 3D lifting model's accuracy exceeds that of other end-to-end or SMPL approaches and is comparable to many multi-view methods.


title: POSEIDON: Privacy-Preserving Federated Neural Network Learning

abstract: In this paper, we address the problem of privacy-preserving training and evaluation of neural networks in an $N$-party, federated learning setting. We propose a novel system, POSEIDON, the first of its kind in the regime of privacy-preserving neural network training. It employs multiparty lattice-based cryptography to preserve the confidentiality of the training data, the model, and the evaluation data, under a passive-adversary model and collusions between up to $N-1$ parties. To efficiently execute the secure backpropagation algorithm for training neural networks, we provide a generic packing approach that enables Single Instruction, Multiple Data (SIMD) operations on encrypted data. We also introduce arbitrary linear transformations within the cryptographic bootstrapping operation, optimizing the costly cryptographic computations over the parties, and we define a constrained optimization problem for choosing the cryptographic parameters. Our experimental results show that POSEIDON achieves accuracy similar to centralized or decentralized non-private approaches and that its computation and communication overhead scales linearly with the number of parties. POSEIDON trains a 3-layer neural network on the MNIST dataset with 784 features and 60K samples distributed among 10 parties in less than 2 hours.


title: Nucleon momentum distribution extracted from the experimental scaling function

abstract: The connection between the scaling function, directly extracted from the analysis of electron scattering data, and the nuclear spectral function or nuclear momentum density is investigated at depth. The dependence of the scaling function on the two independent variables in the scattering process, the transfer momentum ($q$) and the scaling variable ($y$), is taken into account, and the analysis is extended to both, positive and negative $y$-values, i.e., below and above the center of the quasielastic peak, respectively. Analytical expressions for the derivatives of the scaling function, evaluated at the finite limits of integration dealing with the kinematically allowed region, are connected with the spectral function. Here, contributions corresponding to zero and finite excitation energies are included. The scaling function is described by the Gumbel density distribution, whereas short-range correlations are incorporated in the spectral function by using some simple models. Also different parametrizations for the nucleon momentum distribution, that are compatible with the general properties of the scaling function, have been considered.


title: Advancing from Predictive Maintenance to Intelligent Maintenance with AI and IIoT

abstract: As Artificial Intelligent (AI) technology advances and increasingly large amounts of data become readily available via various Industrial Internet of Things (IIoT) projects, we evaluate the state of the art of predictive maintenance approaches and propose our innovative framework to improve the current practice. The paper first reviews the evolution of reliability modelling technology in the past 90 years and discusses major technologies developed in industry and academia. We then introduce the next generation maintenance framework - Intelligent Maintenance, and discuss its key components. This AI and IIoT based Intelligent Maintenance framework is composed of (1) latest machine learning algorithms including probabilistic reliability modelling with deep learning, (2) real-time data collection, transfer, and storage through wireless smart sensors, (3) Big Data technologies, (4) continuously integration and deployment of machine learning models, (5) mobile device and AR/VR applications for fast and better decision-making in the field. Particularly, we proposed a novel probabilistic deep learning reliability modelling approach and demonstrate it in the Turbofan Engine Degradation Dataset.


title: Probabilistic Constrained Optimization on Flow Networks

abstract: Uncertainty often plays an important role in dynamic flow problems. In this paper, we consider both, a stationary and a dynamic flow model with uncertain boundary data on networks. We introduce two different ways how to compute the probability for random boundary data to be feasible, discussing their advantages and disadvantages. In this context, feasible means, that the flow corresponding to the random boundary data meets some box constraints at the network junctions. The first method is the spheric radial decomposition and the second method is a kernel density estimation. In both settings, we consider certain optimization problems and we compute derivatives of the probabilistic constraint using the kernel density estimator. Moreover, we derive necessary optimality conditions for the stationary and the dynamic case. Throughout the paper, we use numerical examples to illustrate our results by comparing them with a classical Monte Carlo approach to compute the desired probability.


title: Constraining light dark matter upscattered by ultrahigh-energy cosmic rays

abstract: Light halo dark matter (DM) particles upscattered by high-energy cosmic rays (CRs) can be energetic, and become detectable by conventional direct detection experiments. The current constraints derived from space-based direct CR measurements can reach $\mathcal{O}(10^{-31})\text{ cm}^{2}$ for a constant DM-nucleon scattering cross section. We show that if the CR energy spectrum follows a power law of type $\sim E^{-3}$, the derived constraints on the scattering cross section will be highly insensitive to DM particle mass. This suggests that ultrahigh-energy CRs (UHECRs) indirectly measured by ground-based detectors can be used to place constraints on ultralight DM particles, as $E^{-3}$ is a very good approximation of the UHECR energy spectrum up to energy $\sim10^{20}\text{ eV}$. Using the recent UHECR flux data, we show that the current constraints derived from space-based CR measurements can in principle be extended to ultralight DM particles far below eV scale.


title: Non-intrusive and semi-intrusive uncertainty quantification of a multiscale in-stent restenosis model

abstract: Uncertainty estimations are presented of the response of a multiscale in-stent restenosis model, as obtained by both non-intrusive and semi-intrusive uncertainty quantification. The in-stent restenosis model is a fully coupled multiscale simulation of post-stenting tissue growth, in which the most costly submodel is the blood flow simulation. Surrogate modeling for non-intrusive uncertainty quantification takes the whole model as a black-box and maps directly from the three uncertain inputs to the quantity of interest, the neointimal area. The corresponding uncertain estimates matched the results from quasi-Monte Carlo simulations well. In the semi-intrusive uncertainty quantification, the most expensive submodel is replaced with a surrogate model. We developed a surrogate model for the blood flow simulation by using a convolutional neural network. The semi-intrusive method with the new surrogate model offered efficient estimates of uncertainty and sensitivity while keeping relatively high accuracy. It outperformed the result obtained with earlier surrogate models. It also achieved the estimates comparable to the non-intrusive method with similar efficiency. Presented results on uncertainty propagation with non-intrusive and semi-intrusive metamodeling methods allow us to draw some conclusions on the advantages and limitations of these methods.


title: An introduction to kinks in $\varphi^4$-theory

abstract: As a low-energy effective model emerging in disparate fields throughout all of physics, the ubiquitous $\varphi^4$-theory is one of the central models of modern theoretical physics. Its topological defects, or kinks, describe stable, particle-like excitations that play a central role in processes ranging from cosmology to particle physics and condensed matter theory. In these lecture notes, we introduce the description of kinks in $\varphi^4$-theory and the various physical processes that govern their dynamics. The notes are aimed at advanced undergraduate students, and emphasis is placed on stimulating qualitative insight into the rich phenomenology encountered in kink dynamics. The appendices contain more detailed derivations, and allow enquiring students to also obtain a quantitative understanding. Topics covered include the topological classification of stable solutions, kink collisions, the formation of bions, resonant scattering of kinks, and kink-impurity interactions.


title: Quantum coherence to interstellar distances

abstract: Quantum coherence could be sustained up to interstellar distances. It is shown that the photon mean free path in certain regions of the electromagnetic spectrum, such as within the radio or x-ray ranges, could allow sustaining of the quantum state of a photon up to galactic distances. Therefore processes involving quantum entanglement, such as quantum teleportation, could be realized over very long distances in the Milky Way or other galaxies. This is of fundamental interest and offers a new direction in the role of quantum mechanics. Some limited applications of this observation are discussed.


title: Light clusters in dilute heavy-baryon admixed nuclear matter

abstract: We study the composition of nuclear matter at sub-saturation densities, non-zero temperatures, and isospin asymmetry, under the conditions characteristic of binary neutron star mergers, stellar collapse, and low-energy heavy-ion collisions. The composition includes light clusters with mass number $A\le 4$, a heavy nucleus ($\isotope[56]{Fe}$), the $\Delta$-resonances, the isotriplet of pions, as well as the $\Lambda$ hyperon. The nucleonic mean-fields are computed from a zero-range density functional, whereas the pion-nucleon interactions are treated to leading order in chiral perturbation theory. We show that with increasing temperature and/or density the composition of matter shifts from light-cluster to heavy baryon dominated one, the transition taking place nearly independent of the magnitude of the isospin. Our findings highlight the importance of simultaneous treatment of light clusters and heavy baryons in the astrophysical and heavy-ion physics contexts.


title: The Equatorial Jet Speed on Tidally Locked Planets: I -- Terrestrial Planets

abstract: The atmospheric circulation of tidally locked planets is dominated by a superrotating eastward equatorial jet. We develop a predictive theory for the formation of this jet, proposing a mechanism in which the three-dimensional stationary waves induced by the day-night forcing gradient produce an equatorial acceleration. This is balanced in equilibrium by an interaction between the resulting jet and the vertical motion of the atmosphere. The three-dimensional structure of the zonal acceleration is vital to this mechanism. We demonstrate this mechanism in a hierarchy of models. We calculate the three-dimensional stationary waves induced by the forcing on these planets, and show the vertical structure of the zonal acceleration produced by these waves, which we use to suggest a mechanism for how the jet forms. GCM simulations are used to confirm the equilibrium state predicted by this mechanism, where the acceleration from these waves is balanced by an interaction between the zonal-mean vertical velocity and the jet. We derive a simple model of this using the "Weak Temperature Gradient" approximation, which gives an estimate of the jet speed on a terrestrial tidally locked planet. We conclude that the proposed mechanism is a good description of the formation of an equatorial jet on a terrestrial tidally locked planet, and should be useful for interpreting observations and simulations of these planets. The mechanism requires assumptions such as a large equatorial Rossby radius and weak acceleration due to transient waves, and a different mechanism may produce the equatorial jets on gaseous tidally locked planets.


title: Parallel One-Step Control of Parametrised Boolean Networks

abstract: Boolean network (BN) is a simple model widely used to study complex dynamic behaviour of biological systems. Nonetheless, it might be difficult to gather enough data to precisely capture the behavior of a biological system into a set of Boolean functions. These issues can be dealt with to some extent using parametrised Boolean networks (ParBNs), as it allows to leave some update functions unspecified. In this paper, we attack the control problem for ParBNs with asynchronous semantics. While there is an extensive work on controlling BNs without parameters, the problem of control for ParBNs has not been in fact addressed yet. The goal of control is to ensure the stabilisation of a system in a given state using as few interventions as possible. There are many ways to control BN dynamics. Here, we consider the one-step approach in which the system is instantaneously perturbed out of its actual state. A naive approach to handle control of ParBNs is using parameter scan and solve the control problem for each parameter valuation separately using known techniques for non-parametrised BNs. This approach is however highly inefficient as the parameter space of ParBNs grows doubly-exponentially in the worst case. In this paper, we propose a novel semi-symbolic algorithm for the one-step control problem of ParBNs, that builds on a symbolic data structures to avoid scanning individual parameters. We evaluate the performance of our approach on real biological models.


title: Pseudo-Hermiticity, Martingale Processes and Non-Arbitrage Pricing

abstract: Financial models based on the Wick product, and White Noise formalism have previously been suggested in order to incorporate integrals with respect to fractional Brownian motion. It has also been pointed out that this leads naturally to a quantum mechanical interpretation of the financial market. In this article we pursue this idea further, and in particular show how the framework of quantum probability can be used to construct Martingales, without relying on Brownian integrals. We go on to suggest benefits of doing so, and avenues for future work.


title: Railgun: streaming windows for mission critical systems

abstract: Some mission critical systems, such as fraud detection, require accurate, real-time metrics over long time windows on applications that demand high throughputs and low latencies. As these applications need to run "forever", cope with large and spiky data loads, they further require to be run in a distributed setting. Unsurprisingly, we are unaware of any distributed streaming system that provides all those properties. Instead, existing systems take large simplifications, such as implementing sliding windows as a fixed set of partially overlapping windows, jeopardizing metric accuracy (violating financial regulator rules) or latency (breaching service agreements). In this paper, we propose Railgun, a fault-tolerant, elastic, and distributed streaming system supporting real-time sliding windows for scenarios requiring high loads and millisecond-level latencies. We benchmarked an initial prototype of Railgun using real data, showing significant lower latency than Flink, and low memory usage, independent of window size.


title: Projectively non-singular horizons in Kerr-NUT-de Sitter spacetimes

abstract: It was recently discovered that Killing horizons in the generic Kerr-NUT-(anti) de Sitter spacetimes are projectively singular, i.e. their spaces of the null generators have singular geometry. Only if the cosmological constant takes the special value determined by the Kerr and NUT parameters, and the radius of the horizon, then the corresponding horizon does not suffer that problem. In the current paper, the projectively non-singular horizons are investigated. They are found to be cosmological and non-extremal. Every projectively non-singular horizon can be used to define a global completion of the Kerr-NUT-de Sitter spacetime it is contained in. The resulting spacetime extends from $\mathcal{I}^-$ to $\mathcal{I}^+$, has the topology of $\mathbb{R}\times S_3$ and is smooth except for a possible Kerr-like singularity.


title: A Benchmark for Multi-UAV Task Assignment of an Extended Team Orienteering Problem

abstract: A benchmark for multi-UAV task assignment is presented in order to evaluate different algorithms. An extended Team Orienteering Problem is modeled for a kind of multi-UAV task assignment problem. Three intelligent algorithms, i.e., Genetic Algorithm, Ant Colony Optimization and Particle Swarm Optimization are implemented to solve the problem. A series of experiments with different settings are conducted to evaluate three algorithms. The modeled problem and the evaluation results constitute a benchmark, which can be used to evaluate other algorithms used for multi-UAV task assignment problems.


title: Propeller Tip Vortex Mitigation By Roughness Application

abstract: In this study, the application of surface roughness on model and full scale marine propellers in order to mitigate tip vortex cavitation is evaluated. To model the turbulence, SST kOmegamodel along with a curvature correction is employed to simulate the flow on an appropriate grid resolution for tip vortex propagation, at least 32 cells per vortex diameter according to our previous guidelines. The effect of roughness is modeled by modified wall functions. The analysis focuses on two types of vortices appearing on marine propellers: tip vortices developing in lower advance ratio numbers and leading-edge tip vortices developing in higher advance ratio numbers. It is shown that as the origin and formation of these two types of vortices differ, different roughness patterns are needed to mitigate them with respect to performance degradation of propeller performance. Our findings clarify that the combination of having roughness on the blade tip and a limited area on the leading edge is the optimum roughness pattern where a reasonable balance between tip vortex cavitation mitigation and performance degradation can be achieved. This pattern in model scale condition leads to an average TVC mitigation of 37% with an average performance degradation of 1.8% while in full scale condition an average TVC mitigation of 22% and performance degradation of 1.4% are obtained.


title: Rank-one partitioning: formalization, illustrative examples, and a new cluster enhancing strategy

abstract: In this paper, we introduce and formalize a rank-one partitioning learning paradigm that unifies partitioning methods that proceed by summarizing a data set using a single vector that is further used to derive the final clustering partition. Using this unification as a starting point, we propose a novel algorithmic solution for the partitioning problem based on rank-one matrix factorization and denoising of piecewise constant signals. Finally, we propose an empirical demonstration of our findings and demonstrate the robustness of the proposed denoising step. We believe that our work provides a new point of view for several unsupervised learning techniques that helps to gain a deeper understanding about the general mechanisms of data partitioning.


title: Experimental Analysis of Tip Vortex Cavitation Mitigation By Controlled Surface Roughness

abstract: This study presents results of experiments where roughness applications are evaluated in delaying the tip vortex cavitation inception of an elliptical foil. High-speed video recordings and Laser Doppler Velocimetry (LDV) measurements are employed to provide further details on the cavitation behaviour and tip vortex flow properties in different roughness pattern configurations. The angular momentum measurements of the vortex core region at one chord length downstream of the tip indicate that roughness leads to a lower angular momentum compared to the smooth foil condition while the vortex core radius remains similar in the smooth and roughened conditions. The observations show that the cavitation number for tip vortex cavitation inception is reduced by 33 % in the optimized roughness pattern compared to the smooth foil condition where the drag force increase is observed to be around 2 %. During the tests, no obvious differences in the cavitation inception properties of uniform and non-uniform roughness distributions are observed. However, the drag force is found to be higher with a non-uniform roughness distribution.


title: KiDS+VIKING-450: An internal-consistency test for cosmic shear tomography with a colour-based split of source galaxies

abstract: We performed an internal-consistency test of the KiDS+VIKING-450 (KV450) cosmic shear analysis with a colour-based split of source galaxies. Utilising the same measurements and calibrations for both sub-samples, we inspected the characteristics of the shear measurements and the performance of the calibration pipelines. On the modelling side, we examined the observational nuisance parameters, specifically those for the redshift calibration and intrinsic alignments, using a Bayesian analysis with dedicated test parameters. We verified that the current nuisance parameters are sufficient for the KV450 data to capture residual systematics, with slight deviations seen in the second and the third redshift tomographic bins. Our test also showcases the degeneracy between the inferred amplitude of intrinsic alignments and the redshift uncertainties in low redshift tomographic bins. The test is rather insensitive to the background cosmology and, therefore, can be implemented before any cosmological inference is made.


title: XVA Analysis From the Balance Sheet

abstract: XVAs denote various counterparty risk related valuation adjustments that are applied to financial derivatives since the 2007--09 crisis. We root a cost-of-capital XVA strategy in a balance sheet perspective which is key in identifying the economic meaning of the XVA terms. Our approach is first detailed in a static setup that is solved explicitly. It is then plugged in the dynamic and trade incremental context of a real derivative banking portfolio. The corresponding cost-of-capital XVA strategy ensures to bank shareholders a submartingale equity process corresponding to a target hurdle rate on their capital at risk, consistently between and throughout deals. Set on a forward/backward SDE formulation, this strategy can be solved efficiently using GPU computing combined with deep learning regression methods in a whole bank balance sheet context. A numerical case study emphasizes the workability and added value of the ensuing pathwise XVA computations.


title: Structural balance of alliance and rivalry networks in international relations

abstract: Does the enemy of my enemy become my friend? A growing literature on structural analysis of interstate relationships has tackled this old question from the network perspective. However, the mechanism of long-term change in the structure of cooperation and enmity has yet to be fully understood. In search for a general explanation for the long-term evolution of interstate structure, we empirically examine the structural balance theory which predicts that a signed network evolves toward a more "balanced" structure where in many triangular relationships (i.e., triads) two states tend to share a common enemy or three states cooperate with each other. We investigate the network of alliances (positive edges) and rivalries (negative edges) between sovereign states and examine whether its evolution from 1816 to 2009 can be explained by the structural balance theory. We find the consistency with the structural balance theory drastically changes over time. The empirical pattern follows the prediction by the theory before the German unification in the nineteenth century and after World War II while inconsistent in the middle period. This result reveals the impact of the two historical events on the underlying mechanism of network evolution. Moreover, the contrast with previous studies of signed social networks that generally support the structural balance theory indicates that international alliance and rivalry networks can be a promising material to study novel mechanisms behind the time evolution of signed networks.


title: Numerical recovery of the piecewise constant leading coefficient of an elliptic equation

abstract: We propose a numerical algorithm for the reconstruction of a piecewise constant leading coefficient of an elliptic problem. The inverse problem is reduced to a shape reconstruction problem. The proposed algorithm is based on the minimization of a cost functional where a control function is the right-hand side of an auxiliary elliptic equation for a level set representation of unknown shape. The numerical implementation is based on the finite element method and the open-source computing platform FEniCS. The performance of the algorithm is demonstrated on computationally simulated data.


title: GMRES on singular systems revisited

abstract: In [Hayami K, Sugihara M. Numer Linear Algebra Appl. 2011; 18:449--469], the authors analyzed the convergence behaviour of the Generalized Minimal Residual (GMRES) method for the least squares problem $ \min_{ {\bf x} \in {\bf R}^n} {\| {\bf b} - A {\bf x} \|_2}^2$, where $ A \in {\bf R}^{n \times n}$ may be singular and $ {\bf b} \in {\bf R}^n$, by decomposing the algorithm into the range $ {\cal R}(A) $ and its orthogonal complement $ {\cal R}(A)^\perp $ components. However, we found that the proof of the fact that GMRES gives a least squares solution if $ {\cal R}(A) = {\cal R}(A^{\scriptsize T} ) $ was not complete. In this paper, we will give a complete proof.


title: Classification results for three-dimensional (para)contact metric and almost (para)cosymplectic $(\kappa,\mu)$-spaces

abstract: It is provided an overview of existed results concerning classification of contact metric, almost cosymplectic and almost Kenmotsu $(\kappa,\mu)$-manifolds. In the case of dimension three it is described in full details structure of contact metric or almost cosymplectic $(\kappa,\mu)$-spaces. The second part of the paper addresses three-dimensional paracontact metric and almost paracosymplectic $(\kappa,\mu)$-spaces. There is obtained local classification of paracontact metric $(\kappa,\mu)$-spaces, and almost paracosymplectic $(\kappa,\mu)$-spaces, for every possible value of $\kappa$.


title: Top-k Socio-Spatial Co-engaged Location Selection for Social Users

abstract: With the advent of location-based social networks, users can tag their daily activities in different locations through check-ins. These check-in locations signify user preferences for various socio-spatial activities and can be used to build their profiles to improve the quality of services in some applications such as recommendation systems, advertising, and group formation. To support such applications, in this paper, we formulate a new problem of identifying top-k Socio-Spatial co-engaged Location Selection (SSLS) for users in a social graph, that selects the best set of k locations from a large number of location candidates relating to the user and her friends. The selected locations should be (i) spatially and socially relevant to the user and her friends, and (ii) diversified in both spatially and socially to maximize the coverage of friends in the spatial space. This problem has been proved as NP-hard. To address the challenging problem, we first develop a branch-and-bound based Exact solution by designing some pruning strategies based on the derived bounds on diversity. To make the solution scalable for large datasets, we also develop an approximate solution by deriving the relaxed bounds and advanced termination rules to filter out insignificant intermediate results. To further accelerate the efficiency, we present one fast exact approach and a meta-heuristic approximate approach by avoiding the repeated computation of diversity at the running time. Finally, we have performed extensive experiments to evaluate the performance of our proposed models and algorithms against the adapted existing methods using four real-world large datasets.


title: Effect of liquid drop model parameters on nuclear liquid gas phase transition

abstract: The phenomenon of liquid-gas phase transition occurring in heavy ion collisions at intermediate energies is a subject of contemporary interest. In statistical models of fragmentation, the liquid drop model is generally used to calculate the ground state binding energies of the fragments. It is well known that the surface and symmetry energy of the hot fragments at the low density freeze out can be considerably modified. In addition to this, the level density parameter also has a wide variation. The effect of variation of these parameters is studied on fragmentation observables which are related to the nuclear liquid gas phase transition. The canonical thermodynamical model which has been very successful in describing the phenomenon of fragmentation is used for the study. The shift in transition temperature owing to the variation in liquid drop model parameters has been examined.


title: Kenfack Zyczkowski indicator of nonclassicality for two non-equivalent representations of Wigner function of qutrit

abstract: The Wigner function of a finite-dimensional system can be constructed via dual pairing of a density matrix with the Stratonovich-Weyl kernel. Following Kenfack and $\dot{\text{Z}}$yczkowski, we consider the indicator of nonclassicality of a finite-dimensional quantum system which depends on the volume of the negative part of the Wigner function. This indicator is defined over the unitary non-equivalent classes of quantum states, i.e. represents an invariant, but since for a given quantum system there is no unique Wigner function it turns to be sensitive to the choice of representations for the Wigner function. Based on the explicit parameterization of the moduli space of the Wigner functions, we compute the corresponding Kenfack-$\dot{\text{Z}}$yczkowski indicators of a 3-level system for degenerate, unitary non-equivalent Stratonovich-Weyl kernels.


title: SolO campfires in SDO images

abstract: I present the appearance of "Solar Orbiter campfires" in simultaneous images from the Solar Dynamics Observatory where most are visible although less sharp. I also show such features elsewhere in the SDO database. I show some in detail and discuss their nature.


title: Performance issues in content dissemination to metropolitan mobile users

abstract: In this paper we consider a set of heterogeneous terminals in a urban area that are interested in collecting the information originated from several sources. This set includes mobile nodes (pedestrian and vehicles) and fixed terminals. In particular, each terminal aims at retrieving the data items in a limited region of interest (ROI) centered around the node position. Since data items may change over time all nodes must strive for having access to the latest version. The goal of the paper is to evaluate the amount of information each node is able to gather (coverage) resorting to simple distributed data collection and sharing through local broadcast communications. We study the diffusion of information updates in the whole area, evaluate the impact of energy saving policies in the protocol version run by pedestrian devices, and the impact of contextual awareness about location and motion of nodes in the forwarding policies. The study we present in this paper has been carried out through simulation. To this end we develop a discrete event simulator working on top of mobility and radio propagation traces obtained from the UDelModels tools that allow to obtain realistic traces of mobility and radio propagation.


title: Deep Structure Learning using Feature Extraction in Trained Projection Space

abstract: Over the last decade of machine learning, convolutional neural networks have been the most striking successes for feature extraction of rich sensory and high-dimensional data. While learning data representations via convolutions is already well studied and efficiently implemented in various deep learning libraries, one often faces limited memory capacity and insufficient number of training data, especially for high-dimensional and large-scale tasks. To overcome these limitations, we introduce a network architecture using a self-adjusting and data dependent version of the Radon-transform (linear data projection), also known as x-ray projection, to enable feature extraction via convolutions in lower-dimensional space. The resulting framework, named PiNet, can be trained end-to-end and shows promising performance on volumetric segmentation tasks. We test proposed model on public datasets to show that our approach achieves comparable results only using fractional amount of parameters. Investigation of memory usage and processing time confirms PiNet's superior efficiency compared to other segmentation models.


title: Near-field imaging of a locally rough interface and buried obstacles with the linear sampling method

abstract: Consider the problem of inverse scattering of time-harmonic point sources from an infinite, penetrable rough interface with bounded obstacles buried in the lower half-space, where the interface is assumed to be a local perturbation of a planar surface. A novel version of the sampling method is proposed to simultaneously reconstruct the local perturbation of the rough interface and buried obstacles by constructing a modified near-field equation associated with a special rough surface, yielding a fast imaging algorithm. Numerical examples are presented to illustrate the effectiveness of the inversion algorithm.


title: Free-Space Optical MISO Communications With an Array of Detectors

abstract: Multiple-input multiple-output (MIMO) and multiple-input single-output (MISO) schemes have yielded promising results in free space optical (FSO) communications by providing diversity against fading of the received signal intensity. In this paper, we have analyzed the probability of error performance of a \emph{muliple-input single-output} (MISO) free-space optical channel that employs array(s) of detectors at the receiver. In this regard, we have considered the \emph{maximal ratio combiner} (MRC) and \emph{equal gain combiner} (EGC) fusion algorithms for the array of detectors, and we have examined the performance of these algorithms subject to phase and pointing errors for strong atmospheric turbulence conditions. It is concluded that when the variance of the phase and pointing errors are below certain thresholds, signal combining with a single array of detectors yields significantly better performance than a multiple arrays receiver. In the final part of the paper, we examine the probability of error of the single detector array receiver as a function of the beam radius, and the probability of error is minimized by (numerically) optimizing the beam radius of the received signal beams.


title: The superconducting dome for holographic doped Mott insulator with hyperscaling violation

abstract: We reconsider the holographic model featuring a superconducting dome on the temperature-doping phase diagram with a modified view on the role of the two charges. The first type charge with density $\rho_{A}$ make the Mott insulator, and the second one with $\rho_{B}$ is the extra charge by doping, so that the complex scalar describing the cooper pair condensation couples only with the second charge. We point out that the key role in creating the dome is played by the three point interaction $-c \chi^{2} F_{\mu\nu}G^{\mu\nu}$. The $Tc$ increases with their coupling. We also consider the effect of the quantum critical point hidden under the dome using the geometry of hyperscaling violation. Our results show that the dome size and optimal temperature increase with $z$ whatever is $\theta$, while we get bigger $\theta$ for larger (smaller) dome depending on $z>2$ ($z<2$). We also point out that the condensate increases for bigger value of $\theta$ but for smaller value of $z$.


title: Image Super-Resolution using Explicit Perceptual Loss

abstract: This paper proposes an explicit way to optimize the super-resolution network for generating visually pleasing images. The previous approaches use several loss functions which is hard to interpret and has the implicit relationships to improve the perceptual score. We show how to exploit the machine learning based model which is directly trained to provide the perceptual score on generated images. It is believed that these models can be used to optimizes the super-resolution network which is easier to interpret. We further analyze the characteristic of the existing loss and our proposed explicit perceptual loss for better interpretation. The experimental results show the explicit approach has a higher perceptual score than other approaches. Finally, we demonstrate the relation of explicit perceptual loss and visually pleasing images using subjective evaluation.


title: ALMA Observations of HCO+ and HCN Emission in a massive star forming region N55 of the Large Magellanic Cloud

abstract: We present the results of high spatial resolution HCO$^{+}$($1-0$) and HCN($1-0$) observations of N55 south region (N55-S) in the Large Magellanic Cloud (LMC), obtained with the Atacama Large Millimeter/submillimeter Array (ALMA). N55-S is a relatively less extreme star-forming region of the LMC characterized by a low radiation field. We carried out a detailed analysis of the molecular emission to investigate the relation between dense molecular clumps and star formation in the quiescent environment of N55-S. We detect ten molecular clumps with significant HCO$^{+}(1-0)$ emission and eight with significant HCN($1-0$) emission, and estimate the molecular clump masses by virial and local thermodynamic equilibrium analysis. All identified young stellar objects (YSOs) in the N55-S are found to be near the HCO$^{+}$ and HCN emission peaks showing the association of these clumps with recent star formation activity. The molecular clumps that have associated YSOs show relatively larger linewidths and masses than those without YSOs. We compare the clump properties of the N55-S with those of other giant molecular clouds (GMCs) in the LMC and find that N55-S clumps possess similar size but relatively lower linewidth and larger HCN/HCO$^{+}$(1$-$0) flux ratio. These results can be attributed to the low radiation field in N55-S resulted by relatively low star formation activity compared to other active star-forming regions like 30Doradus-10 and N159. The dense gas fraction of N55-S is $\sim$ 0.025, lower compared to other GMCs of the LMC supporting the low star formation efficiency of this region.


title: Obtuse Lattice Bases

abstract: A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. We define a class of bases called obtuse bases and show that any lattice basis can be transformed to an obtuse basis. A shortest vector $\mathbf{s}$ can be written as $\mathbf{s}=v_1\mathbf{b}_1+\dots+v_n\mathbf{b}_n$ where $\mathbf{b}_1,\dots,\mathbf{b}_n$ are the input basis vectors and $v_1,\dots,v_n$ are integers. When the input basis is obtuse, all these integers can be chosen to be positive for a shortest vector. This property of obtuse bases makes the lattice enumeration algorithm for finding a shortest vector exponentially faster. We have implemented the algorithm for making bases obtuse, and tested it some small bases.


title: Autonomous Formula Racecar: Overall System Design and Experimental Validation

abstract: This paper develops and summarizes the work of building the autonomous integrated system including perception system and vehicle dynamic controller for a formula student autonomous racecar. We propose a system framework combining X-by-wired modification, perception & motion planning and vehicle dynamic control as a template of FSAC racecar which can be easily replicated. A LIDAR-vision cooperating method of detecting traffic cone which is used as track mark is proposed. Detection algorithm of the racecar also implements a precise and high rate localization method which combines the GPS-INS data and LIDAR odometry. Besides, a track map including the location and color information of the cones is built simultaneously. Finally, the system and vehicle performance on a closed loop track is tested. This paper also briefly introduces the Formula Student Autonomous Competition (FSAC).


title: Denoising Click-evoked Otoacoustic Emission Signals by Optimal Shrinkage

abstract: Click-evoked otoacoustic emissions (CEOAEs) are clinically used as an objective way to infer whether cochlear functions are normal. However, because the sound pressure level of CEOAEs is typically much lower than the background noise, it usually takes hundreds, if not thousands of repetitions to estimate the signal with sufficient accuracy. In this paper, we propose to improve the signal-to-noise ratio (SNR) of CEOAE signals within limited measurement time by optimal shrinkage (OS) in two different settings: the covariance-based OS (cOS) and the singular value decomposition (SVD)-based OS (sOS). By simulation and analyzing human CEOAE data, the cOS consistently reduced the noise and enhanced the SNR by 1 to 2 dB from a baseline method (BM) that is based on calculating the median. The sOS achieved an SNR enhancement of 2 to 3 dB in simulation, and demonstrated capability to enhance the SNR in real recordings when the SNR achieved by the BM was below 0 dB. An appealing property of OS is that it produces an estimate of every individual column of the signal matrix. This property makes it possible to investigate CEOAE dynamics across a longer period of time when the cochlear conditions are not strictly stationary.


title: Boosting Share Routing for Multi-task Learning

abstract: Multi-task learning (MTL) aims to make full use of the knowledge contained in multi-task supervision signals to improve the overall performance. How to make the knowledge of multiple tasks shared appropriately is an open problem for MTL. Most existing deep MTL models are based on parameter sharing. However, suitable sharing mechanism is hard to design as the relationship among tasks is complicated. In this paper, we propose a general framework called Multi-Task Neural Architecture Search (MTNAS) to efficiently find a suitable sharing route for a given MTL problem. MTNAS modularizes the sharing part into multiple layers of sub-networks. It allows sparse connection among these sub-networks and soft sharing based on gating is enabled for a certain route. Benefiting from such setting, each candidate architecture in our search space defines a dynamic sparse sharing route which is more flexible compared with full-sharing in previous approaches. We show that existing typical sharing approaches are sub-graphs in our search space. Extensive experiments on three real-world recommendation datasets demonstrate MTANS achieves consistent improvement compared with single-task models and typical multi-task methods while maintaining high computation efficiency. Furthermore, in-depth experiments demonstrates that MTNAS can learn suitable sparse route to mitigate negative transfer.


title: Head-to-nerve analysis of electromechanical impairments of diffuse axonal injury

abstract: The aim was to investigate mechanical and functional failure of diffuse axonal injury (DAI) in nerve bundles following frontal head impacts, by finite element simulations. Anatomical changes following traumatic brain injury are simulated at the macroscale by using a 3D head model. Frontal head impacts at speeds of 2.5-7.5 m/s induce mild-to-moderate DAI in the white matter of the brain. Investigation of the changes in induced electromechanical responses at the cellular level is carried out in two scaled nerve bundle models, one with myelinated nerve fibres, the other with unmyelinated nerve fibres. DAI occurrence is simulated by using a real-time fully coupled electromechanical framework, which combines a modulated threshold for spiking activation and independent alteration of the electrical properties for each three-layer fibre in the nerve bundle models. The magnitudes of simulated strains in the white matter of the brain model are used to determine the displacement boundary conditions in elongation simulations using the 3D nerve bundle models. At high impact speed, mechanical failure occurs at lower strain values in large unmyelinated bundles than in myelinated bundles or small unmyelinated bundles; signal propagation continues in large myelinated bundles during and after loading, although there is a large shift in baseline voltage during loading; a linear relationship is observed between the generated plastic strain in the nerve bundle models and the impact speed and nominal strains of the head model. The myelin layer protects the fibre from mechanical damage, preserving its functionalities.


title: Edge statistics of large dimensional deformed rectangular matrices

abstract: We consider the edge statistics of large dimensional deformed rectangular matrices of the form $Y_t=Y+\sqrt{t}X,$ where $Y$ is a $p \times n$ deterministic signal matrix whose rank is comparable to $n$, $X$ is a $p\times n$ random noise matrix with centered i.i.d. entries with variance $n^{-1}$, and $t>0$ gives the noise level. This model is referred to as the interference-plus-noise matrix in the study of massive multiple-input multiple-output (MIMO) system, which belongs to the category of the so-called signal-plus-noise model. For the case $t=1$, the spectral statistics of this model have been studied to a certain extent in the literature. In this paper, we study the singular value and singular vector statistics of $Y_t$ around the right-most edge of the singular value spectrum in the harder regime $n^{-2/3}\ll t \ll 1$. This regime is harder than the $t=1$ case, because on one hand, the edge behavior of the empirical spectral distribution (ESD) of $YY^\top$ has a strong effect on the edge statistics of $Y_tY_t^\top$ since $t\ll 1$ is "small", while on the other hand, the edge statistics of $Y_t$ is also not merely a perturbation of those of $Y$ since $t\gg n^{-2/3}$ is "large". Under certain regularity assumptions on $Y,$ we prove the edge universality, eigenvalues rigidity and eigenvector delocalization for the matrices $Y_tY_t^\top$ and $Y_t^\top Y_t$. These results can be used to estimate and infer the massive MIMO system. To prove the main results, we analyze the edge behavior of the asymptotic ESD for $Y_tY_t^\top$, and establish some sharp local laws on the resolvent of $Y_tY_t^\top$. These results can be of independent interest, and used as useful inputs for many other problems regarding the spectral statistics of $Y_t$.


title: The magic square of Lie groups: the $2 \times 2$ case

abstract: A unified treatment of the $2 \times 2$ analog of the Freudenthal-Tits magic square of Lie groups is given, providing an explicit representation in terms of matrix groups over composition algebras.


title: Can determinism and compositionality coexist in RML?

abstract: Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specification of its expected properties. RML (Runtime Monitoring Language) is a simple but expressive Domain Specific Language for RV; its semantics is based on a trace calculus formalized by a deterministic rewriting system which drives the implementation of the interpreter of the monitors generated by the RML compiler from the specifications. While determinism of the trace calculus ensures better performances of the generated monitors, it makes the semantics of its operators less intuitive. In this paper we move a first step towards a compositional semantics of the RML trace calculus, by interpreting its basic operators as operations on sets of instantiated event traces and by proving that such an interpretation is equivalent to the operational semantics of the calculus.


title: Evolution of an asteroid family under YORP, Yarkovsky and collisions

abstract: Any population of asteroids, like asteroid families, will disperse in semi-major axis due to the Yarkovsky effect. The amount of drift is modulated by the asteroid spin state evolution which determines the balance between the diurnal and seasonal Yarkovsky force. The asteroid's spin state is, in turn, controlled in part by the YORP effect. The otherwise smooth evolution of an asteroid can be abruptly altered by collisions, which can cause impulsive changes in the spin state and can move the asteroid onto a different YORP track. In addition, collisions may also alter the YORP parameters by changing the superficial features and overall shape of the asteroid. Thus, the coupling between YORP and Yarkovsky is also strongly affected by the impact history of each body. To investigate this coupling we developed a statistical code modeling the time evolution of semi--major axis under YORP-Yarkovsky coupling. It includes the contributions of NYORP (normal YORP), TYORP (tangential YORP) and collisions whose effects are deterministically calculated and not added in a statistical way. We find that both collisions and TYORP increase the dispersion of a family in semi-major axis by making the spin axis evolution less smooth and regular. We show that the evolution of a family's structure with time is complex and collisions randomize the YORP evolution. In our test families we do not observe the formation of a 'YORP-eye' in the semi-major axis vs. diameter distribution, even after a long period of time. If present, the 'YORP-eye' might be a relic of an initial ejection velocity pattern of the collisional fragments.


title: Harmonic Analysis in d-dimensional Superconformal Field Theory

abstract: Superconformal blocks and crossing symmetry equations are among central ingredients in any superconformal field theory. We review the approach to these objects rooted in harmonic analysis on the superconformal group that was put forward in [J. High Energy Phys. 2020 (2020), no. 1, 159, 40 pages, arXiv:1904.04852] and [J. High Energy Phys. 2020 (2020), no. 10, 147, 44 pages, arXiv:2005.13547]. After lifting conformal four-point functions to functions on the superconformal group, we explain how to obtain compact expressions for crossing constraints and Casimir equations. The later allow to write superconformal blocks as finite sums of spinning bosonic blocks.


title: Continuous Artificial Prediction Markets as a Syndromic Surveillance Technique

abstract: The main goal of syndromic surveillance systems is early detection of an outbreak in a society using available data sources. In this paper, we discuss what are the challenges of syndromic surveillance systems and how continuous Artificial Prediction Market [Jahedpari et al., 2017] can effectively be applied to the problem of syndromic surveillance. We use two well-known models of (i) Google Flu Trends, and (ii) the latest improvement of Google Flu Trends model, named as GP [Lampos et al., 2015], as our case study and we show how c-APM can improve upon their performance. Our results demonstrate that c-APM typically has a lower MAE to that of Google Flu Trends in each year. Though this difference is relatively small in some years like 2004 and 2007, it is relatively large in most years and very large between 2011 and 2013.


title: Sampling Attacks: Amplification of Membership Inference Attacks by Repeated Queries

abstract: Machine learning models have been shown to leak information violating the privacy of their training set. We focus on membership inference attacks on machine learning models which aim to determine whether a data point was used to train the victim model. Our work consists of two sides: We introduce sampling attack, a novel membership inference technique that unlike other standard membership adversaries is able to work under severe restriction of no access to scores of the victim model. We show that a victim model that only publishes the labels is still susceptible to sampling attacks and the adversary can recover up to 100% of its performance compared to when posterior vectors are provided. The other sides of our work includes experimental results on two recent membership inference attack models and the defenses against them. For defense, we choose differential privacy in the form of gradient perturbation during the training of the victim model as well as output perturbation at prediction time. We carry out our experiments on a wide range of datasets which allows us to better analyze the interaction between adversaries, defense mechanism and datasets. We find out that our proposed fast and easy-to-implement output perturbation technique offers good privacy protection for membership inference attacks at little impact on utility.


title: On some finiteness results in real \'etale cohomology

abstract: We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the derived direct image functor preserves constructibility under some assumptions, and compute the Grothendieck group of the constructible rational stable motivic homotopy category for reasonable schemes. We prove the generic base change property for constructible real \'etale sheaves, and deduce the same property for rational motivic spectra and $b$-sheaves.


title: Probabilistic dose prediction using mixture density networks for automated radiation therapy treatment planning

abstract: We demonstrate the application of mixture density networks (MDNs) in the context of automated radiation therapy treatment planning. It is shown that an MDN can produce good predictions of dose distributions as well as reflect uncertain decision making associated with inherently conflicting clinical tradeoffs, in contrast to deterministic methods previously investigated in literature. A two-component Gaussian MDN is trained on a set of treatment plans for postoperative prostate patients with varying extents to which rectum dose sparing was prioritized over target coverage. Examination on a test set of patients shows that the predicted modes follow their respective ground truths well both spatially and in terms of their dose-volume histograms. A special dose mimicking method based on the MDN output is used to produce deliverable plans and thereby showcase the usability of voxel-wise predictive densities. Thus, this type of MDN may serve to support clinicians in managing clinical tradeoffs and has the potential to improve quality of plans produced by an automated treatment planning pipeline.


title: Stability and sensitivity analysis of bird flapping flight

abstract: This paper investigates stability analysis of flapping flight. Due to time-varying aerodynamic forces, such systems do not display fixed points of equilibrium. The problem is therefore approached via a limit cycle analysis based on Floquet theory. Stability is assessed from the eigenvalues of the Jacobian matrix associated to the limit cycle, also known as the Floquet multipliers. We developed this framework to analyze the flapping flight equations of motion of a bird in the longitudinal plane. Such a system is known to be not only non-linear and time-dependent, but also driven by state-dependent forcing aerodynamic forces. A model accounting for wing morphing under prescribed kinematics is developed for generating realistic state-dependent aerodynamic forces. The morphing wing geometry results from the envelope of continuously articulated rigid bodies, modeling bones and feather rachises, and capturing biologically relevant degrees of freedom. A sensitivity analysis is carried out which allows studying several flight configurations in trimmed state. Our numerical results show that in such a system one instability mode is ubiquitous, thus suggesting the importance of sensory feedback to achieve steady-state flapping flight in birds. The effect of wingbeat amplitude, governed by the shoulder joint, is found to be crucial in tuning the gait towards level flight, but marginally affects stability. In contrast, the relative position between the wing and the center of mass is found to significantly affect the values of Floquet multipliers, suggesting that the distribution of pitching moment plays a very important role in flapping flight stability.


title: Accounting for correlated horizontal pleiotropy in two-sample Mendelian randomization using correlated instrumental variants

abstract: Mendelian randomization (MR) is a powerful approach to examine the causal relationships between health risk factors and outcomes from observational studies. Due to the proliferation of genome-wide association studies (GWASs) and abundant fully accessible GWASs summary statistics, a variety of two-sample MR methods for summary data have been developed to either detect or account for horizontal pleiotropy, primarily based on the assumption that the effects of variants on exposure ({\gamma}) and horizontal pleiotropy ({\alpha}) are independent. This assumption is too strict and can be easily violated because of the correlated horizontal pleiotropy (CHP). To account for this CHP, we propose a Bayesian approach, MR-Corr2, that uses the orthogonal projection to reparameterize the bivariate normal distribution for {\gamma} and {\alpha}, and a spike-slab prior to mitigate the impact of CHP. We develop an efficient algorithm with paralleled Gibbs sampling. To demonstrate the advantages of MR-Corr2 over existing methods, we conducted comprehensive simulation studies to compare for both type-I error control and point estimates in various scenarios. By applying MR-Corr2 to study the relationships between pairs in two sets of complex traits, we did not identify the contradictory causal relationship between HDL-c and CAD. Moreover, the results provide a new perspective of the causal network among complex traits. The developed R package and code to reproduce all the results are available at https://github.com/QingCheng0218/MR.Corr2.


title: Investigation of crackling noise in the vibration isolation systems of the KAGRA gravitational wave detector

abstract: Gravitational wave detectors, such as KAGRA, require complex mirror suspension systems to reach high sensitivity. One particular concern in these suspensions is the presence of crackling noise, where motion of the steel crystal structure disturbs material defects, causing impulse force release and exciting mirror motion. Crackling in the Geometric Anti Spring filters (GAS) in KAGRA's suspension system could introduce noise in the gravitational wave detection band. We investigate crackling noise in a miniature GAS with a low-frequency cyclical stress. We developed a scaling law between miniature and KAGRA GAS. Applying experimental results to the scaling law allows us to estimate the upper limit of crackling noise in KAGRA. It is found that crackling noise should be below the target sensitivity for gravitational waves above 60 Hz.


title: Time-Varying Parameters as Ridge Regressions

abstract: Time-varying parameters (TVPs) models are frequently used in economics to capture structural change. I highlight a rather underutilized fact -- that these are actually ridge regressions. Instantly, this makes computations, tuning, and implementation much easier than in the state-space paradigm. Among other things, solving the equivalent dual ridge problem is computationally very fast even in high dimensions, and the crucial "amount of time variation" is tuned by cross-validation. Evolving volatility is dealt with using a two-step ridge regression. I consider extensions that incorporate sparsity (the algorithm selects which parameters vary and which do not) and reduced-rank restrictions (variation is tied to a factor model). To demonstrate the usefulness of the approach, I use it to study the evolution of monetary policy in Canada using large time-varying local projections. The application requires the estimation of about 4600 TVPs, a task well within the reach of the new method.


title: Multimodal Aggregation Approach for Memory Vision-Voice Indoor Navigation with Meta-Learning

abstract: Vision and voice are two vital keys for agents' interaction and learning. In this paper, we present a novel indoor navigation model called Memory Vision-Voice Indoor Navigation (MVV-IN), which receives voice commands and analyzes multimodal information of visual observation in order to enhance robots' environment understanding. We make use of single RGB images taken by a first-view monocular camera. We also apply a self-attention mechanism to keep the agent focusing on key areas. Memory is important for the agent to avoid repeating certain tasks unnecessarily and in order for it to adapt adequately to new scenes, therefore, we make use of meta-learning. We have experimented with various functional features extracted from visual observation. Comparative experiments prove that our methods outperform state-of-the-art baselines.


title: Survival of the densest accounts for the expansion of mitochondrial mutations in ageing

abstract: The expansion of deleted mitochondrial DNA (mtDNA) molecules has been linked to ageing, particularly in skeletal muscle fibres; its mechanism has remained unclear for three decades. Previous accounts assigned a replicative advantage to the deletions, but there is evidence that cells can, instead, selectively remove defective mtDNA. We present a spatial model that, without a replicative advantage, but instead through a combination of enhanced density for mutants and noise, produces a wave of expanding mutations with wave speed consistent with experimental data, unlike a standard model based on replicative advantage. We provide a formula that predicts that the wave speed drops with copy number, in agreement with experimental data. Crucially, our model yields travelling waves of mutants even if mutants are preferentially eliminated. Justified by this exemplar of how noise, density and spatial structure affect muscle ageing, we introduce the mechanism of stochastic survival of the densest, an alternative to replicative advantage, that may underpin other phenomena, like the evolution of altruism.


title: Domain walls without a potential

abstract: We show that domain walls, or kinks, can be constructed in simple scalar theories where the scalar has no potential. These theories belong to a class of k-essence where the Lagrangian vanishes identically when one lets the derivatives of the scalar vanish. The domain walls we construct have positive energy and stable quadratic perturbations. As particular cases, we find families of theories with domain walls and their quadratic perturbations identical to the ones of the canonical Mexican hat or sine-Gordon scalar theories. We show that canonical and non canonical cases are nevertheless distinguishable via higher order perturbations or a careful examination of the energies. In particular, in contrast to the usual case, our walls are local minima of the energy among the field configuration having some fixed topological charge, but not global minima.


title: A 3-categorical perspective on G-crossed braided categories

abstract: A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to $G$-crossed braided categories, certain mathematical structures which have emerged as important invariants of low-dimensional quantum field theories. More precisely, we show that the 4-category of $3$-categories $\mathcal{C}$ equipped with a 3-functor $\mathrm{B}G \to \mathcal{C}$ which is essentially surjective on objects and $1$-morphisms is equivalent to the $2$-category of $G$-crossed braided categories. This provides a uniform approach to various constructions of $G$-crossed braided categories.


title: How Visualization PhD Students Cope with Paper Rejections

abstract: We conducted a questionnaire study aimed towards PhD students in the field of visualization research to understand how they cope with paper rejections. We collected responses from 24 participants and performed a qualitative analysis of the data in relation to the provided support by collaborators, resubmission strategies, handling multiple rejects, and personal impression of the reviews. The results indicate that the PhD students in the visualization community generally cope well with the negative reviews and, with experience, learn how to act accordingly to improve and resubmit their work. Our results reveal the main coping strategies that can be applied for constructively handling rejected visualization papers. The most prominent strategies include: discussing reviews with collaborators and making a resubmission plan, doing a major revision to improve the work, shortening the work, and seeing rejection as a positive learning experience.


title: Synthetic observations of deuterated molecules in massive prestellar cores

abstract: Young massive stars are usually found embedded in dense massive molecular clumps and are known for being highly obscured and distant. During their formation process, deuteration is regarded as a potentially good indicator of the very early formation stages. In this work, we test the observability of the ground-state transition of ortho-H$_2$D$^+$ $J_{\rm {K_a, K_c}} = 1_{10}$-$1_{11} $ by performing interferometric and single-dish synthetic observations using magneto-hydrodynamic simulations of high-mass collapsing molecular cores, including deuteration chemistry. We studied different evolutionary times and source distances (from 1 to 7 kpc) to estimate the information loss when comparing the column densities inferred from the synthetic observations to the column densities in the model. We mimicked single-dish observations considering an APEX-like beam and interferometric observations using CASA and assuming the most compact configuration for the ALMA antennas. We found that, for centrally concentrated density distributions, the column densities are underestimated by about 51% in the case of high-resolution ALMA observations ($\leqslant$1") and up to 90% for APEX observations (17"). Interferometers retrieve values closer to the real ones, however, their finite spatial sampling results in the loss of contribution from large-scale structures due to the lack of short baselines. We conclude that, the emission of o-H$_2$D$^+$ in distant massive dense cores is faint and would require from $\sim$1 to $\sim$7 hours of observation at distances of 1 and 7 kpc, respectively, to achieve a 14$\sigma$ detection in the best case scenario. Additionally, the column densities derived from such observations will certainly be affected by beam dilution in the case of single-dishes and spatial filtering in the case of interferometers.


title: Efficient 2D Simulation on Moving 3D Surfaces

abstract: We present a method to simulate fluid flow on evolving surfaces, e.g., an oil film on a water surface. Given an animated surface (e.g., extracted from a particle-based fluid simulation) in three-dimensional space, we add a second simulation on this base animation. In general, we solve a partial differential equation (PDE) on a level set surface obtained from the animated input surface. The properties of the input surface are transferred to a sparse volume data structure that is then used for the simulation. We introduce one-way coupling strategies from input properties to our simulation and we add conservation of mass and momentum to existing methods that solve a PDE in a narrow-band using the Closest Point Method. In this way, we efficiently compute high-resolution 2D simulations on coarse input surfaces. Our approach helps visual effects creators easily integrate a workflow to simulate material flow on evolving surfaces into their existing production pipeline.


title: Electronic Raman Scattering in Suspended Semiconducting Carbon Nanotubes

abstract: The electronic Raman scattering (ERS) features of single-walled carbon nanotubes (SWNTs) can reveal a wealth of information about their electronic structures, but have previously been thought to appear exclusively in metallic (M-) but not in semiconducting (S-) SWNTs. We report the experimental observation of the ERS features with an accuracy of 1 meV in suspended S-SWNTs, the processes of which are accomplished via the available high-energy electron-hole pairs. The ERS features can facilitate further systematic studies on the properties of SWNT, both metallic and semiconducting, with defined chirality.


title: Lattice dynamics effects on the magnetocrystalline anisotropy energy: application to MnBi

abstract: Using a first-principles fully relativistic scheme based on ultrasoft pseudopotentials and density functional perturbation theory, we study the magnetocrystalline anisotropy free energy of the ferromagnetic binary compound MnBi. We find that differences in the phonon dispersions due to the different orientations of the magnetization (in-plane and perpendicular to the plane) give a difference between the vibrational free energies of the high-temperature and low-temperature phases. This vibrational contribution to the magnetocrystalline anisotropy energy (MAE) constant, $K_u$, is non-negligible. When the energy contribution to the MAE is calculated by the PBEsol exchange and correlation functional, the addition of the phonon contribution allows to get a $T = 0$ K $K_u$ and a spin-reorientation transition temperature in reasonable agreement with experiments.


title: NLO QCD and EW corrections to vector-boson scattering into ZZ at the LHC

abstract: We present the first calculation of the full next-to-leading-order electroweak and QCD corrections for vector-boson scattering (VBS) into a pair of Z bosons at the LHC. We consider specifically the process ${\rm pp\to e^{+}e^{-}\mu^{+}\mu^{-}jj}+X$ at orders $\mathcal{O}(\alpha^7)$ and $\mathcal{O}(\alpha_s\alpha^6)$ and take all off-shell and interference contributions into account. Owing to the presence of enhanced Sudakov logarithms, the electroweak corrections amount to $-16\%$ of the leading-order electroweak fiducial cross section and induce significant shape distortions of differential distributions. The QCD corrections on the other hand are larger ($+24\%$) than typical QCD corrections in VBS. This originates from considering the full computation including tri-boson contributions in a rather inclusive phase space. We also provide a leading-order analysis of all contributions to the cross section for ${\rm pp \to e^{+}e^{-}\mu^{+}\mu^{-}jj}+X$ in a realistic setup.


title: Integrable boundary conditions for quad equations, open boundary reductions and integrable mappings

abstract: In the context of integrable partial difference equations on quad-graphs, we introduce the notion of open boundary reductions as a new means to construct discrete integrable mappings and their invariants. This represents an alternative to the well-known periodic reductions. The construction deals with well-posed initial value problems for quad equations on quad-graphs restricted to a strip. It relies on the so-called double-row monodromy matrix and gives rise to integrable mappings. To obtain the double-row monodromy matrix, we use the notion of boundary matrix and discrete boundary zero curvature condition, themselves related to the boundary consistency condition, which complements the well-known $3$D consistency condition for integrable quad equations and gives an integrability criterion for boundary equations. This relation is made precise in this paper. Our focus is on quad equations from the Adler-Bobenko-Suris (ABS) classification and their discrete integrable boundary equations. Taking as our prime example a regular $\mathbb{Z}^2$-lattice with two parallel boundaries, we provide an explicit construction of the maps obtained by open boundary reductions, the boundary matrices, as well as the invariants extracted from the double-row monodromy matrix. Examples of integrable maps are considered for the H1 and Q1($\delta =0$) equations and an interesting example of a non-QRT map of the plane is presented. Examples of well-posed quad-graph systems on a strip beyond the $\mathbb{Z}^2$-lattice are also given.


title: A Scheduling Policy for Downlink OFDMA in IEEE 802.11ax with Throughput Constraints

abstract: In order to meet the ever-increasing demand for high throughput in WiFi networks, the IEEE 802.11ax (11ax) standard introduces orthogonal frequency division multiple access (OFDMA). In this letter, we address the station-resource unit scheduling problem in downlink OFDMA of 11ax subject to minimum throughput requirements. To deal with the infeasible instances of the constrained problem, we propose a novel scheduling policy based on weighted max-min fairness, which maximizes the minimum fraction between the achievable and minimum required throughputs. Thus, the proposed policy has a well-defined behavior even when the throughput constraints cannot be fulfilled. Numerical results showcase the merits of our approach over the popular proportional fairness and constrained sum-rate maximization strategies.


title: FLUKA Simulations of Pion Decay Gamma-radiation from Energetic Flare Ions

abstract: Gamma-ray continuum at > 10 MeV photon energy yields information on > 0.2 - 0.3 GeV/nucleon ions at the Sun. We use the general-purpose Monte Carlo code FLUKA (FLUktuierende KAskade) to model the transport of ions injected into thick and thin target sources, the nuclear processes that give rise to pions and other secondaries and the escape of the resulting photons from the atmosphere. We give examples of photon spectra calculated with a range of different assumptions about the primary ion velocity distribution and the source region. We show that FLUKA gives results for pion decay photon emissivity in agreement with previous treatments. Through the directionality of secondary products, as well as Compton scattering and pair production of photons prior to escaping the Sun, the predicted spectrum depends significantly on the viewing angle. Details of the photon spectrum in the 100 MeV range may constrain the angular distribution of primary ions and the depths at which they interact. We display a set of thick-target spectra produced making various assumptions about the incident ion energy and angular distribution and the viewing angle. If ions are very strongly beamed downward, or ion energies do not extend much above 1 GeV/nucleon, the photon spectrum is highly insensitive to details of the ion distribution. Under the simplest assumptions, flares observed near disc centre should not display significant radiation above 1 GeV photon energy. We give an example application to Fermi Large Area Telescope data from the flare of 12 June 2010.


title: Comment on "Adiabatic Expansion of Electron Gas in a Magnetic Nozzle" by Kazunori Takahashi, Christine Charles, Rod Roswell, and Akira Ando, Phys. Rev. Lett. Vol. 120, 045001 (2018)

abstract: Heat capacities at fixed volume and pressure as a function of the degree of ionization are graphically depicted as functions of reciprocal temperature and ionization degree. The polytropic index is calculated as a function of the same variables; as it is not constant a partially ionized plasma can be only approximately polytropic fluid. In parallel, it is launched the idea that Alfv\'en waves can be used to heat the plasma in a propulsion jet with magnetic nozzle.


title: Church's thesis and related axioms in Coq's type theory

abstract: "Church's thesis" ($\mathsf{CT}$) as an axiom in constructive logic states that every total function of type $\mathbb{N} \to \mathbb{N}$ is computable, i.e. definable in a model of computation. $\mathsf{CT}$ is inconsistent in both classical mathematics and in Brouwer's intuitionism since it contradicts Weak K\"onig's Lemma and the fan theorem, respectively. Recently, $\mathsf{CT}$ was proved consistent for (univalent) constructive type theory. Since neither Weak K\"onig's Lemma nor the fan theorem are a consequence of just logical axioms or just choice-like axioms assumed in constructive logic, it seems likely that $\mathsf{CT}$ is inconsistent only with a combination of classical logic and choice axioms. We study consequences of $\mathsf{CT}$ and its relation to several classes of axioms in Coq's type theory, a constructive type theory with a universe of propositions which does neither prove classical logical axioms nor strong choice axioms. We thereby provide a partial answer to the question which axioms may preserve computational intuitions inherent to type theory, and which certainly do not. The paper can also be read as a broad survey of axioms in type theory, with all results mechanised in the Coq proof assistant.


title: Prime Values of Quadratic Polynomials

abstract: This note investigates the prime values of the polynomial $f(t)=qt^2+a$ for any fixed pair of relatively prime integers $ a\geq 1$ and $ q\geq 1$ of opposite parity. For a large number $x\geq1$, an asymptotic result of the form $\sum_{n\leq x^{1/2},\, n \text{ odd}}\Lambda(qn^2+a)\gg qx^{1/2}/2\varphi(q)$ is achieved for $q\ll (\log x)^b$, where $ b\geq 0 $ is a constant.


title: Machine Reasoning Explainability

abstract: As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainable AI (XAI) -- arguably one of the biggest concerns today for the AI community. Work on explainable MR as well as on MR approaches to explainability in other areas of AI has continued ever since. It is especially potent in modern MR branches, such as argumentation, constraint and logic programming, planning. We hereby aim to provide a selective overview of MR explainability techniques and studies in hopes that insights from this long track of research will complement well the current XAI landscape. This document reports our work in-progress on MR explainability.


title: Superconducting gap symmetry of the noncentrosymmetric superconductor W3Al2C

abstract: A detailed zero-field and transverse-field muon spin relaxation/rotation ($\mu$SR) experiemnts have been carried out on the recently discovered non-centrosymmetric superconductor W$_3$Al$_2$C to speculate about its superconducting ground state. Bulk nature of superconductivity below 7.6 K is confirmed through magnetization measurements. No change in the $\mu$SR spectra collected above and below $T_c$ is visible, ruling out the possibility of spontaneous magnetic field below $T_c$. This confirms that time-reversal symmetry is preserved for W$_3$Al$_2$C upon entering in the superconducting ground state. Temperature dependent superfluid density [$\rho_s(T)$], which directly reflects the superconducting gap symmetry is obtained by the analysis of spectra obtained from the transverse-field $\mu$SR experiments. Despite a non-centrosymmetric structure, W$_3$Al$_2$C adopts a fully gaped spin-singlet superconducting ground state with a zero temperature value of gap $\Delta_0$ = 1.158(8) meV with gap-to-$T_c$ ratio 2$\Delta_0/k_BT_c\approx$3.54, classifying this material as a weakly-coupled superconductors.


title: Exploring Scientific Exchange in Agricultural Meteorology with Network Analysis

abstract: Network analysis is becoming increasingly relevant in the historical investigation of scientific communities and their knowledge circulation process, because it offers the opportunity to explore and visualize connections amog scientific actors on a scale qualitatively different from traditional historical methods. Temporal networks are especially suitable for this task, as they allow to investigate the evolution of scientific communities over time. In this paper we will rely on the analytical tools provided by temporal networks to examine the technical comission on agriculture (1913 - 1947) established by the International Meteorological Organization (IMO). By using the membership data available on this commission, we will investigate how this scientific community evolved over the decades, who were its key members, which national groups were represented, and how historical events, such as the two world wars, impacted on the work of this organization. This will give us an insight into the knowledge circulation process of this scientific body, as the IMO was an international organization based on voluntary cooperation and its work was first and foremost the immediate consequence of the interaction amog its members. In our paper we will rely on centrality measures (eigenvector, joint, and conditional centrality) to understand the structure of the comission's network, and we will constantly point out the strengths and weaknesses of temporal networks in the analysis of historical data.


title: Pressure-robust error estimate of optimal order for the Stokes equations on domains with edges

abstract: The velocity solution of the incompressible Stokes equations is not affected by changes of the right hand side data in form of gradient fields. Most mixed methods do not replicate this property in the discrete formulation due to a relaxation of the divergence constraint which means that they are not pressure-robust. A recent reconstruction approach for classical methods recovers this invariance property for the discrete solution, by mapping discretely divergence-free test functions to exactly divergence-free functions in the sense of $\boldsymbol{H}(\operatorname{div})$. Moreover, the Stokes solution has locally singular behavior in three-dimensional domains near concave edges, which degrades the convergence rates on quasi-uniform meshes and makes anisotropic mesh grading reasonable in order to regain optimal convergence characteristics. Finite element error estimates of optimal order on meshes of tensor-product type with appropriate anisotropic grading are shown for the pressure-robust modified Crouzeix--Raviart method using the reconstruction approach. Numerical examples support the theoretical results.


title: Blowing up solutions for supercritical Yamabe problems on manifolds with umbilic boundary

abstract: We build blowing-up solutions for a supercritical perturbation of the Yamabe problem on manifolds with umbilic boundary provided the dimension of the manifold is n>7 and that the Weyl tensor W(x) is not vanishing on the boundary of M.