arXiv subjects

Alessandro Russo

Publications and source records attributed to Alessandro Russo.

At least 19 recordsLinked to original sources

arXiv2026

Think-Verify-Revise: Neuro-Symbolic Visual Reasoning with Vision-Language Models and Dynamic Logic Tensor Networks

Visual reasoning tasks require a system to jointly perceive visual content and apply formal relational constraints---a combination that neither pure neural nor purely symbolic approaches handle well in isolation. This paper proposes a Neuro-Symbolic (NeSy) framework that closes this gap by tightly coupling a Vision-Language Model (VLM) for automatic First-Order Logic (FOL) rule induction with a Dynamic Logic Tensor Network (D-LTN) for differentiable rule verification, in a closed iterative feedback loop. The VLM receives a small set of labelled visual examples and proposes candidate FOL rules conforming to a strict grammar (Think); the D-LTN is automatically assembled from these rules at runtime and evaluates them grounding on CNN-produced visual embeddings (Verify); and verification failures are fed back to guide the VLM's next hypothesis (Revise). Evaluated on the ViSudo-PC benchmark across four visual domains (MNIST, EMNIST, KMNIST, FMNIST), the system induces valid Sudoku constraint rules using only three training examples as visual context. The proposed method achieves AUC scores matching or outperforming previous methods (NeuPSL, LTN), showing the potential for automatic rule discovery through VLM. Code is available at https://github.com/homayoun-afshari/nesy.

cs.CV↗

arXiv2026

Cornering MeV-GeV Axions and Dark Photons with LDMX

Axion-like particles (ALPs), the QCD axion, and dark photons in the MeV-GeV mass range are motivated by various dark matter models and the strong CP problem, and are ubiquitous in extensions of the Standard Model. A long-standing blind spot for experimental searches is the sub-100 MeV mass range, where the particle lifetime is too long to be constrained by prompt-decay collider searches yet too short to be reached by beam-dump experiments. We investigate and estimate the sensitivity of the Light Dark Matter eXperiment (LDMX) to such axions and dark photons, motivated by the clean environment in which these particles can be produced and by the near-target tracking capabilities of LDMX. With reasonable charged track and momentum reconstruction capabilities, we find that LDMX could close much of this low-mass blind spot for axions and dark photons.

hep-ph↗

arXiv2026

The Climate Change Knowledge Graph: Supporting Climate Services

Climate change impacts a broad spectrum of human resources and activities, necessitating the use of climate models to project long-term effects and inform mitigation and adaptation strategies. These models generate multiple datasets by running simulations across various scenarios and configurations, thereby covering a range of potential future outcomes. Currently, researchers rely on traditional search interfaces and APIs to retrieve such datasets, often piecing together information from metadata and community vocabularies. The Climate Change Knowledge Graph is designed to address these challenges by integrating diverse data sources related to climate simulations into a coherent and interoperable knowledge graph. This innovative resource allows for executing complex queries involving climate models, simulations, variables, spatio-temporal domains, and granularities. Developed with input from domain experts, the knowledge graph and its underlying ontology are published with open access license and provide a comprehensive framework that enhances the exploration of climate data, facilitating more informed decision-making in addressing climate change issues.

cs.DB↗

arXiv2025

Bayesian network 3D event reconstruction in the Cygno optical TPC for dark matter direct detection

The CYGNO experiment is developing a high-resolution gaseous Time Projection Chamber with optical readout for directional dark matter searches. The detector uses a helium-tetrafluoromethane (He:CF$_4$ 60:40) gas mixture at atmospheric pressure and a triple Gas Electron Multiplier amplification stage, coupled with a scientific camera for high-resolution 2D imaging and fast photomultipliers for time-resolved scintillation light detection. This setup enables 3D event reconstruction: photomultipliers signals provide depth information, while the camera delivers high-precision transverse resolution. In this work, we present a Bayesian Network-based algorithm designed to reconstruct the events using only the photomultipliers signals, yielding a full 3D description of the particle trajectories. The algorithm models the light collection process probabilistically and estimates spatial and intensity parameters on the Gas Electron Multiplier plane, where light emission occurs. It is implemented within the Bayesian Analysis Toolkit and uses Markov Chain Monte Carlo sampling for posterior inference. Validation using data from the CYGNO LIME prototype shows accurate reconstruction of localized and extended tracks. Results demonstrate that the Bayesian approach enables robust 3D description and, when combined with camera data, further improves the precision of track reconstruction. This methodology represents a significant step forward in directional dark matter detection, enhancing the identification of nuclear recoil tracks with high spatial resolution.

