title: Proceedings End-to-End Compositional Models of Vector-Based Semantics

abstract: The workshop End-to-End Compositional Models of Vector-Based Semantics was held at NUI Galway on 15 and 16 August 2022 as part of the 33rd European Summer School in Logic, Language and Information (ESSLLI 2022). The workshop was sponsored by the research project 'A composition calculus for vector-based semantic modelling with a localization for Dutch' (Dutch Research Council 360-89-070, 2017-2022). The workshop program was made up of two parts, the first part reporting on the results of the aforementioned project, the second part consisting of contributed papers on related approaches. The present volume collects the contributed papers and the abstracts of the invited talks.


title: Convergence of denoising diffusion models under the manifold hypothesis

abstract: Denoising diffusion models are a recent class of generative models exhibiting state-of-the-art performance in image and audio synthesis. Such models approximate the time-reversal of a forward noising process from a target distribution to a reference density, which is usually Gaussian. Despite their strong empirical results, the theoretical analysis of such models remains limited. In particular, all current approaches crucially assume that the target density admits a density w.r.t. the Lebesgue measure. This does not cover settings where the target distribution is supported on a lower-dimensional manifold or is given by some empirical distribution. In this paper, we bridge this gap by providing the first convergence results for diffusion models in this more general setting. In particular, we provide quantitative bounds on the Wasserstein distance of order one between the target data distribution and the generative distribution of the diffusion model.


title: Improving Micro-video Recommendation by Controlling Position Bias

abstract: As the micro-video apps become popular, the numbers of micro-videos and users increase rapidly, which highlights the importance of micro-video recommendation. Although the micro-video recommendation can be naturally treated as the sequential recommendation, the previous sequential recommendation models do not fully consider the characteristics of micro-video apps, and in their inductive biases, the role of positions is not in accord with the reality in the micro-video scenario. Therefore, in the paper, we present a model named PDMRec (Position Decoupled Micro-video Recommendation). PDMRec applies separate self-attention modules to model micro-video information and the positional information and then aggregate them together, avoid the noisy correlations between micro-video semantics and positional information being encoded into the sequence embeddings. Moreover, PDMRec proposes contrastive learning strategies which closely match with the characteristics of the micro-video scenario, thus reducing the interference from micro-video positions in sequences. We conduct the extensive experiments on two real-world datasets. The experimental results shows that PDMRec outperforms existing multiple state-of-the-art models and achieves significant performance improvements.


title: Welfare ordering of voting weight allocations

abstract: This paper studies the allocation of voting weights in a committee representing groups of different sizes. We introduce a partial ordering of weight allocations based on stochastic comparison of social welfare. We show that when the number of groups is sufficiently large, this ordering asymptotically coincides with the total ordering induced by the cosine proportionality between the weights and the group sizes. A corollary is that a class of expectation-form objective functions, including expected welfare, the mean majority deficit and the probability of inversions, are asymptotically monotone in the cosine proportionality.


title: Google Test/Google Mock to Verify Critical Embedded Software

abstract: Critical embedded systems (CES) have become ubiquitous in whether medical, automotive, or industrial. Software failures in such systems are potentially disastrous and could lead to serious consequences not only financially but also life-threatening. However, besides their omnipresence, CES complexity have grown to extreme measures, faced with this increase, manufacturers and suppliers are increasingly interested in effective methods of testing logical correctness and verifying that software parts are error-free.Software testing is a collection of methods used to detect and correct bugs and faults found in software code. The first stage of software testing is unit testing, a widely used technique where individual units of source code are isolated, often divided up into classes and functions, and tested separately to aid in the verification of the behavior and functionality of the system. In this chapter, an overview of GoogleTest (GTest), a xUnit C++ testing framework will be performed, and a comparison of different available unit test frameworks for use in the C++ language. On account of the complexity provided by critical embedded systems, it is difficult to isolate and test the system's behavior, mocking techniques were considered to enable a real implementation to be replaced with a fake implementation, the replacement allowed to overcome the challenges related to hardware dependencies and external factors. Further, this chapter describes GoogleMock, a part of GoogleTest C++ testing framework that makes the tests run in isolation.


title: Generative Action Description Prompts for Skeleton-based Action Recognition

abstract: Skeleton-based action recognition has recently received considerable attention. Current approaches to skeleton-based action recognition are typically formulated as one-hot classification tasks and do not fully exploit the semantic relations between actions. For example, "make victory sign" and "thumb up" are two actions of hand gestures, whose major difference lies in the movement of hands. This information is agnostic from the categorical one-hot encoding of action classes but could be unveiled from the action description. Therefore, utilizing action description in training could potentially benefit representation learning. In this work, we propose a Generative Action-description Prompts (GAP) approach for skeleton-based action recognition. More specifically, we employ a pre-trained large-scale language model as the knowledge engine to automatically generate text descriptions for body parts movements of actions, and propose a multi-modal training scheme by utilizing the text encoder to generate feature vectors for different body parts and supervise the skeleton encoder for action representation learning. Experiments show that our proposed GAP method achieves noticeable improvements over various baseline models without extra computation cost at inference. GAP achieves new state-of-the-arts on popular skeleton-based action recognition benchmarks, including NTU RGB+D, NTU RGB+D 120 and NW-UCLA. The source code is available at https://github.com/MartinXM/GAP.


title: Determination of the transverse width and distance of an object with a smartphone camera

abstract: A smartphone is a powerful learning aid in the hands of a large section of students around the world. The camera of the phone can be used for several learning purposes apart from its obvious purpose of photographing. If the focal length of the lens of the camera can be determined, several experiments in optics can be performed with it. In some recent works, the method of determination of the focal length has been discussed. When a real image of an object is formed by a lens of known focal length, one can determine either the distance or the transverse magnification of the object if the other is known. In this work we have shown that we can determine both the transverse size and the distance of an object, by photographing it from two positions, separated by a distance along the line of sight of the camera.


title: PEPPER: Empowering User-Centric Recommender Systems over Gossip Learning

abstract: Recommender systems are proving to be an invaluable tool for extracting user-relevant content helping users in their daily activities (e.g., finding relevant places to visit, content to consume, items to purchase). However, to be effective, these systems need to collect and analyze large volumes of personal data (e.g., location check-ins, movie ratings, click rates .. etc.), which exposes users to numerous privacy threats. In this context, recommender systems based on Federated Learning (FL) appear to be a promising solution for enforcing privacy as they compute accurate recommendations while keeping personal data on the users' devices. However, FL, and therefore FL-based recommender systems, rely on a central server that can experience scalability issues besides being vulnerable to attacks. To remedy this, we propose PEPPER, a decentralized recommender system based on gossip learning principles. In PEPPER, users gossip model updates and aggregate them asynchronously. At the heart of PEPPER reside two key components: a personalized peer-sampling protocol that keeps in the neighborhood of each node, a proportion of nodes that have similar interests to the former and a simple yet effective model aggregation function that builds a model that is better suited to each user. Through experiments on three real datasets implementing two use cases: a location check-in recommendation and a movie recommendation, we demonstrate that our solution converges up to 42% faster than with other decentralized solutions providing up to 9% improvement on average performance metric such as hit ratio and up to 21% improvement on long tail performance compared to decentralized competitors.


title: A Frequency-aware Software Cache for Large Recommendation System Embeddings

abstract: Deep learning recommendation models (DLRMs) have been widely applied in Internet companies. The embedding tables of DLRMs are too large to fit on GPU memory entirely. We propose a GPU-based software cache approaches to dynamically manage the embedding table in the CPU and GPU memory space by leveraging the id's frequency statistics of the target dataset. Our proposed software cache is efficient in training entire DLRMs on GPU in a synchronized update manner. It is also scaled to multiple GPUs in combination with the widely used hybrid parallel training approaches. Evaluating our prototype system shows that we can keep only 1.5% of the embedding parameters in the GPU to obtain a decent end-to-end training speed.


title: Neutrinoless Double Beta Decay from Lattice QCD: The Short-Distance $\pi^-\rightarrow\pi^+ e^- e^-$ Amplitude

abstract: This work presents a determination of potential short-distance contributions to the unphysical $\pi^-\rightarrow\pi^+ e^- e^-$ decay through lattice QCD calculations. The hadronic contributions to the transition amplitude are described by the pion matrix elements of five Standard Model Effective Field Theory operators, which are computed on five ensembles of domain-wall fermions with $N_f = 2 + 1$ quark flavors with a range of heavier-than-physical values of the light quark masses. The matrix elements are extrapolated to the continuum, physical light-quark mass, and infinite volume limit using a functional form derived in chiral Effective Field Theory ($\chi\mathrm{EFT}$). This extrapolation also yields the relevant low-energy constants of $\chi\mathrm{EFT}$, which are necessary input for $\chi\mathrm{EFT}$ calculations of neutrinoless double beta decay of nuclei.


title: Development of high-frequency magnetic probe for plasma diagnostics of XuanLong-50

abstract: A high-frequency magnetic probe has been designed and developed on XuanLong-50 (EXL-50) spherical torus to measure high-frequency magnetic field fluctuations caused by energetic ions and electrons in the plasma. The magnetic loop, radio filters, radio-frequency (RF) limiter, and data acquisition system of the probe are described in detail. The results of the preliminary test show that the probe can have a frequency response within the 1- 180 MHz range. The fluctuation data from the EXL-50 plasma were analyzed in the time-frequency domain using fast Fourier transforms. Using this diagnostic system, distinct high-frequency instabilities were detected. In particular, significant frequency chirping was observed, which is consistent with the bump on tail drive instability predicted by the Berk-Breizman model.


title: IRS-Aided Non-Orthogonal ISAC Systems: Performance Analysis and Beamforming Design

