title: The structure of algebraic Baer $^*$-algebras

abstract: The purpose of this note is to describe when a general complex algebraic $^*$-algebra is pre-$C^*$-normed, and to investigate their structure when the $^*$-algebras are Baer $^*$-rings in addition to algebraicity. As a main result we prove the following theorem for complex algebraic Baer $^*$-algebras: every $^*$-algebra of this kind can be decomposed as a direct sum $M\oplus B$, where $M$ is a finite dimensional Baer $^*$-algebra and $B$ is a commutative algebraic Baer $^*$-algebra. The summand $M$ is $^*$-isomorphic to a finite direct sum of full complex matrix algebras of size at least $2\times2$. The commutative summand $B$ is $^*$-isomorphic to the linear span of the characteristic functions of the clopen sets in a Stonean topological space. As an application we show that a group $G$ is finite exactly when the complex group algebra $\mathbb{C}[G]$ is an algebraic Baer $^*$-algebra.


title: Contrastive Predictive Coding for Anomaly Detection

abstract: Reliable detection of anomalies is crucial when deploying machine learning models in practice, but remains challenging due to the lack of labeled data. To tackle this challenge, contrastive learning approaches are becoming increasingly popular, given the impressive results they have achieved in self-supervised representation learning settings. However, while most existing contrastive anomaly detection and segmentation approaches have been applied to images, none of them can use the contrastive losses directly for both anomaly detection and segmentation. In this paper, we close this gap by making use of the Contrastive Predictive Coding model (arXiv:1807.03748). We show that its patch-wise contrastive loss can directly be interpreted as an anomaly score, and how this allows for the creation of anomaly segmentation masks. The resulting model achieves promising results for both anomaly detection and segmentation on the challenging MVTec-AD dataset.


title: Dynamic mean-field theory for dense spin systems at infinite temperature

abstract: A dynamic mean-field theory for spin ensembles (spinDMFT) at infinite temperatures on arbitrary lattices is established. The approach is introduced for an isotropic Heisenberg model with $S = \tfrac12$ and external field. For large coordination numbers, it is shown that the effect of the environment of each spin is captured by a classical time-dependent random mean-field which is normally distributed. Expectation values are calculated by averaging over these mean-fields, i.e., by a path integral over the normal distributions. A self-consistency condition is derived by linking the moments defining the normal distributions to spin autocorrelations. In this framework, we explicitly show how the rotating wave approximation becomes a valid description for increasing magnetic field. We also demonstrate that the approach can easily be extended. Exemplarily, we employ it to reach a quantitative understanding of a dense ensemble of spins with dipolar interaction which are distributed randomly on a plane including static Gaussian noise as well.


title: Distributed Value of Information in Feedback Control over Multi-hop Networks

abstract: Recent works in the domain of networked control systems have demonstrated that the joint design of medium access control strategies and control strategies for the closed-loop system is beneficial. However, several metrics introduced so far fail in either appropriately representing the network requirements or in capturing how valuable the data is. In this paper we propose a distributed value of information (dVoI) metric for the joint design of control and schedulers for medium access in a multi-loop system and multi-hop network. We start by providing conditions under certainty equivalent controller is optimal. Then we reformulate the joint control and communication problem as a Bellman-like equation. The corresponding dynamic programming problem is solved in a distributed fashion by the proposed VoI-based scheduling policies for the multi-loop multi-hop networked control system, which outperforms the well-known time-triggered periodic sampling policies. Additionally we show that the dVoI-based scheduling policies are independent of each other, both loop-wise and hop-wise. At last, we illustrate the results with a numerical example.


title: MultiVision: Designing Analytical Dashboards with Deep Learning Based Recommendation

abstract: We contribute a deep-learning-based method that assists in designing analytical dashboards for analyzing a data table. Given a data table, data workers usually need to experience a tedious and time-consuming process to select meaningful combinations of data columns for creating charts. This process is further complicated by the need of creating dashboards composed of multiple views that unveil different perspectives of data. Existing automated approaches for recommending multiple-view visualizations mainly build on manually crafted design rules, producing sub-optimal or irrelevant suggestions. To address this gap, we present a deep learning approach for selecting data columns and recommending multiple charts. More importantly, we integrate the deep learning models into a mixed-initiative system. Our model could make recommendations given optional user-input selections of data columns. The model, in turn, learns from provenance data of authoring logs in an offline manner. We compare our deep learning model with existing methods for visualization recommendation and conduct a user study to evaluate the usefulness of the system.


title: Relative entropic uncertainty relation for scalar quantum fields

abstract: Entropic uncertainty is a well-known concept to formulate uncertainty relations for continuous variable quantum systems with finitely many degrees of freedom. Typically, the bounds of such relations scale with the number of oscillator modes, preventing a straight-forward generalization to quantum field theories. In this work, we overcome this difficulty by introducing the notion of a functional relative entropy and show that it has a meaningful field theory limit. We present the first entropic uncertainty relation for a scalar quantum field theory and exemplify its behavior by considering few particle excitations and the thermal state. Also, we show that the relation implies the multidimensional Heisenberg uncertainty relation.


title: Evolution of Elemental Abundances During B-Class Solar Flares: Soft X-ray Spectral Measurements with Chandrayaan-2 XSM

abstract: The Solar X-ray Spectrometer (XSM) payload onboard Chandrayaan-2 provides disk-integrated solar spectra in the 1-15 keV energy range with an energy resolution of 180 eV (at 5.9 keV) and a cadence of 1~second. During the period from September 2019 to May 2020, covering the minimum of Solar Cycle 24, it observed nine B-class flares ranging from B1.3 to B4.5. Using time-resolved spectroscopic analysis during these flares, we examined the evolution of temperature, emission measure, and absolute elemental abundances of four elements -- Mg, Al, Si, and S. These are the first measurements of absolute abundances during such small flares and this study offers a unique insight into the evolution of absolute abundances as the flares evolve. Our results demonstrate that the abundances of these four elements decrease towards their photospheric values during the peak phase of the flares. During the decay phase, the abundances are observed to quickly return to their pre-flare coronal values. The depletion of elemental abundances during the flares is consistent with the standard flare model, suggesting the injection of fresh material into coronal loops as a result of chromospheric evaporation. To explain the quick recovery of the so-called coronal "First Ionization Potential (FIP) bias" we propose two scenarios based on the Ponderomotive force model.


title: Efficient automated U-Net based tree crown delineation using UAV multi-spectral imagery on embedded devices

abstract: Delineation approaches provide significant benefits to various domains, including agriculture, environmental and natural disasters monitoring. Most of the work in the literature utilize traditional segmentation methods that require a large amount of computational and storage resources. Deep learning has transformed computer vision and dramatically improved machine translation, though it requires massive dataset for training and significant resources for inference. More importantly, energy-efficient embedded vision hardware delivering real-time and robust performance is crucial in the aforementioned application. In this work, we propose a U-Net based tree delineation method, which is effectively trained using multi-spectral imagery but can then delineate single-spectrum images. The deep architecture that also performs localization, i.e., a class label corresponds to each pixel, has been successfully used to allow training with a small set of segmented images. The ground truth data were generated using traditional image denoising and segmentation approaches. To be able to execute the proposed DNN efficiently in embedded platforms designed for deep learning approaches, we employ traditional model compression and acceleration methods. Extensive evaluation studies using data collected from UAVs equipped with multi-spectral cameras demonstrate the effectiveness of the proposed methods in terms of delineation accuracy and execution efficiency.


title: A Theoretical Analysis of Granulometry-based Roughness Measures on Cartosat DEMs

abstract: The study of water bodies such as rivers is an important problem in the remote sensing community. A meaningful set of quantitative features reflecting the geophysical properties help us better understand the formation and evolution of rivers. Typically, river sub-basins are analysed using Cartosat Digital Elevation Models (DEMs), obtained at regular time epochs. One of the useful geophysical features of a river sub-basin is that of a roughness measure on DEMs. However, to the best of our knowledge, there is not much literature available on theoretical analysis of roughness measures. In this article, we revisit the roughness measure on DEM data adapted from multiscale granulometries in mathematical morphology, namely multiscale directional granulometric index (MDGI). This measure was classically used to obtain shape-size analysis in greyscale images. In earlier works, MDGIs were introduced to capture the characteristic surficial roughness of a river sub-basin along specific directions. Also, MDGIs can be efficiently computed and are known to be useful features for classification of river sub-basins. In this article, we provide a theoretical analysis of a MDGI. In particular, we characterize non-trivial sufficient conditions on the structure of DEMs under which MDGIs are invariant. These properties are illustrated with some fictitious DEMs. We also provide connections to a discrete derivative of volume of a DEM. Based on these connections, we provide intuition as to why a MDGI is considered a roughness measure. Further, we experimentally illustrate on Lower-Indus, Wardha, and Barmer river sub-basins that the proposed features capture the characteristics of the river sub-basin.


title: Chi-square and normal inference in high-dimensional multi-task regression

abstract: The paper proposes chi-square and normal inference methodologies for the unknown coefficient matrix $B^*$ of size $p\times T$ in a Multi-Task (MT) linear model with $p$ covariates, $T$ tasks and $n$ observations under a row-sparse assumption on $B^*$. The row-sparsity $s$, dimension $p$ and number of tasks $T$ are allowed to grow with $n$. In the high-dimensional regime $p\ggg n$, in order to leverage row-sparsity, the MT Lasso is considered. We build upon the MT Lasso with a de-biasing scheme to correct for the bias induced by the penalty. This scheme requires the introduction of a new data-driven object, coined the interaction matrix, that captures effective correlations between noise vector and residuals on different tasks. This matrix is psd, of size $T\times T$ and can be computed efficiently. The interaction matrix lets us derive asymptotic normal and $\chi^2_T$ results under Gaussian design and $\frac{sT+s\log(p/s)}{n}\to0$ which corresponds to consistency in Frobenius norm. These asymptotic distribution results yield valid confidence intervals for single entries of $B^*$ and valid confidence ellipsoids for single rows of $B^*$, for both known and unknown design covariance $\Sigma$. While previous proposals in grouped-variables regression require row-sparsity $s\lesssim\sqrt n$ up to constants depending on $T$ and logarithmic factors in $n,p$, the de-biasing scheme using the interaction matrix provides confidence intervals and $\chi^2_T$ confidence ellipsoids under the conditions ${\min(T^2,\log^8p)}/{n}\to 0$ and $$ \frac{sT+s\log(p/s)+\|\Sigma^{-1}e_j\|_0\log p}{n}\to0, \quad \frac{\min(s,\|\Sigma^{-1}e_j\|_0)}{\sqrt n} \sqrt{[T+\log(p/s)]\log p}\to 0, $$ allowing row-sparsity $s\ggg\sqrt n$ when $\|\Sigma^{-1}e_j\|_0 \sqrt T\lll \sqrt{n}$ up to logarithmic factors.


