title: Utilizing Task-Generic Motion Prior to Recover Full-Body Motion from Very Sparse Signals

abstract: The most popular type of devices used to track a user's posture in a virtual reality experience consists of a head-mounted display and two controllers held in both hands. However, due to the limited number of tracking sensors (three in total), faithfully recovering the user in full-body is challenging, limiting the potential for interactions among simulated user avatars within the virtual world. Therefore, recent studies have attempted to reconstruct full-body poses using neural networks that utilize previously learned human poses or accept a series of past poses over a short period. In this paper, we propose a method that utilizes information from a neural motion prior to improve the accuracy of reconstructed user's motions. Our approach aims to reconstruct user's full-body poses by predicting the latent representation of the user's overall motion from limited input signals and integrating this information with tracking sensor inputs. This is based on the premise that the ultimate goal of pose reconstruction is to reconstruct the motion, which is a series of poses. Our results show that this integration enables more accurate reconstruction of the user's full-body motion, particularly enhancing the robustness of lower body motion reconstruction from impoverished signals. Web: https://https://mjsh34.github.io/mp-sspe/


title: MSGNN: Multi-scale Spatio-temporal Graph Neural Network for Epidemic Forecasting

abstract: Infectious disease forecasting has been a key focus and proved to be crucial in controlling epidemic. A recent trend is to develop forecast-ing models based on graph neural networks (GNNs). However, existing GNN-based methods suffer from two key limitations: (1) Current models broaden receptive fields by scaling the depth of GNNs, which is insuffi-cient to preserve the semantics of long-range connectivity between distant but epidemic related areas. (2) Previous approaches model epidemics within single spatial scale, while ignoring the multi-scale epidemic pat-terns derived from different scales. To address these deficiencies, we devise the Multi-scale Spatio-temporal Graph Neural Network (MSGNN) based on an innovative multi-scale view. To be specific, in the proposed MSGNN model, we first devise a novel graph learning module, which directly captures long-range connectivity from trans-regional epidemic signals and integrates them into a multi-scale graph. Based on the learned multi-scale graph, we utilize a newly designed graph convolution module to exploit multi-scale epidemic patterns. This module allows us to facilitate multi-scale epidemic modeling by mining both scale-shared and scale-specific pat-terns. Experimental results on forecasting new cases of COVID-19 in United State demonstrate the superiority of our method over state-of-arts. Further analyses and visualization also show that MSGNN offers not only accurate, but also robust and interpretable forecasting result.


title: QUIC Hunter: Finding QUIC Deployments and Identifying Server Libraries Across the Internet

abstract: The diversity of QUIC implementations poses challenges for Internet measurements and the analysis of the QUIC ecosystem. While all implementations follow the same specification and there is general interoperability, differences in performance, functionality, but also security (e.g., due to bugs) can be expected. Therefore, knowledge about the implementation of an endpoint on the Internet can help researchers, operators, and users to better analyze connections, performance, and security. In this work, we improved the detection rate of QUIC scans to find more deployments and provide an approach to effectively identify QUIC server libraries based on CONNECTION CLOSE frames and transport parameter orders. We performed Internet-wide scans and identified at least one deployment for 18 QUIC libraries. In total, we can identify the libraries with 8.0 M IPv4 and 2.5 M IPv6 addresses. We provide a comprehensive view of the landscape of competing QUIC libraries.


title: On Colorful Vertex and Edge Cover Problems

abstract: In this paper, we study two generalizations of Vertex Cover and Edge Cover, namely Colorful Vertex Cover and Colorful Edge Cover. In the Colorful Vertex Cover problem, given an $n$-vertex edge-colored graph $G$ with colors from $\{1, \ldots, \omega\}$ and coverage requirements $r_1, r_2, \ldots, r_\omega$, the goal is to find a minimum-sized set of vertices that are incident on at least $r_i$ edges of color $i$, for each $1 \le i \le \omega$, i.e., we need to cover at least $r_i$ edges of color $i$. Colorful Edge Cover is similar to Colorful Vertex Cover, except here we are given a vertex-colored graph and the goal is to cover at least $r_i$ vertices of color $i$, for each $1 \le i \le \omega$, by a minimum-sized set of edges. These problems have several applications in fair covering and hitting of geometric set systems involving points and lines that are divided into multiple groups. Here, fairness ensures that the coverage (resp. hitting) requirement of every group is fully satisfied. We obtain a $(2+\epsilon)$-approximation for the Colorful Vertex Cover problem in time $n^{O(\omega/\epsilon)}$. Thus, for a constant number of colors, the problem admits a $(2+\epsilon)$-approximation in polynomial time. Next, for the Colorful Edge Cover problem, we design an $O(\omega n^3)$ time exact algorithm, via a chain of reductions to a matching problem. For all intermediate problems in this chain of reductions, we design polynomial-time algorithms, which might be of independent interest.


title: Approximate Bound State Solutions of the Fractional Schr\"odinger Equation under the Spin-Spin-Dependent Cornell Potential

abstract: In this work, the approximate bound state solutions of the fractional Schr\"odinger equation under a spin-spin-dependent Cornell potential are obtained via the convectional Nikiforov-Uvarov approach. The energy spectra are applied to obtain the mass spectra of the heavy mesons such as bottomonium, charmonium and bottom-charm. The masses for the singlet and triplet spin numbers increase as the quantum numbers increase. The fractional Schr\"odinger equation improves the mass spectra compared to the masses obtained in the existing literature. The bottomonium masses agree with the experimental data of the Particle Data Group where percentage errors for fractional parameters of \b{eta}=1,{\alpha}=0.97 and \b{eta}=1,{\alpha}=0.50 were found to be 0.67% and 0.49% respectively. The respective percentage errors of 1.97% and 1.62% for fractional parameters of \b{eta}=1,{\alpha}=0.97 and \b{eta}=1,{\alpha}=0.50 were obtained for charmonium meson. The results indicate that the potential curves coupled with the fractional parameters account for the short-range gluon exchange between the quark-antiquark interactions and the linear confinement phenomena which is associated with the quantum chromo-dynamic and phenomenological potential models in particle and high-energy physics


title: Reconstructing Groups of People with Hypergraph Relational Reasoning

abstract: Due to the mutual occlusion, severe scale variation, and complex spatial distribution, the current multi-person mesh recovery methods cannot produce accurate absolute body poses and shapes in large-scale crowded scenes. To address the obstacles, we fully exploit crowd features for reconstructing groups of people from a monocular image. A novel hypergraph relational reasoning network is proposed to formulate the complex and high-order relation correlations among individuals and groups in the crowd. We first extract compact human features and location information from the original high-resolution image. By conducting the relational reasoning on the extracted individual features, the underlying crowd collectiveness and interaction relationship can provide additional group information for the reconstruction. Finally, the updated individual features and the localization information are used to regress human meshes in camera coordinates. To facilitate the network training, we further build pseudo ground-truth on two crowd datasets, which may also promote future research on pose estimation and human behavior understanding in crowded scenes. The experimental results show that our approach outperforms other baseline methods both in crowded and common scenarios. The code and datasets are publicly available at https://github.com/boycehbz/GroupRec.


title: A dense subset of $M\_{n}(\mathbb{R})$ containing diagonalizable matrices

abstract: In this note, we consider matrices similar to $X$-form matrices, which are the matrices for which only the diagonal and the anti-diagonal elements can be different from zero. First, we give a characterization of these matrices using the minimal polynomial. Then, we prove that the set of matrices similar to $X$-form matrices over $\mathbb{R}$ and $\mathbb{C}$ are dense and we give a characterization of the interior of this set.


title: Exploring Multi-Modal Contextual Knowledge for Open-Vocabulary Object Detection

abstract: In this paper, we for the first time explore helpful multi-modal contextual knowledge to understand novel categories for open-vocabulary object detection (OVD). The multi-modal contextual knowledge stands for the joint relationship across regions and words. However, it is challenging to incorporate such multi-modal contextual knowledge into OVD. The reason is that previous detection frameworks fail to jointly model multi-modal contextual knowledge, as object detectors only support vision inputs and no caption description is provided at test time. To this end, we propose a multi-modal contextual knowledge distillation framework, MMC-Det, to transfer the learned contextual knowledge from a teacher fusion transformer with diverse multi-modal masked language modeling (D-MLM) to a student detector. The diverse multi-modal masked language modeling is realized by an object divergence constraint upon traditional multi-modal masked language modeling (MLM), in order to extract fine-grained region-level visual contexts, which are vital to object detection. Extensive experiments performed upon various detection datasets show the effectiveness of our multi-modal context learning strategy, where our approach well outperforms the recent state-of-the-art methods.


title: Pandemic Pedagogy: Evaluating Remote Education Strategies during COVID-19

abstract: The COVID-19 pandemic precipitated an abrupt shift in the educational landscape, compelling universities to transition from in-person to online instruction. This sudden shift left many university instructors grappling with the intricacies of remote teaching. Now, with the pandemic behind us, we present a retrospective study aimed at understanding and evaluating the remote teaching practices employed during that period. Drawing from a cross-sectional analysis of 300 computer science students who underwent a full year of online education during the lockdown, our findings indicate that while remote teaching practices moderately influenced students' learning outcomes, they had a pronounced positive impact on student satisfaction. Remarkably, these outcomes were consistent across various demographics, including country, gender, and educational level. As we reflect on the lessons from this global event, this research offers evidence-based recommendations that could inform educational strategies in unwelcoming future scenarios of a similar nature, ensuring both student satisfaction and effective learning outcomes in online settings.


title: $\lambda$-quiddit\'es sur des produits directs d'anneaux