physics.ins-det↗

arXiv2025

Hydrogen 21 cm Constraints on the Photon's Spin Scale

We explore the fundamental but untested possibility that the photon is a continuous spin particle (CSP) with a small but non-zero spin Casimir $\rho$. When $\rho\neq 0$, the familiar polarization modes of the photon transform non-trivially under Lorentz boosts, leading to deviations from familiar QED. Surprisingly, these deviations are strongest at low energy, but smoothly vanish in the $\rho\rightarrow 0$ limit. In this letter, we compute corrections to the hydrogen 21cm transition rate, which is expected to be particularly sensitive given the small hyperfine energy splitting $\omega$. We find deviations from QED $\propto \rho^2 \alpha^2/\omega^2$ at leading order, suggesting experimental constraints $\rho\lesssim 1$ meV. Building on this work, we expect that a range of other atomic, molecular, or condensed matter systems could be used to provide even more stringent tests of $\rho$ in electromagnetic interactions.

hep-ph↗

arXiv2025

Interactions of a Continuous-Spin Field with a Spin-1/2 Particle

We introduce a formalism for coupling a bosonic Continuous-Spin field to familiar spin-1/2 matter. To do this, we describe the matter using the supersymmetric worldline formalism. We construct currents that are local functions of worldline kinematics, and respect both the worldline supersymmetry and the conservation condition required for consistent couplings to Abelian CSP fields. As the spin Casimir $\rho$ of the CSP vanishes, the interactions reduce to that of familiar QED in one case, and to a Yukawa interaction with a spin-1/2 fermion in another case. Our formalism is applicable to computing deviations from QED if the photon is a CSP, thereby enabling a range of phenomenological studies.

hep-th↗

arXiv2025

Modeling the light response of an optically readout GEM based TPC for the CYGNO experiment

The use of gaseous Time Projection Chambers enables the detection and the detailed study of rare events due to particles interactions with the atoms of the gas with energy releases as low as a few keV. Due to this capability, these instruments are being developed for applications in the field of astroparticle physics, such as the study of dark matter and neutrinos. To readout events occurring in the sensitive volume with a high granularity, the CYGNO collaboration is developing a solution where the light generated during the avalanche processes occurring in a multiplication stage based on Gas Electron Multiplier (GEM) is read out by optical sensors with very high sensitivity and spatial resolution. To achieve a high light output, gas gain values of the order of $10^5\text{-}10^6$ are needed. Experimentally, a dependence of the detector response on the spatial density of the charge collected in the GEM holes has been observed, indicating a gain-reduction effect likely caused by space-charge buildup within the multiplication channels. This paper presents data collected with a prototype featuring a sensitive volume of about two liters, together with a model developed by the collaboration to describe and predict the gain dependence on charge density. A comparison with experimental data shows that the model accurately reproduces the gain behaviour over nearly one order of magnitude, with a percent-level precision.

physics.ins-det↗

arXiv2024

Neurosymbolic Graph Enrichment for Grounded World Models

The development of artificial intelligence systems capable of understanding and reasoning about complex real-world scenarios is a significant challenge. In this work we present a novel approach to enhance and exploit LLM reactive capability to address complex problems and interpret deeply contextual real-world meaning. We introduce a method and a tool for creating a multimodal, knowledge-augmented formal representation of meaning that combines the strengths of large language models with structured semantic representations. Our method begins with an image input, utilizing state-of-the-art large language models to generate a natural language description. This description is then transformed into an Abstract Meaning Representation (AMR) graph, which is formalized and enriched with logical design patterns, and layered semantics derived from linguistic and factual knowledge bases. The resulting graph is then fed back into the LLM to be extended with implicit knowledge activated by complex heuristic learning, including semantic implicatures, moral values, embodied cognition, and metaphorical representations. By bridging the gap between unstructured language models and formal semantic structures, our method opens new avenues for tackling intricate problems in natural language understanding and reasoning.

cs.AI↗

arXiv2024

Nonconforming virtual element method for general second-order elliptic problems on curved domain

This paper introduces a nonconforming virtual element method for general second-order elliptic problems with variable coefficients on domains with curved boundaries and curved internal interfaces. We prove arbitrary order optimal convergence in the energy and $L^2$ norms, confirmed by numerical experiments on a set of polygonal meshes. The accuracy of the numerical approximation provided by the method is shown to be comparable with the theoretical analysis.

math.NA↗

arXiv2024

Phenomenology of photons-enriched semi-visible jets