title: HOLISMOKES. VI. New galaxy-scale strong lens candidates from the HSC-SSP imaging survey

abstract: We have carried out a systematic search for galaxy-scale strong lenses in multiband imaging from the Hyper Suprime-Cam (HSC) survey. Our automated pipeline, based on realistic strong-lens simulations, deep neural network classification, and visual inspection, is aimed at efficiently selecting systems with wide image separations (Einstein radii ~1.0-3.0"), intermediate redshift lenses (z ~ 0.4-0.7), and bright arcs for galaxy evolution and cosmology. We classified gri images of all 62.5 million galaxies in HSC Wide with i-band Kron radius >0.8" to avoid strict pre-selections and to prepare for the upcoming era of deep, wide-scale imaging surveys with Euclid and Rubin Observatory. We obtained 206 newly-discovered candidates classified as definite or probable lenses with either spatially-resolved multiple images or extended, distorted arcs. In addition, we found 88 high-quality candidates that were assigned lower confidence in previous HSC searches, and we recovered 173 known systems in the literature. These results demonstrate that, aided by limited human input, deep learning pipelines with false positive rates as low as ~0.01% can be very powerful tools for identifying the rare strong lenses from large catalogs, and can also largely extend the samples found by traditional algorithms. We provide a ranked list of candidates for future spectroscopic confirmation.


title: Yukawa Textures From Singular Spectral Data

abstract: The Yukawa textures of effective heterotic models are studied by using singular spectral data. One advantage of this approach is that it is possible to dissect the cohomologies of the bundles into smaller parts and identify the pieces that contain the zero modes, which can potentially have non-zero Yukawa couplings. Another advantage is the manifest relationship between the Yukawa textures in heterotic models and local F-theory models in terms of fields living in bulk or localized inside the 7-branes. We only work with Weierstrass elliptically fibered Calabi-Yau manifolds here. The idea for generalizing this approach to every elliptically fibered Calabi-Yau with rational sections is given at the end of this paper.


title: Modeling User Behaviour in Research Paper Recommendation System

abstract: User intention which often changes dynamically is considered to be an important factor for modeling users in the design of recommendation systems. Recent studies are starting to focus on predicting user intention (what users want) beyond user preference (what users like). In this work, a user intention model is proposed based on deep sequential topic analysis. The model predicts a user's intention in terms of the topic of interest. The Hybrid Topic Model (HTM) comprising Latent Dirichlet Allocation (LDA) and Word2Vec is proposed to derive the topic of interest of users and the history of preferences. HTM finds the true topics of papers estimating word-topic distribution which includes syntactic and semantic correlations among words. Next, to model user intention, a Long Short Term Memory (LSTM) based sequential deep learning model is proposed. This model takes into account temporal context, namely the time difference between clicks of two consecutive papers seen by a user. Extensive experiments with the real-world research paper dataset indicate that the proposed approach significantly outperforms the state-of-the-art methods. Further, the proposed approach introduces a new road map to model a user activity suitable for the design of a research paper recommendation system.


title: Physics-augmented models to simulate commercial adaptive cruise control (ACC) systems

abstract: This paper investigates the accuracy and robustness of car-following (CF) and adaptive cruise control (ACC) models used to simulate measured driving behaviour of commercial ACCs. To this aim, a general modelling framework is proposed, in which ACC and CF models have been incrementally augmented with physics extensions; namely, perception delay, linear or nonlinear vehicle dynamics, and acceleration constraints. The framework has been applied to the Intelligent Driver Model (IDM), the Gipps model, and to three basic ACCs. These are a linear controller coupled with a constant time-headway spacing policy and with two other policies derived from the traffic flow theory, which are the IDM desired-distance function and the Gipps equilibrium distance-speed function. The ninety models resulting from the combination of the five base models and the aforementioned physics extensions, have been assessed and compared through a vast calibration and validation experiment against measured trajectory data of low-level automated vehicles. When a single extension has been applied, perception delay and linear dynamics have been the extensions to mostly increase modelling accuracy, whatsoever the base model considered. Concerning models, Gipps-based ones have outperformed all other CF and ACC models in calibration. Even among ACCs, the linear controllers coupled with a Gipps spacing policy have been the best performing. On the other hand, IDM-based models have been by far the most robust in validation, showing almost no crash when calibrated parameters have been used to simulate different trajectories. Overall, the paper shows the importance of cross-fertilization between traffic flow and vehicle studies.


title: Boolean functions on $S_n$ which are nearly linear

abstract: We show that if $f\colon S_n \to \{0,1\}$ is $\epsilon$-close to linear in $L_2$ and $\mathbb{E}[f] \leq 1/2$ then $f$ is $O(\epsilon)$-close to a union of "mostly disjoint" cosets, and moreover this is sharp: any such union is close to linear. This constitutes a sharp Friedgut-Kalai-Naor theorem for the symmetric group. Using similar techniques, we show that if $f\colon S_n \to \mathbb{R}$ is linear, $\Pr[f \notin \{0,1\}] \leq \epsilon$, and $\Pr[f = 1] \leq 1/2$, then $f$ is $O(\epsilon)$-close to a union of mostly disjoint cosets, and this is also sharp; and that if $f\colon S_n \to \mathbb{R}$ is linear and $\epsilon$-close to $\{0,1\}$ in $L_\infty$ then $f$ is $O(\epsilon)$-close in $L_\infty$ to a union of disjoint cosets.


title: On the Complexity of Optimising Variants of Phylogenetic Diversity on Phylogenetic Networks

abstract: Phylogenetic Diversity (PD) is a prominent quantitative measure of the biodiversity of a collection of present-day species (taxa). This measure is based on the evolutionary distance among the species in the collection. Loosely speaking, if $\mathcal{T}$ is a rooted phylogenetic tree whose leaf set $X$ represents a set of species and whose edges have real-valued lengths (weights), then the PD score of a subset $S$ of $X$ is the sum of the weights of the edges of the minimal subtree of $\mathcal{T}$ connecting the species in $S$. In this paper, we define several natural variants of the PD score for a subset of taxa which are related by a known rooted phylogenetic network. Under these variants, we explore, for a positive integer $k$, the computational complexity of determining the maximum PD score over all subsets of taxa of size $k$ when the input is restricted to different classes of rooted phylogenetic networks


title: On the discrete-time simulation of the rough Heston model

abstract: We study Euler-type discrete-time schemes for the rough Heston model, which can be described by a stochastic Volterra equation (with non-Lipschtiz coefficient functions), or by an equivalent integrated variance formulation. Using weak convergence techniques, we prove that the limits of the discrete-time schemes are solution to some modified Volterra equations. Such modified equations are then proved to share the same unique solution as the initial equations, which implies the convergence of the discrete-time schemes. Numerical examples are also provided in order to evaluate different derivative options prices under the rough Heston model.


title: Aggregating estimates by convex optimization

abstract: We discuss the approach to estimate aggregation and adaptive estimation based upon (nearly optimal) testing of convex hypotheses. We show that in the situation where the observations stem from {\em simple observation schemes} and where set of unknown signals is a finite union of convex and compact sets, the proposed approach leads to aggregation and adaptation routines with nearly optimal performance. As an illustration, we consider application of the proposed estimates to the problem of recovery of unknown signal known to belong to a union of ellitopes in Gaussian observation scheme. The proposed approach can be implemented efficiently when the number of sets in the union is "not very large." We conclude the paper with a small simulation study illustrating practical performance of the proposed procedures in the problem of signal estimation in the single-index model.


title: Progressive Deep Video Dehazing without Explicit Alignment Estimation

abstract: To solve the issue of video dehazing, there are two main tasks to attain: how to align adjacent frames to the reference frame; how to restore the reference frame. Some papers adopt explicit approaches (e.g., the Markov random field, optical flow, deformable convolution, 3D convolution) to align neighboring frames with the reference frame in feature space or image space, they then use various restoration methods to achieve the final dehazing results. In this paper, we propose a progressive alignment and restoration method for video dehazing. The alignment process aligns consecutive neighboring frames stage by stage without using the optical flow estimation. The restoration process is not only implemented under the alignment process but also uses a refinement network to improve the dehazing performance of the whole network. The proposed networks include four fusion networks and one refinement network. To decrease the parameters of networks, three fusion networks in the first fusion stage share the same parameters. Extensive experiments demonstrate that the proposed video dehazing method achieves outstanding performance against the-state-of-art methods.


title: Stability, uniqueness and existence of solutions to McKean-Vlasov SDEs: a multidimensional Yamada-Watanabe approach

abstract: We establish stability and pathwise uniqueness of solutions to Wiener noise driven McKean-Vlasov equations with random non-Lipschitz continuous coefficients. In the deterministic case, we also obtain the existence of unique strong solutions. By using our approach, which is based on an extension of the Yamada-Watanabe ansatz to the multidimensional setting and which does not rely on the construction of Lyapunov functions, we prove first moment and pathwise exponential stability. Furthermore, Lyapunov exponents are computed explicitly.


title: Hairy Black Holes from Horndeski Theory

abstract: We present an exact static black hole solution of Einstein field equations in the framework of Horndeski Theory by imposing spherical symmetry and choosing the coupling constants in the Lagrangian so that the only singularity in the solution is at $r=0$. The analytical extension is built in two particular domains of the parametric space. In the first domain we obtain a solution exhibiting an event horizon analogous to that of the Schwarzschild geometry. For the second domain, we show that the metric displays an exterior event horizon and a Cauchy horizon which encloses a singularity. For both branches we obtain the corresponding Hawking temperature which, when compared to that of the Schwarzschild black hole, acquires a correction proportional to a combination of the coupling constants. Such a correction also modifies the definition of the entropy of the black hole.


title: Decoupling of non-strange, strange and multi-strange particles from the system in Cu-Cu, Au-Au and Pb-Pb collisions at high energies

abstract: Transverse momentum spectra of the non-strange, strange and multi-strange particles in central and peripheral Copper-Copper, Gold-Gold and Lead-Lead collisions are analyzed by the blast wave model with Boltzmann Gibbs statistics. The model results are approximately in agreement with the experimental data measured by BRAHMS, STAR, SPS, NA 49 and WA 97 Collaborations in special transverse momentum ranges. Bulk properties in terms of kinetic freeze out temperature, transverse flow velocity and freezeout volume are extracted from the transverse momentum spectra of the particles. Separate freeze out temperatures are observed for the non-strange, strange and multi-strange particles which maybe due to different reaction cross-sections of the interacting particles and it reveals the triple kinetic freezeout scenario in collisions at BRAHMS, STAR, SPS, NA 49 and WA 97 Collaborations, however the transverse flow velocity and freezeout volume are mass dependent and they decrease with the increasing the rest mass of the particles. Furthermore, the kinetic freezeout temperature, transverse flow velocity and kinetic freezeout volume in central nucleus-nucleus collisions are larger than those in peripheral collisions. Besides, the larger kinetic freezeout temperature and freezeout volume are observed in the most heaviest nuclei collisions, indicating their dependence on the size of interacting system


title: On Two-Pass Streaming Algorithms for Maximum Bipartite Matching

abstract: We study two-pass streaming algorithms for Maximum Bipartite Matching (MBM). All known two-pass streaming algorithms for MBM operate in a similar fashion: They compute a maximal matching in the first pass and find 3-augmenting paths in the second in order to augment the matching found in the first pass. Our aim is to explore the limitations of this approach and to determine whether current techniques can be used to further improve the state-of-the-art algorithms. We give the following results: We show that every two-pass streaming algorithm that solely computes a maximal matching in the first pass and outputs a $(2/3+\epsilon)$-approximation requires $n^{1+\Omega(\frac{1}{\log \log n})}$ space, for every $\epsilon > 0$, where $n$ is the number of vertices of the input graph. This result is obtained by extending the Ruzsa-Szemer\'{e}di graph construction of [GKK, SODA'12] so as to ensure that the resulting graph has a close to perfect matching, the key property needed in our construction. This result may be of independent interest. Furthermore, we combine the two main techniques, i.e., subsampling followed by the Greedy matching algorithm [Konrad, MFCS'18] which gives a $2-\sqrt{2} \approx 0.5857$-approximation, and the computation of \emph{degree-bounded semi-matchings} [EHM, ICDMW'16][KT, APPROX'17] which gives a $\frac{1}{2} + \frac{1}{12} \approx 0.5833$-approximation, and obtain a meta-algorithm that yields Konrad's and Esfandiari et al.'s algorithms as special cases. This unifies two strands of research. By optimizing parameters, we discover that Konrad's algorithm is optimal for the implied class of algorithms and, perhaps surprisingly, that there is a second optimal algorithm. We show that the analysis of our meta-algorithm is best possible. Our results imply that further improvements, if possible, require new techniques.


title: A Survey of Knowledge Graph Embedding and Their Applications

abstract: Knowledge Graph embedding provides a versatile technique for representing knowledge. These techniques can be used in a variety of applications such as completion of knowledge graph to predict missing information, recommender systems, question answering, query expansion, etc. The information embedded in Knowledge graph though being structured is challenging to consume in a real-world application. Knowledge graph embedding enables the real-world application to consume information to improve performance. Knowledge graph embedding is an active research area. Most of the embedding methods focus on structure-based information. Recent research has extended the boundary to include text-based information and image-based information in entity embedding. Efforts have been made to enhance the representation with context information. This paper introduces growth in the field of KG embedding from simple translation-based models to enrichment-based models. This paper includes the utility of the Knowledge graph in real-world applications.


title: Deep Learning Based Hybrid Precoding in Dual-Band Communication Systems

abstract: We propose a deep learning-based method that uses spatial and temporal information extracted from the sub-6GHz band to predict/track beams in the millimeter-wave (mmWave) band. In more detail, we consider a dual-band communication system operating in both the sub-6GHz and mmWave bands. The objective is to maximize the achievable mutual information in the mmWave band with a hybrid analog/digital architecture where analog precoders (RF precoders) are taken from a finite codebook. Finding a RF precoder using conventional search methods incurs large signalling overhead, and the signalling scales with the number of RF chains and the resolution of the phase shifters. To overcome the issue of large signalling overhead in the mmWave band, the proposed method exploits the spatiotemporal correlation between sub-6GHz and mmWave bands, and it predicts/tracks the RF precoders in the mmWave band from sub-6GHz channel measurements. The proposed method provides a smaller candidate set so that performing a search over that set significantly reduces the signalling overhead compared with conventional search heuristics. Simulations show that the proposed method can provide reasonable achievable rates while significantly reducing the signalling overhead.


title: Versatile modular neural locomotion control with fast learning

abstract: Legged robots have significant potential to operate in highly unstructured environments. The design of locomotion control is, however, still challenging. Currently, controllers must be either manually designed for specific robots and tasks, or automatically designed via machine learning methods that require long training times and yield large opaque controllers. Drawing inspiration from animal locomotion, we propose a simple yet versatile modular neural control structure with fast learning. The key advantages of our approach are that behavior-specific control modules can be added incrementally to obtain increasingly complex emergent locomotion behaviors, and that neural connections interfacing with existing modules can be quickly and automatically learned. In a series of experiments, we show how eight modules can be quickly learned and added to a base control module to obtain emergent adaptive behaviors allowing a hexapod robot to navigate in complex environments. We also show that modules can be added and removed during operation without affecting the functionality of the remaining controller. Finally, the control approach was successfully demonstrated on a physical hexapod robot. Taken together, our study reveals a significant step towards fast automatic design of versatile neural locomotion control for complex robotic systems.


title: Foams, iterated wreath products, field extensions and Sylvester sums

abstract: Certain foams and relations on them are introduced to interpret functors and natural transformations in categories of representations of iterated wreath products of cyclic groups of order two. We also explain how patched surfaces with defect circles and foams relate to separable field extensions and Galois theory and explore a relation between overlapping foams and Sylvester double sums. In the appendix, joint with Lev Rozansky, we compare traces in two-dimensional TQFTs coming from matrix factorizations with those in field extensions.


title: Deep Learning Beam Optimization in Millimeter-Wave Communication Systems

abstract: We propose a method that combines fixed point algorithms with a neural network to optimize jointly discrete and continuous variables in millimeter-wave communication systems, so that the users' rates are allocated fairly in a well-defined sense. In more detail, the discrete variables include user-access point assignments and the beam configurations, while the continuous variables refer to the power allocation. The beam configuration is predicted from user-related information using a neural network. Given the predicted beam configuration, a fixed point algorithm allocates power and assigns users to access points so that the users achieve the maximum fraction of their interference-free rates. The proposed method predicts the beam configuration in a "one-shot" manner, which significantly reduces the complexity of the beam search procedure. Moreover, even if the predicted beam configurations are not optimal, the fixed point algorithm still provides the optimal power allocation and user-access point assignments for the given beam configuration.


title: On the Shroer-Sauer-Ott-Yorke predictability conjecture for time-delay embeddings

abstract: Shroer, Sauer, Ott and Yorke conjectured in 1998 that the Takens delay embedding theorem can be improved in a probabilistic context. More precisely, their conjecture states that if $\mu$ is a natural measure for a smooth diffeomorphism of a Riemannian manifold and $k$ is greater than the information dimension of $\mu$, then $k$ time-delayed measurements of a one-dimensional observable $h$ are generically sufficient for a predictable reconstruction of $\mu$-almost every initial point of the original system. This reduces by half the number of required measurements, compared to the standard (deterministic) setup. We prove the conjecture for ergodic measures and show that it holds for a generic smooth diffeomorphism, if the information dimension is replaced by the Hausdorff one. To this aim, we prove a general version of predictable embedding theorem for injective Lipschitz maps on compact sets and arbitrary Borel probability measures. We also construct an example of a $C^\infty$-smooth diffeomorphism with a natural measure, for which the conjecture does not hold in its original formulation.


title: A growth diagram for chemical beam epitaxy of GaP$_{1-x}$N$_{x}$ alloys on nominally $(001)$-oriented GaP-on-Si substrates

abstract: The dilute-nitride ternary compound GaP$_{1-x}$N$_{x}$ is highly attractive to monolithically integrate pseudomorphic red light-emitting devices and photovoltaic cells with the standard Si technology because it is lattice matched to Si with a direct band gap of $\approx1.96$ eV for $x=0.021$. Here, we report on the chemical beam epitaxy of GaP$_{x}$N$_{1-x}$ alloys on nominally $(001)$-oriented GaP-on-Si substrates. The incorporation of N into GaP$_{1-x}$N$_{x}$ was systematically investigated as a function of the growth temperature and the fluxes of the N and P precursors, 1,1-dimethylhydrazine (DMHy) and tertiarybutylphosphine (TBP), respectively. We found that the N mole fraction exhibits an Arrhenius behavior characterized by an apparent activation energy of $(0.79\pm 0.05)$ eV. With respect to the fluxes, we determined that the N mole fraction is linearly proportional to the flux of DMHy, and inversely proportional to the one of TBP. All results are summarized in an universal equation that describes the dependence of \textit{x} on the growth temperature and the fluxes of the group-V precursors. The results are further illustrated in a growth diagram that visualizes the variation of the chemical composition as the growth temperature and the flux of DMHy are varied. This diagram also shows how to obtain single-phase and flat GaP$_{1-x}$N$_{x}$ layers, as certain growth conditions result in chemically phase-separated GaP$_{1-x}$N$_{x}$ layers with rough surface morphologies. Last, our results demonstrate the feasibility of chemical beam epitaxy for the synthesis of single-phase and flat GaP$_{x}$N$_{1-x}$ layers with N mole fractions up to about $x=0.04$, a value well above the one required for the lattice-matched integration of GaP$_{1-x}$N$_{x}$-based devices on Si.


title: Experimental and numerical characterization of single-phase pressure drop and heat transfer enhancement in helical corrugated tubes

abstract: The internal flow in corrugated tubes of different helical pitch, covering from the laminar to turbulent regime, was studied in order to characterize the three-dimensional flow and the influence of corrugation geometry on pressure drop and convective heat transfer. With water as working fluid and an imposed wall heat flux, ranging from around 4 to 33 kW/m2, a numerical model was developed with a CFD commercial software, where k-omega SST was used to model turbulence. Experimental tests were performed covering Reynolds numbers in the range from around 300 up to 5000, which allowed to identify the transition region and validate the numerical model. The results show that due to the swirl induced by the corrugation, the critical Reynolds number for the start of transition to turbulent flow is reduced. The thermal performance factor, which quantifies the heat transfer enhancement at the expense of pressure drop, was used to compare the corrugated tubes against the reference case of smooth tube. Based on this, all investigated corrugated geometries performed better than the smooth tube, except for low Reynolds numbers (Re<500) in the laminar regime. Overall, the corrugated tube with the lowest pitch showed a clearly better performance for the intermediate range of Reynolds numbers (1000<Re<2300), being an optimal choice for a wider range of operating conditions in the transitional and turbulent flow regimes.


title: Investigating point sources in MWC 758 with SPHERE

abstract: Context. Spiral arms in protoplanetary disks could be shown to be the manifestation of density waves launched by protoplanets and propagating in the gaseous component of the disk. At least two point sources have been identified in the L band in the MWC 758 system as planetary mass object candidates. Aims. We used VLT/SPHERE to search for counterparts of these candidates in the H and K bands, and to characterize the morphology of the spiral arms . Methods. The data were processed with now-standard techniques in high-contrast imaging to determine the limits of detection, and to compare them to the luminosity derived from L band observations. Results. In considering the evolutionary, atmospheric, and opacity models we were not able to confirm the two former detections of point sources performed in the L band. In addition, the analysis of the spiral arms from a dynamical point of view does not support the hypothesis that these candidates comprise the origin of the spirals. Conclusions. Deeper observations and longer timescales will be required to identify the actual source of the spiral arms in MWC 758.


title: Park4U Mate: Context-Aware Digital Assistant for Personalized Autonomous Parking

abstract: People park their vehicle depending on interior and exterior contexts. They do it naturally, even unconsciously. For instance, with a baby seat on the rear, the driver might leave more space on one side to be able to get the baby out easily; or when grocery shopping, s/he may position the vehicle to remain the trunk accessible. Autonomous vehicles are becoming technically effective at driving from A to B and parking in a proper spot, with a default way. However, in order to satisfy users' expectations and to become trustworthy, they will also need to park or make a temporary stop, appropriate to the given situation. In addition, users want to understand better the capabilities of their driving assistance features, such as automated parking systems. A voice-based interface can help with this and even ease the adoption of these features. Therefore, we developed a voice-based in-car assistant (Park4U Mate), that is aware of interior and exterior contexts (thanks to a variety of sensors), and that is able to park autonomously in a smart way (with a constraints minimization strategy). The solution was demonstrated to thirty-five users in test-drives and their feedback was collected on the system's decision-making capability as well as on the human-machine-interaction. The results show that: (1) the proposed optimization algorithm is efficient at deciding the best parking strategy; hence, autonomous vehicles can adopt it; (2) a voice-based digital assistant for autonomous parking is perceived as a clear and effective interaction method. However, the interaction speed remained the most important criterion for users. In addition, they clearly wish not to be limited on only voice-interaction, to use the automated parking function and rather appreciate a multi-modal interaction.


title: A primer on the differential geometry of quaternionic curves

abstract: This paper describes the foundations of a differential geometry of a quaternionic curves. The Frenet-Serret equations and the evolutes and evolvents of a particular quaternionic curve are accordingly determined. This new formulation takes benefit of the quaternionic structure and the results are much simpler than the present formulations of quaternionic curves.


title: A Causal Perspective on Meaningful and Robust Algorithmic Recourse

abstract: Algorithmic recourse explanations inform stakeholders on how to act to revert unfavorable predictions. However, in general ML models do not predict well in interventional distributions. Thus, an action that changes the prediction in the desired way may not lead to an improvement of the underlying target. Such recourse is neither meaningful nor robust to model refits. Extending the work of Karimi et al. (2021), we propose meaningful algorithmic recourse (MAR) that only recommends actions that improve both prediction and target. We justify this selection constraint by highlighting the differences between model audit and meaningful, actionable recourse explanations. Additionally, we introduce a relaxation of MAR called effective algorithmic recourse (EAR), which, under certain assumptions, yields meaningful recourse by only allowing interventions on causes of the target.


title: Kolmogorov-Veloso Problems and Dialectica Categories

abstract: We investigate the categorical connection between Dialectica constructions, Kolmogorov problems, Veloso problems and Blass problems. We show that the work of Kolmogorov can be regarded as a bridge between Veloso's abstract notion of a problem and the conceptual problems Blass discussed in his questions-and-answers framework. This bridge can be seen by means of the categorical Dialectica constructions introduced in de Paiva's dissertation and reformulated by da Silva to account for set-theoretical foundational assumptions. The use of categorical concepts allows us to provide several examples, connecting extremely different areas of mathematics, and using simple methods. This paper also shows that while Blass and Kolmogorov notions of problem can be investigated using the Zermelo-Fraenkel (ZF) set-theoretical framework, Veloso problems require the Axiom of Choice (AC). Moreover, weaker notions of choice (dependent choice and countable choice) can also be accounted for in the problems' framework.


title: Proposal for a micromagnetic standard problem: domain wall pinning at phase boundaries

abstract: We propose a novel micromagnetic standard problem calculating the coercive field for unpinning a domain wall at the interface of a multiphase magnet. This problem is sensitive to discontinuities in material parameters for the exchange interaction, the uniaxial anisotropy, and the spontaneous magnetization. We derive an explicit treatment of jump conditions at material interfaces for the exchange interaction in the finite-difference discretization. The micromagnetic simulation results are compared with analytical solutions and show good agreement. The proposed standard problem is well-suited to test the implementation of both finite-difference and finite-element simulation codes.


title: Simulating the negative jet feedback mechanism in common envelope jets supernovae

abstract: We use the stellar evolution code MESA to study the negative jet feedback mechanism in common envelope jets supernovae (CEJSNe) where a neutron star (NS) launches jets in the envelope of a red supergiant (RSG), and find that the feedback reduces the mass accretion rate to be $\chi_{\rm j} \simeq 0.04-0.3$ times the mass accretion rate without the operation of jets. We mimic the effect of the jets on the RSG envelope by depositing the energy that the jets carry into the envelope zones outside the NS orbit. The energy deposition inflates the envelope, therefore reducing the density in the NS vicinity, which in turn reduces the mass accretion rate in a negative feedback cycle. In calculating the above values for the negative jet feedback coefficient (the further reduction in the accretion rate) $\chi_{\rm j}$, we adopt the canonical ratio of jets power to actual accretion power of $0.1$, and the results of numerical simulations that show the actual mass accretion rate to be a fraction of $0.1-0.5$ of the Bondi-Hoyle-Lyttleton mass accretion rate.


title: The development of a testbed for the X-ray Interferometer mission

abstract: An X-ray Interferometer (XRI) has recently been proposed as a theme for ESA's Voyage 2050 planning cycle, with the eventual goal to observe the X-ray sky with an unprecedented angular resolution better than 1 micro arcsec (5 prad) [1]. A scientifically very interesting mission is possible on the basis of a single spacecraft [2], owing to the compact 'telephoto' design proposed earlier by Willingale [3]. Between the practical demonstration of X-ray interferometry at 1 keV by Cash et al. [4] with a 1 mm baseline and 0.1 arcsec effective resolution to a mission flying an interferometer with a baseline of one or more meters, an effective collecting area of square meters and micro arcsec resolution lie many milestones. The first important steps to scale up from a laboratory experiment to a viable mission concept will have to be taken on a scalable and flexible testbed set-up. Such a testbed cannot singularly focus on the optical aspects, but should simultaneously address the thermal and mechanical stability of the interferometer. A particular challenge is the coherent X-ray source, which should provide a wavefront at the entrance of the interferometer that is transversely coherent over a distance at least equal to the baseline, and bright enough. In this paper, we will explore the build-up of a testbed in several stages, with increasing requirements on optical quality and associated thermo-mechanical control and source sophistication, with the intent to guide the technological development of X-ray interferometry from the lab to space in a sequence of achievable milestones.


title: Design of a system for controlling a levitating sphere in superfluid $^3$He at extremely low temperatures

abstract: We present a new mechanical probe to study the properties of superfluid $^3$He at microkelvin temperatures down to 100$\mu$K. The setup consists of a set of coils for levitating a superconducting sphere and controlling its motion in a wide variety of regimes. In particular, the realisation of motion of a levitating body at a uniform velocity presents both an experimental challenge and a promising direction into the study of the edge states in topological superfluid $^3$He-B. We include the theoretical study of the device stability and simulations to illustrate the capabilities of the control system.


title: Measuring and Explaining the Inter-Cluster Reliability of Multidimensional Projections

abstract: We propose Steadiness and Cohesiveness, two novel metrics to measure the inter-cluster reliability of multidimensional projection (MDP), specifically how well the inter-cluster structures are preserved between the original high-dimensional space and the low-dimensional projection space. Measuring inter-cluster reliability is crucial as it directly affects how well inter-cluster tasks (e.g., identifying cluster relationships in the original space from a projected view) can be conducted; however, despite the importance of inter-cluster tasks, we found that previous metrics, such as Trustworthiness and Continuity, fail to measure inter-cluster reliability. Our metrics consider two aspects of the inter-cluster reliability: Steadiness measures the extent to which clusters in the projected space form clusters in the original space, and Cohesiveness measures the opposite. They extract random clusters with arbitrary shapes and positions in one space and evaluate how much the clusters are stretched or dispersed in the other space. Furthermore, our metrics can quantify pointwise distortions, allowing for the visualization of inter-cluster reliability in a projection, which we call a reliability map. Through quantitative experiments, we verify that our metrics precisely capture the distortions that harm inter-cluster reliability while previous metrics have difficulty capturing the distortions. A case study also demonstrates that our metrics and the reliability map 1) support users in selecting the proper projection techniques or hyperparameters and 2) prevent misinterpretation while performing inter-cluster tasks, thus allow an adequate identification of inter-cluster structure.