abstract: The aim of this article is to continue the study of the notion of $\lambda$-quiddity over a ring, which appeared during the study of Coxeter's friezes. For this, we will focus here on situations where the ring used can be seen as a direct product of unitary commutative rings. In particular, we will consider the cases of direct products of rings containing at least two rings of characteristic 0 and we will also consider some products of the type $\mathbb{Z}/n\mathbb{Z} \times \mathbb{Z}/m\mathbb{Z}$.


title: Shedding light on neutrino self-interactions with solar antineutrino searches

abstract: Solar antineutrinos are absent in the standard solar model prediction. Consequently, solar antineutrino searches emerge as a powerful tool to probe new physics capable of converting neutrinos into antineutrinos. In this study, we highlight that neutrino self-interactions, recently gaining considerable attention due to their cosmological and astrophysical implications, can lead to significant solar antineutrino production. We systematically explore various types of four-fermion effective operators and light scalar mediators for neutrino self-interactions. By estimating the energy spectra and event rates of solar antineutrinos at prospective neutrino detectors such as JUNO, Hyper-Kamiokande, and THEIA, we reveal that solar antineutrino searches can impose stringent constraints on neutrino self-interactions and probe the parameter space favored by the Hubble tension.

categories: hep-ph astro-ph.CO astro-ph.HE astro-ph.SR hep-ex


title: A general Dabrowski-Sitarz-Zalecki type theorems for manifold with boundary

abstract: In [17], we obtained the spectral Einstein functional associated with the Dirac operator for n-dimensional manifolds without boundary. In this paper, we give the proof of general Dabrowski-Sitarz-Zalecki type theorems for the spectral Einstein functional associated with the Dirac operator on even and odd dimensional manifolds with boundary.


title: Prompting Vision Language Model with Knowledge from Large Language Model for Knowledge-Based VQA

abstract: Knowledge-based visual question answering is a very challenging and widely concerned task. Previous methods adopts the implicit knowledge in large language models (LLM) to achieve excellent results, but we argue that existing methods may suffer from biasing understanding of the image and insufficient knowledge to solve the problem. In this paper, we propose PROOFREAD -PROmpting vision language model with knOwledge From laRgE lAnguage moDel, a novel, lightweight and efficient kowledge-based VQA framework, which make the vision language model and the large language model cooperate to give full play to their respective strengths and bootstrap each other. In detail, our proposed method uses LLM to obtain knowledge explicitly, uses the vision language model which can see the image to get the knowledge answer, and introduces knowledge perceiver to filter out knowledge that is harmful for getting the correct final answer. Experimental results on two datasets prove the effectiveness of our approach. Our method outperforms all state-of-the-art methods on the A-OKVQA dataset in two settings and also achieves relatively good performance on the OKVQA dataset.


title: Learning to Navigate from Scratch using World Models and Curiosity: the Good, the Bad, and the Ugly

abstract: Learning to navigate unknown environments from scratch is a challenging problem. This work presents a system that integrates world models with curiosity-driven exploration for autonomous navigation in new environments. We evaluate performance through simulations and real-world experiments of varying scales and complexities. In simulated environments, the approach rapidly and comprehensively explores the surroundings. Real-world scenarios introduce additional challenges. Despite demonstrating promise in a small controlled environment, we acknowledge that larger and dynamic environments can pose challenges for the current system. Our analysis emphasizes the significance of developing adaptable and robust world models that can handle environmental changes to prevent repetitive exploration of the same areas.


title: Arc weighted acyclic orientations and variations of degeneracy of graphs

abstract: This paper studies generalizations of the concept of acyclic orientations to arc-weighted orientations. These lead to four types of variations of strict degeneracy of graphs. Some of these variations are studied in the literature under different names and we put them in a same framework for comparison. Then we concentrate on one of these variations, which is new and is defined as follows: For a graph $G$ and a mapping $f \in \mathbb{N}^G$, we say $G$ is $ST^{(2)}$-$f$-degenerate if there is an arc-weighted orientation $(D, w)$ of $G$ such that $d_{(D,w)}^+(v) < f(v)$ for each vertex $v$, and every sub-digraph $D'$ of $D$ contains an arc $e=(u,v)$ with $w(e) > d_{(D', w)}^+(v)$. We prove that if $G$ is $ST^{(2)}$-$f$-degenerate, then $G$ is $f$-paintable, as well as $f$-AT. Then we use $ST^{(2)}$-degeneracy to study truncated degree choosability of graphs. A graph $G$ is called $k$-truncated degree-choosable (respectively $ST^{(2)}$-$k$-truncated degree degenerate) if $G$ is $f$-choosable (respectively, $ST^{(2)}$-$f$-degenerate), where $f(v)= \min\{k, d_G(v)\}$. Richter asked whether every 3-connected non-complete planar graph is $6$-truncated-degree-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not $7$-truncated-degree-choosable. On the other hand, we prove that every 3-connected non-complete planar graph is $ST^{(2)}$-$16$-truncated-degree-degenerate, and hence $16$-truncated-degree-choosable. We further prove that for an arbitrary proper minor closed family ${\mathcal G}$ of graphs, let $s$ be the minimum integer such that $K_{s,t} \notin \mathcal{G}$ for some $t$, then there is a constant $k$ such that every $s$-connected non-complete graph $G \in {\mathcal G}$ is $ST^{(2)}$-$k$-truncated-degree-degenerate and hence $k$-truncated-degree-choosable.


title: Zero-shot Inversion Process for Image Attribute Editing with Diffusion Models

abstract: Denoising diffusion models have shown outstanding performance in image editing. Existing works tend to use either image-guided methods, which provide a visual reference but lack control over semantic coherence, or text-guided methods, which ensure faithfulness to text guidance but lack visual quality. To address the problem, we propose the Zero-shot Inversion Process (ZIP), a framework that injects a fusion of generated visual reference and text guidance into the semantic latent space of a \textit{frozen} pre-trained diffusion model. Only using a tiny neural network, the proposed ZIP produces diverse content and attributes under the intuitive control of the text prompt. Moreover, ZIP shows remarkable robustness for both in-domain and out-of-domain attribute manipulation on real images. We perform detailed experiments on various benchmark datasets. Compared to state-of-the-art methods, ZIP produces images of equivalent quality while providing a realistic editing effect.


title: IIDM: Inter and Intra-domain Mixing for Semi-supervised Domain Adaptation in Semantic Segmentation

abstract: Despite recent advances in semantic segmentation, an inevitable challenge is the performance degradation caused by the domain shift in real applications. Current dominant approach to solve this problem is unsupervised domain adaptation (UDA). However, the absence of labeled target data in UDA is overly restrictive and limits performance. To overcome this limitation, a more practical scenario called semi-supervised domain adaptation (SSDA) has been proposed. Existing SSDA methods are derived from the UDA paradigm and primarily focus on leveraging the unlabeled target data and source data. In this paper, we highlight the significance of exploiting the intra-domain information between the labeled target data and unlabeled target data. Instead of solely using the scarce labeled target data for supervision, we propose a novel SSDA framework that incorporates both Inter and Intra Domain Mixing (IIDM), where inter-domain mixing mitigates the source-target domain gap and intra-domain mixing enriches the available target domain information, and the network can capture more domain-invariant features. We also explore different domain mixing strategies to better exploit the target domain information. Comprehensive experiments conducted on the GTA5 to Cityscapes and SYNTHIA to Cityscapes benchmarks demonstrate the effectiveness of IIDM, surpassing previous methods by a large margin.


title: Domain Generalization without Excess Empirical Risk

abstract: Given data from diverse sets of distinct distributions, domain generalization aims to learn models that generalize to unseen distributions. A common approach is designing a data-driven surrogate penalty to capture generalization and minimize the empirical risk jointly with the penalty. We argue that a significant failure mode of this recipe is an excess risk due to an erroneous penalty or hardness in joint optimization. We present an approach that eliminates this problem. Instead of jointly minimizing empirical risk with the penalty, we minimize the penalty under the constraint of optimality of the empirical risk. This change guarantees that the domain generalization penalty cannot impair optimization of the empirical risk, i.e., in-distribution performance. To solve the proposed optimization problem, we demonstrate an exciting connection to rate-distortion theory and utilize its tools to design an efficient method. Our approach can be applied to any penalty-based domain generalization method, and we demonstrate its effectiveness by applying it to three examplar methods from the literature, showing significant improvements.


title: Optimized excitonic transport mediated by local energy defects: survival of optimization laws in the presence of dephasing

abstract: In an extended star with peripheral defects and a core occupied by a trap, it has been shown that exciton-mediated energy transport from the periphery to the core can be optimized [S. Yalouz et al. Phys. Rev. E 106, 064313 (2022)]. If the defects are judiciously chosen, the exciton dynamics is isomorphic to that of an asymmetric chain and a speedup of the excitonic propagation is observed. Here, we extend this previous work by considering that the exciton in both an extended star and an asymmetric chain, is perturbed by the presence of a dephasing environment. Simulating the dynamics using a Lindblad master equation, two questions are addressed: how does the environment affect the energy transport on these two networks? And, do the two systems still behave equivalently in the presence of dephasing? Our results reveal that the time-scale for the exciton dynamics strongly depends on the nature of the network. But quite surprisingly, the two networks behave similarly regarding the survival of their optimization law. In both cases, the energy transport can be improved using the same original optimal tuning of energy defects as long as the dephasing remains weak. However, for moderate/strong dephasing, the optimization law is lost due to quantum Zeno effect.


title: Spherical actions on locally factorial Fano varieties of dimension $\leq 4$ and rank $\leq 2$

abstract: We obtain the exhaustive list of 337 faithful spherical actions of rank two or less on locally factorial Fano manifolds of dimension four or less. As a preliminary step, we determine the explicit list of spherical homogeneous spaces of dimension four or less, together with their combinatorial data. Then we classify the possible locally factorial $G/H$-reflexive polytopes for each such spherical homogeneous space $G/H$. From the combinatorial data gathered in this article, one can easily read off the Picard rank (even the Picard group), Fano index, anticanonical volume of the underlying locally factorial Fano variety, etc.


