title: Learning Graphs from Smooth and Graph-Stationary Signals with Hidden Variables

abstract: Network-topology inference from (vertex) signal observations is a prominent problem across data-science and engineering disciplines. Most existing schemes assume that observations from all nodes are available, but in many practical environments, only a subset of nodes is accessible. A natural (and sometimes effective) approach is to disregard the role of unobserved nodes, but this ignores latent network effects, deteriorating the quality of the estimated graph. Differently, this paper investigates the problem of inferring the topology of a network from nodal observations while taking into account the presence of hidden (latent) variables. Our schemes assume the number of observed nodes is considerably larger than the number of hidden variables and build on recent graph signal processing models to relate the signals and the underlying graph. Specifically, we go beyond classical correlation and partial correlation approaches and assume that the signals are smooth and/or stationary in the sought graph. The assumptions are codified into different constrained optimization problems, with the presence of hidden variables being explicitly taken into account. Since the resulting problems are ill-conditioned and non-convex, the block matrix structure of the proposed formulations is leveraged and suitable convex-regularized relaxations are presented. Numerical experiments over synthetic and real-world datasets showcase the performance of the developed methods and compare them with existing alternatives.


title: Safe Real-Time Optimization using Multi-Fidelity Gaussian Processes

abstract: This paper proposes a new class of real-time optimization schemes to overcome system-model mismatch of uncertain processes. This work's novelty lies in integrating derivative-free optimization schemes and multi-fidelity Gaussian processes within a Bayesian optimization framework. The proposed scheme uses two Gaussian processes for the stochastic system, one emulates the (known) process model, and another, the true system through measurements. In this way, low fidelity samples can be obtained via a model, while high fidelity samples are obtained through measurements of the system. This framework captures the system's behavior in a non-parametric fashion while driving exploration through acquisition functions. The benefit of using a Gaussian process to represent the system is the ability to perform uncertainty quantification in real-time and allow for chance constraints to be satisfied with high confidence. This results in a practical approach that is illustrated in numerical case studies, including a semi-batch photobioreactor optimization problem.


title: Modelling the Effect of Vaccination and Human Behaviour on the Spread of Epidemic Diseases on Temporal Networks

abstract: Motivated by the increasing number of COVID-19 cases that have been observed in many countries after the vaccination and relaxation of non-pharmaceutical interventions, we propose a mathematical model on time-varying networks for the spread of recurrent epidemic diseases in a partially vaccinated population. The model encapsulates several realistic features, such as the different effectiveness of the vaccine against transmission and development of severe symptoms, testing practices, the possible implementation of non-pharmaceutical interventions to reduce the transmission, isolation of detected individuals, and human behaviour. Using a mean-field approach, we analytically derive the epidemic threshold of the model and, if the system is above such a threshold, we compute the epidemic prevalence at the endemic equilibrium. These theoretical results show that precautious human behaviour and effective testing practices are key toward avoiding epidemic outbreaks. Interestingly, we found that, in many realistic scenarios, vaccination is successful in mitigating the outbreak by reducing the prevalence of seriously ill patients, but it could be a double-edged sword, whereby in some cases it might favour resurgent outbreaks, calling for higher testing rates, more cautiousness and responsibility among the population, or the reintroduction of non-pharmaceutical interventions to achieve complete eradication.


title: Identities of the Jones Monoid $\mathcal{J}_5$

abstract: Jones monoids $\mathcal{J}_n$, for $1< n$, is a family of monoids relevant in knot theory. The purpose of this paper is to characterize of the identities satisfied by the Jones monoid $\mathcal{J}_5$.


title: Improving the Chamberlin Digital State Variable Filter

abstract: The state variable filter configuration is a classic analogue design which has been employed in many electronic music applications. A digital implementation of this filter was put forward by Chamberlin, which has been deployed in both software and hardware forms. While this has proven to be a straightforward and successful digital filter design, it suffers from some issues, which have already been identified in the literature. From a modified Chamberlin block diagram, we derive the transfer functions describing its three basic responses, highpass, bandpass, and lowpass. An analysis of these leads to the development of an improvement, which attempts to better shape the filter spectrum. From these new transfer functions, a set of filter equations is developed. Finally, the approach is compared to an alternative time-domain based re-organisation of update equations, which is shown to deliver a similar result.


title: Numerical approximation of viscous contact problems applied to glacial sliding

abstract: Viscous contact problems describe the time evolution of fluid flows in contact with a surface from which they can detach and reattach. These problems are of particular importance in glaciology, where they arise in the study of grounding lines and subglacial cavities. In this work, we propose a novel numerical method for solving viscous contact problems based on a mixed formulation with Lagrange multipliers of a variational inequality involving the Stokes equation. The advection equation for evolving the geometry of the domain occupied by the fluid is then solved via a specially-built upwinding scheme, leading to a robust and accurate algorithm for viscous contact problems. We first verify the method by comparing the numerical results to analytical results obtained by a linearised method. Then, we use this numerical scheme to reconstruct friction laws for glacial sliding with cavitation. Finally, we compute the evolution of cavities from a steady state under oscillating water pressures. The results depend strongly on the location of the initial steady state along the friction law. In particular, we find that if the steady state is located on the downsloping or rate-weakening part of the friction law, the cavity evolves towards the upsloping section, indicating that the downsloping part is unstable.


title: Room-temperature on-chip generation of heralded single photons with switchable orbital angular momentum

abstract: In quantum optics, orbital angular momentum (OAM) is very promising to achieve high-dimensional quantum states due to the nature of infinite and discrete eigenvalue, which is quantized by the topological charge of l. Here, a heralded single-photon source with switchable OAM modes is proposed and demonstrated on silicon chip. At room-temperature, the heralded single photons with 11 OAM modes (l=2~6, -6~-1) have been successfully generated and switched through thermo-optical effect. We believe that such an integrated quantum source with multiple OAM modes and operating at room-temperature would provide a practical platform for high-dimensional quantum information processing. Moreover, our proposed architecture can also be extended to other material systems to further improve the performance of OAM quantum source.


title: Study of a bi-axial (KTP) crystal using Double Stokes Mueller Polarimetry

abstract: We report the significance of the double Stokes Mueller polarimetry (DSMP) technique, to characterize a large size (3 X 3 X 5mm) KTP (Potassium titanyl phosphate) crystal. The crystal undergoes second harmonic generation with type II phase matching. The study of standard KTP crystal using the DSMP technique helps to validate the efficiency of this technique. We were able to extract the crystal's double Mueller matrix, the relative contribution of the susceptibility tensor components, the phase difference between the susceptibility tensor components, etc. We could determine the crystal axes orientation using this optical technique, which was not possible through a single crystal X-Ray diffraction technique for such a large size crystal for which both optic axes and crystallographic axes are the same. Axes direction determined from polarization microscope measurements and Laue diffraction measurements on KTP crystal is compared with those obtained from DSMP measurements.


title: Studying the influence of external photon fields on blazar spectra using a one-zone hadro-leptonic time-dependent model

abstract: The recent associations of neutrinos with blazars require the efficient interaction of relativistic protons with ambient soft photon fields. However, along side the neutrinos gamma-ray photons are produced which interact with the same soft photon fields producing electron-positron pairs. The strength of this cascade has significant consequences on the photon spectrum in various energy bands and puts severe constraints on the pion and neutrino production. In this study, we discuss the influence of the external thermal photon fields (accretion disk, broad-line region, and dusty torus) on the proton-photon interactions employing a newly developed time-dependent one-zone hadro-leptonic code (OneHaLe). We present steady-state cases, as well as a time-dependent case, where the emission region moves through the jet. Within the limits of this toy study, the external fields can disrupt the ``usual'' double-humped blazar spectrum. Similarly, a moving region would cross significant portions of the jet without reaching the previously-found steady states.


title: On-Demand Storage and Retrieval of Microwave Photons Using a Superconducting Multiresonator Quantum Memory

abstract: A quantum memory that can store quantum states faithfully and retrieve them on demand has wide applications in quantum information science. An efficient quantum memory in the microwave regime working alongside quantum processors based on superconducting quantum circuits may serve as an important architecture for quantum computers. Here we realize on-demand storage and retrieval of weak coherent microwave photon pulses at the single-photon level. We implement a superconducting multi-resonator quantum memory which is composed of a set of frequency-tunable coplanar transmission line (CPW) resonators. By dynamically tuning the resonant frequencies of the resonators, we achieve tunable memory bandwidth from 10 MHz to 55 MHz, with an overall storage efficiency up to 12 % with well preserved phase coherence. We further demonstrate on-demand storage and retrieval of a time-bin flying qubit. This result opens up a prospect to integrate our chip-based quantum memory with the state-of-the-art superconducting quantum circuit technology for quantum information processing.


title: Tilt grain boundaries of hexagonal structures: a spectral viewpoint

abstract: We propose a spectral viewpoint for grain boundaries that are generally quasiperiodic. To accurately capture the spectra computationally, it is crucial to adopt the projection method for quasiperiodic functions. Armed with the Lifshitz-Petrich free energy, we take the spectral viewpoint to examine tilt grain boundaries of the hexagonal phase. Several ingredients of grain boundaries are extracted, which are not easy to obtain from real-space profiles. We find that only a few spectra substantially contribute to the formation of grain boundaries. Their linear relation to the intrinsic spectra of the bulk hexagonal phase is independent of the tilt angle. By examining the feature of the spectral intensities, we propose a definition of the interface width. The widths calculated from this definition are consistent with visual estimation.


title: A Reverse Augmented Constraint preconditioner for Lagrange multiplier methods in contact mechanics