abstract: Intelligent reflecting surface (IRS) has shown its effectiveness in facilitating orthogonal time-division integrated sensing and communications (TD-ISAC), in which the sensing task and the communication task occupy orthogonal time-frequency resources, while the role of IRS in the more interesting scenarios of non-orthogonal ISAC (NO-ISAC) systems has so far remained unclear. In this paper, we consider an IRS-aided NO-ISAC system, where a distributed IRS is deployed to assist concurrent communication and location sensing for a blind-zone user, occupying non-orthogonal/overlapped time-frequency resources. We first propose a modified Cramer-Rao lower bound (CRLB) to characterize the performances of both communication and location sensing in a unified manner. We further derive the closed-form expressions of the modified CRLB in our considered NO-ISAC system, enabling us to identify the fundamental trade-off between the communication and location sensing performances. In addition, by exploiting the modified CRLB, we propose a joint active and passive beamforming design algorithm that achieves a good communication and location sensing trade-off. Through numerical results, we demonstrate the superiority of the IRS-aided NO-ISAC systems over the IRS-aided TD-ISAC systems, in terms of both communication and localization performances. Besides, it is shown that the IRS-aided NO-ISAC system with random communication signals can achieve comparable localization performance to the IRS-aided localization system with dedicated positioning reference signals. Moreover, we investigate the trade-off between communication performance and localization performance and show how the performance of the NO-ISAC system can be significantly boosted by increasing the number of the IRS elements.


title: Universal Address Sequence Generator for Memory Built-in Self-test

abstract: This paper presents the universal address sequence generator (UASG) for memory built-in-self-test. The studies are based on the proposed universal method for generating address sequences with the desired properties for multirun march memory tests. As a mathematical model, a modification of the recursive relation for quasi-random sequence generation is used. For this model, a structural diagram of the hardware implementation is given, of which the basis is a storage device for storing so-called direction numbers of the generation matrix. The form of the generation matrix determines the basic properties of the generated address sequences. The proposed UASG generates a wide spectrum of different address sequences, including the standard ones, such as linear, address complement, gray code, worst-case gate delay, $2^i$, next address, and pseudorandom. Examples of the use of the proposed methods are considered. The result of the practical implementation of the UASG is presented, and the main characteristics are evaluated.


title: A Multicriteria Evaluation for Data-Driven Programming Feedback Systems: Accuracy, Effectiveness, Fallibility, and Students' Response

abstract: Data-driven programming feedback systems can help novices to program in the absence of a human tutor. Prior evaluations showed that these systems improve learning in terms of test scores, or task completion efficiency. However, crucial aspects which can impact learning or reveal insights important for future improvement of such systems are ignored in these evaluations. These aspects include inherent fallibility of current state-of-the-art, students' programming behavior in response to correct/incorrect feedback, and effective/ineffective system components. Consequently, a great deal of knowledge is yet to be discovered about such systems. In this paper, we apply a multi-criteria evaluation with 5 criteria on a data-driven feedback system integrated within a block-based novice programming environment. Each criterion in the evaluation reveals a unique pivotal aspect of the system: 1) How accurate the feedback system is; 2) How it guides students throughout programming tasks; 3) How it helps students in task completion; 4) What happens when it goes wrong; and 5) How students respond generally to the system. Our evaluation results showed that the system was helpful to students due to its effective design and feedback representation despite being fallible. However, novices can be negatively impacted by this fallibility due to high reliance and lack of self-evaluation. The negative impacts include increased working time, implementation, or submission of incorrect/partially correct solutions. The evaluation results reinforced the necessity of multi-criteria system evaluations while revealing important insights helpful to ensuring proper usage of data-driven feedback systems, designing fallibility mitigation steps, and driving research for future improvement.


title: Fast Offline Policy Optimization for Large Scale Recommendation

abstract: Personalised interactive systems such as recommender systems require selecting relevant items from massive catalogs dependent on context. Reward-driven offline optimisation of these systems can be achieved by a relaxation of the discrete problem resulting in policy learning or REINFORCE style learning algorithms. Unfortunately, this relaxation step requires computing a sum over the entire catalogue making the complexity of the evaluation of the gradient (and hence each stochastic gradient descent iterations) linear in the catalogue size. This calculation is untenable in many real world examples such as large catalogue recommender systems, severely limiting the usefulness of this method in practice. In this paper, we derive an approximation of these policy learning algorithms that scale logarithmically with the catalogue size. Our contribution is based upon combining three novel ideas: a new Monte Carlo estimate of the gradient of a policy, the self normalised importance sampling estimator and the use of fast maximum inner product search at training time. Extensive experiments show that our algorithm is an order of magnitude faster than naive approaches yet produces equally good policies.


title: Asymptotic Solutions of the Tetration Equation

abstract: In this report we construct a family of holomorphic functions $\beta_{\lambda,\mu} (s)$ which behave asymptotically like iterated exponentials as $|s| \to \infty$ in the right half plane. Each $\beta_{\lambda,\mu}$ satisfies a convenient functional relationship with nested exponentials; and has a series expansion that converges in a half-plane. They provide a nearness to the dynamics of the map $e^{\mu z} : \mathbb{C}\to\mathbb{C}$ and behave asymptotically as a fractional iteration would behave. These objects are used to describe the various orbits of the exponential function. We describe where Abel equations are feasibly constructed from $\beta$. Where there exists wildly holomorphic functions with period $2 \pi i / \lambda$ that are holomorphic Abel functions of the form $t(s+1) = e^{\mu t(s)}$.


title: Effect of inertia on the dynamic contact angle in oscillating menisci

abstract: The contact angle between a gas-liquid interface and a solid surface is a function of the dynamic conditions of the contact line. Classic steady correlations link the contact angle to the contact line velocity. However, it is not clear whether they hold in presence of inertia and in the case of perfect wetting fluids. We analyze the shape of a liquid interface and the corresponding contact angle in accelerating conditions for two different fluids, i.e. HFE7200 (perfect wetting) and demineralized water. The set-up consists of a U-shaped quasi-capillary tube in which the liquid column oscillates in response to a pressure step on one of the two sides. We obtained the evolution of the interface shape from high-speed back-light visualization, and we fit interface models to the experimental data to estimate the contributions of all the governing forces and the contact angle. Traditional interface models fail to predict the interface shape and its contact angle at large interface and contact line accelerations. We propose a new model to account for the acceleration, and we discuss its impact on the measurement of the transient contact angle.


title: Magnetic field effects on nucleosynthesis and kilonovae from neutron star merger remnants

abstract: We investigate the influence of parametric magnetic field configurations of a hypermassive neutron star (HMNS) on electromagnetic (EM) observables, specifically the kilonova lightcurves and nucleosynthesis yields. We perform three-dimensional (3D) dynamical-spacetime general-relativistic magnetohydrodynamic (GRMHD) simulations, including a neutrino leakage scheme, microphysical finite-temperature equation of state (EOS), and an initial poloidal magnetic field. We find that varying the magnetic field strength and falloff impacts the formation of magnetized winds or mildy-relativistic jets, which in turn has profound effects on the outflow properties. All of the evolved configurations collapse to a black hole (BH) $\sim 21-23$ ms after the onset of the simulations, however, the ones forming jets may be considerably more effective at transporting angular momentum out of the system, resulting in earlier collapse times. Larger mass ejecta rates and radial velocities of unbound material characterise the systems that form jets. The bolometric light curves of the kilonovae and $r$-process yields change considerably with different magnetic field parameters. We conclude that the magnetic field strength and falloff have robust effects on the outflow properties and electromagnetic observables. This can be particularly important as the total ejecta mass from our simulations ($\simeq 10^{-3}\;M_{\odot}$) makes the ejecta from HMNS a compelling source to power kilonova through radioactive decay of $r$-process elements.


title: Pure braid group actions on category O modules

abstract: Let g be a symmetrisable Kac-Moody algebra and U_h(g) its quantised enveloping algebra. Answering a question of P. Etingof, we prove that the quantum Weyl group operators of U_h(g) give rise to a canonical action of the pure braid group of g on any category O (not necessarily integrable) U_h(g)-module V. By relying on our recent results in arXiv:1512.03041, we show that this action describes the monodromy of the rational Casimir connection on the g-module corresponding to V under the Etingof-Kazhdan equivalence of category O for g and U_h(g). We also extend these results to yield equivalent quantum Weyl group and monodromic representations of parabolic pure braid groups on parabolic category O for U_h(g) and g.


title: Measurement-based ground state cooling of a trapped ion oscillator

abstract: Measurement-based cooling is a method by which a quantum system, initially in a thermal state, can be prepared in its ground state through some sort of measurement. This is done by making a measurement that heralds the system being in the desired state. Here we demonstrate the application of a measurement-based cooling technique to a trapped atomic ion. The ion is pre-cooled by Doppler laser cooling to a thermal state with a mean excitation of $\bar n \approx 18$ and the measurement-based cooling technique selects those occasions when the ion happens to be in the motional ground state. The fidelity of the heralding process is greater than 95%. This technique can be applied to other systems that are not as amenable to laser cooling as trapped ions.


title: Mappings for Marginal Probabilities with Applications to Models in Statistical Physics

abstract: We present local mappings that relate the marginal probabilities of a global probability mass function represented by its primal normal factor graph to the corresponding marginal probabilities in its dual normal factor graph. The mapping is based on the Fourier transform of the local factors of the models. Details of the mapping are provided for the Ising model, where it is proved that the local extrema of the fixed points are attained at the phase transition of the two-dimensional nearest-neighbor Ising model. The results are further extended to the Potts model, to the clock model, and to Gaussian Markov random fields. By employing the mapping, we can transform simultaneously all the estimated marginal probabilities from the dual domain to the primal domain (and vice versa), which is advantageous if estimating the marginals can be carried out more efficiently in the dual domain. An example of particular significance is the ferromagnetic Ising model in a positive external magnetic field. For this model, there exists a rapidly mixing Markov chain (called the subgraphs--world process) to generate configurations in the dual normal factor graph of the model. Our numerical experiments illustrate that the proposed procedure can provide more accurate estimates of marginal probabilities of a global probability mass function in various settings.