title: Photon-Emission Statistics induced by Electron Tunnelling in Plasmonic Nanojunctions

abstract: We investigate the statistics of photons emitted by tunneling electrons in a single electronic level plasmonic nanojunction. We compute the waiting-time distribution of successive emitted photons $w(\tau)$. When the cavity damping rate $\kappa$ is larger than the electronic tunneling rate $\Gamma$, we show that in the photon-antibunching regime, $w(\tau)$ indicates that the average delay-time between two successive photon emission events is given by $1/\Gamma$. This is in contrast with the usually considered second-order correlation function of emitted photons, $g^{(2)}(\tau)$, which displays the single time scale $1/\kappa$. Our analysis shows a relevant example for which $w(\tau)$ gives independent information on the photon-emission statistics with respect to $g^{(2)}(\tau)$, leading to a physical insight on the problem. We discuss how this information can be extracted from experiments even in presence of a non-perfect photon detection yield.


title: Pointwise Ergodic Theorems for Higher Levels of Mixing

abstract: We prove strengthenings of the Birkhoff Ergodic Theorem for weakly mixing and strongly mixing measure preserving systems. We show that our pointwise theorem for weakly mixing systems is strictly stronger than the Wiener-Wintner Theorem. We also show that our pointwise Theorems for weakly mixing and strongly mixing systems characterize weakly mixing systems and strongly mixing systems respectively. The methods of this paper also allow one to prove an enhanced pointwise ergodic theorem for other levels of the ergodic hierarchy such as ergodicity and mild mixing but not K-mixing. The author plans to include these additional pointwise ergodic theorems in his thesis.