abstract: Frictional contact is one of the most challenging problems in computational mechanics. Typically, it is a tough nonlinear problem often requiring several Newton iterations to converge and causing troubles also in the solution to the related linear systems. When contact is modeled with the aid of Lagrange multipliers, the impenetrability condition is enforced exactly, but the associated Jacobian matrix is indefinite and needs a special treatment for a fast numerical solution. In this work, a constraint preconditioner is proposed where the primal Schur complement is computed after augmenting the zero block. The name Reverse is used in contrast to the traditional approach where only the structural block undergoes an augmentation. Besides being able to address problems characterized by singular structural blocks, often arising in contact mechanics, it is shown that the proposed approach is significantly cheaper than traditional constraint preconditioning for this class of problems and it is suitable for an efficient HPC implementation through the Chronos parallel package. Our conclusions are supported by several numerical experiments on mid- and large-size problems from various applications. The source files implementing the proposed algorithm are freely available on GitHub.


title: Incentive-Based Electric Vehicle Charging for Managing Bottleneck Congestion

abstract: We propose an incentive-based traffic demand management policy to alleviate traffic congestion on a road stretch that creates a bottleneck for the commuters. The incentive targets electric vehicles owners by proposing a discount on the energy price they use to charge their vehicles if they are flexible in their departure time. We show that, with a sufficient monetary budget, it is possible to completely eliminate the traffic congestion and we compute the optimal discount. We analyse also the case of limited budget, when the congestion cannot be completely eliminated. We compute analytically the policy minimising the congestion and estimate the level of inefficiency for different budgets. We corroborate our theoretical findings with numerical simulations that allow us to highlight the power of the proposed method in providing practical advice for the design of policies.


title: Subelliptic operators on weighted Folland-Stein spaces

abstract: In this paper, we show that the sub-Laplacian of an asymptotically flat pseudo-hermitian manifold defined on a suitable weighted Folland-Stein spaces is an isomorphism. It turns out that the CR positive mass problem is resolved, and hence CR Yamabe problem.


title: Production cross sections of tetraquark states in elementary hadronic collisions

abstract: Inclusive production cross sections of the possible exotic state X(3872) in proton-proton, pionp-roton and proton-antiproton collisions are calculated using a statistical based model, which is previously used to describe inclusive charmed and bottomed hadron production cross sections in the low energy region. With the extensions made here, the model is capable to include tetraquarks as well, using the diquark picture of tetraquarks. The evaluated cross section ratio of $\Psi(2S)$ and $X(3872)$ at $\sqrt{s}=7$ TeV agrees well with the measured value.


title: Pairwise interactions for Potential energy surfaces and Atomic forces with Deep Neural network

abstract: Molecular dynamics (MD) simulation, which is considered an important tool for studying physical and chemical processes at the atomic scale, requires accurate calculations of energies and forces. Although reliable energies and forces can be obtained by electronic structure calculations such as those based on density functional theory (DFT), this approach is computationally expensive. In this work, we propose a full-stack model using deep neural network (NN) to enhance the calculation of force and energy, in which the NN is designed to extract the embedding feature of pairwise interactions of an atom and its neighbors, which are aggregated to obtain its feature vector for predicting atomic force and potential energy. By designing the features of the pairwise interactions, we can control the performance of models and take into account the many-body effects and other physics of the atomic interactions. Moreover, we demonstrated that using the Coulomb matrix of the local structures in complement to the pairwise information, we can improve the prediction of force and energy for silicon systems and the transferability of our models is confirmed to larger systems, with high accuracy.


title: Calculations of the alpha decay half-lives of some Polonium isotopes using the double folding model

abstract: The calculations of the alpha decay half-lives of some Polonium isotopes in the mass range 186 - 218 have been carried out using the Wentzel-Kramers-Brillouin (WKB) semiclassical approximation. The alpha-nucleus effective potential used contains the Coulomb potential, centrifugal potential, and the nuclear potential. The nuclear potential is obtained via the double folding model, with the microscopic NN effective interactions derived from relativistic mean field theory Lagrangian (termed R3Y). Different parametrizations of the R3Y interactions have been employed in the computation of the nuclear potentials. The results obtained using the R3Y NN interactions are compared with the ones obtained using the famous Michigan-3-Yukawa (M3Y) interactions. The use of density-dependent NN interaction is also considered. When compared to available experimental data, there are improvements in the results when density-dependent interaction potentials are used compared to when density-independent interactions are employed.


title: The Wind in Our Sails: Developing a Reusable and Maintainable Dutch Maritime History Knowledge Graph

abstract: Digital sources are more prevalent than ever but effectively using them can be challenging. One core challenge is that digitized sources are often distributed, thus forcing researchers to spend time collecting, interpreting, and aligning different sources. A knowledge graph can accelerate research by providing a single connected source of truth that humans and machines can query. During two design-test cycles, we convert four data sets from the historical maritime domain into a knowledge graph. The focus during these cycles is on creating a sustainable and usable approach that can be adopted in other linked data conversion efforts. Furthermore, our knowledge graph is available for maritime historians and other interested users to investigate the daily business of the Dutch East India Company through a unified portal.


title: A determinantal point process governed by an integrable projection kernel is Giambelli compatible

abstract: The first main result of this note, Theorem 1.2, establishes the determinantal identities (7) and (8) for the expectation, under a determinantal point process governed by an integrable projection kernel, of scaling limits of characteristic polynomials sampled at several points. The determinantal identities (7) and (8) can be seen as the scaling limit of the identity of Fyodorov and Strahov for the averages of ratios of products of the values of the characteristic polynomial of a Gaussian unitary matrix. Borodin, Olshanski and Strahov derived the determinantal identity of Fyodorov and Strahov from the stability of the Giambelli formula under averaging. In Theorem 1.4 the stability of the Giambelli formula under averaging is established for determinantal point process with integrable projection kernels. The proof of Theorems 1.2 and 1.4 relies on the characterization of conditional measures of our point processes as orthogonal polynomial ensembles.


title: Error analysis for a parabolic PDE model problem on a coupled moving domain in a fully Eulerian framework

abstract: We introduce an unfitted finite element method with Lagrange-multipliers to study an Eulerian time stepping scheme for moving domain problems applied to a model problem where the domain motion is implicit to the problem. We consider a parabolic partial differential equation (PDE) in the bulk domain, and the domain motion is described by an ordinary differential equation (ODE), coupled to the bulk partial differential equation through the transfer of forces at the moving interface. The discretisation is based on an unfitted finite element discretisation on a time-independent mesh. The method-of-lines time discretisation is enabled by an implicit extension of the bulk solution through additional stabilisation, as introduced by Lehrenfeld & Olshanskii (ESAIM: M2AN, 53:585-614, 2019). The analysis of the coupled problem relies on the Lagrange-multiplier formulation, the fact that the Lagrange-multiplier solution is equal to the normal stress at the interface and that the motion of the interface is given through rigid body motion. This paper covers the complete stability analysis of the method and an error estimate in the energy norm, under an assumption on the discrete interface velocity. This includes the dynamic error in the domain motion resulting from the discretised ODE and the forces from the discretised PDE. To the best of our knowledge this is the first error analysis of this type of coupled moving domain problem in a fully Eulerian framework. Numerical examples illustrate the theoretical results.


title: Highly stable, reactive and ultrapure nanoporous metallic films

abstract: Nanoporous metals possess unique properties attributed to their high surface area and interconnected nanoscale ligaments. They are mostly fabricated by wet synthetic methods involving solution-based dealloying processes whose purity is compromised by residual amounts of the less noble metal. Here, we demonstrate a novel dry synthesis method to produce nanoporous metals, which is based on the plasma treatment of metal nanoparticles formed by physical vapor deposition. Our approach is general and can be applied to many metals including non-noble ones. The resultant nanoporous metallic films are impurity-free and possess highly curved ligaments and nanopores. The metal films are remarkably robust with many catalytically active sites, which is highly promising for electrocatalytic applications.


title: Space-time homogenization problems for porous medium equations with nonnegative initial data

abstract: This paper concerns a space-time homogenization limit of nonnegative weak solutions to porous medium equations. In particular, the so-called homogenized matrix will be characterized in terms of solutions to cell problems, which drastically vary in a scaling parameter $r > 0$. A similar problem has already been studied in [1], where the growth of the power nonlinearity is strictly restricted due to some substantial obstacles. In the present paper, such obstacles will be overcome by developing local uniform estimates for the gradients of nonnegative weak solutions.


title: CLIP2TV: Align, Match and Distill for Video-Text Retrieval

abstract: Modern video-text retrieval frameworks basically consist of three parts: video encoder, text encoder and the similarity head. With the success on both visual and textual representation learning, transformer based encoders and fusion methods have also been adopted in the field of video-text retrieval. In this report, we present CLIP2TV, aiming at exploring where the critical elements lie in transformer based methods. To achieve this, We first revisit some recent works on multi-modal learning, then introduce some techniques into video-text retrieval, finally evaluate them through extensive experiments in different configurations. Notably, CLIP2TV achieves 52.9@R1 on MSR-VTT dataset, outperforming the previous SOTA result by 4.1%.


title: Observation of Bulk Plasticity in a Polycrystalline Titanium Alloy by Diffraction Contrast Tomography and Topotomography

abstract: The mechanical properties of polycrystalline metals are governed by the interaction of defects that are generated by deformation within the 3D microstructure. In materials that deform by slip, the plasticity is usually highly heterogeneous within the microstructure. Many experimental tools can be used to observe the results of slip events at the free surface of a sample; however, there are only a few methods for imaging these events in the bulk. In this article, the imaging of bulk slip events within the 3D microstructure are enabled by the combined use of X-ray diffraction contrast tomography and topotomography. Correlative measurements between high-resolution digital image correlation, X-ray diffraction contrast tomography, topotomography and phase contrast tomography are performed during deformation of Ti-7Al to investigate the sensitivity of the X-ray topotomography method for the observation of slip events in the bulk. Much larger neighborhoods of grains were able to be mapped than in previous studies, enabling quantitative measurements of slip transmission. Significant differences were observed between surface and bulk grains, indicating the need for 3D observations of plasticity to better understand deformation in polycrystalline materials.


title: On the paper "Characterizations of weaving for $g$-frames by induced sequences"

abstract: A counter-example by Xiangchun Xiao, Guoping Zhao and Guorong Zhou in [J. Pseudo-Differ. Oper. Appl., (2021) 12:60] is incorrect. Further, there is no new characterization of weaving for g-frames by Xiangchun Xiao et al. in [2]. Xiangchun Xiao et al. in [2] gave a wrong interpretation about a characterization of weaving g-frames in separable Hilbert spaces which already proved by Deepshikha, Vashisht and Verma in [1].