categories: stat.ML cs.IT cs.LG math.IT physics.comp-ph stat.CO


title: Verification of the busy-forbidden protocol (using an extension of the cones and foci framework)

abstract: The busy-forbidden protocol is a new readers-writer lock with no resource contention between readers, which allows it to outperform other locks. For its verification, specifications of its implementation and its less complex external behavior are provided by the original authors but are only proven equivalent for up to 7 threads. We provide a general proof using the cones and foci proof framework, which rephrases whether two specifications are branching bisimilar in terms of proof obligations on relations between the data objects occurring in the implementation and specification. We provide an extension of this framework consisting of three additional properties on data objects, When these three additional properties also hold, the two systems are divergence-preserving branching bisimilar, a stronger version of the aforementioned relation that also distinguishes livelock. We prove this extension to be sound and use it to give a general equivalence proof for the busy-forbidden protocol.


title: Association Between Neighborhood Factors and Adult Obesity in Shelby County, Tennessee: Geospatial Machine Learning Approach

abstract: Obesity is a global epidemic causing at least 2.8 million deaths per year. This complex disease is associated with significant socioeconomic burden, reduced work productivity, unemployment, and other social determinants of Health (SDoH) disparities. Objective: The objective of this study was to investigate the effects of SDoH on obesity prevalence among adults in Shelby County, Tennessee, USA using a geospatial machine-learning approach. Obesity prevalence was obtained from publicly available CDC 500 cities database while SDoH indicators were extracted from the U.S. Census and USDA. We examined the geographic distributions of obesity prevalence patterns using Getis-Ord Gi* statistics and calibrated multiple models to study the association between SDoH and adult obesity. Also, unsupervised machine learning was used to conduct grouping analysis to investigate the distribution of obesity prevalence and associated SDoH indicators. Results depicted a high percentage of neighborhoods experiencing high adult obesity prevalence within Shelby County. In the census tract, median household income, as well as the percentage of individuals who were black, home renters, living below the poverty level, fifty-five years or older, unmarried, and uninsured, had a significant association with adult obesity prevalence. The grouping analysis revealed disparities in obesity prevalence amongst disadvantaged neighborhoods. More research is needed that examines linkages between geographical location, SDoH, and chronic diseases. These findings, which depict a significantly higher prevalence of obesity within disadvantaged neighborhoods, and other geospatial information can be leveraged to offer valuable insights informing health decision-making and interventions that mitigate risk factors for increasing obesity prevalence.


title: Global Darboux coordinates for complete Lagrangian fibrations and an application to the deformation space of $\mathbb{R}\mathbb{P}^2$-structures in genus one

abstract: In this paper we study a broad class of complete Hamiltonian integrable systems, namely the ones whose associated Lagrangian fibration is complete and has non compact fibres. By studying the associated complete Lagrangian fibration, we show that, under suitable assumptions, the integrals of motion can be taken as action coordinates for the Hamiltonian system. As an application we find global Darboux coordinates for a new family of symplectic forms $\boldsymbol{\omega}_f$, parametrized by smooth functions $f:[0,+\infty)\to(-\infty,0]$, defined on the deformation space of properly convex $\mathbb{R}\mathbb{P}^2$-structures on the torus. Such a symplectic form is part of a family of pseudo-K\"ahler metrics $(\mathbf{g}_f,\mathbf{I},\boldsymbol{\omega}_f)$ defined on $\mathcal{B}_0(T^2)$ and introduced by the authors. In the last part of the paper, by choosing $f(t)=-kt, k>0$ we deduce the expression for an arbitrary isometry of the space.


title: Impact of random alloy fluctuations on the electronic and optical properties of (Al,Ga)N quantum wells: Insights from tight-binding calculations

abstract: Light emitters based on the semiconductor alloy aluminium gallium nitride ((Al,Ga)N) have gained significant attention in recent years due to their potential for a wide range of applications in the ultraviolet (UV) spectral window. However, current state-of-the-art (Al,Ga)N light emitters exhibit very low internal quantum efficiencies (IQEs). Therefore, understanding the fundamental electronic and optical properties of (Al,Ga)N-based quantum wells is key to improving the IQE. Here, we target the electronic and optical properties of c-plane Al$_x$Ga$_{1-x}$N/AlN quantum wells by means of an empirical atomistic tight-binding model. Special attention is paid to the impact of random alloy fluctuations on the results as well as the aluminium content x in the well. We find that across the studied Al content range (from 10% to 75% Al) strong hole wave function localization effects are observed. Additionally, with increasing Al content, electron wave functions start also to exhibit carrier localization features. Overall, our investigations on the electronic structure of c-plane Al$_x$Ga$_{1-x}$N/AlN quantum wells reveal that already random alloy fluctuations are sufficient to lead to (strong) carrier localization effects. Furthermore, our results indicate that random alloy fluctuations impact the degree of optical polarization in c-plane Al$_x$Ga$_{1-x}$N quantum wells. We find that the switching from transverse electric to transverse magnetic light polarization occurs at higher Al contents in the atomistic calculation, which accounts for random alloy fluctuations, when compared to the outcome of widely used virtual crystal approximations. This observation is important for light extraction efficiencies in (Al,Ga)N-based light emitting diodes operating in the deep UV.


title: Growth and Evolution of Secondary Volcanic Atmospheres: II. The Importance of Kinetics

abstract: Volcanism is a major and long-term source of volatile elements such as C and H to Earth's atmosphere, likely has been to Venus's atmosphere, and may be for exoplanets. Models simulating volcanic growth of atmospheres often make one of two assumptions: either that atmospheric speciation is set by the high-temperature equilibrium of volcanism; or, that volcanic gases thermochemically re-equilibrate to the new, lower, temperature of the surface environment. In the latter case it has been suggested that volcanic atmospheres may create biosignature false positives. Here, we test the assumptions underlying such inferences by performing chemical kinetic calculations to estimate the relaxation timescale of volcanically-derived atmospheres to thermochemical equilibrium, in a simple 0D atmosphere neglecting photochemistry and reaction catalysis. We demonstrate that for planets with volcanic atmospheres, thermochemical equilibrium over geological timescales can only be assumed if the atmospheric temperature is above ~700K. Slow chemical kinetics at lower temperatures inhibit the relaxation of redox-sensitive species to low-temperature thermochemical equilibrium, precluding the production of two independent biosignatures through thermochemistry alone: 1. ammonia, and 2. the co-occurrence of CO$_2$ and CH$_4$ in an atmosphere in the absence of CO. This supports the use of both biosignatures for detecting life. Quenched at the high temperature of their degassing, volcanic gases also have speciations characteristic of those produced from a more oxidized mantle, if interpreted as being at thermochemical equilibrium. This therefore complicates linking atmospheres to the interiors of rocky exoplanets, even when their atmospheres are purely volcanic in origin.


title: Distributed Attestation Revocation in Self-Sovereign Identity

abstract: Self-Sovereign Identity (SSI) aspires to create a standardised identity layer for the Internet by placing citizens at the centre of their data, thereby weakening the grip of big tech on current digital identities. However, as millions of both physical and digital identities are lost annually, it is also necessary for SSIs to possibly be revoked to prevent misuse. Previous attempts at designing a revocation mechanism typically violate the principles of SSI by relying on central trusted components. This lack of a distributed revocation mechanism hampers the development of SSI. In this paper, we address this limitation and present the first fully distributed SSI revocation mechanism that does not rely on specialised trusted nodes. Our novel gossip-based propagation algorithm disseminates revocations throughout the network and provides nodes with a proof of revocation that enables offline verification of revocations. We demonstrate through simulations that our protocol adequately scales to national levels.


title: Level and pseudo-Gorenstein binomial edge ideals

abstract: We prove that level binomial edge ideals with regularity 2 and pseudo-Gorenstein binomial edge ideals with regularity 3 are cones, and we describe them completely. Also, we characterize level and pseudo-Gorenstein binomial edge ideals of bipartite graphs.


title: Diversifying Design of Nucleic Acid Aptamers Using Unsupervised Machine Learning

abstract: Inverse design of short single-stranded RNA and DNA sequences (aptamers) is the task of finding sequences that satisfy a set of desired criteria. Relevant criteria may be, for example, the presence of specific folding motifs, binding to molecular ligands, sensing properties, etc. Most practical approaches to aptamer design identify a small set of promising candidate sequences using high-throughput experiments (e.g. SELEX), and then optimize performance by introducing only minor modifications to the empirically found candidates. Sequences that possess the desired properties but differ drastically in chemical composition will add diversity to the search space and facilitate the discovery of useful nucleic acid aptamers. Systematic diversification protocols are needed. Here we propose to use an unsupervised machine learning model known as the Potts model to discover new, useful sequences with controllable sequence diversity. We start by training a Potts model using the maximum entropy principle on a small set of empirically identified sequences unified by a common feature. To generate new candidate sequences with a controllable degree of diversity, we take advantage of the model's spectral feature: an energy bandgap separating sequences that are similar to the training set from those that are distinct. By controlling the Potts energy range that is sampled, we generate sequences that are distinct from the training set yet still likely to have the encoded features. To demonstrate performance, we apply our approach to design diverse pools of sequences with specified secondary structure motifs in 30-mer RNA and DNA aptamers.


title: Continuum source catalog for the first APERTIF data release

abstract: The first data release of Apertif survey contains 3074 radio continuum images covering a thousand square degrees of the sky. The observations were performed during August 2019 to July 2020. The continuum images were produced at a central frequency 1355 MHz with the bandwidth of $\sim$150 MHz and angular resolution reaching 10". In this work we introduce and apply a new method to obtain a primary beam model using a machine learning approach, Gaussian process regression. The primary beam models obtained with this method are published along with the data products for the first Apertif data release. We apply the method to the continuum images, mosaic them and extract the source catalog. The catalog contains 249672 radio sources many of which are detected for the first time at these frequencies. We cross-match the coordinates with the NVSS, LOFAR/DR1/value-added and LOFAR/DR2 catalogs resulting in 44523, 22825 and 152824 common sources respectively. The first sample provides a unique opportunity to detect long term transient sources which have significantly changed their flux density for the last 25 years. The second and the third ones combined together provide information about spectral properties of the sources as well as the redshift estimates.