title: A Graph-based Molecular Communications Model Analysis of the Human Gut Bacteriome

abstract: Alterations in the human gut bacteriome can be associated with human health issues, such as type-2 diabetes and cardiovascular disease. Both external and internal factors can drive changes in the composition and in the interactions of the human gut bacteriome, impacting negatively on the host cells. In this paper, we focus on the human gut bacteriome metabolism and we propose a two-layer network system to investigate its dynamics. Furthermore, we develop an in-silico simulation model (virtual GB), allowing us to study the impact of the metabolite exchange through molecular communications in the human gut bacteriome network system. Our results show that the regulation of molecular inputs can strongly affect bacterial population growth and create an unbalanced network, as shown by the shift in the node weights based on the molecular signals that are produced. Additionally, we show that the metabolite molecular communication production is greatly affected when directly manipulating the composition of the human gut bacteriome network in the virtual GB. These results indicate that our human GB interaction model can help to identify hidden behaviors of the human gut bacteriome depending on the molecular signal interactions. Moreover, the virtual GB can support the research and development of novel medical treatments based on the accurate control of bacterial growth and exchange of metabolites.


title: Simultaneous boundary shape estimation and velocity field de-noising in Magnetic Resonance Velocimetry using Physics-informed Neural Networks

abstract: Magnetic resonance velocimetry (MRV) is a non-invasive experimental technique widely used in medicine and engineering to measure the velocity field of a fluid. These measurements are dense but have a low signal-to-noise ratio (SNR). The measurements can be de-noised by imposing physical constraints on the flow, which are encapsulated in governing equations for mass and momentum. Previous studies have required the shape of the boundary (for example, a blood vessel) to be known a priori. This, however, requires a set of additional measurements, which can be expensive to obtain. In this paper, we present a physics-informed neural network that instead uses the noisy MRV data alone to simultaneously infer the most likely boundary shape and de-noised velocity field. We achieve this by training an auxiliary neural network that takes the value 1.0 within the inferred domain of the governing PDE and 0.0 outside. This network is used to weight the PDE residual term in the loss function accordingly and implicitly learns the geometry of the system. We test our algorithm by assimilating both synthetic and real MRV measurements for flows that can be well modeled by the Poisson and Stokes equations. We find that we are able to reconstruct very noisy (SNR = 2.5) MRV signals and recover the ground truth with low reconstruction errors of 3.7 - 7.5%. The simplicity and flexibility of our physics-informed neural network approach can readily scale to assimilating MRV data with complex 3D geometries, time-varying 4D data, or unknown parameters in the physical model.