title: On the source counts of VLBI-detected radio sources and the prospects of all-sky surveys with current and next generation instruments

abstract: We present an analysis of the detection fraction and the number counts of radio sources imaged with Very Long Baseline Interferometry (VLBI) at 1.4 GHz as part of the mJIVE-20 survey. From a sample of 24,903 radio sources identified by FIRST, 4,965 are detected on VLBI-scales, giving an overall detection fraction of $19.9\pm2.9~$per cent. However, we find that the detection fraction falls from around 50 per cent at a peak surface brightness of $80~mJy~beam^{-1}$ in FIRST to around 8 per cent at the detection limit, which is likely dominated by the surface brightness sensitivity of the VLBI observations, with some contribution from a change in the radio source population. We also find that compactness at arcsec-scales is the dominant factor in determining whether a radio source is detected with VLBI, and that the median size of the VLBI-detected radio sources is 7.7 mas. After correcting for the survey completeness and effective sky area, we determine the slope of the differential number counts of VLBI-detected radio sources with flux densities $S_{\rm 1.4~GHz} > 1~mJy$ to be $\eta_{\rm VLBI} = -1.74\pm 0.02$, which is shallower than in the cases of the FIRST parent population ($\eta_{\rm FIRST} = -1.77\pm 0.02$) and for compact radio sources selected at higher frequencies ($\eta_{\rm JBF} = -2.06\pm 0.02$). From this, we find that all-sky ($3\pi~sr$) surveys with the EVN and the VLBA have the potential to detect $(7.2\pm0.9)\times10^{5}$ radio sources at mas-resolution, and that the density of compact radio sources is sufficient (5.3~deg$^{-2}$) for in-beam phase referencing with multiple sources (3.9 per primary beam) in the case of a hypothetical SKA-VLBI array.


title: Research on Image Stitching Based on Invariant Features of Reconstructed Plane

abstract: Generating high-quality stitched images is a challenging task in computer vision. The existing feature-based image stitching methods commonly only focus on point and line features, neglecting the crucial role of higher-level planar features in image stitching. This paper proposes an image stitching method based on invariant planar features, which uses planar features as constraints to improve the overall effect of natural image stitching. Initially, our approach expands the quantity of matched feature points and lines through straight-line procedures, advancing alignment quality and reducing artifacts in overlapping areas. Then, uncertain planes are described by known matching points and matching lines, and plane features are introduced to preserve energy items, which improves the overall appearance of stitched images while reducing distortion and guarantees a more natural stitched image. Furthermore, to demonstrate the superiority of our approach, we also propose several evaluation indexes related to planar features to quantify the detailed changes of planar features. An extensive set of experiments validates the effectiveness of our approach in stitching natural images with a larger field of view. Compared with the most advanced methods, our method retains the texture and structure of the image better, and produces less unnatural distortion. Multiple quantitative evaluations illustrate that our approach outperforms existing methods with significant improvements, further validating the effectiveness and superiority of our proposed method.


title: Islands on codim-2 branes in Gauss-Bonnet Gravity

abstract: We study the black hole information problem on codim-2 branes in Gauss-Bonnet gravity. Thanks to the island surface ending on the brane, the Page curve of eternal black holes can be recovered for all of the GB couplings within the causal constraints. Our results strongly support the universality of the island mechanism. Similar to Einstein's gravity, the HM surface can exist only in a finite time in GB gravity. Remarkably, for various parameters, the maximum times of HM surface are always larger than the Page times. As a result, the strange behavior of HM surfaces does not affect the Page curves for general GB gravity. Finally, we establish the correlation between the Page time, GB couplings, and brane tension, revealing that the Page time increases with these factors.


title: Bottom-Up Stratified Probabilistic Logic Programming with Fusemate

abstract: This paper introduces the Fusemate probabilistic logic programming system. Fusemate's inference engine comprises a grounding component and a variable elimination method for probabilistic inference. Fusemate differs from most other systems by grounding the program in a bottom-up way instead of the common top-down way. While bottom-up grounding is attractive for a number of reasons, e.g., for dynamically creating distributions of varying support sizes, it makes it harder to control the amount of ground clauses generated. We address this problem by interleaving grounding with a query-guided relevance test which prunes rules whose bodies are inconsistent with the query. % This is done We present our method in detail and demonstrate it with examples that involve "time", such as (hidden) Markov models. Our experiments demonstrate competitive or better performance compared to a state-of-the art probabilistic logic programming system, in particular for high branching problems.


title: Inductive Learning of Declarative Domain-Specific Heuristics for ASP

abstract: Domain-specific heuristics are a crucial technique for the efficient solving of problems that are large or computationally hard. Answer Set Programming (ASP) systems support declarative specifications of domain-specific heuristics to improve solving performance. However, such heuristics must be invented manually so far. Inventing domain-specific heuristics for answer-set programs requires expertise with the domain under consideration and familiarity with ASP syntax, semantics, and solving technology. The process of inventing useful heuristics would highly profit from automatic support. This paper presents a novel approach to the automatic learning of such heuristics. We use Inductive Logic Programming (ILP) to learn declarative domain-specific heuristics from examples stemming from (near-)optimal answer sets of small but representative problem instances. Our experimental results indicate that the learned heuristics can improve solving performance and solution quality when solving larger, harder instances of the same problem.


title: (Mis)align: A Simple Dynamic Framework for Modeling Interpersonal Coordination

abstract: As people coordinate in daily interactions, they engage in different patterns of behavior to achieve successful outcomes. This includes both synchrony - the temporal coordination of the same behaviors at the same time - and complementarity - the coordination of the same or different behaviors that may occur at different relative times. Using computational methods, we develop a simple framework to describe the interpersonal dynamics of behavioral synchrony and complementarity over time, and explore their task dependence. A key feature of this framework is the inclusion of a task context that mediates interactions, and consists of active, inactive, and inhibitory constraints on communication. Initial simulation results show that these task constraints can be a robust predictor of simulated agents' behaviors over time. We also show that the framework can reproduce some general patterns observed in human interaction data. We describe preliminary theoretical implications from these results, and relate them to broader proposals of synergistic self-organization in communication.


title: On the Independencies Hidden in the Structure of a Probabilistic Logic Program

abstract: Pearl and Verma developed d-separation as a widely used graphical criterion to reason about the conditional independencies that are implied by the causal structure of a Bayesian network. As acyclic ground probabilistic logic programs correspond to Bayesian networks on their dependency graph, we can compute conditional independencies from d-separation in the latter. In the present paper, we generalize the reasoning above to the non-ground case. First, we abstract the notion of a probabilistic logic program away from external databases and probabilities to obtain so-called program structures. We then present a correct meta-interpreter that decides whether a certain conditional independence statement is implied by a program structure on a given external database. Finally, we give a fragment of program structures for which we obtain a completeness statement of our conditional independence oracle. We close with an experimental evaluation of our approach revealing that our meta-interpreter performs significantly faster than checking the definition of independence using exact inference in ProbLog 2.


title: A common origin of multi-messenger spectral anomaly of galactic cosmic rays

abstract: Recent observations of cosmic rays (CRs) have revealed a two-component anomaly in the spectra of primary and secondary particles, as well as their ratios, prompting investigation into their common origin. In this study, we incorporate the identification of slow diffusion zones around sources as a common phenomenon into our calculations, which successfully reproduces all previously described anomalies except for the positron spectrum. Crucially, our research offers a clear physical picture of the origin of CR: while high-energy ($\textrm{>200~GV}$, including the knee) particles are primarily produced by fresh accelerators and are confined to local regions, low energy ($\textrm{<200~GV}$) components come from distant sources and travel through the outer diffusive zone outside of the galactic disk. This scenario can be universally applied in the galactic disk, as evidenced by ultra-high energy diffuse $\rm\gamma$-ray emissions detected by the AS$\rm\gamma$ experiment. Furthermore, our results predict that the spectrum of diffuse $\rm\gamma$-ray is spatial-dependent, resting with local sources, which can be tested by LHAASO experiment.


title: On Feasibility of Declarative Diagnosis

abstract: The programming language Prolog makes declarative programming possible, at least to a substantial extent. Programs may be written and reasoned about in terms of their declarative semantics. All the advantages of declarative programming are however lost when it comes to program debugging. This is because the Prolog debugger is based solely on the operational semantics. Declarative methods of diagnosis (i.e. locating errors in programs) exist, but are neglected. This paper discusses their possibly main weaknesses and shows how to overcome them. We argue that useful ways of declarative diagnosis of logic programs exist, and should be usable in actual programming.


title: Feature Attention Network (FA-Net): A Deep-Learning Based Approach for Underwater Single Image Enhancement

abstract: Underwater image processing and analysis have been a hotspot of study in recent years, as more emphasis has been focused to underwater monitoring and usage of marine resources. Compared with the open environment, underwater image encountered with more complicated conditions such as light abortion, scattering, turbulence, nonuniform illumination and color diffusion. Although considerable advances and enhancement techniques achieved in resolving these issues, they treat low-frequency information equally across the entire channel, which results in limiting the network's representativeness. We propose a deep learning and feature-attention-based end-to-end network (FA-Net) to solve this problem. In particular, we propose a Residual Feature Attention Block (RFAB), containing the channel attention, pixel attention, and residual learning mechanism with long and short skip connections. RFAB allows the network to focus on learning high-frequency information while skipping low-frequency information on multi-hop connections. The channel and pixel attention mechanism considers each channel's different features and the uneven distribution of haze over different pixels in the image. The experimental results shows that the FA-Net propose by us provides higher accuracy, quantitatively and qualitatively and superiority to previous state-of-the-art methods.


