title: Flow Matching for Generative Modeling

abstract: We introduce a new paradigm for generative modeling built on Continuous Normalizing Flows (CNFs), allowing us to train CNFs at unprecedented scale. Specifically, we present the notion of Flow Matching (FM), a simulation-free approach for training CNFs based on regressing vector fields of fixed conditional probability paths. Flow Matching is compatible with a general family of Gaussian probability paths for transforming between noise and data samples -- which subsumes existing diffusion paths as specific instances. Interestingly, we find that employing FM with diffusion paths results in a more robust and stable alternative for training diffusion models. Furthermore, Flow Matching opens the door to training CNFs with other, non-diffusion probability paths. An instance of particular interest is using Optimal Transport (OT) displacement interpolation to define the conditional probability paths. These paths are more efficient than diffusion paths, provide faster training and sampling, and result in better generalization. Training CNFs using Flow Matching on ImageNet leads to consistently better performance than alternative diffusion-based methods in terms of both likelihood and sample quality, and allows fast and reliable sample generation using off-the-shelf numerical ODE solvers.


title: CLAD: A Contrastive Learning based Approach for Background Debiasing

abstract: Convolutional neural networks (CNNs) have achieved superhuman performance in multiple vision tasks, especially image classification. However, unlike humans, CNNs leverage spurious features, such as background information to make decisions. This tendency creates different problems in terms of robustness or weak generalization performance. Through our work, we introduce a contrastive learning-based approach (CLAD) to mitigate the background bias in CNNs. CLAD encourages semantic focus on object foregrounds and penalizes learning features from irrelavant backgrounds. Our method also introduces an efficient way of sampling negative samples. We achieve state-of-the-art results on the Background Challenge dataset, outperforming the previous benchmark with a margin of 4.1\%. Our paper shows how CLAD serves as a proof of concept for debiasing of spurious features, such as background and texture (in supplementary material).


title: Hinge States of Second-Order Topological Insulators as a Mach-Zehnder Interferometer

abstract: Three-dimensional higher-order topological insulators can have topologically protected chiral modes propagating on their hinges. Hinges with two co-propagating chiral modes can serve as a "beam splitter" between hinges with only a single chiral mode. Here we show how such a crystal, with Ohmic contacts attached to its hinges, can be used to realize a Mach-Zehnder interferometer. We present concrete calculations for a lattice model of a first-order topological insulator in a magnetic field, which, for a suitable choice of parameters, is an extrinsic second-order topological insulator with the required configuration of chiral hinge modes.


title: Meta Reinforcement Learning for Optimal Design of Legged Robots

abstract: The process of robot design is a complex task and the majority of design decisions are still based on human intuition or tedious manual tuning. A more informed way of facing this task is computational design methods where design parameters are concurrently optimized with corresponding controllers. Existing approaches, however, are strongly influenced by predefined control rules or motion templates and cannot provide end-to-end solutions. In this paper, we present a design optimization framework using model-free meta reinforcement learning, and its application to the optimizing kinematics and actuator parameters of quadrupedal robots. We use meta reinforcement learning to train a locomotion policy that can quickly adapt to different designs. This policy is used to evaluate each design instance during the design optimization. We demonstrate that the policy can control robots of different designs to track random velocity commands over various rough terrains. With controlled experiments, we show that the meta policy achieves close-to-optimal performance for each design instance after adaptation. Lastly, we compare our results against a model-based baseline and show that our approach allows higher performance while not being constrained by predefined motions or gait patterns.


title: Modified quasilinear equations with strongly singular and critical exponential nonlinearities

abstract: In this paper, we study global multiplicity result for a class of modified quasilinear strongly singular equations involving the critical exponential growth of Trudinger-Moser type.


title: Experimental determination of tantalum L-shell fluorescence yields and Coster-Kronig transition probabilities

abstract: Using radiometrically calibrated instrumentation of Physikalisch-Technische Bundesanstalt, the L-shell fluorescence yields and Coster-Kronig factors of tantalum (including the uncertainty budget) were experimentally determined based on transmission and X-ray fluorescence experiments. The determined fluorescence yields ($\omega_{L3} = 0.247(12)$, $\omega_{L2} = 0.278(15)$, $\omega_{L1} = 0.157(12)$) were independently validated trough XRR-GIXRF experiments. Both, the Coster-Kronig factors ($f_{23} = 0.123(84)$, $f_{13} = 0.328(152)$, $f_{12} = 0.14(11)$) as well as the fluorescence yields are in good agreement with the most established databases in the field of X-ray fluorescence.


title: Community as a Vague Operator: Epistemological Questions for a Critical Heuristics of Community Detection Algorithms

abstract: In this article, we aim to analyse the nature and epistemic consequences of what figures in network science as patterns of nodes and edges called 'communities'. Tracing these patterns as multi-faceted and ambivalent, we propose to describe the concept of community as a 'vague operator', a variant of Susan Leigh Star's notion of the boundary object, and propose that the ability to construct different modes of description that are both vague in some registers and hyper-precise in others, is core both to digital politics and the analysis of 'communities'. Engaging with these formations in terms drawn from mathematics and software studies enables a wider mapping of their formation. Disentangling different lineages in network science then allows us to contextualise the founding account of 'community' popularised by Michelle Girvan and Mark Newman in 2002. After studying one particular community detection algorithm, the widely-used 'Louvain algorithm', we comment on controversies arising with some of their more ambiguous applications. We argue that 'community' can act as a real abstraction with the power to reshape social relations such as producing echo chambers in social networking sites. To rework the epistemological terms of community detection and propose a reconsideration of vague operators, we draw on debates and propositions within the literature of network science to imagine a 'critical heuristics' that embraces partiality, epistemic humbleness, reflexivity and artificiality.


title: Site Split of Antiferromagnetic $\alpha$-Mn Revealed by $^{55}$Mn Nuclear Magnetic Resonance

abstract: The magnetic structure of antiferromagnetic $\alpha$-Mn has been unclarified for almost 70 years since its magnetism was discovered. We measured the zero-field nuclear magnetic resonance spectra of antiferromagnetic $\alpha$-Mn to obtain further insight into magnetism below $T_{\text{N}} = 95$ K. The site II spectra split into two sites with five subpeaks owing to quadrupole interaction, and this shows that the ordered moments at site II are slightly tilted from the $[001]$ direction. The site III spectra revealed that this site splits into four sites below $T_{\text{N}}$. These findings clearly demonstrate that the antiferromagnetic $\alpha$-Mn symmetry is lower than previously considered.


title: Audio-Visual Face Reenactment

abstract: This work proposes a novel method to generate realistic talking head videos using audio and visual streams. We animate a source image by transferring head motion from a driving video using a dense motion field generated using learnable keypoints. We improve the quality of lip sync using audio as an additional input, helping the network to attend to the mouth region. We use additional priors using face segmentation and face mesh to improve the structure of the reconstructed faces. Finally, we improve the visual quality of the generations by incorporating a carefully designed identity-aware generator module. The identity-aware generator takes the source image and the warped motion features as input to generate a high-quality output with fine-grained details. Our method produces state-of-the-art results and generalizes well to unseen faces, languages, and voices. We comprehensively evaluate our approach using multiple metrics and outperforming the current techniques both qualitative and quantitatively. Our work opens up several applications, including enabling low bandwidth video calls. We release a demo video and additional information at http://cvit.iiit.ac.in/research/projects/cvit-projects/avfr.


title: Pressure-robust and conforming discretization of the Stokes equations on anisotropic meshes

abstract: Pressure-robust discretizations for incompressible flows have been in the focus of research for the past years. Many publications construct exactly divergence-free methods or use a reconstruction approach [13] for existing methods like the Crouzeix--Raviart element in order to achieve pressure-robustness. To the best of our knowledge, except for our recent publications [3,4], all those articles impose a condition on the shape-regularity of the mesh, and the two mentioned papers that allow for anisotropic elements use a non-conforming velocity approximation. Based on the classical Bernardi--Raugel element we provide a conforming pressure-robust discretization using the reconstruction approach on anisotropic meshes. Numerical examples support the theory.


title: CAP-UDF: Learning Unsigned Distance Functions Progressively from Raw Point Clouds with Consistency-Aware Field Optimization

abstract: Surface reconstruction for point clouds is an important task in 3D computer vision. Most of the latest methods resolve this problem by learning signed distance functions from point clouds, which are limited to reconstructing closed surfaces. Some other methods tried to represent open surfaces using unsigned distance functions (UDF) which are learned from ground truth distances. However, the learned UDF is hard to provide smooth distance fields due to the discontinuous character of point clouds. In this paper, we propose CAP-UDF, a novel method to learn consistency-aware UDF from raw point clouds. We achieve this by learning to move queries onto the surface with a field consistency constraint, where we also enable to progressively estimate a more accurate surface. Specifically, we train a neural network to gradually infer the relationship between queries and the approximated surface by searching for the moving target of queries in a dynamic way. Meanwhile, we introduce a polygonization algorithm to extract surfaces using the gradients of the learned UDF. We conduct comprehensive experiments in surface reconstruction for point clouds, real scans or depth maps, and further explore our performance in unsupervised point normal estimation, which demonstrate non-trivial improvements of CAP-UDF over the state-of-the-art methods.


title: Frobenius integrability of certain $p$-forms on singular spaces

abstract: Demailly proved that on a smooth compact K\"ahler manifold the distribution defined by a holomorphic $p$-form with values in an anti-pseudoeffective line bundle is always integrable. We generalise his result to compact K\"ahler spaces with klt singularities.


title: Assessing radiomics feature stability with simulated CT acquisitions

abstract: Medical imaging quantitative features had once disputable usefulness in clinical studies. Nowadays, advancements in analysis techniques, for instance through machine learning, have enabled quantitative features to be progressively useful in diagnosis and research. Tissue characterisation is improved via the 'radiomics' features, whose extraction can be automated. Despite the advances, stability of quantitative features remains an important open problem. As features can be highly sensitive to variations of acquisition details, it is not trivial to quantify stability and efficiently select stable features. In this work, we develop and validate a Computed Tomography (CT) simulator environment based on the publicly available ASTRA toolbox (www.astra-toolbox.com). We show that the variability, stability and discriminative power of the radiomics features extracted from the virtual phantom images generated by the simulator are similar to those observed in a tandem phantom study. Additionally, we show that the variability is matched between a multi-center phantom study and simulated results. Consequently, we demonstrate that the simulator can be utilised to assess radiomics features' stability and discriminative power.