title: Using query frequencies in tree-based revocation for certificateless authentication in VANETs

abstract: Revocation of dishonest users is not an easy problem. This paper proposes a new way to manage revocation of pseudonyms in vehicular ad-hoc networks when using identity-based authentication to increase efficiency and security through certificateless authentication. In order to improve the performance of revocation lists, this paper proposes the use of a data structure based on authenticated dynamic hash k-ary trees and the frequency with which revoked pseudonyms are consulted. The use of the knowledge about the frequency of consultation of revoked pseudonyms allows an easier access to the most popular revoked pseudonyms to the detriment of revoked pseudonyms that are the least consulted. Accordingly, the proposal is especially useful in urban environments where there are vehicles that spend more time on road than others, such as public service vehicles.


title: Testing for homogeneous treatment effects in linear and nonparametric instrumental variable models

abstract: The hypothesis of homogeneous treatment effects is central to the instrumental variables literature. This assumption signifies that treatment effects are constant across all subjects. It allows to interpret instrumental variable estimates as average treatment effects over the whole population of the study. When this assumption does not hold, the bias of instrumental variable estimators can be larger than that of naive estimators ignoring endogeneity. This paper develops two tests for the assumption of homogeneous treatment effects when the treatment is endogenous and an instrumental variable is available. The tests leverage a covariable that is (jointly with the error terms) independent of a coordinate of the instrument. This covariate does not need to be exogenous. The first test assumes that the potential outcomes are linear in the regressors and is computationally simple. The second test is nonparametric and relies on Tikhonov regularization. The treatment can be either discrete or continuous. We show that the tests have asymptotically correct level and asymptotic power equal to one against a range of alternatives. Simulations demonstrate that the proposed tests attain excellent finite sample performances. The methodology is also applied to the evaluation of returns to schooling and the effect of price on demand in a fish market.


title: RFID authentication protocol based on a novel EPC Gen2 PRNG

abstract: Continuous advances of Information Technologies (ITs), and in particular of the RFID technologies that allow the connection between the physical world objects and the IT infrastructure, have guaranteed the improvement and efficiency of industrial technologies in the last decades. This paper includes the proposal of two new schemes for RFID. On the one hand, it describes the internals of a lightweight Pseudo-Random Number Generator (PRNG) suitable for low resource devices such as passive RFID complying with the EPC Gen2 specifications. On the other hand, a new secure mutual authentication protocol for such RFID devices that uses the proposed PRNG is presented. The design of the proposed PRNG is based on a nonlinear filter of a Linear Feedback Shift Register (LFSR), and the authentication protocol is lightweight. Both schemes fulfill all practical requirements of low-cost RFID such as resource limitation of EPC Gen2 tags. This is thanks to that only simple computation modules such as the proposed LFSR-based pseudorandom generator and bitwise operations are required. The combination of both proposals guarantees at the same time low power consumption and secure features such as authentication, confidentiality and anonymity.


title: Analysis of lightweight cryptographic solutions for authentication in IoT

abstract: Currently, special attention is being paid to scenarios where the interconnection of devices with heterogeneous computational and communication capabilities it is required. It is essential to integrate security services during the stages of design and deployment of these networks since many of these scenarios provide critical services such as medical health, payment systems, military affairs, access control, e-banking, etc. This work analyses several cryptographic primitives related to entity authentication providing robust solutions according to device capabilities.


title: Listen to Users, but Only 85% of the Time: How Black Swans Can Save Innovation in a Data-Driven World

abstract: Data-driven design is a proven success factor that more and more digital businesses embrace. At the same time, academics and practitioners alike warn that when virtually everything must be tested and proven with numbers, that can stifle creativity and innovation. This article argues that Taleb's Black Swan theory can solve this dilemma. It shows that online experimentation, and therefore digital design, are fat-tailed phenomena and, hence, prone to Black Swans. It introduces the notion of Black Swan designs -- "crazy" designs that make sense only in hindsight -- along with four specific criteria. To ensure incremental improvements and their potential for innovation, businesses should apply Taleb's barbell strategy: Invest 85-90% of resources into data-driven approaches and 10-15% into potential Black Swans.


title: First release of Apertif imaging survey data

abstract: (Abridged) Apertif is a phased-array feed system for WSRT, providing forty instantaneous beams over 300 MHz of bandwidth. A dedicated survey program started on 1 July 2019, with the last observations taken on 28 February 2022. We describe the release of data products from the first year of survey operations, through 30 June 2020. We focus on defining quality control metrics for the processed data products. The Apertif imaging pipeline, Apercal, automatically produces non-primary beam corrected continuum images, polarization images and cubes, and uncleaned spectral line and dirty beam cubes for each beam of an Apertif imaging observation. For this release, processed data products are considered on a beam-by-beam basis within an observation. We validate the continuum images by using metrics that identify deviations from Gaussian noise in the residual images. If the continuum image passes validation, we release all processed data products for a given beam. We apply further validation to the polarization and line data products. We release all raw observational data from the first year of survey observations, for a total of 221 observations of 160 independent target fields, covering approximately one thousand square degrees of sky. Images and cubes are released on a per beam basis, and 3374 beams are released. The median noise in the continuum images is 41.4 uJy/bm, with a slightly lower median noise of 36.9 uJy/bm in the Stokes V polarization image. The median angular resolution is 11.6"/sin(Dec). The median noise for all line cubes, with a spectral resolution of 36.6 kHz, is 1.6 mJy/bm, corresponding to a 3-sigma HI column density sensitivity of 1.8 x 10^20 atoms cm^-2 over 20 km/s (for a median angular resolution of 24" x 15"). We also provide primary beam images for each individual Apertif compound beam. The data are made accessible using a Virtual Observatory interface.


title: Learning theory for dynamical systems

abstract: The task of modelling and forecasting a dynamical system is one of the oldest problems, and it remains challenging. Broadly, this task has two subtasks - extracting the full dynamical information from a partial observation; and then explicitly learning the dynamics from this information. We present a mathematical framework in which the dynamical information is represented in the form of an embedding. The framework combines the two subtasks using the language of spaces, maps, and commutations. The framework also unifies two of the most common learning paradigms - delay-coordinates and reservoir computing. We use this framework as a platform for two other investigations of the reconstructed system - its dynamical stability; and the growth of error under iterations. We show that these questions are deeply tied to more fundamental properties of the underlying system - the behavior of matrix cocycles over the base dynamics, its non-uniform hyperbolic behavior, and its decay of correlations. Thus, our framework bridges the gap between universally observed behavior of dynamics modelling; and the spectral, differential and ergodic properties intrinsic to the dynamics.


title: MD-Net: Multi-Detector for Local Feature Extraction

abstract: Establishing a sparse set of keypoint correspon dences between images is a fundamental task in many computer vision pipelines. Often, this translates into a computationally expensive nearest neighbor search, where every keypoint descriptor at one image must be compared with all the descriptors at the others. In order to lower the computational cost of the matching phase, we propose a deep feature extraction network capable of detecting a predefined number of complementary sets of keypoints at each image. Since only the descriptors within the same set need to be compared across the different images, the matching phase computational complexity decreases with the number of sets. We train our network to predict the keypoints and compute the corresponding descriptors jointly. In particular, in order to learn complementary sets of keypoints, we introduce a novel unsupervised loss which penalizes intersections among the different sets. Additionally, we propose a novel descriptor-based weighting scheme meant to penalize the detection of keypoints with non-discriminative descriptors. With extensive experiments we show that our feature extraction network, trained only on synthetically warped images and in a fully unsupervised manner, achieves competitive results on 3D reconstruction and re-localization tasks at a reduced matching complexity.


title: Probing cosmic string spacetime through parameter estimation

abstract: Quantum metrology studies the ultimate precision limit of physical quantities by using quantum strategy. In this paper we apply the quantum metrology technologies to the relativistic framework for estimating the deficit angle parameter of cosmic string spacetime. We use a two-level atom coupled to electromagnetic fields as the probe and derive its dynamical evolution by treating it as an open quantum system. We estimate the deficit angle parameter by calculating its quantum Fisher information(QFI). It is found that the quantum Fisher information depends on the deficit angle, evolution time, detector initial state, polarization direction, and its position. We then identify the optimal estimation strategies, i.e., maximize the quantum Fisher information via all the associated parameters, and therefore optimize the precision of estimation. Our results show that for different polarization cases the QFIs have different behaviors and different orders of magnitude, which may shed light on the exploration of cosmic string spacetime.


title: Identifying Human Mobility Patterns using Smart Card Data

abstract: Human mobility is subject to collective dynamics that are the outcome of numerous individual choices. Smart card data which originated as a means of facilitating automated fare collections has emerged as an invaluable source for analyzing human mobility patterns. A variety of clustering and segmentation techniques has been adopted and adapted for applications ranging from passenger demand market segmentation to the analysis of urban activity locations. In this paper we provide a systematic review of the state-of-the-art on clustering public transport users based on their temporal or spatial-temporal characteristics as well as studies that use the patter to characterize individual stations, lines or urban areas. Furthermore, a critical review of the literature reveals an important distinction between studies focusing on the intra-personal variability of travel patterns versus those concerned with the inter-personal variability of travel patterns. We synthesize the key analysis approaches and based on which identify and outline the following directions for further research: (i) predictions of passenger travel patterns; (ii) decision support for service planning and policy evaluation; (iii) enhanced geographical characterization of users' travel patterns; (iv) from demand analytics towards behavioral analytics.