title: Ride Acceptance Behaviour of Ride-sourcing Drivers

abstract: The performance of ride-sourcing services such as Uber and Lyft is determined by the collective choices of individual drivers who are not only chauffeurs but private fleet providers. In such a context, ride-sourcing drivers are free to decide whether to accept or decline ride requests assigned by the ride-hailing platform. Drivers' ride acceptance behaviour can significantly influence system performance in terms of riders' waiting time (associated with the level of service), drivers' occupation rate and idle time (related to drivers' income), and platform revenue and reputation. Hence, it is of great importance to identify the underlying determinants of the ride acceptance behaviour of drivers. To this end, we collected a unique dataset from ride-sourcing drivers working in the United States and the Netherlands through a cross-sectional stated preference experiment designed based upon disparate information conveyed to the respondents. Using a choice modelling approach, we estimated the effects of various existing and hypothetical attributes influencing the ride acceptance choice. Employment status, experience level with the platform, and working shift are found to be the key individual-specific determinants. Part-time and beginning drivers who work on midweek days (Monday-Thursday) have a higher tendency to accept ride offers. Results also reveal that pickup time, which is the travel time between the driver's location and the rider's waiting spot, has a negative impact on ride acceptance. Moreover, the findings suggest that a guaranteed tip (i.e., the minimum amount of tip that is indicated upfront by the prospective rider, a feature that is currently not available) and an additional income due to surge pricing are valued noticeably higher than trip fare. The provided insights can be used to develop customised matching and pricing strategies to improve system efficiency.


title: A DoE-based approach for the implementation of structural surrogate models in the early stage design of box-wing aircraft

abstract: One of the possible ways to face the challenge of reducing the environmental impact of aviation, without limiting the growth of air transport, is the introduction of more efficient, radically different aircraft architectures. Among these, the box-wing one represents a promising solution, at least in the case of its application to short-to-medium haul aircraft, which, according to the achievement of the H2020 project "PARSIFAL", would bring to a 20% reduction in terms of emitted CO2 per passenger-kilometre. The present paper faces the problem of estimating the structural mass of such a disruptive configuration in the early stages of the design, underlining the limitations in this capability of the approaches available by literature and proposing a DoE-based approach to define surrogate models suitable for such purpose. A test case from the project "PARSIFAL" is used for the first conception of the approach, starting from the Finite Element Model parametrization, then followed by the construction of a database of FEM results, hence introducing the regression models and implementing them in an optimization framework. Results achieved are investigated in order to validate both the wing sizing and the optimization procedure. Finally, an additional test case resulting from the application of the box-wing layout to the regional aircraft category within the Italian research project "PROSIB", is briefly presented to further assess the capabilities of the proposed approach.


title: MD Simulation of Hundred-Billion-Metal-Atom Cascade Collision on Sunway Taihulight

abstract: Radiation damage to the steel material of reactor pressure vessels is a major threat to the nuclear reactor safety. It is caused by the metal atom cascade collision, initialized when the atoms are struck by a high-energy neutron. The paper presents MISA-MD, a new implementation of molecular dynamics, to simulate such cascade collision with EAM potential. MISA-MD realizes (1) a hash-based data structure to efficiently store an atom and find its neighbors, and (2) several acceleration and optimization strategies based on SW26010 processor of Sunway Taihulight supercomputer, including an efficient potential table storage and interpolation method, a coloring method to avoid write conflicts, and double-buffer and data reuse strategies. The experimental results demonstrated that MISA-MD has good accuracy and scalability, and obtains a parallel efficiency of over 79% in an 655-billion-atom system. Compared with a state-of-the-art MD program LAMMPS, MISA-MD requires less memory usage and achieves better computational performance.


title: Optimization of traffic control in MMAP[2]/PH[2]/S priority queueing model with PH retrial times and preemptive repeat policy

abstract: The presented study elaborates a multi-server priority queueing model considering the pre-emptive repeat policy and phase-type distribution (PH) for retrial process. The incoming heterogeneous calls are categorized as handoff calls and new calls. The arrival and service processes of both types of calls follow marked Markoian arrival process (MMAP) and PH distribution with distinct parameters, re-spectively. An arriving new call will be blocked when all the channels are occupied, and consequently will join the orbit (virtual space) of infinite capacity to retry following PH distribution. When all the channels are occupied and a handoff call arrives at the system, out of the following two scenarios, one might take place. In the first scenario, if all the channels are occupied with handoff calls, the arriving handoff call will be lost from the system. While in the second one, if all the channels are occupied and at least one of them is serving a new call, the arriving handoff call will be provided service by using preemptive priority over that new call and the preempted new call will join the orbit. Behaviour of the proposed system is modelled by the level dependent quasi-birth-death (LDQBD) process. The expressions of various performance measures have been derived for the numerical illustration. An optimization problem traffic control has been formulated and dealt by employing appropriate heuristic approaches.


title: Avoiding normalization uncertainties in deep learning architectures for end-to-end communication