title: Superconductivity in the medium-entropy alloy TiVNbTa with a body-centered cubic structure

abstract: Here we report the TiVNbTa medium-entropy alloy (MEA) superconductor with the mixed 3d - 5d elements synthesized by an arc-melting method. The TiVNbTa material has a body-centered cubic structure. The superconducting properties of TiVNbTa were studied by resistivity, magnetic susceptibility, and specific heat measurements. The experimental results show that the bulk superconducting phase transition temperature of TiVNbTa is about 4.65 K, and the upper and lower critical fields are 49.3(4) mT and 5.9(5) T, respectively, which indicates TiVNbTa is a type-II superconductor. First-principles calculations show that the d electrons of Ti, V, Nb, and Ta atoms play a significant role near the Fermi level. The results show TiVNbTa is a traditional s-wave superconductor.


title: Deontic Paradoxes in ASP with Weak Constraints

abstract: The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regulations. Normative reasoning is the realm of deontic logics, that are challenged by well-known benchmark problems (deontic paradoxes), and lack efficient computational tools. In this paper, we use Answer Set Programming (ASP) for addressing these shortcomings and showcase how to encode and resolve several well-known deontic paradoxes utilizing weak constraints. By abstracting and generalizing this encoding, we present a methodology for translating normative systems in ASP with weak constraints. This methodology is applied to "ethical" versions of Pac-man, where we obtain a comparable performance with related works, but ethically preferable results.


title: Anomalous scaling corrections and quantum phase diagram of the Heisenberg antiferromagnet on the spatially anisotropic honeycomb lattice

abstract: Using large-scale quantum Monte Carlo simulations, we determine the ground state phase diagram of the spin-1/2 antiferromagnetic Heisenberg model on the honeycomb lattice for the most generic case of three varying interaction strengths along the different lattice directions. We identify continuous quantum phase transition lines that separate the long-range ordered antiferromagnetic regime from three distinct quantum-disordered phases, each characterized by dominant dimer-singlet formations. The finite-size behavior along these phase transition lines exhibits anomalously large corrections to scaling, which we relate to similar recent findings in certain dimerized quantum spin systems and to singular one-dimensional limits in the model parameter space. We also comment more generally on the non-universality of critical cumulant ratios in anisotropic systems and attempts to restore universality by varying the aspect ratio.


title: On the importance of heavy fields in pseudo-scalar inflation

abstract: Pseudo-scalar inflation coupled with U(1) gauge fields through the Chern-Simons term has been extensively studied. However, new physics arising from UV theories may still influence the pseudo-scalar field at low-energy scales, potentially impacting predictions of inflation. In the realm of effective field theory (EFT), we investigated axion inflation, where operators from heavy fields are also present, in addition to the axion and gauge fields. The integrated out fields have two significant effects: the non-linear dispersion regime and coupling heavy modes to the Chern-Simons term. The first effect changes the propagation of the curvature fluctuation, while the second one results in additional operators that contribute to curvature fluctuation via inverse decay. We derived the power spectrum and magnitude of equilateral non-Gaussianity in this low-energy EFT. We found that the second effect could become significant as the mass of heavy fields approaches Hubble scale.


title: Minimum Width for Deep, Narrow MLP: A Diffeomorphism Approach

abstract: Recently, there has been a growing focus on determining the minimum width requirements for achieving the universal approximation property in deep, narrow Multi-Layer Perceptrons (MLPs). Among these challenges, one particularly challenging task is approximating a continuous function under the uniform norm, as indicated by the significant disparity between its lower and upper bounds. To address this problem, we propose a framework that simplifies finding the minimum width for deep, narrow MLPs into determining a purely geometrical function denoted as $w(d_x, d_y)$. This function relies solely on the input and output dimensions, represented as $d_x$ and $d_y$, respectively. Two key steps support this framework. First, we demonstrate that deep, narrow MLPs, when provided with a small additional width, can approximate a $C^2$-diffeomorphism. Subsequently, using this result, we prove that $w(d_x, d_y)$ equates to the optimal minimum width required for deep, narrow MLPs to achieve universality. By employing the aforementioned framework and the Whitney embedding theorem, we provide an upper bound for the minimum width, given by $\operatorname{max}(2d_x+1, d_y) + \alpha(\sigma)$, where $0 \leq \alpha(\sigma) \leq 2$ represents a constant depending on the activation function. Furthermore, we provide a lower bound of $4$ for the minimum width in cases where the input and output dimensions are both equal to two.


title: Sarrus-inspired Deployable Polyhedral Mechanisms

abstract: Deployable polyhedral mechanisms (DPMs) have witnessed flourishing growth in recent years because of their potential applications in robotics, space exploration, structure engineering, etc. This paper firstly presents the construction, mobility and kinematics of a family of Sarrus-inspired deployable polyhedral mechanisms. By carrying out expansion operation and implanting Sarrus linkages along the straight-line motion paths, deployable tetrahedral, cubic and dodecahedral mechanisms are identified and constructed following tetrahedral, octahedral and icosahedral symmetry, respectively. Three paired transformations with synchronized radial motion between Platonic and Archimedean polyhedrons are revealed, and their significant symmetric properties are perfectly remained in each work configuration. Subsequently, with assistant of equivalent prismatic joints, the equivalent analysis strategy for mobility of multiloop polyhedral mechanisms is proposed to significantly simplify the calculation process. This paper hence presents the construction method and equivalent analysis of the Sarrus-inspired DPMs that are not only valuable in theoretical investigation, but also have great potential in practical applications such as mechanical metamaterials, deployable architectures and space exploration.


title: Frequency-comb-linearized, widely tunable lasers for coherent ranging

abstract: Tunable lasers, with the ability to continuously adjust their emission wavelengths, have found widespread applications across various fields such as biomedical imaging, coherent ranging, optical communications and spectroscopy. In these applications, a wide chirp range is advantageous for large spectral coverage and high frequency resolution. Besides, the frequency accuracy and precision also depend critically on the chirp linearity of the laser. While extensive efforts have been made on the development of many kinds of frequency-agile, widely tunable, narrow-linewidth lasers, wideband yet precise methods to characterize and to linearize laser chirp dynamics are also demanded. Here we present an approach to characterize laser chirp dynamics using an optical frequency comb. The instantaneous laser frequency is tracked over terahertz bandwidth with 1 MHz interval. Using this approach we calibrate the chirp performance of twelve tunable lasers from Toptica, Santec, New Focus, EXFO and NKT that are commonly used in fiber optics and integrated photonics. In addition, with acquired knowledge on laser chirp dynamics, we demonstrate a simple frequency-linearization scheme that enables coherent ranging without any optical or electronic linearization units. Our approach not only presents a novel wideband, high-resolution laser spectroscopy, but is also critical for sensing applications with ever-increasing requirements on performance.


title: Refined renormalization group improvement for thermally resummed effective potential

abstract: We newly develop a renormalization group (RG) improvement for thermally resummed effective potentials. In this method, $\beta$-functions are consistently defined in resummed perturbation theories, so that order-by-order RG invariance is not spoiled after thermal resummation. With this improvement, scale dependences of phase transition quantities such as a critical temperature, which are known to be notoriously large at the one-loop order, are greatly reduced compared to calculations with the conventional $\overline{\text{MS}}$ scheme. By taking advantage of the RG invariance, we also devise a resummation method that can incorporate potentially harmful large logarithmic terms and temperature-dependent power corrections in a generic form. We point out that a resummed one-loop effective potential refined by the method can give results that agree with those obtained by resummed two-loop effective potentials within errors.


title: ABA Learning via ASP

abstract: Recently, ABA Learning has been proposed as a form of symbolic machine learning for drawing Assumption-Based Argumentation frameworks from background knowledge and positive and negative examples. We propose a novel method for implementing ABA Learning using Answer Set Programming as a way to help guide Rote Learning and generalisation in ABA Learning.


title: Benchmarking for Integrating Logic Rules with Everything Else

abstract: Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been developed. How to evaluate such languages? This paper describes a set of programming and performance benchmarks for evaluating languages supporting integrated use of rules and other features, and the results of evaluating such an integrated language together with logic languages and languages not supporting logic rules.


title: Explanations for Answer Set Programming

abstract: The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports different clingo constructs like the choice rules, the constraints, and the aggregates such as #sum, #min. This work formalizes and presents an explainable artificial intelligence system for a broad fragment of ASP, capable of shrinking as much as possible the set of assumptions and presenting explanations in terms of directed acyclic graphs.


title: A Dataflow Analysis for Comparing and Reordering Predicate Arguments

abstract: In this work, which is done in the context of a (moded) logic programming language, we devise a data-flow analysis dedicated to computing what we call argument profiles. Such a profile essentially describes, for each argument of a predicate, its functionality, i.e. the operations in which the argument can be involved during an evaluation of the predicate, as well as how the argument contributes to the consumption and/or construction of data values. While the computed argument profiles can be useful for applications in the context of program understanding (as each profile essentially provides a way to better understand the role of the argument), they more importantly provide a way to discern between arguments in a manner that is more fine-grained than what can be done with other abstract characterizations such as types and modes. This is important for applications where one needs to identify correspondences between the arguments of two or more different predicates that need to be compared, such as during clone detection. Moreover, since a total order can be defined on the abstract domain of profiles, our analysis can be used for rearranging predicate arguments and order them according to their functionality, constituting as such an essential ingredient for predicate normalization techniques.


title: Interpretability-guided Data Augmentation for Robust Segmentation in Multi-centre Colonoscopy Data