title: New Quantum Codes from CSS Codes

abstract: We present a new propagation rule for CSS codes. Starting with a CSS code $[\![n,k,d]\!]_q$, we construct a CSS code with parameters $[\![n-2,k,d-1]\!]_q$. In general, one would only obtain a code with parameters $[\![n-2,k,d-2]\!]_q$. The construction applies to asymmetric quantum codes from the CSS construction as well.


title: In-flight performance and calibration of the Grating Wheel Assembly sensors (NIRSpec/JWST)

abstract: The Near-Infrared Spectrograph (NIRSpec) on board of the James Webb Space Telescope will be the first multi-object spectrograph in space offering ~250,000 configurable micro-shutters, apart from being equipped with an integral field unit and fixed slits. At its heart, the NIRSpec grating wheel assembly is a cryogenic mechanism equipped with six dispersion gratings, a prism, and a mirror. The finite angular positioning repeatability of the wheel causes small but measurable displacements of the light beam on the focal plane, precluding a static solution to predict the light-path. To address that, two magneto-resistive position sensors are used to measure the tip and tilt displacement of the selected GWA element each time the wheel is rotated. The calibration of these sensors is a crucial component of the model-based approach used for NIRSpec for calibration, spectral extraction, and target placement in the micro-shutters. In this paper, we present the results of the evolution of the GWA sensors performance and calibration from ground to space environments.


title: Astrometric and Wavelength Calibration of the NIRSpec Instrument during Commissioning using a model-based approach

abstract: The NIRSpec instrument for the James Webb Space Telescope (JWST) is a highly versatile near-infrared spectrograph that can be operated in various observing modes, slit apertures, and spectral resolutions. Obtaining dedicated calibration data for all possible combinations of aperture and disperser is an intractable task. We have therefore developed a procedure to derive a highly realistic model of the instrument's optical geometry across the entire field of view, using calibration data acquired through only a subset of NIRSpec apertures, which nevertheless allows the light paths within the spectrograph to be accurately computed for all apertures and all observing modes. This parametric instrument model thus provides the basis for the extraction of wavelength-calibrated spectra from any NIRSpec exposure, regardless of observing mode or aperture used. Optimizing the NIRSpec instrument model and deriving its final wavelength and astrometric calibration was one of the most crucial elements of the NIRSpec commissioning phase. Here, we describe the process of re-fitting the NIRSpec instrument model with in-orbit commissioning data, and present its final performance in terms of wavelength accuracy and astrometric calibration.


title: Spin and valley effects on the quantum phase transition in two dimensions

abstract: Using several independent methods, we find that the metal-insulator transition occurs in the strongly-interacting two-valley two-dimensional electron system in ultra-high mobility SiGe/Si/SiGe quantum wells in zero magnetic field. The transition survives in this system in parallel magnetic fields strong enough to completely polarize the electrons' spins, thus making the electron system "spinless". In both cases, the resistivity on the metallic side near the transition increases with decreasing temperature, reaches a maximum at a temperature $T_{\text{max}}$, and then decreases. The decrease reaches more than an order of magnitude in zero magnetic field. The value of $T_{\text{max}}$ in zero magnetic field is found to be close to the renormalized Fermi temperature. However, rather than increasing along with the Fermi temperature, the value $T_{\text{max}}$ decreases appreciably for spinless electrons in spin-polarizing magnetic fields. The observed behavior of $T_{\text{max}}$ cannot be described by existing theories. The results indicate the spin-related origin of the effect. At the same time, the low-temperature resistivity drop in both spin-unpolarized and spinless electron systems is described quantitatively by the dynamical mean-field theory.


title: Observation of a symmetry-protected topological phase in external magnetic fields

abstract: Topological phases have greatly improved our understanding of modern conception of phases of matter that go beyond the paradigm of symmetry breaking and are not described by local order parameters. Instead, characterization of topological phases requires the robust topological invariants, whereas measuring these global quantities presents an outstanding challenge for experiments, especially in interacting systems. Here we report the real-space observation of a symmetry-protected topological phase with interacting nuclear spins, and probe the interaction-induced transition between two topologically distinct phases, both of which are classified by many-body Chern numbers obtained from the dynamical response to the external magnetic fields. The resulting value of Chern number ($\bar{\mathcal{C}h} = 1.958 \pm 0.070$) demonstrates the robust ground state degeneracy, and also determines the number of nontrivial edge states. Our findings enable direct characterization of topological features of quantum many-body states through gradually decreasing the strength of the introduced external fields.


title: CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning

abstract: We introduce CLEVR-Math, a multi-modal math word problems dataset consisting of simple math word problems involving addition/subtraction, represented partly by a textual description and partly by an image illustrating the scenario. The text describes actions performed on the scene that is depicted in the image. Since the question posed may not be about the scene in the image, but about the state of the scene before or after the actions are applied, the solver envision or imagine the state changes due to these actions. Solving these word problems requires a combination of language, visual and mathematical reasoning. We apply state-of-the-art neural and neuro-symbolic models for visual question answering on CLEVR-Math and empirically evaluate their performances. Our results show how neither method generalise to chains of operations. We discuss the limitations of the two in addressing the task of multi-modal word problem solving.


title: Towards Cross-speaker Reading Style Transfer on Audiobook Dataset

abstract: Cross-speaker style transfer aims to extract the speech style of the given reference speech, which can be reproduced in the timbre of arbitrary target speakers. Existing methods on this topic have explored utilizing utterance-level style labels to perform style transfer via either global or local scale style representations. However, audiobook datasets are typically characterized by both the local prosody and global genre, and are rarely accompanied by utterance-level style labels. Thus, properly transferring the reading style across different speakers remains a challenging task. This paper aims to introduce a chunk-wise multi-scale cross-speaker style model to capture both the global genre and the local prosody in audiobook speeches. Moreover, by disentangling speaker timbre and style with the proposed switchable adversarial classifiers, the extracted reading style is made adaptable to the timbre of different speakers. Experiment results confirm that the model manages to transfer a given reading style to new target speakers. With the support of local prosody and global genre type predictor, the potentiality of the proposed method in multi-speaker audiobook generation is further revealed.


title: BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees

abstract: Behavior Trees, which originated in video games as a method for controlling NPCs but have since gained traction within the robotics community, are a framework for describing the execution of a task. BehaVerify is a tool that creates a nuXmv model from a py_tree. For composite nodes, which are standardized, this process is automatic and requires no additional user input. A wide variety of leaf nodes are automatically supported and require no additional user input, but customized leaf nodes will require additional user input to be correctly modeled. BehaVerify can provide a template to make this easier. BehaVerify is able to create a nuXmv model with over 100 nodes and nuXmv was able to verify various non-trivial LTL properties on this model, both directly and via counterexample. The model in question features parallel nodes, selector, and sequence nodes. A comparison with models based on BTCompiler indicates that the models created by BehaVerify perform better.


title: Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code

abstract: Partial code usually involves non-fully-qualified type names (non-FQNs) and undeclared receiving objects. Resolving the FQNs of these non-FQN types and undeclared receiving objects (referred to as type inference) is the prerequisite to effective search and reuse of partial code. Existing dictionary-lookup based methods build a symbolic knowledge base of API names and code contexts, which involve significant compilation overhead and are sensitive to unseen API names and code context variations. In this paper, we formulate type inference as a cloze-style fill-in-blank language task. Built on source code naturalness, our approach fine-tunes a code masked language model (MLM) as a neural knowledge base of code elements with a novel "pre-train, prompt and predict" paradigm from raw source code. Our approach is lightweight and has minimum requirements on code compilation. Unlike existing symbolic name and context matching for type inference, our prompt-tuned code MLM packs FQN syntax and usage in its parameters and supports fuzzy neural type inference. We systematically evaluate our approach on a large amount of source code from GitHub and Stack Overflow. Our results confirm the effectiveness of our approach design and the practicality for partial code type inference. As the first of its kind, our neural type inference method opens the door to many innovative ways of using partial code.


title: Dimensionality and Background Cancellation in Energy Selective X-Ray Imaging

abstract: Purpose: The set of linear attenuation coefficients that belong to materials in the human body is commonly assumed to be spanned by two basis functions in the range of clinical x-ray energies, even though there is evidence that the dimensionality of this set is greater than two. It has not yet been clear that the use of a third basis function could be beneficial in absence of contrast agents. Approach: In this work, the choice of the number of basis functions used in the basis decomposition method is studied for the task of producing an image where a third material is separated from a background of two other materials, in a case where none of the materials have a K-edge in the range of considered x-ray energies (20-140 keV). The case of separating iron from mixtures of liver and adipose tissue is studied with a simulated phantom which incorporates random and realistic tissue variability. Results: Inclusion of a third basis function improves the quantitative estimate of iron concentration by several orders of magnitude in terms of mean squared error in the resulting image. Conclusions: The inclusion of a third basis function in the basis decomposition is essential for the studied imaging task and could have potential application for quantitative estimation of iron concentration from material decomposed images.


title: Learning Two-Player Mixture Markov Games: Kernel Function Approximation and Correlated Equilibrium

abstract: We consider learning Nash equilibria in two-player zero-sum Markov Games with nonlinear function approximation, where the action-value function is approximated by a function in a Reproducing Kernel Hilbert Space (RKHS). The key challenge is how to do exploration in the high-dimensional function space. We propose a novel online learning algorithm to find a Nash equilibrium by minimizing the duality gap. At the core of our algorithms are upper and lower confidence bounds that are derived based on the principle of optimism in the face of uncertainty. We prove that our algorithm is able to attain an $O(\sqrt{T})$ regret with polynomial computational complexity, under very mild assumptions on the reward function and the underlying dynamic of the Markov Games. We also propose several extensions of our algorithm, including an algorithm with Bernstein-type bonus that can achieve a tighter regret bound, and another algorithm for model misspecification that can be applied to neural function approximation.