This Letter proposes a new signature for confining dark sectors at the LHC. Under the assumption of a QCD-like hidden sector, hadronic jets containing stable dark bound states originating from hidden strong dynamics, known as semi-visible jets, could manifest in proton-proton collisions. In the proposed simplified model, a heavy $Z'$ mediator coupling to SM quarks allows the resonant production of dark quarks, subsequently hadronizing in stable and unstable dark bound states. The unstable dark bound states can then decay back to SM quarks via the same $Z'$ portal or photons via a lighter pseudo-scalar portal (such as an axion-like particle). This mechanism creates a new signature where semi-visible jets are enriched in non-isolated photons. We show that these exotic jets evade the phase space probed by current LHC searches exploiting jets or photons due to the expected high jet neutral electromagnetic fraction and photons candidates non-isolation, respectively. In the proposed analysis strategy to tackle such signature, we exploit jets as final state objects to represent the underlying QCD-like hidden sector. We show that, by removing any selection on the neutral electromagnetic fraction from the jet identification criteria, higher signal efficiency can be reached. To enhance the signal-to-background discrimination, we train a deep neural network as a jet tagger that exploits differences in the substructure of signal and background jets. We estimate that with the available triggers for Run 2 and this new strategy, a high mass search can claim a $5 \sigma$ discovery (exclusion) of the $Z'$ boson with a mass up to 5 TeV (5 TeV) with the full Run 2 data of the LHC when the fraction of unstable dark hadrons decaying to photons pairs is around 30 %, and with a coupling of the $Z'$ to SM quarks of 0.25.

hep-ph↗

arXiv2023

Mutually elusive: vectorlike antileptons and leptoquarks

We study the properties of vectorlike fermions that have the same gauge charges as the Standard Model lepton doublets, but opposite lepton number. These antileptons undergo decays mediated by heavier scalar leptoquarks, while the symmetries of this renormalizable model protect the vectorlike fermions and the leptoquarks from standard decays probed so far at colliders. If the new particles couple predominantly to second-generation quarks, then their collider probes involve multiple jets and two taus or neutrinos, and are hampered by large backgrounds. If couplings to third-generation quarks are large, then the collider signals involve top quarks, and can be probed more efficiently at the LHC. Even in that case, both the vectorlike fermion doublet and the leptoquarks remain more elusive than in models with standard decays.

hep-ph↗

arXiv2023

LIME -- a gas TPC prototype for directional Dark Matter search for the CYGNO experiment

The CYGNO experiment aims at the development of a large gaseous TPC with GEM-based amplification and an optical readout by means of PMTs and scientific CMOS cameras for 3D tracking down to O(keV) energies, for the directional detection of rare events such as low mass Dark Matter and solar neutrino interactions. The largest prototype built so far towards the realisation of the CYGNO experiment demonstrator is the 50 L active volume LIME, with 4 PMTs and a single sCMOS imaging a 33$\times$33 cm\textsuperscript{2} area for 50 cm drift, that has been installed in underground Laboratori Nazionali del Gran Sasso in February 2022. We will illustrate LIME performances as evaluated overground in Laboratori Nazionali di Frascati by means of radioactive X-ray sources, and in particular the detector stability, energy response and energy resolution. We will discuss the MC simulation developed to reproduce the detector response and show the comparison with actual data. We will furthermore examine the background simulation worked out for LIME underground data taking and illustrate the foreseen expected measurement and results in terms of natural and materials intrinsic radioactivity characterisation and measurement of the LNGS underground natural neutron flux. The results that will be obtained by underground LIME installation will be paramount in the optimisation of the CYGNO demonstrator, since this is foreseen to be composed by multiple modules with the same LIME dimensions and characteristics.

physics.ins-det↗

arXiv2023

Quantitative study of the stabilization parameter in the virtual element method