title: Cyber-Resilient Privacy Preservation and Secure Billing Approach for Smart Energy Metering Devices

abstract: Most of the smart applications, such as smart energy metering devices, demand strong privacy preservation to strengthen data privacy. However, it is difficult to protect the privacy of the smart device data, especially on the client side. It is mainly because payment for billing is computed by the server deployed at the client's side, and it is highly challenging to prevent the leakage of client's information to unauthorised users. Various researchers have discussed this problem and have proposed different privacy preservation techniques. Conventional techniques suffer from the problem of high computational and communication overload on the client side. In addition, the performance of these techniques deteriorates due to computational complexity and their inability to handle the security of large-scale data. Due to these limitations, it becomes easy for the attackers to introduce malicious attacks on the server, posing a significant threat to data security. In this context, this proposal intends to design novel privacy preservation and secure billing framework using deep learning techniques to ensure data security in smart energy metering devices. This research aims to overcome the limitations of the existing techniques to achieve robust privacy preservation in smart devices and increase the cyber resilience of these devices.


title: Learning Autonomous Vehicle Safety Concepts from Demonstrations

abstract: Evaluating the safety of an autonomous vehicle (AV) depends on the behavior of surrounding agents which can be heavily influenced by factors such as environmental context and informally-defined driving etiquette. A key challenge is in determining a minimum set of assumptions on what constitutes reasonable foreseeable behaviors of other road users for the development of AV safety models and techniques. In this paper, we propose a data-driven AV safety design methodology that first learns ``reasonable'' behavioral assumptions from data, and then synthesizes an AV safety concept using these learned behavioral assumptions. We borrow techniques from control theory, namely high order control barrier functions and Hamilton-Jacobi reachability, to provide inductive bias to aid interpretability, verifiability, and tractability of our approach. In our experiments, we learn an AV safety concept using demonstrations collected from a highway traffic-weaving scenario, compare our learned concept to existing baselines, and showcase its efficacy in evaluating real-world driving logs.


title: Vision Transformer Based Model for Describing a Set of Images as a Story

abstract: Visual Story-Telling is the process of forming a multi-sentence story from a set of images. Appropriately including visual variation and contextual information captured inside the input images is one of the most challenging aspects of visual storytelling. Consequently, stories developed from a set of images often lack cohesiveness, relevance, and semantic relationship. In this paper, we propose a novel Vision Transformer Based Model for describing a set of images as a story. The proposed method extracts the distinct features of the input images using a Vision Transformer (ViT). Firstly, input images are divided into 16X16 patches and bundled into a linear projection of flattened patches. The transformation from a single image to multiple image patches captures the visual variety of the input visual patterns. These features are used as input to a Bidirectional-LSTM which is part of the sequence encoder. This captures the past and future image context of all image patches. Then, an attention mechanism is implemented and used to increase the discriminatory capacity of the data fed into the language model, i.e. a Mogrifier-LSTM. The performance of our proposed model is evaluated using the Visual Story-Telling dataset (VIST), and the results show that our model outperforms the current state of the art models.


title: Criteria for the ampleness of certain vector bundles

abstract: We prove that certain vector bundles over surfaces are ample if they are so when restricted to divisors, certain numerical criteria hold, and they are semistable (with respect to $\det(E)$). This result is a higher-rank version of a theorem of Schneider and Tancredi for vector bundles of rank two over surfaces. We also provide counterexamples indicating that our theorem is sharp.


title: Generalization to the Natural Gradient Descent

abstract: Optimization problem, which is aimed at finding the global minimal value of a given cost function, is one of the central problem in science and engineering. Various numerical methods have been proposed to solve this problem, among which the Gradient Descent (GD) method is the most popular one due to its simplicity and efficiency. However, the GD method suffers from two main issues: the local minima and the slow convergence especially near the minima point. The Natural Gradient Descent(NGD), which has been proved as one of the most powerful method for various optimization problems in machine learning, tensor network, variational quantum algorithms and so on, supplies an efficient way to accelerate the convergence. Here, we give a unified method to extend the NGD method to a more general situation which keeps the fast convergence by looking for a more suitable metric through introducing a 'proper' reference Riemannian manifold. Our method generalizes the NDG, and may give more insight of the optimization methods.


title: Revising the Hubble constant, spatial curvature and dark energy dynamics with the latest observations of quasars

abstract: In this paper, we use a newly compiled sample of ultra-compact structure in radio quasars and strong gravitational lensing systems with quasars acting as background sources to constrain six spatially flat and non-flat cosmological models ($\Lambda$CDM, PEDE and DGP). These two sets of quasar data (the time-delay measurements of six strong lensing systems and 120 intermediate-luminosity quasars calibrated as standard rulers) could break the degeneracy between cosmological parameters ($H_0$, $\Omega_m$ and $\Omega_k$) and therefore provide more stringent cosmological constraints for the six cosmological models we study. A joint analysis of the quasar sample provides model-independent estimations of the Hubble constant $H_0$, which is strongly consistent with that derived from the local distance ladder by SH0ES collaboration in the $\Lambda$CDM and PEDE model. However, in the framework of a DGP cosmology (especially for the flat universe), the measured Hubble constant is in good agreement with that derived from the the recent Planck 2018 results. In addition, our results show that zero spatial curvature is supported by the current lensed and unlensed quasar observations and there is no significant deviation from a flat universe. For most of cosmological model we study (the flat $\Lambda$CDM, non-flat $\Lambda$CDM, flat PEDE, and non-flat PEDE models), the derived matter density parameter is completely consistent with $\Omega_m\sim 0.30$ in all the data sets, as expected by the latest cosmological observations. Finally, according to the the statistical criteria DIC, although the joint constraints provide substantial observational support to the flat PEDE model, they do not rule out dark energy being a cosmological constant and non-flat spatial hypersurfaces.


title: AutoQC: Automated Synthesis of Quantum Circuits Using Neural Network

abstract: While the ability to build quantum computers is improving dramatically, developing quantum algorithms is limited and relies on human insight and ingenuity. Although a number of quantum programming languages have been developed, it is challenging for software developers who are not familiar with quantum computing to learn and use these languages. It is, therefore, necessary to develop tools to support developing new quantum algorithms and programs automatically. This paper proposes AutoQC, an approach to automatically synthesizing quantum circuits using the neural network from input and output pairs. We consider a quantum circuit a sequence of quantum gates and synthesize a quantum circuit probabilistically by prioritizing with a neural network at each step. The experimental results highlight the ability of AutoQC to synthesize some essential quantum circuits at a lower cost.


title: CN 2-1 and CS 5-4 observations toward Arp 299 with the SMA