title: A Monitoring and Discovery Approach for Declarative Processes Based on Streams

abstract: Process discovery is a family of techniques that helps to comprehend processes from their data footprints. Yet, as processes change over time so should their corresponding models, and failure to do so will lead to models that under- or over-approximate behavior. We present a discovery algorithm that extracts declarative processes as Dynamic Condition Response (DCR) graphs from event streams. Streams are monitored to generate temporal representations of the process, later processed to generate declarative models. We validated the technique via quantitative and qualitative evaluations. For the quantitative evaluation, we adopted an extended Jaccard similarity measure to account for process change in a declarative setting. For the qualitative evaluation, we showcase how changes identified by the technique correspond to real changes in an existing process. The technique and the data used for testing are available online.


title: Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

abstract: Query answering is an important problem in AI, database and knowledge representation. In this paper, we develop saturation-based Boolean conjunctive query answering and rewriting procedures for the guarded, the loosely guarded and the clique-guarded fragments. Our query answering procedure improves existing resolution-based decision procedures for the guarded and the loosely guarded fragments and this procedure solves Boolean conjunctive query answering problems for the guarded, the loosely guarded and the clique-guarded fragments. Based on this query answering procedure, we also introduce a novel saturation-based query rewriting procedure for these guarded fragments. Unlike mainstream query answering and rewriting methods, our procedures derive a compact and reusable saturation, namely a closure of formulas, to handle the challenge of querying for distributed datasets. This paper lays the theoretical foundations for the first automated deduction decision procedures for Boolean conjunctive query answering and the first saturation-based Boolean conjunctive query rewriting in the guarded, the loosely guarded and the clique-guarded fragments.


title: Optimal response surface designs in the presence of model contamination

abstract: Complete reliance on the fitted model in response surface experiments is risky and relaxing this assumption, whether out of necessity or intentionally, requires an experimenter to account for multiple conflicting objectives. This work provides a methodological framework of a compound optimality criterion comprising elementary criteria responsible for: (i) the quality of the confidence region-based inference to be done using the fitted model (DP-/LP-optimality); (ii) improving the ability to test for the lack-of-fit from specified potential model contamination in the form of extra polynomial terms; and (iii) simultaneous minimisation of the variance and bias of the fitted model parameters arising from this misspecification. The latter two components have been newly developed in accordance with the model-independent 'pure error' approach to the error estimation. The compound criteria and design construction were adapted to restricted randomisation frameworks: blocked and multistratum experiments, where the stratum-by-stratum approach was adopted. A point-exchange algorithm was employed for searching for nearly optimal designs. The theoretical work is accompanied by one real and two illustrative examples to explore the relationship patterns among the individual components and characteristics of the optimal designs, demonstrating the attainable compromises across the competing objectives and driving some general practical recommendations.


title: Production double heavy quarkonium via $e^+e^-\to \gamma^*/Z^0 \to|(Q\bar{Q'})[n]\rangle +|(Q'\bar{Q})[n']\rangle$ at Z mass pole

abstract: The exclusive production of double excited quarkonium is comprehensive studied, i.e., the production of double excitedcharmonium, double excited bottomonium, and double excited $Bc$-mesons via $e^+e^-\to \gamma^*/Z^0 \to|(Q\bar{Q'})[n]\rangle +|(Q'\bar{Q})[n']\rangle$ ($Q/Q'=c$- or $b$-quarks) at a future $Z$ factory under the nonrelativistic quantum chromodynamics framework, where the $[n]$~/$[n']$ represents the color-singlet heavy quarkonium states $[^1S_0]\rangle, ~[^3S_1]\rangle, ~[^1P_1]\rangle$, and $[^3P_J]\rangle$ ($J=0,1,2$). The "improved trace technology" is adopted for calculating the complicated $P$-wave channels for derive the analytic expressions at the amplitude level. According to our study, the production rates of double heavy quarkonium are considerable at the future $Z$ factory. We obtain the cross sections for the production of double excited charmonium for $\sigma{(|(c\bar{c})[n]\rangle+|(c\bar{c})[n']\rangle)_{total}}=1.167^{+0.113}_{-0.164}\times 10^{-2}~fb$, the cross sections of double excited bottomonium for $\sigma{(|(b\bar{b})[n]\rangle+|(b\bar{b})[n']\rangle)_{total}}=0.1132^{+0.0139}_{-0.0130}~fb$, and the cross sections of double excited $Bc$-mesons for $\sigma{(|(c\bar{b})[n]\rangle+|(b\bar{c})[n']\rangle)_{total}}=3.692^{+0.124}_{-0.097}~fb$. The main uncertainties come from the mass of the heavy quarkonium and the radial wave functions at the origin and their derivatives at the origin under different potential models. The numerical results show that such the super $Z$ factory should be a good platform to study the properties of the double excited charmonium, the double excited bottomonium , especially the double excited $Bc$-mesons.


title: Quantum precision measurement of two-dimensional forces with ${\bf 10^{-28}}$-Newton stability

abstract: High-precision sensing of vectorial forces has broad impact on both fundamental research and technological applications such as the examination of vacuum fluctuations \cite{casimir09rmp} and the detection of surface roughness of nanostructures \cite{RevModPhys.89.035002}. Recent years have witnessed much progress on sensing alternating electromagnetic forces for the rapidly advancing quantum technology -- orders-of-magnitude improvement has been accomplished on the detection sensitivity with atomic sensors \cite{Schreppler1486,Shaniv2017,Gilmore673}, whereas precision measurement of static {electromagnetic} forces lags far behind with the corresponding long-term stability rarely demonstrated. Here, based on quantum atomic matter waves confined by an optical lattice, we perform precision measurement of static {electromagnetic} forces by imaging coherent wave mechanics in the reciprocal space. We achieve a state-of-the-art measurement sensitivity of $ 2.30(8)\times 10^{-26}$ N/$\sqrt{\rm \bf Hz}$. Long-term stabilities on the order of $10^{-28}$ N are observed in the two spatial components of a force, which allows probing atomic Van der Waals forces at a millimeter distance \cite{NatureNanoScanning}. As a further illustrative application, we use our atomic sensor to calibrate the control precision of an alternating electromagnetic force applied in the experiment. Future developments of our method hold promise for delivering unprecedented atom-based quantum force sensing technologies.


title: E Pluribus Unum Interpretable Convolutional Neural Networks

abstract: The adoption of Convolutional Neural Network (CNN) models in high-stake domains is hindered by their inability to meet society's demand for transparency in decision-making. So far, a growing number of methodologies have emerged for developing CNN models that are interpretable by design. However, such models are not capable of providing interpretations in accordance with human perception, while maintaining competent performance. In this paper, we tackle these challenges with a novel, general framework for instantiating inherently interpretable CNN models, named E Pluribus Unum Interpretable CNN (EPU-CNN). An EPU-CNN model consists of CNN sub-networks, each of which receives a different representation of an input image expressing a perceptual feature, such as color or texture. The output of an EPU-CNN model consists of the classification prediction and its interpretation, in terms of relative contributions of perceptual features in different regions of the input image. EPU-CNN models have been extensively evaluated on various publicly available datasets, as well as a contributed benchmark dataset. Medical datasets are used to demonstrate the applicability of EPU-CNN for risk-sensitive decisions in medicine. The experimental results indicate that EPU-CNN models can achieve a comparable or better classification performance than other CNN architectures while providing humanly perceivable interpretations.


title: A Comparison of Spatiotemporal Visualizations for 3D Urban Analytics

abstract: Recent technological innovations have led to an increase in the availability of 3D urban data, such as shadow, noise, solar potential, and earthquake simulations. These spatiotemporal datasets create opportunities for new visualizations to engage experts from different domains to study the dynamic behavior of urban spaces in this under explored dimension. However, designing 3D spatiotemporal urban visualizations is challenging, as it requires visual strategies to support analysis of time-varying data referent to the city geometry. Although different visual strategies have been used in 3D urban visual analytics, the question of how effective these visual designs are at supporting spatiotemporal analysis on building surfaces remains open. To investigate this, in this paper we first contribute a series of analytical tasks elicited after interviews with practitioners from three urban domains. We also contribute a quantitative user study comparing the effectiveness of four representative visual designs used to visualize 3D spatiotemporal urban data: spatial juxtaposition, temporal juxtaposition, linked view, and embedded view. Participants performed a series of tasks that required them to identify extreme values on building surfaces over time. Tasks varied in granularity for both space and time dimensions. Our results demonstrate that participants were more accurate using plot-based visualizations (linked view, embedded view) but faster using color-coded visualizations (spatial juxtaposition, temporal juxtaposition). Our results also show that, with increasing task complexity, plot-based visualizations perform better in preserving efficiency (time, accuracy) compared to color-coded visualizations. Based on our findings, we present a set of takeaways with design recommendations for 3D spatiotemporal urban visualizations for researchers and practitioners.


title: Trace Moments of the Sample Covariance Matrix with Graph-Coloring

abstract: Let $S_{p,n}$ denote the sample covariance matrix based on $n$ independent identically distributed $p$-dimensional random vectors in the null-case. The main result of this paper is an explicit expansion of trace moments and power-trace covariances of $S_{p,n}$ simultaneously for both high- and low-dimensional data. To this end we expand a well-known ansatz of describing trace moments as weighted sums over routes or graphs. The novelty to our approach is an inherent coloring of the examined graphs and a decomposition of graphs into their tree-structure and their \textit{seed graphs}, which allows for some elegant formulas explaining the effect of the tree structures on the number of Euler-tours. The weighted sums over graphs become weighted sums over the possible seed graphs, which in turn are much easier to analyze.


title: Bulk Bogoliubov Fermi arcs in non-Hermitian superconducting systems

abstract: We consider a non-Hermitian superconducting system by coupling a conventional superconductor to a ferromagnet lead and demonstrate the emergence of exceptional points when an external Zeeman field is applied. We discover that, depending on the non-Hermiticity and the Zeeman field, the exceptional points mark the ends of lines with zero real energy, thus giving rise to topologically protected and highly tunable bulk Fermi arcs, which we coin bulk Bogoliubov Fermi arcs due to their superconducting nature. We show that these bulk Bogoliubov Fermi arcs are the non-Hermitian counterparts of the Hermitian topological phase transition but are much more prevalent and also experimentally detectable through large spectral signatures.


title: Methodological monotheism across fields of science in contemporary quantitative research

abstract: The importance of research teams' diversity for the progress of science is highlighted extensively. Despite the seemingly hegemonic role of hypothesis testing in modern quantitative research, little attention has been devoted to the diversity of quantitative methods, epitomized by the linear model framework of analysis. Using bibliometric data from the Web of Science, we conduct a large-scale and cross-disciplinary assessment of the prevalence of linear-model-based research from 1990 to 2022. In absolute terms, linear models are widely used across all fields of science. In relative terms, three patterns suggest linear models are hegemonic among Social Sciences. First, there is a high and growing prevalence of linear-model-based research. Second, global patterns of linear-model-based research prevalence align with global inequalities in knowledge production. Third, there was a citation premium to linear-model-based research until 2012 for articles' number of citations and for the entire period in terms of having at least one citation. Previous research suggests that the confluence of these patterns may be detrimental to the Social Sciences as it potentially marginalizes theories incompatible with the linear models' framework, lowers the diversity of narratives about social phenomena, and prevents innovative and path-breaking research, limiting the breadth of research.


title: Derivation of coupled KPZ equations from interacting diffusions driven by a single-site potential

abstract: The Kardar-Parisi-Zhang (KPZ) equation is a stochastic partial differential equation which is derived from various microscopic models, and to establish a robust way to derive the KPZ equation is a fundamental problem both in mathematics and in physics. As a microscopic model, we consider multi-species interacting diffusion processes, whose dynamics is driven by a nonlinear potential which satisfies some regularity conditions. In particular, we study asymptotic behavior of fluctuation fields associated with the processes in the high temperature regime under equilibrium. As a main result, we show that when the characteristic speed of each species is the same, the family of the fluctuation fields seen in moving frame with this speed converges to the coupled KPZ equations. Our approach is based on a Taylor expansion argument which extracts the harmonic potential as a main part. This argument works without assuming a specific form of the potential and thereby the coupled KPZ equations are derived in a robust way.


title: Exploring Anchor-based Detection for Ego4D Natural Language Query

abstract: In this paper we provide the technique report of Ego4D natural language query challenge in CVPR 2022. Natural language query task is challenging due to the requirement of comprehensive understanding of video contents. Most previous works address this task based on third-person view datasets while few research interest has been placed in the ego-centric view by far. Great progress has been made though, we notice that previous works can not adapt well to ego-centric view datasets e.g., Ego4D mainly because of two reasons: 1) most queries in Ego4D have a excessively small temporal duration (e.g., less than 5 seconds); 2) queries in Ego4D are faced with much more complex video understanding of long-term temporal orders. Considering these, we propose our solution of this challenge to solve the above issues.