abstract: Recently, deep learning is considered to optimize the end-to-end performance of digital communication systems. The promise of learning a digital communication scheme from data is attractive, since this makes the scheme adaptable and precisely tunable to many scenarios and channel models. In this paper, we analyse a widely used neural network architecture and show that the training of the end-to-end architecture suffers from normalization errors introduced by an average power constraint. To solve this issue, we propose a modified architecture: shifting the batch slicing after the normalization layer. This approach meets the normalization constraints better, especially in the case of small batch sizes. Finally, we experimentally demonstrate that our modified architecture leads to significantly improved performance of trained models, even for large batch sizes where normalization constraints are more easily met.


title: Nearest neighbor Methods and their Applications in Design of 5G & Beyond Wireless Networks

abstract: In this paper, we present an overview of Nearest neighbor (NN) methods, which are frequently employed for solving classification problems using supervised learning. The article concisely introduces the theoretical background, algorithmic, and implementation aspects along with the key applications. From an application standpoint, this article explores the challenges related to the 5G and beyond wireless networks which can be solved using NN classification techniques.


title: Turbulence-immune computational ghost imaging based on a multi-scale generative adversarial network

abstract: There is a consensus that turbulence-free images cannot be obtained by conventional computational ghost imaging (CGI) because the CGI is only a classic simulation, which does not satisfy the conditions of turbulence-free imaging. In this article, we first report a turbulence-immune CGI method based on a multi-scale generative adversarial network (MsGAN). Here, the conventional CGI framework is not changed, but the conventional CGI coincidence measurement algorithm is optimized by an MsGAN. Thus, the satisfactory turbulence-free ghost image can be reconstructed by training the network, and the visual effect can be significantly improved.


title: Finite Basis Physics-Informed Neural Networks (FBPINNs): a scalable domain decomposition approach for solving differential equations

abstract: Recently, physics-informed neural networks (PINNs) have offered a powerful new paradigm for solving problems relating to differential equations. Compared to classical numerical methods PINNs have several advantages, for example their ability to provide mesh-free solutions of differential equations and their ability to carry out forward and inverse modelling within the same optimisation problem. Whilst promising, a key limitation to date is that PINNs have struggled to accurately and efficiently solve problems with large domains and/or multi-scale solutions, which is crucial for their real-world application. Multiple significant and related factors contribute to this issue, including the increasing complexity of the underlying PINN optimisation problem as the problem size grows and the spectral bias of neural networks. In this work we propose a new, scalable approach for solving large problems relating to differential equations called Finite Basis PINNs (FBPINNs). FBPINNs are inspired by classical finite element methods, where the solution of the differential equation is expressed as the sum of a finite set of basis functions with compact support. In FBPINNs neural networks are used to learn these basis functions, which are defined over small, overlapping subdomains. FBINNs are designed to address the spectral bias of neural networks by using separate input normalisation over each subdomain, and reduce the complexity of the underlying optimisation problem by using many smaller neural networks in a parallel divide-and-conquer approach. Our numerical experiments show that FBPINNs are effective in solving both small and larger, multi-scale problems, outperforming standard PINNs in both accuracy and computational resources required, potentially paving the way to the application of PINNs on large, real-world problems.


title: A stochastic differential equation based algorithm to simulate laser speckles for deep tissue blood flow imaging applications

abstract: We present an intensity speckle simulation algorithm based on stochastic differential equations. Intensity speckles are generated with a negative exponential distribution and an exponential auto-correlation decay. The mean of the distribution is spatially varying dictated by photon diffusion to take into account of diffuse speckles. The algorithm is validated using simulation studies for both surface and deep tissue blood flow with potential applications in diffuse correlation spectroscopy.


title: Metasurface-Enabled On-Chip Multiplexed Diffractive Neural Networks in the Visible

abstract: Replacing electrons with photons is a compelling route towards light-speed, highly parallel, and low-power artificial intelligence computing. Recently, all-optical diffractive neural deep neural networks have been demonstrated. However, the existing architectures often comprise bulky components and, most critically, they cannot mimic the human brain for multitasking. Here, we demonstrate a multi-skilled diffractive neural network based on a metasurface device, which can perform on-chip multi-channel sensing and multitasking at the speed of light in the visible. The metasurface is integrated with a complementary metal oxide semiconductor imaging sensor. Polarization multiplexing scheme of the subwavelength nanostructures are applied to construct a multi-channel classifier framework for simultaneous recognition of digital and fashionable items. The areal density of the artificial neurons can reach up to 6.25x106/mm2 multiplied by the number of channels. Our platform provides an integrated solution with all-optical on-chip sensing and computing for applications in machine vision, autonomous driving, and precision medicine.


title: Asymptotic behavior of solutions toward the constant state to the Cauchy problem for the non-viscous diffusive dispersive conservation law

abstract: In this paper, we investigate the asymptotic behavior of solutions to the Cauchy problem for the scalar non-viscous diffusive dispersive conservation laws where the far field states are prescribed. We proved that the solution of the Cauchy problem tends toward the constant state as time goes to infinity.


title: A Penalized Shared-parameter Algorithm for Estimating Optimal Dynamic Treatment Regimens

abstract: A dynamic treatment regimen (DTR) is a set of decision rules to personalize treatments for an individual using their medical history. The Q-learning based Q-shared algorithm has been used to develop DTRs that involve decision rules shared across multiple stages of intervention. We show that the existing Q-shared algorithm can suffer from non-convergence due to the use of linear models in the Q-learning setup, and identify the condition in which Q-shared fails. Leveraging properties from expansion-constrained ordinary least-squares, we give a penalized Q-shared algorithm that not only converges in settings that violate the condition, but can outperform the original Q-shared algorithm even when the condition is satisfied. We give evidence for the proposed method in a real-world application and several synthetic simulations.


title: Experimental Snapshot Verification of non-Markovianity with Unknown System-Probe Coupling

abstract: We apply the recently proposed quantum probing protocols with an unknown system-probe coupling to probe the convex coefficients in mixtures of commuting states. By using two reference states instead of one as originally suggested, we are able to probe both lower and upper bounds for the convex coefficient. We perform extensive analysis for the roles of the parameters characterizing the double peaked Gaussian frequency spectrum in the Markovian-to-non-Markovian transition of the polarization dynamics of a single photon. We apply the probing of the convex coefficient to the transition-inducing frequency parameter and show that the non-Markovianity of the polarization dynamics can be confirmed with a single snapshot measurement of the polarization qubit performed at unknown time and even with unknown coupling. We also show how the protocol can identify Markovian and non-Markovian time intervals in the dynamics. The results are validated with single photon experiments.


title: Diagrammatic Strong Coupling Expansion of U(1) Lattice Model in Fourier Basis

abstract: The transfer-matrix of U(1) lattice gauge theory is investigated in the field Fourier space, the basis of which consists of the quantized currents on lattice links. Based on a lattice version of the current conservation, the transfer-matrix elements are shown to be non-zero only between current-states that differ in circulating currents inside plaquettes. In the strong coupling limit, a series expansion is developed for the elements of the transfer-matrix, to which a diagrammatic representation based on the occurrence of virtual link and loop currents can be associated. With $g$ as the coupling, the weight of each virtual current in the expansion is $1/g^2$, by which at any given order the relevant diagrams are determined. Either by interpretation or through their role in fixing the relevant terms, the diagrams are reminiscent of the Feynman ones of the perturbative small coupling expansions.


title: Ranking labs-of-origin for genetically engineered DNA using Metric Learning

abstract: With the constant advancements of genetic engineering, a common concern is to be able to identify the lab-of-origin of genetically engineered DNA sequences. For that reason, AltLabs has hosted the genetic Engineering Attribution Challenge to gather many teams to propose new tools to solve this problem. Here we show our proposed method to rank the most likely labs-of-origin and generate embeddings for DNA sequences and labs. These embeddings can also perform various other tasks, like clustering both DNA sequences and labs and using them as features for Machine Learning models applied to solve other problems. This work demonstrates that our method outperforms the classic training method for this task while generating other helpful information.


title: Let Loop Quantum Gravity and Affine Quantum Gravity Examine Each Other

abstract: Loop Quantum Gravity is widely developed using canonical quantization in an effort to find the correct quantization for gravity. Affine quantization, which is like canonical quantization augmented bounded in one orientation, e.g., a strictly positive coordinate. We open discussion using canonical and affine quantizations for two simple problems so each procedure can be understood. That analysis opens a modest treatment of quantum gravity gleaned from some typical features that exhibit the profound differences between aspects of seeking the quantum treatment of Einstein's gravity.


title: Renormalization of $(2+1)D$ scalar Weyl spinors interactions on lattices using the Clifford groups

abstract: We consider symplectic quaternions instead of unitary spinors sitting on a lattice, and calculate the fixed point Wilson action on a finite $2D$ plane expanded by $u_1 a e_1+ u_2 a e_2$ and on two $2D$ planes separated by $a e_1\wedge e_2$. Only the nearlest neighbor interactions are considered. Following Migdal and Kadanoff, we perform the renormalization of the Wilson action by making the lattice spacing $(\frac{1}{2})^{h}a$ $(h=0,\cdots,11 )$, in order to simulate bosonic and solitonic phonon propagation in materials. Renormalization group method of Benfatto and Gallavotti for $(2+1)D$ scalar $\phi^4$ system for sound propagation in Fermi sea is applied and feasibility of numerical simulation is discussed.


title: Estimation of Li-ion degradation test sample sizes required to understand cell-to-cell variability

abstract: Ageing of lithium-ion batteries results in irreversible reduction in performance. Intrinsic variability between cells, caused by manufacturing differences, occurs throughout life and increases with age. Researchers need to know the minimum number of cells they should test to give an accurate representation of population variability, since testing many cells is expensive. In this paper, empirical capacity versus time ageing models were fitted to various degradation datasets for commercially available cells assuming the model parameters could be drawn from a larger population distribution. Using a hierarchical Bayesian approach, we estimated the number of cells required to be tested. Depending on the complexity, ageing models with 1, 2 or 3 parameters respectively required data from at least 9, 11 or 13 cells for a consistent fit. This implies researchers will need to test at least these numbers of cells at each test point in their experiment to capture manufacturing variability.