abstract: Dense gas is the key for understanding star formation in galaxies. We present high resolution ($\sim3''$) observations of CN 2-1 and CS 5-4 as dense gas tracers toward Arp 299, a mid stage major merger of galaxies, with the Submillimeter Array (SMA). The spatial distribution of CN 2-1 and CS 5-4 are generally consistent with each other, as well as HCN 1-0 in literature. However, different line ratios of CS 5-4 and CN 2-1 are found in A, B, and C regions, with highest value in B. Dense gas fraction decreases from IC 694 (A), to NGC 3690 (B) and the overlap starburst region (C and C$'$), which indicates that circum-nuclear upcoming starburst in A and B will be more efficient than that in the overlap region of Arp 299.


title: Distilling Task-specific Logical Rules from Large Pre-trained Models

abstract: Logical rules, both transferable and explainable, are widely used as weakly supervised signals for many downstream tasks such as named entity tagging. To reduce the human effort of writing rules, previous researchers adopt an iterative approach to automatically learn logical rules from several seed rules. However, obtaining more seed rules can only be accomplished by extra human annotation with heavy costs. Limited by the size and quality of the seed rules, the model performance of previous systems is bounded. In this paper, we develop a novel framework STREAM to distill task-specific logical rules from large pre-trained models. Specifically, we borrow recent prompt-based language models as the knowledge expert to yield initial seed rules, and based on the formed high-quality instance pool that acts as an intermediary role, we keep teaching the expert to fit our task and learning task-specific logical rules. Experiments on three public named entity tagging benchmarks demonstrate the effectiveness of our proposed framework. With several predefined prompt templates, our system has gained significant improvements over previous state-of-the-art methods.


title: Artificial virtuous agents in a multiagent tragedy of the commons

abstract: Although virtue ethics has repeatedly been proposed as a suitable framework for the development of artificial moral agents (AMAs), it has been proven difficult to approach from a computational perspective. In this work, we present the first technical implementation of artificial virtuous agents (AVAs) in moral simulations. First, we review previous conceptual and technical work in artificial virtue ethics and describe a functionalistic path to AVAs based on dispositional virtues, bottom-up learning, and top-down eudaimonic reward. We then provide the details of a technical implementation in a moral simulation based on a tragedy of the commons scenario. The experimental results show how the AVAs learn to tackle cooperation problems while exhibiting core features of their theoretical counterpart, including moral character, dispositional virtues, learning from experience, and the pursuit of eudaimonia. Ultimately, we argue that virtue ethics provides a compelling path toward morally excellent machines and that our work provides an important starting point for such endeavors.


title: Time inhomogeneous quantum dynamical maps

abstract: We discuss a wide class of time inhomogeneous quantum evolution which is represented by two-parameter family of completely positive trace-preserving maps. These dynamical maps are constructed as infinite series of jump processes. It is shown that such dynamical maps satisfy time inhomogeneous memory kernel master equation which provides a generalization of the master equation involving the standard convolution. Time-local (time convolution-less) approach is discussed as well. Finally, the comparative analysis of traditional time homogeneous vs. time inhomogeneous scenario is provided.


title: Modelling Commonsense Properties using Pre-Trained Bi-Encoders

abstract: Grasping the commonsense properties of everyday concepts is an important prerequisite to language understanding. While contextualised language models are reportedly capable of predicting such commonsense properties with human-level accuracy, we argue that such results have been inflated because of the high similarity between training and test concepts. This means that models which capture concept similarity can perform well, even if they do not capture any knowledge of the commonsense properties themselves. In settings where there is no overlap between the properties that are considered during training and testing, we find that the empirical performance of standard language models drops dramatically. To address this, we study the possibility of fine-tuning language models to explicitly model concepts and their properties. In particular, we train separate concept and property encoders on two types of readily available data: extracted hyponym-hypernym pairs and generic sentences. Our experimental results show that the resulting encoders allow us to predict commonsense properties with much higher accuracy than is possible by directly fine-tuning language models. We also present experimental results for the related task of unsupervised hypernym discovery.


title: Product Portfolio Management in Competitive Environments

abstract: Product diversity is one of the prominent factors for customers' satisfaction, while from the firms' perspective, the additional engineering costs required for product diversity should not exceed the acquired profits from the increase in their market share. Thus, one of the critical decision-making tasks for companies is the selection of an optimal mix of products, namely product portfolio management (PPM). Traditional studies on PPM problem have paid relatively less attention to the actions of other competitors. In this paper, we study PPM problem in a competitive environment where each firm's objective is to maximize its expected shared surplus. We model the competition with an $n$-player game that optimal product portfolios are driven from its Nash equilibrium. Utility functions are determined by the expected value of the shared surplus. We analyze the strategic behavior of firms to determine their optimal product portfolios.


title: Computing Threshold Budgets in Discrete-Bidding Games

abstract: In a two-player zero-sum graph game, the players move a token throughout a graph to produce an infinite play, which determines the winner of the game. \emph{Bidding games} are graph games in which in each turn, an auction (bidding) determines which player moves the token: the players have budgets, and in each turn, both players simultaneously submit bids that do not exceed their available budgets, the higher bidder moves the token, and pays the bid to the lower bidder (called {\em Richman} bidding). We focus on {\em discrete}-bidding games, in which, motivated by practical applications, the granularity of the players' bids is restricted, e.g., bids must be given in cents. A central quantity in bidding games is are {\em threshold budgets}: a necessary and sufficient initial budget for winning the game. Previously, thresholds were shown to exist in parity games, but their structure was only understood for reachability games. Moreover, the previously-known algorithms have a worst-case exponential running time for both reachability and parity objectives, and output strategies that use exponential memory. We describe two algorithms for finding threshold budgets in parity discrete-bidding games. The first is a fixed-point algorithm. It reveals, for the first time, the structure of threshold budgets in parity discrete-bidding games. Based on this structure, we develop a second algorithm that shows that the problem of finding threshold budgets is in \NP and co\NP for both reachability and parity objectives. Moreover, our algorithm constructs strategies that use only linear memory.


title: In vivo Adaptive Focusing for Clinical Contrast-Enhanced Transcranial Ultrasound Imaging in Human

abstract: Imaging the human brain vasculature with high spatial and temporal resolution remains challenging in the clinic today. Transcranial ultrasound is scarcely used for cerebrovascular imaging, due to low sensitivity and strong phase aberrations induced by the skull bone that only enable major brain vessel imaging, even with ultrasound contrast agent injection (microbubbles). Here, we propose an adaptive aberration correction technique for skull bone aberrations based on the backscattered signals coming from intravenously injected microbubbles. Our aberration correction technique was implemented to image brain vasculature in adult humans through temporal and occipital bone windows. For each patient, an effective speed of sound, as well as a phase aberration profile, were determined in several isoplanatic patches spread across the image. This information was then used in the beamforming process. It improved image quality both for ultrafast Doppler imaging and Ultrasound Localization Microscopy (ULM), especially in cases of thick bone windows. For ultrafast Doppler images, the contrast was increased by 4dB on average, and for ULM, the number of detected microbubble tracks was increased by 38%. This technique is thus promising for better diagnosis and follow-up of brain pathologies such as aneurysms or stroke and could make transcranial ultrasound imaging possible even in particularly difficult-to-image patients.


title: Paging with Succinct Predictions

abstract: Paging is a prototypical problem in the area of online algorithms. It has also played a central role in the development of learning-augmented algorithms -- a recent line of research that aims to ameliorate the shortcomings of classical worst-case analysis by giving algorithms access to predictions. Such predictions can typically be generated using a machine learning approach, but they are inherently imperfect. Previous work on learning-augmented paging has investigated predictions on (i) when the current page will be requested again (reoccurrence predictions), (ii) the current state of the cache in an optimal algorithm (state predictions), (iii) all requests until the current page gets requested again, and (iv) the relative order in which pages are requested. We study learning-augmented paging from the new perspective of requiring the least possible amount of predicted information. More specifically, the predictions obtained alongside each page request are limited to one bit only. We consider two natural such setups: (i) discard predictions, in which the predicted bit denotes whether or not it is ``safe'' to evict this page, and (ii) phase predictions, where the bit denotes whether the current page will be requested in the next phase (for an appropriate partitioning of the input into phases). We develop algorithms for each of the two setups that satisfy all three desirable properties of learning-augmented algorithms -- that is, they are consistent, robust and smooth -- despite being limited to a one-bit prediction per request. We also present lower bounds establishing that our algorithms are essentially best possible.


title: Satellite-based continuous-variable quantum key distribution under the Earth's gravitational field

abstract: Long distance communication protocols cannot ignore the existence of the Earth's gravitational field and its effects on quantum states. In this work, we show a very general method to consider the effects of the Earth's gravitational field on continuous-variable quantum key distribution protocols. Our results show that the Earth's gravitational field erodes the ability of the two parties to perform QKD in all the protocols. However, our findings also exhibit some interesting features, i.e., the key rates initially increase for a specific range of height parameter $h\simeq r_A/2$ and then gradually decrease with the increasing of the orbits of satellite $h$. A possible explanation is also provided in our analysis, considering the fact that gravitational frequency shift and special relativistic effects play different roles in the key rates. In addition, our findings show that the change in key rate effected by gravitational frequency shift can be determined at a level of $<1.0\%$ within the satellite height at geostationary Earth orbits. Our work could provide some interesting possibilities to reduce the loss key rate through the control of the orbital height of satellites.


title: A dynamical analogue of Ding-Iohara quantum algebras

abstract: We introduce a family of dynamical Hopf algebroids $U_{q,p}(g,X_l)$ depending on a complex parameter $q$, a formal parameter $p$, a set $g$ of structure functions satisfying the so-called Ding-Iohara condition, and a finite root system of type $X_l$. If $g$ is set to be certain theta functions, then our family recovers the elliptic algebras $U_{q,p}(\widehat{\mathfrak{g}})$ for untwisted affine Lie algebras $\widehat{\mathfrak{g}}$ studied by Konno (1998, 2009), Jimbo-Konno-Odake-Shiraishi (1999) and Farghly-Konno-Oshima (2014). Also, taking the limit $p \to 0$ in the case $X_l=A_l$, we recover the Hopf algebras $U_q(\overline{g},A_l)$ of type $A_l$ with structure functions $\overline{g} := \lim_{p \to 0} g$, introduced by Ding-Iohara (1998) as a generalization of Drinfeld quantum affine algebras. Thus, our Hopf algebroid $U_{q,p}(g,X_l)$ can be regarded as a dynamical analogue of the Ding-Iohara quantum algebras. As a byproduct, we obtain an extension of the Ding-Iohara quantum algebras to those of non-simply-laced type.


title: A Model without Higgs Potential for Quantum Simulation of Radiative Mass-Enhancement in SUSY Breaking

abstract: We study a quantum-simulation model of a mass enhancement in the fermionic states, as well as in the bosonic ones, of the supersymmetric quantum mechanics. The bosonic and fermionic states are graded by a qubit. This model is so simple that it may be implemented as a quantum simulation of the mass enhancement taking place when supersymmetry (SUSY) is spontaneously broken. Here, our quantum simulation means the realization of the target quantum phenomenon with some quantum-information devices as a physical reality. The model describes how the quasi-particle consisting of the annihilation and creation of 1-mode scalar bosons eats the spin effect given by the X-gate, and how it acquires the mass enhancement in the fermionic states in the spontaneous SUSY breaking. Our model's interaction does not have any Higgs potential. Instead, the qubit acts as a substitute for the Higgs potential by the 2-level-system approximation of the double-well potential, and then, the spontaneous SUSY breaking takes place and the mass is enhanced.


title: Nef cones of fiber products and an application to the Cone Conjecture

abstract: We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their N\'eron--Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties, which are the higher dimensional analogues of the Calabi--Yau threefolds constructed by Schoen. Schoen varieties give rise to Calabi--Yau pairs, and in each dimension at least three, there exist Schoen varieties with non-polyhedral nef cone. We prove the Kawamata--Morrison--Totaro Cone Conjecture for the nef cones of Schoen varieties, which generalizes the work by Grassi and Morrison.


title: A singular infinite dimensional Hamilton-Jacobi-Bellman equation arising from a storage problem

abstract: In the first part of this paper, we derive an infinite dimensional partial differential equation which describes an economic equilibrium in a model of storage which includes an infinite number of non-atomic agents. This equation has the form of a mean field game master equation. The second part of the paper is devoted to the mathematical study of the Hamilton-Jacobi-Bellman equation from which the previous equation derives. This last equation is both singular and set on a Hilbert space and thus raises new mathematical difficulties.


title: Asymptotic behaviors of a kinetic approach to the collective dynamics of a rock-paper-scissors binary game

abstract: This article studies the kinetic dynamics of the rock-paper-scissors binary game in a measure setting given by a non local and non linear integrodifferential equation. After proving the wellposedness of the equation, we provide a precise description of the asymptotic behavior in large time. To do so we adopt a duality approach, which is well suited both as a first step to construct a measure solution by mean of semigroups and to obtain an explicit expression of the asymptotic measure. Even thought the equation is non linear, this measure depends linearly on the initial condition. This result is completed by a decay in total variation norm, which happens to be subgeometric due to the nonlinearity of the equation. This relies on an unusual use of a confining condition that is needed to apply a Harris-type theorem, taken from a recent paper [2] that also provides a way to compute explicitly the constants involved in the aforementioned decay in norm.


title: Propagation of Coronal Mass Ejections from the Sun to Earth

abstract: Coronal Mass Ejections (CMEs), as they can inject a large amounts of mass and magnetic flux into the interplanetary space, are the primary source of space weather phenomena on the Earth. The present review first briefly introduces the solar surface signatures of the origins of CMEs and then focuses on the attempts to understand the kinematic evolution of CMEs from the Sun to the Earth. CMEs have been observed in the solar corona in white-light from a series of space missions over the last five decades. In particular, LASCO/SOHO has provided almost continuous coverage of CMEs for more than two solar cycles until today. However, the observations from LASCO suffered from projection effects and limited field of view (within 30 Rs from the Sun). The launch in 2006 of the twin STEREO spacecraft made possible multiple viewpoints imaging observations, which enabled us to assess the projection effects on CMEs. Moreover, heliospheric imagers (HIs) onboard STEREO continuously observed the large and unexplored distance gap between the Sun and Earth. Finally, the Earth-directed CMEs that before have been routinely identified only near the Earth at 1 AU in in situ observations from ACE and WIND, could also be identified at longitudes away from the Sun-Earth line using the in situ instruments onboard STEREO. Our review presents the frequently used methods for estimation of the kinematics of CMEs and their arrival time at 1 AU using primarily SOHO and STEREO observations. We emphasize the need of deriving the three-dimensional (3D) properties of Earth-directed CMEs from the locations away from the Sun-Earth line. The results improving the CME arrival time prediction at Earth and the open issues holding back progress are also discussed. Finally, we summarize the importance of heliospheric imaging and discuss the path forward to achieve improved space weather forecasting.


title: Topological modes in stellar oscillations

abstract: Stellar oscillations can be of topological origin. We reveal this deep and so-far hidden property of stars by establishing a novel parallel between stars and topological insulators. We construct an hermitian problem to derive the expression of the stellar $\mathrm{\textit{acoustic-buoyant}}$ frequency $S$ of non-radial adiabatic pulsations. A topological analysis then connects the changes of sign of the acoustic-buoyant frequency to the existence of Lamb-like waves within the star. These topological modes cross the frequency gap and behave as gravity modes at low harmonic degree $\ell$ and as pressure modes at high $\ell$. $S$ is found to change sign at least once in the bulk of most stellar objects, making topological modes ubiquitous across the Hertzsprung-Russel diagram. Some topological modes are also expected to be trapped in regions where the internal structure varies strongly locally.


title: SND@LHC: The Scattering and Neutrino Detector at the LHC

abstract: SND@LHC is a compact and stand-alone experiment designed to perform measurements with neutrinos produced at the LHC in the pseudo-rapidity region of ${7.2 < \eta < 8.4}$. The experiment is located 480 m downstream of the ATLAS interaction point, in the TI18 tunnel. The detector is composed of a hybrid system based on an 830 kg target made of tungsten plates, interleaved with emulsion and electronic trackers, also acting as an electromagnetic calorimeter, and followed by a hadronic calorimeter and a muon identification system. The detector is able to distinguish interactions of all three neutrino flavours, which allows probing the physics of heavy flavour production at the LHC in the very forward region. This region is of particular interest for future circular colliders and for very high energy astrophysical neutrino experiments. The detector is also able to search for the scattering of Feebly Interacting Particles. In its first phase, the detector will operate throughout LHC Run 3 and collect a total of 250 $\text{fb}^{-1}$.


title: FloatingFusion: Depth from ToF and Image-stabilized Stereo Cameras

abstract: High-accuracy per-pixel depth is vital for computational photography, so smartphones now have multimodal camera systems with time-of-flight (ToF) depth sensors and multiple color cameras. However, producing accurate high-resolution depth is still challenging due to the low resolution and limited active illumination power of ToF sensors. Fusing RGB stereo and ToF information is a promising direction to overcome these issues, but a key problem remains: to provide high-quality 2D RGB images, the main color sensor's lens is optically stabilized, resulting in an unknown pose for the floating lens that breaks the geometric relationships between the multimodal image sensors. Leveraging ToF depth estimates and a wide-angle RGB camera, we design an automatic calibration technique based on dense 2D/3D matching that can estimate camera extrinsic, intrinsic, and distortion parameters of a stabilized main RGB sensor from a single snapshot. This lets us fuse stereo and ToF cues via a correlation volume. For fusion, we apply deep learning via a real-world training dataset with depth supervision estimated by a neural reconstruction method. For evaluation, we acquire a test dataset using a commercial high-power depth camera and show that our approach achieves higher accuracy than existing baselines.


title: Equivalence of weak and viscosity solutions for the nonhomogeneous double phase equation

abstract: We establish the equivalence between weak and viscosity solutions to the nonhomogeneous double phase equation with lower-order term $$ -{\rm div}(|Du|^{p-2}Du+a(x)|Du|^{q-2}Du)=f(x,u,Du),\quad 1<p\le q<\infty, a(x)\ge0. $$ We find some appropriate hypotheses on the coefficient $a(x)$, the exponents $p, q$ and the nonlinear term $f$ to show that the viscosity solutions with {\em a priori} Lipschitz continuity are weak solutions of such equation by virtue of the $\inf$($\sup$)-convolution techniques. The reverse implication can be concluded through comparison principles. Moreover, we verify that the bounded viscosity solutions are exactly Lipschitz continuous, which is also of independent interest.


title: Lattice path bicircular matroids

abstract: Lattice path matroids and bicircular matroids are two well-known classes of transversal matroids. In the seminal work of Bonin and de Mier about structural properties of lattice path matroids, the authors claimed that lattice path matroids significantly differ from bicircular matroids. Recently, it was proved that all cosimple lattice path matroids have positive double circuits, while it was shown that there is a large class of cosimple bicircular matroids with no positive double circuits. These observations support Bonin and de Miers' claim. Finally, Sivaraman and Slilaty suggested studying the intersection of lattice path matroids and bicircular matroids as a possibly interesting research topic. In this work, we exhibit the excluded bicircular matroids for the class of lattice path matroids, and we propose a characterization of the graph family whose bicircular matroids are lattice path matroids. As an application of this characterization, we propose a geometric description of $2$-connected lattice path bicircular matroids.


title: Burchnall-Chaundy polynomials for matrix ODOs and Picard-Vessiot Theory

abstract: Burchnall and Chaundy showed that if two ODOs $P$, $Q$ with analytic coefficients commute there exists a polynomial $f(\lambda ,\mu)$ with complex coefficients such that $f(P,Q)=0$, called the BC-polynomial. This polynomial can be computed using the differential resultant for ODOs. In this work we extend this result to matrix ordinary differential operators, MODOs. Matrices have entries in a differential field $K$, whose field of constants $C$ is algebraically closed and of zero characteristic. We restrict to the case of order one operators $P$, with invertible leading coefficient. A new differential elimination tool is defined, the matrix differential resultant. It is used to compute the BC-polynomial $f$ of a pair of commuting MODOs and proved to have constant coefficients. This resultant provides the necessary and sufficient condition for the spectral problem $PY=\lambda Y \ , \ QY=\mu Y$ to have a solution. Techniques from differential algebra and Picard-Vessiot theory allow us to describe explicitly isomorphisms between commutative rings of MODOs $C[P,Q]$ and a finite product of rings of irreducible algebraic curves.


title: Wave equation for Sturm-Liouville operator with singular intermediate coefficient and potential

abstract: In this paper, we consider a wave equation on a bounded domain with a Sturm-Liouville operator with a singular intermediate coefficient and a singular potential. To obtain and evaluate the solution, the method of separation of variables is used, then the expansion in the Fourier series in terms of the eigenfunctions of the Sturm-Liouville operator is used. The Sturm-Liouville eigenfunctions are determined by such coefficients using the modified Prufer transform. Existence, uniqueness and consistency theorems are also proved for a very weak solution of the wave equation with singular coefficients.


title: Internal Heating in Magnetars: Role of Electron Captures

abstract: The role of electron captures by nuclei in the shallow heating of magnetars is further investigated using both nuclear measurements and the theoretical atomic mass table HFB-27. Starting from the composition of the outer crust in full equilibrium, we have calculated the onset of electron captures and the heat released due to the slow decay of the magnetic field. Numerical results are found to be similar to those previously obtained with the HFB-24 atomic mass model and are consistent with neutron-star cooling data.


title: Supernilpotent Semigroups

abstract: Regular abelian semigroups are isomorphic to a direct product of an abelian group and a rectangular band (Warne, 1994). Seeking for a similar result for nilpotency, solvability and supernilpotency of regular semigroups, we obtain that analogous statement is true only in orthodox semigroups. We provide an example that shows that the same does not have to be true in regular semigroups that are not orthodox.


title: Double strangeness molecular-type pentaquarks from coupled channel dynamics

abstract: The existence of pentaquarks with strangeness content zero and one are major discoveries of the latest years in hadron physics. Most of these states can be understood as hadronic molecules and were predicted prior to their discovery within a model based on unitarized meson-baryon amplitudes obtained from vector meson exchange interactions. Contrary to earlier statements, we show this model to also predict the existence of pentaquarks with double strangeness, at about 4500 MeV and 4600 MeV, which are generated in a very specific and unique mechanism, via an attraction induced by a strong coupling between the two heaviest meson-baryon states.


title: Effect of isovector scalar meson on equation of state of dense matter within relativistic mean field model

abstract: The effects of the isovector-scalar $\delta$-meson field on the properties of finite nuclei, infinite nuclear matter and neutron stars are investigated within the Relativistic Mean Field (RMF) model which includes non-linear couplings. Several parameter sets (SRV's) are generated to asses the influence of $\delta$-meson on the properties of neutron star. These parametrizations correspond to different values of coupling constant of $\delta$-meson to the nucleons with remaining ones calibrated to yield finite nuclei and infinite nuclear matter properties consistent with the available experimental data. It is observed that to fit the properties of finite nuclei and infinite nuclear matter, a stronger coupling between isovector-vector $\rho$ meson and nucleons is required in the presence of $\delta$ field. Furthermore, the $\delta$-meson is found to affect the radius of canonical neutron star significantly. The value of dimensionless tidal deformability, ${\Lambda}$ for the canonical neutron star also satisfies the constraints from the waveform models analysis of GW170817 binary neutron star merger event. A covariance analysis is performed to estimate the statistical uncertainties of the model parameters as well as correlations among the model parameters and different observables of interest.


title: Post-selection Inference in Multiverse Analysis (PIMA): an inferential framework based on the sign flipping score test

abstract: When analyzing data researchers make some decisions that are either arbitrary, based on subjective beliefs about the data generating process, or for which equally justifiable alternative choices could have been made. This wide range of data-analytic choices can be abused, and has been one of the underlying causes of the replication crisis in several fields. Recently, the introduction of multiverse analysis provides researchers with a method to evaluate the stability of the results across reasonable choices that could be made when analyzing data. Multiverse analysis is confined to a descriptive role, lacking a proper and comprehensive inferential procedure. Recently, specification curve analysis adds an inferential procedure to multiverse analysis, but this approach is limited to simple cases related to the linear model, and only allows researchers to infer whether at least one specification rejects the null hypothesis, but not which specifications should be selected. In this paper we present a Post-selection Inference approach to Multiverse Analysis (PIMA) which is a flexible and general inferential approach that accounts for all possible models, i.e., the multiverse of reasonable analyses. The approach allows for a wide range of data specifications (i.e. pre-processing) and any generalized linear model; it allows testing the null hypothesis of a given predictor not being associated with the outcome, by merging information from all reasonable models of multiverse analysis, and provides strong control of the family-wise error rate such that it allows researchers to claim that the null-hypothesis can be rejected for each specification that shows a significant effect. The inferential proposal is based on a conditional resampling procedure. To be continued...


title: Why Should I Choose You? AutoXAI: A Framework for Selecting and Tuning eXplainable AI Solutions

abstract: In recent years, a large number of XAI (eXplainable Artificial Intelligence) solutions have been proposed to explain existing ML (Machine Learning) models or to create interpretable ML models. Evaluation measures have recently been proposed and it is now possible to compare these XAI solutions. However, selecting the most relevant XAI solution among all this diversity is still a tedious task, especially when meeting specific needs and constraints. In this paper, we propose AutoXAI, a framework that recommends the best XAI solution and its hyperparameters according to specific XAI evaluation metrics while considering the user's context (dataset, ML model, XAI needs and constraints). It adapts approaches from context-aware recommender systems and strategies of optimization and evaluation from AutoML (Automated Machine Learning). We apply AutoXAI to two use cases, and show that it recommends XAI solutions adapted to the user's needs with the best hyperparameters matching the user's constraints.


title: Hypernetwork approach to Bayesian MAML

abstract: The main goal of Few-Shot learning algorithms is to enable learning from small amounts of data. One of the most popular and elegant Few-Shot learning approaches is Model-Agnostic Meta-Learning (MAML). The main idea behind this method is to learn the shared universal weights of a meta-model, which are then adapted for specific tasks. However, the method suffers from over-fitting and poorly quantifies uncertainty due to limited data size. Bayesian approaches could, in principle, alleviate these shortcomings by learning weight distributions in place of point-wise weights. Unfortunately, previous modifications of MAML are limited due to the simplicity of Gaussian posteriors, MAML-like gradient-based weight updates, or by the same structure enforced for universal and adapted weights. In this paper, we propose a novel framework for Bayesian MAML called BayesianHMAML, which employs Hypernetworks for weight updates. It learns the universal weights point-wise, but a probabilistic structure is added when adapted for specific tasks. In such a framework, we can use simple Gaussian distributions or more complicated posteriors induced by Continuous Normalizing Flows.


title: Stochastic Resonance in Climate Reddening Increases the Risk of Cyclic Ecosystem Extinction via Phase-tipping

abstract: Human activity is leading to changes in the mean and variability of climatic parameters in most locations around the world. The changing mean has received considerable attention from scientists and climate policy makers. However, recent work indicates that the changing variability, that is, the amplitude and the temporal autocorrelation of deviations from the mean, may have greater and more imminent impact on ecosystems. In this paper, we demonstrate that changes in climate variability alone could drive cyclic predator-prey ecosystems to extinction via so-called phase tipping (P-tipping), a new type of instability that occurs only from certain phases of the predator-prey cycle. We construct a mathematical model of a variable climate and couple it to two self-oscillating paradigmatic predator-prey models. Most importantly, we combine realistic parameter values for the Canada lynx and snowshoe hare with actual climate data from the boreal forest. In this way, we demonstrate that critically important species in the boreal forest have increased likelihood of P-tipping to extinction under predicted changes in climate variability, and are most vulnerable during stages of the cycle when the predator population is near its maximum. Furthermore, our analysis reveals that stochastic resonance is the underlying mechanism for the increased likelihood of P-tipping to extinction.


title: Data Augmentation-free Unsupervised Learning for 3D Point Cloud Understanding

abstract: Unsupervised learning on 3D point clouds has undergone a rapid evolution, especially thanks to data augmentation-based contrastive methods. However, data augmentation is not ideal as it requires a careful selection of the type of augmentations to perform, which in turn can affect the geometric and semantic information learned by the network during self-training. To overcome this issue, we propose an augmentation-free unsupervised approach for point clouds to learn transferable point-level features via soft clustering, named SoftClu. SoftClu assumes that the points belonging to a cluster should be close to each other in both geometric and feature spaces. This differs from typical contrastive learning, which builds similar representations for a whole point cloud and its augmented versions. We exploit the affiliation of points to their clusters as a proxy to enable self-training through a pseudo-label prediction task. Under the constraint that these pseudo-labels induce the equipartition of the point cloud, we cast SoftClu as an optimal transport problem. We formulate an unsupervised loss to minimize the standard cross-entropy between pseudo-labels and predicted labels. Experiments on downstream applications, such as 3D object classification, part segmentation, and semantic segmentation, show the effectiveness of our framework in outperforming state-of-the-art techniques.


title: Partition functions of determinantal and Pfaffian Coulomb gases with radially symmetric potentials

abstract: We consider random normal matrix and planar symplectic ensembles, which can be interpreted as two-dimensional Coulomb gases having determinantal and Pfaffian structures, respectively. For general radially symmetric potentials, we derive the asymptotic expansions of the log-partition functions up to and including the $O(1)$-terms as the number $N$ of particles increases. Notably, our findings stress that the formulas of the $O(\log N)$- and $O(1)$-terms in these expansions depend on the connectivity of the droplet. For random normal matrix ensembles, our formulas agree with the predictions proposed by Zabrodin and Wiegmann up to a universal additive constant. For planar symplectic ensembles, the expansions contain a new kind of ingredient in the $O(N)$-terms, the logarithmic potential evaluated at the origin in addition to the entropy of the ensembles.


title: An ab initio study of the rovibronic spectrum of sulphur monoxide (SO): diabatic vs. adiabatic representation

abstract: We present an ab initio study of the rovibronic spectra of sulfur monoxide ($^{32}$S$^{16}$O) using internally contracted multireference confoguration interaction (ic-MRCI) method and aug-cc-pV5Z basis sets. It covers 13 electronic states $X^{3}\Sigma^{-}$, $a^{1}\Delta$, $b^{1}\Sigma^{+}$, $c^{1}\Sigma^{-}$, $A^{\prime\prime 3}\Sigma^{+}$, $A^{\prime 3}\Delta$, $A^{3}\Pi$, $B^{3}\Sigma^{-}$, $C^{3}\Pi$, $d^{1}\Pi$, $e^{1}\Pi$, $C^{\prime 3}\Pi$, and $(3)^{1}\Pi$ ranging up to 66800 cm$^{-1}$. The ab initio spectroscopic model includes 13 potential energy curves, 23 dipole and transition dipole moment curves, 23 spin-orbit curves, and 14 electronic angular momentum curves. A diabatic representation is built by removing the avoided crossings between the spatially degenerate pairs $C^{3}\Pi - C^{\prime 3}\Pi$ and $e^{1}\Pi - (3)^{1}\Pi$ through a property-based diabatisation method. We also present non-adiabatic couplings and diabatic couplings for these avoided crossing systems. All phases for our coupling curves are defined, and consistent, providing the first fully reproducible spectroscopic model of SO covering the wavelength range longer than 147 nm. Finally, an ab initio rovibronic spectrum of SO is computed.

categories: physics.chem-ph astro-ph.EP astro-ph.GA astro-ph.SR physics.ao-ph


title: How are mobility and friction related in viscoelastic fluids?

abstract: The motion of a colloidal probe in a viscoelastic fluid is described by friction or mobility, depending on whether the probe is moving with a velocity or feeling a force. While the Einstein relation describes an inverse relationship valid for Newtonian solvents, both concepts are generalized to time-dependent memory kernels in viscoelastic fluids. We theoretically and experimentally investigate their relation by considering two observables: the recoil after releasing a probe that was moved through the fluid and the equilibrium mean squared displacement (MSD). Applying concepts of linear response theory, we generalize Einstein's relation and thereby relate recoil and MSD, which both provide access to the mobility kernel. With increasing concentration, however, MSD and recoil show distinct behaviors, rooted in different behaviors of the two kernels. Using two theoretical models, a linear two-bath particle model and hard spheres treated by mode-coupling theory, we find a Volterra relation between the two kernels, explaining differing timescales in friction and mobility kernels under variation of concentration.


title: Properties of gapped systems in AdS/BCFT

abstract: We study the conductivities and entanglement structures of two different holographic gapped systems at zero density in the presence of boundaries within AdS/BCFT. The first gapped system is described by the Einstein-scalar gravity and the second one is the dual of AdS soliton geometry. We show that in both these two systems the bulk and boundary conductivities along the spatial direction of the boundary of BCFT are trivial. For the first system, when we increase the size of the subsystem the renormalized entanglement entropy is always non-negative and monotonically decreasing with discontinuous, or continuous, or smooth behavior, depending on the effective tension of the brane. While for the AdS soliton with a boundary, the renormalized entanglement entropy only exhibits a discontinuous drop when we increase the size of the subsystem.


title: Signatures of Quantum Gravity in the Gravitational Self-Interaction of Photons

abstract: We propose relativistic tests of quantum gravity using the gravitational self-interaction of photons in a cavity. We demonstrate that this interaction results in a number of quantum gravitational signatures in the quantum state of the light that cannot be reproduced by any classical theory of gravity. We rigorously assess these effects using quantum parameter estimation theory, and discuss simple measurement schemes that optimally extract their signatures. Crucially, the proposed tests are free of QED photon-photon scattering, are sensitive to the spin of the mediating gravitons, and can probe the locality of the gravitational interaction. These protocols provide a new avenue for studying the quantum nature of gravity in a relativistic setting.


title: Just ClozE! A Novel Framework for Evaluating the Factual Consistency Faster in Abstractive Summarization

abstract: The issue of factual consistency in abstractive summarization has received extensive attention in recent years, and the evaluation of factual consistency between summary and document has become an important and urgent task. Most of the current evaluation metrics are adopted from the question answering (QA) or natural language inference (NLI) task. However, the application of QA-based metrics is extremely time-consuming in practice while NLI-based metrics are lack of interpretability. In this paper, we propose a cloze-based evaluation framework called ClozE and show the great potential of the cloze-based metric. It inherits strong interpretability from QA, while maintaining the speed of NLI- level reasoning. We demonstrate that ClozE can reduce the evaluation time by nearly 96% relative to QA-based metrics while retaining their interpretability and performance through experiments on six human-annotated datasets and a meta-evaluation benchmark GO FIGURE (Gabriel et al., 2021). Finally, we discuss three important facets of ClozE in practice, which further shows better overall performance of ClozE compared to other metrics.


title: Black Hole Evaporation Beyond the Standard Model of Particle Physics

abstract: The observation of an evaporating black hole would provide definitive information on the elementary particles present in nature. In particular, it could discover or exclude particles beyond those present in the standard model of particle physics. We consider a wide range of motivated scenarios beyond the standard model and identify those which would be best probed in the event of an observation. For those models we define representative benchmark parameters and characterise the photon spectra as a function of time. For the supersymmetric benchmark model, where most of the new particles produce secondary photons, we provide secondary spectra and discuss the subtle interplay between faster black hole evaporation and an increased flux of secondary photons. Finally, we discuss the impact of these models on future experimental analysis strategies.


title: Three-Dimensional Printed Liquid Diodes with Tunable Velocity: Design Guidelines and Applications for Liquid Collection and Transport

abstract: Directional and self-propelled flow in open channels has a variety of applications, including microfluidic and medical devices, industrial filtration processes, fog-harvesting and condensing apparatuses. Here, we present versatile three-dimensional (3D)-printed liquid diodes that enable spontaneous unidirectional flow over long distances for a wide range of liquid contact angles. Typically, we can achieve average flow velocities of several millimeters per second over a distance of tens to hundreds of millimeters. The diodes have two key design principles. First, a sudden widening in the channels' width, in combination with a small bump, the pitch, ensure pinning of the liquid in the backward direction. Second, an adjustable reservoir, the bulga, is introduced to manipulate the liquid velocity with differing expansion angles. Using a combination of experiments and lattice Boltzmann simulations, we provide a comprehensive analysis of the flow behavior and speed within the channels with varying contact angles (CA), pitch heights and bulga angles. This provides guidelines for the fabrication of bespoke liquid diodes with optimal design for their potential applications. As a feasibility investigation, we test our design for condensation of water from fog and subsequent transport uphill.


title: A Review of Multilingualism in and for Ontologies

abstract: The Multilingual Semantic Web has been in focus for over a decade. Multilingualism in Linked Data and RDF has shown substantial adoption, but this is unclear for ontologies since the last review 15 years ago. One of the design goals for OWL was internationalisation, with the aim that an ontology is usable across languages and cultures. Much research to improve on multilingual ontologies has taken place in the meantime, and presumably multilingual linked data could use multilingual ontologies. Therefore, this review seeks to (i) elucidate and compare the modelling options for multilingual ontologies, (ii) examine extant ontologies for their multilingualism, and (iii) evaluate ontology editors for their ability to manage a multilingual ontology. Nine different principal approaches for modelling multilinguality in ontologies were identified, which fall into either of the following approaches: using multilingual labels, linguistic models, or a mapping-based approach. They are compared on design by means of an ad hoc visualisation mode of modelling multilingual information for ontologies, shortcomings, and what issues they aim to solve. For the ontologies, we extracted production-level and accessible ontologies from BioPortal and the LOV repositories, which had, at best, 6.77% and 15.74% multilingual ontologies, respectively, where most of them have only partial translations and they all use a labels-based approach only. Based on a set of nine tool requirements for managing multilingual ontologies, the assessment of seven relevant ontology editors showed that there are significant gaps in tooling support, with VocBench 3 nearest of meeting them all. This stock-taking may function as a new baseline and motivate new research directions for multilingual ontologies.


title: Effective Self-supervised Pre-training on Low-compute Networks without Distillation

abstract: Despite the impressive progress of self-supervised learning (SSL), its applicability to low-compute networks has received limited attention. Reported performance has trailed behind standard supervised pre-training by a large margin, barring self-supervised learning from making an impact on models that are deployed on device. Most prior works attribute this poor performance to the capacity bottleneck of the low-compute networks and opt to bypass the problem through the use of knowledge distillation (KD). In this work, we revisit SSL for efficient neural networks, taking a closer at what are the detrimental factors causing the practical limitations, and whether they are intrinsic to the self-supervised low-compute setting. We find that, contrary to accepted knowledge, there is no intrinsic architectural bottleneck, we diagnose that the performance bottleneck is related to the model complexity vs regularization strength trade-off. In particular, we start by empirically observing that the use of local views can have a dramatic impact on the effectiveness of the SSL methods. This hints at view sampling being one of the performance bottlenecks for SSL on low-capacity networks. We hypothesize that the view sampling strategy for large neural networks, which requires matching views in very diverse spatial scales and contexts, is too demanding for low-capacity architectures. We systematize the design of the view sampling mechanism, leading to a new training methodology that consistently improves the performance across different SSL methods (e.g. MoCo-v2, SwAV, DINO), different low-size networks (e.g. MobileNetV2, ResNet18, ResNet34, ViT-Ti), and different tasks (linear probe, object detection, instance segmentation and semi-supervised learning). Our best models establish a new state-of-the-art for SSL methods on low-compute networks despite not using a KD loss term.


title: Exploring the electromagnetic properties of the $\Xi_c^{(\prime,\,*)} \bar D_s^*$ and $\Omega_c^{(*)} \bar D_s^*$ molecular states

abstract: This paper presents a systematic investigation of the electromagnetic properties of the hidden-charm molecular pentaquarks within the constituent quark model. Specifically, it focuses on two types of pentaquarks: the $\Xi_c^{(\prime,*)} \bar{D}_s^{*}$-type pentaquarks with double strangeness and the $\Omega_{c}^{(*)}\bar D_s^{*}$-type pentaquarks with triple strangeness. The study explores various electromagnetic properties, including the magnetic moments, the transition magnetic moments, and the radiative decay behavior of these pentaquarks. To ensure realistic calculations, the $S$-$D$ wave mixing effect and the coupled channel effect are taken into account. By examining the electromagnetic properties of the hidden-charm molecular pentaquarks with double and triple strangeness, this research contributes to the deeper understanding of their spectroscopic behavior. These findings form a valuable addition to the ongoing investigation into the broader spectrum of properties exhibited by the hidden-charm molecular pentaquarks.


title: Direct probing of a large spin-orbit coupling in the FeSe superconducting monolayer on STO: Evidence for nontrivial topological states

abstract: In condensed-matter physics spin-orbit coupling (SOC) is a fundamental physical interaction, which describes how the electrons' spin couples to their orbital motion. It is the source of a vast variety of fascinating phenomena in solids such as topological phases of matter, quantum spin Hall states, and many other exotic quantum states. Although in most theoretical descriptions of the phenomenon of high-temperature superconductivity SOC has been neglected, including this interaction can, in principle, revise the microscopic picture of superconductivity in these compounds. Not only the interaction leading to Cooper pairing but also the symmetry of the order parameter and the topological character of the involved states can be determined by SOC. Here by preforming energy-, momentum-, and spin-resolved spectroscopy experiments with an unprecedented resolution we demonstrate that while probing the dynamic charge response of the FeSe monolayer on strontium titanate, a prototype two dimensional high-temperature superconductor using slow electrons, the scattering cross-section shows a considerable spin asymmetry. We unravel the origin of the observed spin asymmetry by developing a model in which SOC is taken into consideration. Our analysis indicates that SOC in this two dimensional superconductor is rather strong. We anticipate that such a strong SOC can have several serious consequences on the electronic structures and can lead to the formation of topological states. Moreover, a sizable SOC can compete with other pairing scenarios and is crucial for the mechanism of high-temperature superconductivity.


title: Hybrid Quantum Classical Simulations

abstract: We report on two major hybrid applications of quantum computing, namely, the quantum approximate optimisation algorithm (QAOA) and the variational quantum eigensolver (VQE). Both are hybrid quantum classical algorithms as they require incremental communication between a classical central processing unit and a quantum processing unit to solve a problem. We find that the QAOA scales much better to larger problems than random guessing, but requires significant computational resources. In contrast, a coarsely discretised version of quantum annealing called approximate quantum annealing (AQA) can reach the same promising scaling behaviour using much less computational resources. For the VQE, we find reasonable results in approximating the ground state energy of the Heisenberg model when suitable choices of initial states and parameters are used. Our design and implementation of a general quasi-dynamical evolution further improves these results.


title: The Astrometric Animation of Water Masers towards the Mira Variable BX Cam

abstract: We report VLBI monitoring observations of the 22 GHz water (H$_{2}$O) masers around the Mira variable BX Cam, which were carried out as a part of the EAVN Synthesis of Stellar Maser Animations (ESTEMA) project. Data of 37 epochs in total were obtained from 2018 May to 2021 June with a time interval of 3-4 weeks, spanning approximately three stellar pulsation periods ($P= \sim$440 d). In particular, the dual-beam system equipped on the VERA stations was used to measure the kinematics and parallaxes of the H$_{2}$O maser features. The measured parallax, $\pi=1.79\pm 0.08$ mas, is consistent with $Gaia$ EDR3 and previously measured VLBI parallaxes within a 1-$\sigma$ error level. The position of the central star was estimated, based on both the $Gaia$ EDR3 data and the center position of the ring-like 43 GHz silicon-monoxide (SiO) maser distribution imaged with the KVN. The three-dimensional H$_{2}$O maser kinematics indicates that the circumstellar envelope is expanding at a velocity of $13\pm4$ km s$^{-1}$, while there are asymmetries in both the spatial and velocity distributions of the maser features. Furthermore, the H$_{2}$O maser animation achieved by our dense monitoring program manifests the propagation of shock waves in the circumstellar envelope of BX Cam.


title: Phonon-limited carrier mobilities and Hall factors in 4H-SiC from first principles

abstract: Charge carrier mobility is at the core of semiconductor materials and devices optimization, and Hall measurement is one of the most important techniques for its characterization. The Hall factor, defined as the ratio between Hall and drift mobilities, is of particular importance. Here we study the effect of anisotropy by computing the drift and Hall mobility tensors of a technologically important wide-band-gap semiconductor, 4H-silicon carbide (4H-SiC) from first principles. With $GW$ electronic structure and \textit{ab initio} electron-phonon interactions, we solve the Boltzmann transport equation without fitting parameters. The calculated electron and hole mobilities agree with experimental data. The electron Hall factor strongly depends on the direction of external magnetic field $\mathbf{B}$, and the hole Hall factor exhibits different temperature dependency for $\mathbf{B}\parallel c$ and $\mathbf{B}\perp c$. We explain this by the different equienergy surface shape arising from the anisotropic and non-parabolic band structure, together with the energy-dependent electron-phonon scattering.


title: Chiral Janus complexes

abstract: We propose chiral analogues of some infinite complexes appearing in the description of the coherent derived categories for projective spaces.


title: Plasma zone plate for high-power lasers driven by a Laguerre-Gaussian beam

abstract: Plasma-based optics has emerged as an attractive alternative to traditional solid-state optics for high-power laser manipulation due to its higher damage threshold. In this work, we propose a plasma zone plate (PZP) driven by the ponderomotive force of a Laguerre-Gaussian beam when it irradiates an underdense plasma slice. We formulate the theory of the PZP and demonstrate its formation and function of focusing high-power lasers using particle-in-cell simulations. The proposed scheme may offer a new method to focus and manipulate high-power lasers with plasma-based optics


title: Redshift Evolution and Non-Universal Dispersion of Quasar Luminosity Correlation

abstract: The standard $\Lambda$CDM model is recently reported to deviate from the high-redshift Hubble diagram of type Ia supernovae (SNe) and quasars (QSOs) at $\sim4\sigma$ confidence level. In this work, we combine the PAge approximation (a nearly model-independent parameterization) and a high-quality QSO sample to search for the origins of the deviation. By visualizing the $\Lambda$CDM model and the marginalized $3\sigma$ constraints of SNe+QSOs into PAge space, we confirm that the SNe+QSOs constraints in both flat and non-flat PAge cases are in remarkable tension with the standard $\Lambda$CDM cosmology. Next, we investigate the tension from the perspective of redshift-evolution effects. We find that the QSO correlation coefficient $\gamma$ calibrated by SNe+low-z QSOs and SNe+high-z QSOs shows $\sim2.7\sigma$ and $\sim4\sigma$ tensions in flat and non-flat universes, respectively. The tensions for intrinsic dispersion $\delta$ between different data sets are found to be $>4\sigma$ in both flat and non-flat cases. These results indicate that the QSO luminosity correlation suffers from significant redshift evolution and non-universal intrinsic dispersion. Using a redshift-dependence correlation to build QSO Hubble diagram could lead to biases. Thus, the $\sim4\sigma$ deviation from the standard $\Lambda$CDM probably originates from the redshift-evolution effects and non-universal dispersion of the QSO luminosity correlation rather than new physics.


title: The reducible double confluent Heun equation and a general symmetric unfolding of the origin

abstract: The reducible double confluent Heun equation (DCHE) is the only DCHE whose general symmetric unfolding leads to a Fuchsian equation. Contrary to general Heun equation the unfolded Fuchsian equation has 5 singular points : $x_L=-\sqrt{\varepsilon}, x_R=\sqrt{\varepsilon}, x_{LL}=-1/\sqrt{\varepsilon}, x_{RR}=1/\sqrt{\varepsilon}$ and $x_{\infty}=\infty$. We prove that the monodromy matrix around the regular resonant singularity at the origin is realizable as a limit of the product of the monodromy matrices around resonant singularities $x_L$ and $x_R$ when $\sqrt{\varepsilon} \to 0$ while the Stokes matrix at the irregular singularity at the origin is a limit of the part of the monodromy matrix around the resonant singularity $x_L$. We also show that the reducible DCHE possesses a holomorphic solution in the whole $\mathbb{C}^*$ if and only if the parameters of the equation are connected by a Bessel function of first kind and order depending on the non-zero chracteristic exponent at the origin.


title: Outflows Driven by Direct and Reprocessed Radiation Pressure in Massive Star Clusters

abstract: We use three-dimensional radiation hydrodynamic (RHD) simulations to study the formation of massive star clusters under the combined effects of direct ultraviolet (UV) and dust-reprocessed infrared (IR) radiation pressure. We explore a broad range of mass surface density $\Sigma \sim 10^2$-$10^5 \, \mathrm{M}_{\odot} \, \mathrm{pc}^{-2}$, spanning values typical of weakly star-forming galaxies to extreme systems such as clouds forming super-star clusters, where radiation pressure is expected to be the dominant feedback mechanism. We find that star formation can only be regulated by radiation pressure for $\Sigma \lesssim 10^3 \, \mathrm{M}_{\odot} \, \mathrm{pc}^{-2}$, but that clouds with $\Sigma \lesssim 10^5 \, \mathrm{M}_{\odot} \, \mathrm{pc}^{-2}$ become super-Eddington once high star formation efficiencies ($\sim 80 \%$) are reached, and therefore launch the remaining gas in a steady outflow. These outflows achieve mass-weighted radial velocities of $\sim 15$ - $30 \,\mathrm{km} \, \mathrm{s}^{-1}$, which is $\sim 0.5$ - $2.0$ times the cloud escape speed. This suggests that radiation pressure is a strong candidate to explain recently observed molecular outflows found in young super-star clusters in nearby starburst galaxies. We quantify the relative importance of UV and IR radiation pressure in different regimes, and deduce that both are equally important for $\Sigma \sim 10^3 \, \mathrm{M}_{\odot} \, \mathrm{pc}^{-2}$, whereas clouds with higher (lower) density are increasingly dominated by the IR (UV) component. Comparison with control runs without either the UV or IR bands suggests that the outflows are primarily driven by the impulse provided by the UV component, while IR radiation has the effect of rendering a larger fraction of gas super-Eddington, and thereby increasing the outflow mass flux by a factor of $\sim 2$.


title: Sun-as-a-star Analyses of Various Solar Active Events Using H$\alpha$ Spectral Images Taken by SMART/SDDI

abstract: Sun-as-a-star analyses, in which observational data is spatially integrated, are useful for interpreting stellar data. For future applications to stellar observations, we performed Sun-as-a-star analyses of H$\alpha$ spectra for various active events on the Sun, not only for flares and filament eruptions/surges on the solar disk, but also for eruptions of off limb prominences using H$\alpha$ spectral images taken by the Solar Magnetic Activity Research Telescope / Solar Dynamics Doppler Imager (SMART/SDDI) at Hida Observatory, Kyoto University. All the analyzed events show emission relative to the pre-event state and the changes in their H$\alpha$ equivalent widths are all on the orders of 10$^{-4}$ \r{A}. Sun-as-a-star H$\alpha$ spectra exhibit different features depending on the causes of the emission: (i) Flares show emission at the H$\alpha$ line center, together with red asymmetry and line broadening, as reported in a previous study. (ii) Filament eruptions with and without flares show emission near the H$\alpha$ line center, accompanied by blue-/red-shifted absorption. Notably, disappearance of dark filaments leads to the apparent enhancement of the H$\alpha$ line center emission. (iii) Eruptions of off limb prominences show blue-/red-shifted emission. These spectral features enable us to identify the active phenomena on Sun-like stars. We have also found that even the filament eruptions showing red-shifted absorptions in Sun-as-a-star H$\alpha$ spectra lead to coronal mass ejections (CMEs). This result suggests that even if the falling components of stellar filament eruptions are detected as red-shifted absorptions in H$\alpha$ spectra, such stellar filament eruptions may also develop into CMEs.


title: The SDSS-Gaia View of the Color-Magnitude Relation for Blue Horizontal-branch Stars

abstract: We present an updated sample of blue horizontal-branch (BHB) stars selected from the photometric and spectroscopic data from Sloan Digital Sky Survey and its associated project Sloan Extension for Galactic Understanding and Exploration (SEGUE). With this data, we selected candidates for A-type stars in the color-color space and then a mixture modeling technique was implemented in order to distinguish between BHB and main-sequence/blue-straggler stars based on their surface gravity values ($\log \rm{g}$) estimated by the SEGUE Stellar Parameter Pipeline. Our robust approach allows us to attribute individual probabilities of each star truly being in the BHB stage. Hence, our method is advantageous in comparison to previous SEGUE BHB selections that adopted simple $\log \rm{g}$ cuts. We also revisit the color-magnitude relation for these stars and propose two calibrations, based on updated distances for Galactic globular clusters, to estimate absolute magnitudes with $(g-r)_0$ and $(u-r)_0$ colors.


title: Microsoft Defender Will Be Defended: MemoryRanger Prevents Blinding Windows AV

abstract: Windows OS is facing a huge rise in kernel attacks. An overview of popular techniques that result in loading kernel drivers will be presented. One of the key targets of modern threats is disabling and blinding Microsoft Defender, a default Windows AV. The analysis of recent driver-based attacks will be given, the challenge is to block them. The survey of user- and kernel-level attacks on Microsoft Defender will be given. One of the recently published attackers techniques abuses Mandatory Integrity Control (MIC) and Security Reference Monitor (SRM) by modifying Integrity Level and Debug Privileges for the Microsoft Defender via syscalls. However, this user-mode attack can be blocked via the Windows 'trust labels' mechanism. The presented paper discovered the internals of MIC and SRM, including the analysis of Microsoft Defender during malware detection. We show how attackers can attack Microsoft Defender using a kernel-mode driver. This driver modifies the fields of the Token structure allocated for the Microsoft Defender application. The presented attack resulted in disabling Microsoft Defender, without terminating any of its processes and without triggering any Windows security features, such as PatchGuard. The customized hypervisor-based solution named MemoryRanger was used to protect the Windows Defender kernel structures. The experiments show that MemoryRanger successfully restricts access to the sensitive kernel data from illegal access attempts with affordable performance degradation.


title: Solution of SAT Problems with the Adaptive-Bias Quantum Approximate Optimization Algorithm

abstract: The quantum approximate optimization algorithm (QAOA) is a promising method for solving certain classical combinatorial optimization problems on near-term quantum devices. When employing the QAOA to 3-SAT and Max-3-SAT problems, the quantum cost exhibits an easy-hard-easy or easy-hard pattern respectively as the clause density is changed. The quantum resources needed in the hard-region problems are out of reach for current NISQ devices. We show by numerical simulations with up to 14 variables and analytical arguments that the adaptive-bias QAOA (ab-QAOA) greatly improves performance in the hard region of the 3-SAT problems and hard region of the Max-3-SAT problems. For similar accuracy, on average, ab-QAOA needs 3 levels for 10-variable 3-SAT problems as compared to 22 for QAOA. For 10-variable Max-3-SAT problems, the numbers are 7 levels and 62 levels. The improvement comes from a more targeted and more limited generation of entanglement during the evolution. We demonstrate that classical optimization is not strictly necessary in the ab-QAOA since local fields are used to guide the evolution. This leads us to propose an optimization-free ab-QAOA that can solve the hard-region 3-SAT and Max-3-SAT problems effectively with significantly fewer quantum gates as compared to the original ab-QAOA. Our work paves the way for realizing quantum advantages for optimization problems on NISQ devices.


title: Definition of the Pnictogen Bond: A Perspective

abstract: This article proposes a definition for the term pnictogen bond and lists its donors, acceptors, and characteristic features. These may be invoked to identify this specific subset of the inter- and intra-molecular interactions formed by elements of Group 15 which possess an electrophilic site in a molecular entity.


title: Testing the Number of Components in Finite Mixture Normal Regression Model with Panel Data

abstract: This paper develops the likelihood ratio-based test of the null hypothesis of a M0-component model against an alternative of (M0 + 1)-component model in the normal mixture panel regression by extending the Expectation-Maximization (EM) test of Chen and Li (2009a) and Kasahara and Shimotsu (2015) to the case of panel data. We show that, unlike the cross-sectional normal mixture, the first-order derivative of the density function for the variance parameter in the panel normal mixture is linearly independent of its second-order derivatives for the mean parameter. On the other hand, like the cross-sectional normal mixture, the likelihood ratio test statistic of the panel normal mixture is unbounded. We consider the Penalized Maximum Likelihood Estimator to deal with the unboundedness, where we obtain the data-driven penalty function via computational experiments. We derive the asymptotic distribution of the Penalized Likelihood Ratio Test (PLRT) and EM test statistics by expanding the log-likelihood function up to five times for the reparameterized parameters. The simulation experiment indicates good finite sample performance of the proposed EM test. We apply our EM test to estimate the number of production technology types for the finite mixture Cobb-Douglas production function model studied by Kasahara et al. (2022) used the panel data of the Japanese and Chilean manufacturing firms. We find the evidence of heterogeneity in elasticities of output for intermediate goods, suggesting that production function is heterogeneous across firms beyond their Hicks-neutral productivity terms.


title: Logarithmic base change theorem and smooth descent of positivity of log canonical divisor

abstract: We prove a logarithmic base change theorem for pushforwards of pluri-canonical bundles and use it to deduce that positivity properties of log canonical divisors descend via smooth projective morphisms. As an application, for a surjective morphism $f:X\to Y$ with $\kappa(X)\ge 0$ and $-K_Y$ big, we prove $Y\setminus \Delta(f)$ is of log general type, where $\Delta(f)$ is the discriminant locus. In particular, when $Y=\mathbb{P}^n$ we have $\dim \Delta(f)=n-1$ and $\mathrm{deg}\,\Delta(f)\ge n+2$, generalizing the case $n=1$ proved by Viehweg-Zuo. In addition, we prove Popa's conjecture on the superadditivity of the logarithmic Kodaira dimension of smooth algebraic fiber spaces over bases of dimension at most three and analyze related problems.


title: Single-Use Delegatable Signatures Based on Smart Contracts

abstract: Delegation of cryptographic signing rights has found many application in the literature and the real world. However, despite very advanced functionalities and specific use cases, existing solutions share the natural limitation that the number of usages of these signing rights cannot be efficiently limited, but users can at most be disincentivized to abuse their rights. In this paper, we suggest a solution to this problem based on blockchains. We let a user define a smart contract defining delegated signing rights, which needs to be triggered to successfully sign a message. By leveraging the immutability of the blockchain, our construction can now guarantee that a user-defined threshold of signature invocations cannot be exceeded, thereby circumventing the need for dedicated hardware or similar assistance in existing constructions for one-time programs. We discuss different constructions supporting different features, and provide concrete implementations in the Solidity language of the Ethereum blockchain, proving the real-world efficiency and feasibility of our construction.


title: Illuminating the charged leptons in the proton

abstract: The description of the structure of proton is fundamental in order to describe the standard model processes at the LHC as well as for the searching of New Physics. Quantum fluctuations imply the presence of photons and leptons inside the proton, which admit a parton distribution function (PDF). Although the lepton PDFs are expected to be small, its presence opens new production mechanisms. In order to explore the lepton - induced processes at the LHC, a precise determination of the leptonic content of the proton is needed. In this paper we propose to constrain the content of charged leptons inside the proton through the study of the QED Compton scattering in ultraperipheral proton - nucleus collisions at the LHC. We estimate the total cross sections and associated distributions considering different models for the lepton PDFs and distinct lepton flavours. We demonstrate that a future experimental analysis of this process is feasible and that it can be used to constrain the content of electrons, muons and taus inside the proton.


title: Exploring the Fundamental Mechanism in Driving Highest-velocity Ionized Outflows in Radio AGNs

abstract: We investigate the ionized gas kinematics relationship with X-ray, radio and accreting properties using a sample of 348 nearby ($z < 0.4$) SDSS-FIRST-X-ray detected AGNs. X-ray properties of our sample are obtained from XMM-$Newton$, $Swift$ and $Chandra$ observations. We unveil the ionized gas outflows in our sample manifested by the non-gravitational broad component in [OIII] $\lambda$5007$\overset{\circ}{A}$. emission line profiles. From the comparison of the correlation of non-parametric outflow velocities (i.e., the velocity width, the maximal velocity of outflow and line dispersion) with X-ray luminosity and radio luminosity, we find that outflow velocities have similarly positive {correlations} with both X-ray and radio luminosity. After correcting for the gravitational component, we find that the [OIII] velocity dispersion normalized by stellar mass also increases with both X-ray luminosity and radio luminosity. We also find that for a given X-ray (radio) luminosity, radio (X-ray) luminous AGNs have higher outflow velocities than non-radio (non-X-ray) luminous AGNs. Therefore, we find no clear preference between X-ray luminosity and radio luminosity in driving high-velocity ionized outflows and conclude that both AGN activity and small-scale jets contribute comparably. Moreover, there is no evidence that our obscured AGNs are preferentially associated with higher velocity outflows. Finally, we find a turning point around log$(\lambda_{Edd}) \simeq -1.3$ when we explore the dependency of outflow velocity on Eddington ratio. It can be interpreted considering the role of high radiation pressure (log$(\lambda_{Edd}) \gtrsim -1.3$) in drastic reduction in the covering factor of the circumnuclear materials.


title: Melody Infilling with User-Provided Structural Context

abstract: This paper proposes a novel Transformer-based model for music score infilling, to generate a music passage that fills in the gap between given past and future contexts. While existing infilling approaches can generate a passage that connects smoothly locally with the given contexts, they do not take into account the musical form or structure of the music and may therefore generate overly smooth results. To address this issue, we propose a structure-aware conditioning approach that employs a novel attention-selecting module to supply user-provided structure-related information to the Transformer for infilling. With both objective and subjective evaluations, we show that the proposed model can harness the structural information effectively and generate melodies in the style of pop of higher quality than the two existing structure-agnostic infilling models.


title: KnowledgeShovel: An AI-in-the-Loop Document Annotation System for Scientific Knowledge Base Construction

abstract: Constructing a comprehensive, accurate, and useful scientific knowledge base is crucial for human researchers synthesizing scientific knowledge and for enabling Al-driven scientific discovery. However, the current process is difficult, error-prone, and laborious due to (1) the enormous amount of scientific literature available; (2) the highly-specialized scientific domains; (3) the diverse modalities of information (text, figure, table); and, (4) the silos of scientific knowledge in different publications with inconsistent formats and structures. Informed by a formative study and iterated with participatory design workshops, we designed and developed KnowledgeShovel, an Al-in-the-Loop document annotation system for researchers to construct scientific knowledge bases. The design of KnowledgeShovel introduces a multi-step multi-modal human-AI collaboration pipeline that aligns with users' existing workflows to improve data accuracy while reducing the human burden. A follow-up user evaluation with 7 geoscience researchers shows that KnowledgeShovel can enable efficient construction of scientific knowledge bases with satisfactory accuracy.