title: A Note on the Computational Complexity of Selfmate and Reflexmate Chess Problems

abstract: A selfmate is a Chess problem in which White, moving first, needs to force Black to checkmate within a specified number of moves. The reflexmate is a derivative of the selfmate in which White compels Black to checkmate with the added condition that if either player can checkmate, they must do that (when this condition applies only to Black, it is a semi-reflexmate). We slightly modify the reduction of EXPTIME-hardness of Chess and apply the reduction to these Chess problems. It is proved that selfmate, reflexmate, and semi-reflexmate are all EXPTIME-complete.


title: Light-front approach to axial-vector quarkonium $\gamma^* \gamma^*$ form factors

abstract: In this work, we perform a detailed study of transition form factors for axial-vector meson production via the two-photon fusion process $\gamma^* \gamma^* \to 1^{++}$, with space-like virtual photons in the initial state and a $P$-wave axial-vector quarkonium in the final state. In this analysis, we employ the formalism of light-front quarkonium wave functions obtained from a solution of the Schr\"odinger equation for a selection of interquark potentials for $Q \bar Q$ interaction. We found the helicity structure and covariant decomposition of the matrix elements that can be generically applied for any $q \bar q$ axial-vector meson $\gamma^* \gamma^* \to 1^{++}$ transition, while our numerical results are given for the phenomenologically relevant charmonium $\chi_{c1}$ state. We present the helicity form factors as functions of both photon virtualities. We also obtain, that $Q F_{\rm LT}(Q^2,0)/F_{\rm TT}(Q^2,0) = {\rm const.}$


title: Evaluating the Resilience of Variational Quantum Algorithms to Leakage Noise

abstract: As we are entering the era of constructing practical quantum computers, suppressing the inevitable noise to accomplish reliable computational tasks will be the primary goal. Leakage noise, as the amplitude population leaking outside the qubit subspace, is a particularly damaging source of error that error correction approaches cannot handle. However, the impact of this noise on the performance of variational quantum algorithms (VQAs), a type of near-term quantum algorithms that is naturally resistant to a variety of noises, is yet unknown. Here, {we consider a typical scenario with the widely used hardware-efficient ansatz and the emergence of leakage in two-qubit gates}, observing that leakage noise generally reduces the expressive power of VQAs. Furthermore, we benchmark the influence of leakage noise on VQAs in real-world learning tasks. Results show that, both for data fitting and data classification, leakage noise generally has a negative impact on the training process and final outcomes. Our findings give strong evidence that VQAs are vulnerable to leakage noise in most cases, implying that leakage noise must be effectively suppressed in order to achieve practical quantum computing applications, whether for near-term quantum algorithms and long-term error-correcting quantum computing.


title: Multi-task Active Learning for Pre-trained Transformer-based Models

abstract: Multi-task learning, in which several tasks are jointly learned by a single model, allows NLP models to share information from multiple annotations and may facilitate better predictions when the tasks are inter-related. This technique, however, requires annotating the same text with multiple annotation schemes which may be costly and laborious. Active learning (AL) has been demonstrated to optimize annotation processes by iteratively selecting unlabeled examples whose annotation is most valuable for the NLP model. Yet, multi-task active learning (MT-AL) has not been applied to state-of-the-art pre-trained Transformer-based NLP models. This paper aims to close this gap. We explore various multi-task selection criteria in three realistic multi-task scenarios, reflecting different relations between the participating tasks, and demonstrate the effectiveness of multi-task compared to single-task selection. Our results suggest that MT-AL can be effectively used in order to minimize annotation efforts for multi-task NLP models.


title: A report on the status of astrophotonics for interferometry and beyond

abstract: Long-baseline interferometry and high-resolution spectroscopy are two examples of areas that have benefited from astrophotonics devices, but the application range is expanding to other subareas and other wavelength ranges. The VLTI has been one of the pioneering astronomical infrastructure to exploit the potential of astrophotonics instrumentation for high-angular resolution interferometric observations, whereas new opportunities will arise in the context of the future ELTs. In this contribution, I review the current state of the art regarding the interplay between photonic-based solutions and astronomical instrumentation and highlight the growth of the field, as well as its recognition in recent strategy surveys such as the Decadal. I will explain the benefits of different technological platforms making use of photolithography or laser-writing techniques. I will review the most recent results in the field covering simulations, laboratory characterization and on-sky prototyping. Astrophotonics may have a unique role to play in the forthcoming era of new ground-based astronomical facilities, and possibly in the field of space science.


title: DSM-MoC as Baseline: Reliability Assurance via Redundant Cellular Connectivity in Connected Cars

abstract: Connected Cars (CCs) and vehicle-to-everything (V2X) use cases require stringent reliability for safety and non-safety uses. With increasing network softwarisation, it has become easier to use multiple, redundant connectivity options instead of relying on a single network connectivity. But where should these redundant connections be managed? Is it at a network provider's core network - i.e. supply side managed (SSM) - or at the CC - i.e. demand side managed (DSM)? In our work, we investigate the use of SSM and DSM for CCs on four separate days and across 800 kilometers of major / minor roads in South East England. For Day 1, we captured performance indicators, and determined hypothetical multi-operator configurations for four UK providers and a global Universal SIM. For Day 2, 3& 4, we built and deployed a test-bed to actually implement network switching and understand performance (incl. for TCP & UDP) either on the road or in a stationary location. Based on our results, we make three contributions. First, we show that DSM can deliver superior performance for CCs more than any individual network (up to 28 percentage points in a hypothetical scenario), or SSM which had up to 4.8x longer page load times. Second, unlike other smartphone-only studies, our system-level study demonstrates that improvements of at least 12% can be obtained in a practical DSM field implementation for a CC. Third, we confirm that the advantage of DSM in a field implementation is higher for UDP traffic (23% better latency) compared to TCP (13%).


title: Guts of nearly fibered knots

abstract: The guts of a knot is an invariant defined for the knot complement by Agol-Zhang. Nearly fibered knots are defined to be knots whose Floer homology has dimension two in the top Alexander grading and were introduced by Baldwin-Sivek. In this note, we identify three models that describe the guts of any nearly fibered knots in the 3-sphere. As a corollary, the nearly fibered condition can be purely characterized topologically and is independent of the specific version of Floer theory


title: Precise Repositioning of Robotic Ultrasound: Improving Registration-based Motion Compensation using Ultrasound Confidence Optimization