title: Conservative Hybrid Automata from Development Artifacts

abstract: The verification of cyber-physical systems operating in a safety-critical environment requires formal system models. The validity of the verification hinges on the precision of the model: possible behavior not captured in the model can result in formally verified, but unsafe systems. Yet, manual construction is delicate and error-prone while automatic construction does not scale for large and complex systems. As a remedy, this paper devises an automatic construction algorithm that utilizes information contained in artifacts of the development process: a runtime monitoring specification and recorded test traces. These artifacts incur no additional cost and provide sufficient information so that the construction process scales well for large systems. The algorithm uses a hybrid approach between a top-down and a bottom-up construction which allows for proving the result conservative, while limiting the level of over-approximation.


title: Body-attitude coordination in arbitrary dimension

abstract: We consider a system of self-propelled agents interacting through body attitude coordination in arbitrary dimension $n \geq 3$. We derive the formal kinetic and hydrodynamic limits for this model. Previous literature was restricted to dimension $n=3$ only and relied on parametrizations of the rotation group that are only valid in dimension $3$. To extend the result to arbitrary dimensions $n \geq 3$, we develop a different strategy based on Lie group representations and the Weyl integration formula. These results open the way to the study of the resulting hydrodynamic model (the "Self-Organized Hydrodynamics for Body orientation (SOHB)'') in arbitrary dimensions.


title: Leveraging Geometry for Shape Estimation from a Single RGB Image

abstract: Predicting 3D shapes and poses of static objects from a single RGB image is an important research area in modern computer vision. Its applications range from augmented reality to robotics and digital content creation. Typically this task is performed through direct object shape and pose predictions which is inaccurate. A promising research direction ensures meaningful shape predictions by retrieving CAD models from large scale databases and aligning them to the objects observed in the image. However, existing work does not take the object geometry into account, leading to inaccurate object pose predictions, especially for unseen objects. In this work we demonstrate how cross-domain keypoint matches from an RGB image to a rendered CAD model allow for more precise object pose predictions compared to ones obtained through direct predictions. We further show that keypoint matches can not only be used to estimate the pose of an object, but also to modify the shape of the object itself. This is important as the accuracy that can be achieved with object retrieval alone is inherently limited to the available CAD models. Allowing shape adaptation bridges the gap between the retrieved CAD model and the observed shape. We demonstrate our approach on the challenging Pix3D dataset. The proposed geometric shape prediction improves the AP mesh over the state-of-the-art from 33.2 to 37.8 on seen objects and from 8.2 to 17.1 on unseen objects. Furthermore, we demonstrate more accurate shape predictions without closely matching CAD models when following the proposed shape adaptation. Code is publicly available at https://github.com/florianlanger/leveraging_geometry_for_shape_estimation .


title: On non-Hermitian positive (semi)definite linear algebraic systems arising from dissipative Hamiltonian DAEs

abstract: We discuss different cases of dissipative Hamiltonian differential-algebraic equations and the linear algebraic systems that arise in their linearization or discretization. For each case we give examples from practical applications. An important feature of the linear algebraic systems is that the (non-Hermitian) system matrix has a positive definite or semidefinite Hermitian part. In the positive definite case we can solve the linear algebraic systems iteratively by Krylov subspace methods based on efficient three-term recurrences. We illustrate the performance of these iterative methods on several examples. The semidefinite case can be challenging and requires additional techniques to deal with "singular part", while the "positive definite part" can still be treated with the three-term recurrence methods.


title: Software Model-Checking as Cyclic-Proof Search

abstract: This paper shows that a variety of software model-checking algorithms can be seen as proof-search strategies for a non-standard proof system, known as a cyclic proof system. Our use of the cyclic proof system as a logical foundation of software model checking enables us to compare different algorithms, to reconstruct well-known algorithms from a few simple principles, and to obtain soundness proofs of algorithms for free. Among others, we show the significance of a heuristics based on a notion that we call maximal conservativity; this explains the cores of important algorithms such as property-directed reachability (PDR) and reveals a surprising connection to an efficient solver of games over infinite graphs that was not regarded as a kind of PDR.


title: Hydrodynamic and geometric effects in the sedimentation of model run-and-tumble bacteria

abstract: The sedimentation process in a suspension of bacteria is the result of the competition between gravity and the intrinsic motion of the microorganisms. We perform simulations of run-and-tumble "squirmers" that move in a fluid medium, focusing on the dependence of the non-equilibrium steady state on the bacterial swimming properties. We find that for high enough activity, the density profiles are no longer simple exponentials; we recover the numerical results via the introduction of a local effective temperature, suggesting that the breakdown of the Perrin-like exponential form is a collective effect due to the onset of fluid-mediated dynamic correlations among particles. We show that analogous concepts can fit also the case of shakers, for which we report the first study of this kind. Moreover we provide evidences of scenarios where the solvent hydrodynamics induces nonlocal effects which require the fully three-dimensional dynamics to be taken into account in order to understand sedimentation of active suspensions. Finally, analyzing the statistics of the bacterial swimming orientations, we discuss the emergence of polar order in the steady state sedimentation profiles.


title: Quantum theory is logically inevitable

abstract: General relativity required the abandonment of Euclidean geometry. Here we show that quantum theory requires the abandonment of classical logic. We show that the Hilbert space representation of quantum theory is logically inevitable. There are no fundamental principles of quantum theory. We find an inevitable generalization of classical logic. The conjunction can take negative values, and reduces to the classical conjunction for order invariant measurements. The expectation of the conjunction is a generalized joint probability that can take negative values. A commutative conjunction leads to the Hilbert space formalism of quantum theory. Quantum theory applies both to microscopic and macroscopic systems. Classicality is represented by non-negativity of the generalized joint probability. We illustrate this by applying the logic to explain puzzling results in quantum cognition.


title: Tracking multiple spawning targets using Poisson multi-Bernoulli mixtures on sets of tree trajectories

abstract: This paper proposes a Poisson multi-Bernoulli mixture (PMBM) filter on the space of sets of tree trajectories for multiple target tracking with spawning targets. A tree trajectory contains all trajectory information of a target and its descendants, which appear due to the spawning process. Each tree contains a set of branches, where each branch has trajectory information of a target or one of the descendants and its genealogy. For the standard dynamic and measurement models with multi-Bernoulli spawning, the posterior is a PMBM density, with each Bernoulli having information on a potential tree trajectory. To enable a computationally efficient implementation, we derive an approximate PMBM filter in which each Bernoulli tree trajectory has multi-Bernoulli branches, obtained by minimising the Kullback-Leibler divergence. The resulting filter improves tracking performance of state-of-the-art algorithms in a simulated scenario.


title: Tree-level unitarity in Higgs inflation in the metric and the Palatini formulation

abstract: We calculate the tree-level amplitudes for electrically neutral $2\to2$ scattering for the Standard Model Higgs doublet non-minimally coupled to the Ricci scalar. We consider both the metric and the Palatini formulation of gravity. We find the partial wave unitarity limit for a general background field value. Our results are in agreement with previous work. In the electroweak vacuum, tree-level unitarity is violated at $\sim M_\text{Planck}/\xi$ in the metric formulation, and at $\sim M_\text{Planck}/\sqrt{\xi}$ in the Palatini formulation. In the inflationary large field background, the unitarity limit is at $\sim M_\text{Planck}/\sqrt{\xi}$ in both formulations. We compare the unitarity violation energy to scales relevant during inflation. We also calculate a direct collider limit on $\xi$ in the Palatini formulation, $\xi<2.5\times10^{31}$.


title: High spectral resolution multi-tone Spacecraft Doppler tracking software: Algorithms and implementations

abstract: We present a software package for single-dish data processing of spacecraft signals observed with VLBI-equipped radio telescopes. The Spacecraft Doppler tracking (SDtracker) software allows one to obtain topocentric frequency detections with a sub-Hz precision, and reconstructed and residual phases of the carrier signal of any spacecraft or landing vehicle at any location in the Solar System. These data products are estimated using the ground-based telescope's highly stable oscillator as a reference, without requiring an a priori model of the spacecraft dynamics nor the downlink transmission carrier frequency. The software has been extensively validated in multiple observing campaigns of various deep space missions and is compatible with the raw sample data acquired by any standard VLBI radio telescope worldwide. In this paper, we report the numerical methodology of SDtracker, the technical operations for deployment and usage, and a summary of use cases and scientific results produced since its initial release.


title: FabricFlowNet: Bimanual Cloth Manipulation with a Flow-based Policy

abstract: We address the problem of goal-directed cloth manipulation, a challenging task due to the deformability of cloth. Our insight is that optical flow, a technique normally used for motion estimation in video, can also provide an effective representation for corresponding cloth poses across observation and goal images. We introduce FabricFlowNet (FFN), a cloth manipulation policy that leverages flow as both an input and as an action representation to improve performance. FabricFlowNet also elegantly switches between bimanual and single-arm actions based on the desired goal. We show that FabricFlowNet significantly outperforms state-of-the-art model-free and model-based cloth manipulation policies that take image input. We also present real-world experiments on a bimanual system, demonstrating effective sim-to-real transfer. Finally, we show that our method generalizes when trained on a single square cloth to other cloth shapes, such as T-shirts and rectangular cloths. Video and other supplementary materials are available at: https://sites.google.com/view/fabricflownet.


title: Signals of $W'$ and $Z'$ bosons at the LHC in the $SU(3) \times SO(5) \times U(1)$ gauge-Higgs unification

abstract: The $pp\to \{W, W'\} \to l\nu$ and $pp\to \{\gamma, Z, Z'\} \to l^+l^-$ ($l=e,\mu$) processes in the $SU(3)_C\times SO(5)\times U(1)_X$ gauge-Higgs unification (GHU) models are studied, where $W'$ and $Z'$ bosons are Kaluza-Klein (KK) exited states of the electroweak gauge bosons. From the experimental data collected at the Large Hadron Collider, constraints on the KK mass scale and the Aharonov-Bohm phase are obtained. One can explore the KK mass scale in the GUT inspired GHU model up to 18 TeV for the luminosity 300 fb$^{-1}$ and 22 TeV for the luminosity 3000 fb$^{-1}$ at $\sqrt{s}=14$ TeV.


title: Intermediate dimensions of Bedford-McMullen carpets with applications to Lipschitz equivalence

abstract: Intermediate dimensions were recently introduced to provide a spectrum of dimensions interpolating between Hausdorff and box-counting dimensions for fractals where these differ. In particular, the self-affine Bedford-McMullen carpets are a natural case for investigation, but until now only very rough bounds for their intermediate dimensions have been found. In this paper, we determine a precise formula for the intermediate dimensions $\dim_{\, \theta}\Lambda$ of any Bedford-McMullen carpet $\Lambda$ for the whole spectrum of $\theta \in [0,1]$, in terms of a certain large deviations rate function. The intermediate dimensions exist and are strictly increasing in $\theta$, and the function $\theta\mapsto \dim_{\, \theta}\Lambda$ exhibits interesting features not witnessed on any previous example, such as having countably many phase transitions, between which it is analytic and strictly concave. We make an unexpected connection to multifractal analysis by showing that two carpets with non-uniform vertical fibres have equal intermediate dimensions if and only if the Hausdorff multifractal spectra of the uniform Bernoulli measures on the two carpets are equal. Since intermediate dimensions are bi-Lipschitz invariant, this shows that the equality of these multifractal spectra is a necessary condition for two such carpets to be Lipschitz equivalent.


title: A modular approach to the generalized Ramanujan-Nagell equation

abstract: Let $k$ be a positive integer. In this paper, using the modular approach, we prove that if $k\equiv 0 \pmod{4}$, $30< k<724$ and $2k-1$ is an odd prime power, then under the GRH, the equation $x^2+(2k-1)^y=k^z$ has only one positive integer solution $(x,y,z)=(k-1,1,2)$. The above results solve some difficult cases of Terai's conecture concerning this equation.


title: Magnetic Proximity-Induced Superconducting Diode Effect and Infinite Magnetoresistance in van der Waals Heterostructure

abstract: We report unidirectional charge transport in a $\mathrm{NbSe_2}$ noncentrosymmetric superconductor, which is exchange-coupled with a $\mathrm{CrPS_4}$ van der Waals layered antiferromagnetic insulator. The $\mathrm{NbSe_2/CrPS_4}$ bilayer device exhibits bias-dependent superconducting critical-current variations of up to $16\%$, with the magnetochiral anisotropy reaching $\sim 10^5\mathrm{\ T^{-1}A^{-1}}$. Furthermore, the $\mathrm{CrPS_4/NbSe_2/CrPS_4}$ spin-valve structure exhibits the superconducting diode effect with critical-current variations of up to $40\%$. We also utilize the magnetic proximity effect to induce switching in the superconducting state of the spin-valve structure. It exhibits an infinite magnetoresistance ratio depending on the field sweep direction and magnetization configuration. Our result demonstrates a novel route for enhancing the nonreciprocal response in the weak external field regime ($<50\mathrm{\ mT}$) by exploiting the magnetic proximity effect.


title: Machine Learning Models Disclosure from Trusted Research Environments (TRE), Challenges and Opportunities

abstract: Artificial intelligence (AI) applications in healthcare and medicine have increased in recent years. To enable access to personal data, Trusted Research environments (TREs) provide safe and secure environments in which researchers can access sensitive personal data and develop Artificial Intelligence (AI) and Machine Learning models. However currently few TREs support the use of automated AI-based modelling using Machine Learning. Early attempts have been made in the literature to present and introduce privacy preserving machine learning from the design point of view [1]. However, there exists a gap in the practical decision-making guidance for TREs in handling models disclosure. Specifically, the use of machine learning creates a need to disclose new types of outputs from TREs, such as trained machine learning models. Although TREs have clear policies for the disclosure of statistical outputs, the extent to which trained models can leak personal training data once released is not well understood and guidelines do not exist within TREs for the safe disclosure of these models. In this paper we introduce the challenge of disclosing trained machine learning models from TREs. We first give an overview of machine learning models in general and describe some of their applications in healthcare and medicine. We define the main vulnerabilities of trained machine learning models in general. We also describe the main factors affecting the vulnerabilities of disclosing machine learning models. This paper also provides insights and analyses methods that could be introduced within TREs to mitigate the risk of privacy breaches when disclosing trained models.


title: Spectrum Allocation with Adaptive Sub-band Bandwidth for Terahertz Communication Systems

abstract: We study spectrum allocation for terahertz (THz) band communication (THzCom) systems, while considering the frequency and distance-dependent nature of THz channels. Different from existing studies, we explore multi-band-based spectrum allocation with adaptive sub-band bandwidth (ASB) by allowing the spectrum of interest to be divided into sub-bands with unequal bandwidths. Also, we investigate the impact of sub-band assignment on multi-connectivity (MC) enabled THzCom systems, where users associate and communicate with multiple access points simultaneously. We formulate resource allocation problems, with the primary focus on spectrum allocation, to determine sub-band assignment, sub-band bandwidth, and optimal transmit power. Thereafter, we propose reasonable approximations and transformations, and develop iterative algorithms based on the successive convex approximation technique to analytically solve the formulated problems. Aided by numerical results, we show that by enabling and optimizing ASB, significantly higher throughput can be achieved as compared to adopting equal sub-band bandwidth, and this throughput gain is most profound when the power budget constraint is more stringent. We also show that our sub-band assignment strategy in MC-enabled THzCom systems outperforms the state-of-the-art sub-band assignment strategies and the performance gain is most profound when the spectrum with the lowest average molecular absorption coefficient is selected during spectrum allocation.


title: Lee-Yang edge singularities in 2+1 flavor QCD with imaginary chemical potential

abstract: We present results of the location of the closest singularities in the complex chemical potential plane using a novel method. These results are obtained with (2+1)-flavor of highly improved staggered quarks (HISQ) on lattices with temporal extent of Nt=4,6. We show that the scaling is consistent with the expected scaling of the Lee-Yang edge singularities in the vicinity of the Roberge-Weiss (RW) transition. We determine various non-universal parameters using 3D Ising model scaling functions that map QCD in the scaling region of the RW transition. Furthermore, as a preliminary result we discuss how the Lee-Yang edge singularity can be used to probe the chiral phase transition in QCD. The singularity obtained close to the chiral phase transition temperature Tc seems to be in agreement with the expected scaling of the Lee-Yang edge singularity. As an outlook, we discuss the scaling of the Lee-Yang edge singularity in the vicinity of a possible critical end point in QCD, at even lower temperatures. In the future, such a scaling analysis might hint on the existence and the location of the critical end point. The work presented here is a part of an ongoing project of Bielefeld Parma joint collaboration.


title: Comparing dominance of tennis' big three via multiple-output Bayesian quantile regression models

abstract: Tennis has seen a myriad of great male tennis players throughout its history and we are often interested in the discussion of who is/was the greatest player of all time. While we do not try to answer this question here, we delve into comparing some key statistics related to dominance over their opponents for the male players with the most Grand Slam titles, currently: Djokovic, Federer and Nadal, in alphabetical order. Here we consider the minutes played and the relative points in each of their completed matches, as a measure of dominance against other players. We consider important covariates such as surface, win or loss, type of tournament and whether their opponent was a top 20 ranked player in the world or not, to create a more complete comparison of their performance. We consider a Bayesian quantile regression model for multiple-output response variables to take into account the dependence between minutes and relative points won. This approach is compelling since we do not need to choose a probability distribution for the joint probability distribution of our response variable. Our results agree with the common intuition of Nadal's superiority in clay courts, Federer's superiority in grass courts and Djokovic's superiority in hard courts given their success in each of these surfaces; though Nadal's dominance in clay court games is unique. Federer shows his dominance regarding minutes spent in the court in wins, while Djokovic takes the edge when considering the dimension of relative points won, for most of the comparisons. While minutes can be directly connected to style of play, the relative points dimension could express more directly different levels of advantage over their opponent, in which Djokovic seems to be the overall leader in this analysis.


title: Constraints on ultralight axions, vector gauge bosons, and unparticles from geodetic and frame-dragging measurements

abstract: The geodetic and frame-dragging effects are the direct consequences of the spacetime curvature near Earth which can be probed from the Gravity probe B (GP-B) satellite. The satellite result matches quite well with Einstein's general relativistic result. The gyroscope of the satellite which measures the spacetime curvature near Earth contains lots of electrons and nucleons. Ultralight axions, vector gauge bosons, and unparticles can interact with these electrons and nucleons through different spin-dependent and spin-independent operators and change the drift rate of the gyroscope. Some of these ultralight particles can either behave as a long range force between some dark sector or Earth and the gyroscope or they can behave as a background oscillating dark matter fields or both. These ultralight particles can contribute an additional precession of the gyroscopes, limited to be no larger than the uncertainty in the GP-B measurements. Compared with the experimental results, we obtain bounds on different operator couplings.


title: Skin friction and heat transfer in hypersonic transitional and turbulent boundary layers

abstract: The decompositions of the skin-friction and heat transfer coefficients based on the two-fold repeated integration in hypersonic transitional and turbulent boundary layers are analyzed to explain the generations of the wall skin friction and heat transfer. The Reynolds analogy factor slightly increases as the wall temperature decreases, especially for the extremely cooled wall. The integral analysis is applied to explain the overshoot behaviours of the skin-friction and heat transfer coefficients in hypersonic transitional boundary layers. The overshoot of the skin-friction coefficient is mainly caused by the drastic change of the mean velocity profiles, and the overshoot of the heat transfer coefficient is primarily due to the viscous dissipation. In the hypersonic turbulent boundary layers, the skin-friction and heat transfer coefficients increase significantly as the wall temperature decreases. The effects of the mean velocity gradients and the Reynolds shear stress contribute dominantly to the wall skin friction, and have weak correlations with the wall temperature, except for the strongly cooled wall condition. The strongly cooled wall condition and high Mach number can enhance the effect of the Reynolds shear stress, and weaken the impact of the mean velocity gradients. Furthermore, the magnitudes of the dominant relative contributions of the mean temperature gradients, pressure dilatation, viscous dissipation and the Reynolds heat flux to the heat transfer coefficient increase as the wall temperature increases in the hypersonic turbulent boundary layers.


title: Beyond Dunbar circles: a continuous description of social relationships and resource allocation

abstract: We discuss the structure of human relationship patterns in terms of a new formalism that allows to study resource allocation problems where the cost of the resource may take continuous values. This is in contrast with the main focus of previous studies where relationships were classified in a few, discrete layers (known as Dunbar's circles) with the cost being the same within each layer. We show that with our continuum approach we can identify a parameter $\eta$ that is the equivalent of the ratio of relationships between adjacent circles in the discrete case, with a value $\eta\sim 6$. We confirm this prediction using three different datasets coming from phone records, face-to-face contacts, and interactions in Facebook. As the sample size increases, the distributions of estimated parameters smooth around the predicted value of $\eta$. The existence of a characteristic value of the parameter at the population level indicates that the model is capturing a seemingly universal feature on how humans manage relationships. Our analyses also confirm earlier results showing the existence of social signatures arising from having to allocate finite resources into different relationships, and that the structure of online personal networks mirrors those in the off-line world.


title: Locally convex spaces with the strong Gelfand-Phillips property

abstract: We introduce the strong Gelfand-Phillips property for locally convex spaces and give several characterizations of this property. We characterize the strong Gelfand-Phillips property among locally convex spaces admitting a stronger Banach space topology. If $C_{\mathcal T}(X)$ is a space of continuous functions on a Tychonoff space $X$, endowed with a locally convex topology $\mathcal T$ between the pointwise topology and the compact-open topology, then: (a) the space $C_{\mathcal T}(X)$ has the strong Gelfand-Phillips property iff $X$ contains a compact countable subspace $K\subseteq X$ of finite scattered height such that for every functionally bounded set $B\subseteq X$ the complement $B\setminus K$ is finite, (b) the subspace $C^b_{\mathcal T}(X)$ of $C_{\mathcal T}(X)$ consisting of all bounded functions on $X$ has the strong Gelfand-Phillips property iff $X$ is a compact countable space of finite scattered height.


title: On the geometry of flag Hilbert-Poincar\'e series for matroids

abstract: We extend the definition of coarse flag Hilbert--Poincar\'e series to matroids; these series arise in the context of local Igusa zeta functions associated to hyperplane arrangements. We study these series in the case of oriented matroids by applying geometric and combinatorial tools related to their topes. In this case, we prove that the numerators of these series are coefficient-wise bounded below by the Eulerian polynomial and equality holds if and only if all topes are simplicial. Moreover this yields a sufficient criterion for non-orientability of matroids of arbitrary rank.


title: Uniform Convergence Guarantees for the Deep Ritz Method for Nonlinear Problems

abstract: We provide convergence guarantees for the Deep Ritz Method for abstract variational energies. Our results cover non-linear variational problems such as the $p$-Laplace equation or the Modica-Mortola energy with essential or natural boundary conditions. Under additional assumptions, we show that the convergence is uniform across % bounded families of right-hand sides.


title: Entanglement criteria for the bosonic and fermionic induced ensembles

abstract: We introduce the bosonic and fermionic ensembles of density matrices and study their entanglement. In the fermionic case, we show that random bipartite fermionic density matrices have non-positive partial transposition, hence they are typically entangled. The similar analysis in the bosonic case is more delicate, due to a large positive outlier eigenvalue. We compute the asymptotic ratio between the size of the environment and the size of the system Hilbert space for which random bipartite bosonic density matrices fail the PPT criterion, being thus entangled. We also relate moment computations for tensor-symmetric random matrices to evaluations of the circuit-counting and interlace graph polynomials for directed graphs.

categories: math-ph math.CO math.MP math.PR quant-ph


title: Graph Transplant: Node Saliency-Guided Graph Mixup with Local Structure Preservation

abstract: Graph-structured datasets usually have irregular graph sizes and connectivities, rendering the use of recent data augmentation techniques, such as Mixup, difficult. To tackle this challenge, we present the first Mixup-like graph augmentation method at the graph-level called Graph Transplant, which mixes irregular graphs in data space. To be well defined on various scales of the graph, our method identifies the sub-structure as a mix unit that can preserve the local information. Since the mixup-based methods without special consideration of the context are prone to generate noisy samples, our method explicitly employs the node saliency information to select meaningful subgraphs and adaptively determine the labels. We extensively validate our method with diverse GNN architectures on multiple graph classification benchmark datasets from a wide range of graph domains of different sizes. Experimental results show the consistent superiority of our method over other basic data augmentation baselines. We also demonstrate that Graph Transplant enhances the performance in terms of robustness and model calibration.


title: A Quaternionic Map Causing Bipartite Entanglement

abstract: In the following manuscript we propose a quaternionic map which transforms a single quantum state into a bipartite entanglement. Until now such a transformation has not been defined yet. To define such a map, we embed one particle state within the algebra of complex quaternions. Next, on the basis of rotational features of quaternions, we choose a special quaternion which in combination with a quaternion describing a particle state, causes its splitting in a specified direction in 4D space. Finally, we prove that the proposed operation, under several restrictions, always causes bipartite entanglement.


title: Parallel Physics-Informed Neural Networks with Bidirectional Balance

abstract: As an emerging technology in deep learning, physics-informed neural networks (PINNs) have been widely used to solve various partial differential equations (PDEs) in engineering. However, PDEs based on practical considerations contain multiple physical quantities and complex initial boundary conditions, thus PINNs often returns incorrect results. Here we take heat transfer problem in multilayer fabrics as a typical example. It is coupled by multiple temperature fields with strong correlation, and the values of variables are extremely unbalanced among different dimensions. We clarify the potential difficulties of solving such problems by classic PINNs, and propose a parallel physics-informed neural networks with bidirectional balance. In detail, our parallel solving framework synchronously fits coupled equations through several multilayer perceptions. Moreover, we design two modules to balance forward process of data and back-propagation process of loss gradient. This bidirectional balance not only enables the whole network to converge stably, but also helps to fully learn various physical conditions in PDEs. We provide a series of ablation experiments to verify the effectiveness of the proposed methods. The results show that our approach makes the PINNs unsolvable problem solvable, and achieves excellent solving accuracy.


title: Atom interferometry using $\sigma^+$-$\sigma^-$ Raman transitions between $F=1,m_F=\mp1$ and $F=2,m_F=\pm1$

abstract: We report on the experimental demonstration of a horizontal accelerometer based on atom interferometry using counterpropagative Raman transitions between the states $F=1,m_F=\mp1$ and $F=2,m_F=\pm1$ of $^{87}$Rb. Compared to the $F=1,m_F=0 \leftrightarrow F=2,m_F=0$ transition usually used in atom interferometry, our scheme presents the advantages to have only a single counterpropagating transition allowed in a retroreected geometry, to use the same polarization configuration than the magneto-optical trap and to allow the control of the atom trajectory with magnetic forces. We demonstrate horizontal acceleration measurement in a close-to-zero velocity regime using a singlediffraction Raman process with a short-term sensitivity of $25 \times 10^{-5}$ m.s$^{-2}$.Hz$^{-1/2}$. We discuss specific features of the technique such as spontaneous emission, light-shifts and effects of magnetic field inhomogeneities. We finally give possible applications of this technique in metrology or for cold-atom inertial sensors dedicated to onboard applications.


title: Conditional Alignment and Uniformity for Contrastive Learning with Continuous Proxy Labels

abstract: Contrastive Learning has shown impressive results on natural and medical images, without requiring annotated data. However, a particularity of medical images is the availability of meta-data (such as age or sex) that can be exploited for learning representations. Here, we show that the recently proposed contrastive y-Aware InfoNCE loss, that integrates multi-dimensional meta-data, asymptotically optimizes two properties: conditional alignment and global uniformity. Similarly to [Wang, 2020], conditional alignment means that similar samples should have similar features, but conditionally on the meta-data. Instead, global uniformity means that the (normalized) features should be uniformly distributed on the unit hyper-sphere, independently of the meta-data. Here, we propose to define conditional uniformity, relying on the meta-data, that repel only samples with dissimilar meta-data. We show that direct optimization of both conditional alignment and uniformity improves the representations, in terms of linear evaluation, on both CIFAR-100 and a brain MRI dataset.


title: On the Glasner property for matrices with polynomial entries

abstract: We obtain a new bound in the uniform version of the Glasner property for matrices with polynomial entries, improving that of K. Bulinski and A. Fish (2021). This improvement is based on a more careful examination of complete rational exponential sums with polynomials and can perhaps be used in other questions of the similar spirit.


title: Social Fraud Detection Review: Methods, Challenges and Analysis

abstract: Social reviews have dominated the web and become a plausible source of product information. People and businesses use such information for decision-making. Businesses also make use of social information to spread fake information using a single user, groups of users, or a bot trained to generate fraudulent content. Many studies proposed approaches based on user behaviors and review text to address the challenges of fraud detection. To provide an exhaustive literature review, social fraud detection is reviewed using a framework that considers three key components: the review itself, the user who carries out the review, and the item being reviewed. As features are extracted for the component representation, a feature-wise review is provided based on behavioral, text-based features and their combination. With this framework, a comprehensive overview of approaches is presented including supervised, semi-supervised, and unsupervised learning. The supervised approaches for fraud detection are introduced and categorized into two sub-categories; classical, and deep learning. The lack of labeled datasets is explained and potential solutions are suggested. To help new researchers in the area develop a better understanding, a topic analysis and an overview of future directions is provided in each step of the proposed systematic framework.


title: Quantum amplitude damping for solving homogeneous linear differential equations: A noninterferometric algorithm

abstract: In contexts where relevant problems can easily attain configuration spaces of enormous sizes, solving Linear Differential Equations (LDEs) can become a hard achievement for classical computers; on the other hand, the rise of quantum hardware can conceptually enable such high-dimensional problems to be solved with a foreseeable number of qubits, whilst also yielding quantum advantage in terms of time complexity. Nevertheless, in order to bridge towards experimental realizations with several qubits and harvest such potential in a short-term basis, one must dispose of efficient quantum algorithms that are compatible with near-term projections of state-of-the-art hardware, in terms of both techniques and limitations. As the conception of such algorithms is no trivial task, insights on new heuristics are welcomed. This work proposes a novel approach by using the Quantum Amplitude Damping operation as a resource, in order to construct an efficient quantum algorithm for solving homogeneous LDEs. As the intended implementation involves performing Amplitude Damping exclusively via a simple equivalent quantum circuit, our algorithm shall be given by a gate-level quantum circuit (predominantly composed of elementary 2-qubit gates) and is particularly nonrestrictive in terms of connectivity within and between some of its main quantum registers. We show that such an open quantum system-inspired circuitry allows for constructing the real exponential terms in the solution in a non-interferometric way; we also provide a guideline for guaranteeing a lower bound on the probability of success for each realization, by exploring the decay properties of the underlying quantum operation.


title: Resonance contributions in $B^-\to K^+K^-\pi^-$ within the light-come sum rule approach

abstract: In this work, we study the resonance contributions to the decay $B^-\to K^+K^-\pi^-$, which is dominated by the scalar $f_0(980), K_0^*(1430)$, vector $\rho(1450), \phi(1020), K^*(892)$ and tensor $f_2(1270)$ resonances. The three-body decay is reduced to various quasi two-body decays, where the $B$ meson firstly decays into a resonance and a pion or a kaon, subsequently the resonance decays into the other two final-state mesons. The quasi two-body decays are calculated within the light-cone sum rule approach utilizing the leading twist $B$ meson light-cone distribution amplitudes. Finally, the decay branching fraction contribution from each resonance are calculated. Some of them are compatible with experiment or previous theoretical works. Including the effects of non-resonant and final-state interactions, we also evaluate the total branching fraction.


title: The Hadwiger theorem on convex functions, III: Steiner formulas and mixed Monge-Amp\`ere measures

abstract: A complete family of functional Steiner formulas is established. As applications, an explicit representation of functional intrinsic volumes using special mixed Monge-Amp\`ere measures and a new version of the Hadwiger theorem on convex functions are obtained.


title: A Comprehensive Evaluation of Android ICC Resolution Techniques

abstract: Inter-component communication (ICC) is a widely used mechanism in mobile apps, which enables message-based control flow transferring and data passing between Android components. Effective ICC resolution requires precisely identifying entry points, analyzing data values of ICC fields, modeling related framework APIs, etc. Due to various control-flow- and data-flow-related characteristics involved and the lack of oracles for real-world apps, the comprehensive evaluation of ICC resolution techniques is challenging. To fill this gap, we collect multiple-type benchmark suites with 4,104 apps, covering hand-made apps, open-source, and commercial ones. Considering their differences, various evaluation metrics, e.g., number count, graph structure, and reliable oracle based metrics, are adopted on-demand. As the oracle for real-world apps is unavailable, we design a dynamic analysis approach to extract the real ICC links triggered during GUI exploration. By auditing the code implementations, we carefully check the extracted ICCs and confirm 1,680 ones to form a reliable oracle set, in which each ICC is labeled with 25 code characteristic tags. The evaluation performed on six state-of-the-art ICC resolution tools shows that 1) the completeness of static ICC resolution results on real-world apps is not satisfactory, as up to 38%-85% ICCs are missed by tools; 2) many wrongly reported ICCs are sent from or received by only a few components and the graph structure information can help the identification; 3) the efficiency of fundamental tools, like ICC resolution ones, should be optimized in both engineering and research aspects. By investigating both the missed and wrongly reported ICCs, we discuss the strengths of different tools for users and summarize eight common FN/FP patterns in ICC resolution for tool developers.


title: Spontaneous rotational symmetry breaking in KTaO$_3$ heterointerface superconductors

abstract: Broken symmetries play a fundamental role in superconductivity and influence many of its properties in a profound way. Understanding these symmetry breaking states is essential to elucidate the various exotic quantum behaviors in non-trivial superconductors. Here, we report an experimental observation of spontaneous rotational symmetry breaking of superconductivity at the heterointerface of amorphous (a)-YAlO$_3$/KTaO$_3$(111) with a superconducting transition temperature of 1.86 K. Both the magnetoresistance and superconducting critical field in an in-plane field manifest striking twofold symmetric oscillations deep inside the superconducting state, whereas the anisotropy vanishes in the normal state, demonstrating that it is an intrinsic property of the superconducting phase. We attribute this behavior to the mixed-parity superconducting state, which is an admixture of \emph{s}-wave and \emph{p}-wave pairing components induced by strong spin-orbit coupling inherent to inversion symmetry breaking at the heterointerface of a-YAlO$_3$/KTaO$_3$. Our work suggests an unconventional nature of the underlying pairing interaction in the KTaO$_3$ heterointerface superconductors, and brings a new broad of perspective on understanding non-trivial superconducting properties at the artificial heterointerfaces.


title: Porting incompressible flow matrix assembly to FPGAs for accelerating HPC engineering simulations

abstract: Engineering is an important domain for supercomputing, with the Alya model being a popular code for undertaking such simulations. With ever increasing demand from users to model larger, more complex systems at reduced time to solution it is important to explore the role that novel hardware technologies, such as FPGAs, can play in accelerating these workloads on future exascale systems. In this paper we explore the porting of Alya's incompressible flow matrix assembly kernel, which accounts for a large proportion of the model runtime, onto FPGAs. After describing in detail successful strategies for optimisation at the kernel level, we then explore sharing the workload between the FPGA and host CPU, mapping most appropriate parts of the kernel between these technologies, enabling us to more effectively exploit the FPGA. We then compare the performance of our approach on a Xilinx Alveo U280 against a 24-core Xeon Platinum CPU and Nvidia V100 GPU, with the FPGA significantly out-performing the CPU and performing comparably against the GPU, whilst drawing substantially less power. The result of this work is both an experience report describing appropriate dataflow optimisations which we believe can be applied more widely as a case-study across HPC codes, and a performance comparison for this specific workload that demonstrates the potential for FPGAs in accelerating HPC engineering simulations.


title: Minimizing the Epidemic Final Size while Containing the Infected Peak Prevalence in SIR Systems

abstract: Mathematical models are instrumental to forecast the spread of pathogens and to evaluate the effectiveness of non-pharmaceutical measures. A plethora of optimal strategies has been recently developed to minimize either the infected peak prevalence (IPP) or the epidemic final size (EFS). While most of the control strategies optimize a simple cost function along a fixed finite-time horizon, no consensus has been reached about how to simultaneously handle the IPP, the EFS, and the avoiding of new cycles of infections rebounding. In this work, based on the characterization of the dynamical behaviour of SIR-type models under control actions (including the stability of equilibrium sets, in terms of the herd immunity), it is studied how to minimize the EFS while keeping - at any time - the IPP controlled. A procedure is proposed to tailor non-pharmaceutical interventions by separating transient from stationary control objectives and the potential benefits of the strategy are illustrated by a detailed analysis and simulation results related to the COVID-19 pandemic.


title: Parameter-robust methods for the Biot-Stokes interfacial coupling without Lagrange multipliers

abstract: In this paper we advance the analysis of discretizations for a fluid-structure interaction model of the monolithic coupling between the free flow of a viscous Newtonian fluid and a deformable porous medium separated by an interface. A five-field mixed-primal finite element scheme is proposed solving for Stokes velocity-pressure and Biot displacement-total pressure-fluid pressure. Adequate inf-sup conditions are derived, and one of the distinctive features of the formulation is that its stability is established robustly in all material parameters. We propose robust preconditioners for this perturbed saddle-point problem using appropriately weighted operators in fractional Sobolev and metric spaces at the interface. The performance is corroborated by several test cases, including the application to interfacial flow in the brain.


title: Utilising urgent computing to tackle the spread of mosquito-borne diseases

abstract: It is estimated that around 80\% of the world's population live in areas susceptible to at-least one major vector borne disease, and approximately 20% of global communicable diseases are spread by mosquitoes. Furthermore, the outbreaks of such diseases are becoming more common and widespread, with much of this driven in recent years by socio-demographic and climatic factors. These trends are causing significant worry to global health organisations, including the CDC and WHO, and-so an important question is the role that technology can play in addressing them. In this work we describe the integration of an epidemiology model, which simulates the spread of mosquito-borne diseases, with the VESTEC urgent computing ecosystem. The intention of this work is to empower human health professionals to exploit this model and more easily explore the progression of mosquito-borne diseases. Traditionally in the domain of the few research scientists, by leveraging state of the art visualisation and analytics techniques, all supported by running the computational workloads on HPC machines in a seamless fashion, we demonstrate the significant advantages that such an integration can provide. Furthermore we demonstrate the benefits of using an ecosystem such as VESTEC, which provides a framework for urgent computing, in supporting the easy adoption of these technologies by the epidemiologists and disaster response professionals more widely.


title: Invariant differential operators and the generalized symmetric group

abstract: In this paper we study the decomposition of the direct image of $\pi_+(\Oc_{X})$ the polynomial ring $\Oc_X$ as a $\D$-module, under the map $\pi: \spec \Oc_{X} \to \spec \Oc_{X}^{G(r,n)}$, where $\Oc_{X}^{G(r,n)}$ is the ring of invariant polynomial under the action of the wreath product $G(r,p):= \ZZ / r \ZZ \wr \Sc_n $. We first describe the generators of the simple components of $\pi_+(\Oc_X)$ and give their multiplicities. Using an equivalence of categories and the higher Specht polynomials, we describe a $\D$-module decomposition of the polynomial ring localized at the discriminant of $\pi$. Furthermore, we study the action invariants, differential operators, on the higher Specht polynomials.


title: Properties of the $\eta$ and $\eta^{\prime}$ mesons: Masses, decay constants and gluonic matrix elements

abstract: We present results for the $\eta$ and $\eta^\prime$ masses and their four independent decay constants at the physical point as well as their anomalous gluonic matrix elements $a_{\eta^{(\prime)}}$. The chiral and continuum limit extrapolation is performed on twenty-one $N_f = 2+1$ Coordinated Lattice Simulations (CLS) ensembles with non-perturbatively improved Wilson fermions at four different lattice spacings and along two trajectories in the quark mass plane, including one ensemble very close to physical quark masses. For the first time the decay constants are determined directly from the axialvector matrix elements without model assumptions. This allows us to study their QCD scale dependence and to determine all low-energy constants contributing at next-to-leading order in large-$N_c$ ChPT at a well defined QCD renormalization scale. We also discuss higher excited states in the $1400\,\mathrm{MeV}$ region.


title: Direct experimental evidence for substrate adatom incorporation into a molecular overlayer

abstract: While the phenomenon of metal substrate adatom incorporation into molecular overlayers is generally believed to occur in several systems, the experimental evidence for this relies on the interpretation of scanning tunnelling microscopy (STM) images, which can be ambiguous and provides no quantitative structural information. We show that surface X-ray diffraction (SXRD) uniquely provides unambiguous identification of these metal adatoms. We present the results of a detailed structural study of the Au(111)-F4TCNQ system, combining surface characterisation by STM, low energy electron diffraction and soft X-ray photoelectron spectroscopy with quantitative experimental structural information from normal incidence X-ray standing waves (NIXSW) and SXRD, together with dispersion corrected density functional theory (DFT) calculations. Excellent agreement is found between the NIXSW data and the DFT calculations regarding the height and conformation of the adsorbed molecule, which has a twisted geometry rather than the previously supposed inverted bowl shape. SXRD measurements provide unequivocal evidence for the presence and location of Au adatoms, while the DFT calculations show this reconstruction to be strongly energetically favoured.


title: In-situ measurements of dendrite tip shape selection in a metallic alloy

abstract: The size and shape of the primary dendrite tips determine the principal length scale of the microstructure evolving during solidification of alloys. In-situ X-ray measurements of the tip shape in metals have been unsuccessful so far due to insufficient spatial resolution or high image noise. To overcome these limitations, high-resolution synchrotron radiography and advanced image processing techniques are applied to a thin sample of a solidifying Ga-35wt.%In alloy. Quantitative in-situ measurements are performed of the growth of dendrite tips during the fast initial transient and the subsequent steady growth period, with tip velocities ranging over almost two orders of magnitude. The value of the dendrite tip shape selection parameter is found to be $\sigma^* = 0.0768$, which suggests an interface energy anisotropy of $\varepsilon_4 = 0.015$ for the present Ga-In alloy. The non-axisymmetric dendrite tip shape amplitude coefficient is measured to be $A_4 \approx 0.004$, which is in excellent agreement with the universal value previously established for dendrites.


title: Quantum gravity phenomenology at the dawn of the multi-messenger era -- A review

abstract: The exploration of the universe has recently entered a new era thanks to the multi-messenger paradigm, characterized by a continuous increase in the quantity and quality of experimental data that is obtained by the detection of the various cosmic messengers (photons, neutrinos, cosmic rays and gravitational waves) from numerous origins. They give us information about their sources in the universe and the properties of the intergalactic medium. Moreover, multi-messenger astronomy opens up the possibility to search for phenomenological signatures of quantum gravity. On the one hand, the most energetic events allow us to test our physical theories at energy regimes which are not directly accessible in accelerators; on the other hand, tiny effects in the propagation of very high energy particles could be amplified by cosmological distances. After decades of merely theoretical investigations, the possibility of obtaining phenomenological indications of Planck-scale effects is a revolutionary step in the quest for a quantum theory of gravity, but it requires cooperation between different communities of physicists (both theoretical and experimental). This review is aimed at promoting this cooperation by giving a state-of-the art account of the interdisciplinary expertise that is needed in the effective search of quantum gravity footprints in the production, propagation and detection of cosmic messengers.


title: Thermodynamics in new model of loop quantum cosmology

abstract: The thermodynamic properties of loop quantum cosmology (LQC) without considering the Lorentz term were established in \cite{Zhu09}. In this paper, we extend this result to the recent proposed new model of LQC with the Lorentz term. We investigate the thermodynamics of LQC on the apparent horizon of the Friedmann-Lematre-Robertson-Walker universe. The result shows that the effective density and effective pressure in the modified Friedmann equation of LQC not only determines the evolution of the universe but can also serve as the thermodynamic quantities. Moreover, with the help of the Misner-Sharp energy, the first law of thermodynamics of the LQC is still valid as expected. This in turn endows precise physical meaning to the effective matter density $\rho_{eff}$ and the effective pressure $P_{eff}$.


title: Global and Local Scaling Limits for Linear Eigenvalue Statistics of Jacobi $\beta$-Ensembles

abstract: We study the moment-generating functions (MGF) for linear eigenvalue statistics of Jacobi unitary, symplectic and orthogonal ensembles. By expressing the MGF as Fredholm determinants of kernels of finite rank, we show that the mean and variance of the suitably scaled linear statistics in these Jacobi ensembles are related to the sine kernel in the bulk of the spectrum, whereas they are related to the Bessel kernel at the (hard) edge of the spectrum. The relation between the Jacobi symplectic/orthogonal ensemble (JSE/JOE) and the Jacobi unitary ensemble (JUE) is also established.


title: Balance and pattern distribution of sequences derived from pseudorandom subsets of $\mathbb{Z}_q$

abstract: Let $q$ be a positive integer and $\mathcal{S}=\left\{x_0,x_1,\ldots,x_{T-1}\right\}\subseteq\mathbb{Z}_q=\{0,1,\ldots,q-1\}$ with $$0\leq x_0<x_1<\ldots< x_{T-1}\leq q-1.$$ We derive from $\mathcal{S}$ three (finite) sequences. 1. For an integer $M\geq 2$ let $(s_n)$ be the $M$-ary sequence defined by \begin{eqnarray*} s_n\equiv x_{n+1}-x_n \bmod M, \qquad n=0,1,\ldots, T-2. \end{eqnarray*} 2. For an integer $m\geq 2$ let $(t_n)$ be the binary sequence defined by \begin{eqnarray*} t_n=\left\{\begin{array}{ll} 1, & \hbox{if } 1\leq x_{n+1}-x_n\leq m-1, \\ 0, & \hbox{otherwise}, \end{array}\right. \qquad n=0,1,\ldots, T-2. \end{eqnarray*} 3. Let $(u_n)$ be the characteristic sequence of $\mathcal{S}$, \begin{eqnarray*} u_n=\left\{\begin{array}{ll} 1, & \hbox{if } n\in \mathcal{S}, \\ 0, & \hbox{otherwise}, \end{array}\right. \qquad n=0,1,\ldots, q-1. \end{eqnarray*} We study the balance and pattern distribution of the sequences $(s_n)$, $(t_n)$ and $(u_n)$. For sets $\mathcal{S}$ with desirable pseudorandom properties, more precisely, sets with low correlation measures, we show the following: 1. The sequence $(s_n)$ is (asymptotically) balanced and has uniform pattern distribution if $T$ is of smaller order of magnitude than $q$. 2. The sequence $(t_n)$ is balanced and has uniform pattern distribution if $T$ is approximately $\left(1-\frac{1}{2^{1/(m-1)}}\right)q$. 3. The sequence $(u_n)$ is balanced and has uniform pattern distribution if $T$ is approximately $\frac{q}{2}$. These results are motivated by earlier results for the sets of quadratic residues and primitive roots modulo a prime. We unify these results and derive many further (asymptotically) balanced sequences with uniform pattern distribution from pseudorandom subsets.


title: The Impact of Changes in Resolution on the Persistent Homology of Images

abstract: Digital images enable quantitative analysis of material properties at micro and macro length scales, but choosing an appropriate resolution when acquiring the image is challenging. A high resolution means longer image acquisition and larger data requirements for a given sample, but if the resolution is too low, significant information may be lost. This paper studies the impact of changes in resolution on persistent homology, a tool from topological data analysis that provides a signature of structure in an image across all length scales. Given prior information about a function, the geometry of an object, or its density distribution at a given resolution, we provide methods to select the coarsest resolution yielding results within an acceptable tolerance. We present numerical case studies for an illustrative synthetic example and samples from porous materials where the theoretical bounds are unknown.


title: Constraints on the dark photon from deep inelastic scattering

abstract: We investigate constraints on the dark photon arising from an analysis of deep inelastic scattering (DIS) data. We perform extractions of parton distribution functions (PDFs) with and without a dark photon being present and allow the dark photon mixing parameter and mass to vary. We also include the effects of vector meson dominance to ensure the correct photo-production limit. By considering the variation of the total $\chi^2$ arising from such extractions we infer exclusion limits on the kinetic mixing parameter of the dark photon for dark photon mass up to $80\ {\rm GeV}$.


title: Covert Communication With Mismatched Decoders

abstract: This paper considers the problem of covert communication with mismatched decoding, in which a sender wishes to reliably communicate with a receiver whose decoder is fixed and possibly sub-optimal, and simultaneously to ensure that the communication is covert with respect to a warden. We present single-letter lower and upper bounds on the information-theoretically optimal throughput as a function of the given decoding metric, channel laws, and the desired level of covertness. These bounds match for a variety of scenarios of interest, such as (i) when the channel between the sender and receiver is a binary-input binary-output channel, and (ii) when the decoding metric is particularized to the so-called erasures-only metric. The lower bound is obtained based on a modified random coding union bound with pulse position modulation (PPM) codebooks, coupled with a non-standard expurgation argument. The proof of the upper bound relies on a non-trivial combination of analytical techniques for the problems of covert communication and mismatched decoding.


title: Predicting conductivities of alkali borophosphate glasses based on site energy distributions derived from network former unit concentrations

abstract: For ion transport in network glasses, it is a great challenge to predict conductivities specifically based on structural properties. To this end it is necessary to gain an understanding of the energy landscape where the thermally activated hopping motion of the ions takes place. For alkali borophosphate glasses, a statistical mechanical approach was suggested to predict essential characteristics of the distribution of energies at the residence sites of the mobile alkali ions. The corresponding distribution of site energies was derived from the chemical units forming the glassy network. A hopping model based on the site energy landscape allowed to model the change of conductivity activation energies with the borate to phosphate mixing ratio. Here we refine and extend this general approach to cope with minimal local activation barriers and to calculate dc-conductivities without the need of performing extensive Monte-Carlo simulations. This calculation relies on the mapping of the many-body ion dynamics onto a network of local conductances derived from the elementary jump rates of the mobile ions. Application of the theoretical modelling to three series of alkali borophosphate glasses with the compositions $0.33$Li$_2$O$-0.67$[$x$B$_2$O$_3$-$(1\!-\!x)$P$_2$O$_5$], $0.35$Na$_2$O$-0.65$[$x$B$_2$O$_3$-$(1\!-\!x)$P$_2$O$_5$] and $0.4$Na$_2$O$-0.6$[$x$B$_2$O$_3$-$(1\!-\!x)$P$_2$O$_5$] shows good agreement with experimental data.


title: Power-law fluctuations near critical point in semiconductor lasers with delayed feedback

abstract: Since the analogy between laser oscillation and second-order phase transition was indicated in the 1970s, dynamical fluctuations on lasing threshold inherent in critical phenomena have gained significant interest. Here, we numerically and experimentally demonstrate that a semiconductor laser subject to delayed optical feedback can exhibit unusual large intensity fluctuations characterized by power-law distributions. Such an intensity fluctuation consists of distinct intermittent bursts of light intensity, whose peak values attain tens of times the intensity of the maximum gain mode. This burst behavior emerges when a laser with a long time delay (over 100 ns) and an optimal feedback strength operates around the lasing threshold. The intensity and waiting time statistics follow power-law-like distributions. This implies the emergence of nonequilibrium critical phenomena, namely self-organized criticality. In addition to numerical results, we report experimental results that suggest the power-law intensity dynamics in a semiconductor laser with delayed feedback.


title: Manifold death: a Volume of Fluid implementation of controlled topological changes in thin sheets by the signature method

abstract: A well-known drawback of the Volume-Of-Fluid (VOF) method is that the breakup of thin liquid films or filaments is mainly caused by numerical aspects rather than by physical ones. The rupture of thin films occurs when their thickness reaches the order of the grid size and by refining the grid the breakup events are delayed. When thin filaments rupture, many droplets are generated due to the mass conserving properties of VOF. Thus, the numerical character of the breakup does not allow obtaining the desired convergence of the droplet size distribution under grid refinement. In this work, we present a novel algorithm to detect and perforate thin structures. First, thin films or ligaments are identified by taking quadratic moments of an indicator obtained from the volume fraction. A multiscale approach allows us to choose the critical film thickness independently of the mesh resolution. Then, the breakup is induced by making holes in the films before their thickness reaches the grid size. We show that the method improves the convergence upon grid refinement of the droplets size distribution and of enstrophy.


title: Plasma Waves Accessibility Diagrams: A Tutorial to Include the Fluid and Kinetic Thermal Effects

abstract: Although the accurate description of the wave propagation and absorption in plasmas requires complicated full wave solutions or kinetic simulations, the local dispersion analysis can still be helpful to capture the main physics of wave properties. Plasma wave accessibility informs that whether a wave can propagate to a region, which usually depends on the wave frequency, wave vector, and the local plasma density and magnetic field. In this tutorial paper, we describe the wave accessibility beyond usual textbooks and especially highlight the warm plasma effects. Useful numerical models and methods are provided, which can be used to obtain a quick view of the wave accessibility parameters space. The thermal effects are modeled by both multi-fluid model with isotropic pressure term and kinetic model with Maxwellian velocity distribution function. All cold plasma waves from high frequency electron cyclotron waves, intermediate frequency low hybrid waves to low frequency ion cyclotron waves, as well as kinetic ion and electron Bernstein waves, are presented. The questions that how many plasma wave modes exist and how to find the solutions are also discussed. It is interesting to find that the warm multi-fluid model, though incapable of reproducing the Bernstein modes, can provide a quick way to determine whether the thermal effects are important. To show the kinetic thermal effects, the ray tracing calculations of the mode conversion from cold plasma waves to kinetic waves are also provided, i.e., from the slow X electron cyclotron wave to electron Bernstein wave and from the ion cyclotron fast wave to ion Bernstein wave.


title: DeCOM: Decomposed Policy for Constrained Cooperative Multi-Agent Reinforcement Learning

abstract: In recent years, multi-agent reinforcement learning (MARL) has presented impressive performance in various applications. However, physical limitations, budget restrictions, and many other factors usually impose \textit{constraints} on a multi-agent system (MAS), which cannot be handled by traditional MARL frameworks. Specifically, this paper focuses on constrained MASes where agents work \textit{cooperatively} to maximize the expected team-average return under various constraints on expected team-average costs, and develops a \textit{constrained cooperative MARL} framework, named DeCOM, for such MASes. In particular, DeCOM decomposes the policy of each agent into two modules, which empowers information sharing among agents to achieve better cooperation. In addition, with such modularization, the training algorithm of DeCOM separates the original constrained optimization into an unconstrained optimization on reward and a constraints satisfaction problem on costs. DeCOM then iteratively solves these problems in a computationally efficient manner, which makes DeCOM highly scalable. We also provide theoretical guarantees on the convergence of DeCOM's policy update algorithm. Finally, we validate the effectiveness of DeCOM with various types of costs in both toy and large-scale (with 500 agents) environments.


title: Pre-trained Transformer-Based Approach for Arabic Question Answering : A Comparative Study

abstract: Question answering(QA) is one of the most challenging yet widely investigated problems in Natural Language Processing (NLP). Question-answering (QA) systems try to produce answers for given questions. These answers can be generated from unstructured or structured text. Hence, QA is considered an important research area that can be used in evaluating text understanding systems. A large volume of QA studies was devoted to the English language, investigating the most advanced techniques and achieving state-of-the-art results. However, research efforts in the Arabic question-answering progress at a considerably slower pace due to the scarcity of research efforts in Arabic QA and the lack of large benchmark datasets. Recently many pre-trained language models provided high performance in many Arabic NLP problems. In this work, we evaluate the state-of-the-art pre-trained transformers models for Arabic QA using four reading comprehension datasets which are Arabic-SQuAD, ARCD, AQAD, and TyDiQA-GoldP datasets. We fine-tuned and compared the performance of the AraBERTv2-base model, AraBERTv0.2-large model, and AraELECTRA model. In the last, we provide an analysis to understand and interpret the low-performance results obtained by some models.


title: Automatically detecting data drift in machine learning classifiers

abstract: Classifiers and other statistics-based machine learning (ML) techniques generalize, or learn, based on various statistical properties of the training data. The assumption underlying statistical ML resulting in theoretical or empirical performance guarantees is that the distribution of the training data is representative of the production data distribution. This assumption often breaks; for instance, statistical distributions of the data may change. We term changes that affect ML performance `data drift' or `drift'. Many classification techniques compute a measure of confidence in their results. This measure might not reflect the actual ML performance. A famous example is the Panda picture that is correctly classified as such with a confidence of about 60\%, but when noise is added it is incorrectly classified as a Gibbon with a confidence of above 99\%. However, the work we report on here suggests that a classifier's measure of confidence can be used for the purpose of detecting data drift. We propose an approach based solely on classifier suggested labels and its confidence in them, for alerting on data distribution or feature space changes that are likely to cause data drift. Our approach identities degradation in model performance and does not require labeling of data in production which is often lacking or delayed. Our experiments with three different data sets and classifiers demonstrate the effectiveness of this approach in detecting data drift. This is especially encouraging as the classification itself may or may not be correct and no model input data is required. We further explore the statistical approach of sequential change-point tests to automatically determine the amount of data needed in order to identify drift while controlling the false positive rate (Type-1 error).


title: The MeerKAT Galaxy Cluster Legacy Survey I. Survey Overview and Highlights

abstract: MeerKAT's large number of antennas, spanning 8 km with a densely packed 1 km core, create a powerful instrument for wide-area surveys, with high sensitivity over a wide range of angular scales. The MeerKAT Galaxy Cluster Legacy Survey (MGCLS) is a programme of long-track MeerKAT L-band (900-1670 MHz) observations of 115 galaxy clusters, observed for $\sim$6-10 hours each in full polarisation. The first legacy product data release (DR1), made available with this paper, includes the MeerKAT visibilities, basic image cubes at $\sim$8" resolution, and enhanced spectral and polarisation image cubes at $\sim$8" and 15" resolutions. Typical sensitivities for the full-resolution MGCLS image products are $\sim$3-5 {\mu}Jy/beam. The basic cubes are full-field and span 4 deg^2. The enhanced products consist of the inner 1.44 deg^2 field of view, corrected for the primary beam. The survey is fully sensitive to structures up to $\sim$10' scales and the wide bandwidth allows spectral and Faraday rotation mapping. HI mapping at 209 kHz resolution can be done at $0<z<0.09$ and $0.19<z<0.48$. In this paper, we provide an overview of the survey and DR1 products, including caveats for usage. We present some initial results from the survey, both for their intrinsic scientific value and to highlight the capabilities for further exploration with these data. These include a primary beam-corrected compact source catalogue of $\sim$626,000 sources for the full survey, and an optical/infrared cross-matched catalogue for compact sources in Abell 209 and Abell S295. We examine dust unbiased star-formation rates as a function of clustercentric radius in Abell 209 and present a catalogue of 99 diffuse cluster sources (56 are new), some of which have no suitable characterisation. We also highlight some of the radio galaxies which challenge current paradigms and present first results from HI studies of four targets.