title: Reconstruction from the Fourier transform on the ball via prolate spheroidal wave functions

abstract: We give new formulas for finding a compactly supported function $v$ on $\mathbb{R}^d$, $d\geq 1$, from its Fourier transform $\mathcal{F} v$ given within the ball $B_r$. For the one-dimensional case, these formulas are based on the theory of prolate spheroidal wave functions (PSWFs). In multidimensions, well-known results of the Radon transform theory reduce the problem to the one-dimensional case. Related results on stability and convergence rates are also given.


title: Population III Star Formation in an X-ray background: I. Critical Halo Mass of Formation and Total Mass in Stars

abstract: The first luminous objects forming in the universe produce radiation backgrounds in the FUV and X-ray bands that affect the formation of Population III stars. Using a grid of cosmological hydrodynamics zoom-in simulations, we explore the impact of the Lyman-Warner (LW) and X-ray radiation backgrounds on the critical dark matter halo mass for Population III star formation and the total mass in stars per halo. We find that the LW radiation background lowers the H$_2$ fraction and delays the formation of the Population III stars. On the other hand, X-ray irradiation anticipates the redshift of collapse and reduces the critical halo mass, unless the X-ray background is too strong and gas heating shuts down gas collapse into the halos and prevents star formation. Therefore, an X-ray background can increase the number of dark matter halos forming Population III stars by about a factor of ten, but the total mass in stars forming in each halo is reduced. This is because X-ray radiation increases the molecular fraction and lowers the minimum temperature of the collapsing gas (or equivalently the mass of the quasi-hydrostatic core) and therefore slows down the accretion of the gas onto the central protostar.


title: Schottky spaces and universal Mumford curves over $\mathbb{Z}$

abstract: For every integer $g \geq 1$ we define a universal Mumford curve of genus $g$ in the framework of Berkovich spaces over $\mathbb{Z}$. This is achieved in two steps: first, we build an analytic space $\mathcal{S}_g$ that parametrizes marked Schottky groups over all valued fields. We show that $\mathcal{S}_g$ is an open, connected analytic space over $\mathbb{Z}$. Then, we prove that the Schottky uniformization of a given curve behaves well with respect to the topology of $\mathcal{S}_g$, both locally and globally. As a result, we can define the universal Mumford curve $\mathcal{C}_g$ as a relative curve over $\mathcal{S}_g$ such that every Schottky uniformized curve can be described as a fiber of a point in $\mathcal{S}_g$. We prove that the curve $\mathcal{C}_g$ is itself uniformized by a universal Schottky group acting on the relative projective line $\mathbb{P}^1_{\mathcal{S}_g}$. Finally, we study the action of the group $Out(F_g)$ of outer automorphisms of the free group with $g$ generators on $\mathcal{S}_g$, describing the quotient $Out(F_g) \backslash \mathcal{S}_g$ in the archimedean and non-archimedean cases. We apply this result to compare the non-archimedean Schottky space with constructions arising from geometric group theory and the theory of moduli spaces of tropical curves.


title: Variations on the Erd\H{o}s distinct-sums problem

abstract: Let $\{a_1, . . . , a_n\}$ be a set of positive integers with $a_1 < \dots < a_n$ such that all $2^n$ subset sums are distinct. A famous conjecture by Erd\H{o}s states that $a_n>c\cdot 2^n$ for some constant $c$, while the best result known to date is of the form $a_n>c\cdot 2^n/\sqrt{n}$. In this paper, we weaken the condition by requiring that only sums corresponding to subsets of size smaller than or equal to $\lambda n$ be distinct. For this case, we derive lower and upper bounds on the smallest possible value of $a_n$.


title: Tracing Halpha Fibrils through Bayesian Deep Learning

abstract: We present a new deep learning method, dubbed FibrilNet, for tracing chromospheric fibrils in Halpha images of solar observations. Our method consists of a data pre-processing component that prepares training data from a threshold-based tool, a deep learning model implemented as a Bayesian convolutional neural network for probabilistic image segmentation with uncertainty quantification to predict fibrils, and a post-processing component containing a fibril-fitting algorithm to determine fibril orientations. The FibrilNet tool is applied to high-resolution Halpha images from an active region (AR 12665) collected by the 1.6 m Goode Solar Telescope (GST) equipped with high-order adaptive optics at the Big Bear Solar Observatory (BBSO). We quantitatively assess the FibrilNet tool, comparing its image segmentation algorithm and fibril-fitting algorithm with those employed by the threshold-based tool. Our experimental results and major findings are summarized as follows. First, the image segmentation results (i.e., detected fibrils) of the two tools are quite similar, demonstrating the good learning capability of FibrilNet. Second, FibrilNet finds more accurate and smoother fibril orientation angles than the threshold-based tool. Third, FibrilNet is faster than the threshold-based tool and the uncertainty maps produced by FibrilNet not only provide a quantitative way to measure the confidence on each detected fibril, but also help identify fibril structures that are not detected by the threshold-based tool but are inferred through machine learning. Finally, we apply FibrilNet to full-disk Halpha images from other solar observatories and additional high-resolution Halpha images collected by BBSO/GST, demonstrating the tool's usability in diverse datasets.


title: Cellularity of endomorphism algebras of tilting objects