abstract: Robotic ultrasound (US) imaging has been seen as a promising solution to overcome the limitations of free-hand US examinations, i.e., inter-operator variability. However, the fact that robotic US systems cannot react to subject movements during scans limits their clinical acceptance. Regarding human sonographers, they often react to patient movements by repositioning the probe or even restarting the acquisition, in particular for the scans of anatomies with long structures like limb arteries. To realize this characteristic, we proposed a vision-based system to monitor the subject's movement and automatically update the scan trajectory thus seamlessly obtaining a complete 3D image of the target anatomy. The motion monitoring module is developed using the segmented object masks from RGB images. Once the subject is moved, the robot will stop and recompute a suitable trajectory by registering the surface point clouds of the object obtained before and after the movement using the iterative closest point algorithm. Afterward, to ensure optimal contact conditions after repositioning US probe, a confidence-based fine-tuning process is used to avoid potential gaps between the probe and contact surface. Finally, the whole system is validated on a human-like arm phantom with an uneven surface, while the object segmentation network is also validated on volunteers. The results demonstrate that the presented system can react to object movements and reliably provide accurate 3D images.


title: Quantitative prediction of sling events in turbulence at high Reynolds numbers

abstract: Collisional growth of droplets, such as occurring in warm clouds, is known to be significantly enhanced by turbulence. Whether particles collide depends on their flow history, in particular on their encounters with highly intermittent small-scale turbulent structures, which despite their rarity can dominate the overall collision rate. Intuitively, strong vortices may act as slings for inertial particles, leading to intersections where several streams of particles collide at large velocities. Here, we develop a quantitative criterion for sling events based on the velocity gradient history along particle paths. We demonstrate by combination of theory and simulations that the problem reduces to a one-dimensional localization problem as encountered in condensed matter physics. The reduction demonstrates that the creation of slings is completely controlled by the smallest negative eigenvalue of the velocity gradient tensor. We use fully resolved turbulence simulations to confirm our predictions and study their Stokes and Reynolds number dependence. We also discuss extrapolations to the parameter range relevant in clouds, showing that sling events at high Reynolds numbers are significantly enhanced for small Stokes numbers.


title: Hadronic molecules composed of a doubly charmed tetraquark state and a charmed meson

abstract: The three pentaquark states, $P_c(4312)$, $P_c(4440)$ and $P_c(4457)$, discovered by the LHCb Collaboration in 2019, can be arranged into a complete heavy quark spin symmetry multiplet of hadronic molecules of $\bar{D}^{(\ast)}\Sigma_{c}^{(\ast)}$. In the heavy quark mass limit, the $\Sigma_{c}^{(\ast)}$ baryons can be related to the doubly charmed tetraquark states of isospin 1, i.e., $T_{\bar{c}\bar{c}}^{(\ast)}$( $T_{\bar{c}\bar{c}}^{0}$, $T_{\bar{c}\bar{c}}^{1}$, $T_{\bar{c}\bar{c}}^{2}$), via heavy antiquark diquark symmetry, which dictates that the $\bar{D}^{(\ast)}\Sigma_{c}^{(\ast)}$ interactions are the same as the $\bar{D}^{(\ast)}T_{\bar{c}\bar{c}}^{(\ast)}$ interactions up to { heavy antiquark diquark symmetry} breakings. In this work, we employ the contact-range effective field theory to systematically study the $\bar{D}^{(\ast)}T_{\bar{c}\bar{c}}^{(\ast)}$ systems, and we show the existence of a complete heavy quark spin symmetry multiplet of hadronic molecules composed of a doubly charmed tetraquark state and a charmed meson. These are a new kind of hadronic molecules and, if discovered, can lead to a better understanding of the many exotic hadrons discovered so far. In addition, we summarise the triply charmed hexaquark states formed by different combinations of hadrons. In particular, we show that $\bar{\Omega}_{ccc}{p}$ system can bind by the Coulomb force, which is analogous to a hydrogenlike atom.


title: The cycle of length four is strictly $F$-Tur\'an-good

abstract: Given an $(r+1)$-chromatic graph $F$ and a graph $H$ that does not contain $F$ as a subgraph, we say that $H$ is strictly $F$-Tur\'an-good if the Tur\'an graph $T_{r}(n)$ is the unique graph containing the maximum number of copies of $H$ among all $F$-free graphs on $n$ vertices for every $n$ large enough. Gy\H{o}ri, Pach and Simonovits (1991) proved that cycle $C_4$ of length four is strictly $K_{r+1}$-Tur\'{a}n-good for all $r\geq 2$. In this article, we extend this result and show that $C_4$ is strictly $F$-Tur\'an-good, where $F$ is an $(r+1)$-chromatic graph with $r\ge 2$ and a color-critical edge. Moreover, we show that every $n$-vertex $C_4$-free graph $G$ with $N(H,G)=\ex(n,C_4,F)-o(n^4)$ can be obtained by adding or deleting $o(n^2)$ edges from $T_r(n)$. Our proof uses the flag algebra method developed by Razborov (2007).


title: Paraphrasing, textual entailment, and semantic similarity above word level

abstract: This dissertation explores the linguistic and computational aspects of the meaning relations that can hold between two or more complex linguistic expressions (phrases, clauses, sentences, paragraphs). In particular, it focuses on Paraphrasing, Textual Entailment, Contradiction, and Semantic Similarity. In Part I: "Similarity at the Level of Words and Phrases", I study the Distributional Hypothesis (DH) and explore several different methodologies for quantifying semantic similarity at the levels of words and short phrases. In Part II: "Paraphrase Typology and Paraphrase Identification", I focus on the meaning relation of paraphrasing and the empirical task of automated Paraphrase Identification (PI). In Part III: "Paraphrasing, Textual Entailment, and Semantic Similarity", I present a novel direction in the research on textual meaning relations, resulting from joint research carried out on on paraphrasing, textual entailment, contradiction, and semantic similarity.


title: ATLAS: Universal Function Approximator for Memory Retention

abstract: Artificial neural networks (ANNs), despite their universal function approximation capability and practical success, are subject to catastrophic forgetting. Catastrophic forgetting refers to the abrupt unlearning of a previous task when a new task is learned. It is an emergent phenomenon that hinders continual learning. Existing universal function approximation theorems for ANNs guarantee function approximation ability, but do not predict catastrophic forgetting. This paper presents a novel universal approximation theorem for multi-variable functions using only single-variable functions and exponential functions. Furthermore, we present ATLAS: a novel ANN architecture based on the new theorem. It is shown that ATLAS is a universal function approximator capable of some memory retention, and continual learning. The memory of ATLAS is imperfect, with some off-target effects during continual learning, but it is well-behaved and predictable. An efficient implementation of ATLAS is provided. Experiments are conducted to evaluate both the function approximation and memory retention capabilities of ATLAS.


title: Haar Wavelets, Gradients and Approximate TV Regularization

abstract: We show how total variation regularization of images in arbitrary dimensions can be approximately performed by applying appropriate shrinkage to some Haar wavelets coefficients. The approach works directly on the wavelet coefficients and is therefore suited for the application on large volumes from computed tomography.


title: Quantum gravity and the zero point length

abstract: In this paper, we present an overview of some of the existing issues of the research in quantum gravity. We also introduce the basic ideas that led Padmanabhan to consider a duality property in path integrals. Such a duality is consistent with the T-duality in string theory. More importantly, the path integral duality discloses a universal feature of any quantum geometry, namely the existence of a zero point length $L_0$. We also comment about recent developments aiming to expose effects of the zero point length in strong electrodynamics and black holes. There are reasons to believe that the main characters of the phenomenology of quantum gravity may be described by means of a single parameter like $L_0$.


title: $T\bar{T}$ flow as characteristic flows

abstract: We show that method of characteristics provides a powerful new point of view on $T\bar{T}$-and related deformations. Previously, the method of characteristics has been applied to $T\bar{T}$-deformation mainly to solve Burgers' equation, which governs the deformation of the \emph{quantum} spectrum. In the current work, we study \emph{classical} deformed quantities using this method and show that $T\bar{T}$ flow can be seen as a characteristic flow. Exploiting this point of view, we re-derive a number of important known results and obtain interesting new ones. We prove the equivalence between dynamical change of coordinates and the generalized light-cone gauge approaches to $T\bar{T}$-deformation. We find the deformed Lagrangians for a class of $T\bar{T}$-like deformations in higher dimensions and the $(T\bar{T})^{\alpha}$-deformation in 2d with generic $\alpha$, generalizing recent results in arXiv:2206.03415 and arXiv:2206.10515.


title: Adaptive multilevel subset simulation with selective refinement

abstract: In this work we propose an adaptive multilevel version of subset simulation to estimate the probability of rare events for complex physical systems. Given a sequence of nested failure domains of increasing size, the rare event probability is expressed as a product of conditional probabilities. The proposed new estimator uses different model resolutions and varying numbers of samples across the hierarchy of nested failure sets. In order to dramatically reduce the computational cost, we construct the intermediate failure sets such that only a small number of expensive high-resolution model evaluations are needed, whilst the majority of samples can be taken from inexpensive low-resolution simulations. A key idea in our new estimator is the use of a posteriori error estimators combined with a selective mesh refinement strategy to guarantee the critical subset property that may be violated when changing model resolution from one failure set to the next. The efficiency gains and the statistical properties of the estimator are investigated both theoretically via shaking transformations, as well as numerically. On a model problem from subsurface flow, the new multilevel estimator achieves gains of more than a factor 60 over standard subset simulation for a practically relevant relative error of 25%.


title: A Quantum Natural Language Processing Approach to Pronoun Resolution

abstract: We use the Lambek Calculus with soft sub-exponential modalities to model and reason about discourse relations such as anaphora and ellipsis. A semantics for this logic is obtained by using truncated Fock spaces, developed in our previous work. We depict these semantic computations via a new string diagram. The Fock Space semantics has the advantage that its terms are learnable from large corpora of data using machine learning and they can be experimented with on mainstream natural language tasks. Further, and thanks to an existing translation from vector spaces to quantum circuits, we can also learn these terms on quantum computers and their simulators, such as the IBMQ range. We extend the existing translation to Fock spaces and develop quantum circuit semantics for discourse relations. We then experiment with the IBMQ AerSimulations of these circuits in a definite pronoun resolution task, where the highest accuracies were recorded for models when the anaphora was resolved.