The choice of stabilization term is a critical component of the virtual element method (VEM). However, the theory of VEM provides only asymptotic guidance for selecting the stabilization term, which ensures convergence as the mesh size approaches zero, but does not provide a unique prescription for its exact form. Thus, the selection of a suitable stabilization term is often guided by numerical experimentation and analysis of the resulting solution, including factors such as stability, accuracy, and efficiency. In this paper, we establish a new link between VEM and generalized barycentric coordinates, in particular isoparametric finite elements as a specific case. This connection enables the interpretation of the stability as the energy of a particular function in the discrete space, commonly known as the `hourglass mode.' Through this approach, this study sheds light on how the virtual element solution depends on the stabilization term, providing insights into the behavior of the method in more general scenarios.

math.NA↗

arXiv2023

The nonconforming virtual element method with curved edges

We introduce a nonconforming virtual element method for the Poisson equation on domains with curved boundary and internal interfaces. We prove arbitrary order optimal convergence in the energy and $L^2$ norms, and validate the theoretical results with numerical experiments. Compared to existing nodal virtual elements on curved domains, the proposed scheme has the advantage that it can be designed in any dimension.

math.NA↗

arXiv2022

The CYGNO Experiment

The search for a novel technology able to detect and reconstruct nuclear and electron recoil events with the energy of a few keV has become more and more important now that large regions of high-mass dark matter (DM) candidates have been excluded. Moreover, a detector sensitive to incoming particle direction will be crucial in the case of DM discovery to open the possibility of studying its properties. Gaseous time projection chambers (TPC) with optical readout are very promising detectors combining the detailed event information provided by the TPC technique with the high sensitivity and granularity of latest-generation scientific light sensors. The CYGNO experiment (a CYGNus module with Optical readout) aims to exploit the optical readout approach of multiple-GEM structures in large volume TPCs for the study of rare events as interactions of low-mass DM or solar neutrinos. The combined use of high-granularity sCMOS cameras and fast light sensors allows the reconstruction of the 3D direction of the tracks, offering good energy resolution and very high sensitivity in the few keV energy range, together with a very good particle identification useful for distinguishing nuclear recoils from electronic recoils. This experiment is part of the CYGNUS proto-collaboration, which aims at constructing a network of underground observatories for directional DM search. A one cubic meter demonstrator is expected to be built in 2022/23 aiming at a larger scale apparatus (30 m$^3$--100 m$^3$) at a later stage.

physics.ins-det↗

arXiv2021

Identification of low energy nuclear recoils in a gas TPC with optical readout

The search for a novel technology able to detect and reconstruct nuclear recoil events in the keV energy range has become more and more important as long as vast regions of high mass WIMP-like Dark Matter candidate have been excluded. Gaseous Time Projection Chambers (TPC) with optical readout are very promising candidate combining the complete event information provided by the TPC technique to the high sensitivity and granularity of last generation scientific light sensors. A TPC with an amplification at the anode obtained with Gas Electron Multipliers (GEM) was tested at the Laboratori Nazionali di Frascati. Photons and neutrons from radioactive sources were employed to induce recoiling nuclei and electrons with kinetic energy in the range [1-100] keV. A He-CF4 (60/40) gas mixture was used at atmospheric pressure and the light produced during the multiplication in the GEM channels was acquired by a high position resolution and low noise scientific CMOS camera and a photomultiplier. A multi-stage pattern recognition algorithm based on an advanced clustering technique is presented here. A number of cluster shape observables are used to identify nuclear recoils induced by neutrons originated from a AmBe source against X-ray 55Fe photo-electrons. An efficiency of 18% to detect nuclear recoils with an energy of about 6 keV is reached obtaining at the same time a 96% 55Fe photo-electrons suppression. This makes this optically readout gas TPC a very promising candidate for future investigations of ultra-rare events as directional direct Dark Matter searches.

physics.ins-det↗

arXiv2020

A Reference Software Architecture for Social Robots

Social Robotics poses tough challenges to software designers who are required to take care of difficult architectural drivers like acceptability, trust of robots as well as to guarantee that robots establish a personalised interaction with their users. Moreover, in this context recurrent software design issues such as ensuring interoperability, improving reusability and customizability of software components also arise. Designing and implementing social robotic software architectures is a time-intensive activity requiring multi-disciplinary expertise: this makes difficult to rapidly develop, customise, and personalise robotic solutions. These challenges may be mitigated at design time by choosing certain architectural styles, implementing specific architectural patterns and using particular technologies. Leveraging on our experience in the MARIO project, in this paper we propose a series of principles that social robots may benefit from. These principles lay also the foundations for the design of a reference software architecture for Social Robots. The ultimate goal of this work is to establish a common ground based on a reference software architecture to allow to easily reuse robotic software components in order to rapidly develop, implement, and personalise Social Robots.

cs.AI↗

arXiv2019

$C^1$ Virtual Element Method on polyhedral meshes

The purpose of the present paper is to develop $C^1$ Virtual Elements in three dimensions for linear elliptic fourth order problems, motivated by the difficulties that standard conforming Finite Elements encounter in this framework. We focus the presentation on the lowest order case, the generalization to higher orders being briefly provided in the Appendix. The degrees of freedom of the proposed scheme are only 4 per mesh vertex, representing function values and gradient values. Interpolation error estimates for the proposed space are provided, together with a set of numerical tests to validate the method at the practical level.

math.NA↗