abstract: We show that, in a highest weight category with duality, the endomorphism algebra of a tilting object is naturally a cellular algebra. Our proof generalizes a recent construction of Andersen, Stroppel, and Tubbenhauer. This result raises the question of whether all cellular algebras can be realized in this way. The construction also works without the presence of a duality and yields standard bases, in the sense of Du and Rui, which have similar combinatorial features to cellular bases. As an application, we obtain standard bases -- and thus a general theory of "cell modules" -- for Hecke algebras associated to finite complex reflection groups (as introduced by Brou\'e, Malle, and Rouquier) via category $\mathcal{O}$ of the rational Cherednik algebra. For real reflection groups these bases are cellular.


title: Maximising Precision in Saturation-Limited Absorption Measurements

abstract: Quantum fluctuations in the intensity of an optical probe is noise which limits measurement precision in absorption spectroscopy. Increased probe power can offer greater precision, however, this strategy is often constrained by sample saturation. Here, we analyse measurement precision for a generalised absorption model in which we account for saturation and explore its effect on both classical and quantum probe performance. We present a classical probe-sample optimisation strategy to maximise precision and find that optimal probe powers always fall within the saturation regime. We apply our optimisation strategy to two examples, high-precision Doppler broadened thermometry and an absorption spectroscopy measurement of Chlorophyll A. We derive a limit on the maximum precision gained from using a non-classical probe and find a strategy capable of saturating this bound. We evaluate amplitude-squeezed light as a viable experimental probe state and find it capable of providing precision that reaches to within > 85% of the ultimate quantum limit with currently available technology.


title: Single Pass Entrywise-Transformed Low Rank Approximation

abstract: In applications such as natural language processing or computer vision, one is given a large $n \times d$ matrix $A = (a_{i,j})$ and would like to compute a matrix decomposition, e.g., a low rank approximation, of a function $f(A) = (f(a_{i,j}))$ applied entrywise to $A$. A very important special case is the likelihood function $f\left( A \right ) = \log{\left( \left| a_{ij}\right| +1\right)}$. A natural way to do this would be to simply apply $f$ to each entry of $A$, and then compute the matrix decomposition, but this requires storing all of $A$ as well as multiple passes over its entries. Recent work of Liang et al.\ shows how to find a rank-$k$ factorization to $f(A)$ for an $n \times n$ matrix $A$ using only $n \cdot \operatorname{poly}(\epsilon^{-1}k\log n)$ words of memory, with overall error $10\|f(A)-[f(A)]_k\|_F^2 + \operatorname{poly}(\epsilon/k) \|f(A)\|_{1,2}^2$, where $[f(A)]_k$ is the best rank-$k$ approximation to $f(A)$ and $\|f(A)\|_{1,2}^2$ is the square of the sum of Euclidean lengths of rows of $f(A)$. Their algorithm uses three passes over the entries of $A$. The authors pose the open question of obtaining an algorithm with $n \cdot \operatorname{poly}(\epsilon^{-1}k\log n)$ words of memory using only a single pass over the entries of $A$. In this paper we resolve this open question, obtaining the first single-pass algorithm for this problem and for the same class of functions $f$ studied by Liang et al. Moreover, our error is $\|f(A)-[f(A)]_k\|_F^2 + \operatorname{poly}(\epsilon/k) \|f(A)\|_F^2$, where $\|f(A)\|_F^2$ is the sum of squares of Euclidean lengths of rows of $f(A)$. Thus our error is significantly smaller, as it removes the factor of $10$ and also $\|f(A)\|_F^2 \leq \|f(A)\|_{1,2}^2$. We also give an algorithm for regression, pointing out an error in previous work, and empirically validate our results.


title: One-loop renormalization of VBS with the electroweak chiral Lagrangian in covariant gauges

abstract: This work presents a first full one-loop computation of vector boson scattering (VBS) within the non-linear effective field theory given by the bosonic sector of the usually called electroweak chiral Lagrangian (EChL). The computation is performed in the most general case of covariant $R_\xi$ gauges and is compared through all this work with the Standard Model case, whose computation in these covariant gauges is also novel and is presented also here. The calculation of the one-loop VBS amplitude is performed using the diagrammatic method by means of the one-particle-irreducible (1PI) Green functions that are involved in these scattering processes. The central part of this work is then devoted to the renormalization of all the n-legs one-loop 1PI Green functions involved. This renormalization is performed in the most general off-shell case with arbitrary external legs momenta. We then describe in full detail the renormalization program, which within this context of the EChL, implies to derive all the counterterms for both the electroweak parameters, like boson masses and gauge couplings, and those for the EChL coefficients. These later are crucial for the renormalization of the new divergences typically appearing when computing loops with the lowest chiral dimension Lagrangian. We present here the full list of involved divergences and counterterms in the $R_\xi$ gauges and derive the complete set of renormalization group equations for the EChL coefficients. In the last part of this work, we present the EChL numerical results for the one-loop cross section in the WZ channel and compare them with the SM results.


title: Exploring Coupled Cluster Green's function as a method for treating system and environment in Green's function embedding methods

abstract: Within the self-energy embedding theory (SEET) framework, we study coupled cluster Green's function (GFCC) method in two different contexts: as a method to treat either the system or environment present in the embedding construction. Our study reveals that when GFCC is used to treat the environment we do not see improvement in total energies in comparison to the coupled cluster method itself. To rationalize this puzzling result, we analyze the performance of GFCC as an impurity solver with a series of transition metal oxides. These studies shed light on strength and weaknesses of such a solver and demonstrate that such a solver gives very accurate results when the size of the impurity is small. We investigate if it is possible to achieve a systematic accuracy of the embedding solution when we increase the size of the impurity problem. We found that in such a case, the performance of the solver worsens, both in terms of finding the ground state solution of the impurity problem as well as the self-energies produced. We concluded that increasing the rank of GFCC solver is necessary to be able to enlarge impurity problems and achieve a reliable accuracy. We also have shown that natural orbitals from weakly correlated perturbative methods are better suited than symmetrized atomic orbitals (SAO) when the total energy of the system is the target quantity.


title: Slice conformality and Riemann manifolds on quaternions and octonions

abstract: In this paper we establish quaternionic and octonionic analogs of the classical Riemann surfaces. The construction of these manifolds has nice peculiarities and the scrutiny of Bernhard Riemann approach to Riemann surfaces, mainly based on conformality, leads to the definition of slice conformal or slice isothermal parameterization of quaternionic or octonionic Riemann manifolds. These new classes of manifolds include slice regular quaternionic and octonionic curves, graphs of slice regular functions, the $4$ and $8$ dimensional spheres, the helicoidal and catenoidal $4$ and $8$ dimensional manifolds. Using appropriate Riemann manifolds, we also give a unified definition of the quaternionic and octonionic logarithm and $n$-th root function.


title: Dark Patterns in Online Shopping: Of Sneaky Tricks, Perceived Annoyance and Respective Brand Trust

abstract: Dark patterns utilize interface elements to trick users into performing unwanted actions. Online shopping websites often employ these manipulative mechanisms so as to increase their potential customer base, to boost their sales, or to optimize their advertising efforts. Although dark patterns are often successful, they clearly inhibit positive user experiences. Particularly, with respect to customers' perceived annoyance and trust put into a given brand, they may have negative effects. To investigate respective connections between the use of dark patterns, users' perceived level of annoyance and their expressed brand trust, we conducted an experiment-based survey. We implemented two versions of a fictitious online shop; i.e. one which used five different types of dark patterns and a similar one without such manipulative user interface elements. A total of $n=204$ participants were then forwarded to one of the two shops (approx. $2/3$ to the shop which used the dark patterns) and asked to buy a specific product. Subsequently, we measured participants' perceived annoyance level, their expressed brand trust and their affinity for technology. Results show a higher level of perceived annoyance with those who used the dark pattern version of the online shop. Also, we found a significant connection between perceived annoyance and participants' expressed brand trust. A connection between participants' affinity for technology and their ability to recognize and consequently counter dark patterns, however, is not supported by our data.


title: Relaxation-speed crossover in anharmonic potentials

abstract: In a recent Letter [A. Lapolla and A. Godec, Phys. Rev. Lett. 125, 110602 (2020)], thermal relaxation was observed to occur faster from cold to hot (heating) than from hot to cold (cooling). Here we show that overdamped diffusion in anharmonic potentials generically exhibits both faster heating and faster cooling, depending on the initial temperatures and on the potential's degree of anharmonicity. We draw a relaxation-speed phase diagram that localises the different behaviours in parameter space. In addition to faster-heating and faster-cooling regions, we identify a crossover region in the phase diagram, where heating is initially slower but asymptotically faster than cooling. The structure of the phase diagram is robust against the inclusion of a confining, harmonic term in the potential as well as moderate changes of the measure used to define initially equidistant temperatures.


title: Performance Assessment of Linear Models of Hydropower Plants

abstract: This paper discusses linearized models of hydropower plants (HPPs). First, it reviews state-of-the-art models and discusses their non-linearities, then it proposes suitable linearization strategies for the plant head, discharge, and turbine torque. It is shown that neglecting the dependency of the hydroacoustic resistance on the discharge leads to a linear formulation of the hydraulic circuits model. For the turbine, a numerical linearization based on a first-order Taylor expansion is proposed. Model performance is evaluated for a medium- and a low-head HPP with a Francis and Kaplan turbine, respectively. Perspective applications of these linear models are in the context of efficient model predictive control of HPPs based on convex optimization.


title: On the determination of vortex ring vorticity using Lagrangian particles

abstract: Particles are a widespread tool for obtaining information from fluid flows. When Eulerian data are unavailable, they may be employed to estimate flow fields or to identify coherent flow structures. Here we numerically examine the possibility of using particles to capture the dynamics of isolated vortex rings propagating in a quiescent fluid. The analysis is performed starting from numerical simulations of the Navier--Stokes and the Hall--Vinen--Bekarevich--Khalatnikov equations, respectively describing the dynamics of a Newtonian fluid and a finite-temperature superfluid. The flow-induced positions and velocities of particles suspended in the fluid are specifically used to compute the Lagrangian pseudovorticity field, a proxy for the Eulerian vorticity field recently employed in the context of superfluid $^4$He experiments. We show that, when calculated from ideal Lagrangian tracers or from particles with low inertia, the pseudovorticity field can be accurately used to estimate the propagation velocity and the growth of isolated vortex rings, although the quantitative reconstruction of the corresponding vorticity fields remains challenging. On the other hand, particles with high inertia tend to preferentially sample specific flow regions, resulting in biased pseudovorticity fields that pollute the estimation of the vortex ring properties. Overall, this work neatly demonstrates that the Lagrangian pseudovorticity is a valuable tool for estimating the strength of macroscopic vortical structures in the absence of Eulerian data, which is, for example, the case of superfluid $^4$He experiments.


title: A Two-Frequency-Two-Coupling model of coupled oscillators

abstract: We considered the phase coherence dynamics in a Two-Frequency and Two-Coupling (TFTC) model of coupled oscillators, where coupling strength and natural oscillator frequencies for individual oscillators may assume one of two values (positive/negative). The bimodal distributions for the coupling strengths and frequencies are either correlated or uncorrelated. To study how correlation affects phase coherence, we analyzed the TFTC model by means of numerical simulations and exact dimensional reduction methods allowing to study the collective dynamics in terms of local order parameters. The competition resulting from distributed coupling strengths and natural frequencies produces nontrivial dynamic states. For correlated disorder in frequencies and coupling strengths, we found that the entire oscillator population splits into two subpopulations, both phase-locked (Lock-Lock) or one phase-locked, and the other drifting (Lock-Drift), where the mean-fields of the sub-populations maintain a constant non-zero phase difference. For uncorrelated disorder, we found that the oscillator population may split into four phase-locked subpopulations, forming phase-locked pairs which are either mutually frequency-locked (Stable Lock-Lock-Lock-Lock) or drifting (Breathing Lock-Lock-Lock-Lock), thus resulting in a periodic motion of the global synchronization level. Finally, we found for both types of disorder that a state of Incoherence exists; however, for correlated coupling strengths and frequencies, incoherence is always unstable, whereas it is only neutrally stable for the uncorrelated case. Numerical simulations performed on the model show good agreement with the analytic predictions. The simplicity of the model promises that real-world systems can be found which display the dynamics induced by correlated/uncorrelated disorder.


title: Population III Star Formation in an X-ray background: II. Protostellar Discs, Multiplicity and Mass Function of the Stars

abstract: Disc fragmentation plays an important role in determining the number of primordial stars (Pop III stars), their masses, and hence the initial mass function. In this second paper of a series, we explore the effect of uniform FUV H$_2$-photodissociating and X-ray radiation backgrounds on the formation of Pop~III stars using a grid of high-resolution zoom-in simulations. We find that, in an X-ray background, protostellar discs have lower surface density and higher Toomre $Q$ parameter, so they are more stable. For this reason, X-ray irradiated discs undergo fewer fragmentations and typically produce either binary systems or low-multiplicity systems. In contrast, the cases with weak or no X-ray irradiation produce systems with a typical multiplicity of $6 \pm 3$. In addition, the most massive protostar in each system is smaller by roughly a factor of two when the disc is irradiated by X-rays, due to lower accretion rate. With these two effects combined, the initial mass function of fragments becomes more top-heavy in a strong X-ray background and is well described by a power-law with slope $1.53$ and high-mass cutoff of $61$ M$_\odot$. Without X-rays, we find a slope $0.49$ and cutoff mass of $229$ M$_\odot$. Finally, protostars migrate outward after their formation due to the accretion of high-angular momentum gas from outside and the migration is more frequent and significant in absence of X-ray irradiation.


title: First principles studies of the electronic and structural properties of the rutile VO$_{2}$(110) surface and its oxygen-rich terminations

abstract: We present a Density Functional Theory (DFT) study of the structural and electronic properties of bare rutile VO$_{2}$(110) surfaces and its oxygen-rich terminations. We discuss the performance of various DFT functionals, including PBE, PBE+U (U = 2 eV), SCAN and SCAN+rVV functionals with non-magnetic and ferromagnetic spin ordering. We predict the presence of a ring-like termination that is electronically and structurally related to a V$_{2}$O$_{5}$(001) monolayer and shows a higher stability than pure oxygen adsorption phases. Despite the fact that the calculated phase stabilities depend on the chosen functional, our results show that employing the spin-polarized SCAN functional offers a good compromise yielding both a reasonable description of the structural and electronic properties of the rutile VO$_{2}$ bulk phase and the enthalpy of formation for different stages of vanadium oxidation.


title: On Vizing's edge colouring question

abstract: Soon after his 1964 seminal paper on edge colouring, Vizing asked the following question: can an optimal edge colouring be reached from any given proper edge colouring through a series of Kempe changes? We answer this question in the affirmative for triangle-free graphs.