abstract: Multi-centre colonoscopy images from various medical centres exhibit distinct complicating factors and overlays that impact the image content, contingent on the specific acquisition centre. Existing Deep Segmentation networks struggle to achieve adequate generalizability in such data sets, and the currently available data augmentation methods do not effectively address these sources of data variability. As a solution, we introduce an innovative data augmentation approach centred on interpretability saliency maps, aimed at enhancing the generalizability of Deep Learning models within the realm of multi-centre colonoscopy image segmentation. The proposed augmentation technique demonstrates increased robustness across different segmentation models and domains. Thorough testing on a publicly available multi-centre dataset for polyp detection demonstrates the effectiveness and versatility of our approach, which is observed both in quantitative and qualitative results. The code is publicly available at: https://github.com/nki-radiology/interpretability_augmentation


title: The high-order approximation of SPDEs with multiplicative noise via amplitude equations

abstract: The emphasis of this paper is to investigate the high-order approximation of a class of SPDEs with cubic nonlinearity driven by multiplicative noise with the help of the amplitude equations. The highlight of our work is that we improve the convergence rate between the real solutions and the approximate ones. Precisely, previous results often focused on deriving the approximate solutions via the first-order amplitude equations. However, the approximate solutions are constructed by the first-order amplitude equations and the second-order ones in this paper. And, we rigorously prove that such approximate solutions enjoy improved convergence property. In order to illustrate this demonstration more intuitively, we apply our main theorem to stochastic Allen-Cahn equation, and provide numerical analysis.


title: "Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming

abstract: Probabilistic logic programs are logic programs where some facts hold with a specified probability. Here, we investigate these programs with a causal framework that allows counterfactual queries. Learning the program structure from observational data is usually done through heuristic search relying on statistical tests. However, these statistical tests lack information about the causal mechanism generating the data, which makes it unfeasible to use the resulting programs for counterfactual reasoning. To address this, we propose a language fragment that allows reconstructing a program from its induced distribution. This further enables us to learn programs supporting counterfactual queries.


title: Efficient Approximation of Quantum Channel Fidelity Exploiting Symmetry

abstract: Determining the optimal fidelity for the transmission of quantum information over noisy quantum channels is one of the central problems in quantum information theory. Recently, [Berta-Borderi-Fawzi-Scholz, Mathematical Programming, 2021] introduced an asymptotically converging semidefinite programming hierarchy of outer bounds for this quantity. However, the size of the semidefinite programs (SDPs) grows exponentially with respect to the level of the hierarchy, thus making their computation unscalable. In this work, by exploiting the symmetries in the SDP, we show that, for a fixed output dimension of the quantum channel, we can compute the SDP in time polynomial with respect to the level of the hierarchy and input dimension. As a direct consequence of our result, the optimal fidelity can be approximated with an accuracy of $\epsilon$ in $\mathrm{poly}(1/\epsilon, \text{input dimension})$ time.


title: Towards One-Shot Learning for Text Classification using Inductive Logic Programming

abstract: With the ever-increasing potential of AI to perform personalised tasks, it is becoming essential to develop new machine learning techniques which are data-efficient and do not require hundreds or thousands of training data. In this paper, we explore an Inductive Logic Programming approach for one-shot text classification. In particular, we explore the framework of Meta-Interpretive Learning (MIL), along with using common-sense background knowledge extracted from ConceptNet. Results indicate that MIL can learn text classification rules from a small number of training examples. Moreover, the higher complexity of chosen examples, the higher accuracy of the outcome.


title: Non-linear Black Hole Ringdowns: an Analytical Approach

abstract: Due to the nature of gravity, non-linear effects are left imprinted in the quasi-normal modes generated in the ringdown phase of the merger of two black holes. We offer an analytical treatment of the quasi-normal modes at second-order in black hole perturbation theory which takes advantage from the fact that the non-linear sources are peaked around the light ring. As a byproduct, we describe why the amplitude of the second-order mode relative to the square of the first-order amplitude depends only weakly on the initial condition of the problem.


title: On the Potential of CLIP for Compositional Logical Reasoning

abstract: In this paper we explore the possibility of using OpenAI's CLIP to perform logically coherent grounded visual reasoning. To that end, we formalize our terms and give a geometric analysis of how embeddings in CLIP's latent space would need to be configured in order for the system to be logically coherent. Our main conclusion is that, as usually configured, CLIP cannot perform such reasoning.


title: Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

abstract: In answer set programming (ASP), answer sets capture solutions to search problems of interest and thus the efficient computation of answer sets is of utmost importance. One viable implementation strategy is provided by translation-based ASP where logic programs are translated into other KR formalisms such as Boolean satisfiability (SAT), SAT modulo theories (SMT), and mixed-integer programming (MIP). Consequently, existing solvers can be harnessed for the computation of answer sets. Many of the existing translations rely on program completion and level rankings to capture the minimality of answer sets and default negation properly. In this work, we take level ranking constraints into reconsideration, aiming at their generalizations to cover aggregate-based extensions of ASP in more systematic way. By applying a number of program transformations, ranking constraints can be rewritten in a general form that preserves the structure of monotone and convex aggregates and thus offers a uniform basis for their incorporation into translation-based ASP. The results open up new possibilities for the implementation of translators and solver pipelines in practice.


title: Sorting Strategies for Interactive Conflict Resolution in ASP

abstract: Answer set programs in practice are often subject to change. This can lead to inconsistencies in the modified program due to conflicts between rules which are the results of the derivation of strongly complementary literals. To facilitate the maintenance of consistency in answer set programs, in this paper we continue work on a recently presented framework that implements interactive conflict resolution by extending the bodies of conflicting rules by suitable literals, so-called $\lambda$-extensions. More precisely, we present strategies to choose $\lambda$-extensions that allow for resolving several conflicts at a time in an order that aims at minimizing (cognitive) efforts. In particular, we present a graphical representation of connections between conflicts and their possible solutions. Such a representation can be utilized to efficiently guide the user through the conflict resolution process by displaying conflicts and suggesting solutions in a suitable order.


title: Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem

abstract: Driven by expressiveness commonalities of Python and our Python-based embedded logic-based language Natlog, we design high-level interaction patterns between equivalent language constructs and data types on the two sides. By directly connecting generators and backtracking, nested tuples and terms, coroutines and first-class logic engines, reflection and meta-interpretation, we enable logic-based language constructs to access the full power of the Python ecosystem. We show the effectiveness of our design via Natlog apps working as orchestrators for JAX and Pytorch pipelines and as DCG-driven GPT3 and DALL.E prompt generators. Keyphrases: embedding of logic programming in the Python ecosystem, high-level inter-paradigm data exchanges, coroutining with logic engines, logic-based neuro-symbolic computing, logic grammars as prompt-generators for Large Language Models, logic-based neural network configuration and training.


title: Understanding ProbLog as Probabilistic Argumentation

abstract: ProbLog is a popular probabilistic logic programming language/tool, widely used for applications requiring to deal with inherent uncertainties in structured domains. In this paper we study connections between ProbLog and a variant of another well-known formalism combining symbolic reasoning and reasoning under uncertainty, i.e. probabilistic argumentation. Specifically, we show that ProbLog is an instance of a form of Probabilistic Abstract Argumentation (PAA) that builds upon Assumption-Based Argumentation (ABA). The connections pave the way towards equipping ProbLog with alternative semantics, inherited from PAA/PABA, as well as obtaining novel argumentation semantics for PAA/PABA, leveraging on prior connections between ProbLog and argumentation. Further, the connections pave the way towards novel forms of argumentative explanations for ProbLog's outputs.


title: A Logic Programming Approach to Global Logistics in a Co-Design Environment

abstract: In a co-design environment changes need to be integrated quickly and in an automated manner. This paper considers the challenge of creating and optimizing a global logistics system for the construction of a passenger aircraft within a co-design approach with respect to key performance indicators (like cost, time or resilience). The product in question is an aircraft, comprised of multiple components, manufactured at multiple sites worldwide. The goal is to find an optimal way to build the aircraft taking into consideration the requirements for its industrial system. The main motivation for approaching this challenge is to develop the industrial system in tandem with the product and making it more resilient against unforeseen events, reducing the risks of bottlenecks in the supply chain. This risk reduction ensures continued efficiency and operational success. To address this challenging and complex task we have chosen Answer Set Programming (ASP) as the modeling language, formalizing the relevant requirements of the investigated industrial system. The approach presented in this paper covers three main aspects: the extraction of the relevant information from a knowledge graph, the translation into logic programs and the computation of existing configurations guided by optimization criteria. Finally we visualize the results for an effortless evaluation of these models. Internal results seem promising and yielded several new research questions for future improvements of the discussed use case.


title: The Janus System: Multi-paradigm Programming in Prolog and Python

abstract: Python and Prolog express different programming paradigms, with different strengths. Python is wildly popular because it is well-structured, easy to use, and mixes well with thousands of scientific and machine learning programs written in C. Prolog's logic-based approach provides powerful reasoning capabilities, especially when combined with constraint evaluation, probabilistic reasoning, well-founded negation, and other advances. Both languages have commonalities as well: both are usually written in C, both are dynamically typed, and both use data structures based on a small number of recursive types. This paper describes the design and implementation of Janus, a system that tightly combines Prolog and Python into a single process. Janus bi-translates data structures and offers performance of many hundreds of thousands of round-trip inter-language calls per second. Although Janus is still new, it has been used in commercial applications including natural language processing, visual query answering and robotic automation. Janus was developed for XSB, but porting Janus code to a second Prolog has been straightforward, indicating that Janus is a tool that other Prologs may easily adopt.


title: Leasing the Cloud-Edge Continuum, \`a la Carte

abstract: Next-gen computing paradigms foresee deploying applications to virtualised resources along a continuum of Cloud-Edge nodes. Much literature focussed on how to place applications onto such resources so as to meet their requirements. To lease resources to application operators, infrastructure providers need to identify a portion of their Cloud-Edge assets to meet set requirements. This article proposes a novel declarative resource selection strategy prototyped in Prolog to determine a suitable infrastructure portion that satisfies all requirements. The proposal is showcased over a lifelike scenario.


title: Assessing Drivers' Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection

abstract: Semi-autonomous driving, as it is already available today and will eventually become even more accessible, implies the need for driver and automation system to reliably work together in order to ensure safe driving. A particular challenge in this endeavour are situations in which the vehicle's automation is no longer able to drive and is thus requesting the human to take over. In these situations the driver has to quickly build awareness for the traffic situation to be able to take over control and safely drive the car. Within this context we present a software and hardware framework to asses how aware the driver is about the situation and to provide human-centred assistance to help in building situation awareness. The framework is developed as a modular system within the Robot Operating System (ROS) with modules for sensing the environment and the driver state, modelling the driver's situation awareness, and for guiding the driver's attention using specialized Human Machine Interfaces (HMIs). A particular focus of this paper is on an Answer Set Programming (ASP) based approach for modelling and reasoning about the driver's interpretation and projection of the scene. This is based on scene data, as well as eye-tracking data reflecting the scene elements observed by the driver. We present the overall application and discuss the role of semantic reasoning and modelling cognitive functions based on logic programming in such applications. Furthermore we present the ASP approach for interpretation and projection of the driver's situation awareness and its integration within the overall system in the context of a real-world use-case in simulated as well as in real driving.


title: Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials

abstract: Active Logic Documents (ALD) are web pages which incorporate embedded Prolog engines that run locally within the browser. ALD offers both a very easy way to add click-to-run capabilities to any kind of teaching materials, independently of the tool used to generate them, as well as a tool-set for generating web-based materials with embedded examples and exercises. Both leverage on (components of) the Ciao Prolog Playground. We present a demonstration of the ALD approach and the Ciao Prolog Playground, as well as a recent extension to ALDs to facilitate the integration of other tools into the system for creating Hybrid Active Logic Documents (HALD). We also present a concrete application of these technologies to the creation of tutorials for a program verification tool.


title: Nemo: First Glimpse of a New Rule Engine

abstract: This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance. Nemo is built for data-centric analytic computations, modelled in a fully declarative Datalog dialect. Its scalability for these tasks matches or exceeds that of leading Datalog systems. We demonstrate uses in reasoning with knowledge graphs and ontologies with 10^5 to 10^8 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.


title: An xAI Approach for Data-to-Text Processing with ASP

abstract: The generation of natural language text from data series gained renewed interest among AI research goals. Not surprisingly, the few proposals in the state of the art are based on training some system, in order to produce a text that describes and that is coherent to the data provided as input. Main challenges of such approaches are the proper identification of "what" to say (the key descriptive elements to be addressed in the data) and "how" to say: the correspondence and accuracy between data and text, the presence of contradictions/redundancy in the text, the control of the amount of synthesis. This paper presents a framework that is compliant with xAI requirements. In particular we model ASP/Python programs that enable an explicit control of accuracy errors and amount of synthesis, with proven optimal solutions. The text description is hierarchically organized, in a top-down structure where text is enriched with further details, according to logic rules. The generation of natural language descriptions' structure is also managed by logic rules.


title: Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques

abstract: Deep Learning (DL) models have become popular for solving complex problems, but they have limitations such as the need for high-quality training data, lack of transparency, and robustness issues. Neuro-Symbolic AI has emerged as a promising approach combining the strengths of neural networks and symbolic reasoning. Symbolic knowledge injection (SKI) techniques are a popular method to incorporate symbolic knowledge into sub-symbolic systems. This work proposes solutions to improve the knowledge injection process and integrate elements of ML and logic into multi-agent systems (MAS).


title: Data reduction for directed feedback vertex set on graphs without long induced cycles

abstract: We study reduction rules for Directed Feedback Vertex Set (DFVS) on instances without long cycles. A DFVS instance without cycles longer than $d$ naturally corresponds to an instance of $d$-Hitting Set, however, enumerating all cycles in an $n$-vertex graph and then kernelizing the resulting $d$-Hitting Set instance can be too costly, as already enumerating all cycles can take time $\Omega(n^d)$. We show how to compute a kernel with at most $2^dk^d$ vertices and at most $d^{3d}k^d$ induced cycles of length at most $d$ (which however, cannot be enumerated efficiently), where $k$ is the size of a minimum directed feedback vertex set. We then study classes of graphs whose underlying undirected graphs have bounded expansion or are nowhere dense; these are very general classes of sparse graphs, containing e.g. classes excluding a minor or a topological minor. We prove that for such classes without induced cycles of length greater than $d$ we can compute a kernel with $O_d(k)$ and $O_{d,\epsilon}(k^{1+\epsilon})$ vertices for any $\epsilon>0$, respectively, in time $O_d(n^{O(1)})$ and $O_{d,\epsilon}(n^{O(1)})$, respectively. The most restricted classes we consider are strongly connected planar graphs without any (induced or non-induced) long cycles. We show that these have bounded treewidth and hence DFVS on planar graphs without cycles of length greater than $d$ can be solved in time $2^{O(d)}\cdot n^{O(1)}$. We finally present a new data reduction rule for general DFVS and prove that the rule together with a few standard rules subsumes all the rules applied by Bergougnoux et al. to obtain a polynomial kernel for DFVS[FVS], i.e., DFVS parameterized by the feedback vertex set number of the underlying (undirected) graph. We conclude by studying the LP-based approximation of DFVS.


title: Explainable Answer-set Programming

abstract: The interest in explainability in artificial intelligence (AI) is growing vastly due to the near ubiquitous state of AI in our lives and the increasing complexity of AI systems. Answer-set Programming (ASP) is used in many areas, among them are industrial optimisation, knowledge management or life sciences, and thus of great interest in the context of explainability. To ensure the successful application of ASP as a problem-solving paradigm in the future, it is thus crucial to investigate explanations for ASP solutions. Such an explanation generally tries to give an answer to the question of why something is, respectively is not, part of the decision produced or solution to the formulated problem. Although several explanation approaches for ASP exist, almost all of them lack support for certain language features that are used in practice. Most notably, this encompasses the various ASP extensions that have been developed in the recent years to enable reasoning over theories, external computations, or neural networks. This project aims to fill some of these gaps and contribute to the state of the art in explainable ASP. We tackle this by extending the language support of existing approaches but also by the development of novel explanation formalisms, like contrastive explanations.


title: Photonic time-delayed reservoir computing based on series coupled microring resonators with high memory capacity

abstract: On-chip microring resonators (MRRs) have been proposed to construct the time-delayed reservoir computing (RC), which offers promising configurations available for computation with high scalability, high-density computing, and easy fabrication. A single MRR, however, is inadequate to supply enough memory for the computational task with diverse memory requirements. Large memory needs are met by the MRR with optical feedback waveguide, but at the expense of its large footprint. In the structure, the ultra-long optical feedback waveguide substantially limits the scalable photonic RC integrated designs. In this paper, a time-delayed RC is proposed by utilizing a silicon-based nonlinear MRR in conjunction with an array of linear MRRs. These linear MRRs possess a high quality factor, providing sufficient memory capacity for the entire system. We quantitatively analyze and assess the proposed RC structure's performance on three classical tasks with diverse memory requirements, i.e., the Narma 10, Mackey-Glass, and Santa Fe chaotic timeseries prediction tasks. The proposed system exhibits comparable performance to the MRR with an ultra-long optical feedback waveguide-based system when it comes to handling the Narma 10 task, which requires a significant memory capacity. Nevertheless, the overall length of these linear MRRs is significantly smaller, by three orders of magnitude, compared to the ultra-long feedback waveguide in the MRR with optical feedback waveguide-based system. The compactness of this structure has significant implications for the scalability and seamless integration of photonic RC.


title: The destiny of Dark Matter

abstract: The majority of baryons, which account for $15\%$ of the matter in the Universe, will end their lives as carbon and oxygen inside cold black dwarfs. Dark matter (DM) makes up the remaining $85\%$ of the matter in the universe, however, the fate of DM is unknown. Here we show that the destiny of purely gravitationally interacting DM particles follows one of two possible routes. The first possible route, the "radiation-destiny" scenario, is that massive DM particles lose sufficient energy through gravitational radiation causing them to spiral into a supermassive black hole that ultimately disappears through Hawking radiation. The second possible route, the "drifting-alone" destiny, applies to lighter DM particles, where only the central DM halo region spirals into the central BH which is then Hawking radiated away. The rest of the DM halo is ripped apart by the accelerated expansion of the Universe.


title: Forbidden patterns of graphs 12-representable by pattern-avoiding words

abstract: A graph $G = (\{1, 2, \ldots, n\}, E)$ is $12$-representable if there is a word $w$ over $\{1, 2, \ldots, n\}$ such that two vertices $i$ and $j$ with $i < j$ are adjacent if and only if every $j$ occurs before every $i$ in $w$. These graphs have been shown to be equivalent to the complements of simple-triangle graphs. This equivalence provides a characterization in terms of forbidden patterns in vertex orderings as well as a polynomial-time recognition algorithm. The class of $12$-representable graphs was introduced by Jones et al. (2015) as a variant of word-representable graphs. A general research direction for word-representable graphs suggested by Kitaev and Lozin (2015) is to study graphs representable by some specific types of words. For instance, Gao, Kitaev, and Zhang (2017) and Mandelshtam (2019) investigated word-representable graphs represented by pattern-avoiding words. Following this research direction, this paper studies $12$-representable graphs represented by words that avoid a pattern $p$. Such graphs are trivial when $p$ is of length $2$. When $p = 111$, $121$, $231$, and $321$, the classes of such graphs are equivalent to well-known classes, such as trivially perfect graphs and bipartite permutation graphs. For the cases where $p = 123$, $132$, and $211$, this paper provides forbidden pattern characterizations.


title: Thermodynamic Computing via Autonomous Quantum Thermal Machines

abstract: We develop a physics-based model for classical computation based on autonomous quantum thermal machines. These machines consist of few interacting quantum bits (qubits) connected to several environments at different temperatures. Heat flows through the machine are here exploited for computing. The process starts by setting the temperatures of the environments according to the logical input. The machine evolves, eventually reaching a non-equilibrium steady state, from which the output of the computation can be determined via the temperature of an auxilliary finite-size reservoir. Such a machine, which we term a "thermodynamic neuron", can implement any linearly-separable function, and we discuss explicitly the cases of NOT, 3-majority and NOR gates. In turn, we show that a network of thermodynamic neurons can perform any desired function. We discuss the close connection between our model and artificial neurons (perceptrons), and argue that our model provides an alternative physics-based analogue implementation of neural networks, and more generally a platform for thermodynamic computing.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech cs.AI cs.LG


title: Is the U.S. Legal System Ready for AI's Challenges to Human Values?

abstract: Our interdisciplinary study investigates how effectively U.S. laws confront the challenges posed by Generative AI to human values. Through an analysis of diverse hypothetical scenarios crafted during an expert workshop, we have identified notable gaps and uncertainties within the existing legal framework regarding the protection of fundamental values, such as privacy, autonomy, dignity, diversity, equity, and physical/mental well-being. Constitutional and civil rights, it appears, may not provide sufficient protection against AI-generated discriminatory outputs. Furthermore, even if we exclude the liability shield provided by Section 230, proving causation for defamation and product liability claims is a challenging endeavor due to the intricate and opaque nature of AI systems. To address the unique and unforeseeable threats posed by Generative AI, we advocate for legal frameworks that evolve to recognize new threats and provide proactive, auditable guidelines to industry stakeholders. Addressing these issues requires deep interdisciplinary collaborations to identify harms, values, and mitigation strategies.


title: Machine-Learning-Assisted Construction of Ternary Convex Hull Diagrams

abstract: In the search for novel intermetallic ternary alloys, much of the effort goes into performing a large number of ab-initio calculations covering a wide range of compositions and structures. These are essential to build a reliable convex hull diagram. While density functional theory (DFT) provides accurate predictions for many systems, its computational overheads set a throughput limit on the number of hypothetical phases that can be probed. Here, we demonstrate how an ensemble of machine-learning spectral neighbor-analysis potentials (SNAPs) can be integrated into a workflow for the construction of accurate ternary convex hull diagrams, highlighting regions fertile for materials discovery. Our workflow relies on using available binary-alloy data both to train the SNAP models and to create prototypes for ternary phases. From the prototype structures, all unique ternary decorations are created and used to form a pool of candidate compounds. The SNAPs are then used to pre-relax the structures and screen the most favourable prototypes, before using DFT to build the final phase diagram. As constructed, the proposed workflow relies on no extra first-principles data to train the machine-learning surrogate model and yields a DFT-level accurate convex hull. We demonstrate its efficacy by investigating the Cu-Ag-Au and Mo-Ta-W ternary systems.


title: Dynamics of Dwarf Galaxies in Scalar-Tensor-Vector-Gravity

abstract: We have investigated whether the Scalar-Tensor-Vector Gravity theory (STVG) may explain the kinematic of stars in dwarf spheroidal galaxies. STVG modifies General Relativity by adding extra scalar and vector fields with the main aim of replacing dark matter in astrophysical self-gravitating systems. The weak-field limit of STVG brings a Yukawa-like modification to the Newtonian gravitational potential. The modification is modulated by two parameters, $\alpha$ and $\mu$, that represent a redefinition of the gravitational coupling constant and the mass of the additional vector fields, respectively. Thus, adopting the modified gravitational potential arising in the weak-field limit of STVG, we have solved the spherical Jeans equation to predict the line-of-sight velocity dispersion profiles of eight dwarf spheroidal galaxies orbiting around the Milky Way. The predicted profiles are then compared to the data using a Monte Carlo Markov Chain algorithm. Our results pointed out some tensions on the $\alpha$ parameter within the data set, while comparison with previous analysis shows the effectiveness of STVG in replacing dark matter with extra massive fields. Further improvements will require more sophisticated modelling of the line-of-sight velocity dispersion which will be possible as soon as high-precision astrometric data in dwarf spheroidals will become available.


title: An Approach to Evaluate User Interfaces in a Scholarly Knowledge Communication Domain

abstract: The amount of research articles produced every day is overwhelming: scholarly knowledge is getting harder to communicate and easier to get lost. A possible solution is to represent the information in knowledge graphs: structures representing knowledge in networks of entities, their semantic types, and relationships between them. But this solution has its own drawback: given its very specific task, it requires new methods for designing and evaluating user interfaces. In this paper, we propose an approach for user interface evaluation in the knowledge communication domain. We base our methodology on the well-established Cognitive Walkthough approach but employ a different set of questions, tailoring the method towards domain-specific needs. We demonstrate our approach on a scholarly knowledge graph implementation called Open Research Knowledge Graph (ORKG).


title: Sequential Bayesian Predictive Synthesis

abstract: Dynamic Bayesian predictive synthesis is a formal approach to coherently synthesizing multiple predictive distributions into a single distribution. In sequential analysis, the computation of the synthesized predictive distribution has heavily relied on the repeated use of the Markov chain Monte Carlo method. The sequential Monte Carlo method in this problem has also been studied but is limited to a subclass of linear synthesis with weight constraint but no intercept. In this study, we provide a custom, Rao-Blackwellized particle filter for the linear and Gaussian synthesis, supplemented by timely interventions by the MCMC method to avoid the problem of particle degeneracy. In an example of predicting US inflation rate, where a sudden burst is observed in 2020-2022, we confirm the slow adaptation of the predictive distribution. To overcome this problem, we propose the estimation/averaging of parameters called discount factors based on the power-discounted likelihoods, which becomes feasible due to the fast computation by the proposed method.


title: Cyclophobic Reinforcement Learning

abstract: In environments with sparse rewards, finding a good inductive bias for exploration is crucial to the agent's success. However, there are two competing goals: novelty search and systematic exploration. While existing approaches such as curiosity-driven exploration find novelty, they sometimes do not systematically explore the whole state space, akin to depth-first-search vs breadth-first-search. In this paper, we propose a new intrinsic reward that is cyclophobic, i.e., it does not reward novelty, but punishes redundancy by avoiding cycles. Augmenting the cyclophobic intrinsic reward with a sequence of hierarchical representations based on the agent's cropped observations we are able to achieve excellent results in the MiniGrid and MiniHack environments. Both are particularly hard, as they require complex interactions with different objects in order to be solved. Detailed comparisons with previous approaches and thorough ablation studies show that our newly proposed cyclophobic reinforcement learning is more sample efficient than other state of the art methods in a variety of tasks.


title: Effects of the librationally induced flow in Mercury's fluid core with an outer stably stratified layer

abstract: Observational constraints on Mercury's thermal evolution and magnetic field indicate that the top part of the fluid core is stably stratified. Here we compute how a stable layer affects the core flow in response to Mercury's main 88-day longitudinal libration, assuming various degrees of stratification, and study whether the core flow can modify the libration amplitude through viscous and electromagnetic torques acting on the core-mantle boundary (CMB). We show that the core flow strongly depends on the strength of the stratification near the CMB but that the influence of core motions on libration is negligible with or without a stably stratified layer. A stably stratified layer at the top of the core can however prevent resonant behaviour with gravito-inertial modes by impeding radial motions and promote a strong horizontal flow near the CMB. The librationally driven flow is likely turbulent and might produce a non-axisymmetric induced magnetic field with a strength of the order of 1$\%$ of Mercury's dipolar field.


title: The Landau-Bloch type theorems for certain class of holomorphic and pluriharmonic mappings in $\mathbb{c}^n$

abstract: In this paper, we first define two classes of holomorphic mappings defined on the unit ball $B^n$ of n-dimensional complex space $\mathbb{C}^n$ and obtain the lower estimates for Bloch's constant for these classes. Also, we derive the Landau-Bloch type theorem for some subclasses of pluriharmonic mappings defined on the unit ball $B^n$.


title: Novel enzymes for biodegradation of polycyclic aromatic hydrocarbons: metagenomics-linked identification followed by functional analysis

abstract: Polycyclic aromatic hydrocarbons (PAHs) are highly toxic, carcinogenic substances. On soils contaminated with PAHs, crop cultivation, animal husbandry and even the survival of microflora in the soil are greatly perturbed, depending on the degree of contamination. Most microorganisms cannot tolerate PAH-contaminated soils, however, some microbial strains can adapt to these harsh conditions and survive on contaminated soils. Analysis of the metagenomes of contaminated environmental samples may lead to discovery of PAH-degrading enzymes suitable for green biotechnology methodologies ranging from biocatalysis to pollution control. In the present study, our goal was to apply a metagenomic data search to identify efficient novel enzymes in remediation of PAH-contaminated soils. The metagenomic hits were further analyzed using a set of bioinformatics tools to select protein sequences predicted to encode well-folded soluble enzymes. Three novel enzymes (two dioxygenases and one peroxidase) were cloned and used in soil remediation microcosms experiments. The novel enzymes were found to be efficient for degradation of naphthalene and phenanthrene. Adding the inorganic oxidant CaO2 further increased the degrading potential of the novel enzymes for anthracene and pyrene. We conclude that metagenome mining paired with bioinformatic predictions, structural modelling and functional assays constitutes a powerful approach towards novel enzymes for soil remediation.


title: The double-well Bose Hubbard model with nearest-neighbor and cavity-mediated long-range interactions

abstract: We consider a one-dimensional Bose-Hubbard model (BHM) with on-site double-well potentials and study the effect of nearest-neighbor repulsion and cavity-mediated long-range interactions by calculating the ground-state phase diagrams with quantum Monte-Carlo simulations. We show that when the intra-well repulsion is as strong as the on-site repulsion a dimerized Mott insulator phase appears at the tip of the dimerized Density Wave phase for a density of one particle per double well. Furthermore, we find a dimerized Haldane insulator phase in the double-well BHM with nearest-neighbor interaction, which is identical to a dimerized BHM with repulsive interactions up to the third neighbor.


title: Target tests for the ILC positron source Talk presented at the International Workshop on Future Linear Colliders (LCWS2023)

abstract: The positron source is an essential component of the International Linear Collider (ILC) and is an area that poses some design challenges. One consideration is the material for the target, where the 1014 positrons per second for the ILC are generated. The potential material would need to be able to resist the high load created by the intense high energy photon beam. One of such candidates is the titanium alloy Ti-6Al-4V, for which the results of material tests with 3.5 MeV electrons are shown. The material was characterized after the irradiation by high-energy X-ray diffraction (HE-XRD) and changes caused by the irradiation to the crystal structure were studied. These tests revealed there was only minimal change in the phase fractions and crystal structure of the material under conditions as expected for the ILC.


title: On-Chip Sensors Data Collection and Analysis for SoC Health Management

abstract: Data produced by on-chip sensors in modern SoCs contains a large amount of information such as occurring faults, aging status, accumulated radiation dose, performance characteristics, environmental and other operational parameters. Such information provides insight into the overall health of a system's hardware as well as the operability of individual modules. This gives a chance to mitigate faults and avoid using faulty units, thus enabling hardware health management. Raw data from embedded sensors cannot be immediately used to perform health management tasks. In most cases, the information about occurred faults needs to be analyzed taking into account the history of the previously reported fault events and other collected statistics. For this purpose, we propose a special structure called Health Map (HM) that holds the information about functional resources, occurring faults and maps relationships between these. In addition, we propose algorithms for aggregation and classification of data received from on-chip sensors. The proposed Health Map contains detailed information on a particular system level (e.g., module, SoC, board) that can be compiled into a summary of hardware health status that in its turn enables distributed hierarchical health management by using this information at a higher level of system hierarchy, thus increasing the system's availability and effective lifetime.


title: Physics-Informed DeepMRI: Bridging the Gap from Heat Diffusion to k-Space Interpolation

abstract: In the field of parallel imaging (PI), alongside image-domain regularization methods, substantial research has been dedicated to exploring $k$-space interpolation. However, the interpretability of these methods remains an unresolved issue. Furthermore, these approaches currently face acceleration limitations that are comparable to those experienced by image-domain methods. In order to enhance interpretability and overcome the acceleration limitations, this paper introduces an interpretable framework that unifies both $k$-space interpolation techniques and image-domain methods, grounded in the physical principles of heat diffusion equations. Building upon this foundational framework, a novel $k$-space interpolation method is proposed. Specifically, we model the process of high-frequency information attenuation in $k$-space as a heat diffusion equation, while the effort to reconstruct high-frequency information from low-frequency regions can be conceptualized as a reverse heat equation. However, solving the reverse heat equation poses a challenging inverse problem. To tackle this challenge, we modify the heat equation to align with the principles of magnetic resonance PI physics and employ the score-based generative method to precisely execute the modified reverse heat diffusion. Finally, experimental validation conducted on publicly available datasets demonstrates the superiority of the proposed approach over traditional $k$-space interpolation methods, deep learning-based $k$-space interpolation methods, and conventional diffusion models in terms of reconstruction accuracy, particularly in high-frequency regions.


title: Asteroseismology sheds light on the origin of carbon-deficient red giants: likely merger products and linked to the Li-rich giants

abstract: Carbon-deficient red giants (CDGs) are a peculiar class of stars that have eluded explanation for decades. We aim to better characterise CDGs by using asteroseismology (Kepler, TESS) combined with spectroscopy (APOGEE, LAMOST), and astrometry (Gaia). We discovered 15 new CDGs in the Kepler field, and confirm that CDGs are rare, being only $0.15\%$ of our background sample. Remarkably, we find that our CDGs are almost exclusively in the red clump (RC) phase. Asteroseismic masses reveal that our CDGs are primarily low-mass stars ($M \lesssim$ 2~M$_{\odot}$), in contrast to previous studies which suggested they are intermediate mass ($M = 2.5 - 5.0~\rm M_{\odot}$) based on HR diagrams. A very high fraction of our CDGs ($50\%$) are also Li-rich giants. We observe a bimodal distribution of luminosity in our CDGs, with one group having normal RC luminosity and the other being a factor of two more luminous than expected for their masses. We find demarcations in chemical patterns and luminosities which lead us to split them into three groups: (i) normal-luminosity CDGs, (ii) over-luminous CDGs, and (iii) over-luminous highly-polluted CDGs. We conclude that a merger of a helium white dwarf with an RGB star is the most likely scenario for the two groups of over-luminous stars. Binary mass-transfer from intermediate-mass AGB stars is a possibility for the highly-polluted over-luminous group. For the normal-luminosity CDGs, we cannot distinguish between core He-flash pollution or lower-mass merger scenarios. Due to the overlap with the CDGs, Li-rich giants may have similar formation channels.


title: Saving temporary exhibitions in virtual environments: the Digital Renaissance of Ulisse Aldrovandi -- acquisition and digitisation of cultural heritage objects

abstract: As per the objectives of Project CHANGES, particularly its thematic sub-project on the use of virtual technologies for museums and art collections, our goal was to obtain a digital twin of the temporary exhibition on Ulisse Aldrovandi called "The Other Renaissance", and make it accessible to users online. After a preliminary study of the exhibition, focussing on acquisition constraints and related solutions, we proceeded with the digital twin creation by acquiring, processing, modelling, optimising, exporting, and metadating the exhibition. We made hybrid use of two acquisition techniques to create new digital cultural heritage objects and environments, and we used open technologies, formats, and protocols to make available the final digital product. Here, we describe the process of collecting and curating bibliographical exhibition (meta)data and the beginning of the digital twin creation to foster its findability, accessibility, interoperability, and reusability. The creation of the digital twin is currently ongoing.


title: Fermion Soliton Stars with Asymmetric Vacua

abstract: Fermion soliton stars are a motivated model of exotic compact objects in which a nonlinear self-interacting real scalar field couples to a fermion via a Yukawa term, giving rise to an effective fermion mass that depends on the fluid properties. Here we continue our investigation of this model within General Relativity by considering a scalar potential with generic asymmetric vacua. This case provides fermion soliton stars with a parametrically different scaling of the maximum mass relative to the model parameters, showing that the special case of symmetric vacua, in which we recover our previous results, requires fine tuning. In the more generic case studied here the mass and radius of a fermion soliton star are comparable to those of a neutron star for natural model parameters at the GeV scale. Finally, the asymmetric scalar potential inside the star can provide either a positive or a negative effective cosmological constant in the interior, being thus reminiscent of gravastars or anti-de Sitter bubbles, respectively. In the latter case we find the existence of multiple, disconnected, branches of solutions.


title: High-rate intercity quantum key distribution with a semiconductor single-photon source

abstract: Quantum key distribution (QKD) enables the transmission of information that is secure against general attacks by eavesdroppers. The use of on-demand quantum light sources in QKD protocols is expected to help improve security and maximum tolerable loss. Semiconductor quantum dots (QDs) are a promising building block for quantum communication applications because of the deterministic emission of single photons with high brightness and low multiphoton contribution. Here we report on the first intercity QKD experiment using a bright deterministic single photon source. A BB84 protocol based on polarisation encoding is realised using the high-rate single photons in the telecommunication C-band emitted from a semiconductor QD embedded in a circular Bragg grating structure. Utilising the 79 km long link with 25.49 dB loss (equivalent to 130 km for the direct-connected optical fibre) between the German cities of Hannover and Braunschweig, a record-high secret key bits per pulse of 4.8e-5 with an average quantum bit error ratio of 0.65 % are demonstrated. An asymptotic maximum tolerable loss of 28.11 dB is found, corresponding to a length of 144 km of standard telecommunication fibre. Deterministic semiconductor sources therefore compete with state-of-the-art decoy state QKD with weak coherent pulses with respect to high secret key rate and have the potential to excel in measurement device independent protocols and quantum repeater applications.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.optics


title: A Tutorial on Resilience in Smart Grids

abstract: A key quality of any kind of system is its ability to deliver its respective service correctly. Often the unavailability of commercial systems may lead to lost revenue, which are minor compared to what may be at stake when critical infrastructures fail. A failure to deliver critical services, such as clean water or electricity may have dire consequences that endanger human lives and may even halt or break other infrastructures. The services provided by critical infrastructures need to be supplied continuously even when faced with re-configurations, outside disturbances and systemic changes. A system is called resilient if it fulfils this property. From the many critical infrastructures that exist, power systems may be the most important ones, because they are supplying the required electricity for other critical infrastructures. At the same time, a power system itself may be exposed to several disturbances from internal sources, e.g., fluctuations in the energy demand, and external sources, e.g., heavy storms. Especially, fast dynamic effects caused by these disturbances may lead to deviations of grid frequency, short-circuits, or, in severe cases, a total power system failure. As future scenarios will include more distributed renewable sources and less centralized generation from fossil fuels, ICT-based communication and coordination will play an increasing role. This paper examines the notion of resilience, how it has been traditionally ensured for the power system, and novel approaches to maintain the frequency, protect people and devices against short circuits and recover from a blackout. A special focus is on communication and the role that distributed renewable generation plays for these processes.