-
Bayesian Inverse Physics for Neuro-Symbolic Robot Learning
Authors:
Octavio Arriaga,
Rebecca Adam,
Melvin Laux,
Lisa Gutzeit,
Marco Ragni,
Jan Peters,
Frank Kirchner
Abstract:
Real-world robotic applications, from autonomous exploration to assistive technologies, require adaptive, interpretable, and data-efficient learning paradigms. While deep learning architectures and foundation models have driven significant advances in diverse robotic applications, they remain limited in their ability to operate efficiently and reliably in unknown and dynamic environments. In this…
▽ More
Real-world robotic applications, from autonomous exploration to assistive technologies, require adaptive, interpretable, and data-efficient learning paradigms. While deep learning architectures and foundation models have driven significant advances in diverse robotic applications, they remain limited in their ability to operate efficiently and reliably in unknown and dynamic environments. In this position paper, we critically assess these limitations and introduce a conceptual framework for combining data-driven learning with deliberate, structured reasoning. Specifically, we propose leveraging differentiable physics for efficient world modeling, Bayesian inference for uncertainty-aware decision-making, and meta-learning for rapid adaptation to new tasks. By embedding physical symbolic reasoning within neural models, robots could generalize beyond their training data, reason about novel situations, and continuously expand their knowledge. We argue that such hybrid neuro-symbolic architectures are essential for the next generation of autonomous systems, and to this end, we provide a research roadmap to guide and accelerate their development.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
Modeling Associative Reasoning Processes
Authors:
Claudia Schon,
Ulrich Furbach,
Marco Ragni
Abstract:
The human capability to reason about one domain by using knowledge of other domains has been researched for more than 50 years, but models that are formally sound and predict cognitive process are sparse. We propose a formally sound method that models associative reasoning by adapting logical reasoning mechanisms. In particular it is shown that the combination with large commensense knowledge with…
▽ More
The human capability to reason about one domain by using knowledge of other domains has been researched for more than 50 years, but models that are formally sound and predict cognitive process are sparse. We propose a formally sound method that models associative reasoning by adapting logical reasoning mechanisms. In particular it is shown that the combination with large commensense knowledge within a single reasoning system demands for an efficient and powerful association technique. This approach is also used for modelling mind-wandering and the Remote Associates Test (RAT) for testing creativity. In a general discussion we show implications of the model for a broad variety of cognitive phenomena including consciousness.
△ Less
Submitted 7 January, 2022; v1 submitted 3 January, 2022;
originally announced January 2022.
-
Quadrilaterals on the square screen of their diagonals: Regge symmetries of quantum-mechanical spin-networks and Grashof classical mechanisms of four-bar linkages
Authors:
Vincenzo Aquilanti,
Ana Carla Peixoto Bitencourt,
Concetta Caglioti,
Robenilson Ferreira dos Santos,
Andrea Lombardi,
Federico Palazzetti,
Mirco Ragni
Abstract:
The four-bar linkage is a basic arrangement of mechanical engineering and represents the simplest movable system formed by a closed sequence of bar-shaped bodies. Although the mechanism can have in general a spatial arrangement, we focus here on the prototypical planar case, starting however from a spatial viewpoint. The classification of the mechanism relies on the angular range spanned by the ro…
▽ More
The four-bar linkage is a basic arrangement of mechanical engineering and represents the simplest movable system formed by a closed sequence of bar-shaped bodies. Although the mechanism can have in general a spatial arrangement, we focus here on the prototypical planar case, starting however from a spatial viewpoint. The classification of the mechanism relies on the angular range spanned by the rotational motion of the bars allowed by the ratios among their lengths and is established by conditions for the existence of either one or more bars allowed to move as cranks, namely to be permitted to rotate the full 360 degrees range (Grashof cases), or as rockers with limited angular ranges (non-Grashof cases). In this paper, we provide a view on the connections between the "classic" four-bar problem and the theory of 6j symbols of quantum mechanical angular momentum theory, occurring in a variety of contexts in pure and applied quantum mechanics. The general case and a series of symmetric configurations are illustrated, by representing the range of existence of the related quadrilaterals on a square "screen" (namely as a function of their diagonals) and by discussing their behavior according both to the Grashof conditions and to the Regge symmetries, concertedly considering the classification of the two mechanisms and that of the corresponding objects of the quantum mechanical theory of angular momentum. An interesting topological difference is demonstrated between mechanisms belonging to the two Regge symmetric configurations: the movements in the Grashof cases span chirality preserving configurations with a 2 pi-cycle of a rotating bar, while by contrast the non-Grashof cases span both enantiomeric configurations with a 4 pi-cycle.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
Uncovering the Data-Related Limits of Human Reasoning Research: An Analysis based on Recommender Systems
Authors:
Nicolas Riesterer,
Daniel Brand,
Marco Ragni
Abstract:
Understanding the fundamentals of human reasoning is central to the development of any system built to closely interact with humans. Cognitive science pursues the goal of modeling human-like intelligence from a theory-driven perspective with a strong focus on explainability. Syllogistic reasoning as one of the core domains of human reasoning research has seen a surge of computational models being…
▽ More
Understanding the fundamentals of human reasoning is central to the development of any system built to closely interact with humans. Cognitive science pursues the goal of modeling human-like intelligence from a theory-driven perspective with a strong focus on explainability. Syllogistic reasoning as one of the core domains of human reasoning research has seen a surge of computational models being developed over the last years. However, recent analyses of models' predictive performances revealed a stagnation in improvement. We believe that most of the problems encountered in cognitive science are not due to the specific models that have been developed but can be traced back to the peculiarities of behavioral data instead.
Therefore, we investigate potential data-related reasons for the problems in human reasoning research by comparing model performances on human and artificially generated datasets. In particular, we apply collaborative filtering recommenders to investigate the adversarial effects of inconsistencies and noise in data and illustrate the potential for data-driven methods in a field of research predominantly concerned with gaining high-level theoretical insight into a domain.
Our work (i) provides insight into the levels of noise to be expected from human responses in reasoning data, (ii) uncovers evidence for an upper-bound of performance that is close to being reached urging for an extension of the modeling task, and (iii) introduces the tools and presents initial results to pioneer a new paradigm for investigating and modeling reasoning focusing on predicting responses for individual human reasoners.
△ Less
Submitted 11 March, 2020;
originally announced March 2020.
-
Symmetric angular momentum coupling, the quantum volume operator and the 7-spin network: a computational perspective
Authors:
Dimitri Marinelli,
Annalisa Marzuoli,
Vincenzo Aquilanti,
Roger W. Anderson,
Ana Carla P. Bitencourt,
Mirco Ragni
Abstract:
A unified vision of the symmetric coupling of angular momenta and of the quantum mechanical volume operator is illustrated. The focus is on the quantum mechanical angular momentum theory of Wigner's 6j symbols and on the volume operator of the symmetric coupling in spin network approaches: here, crucial to our presentation are an appreciation of the role of the Racah sum rule and the simplificatio…
▽ More
A unified vision of the symmetric coupling of angular momenta and of the quantum mechanical volume operator is illustrated. The focus is on the quantum mechanical angular momentum theory of Wigner's 6j symbols and on the volume operator of the symmetric coupling in spin network approaches: here, crucial to our presentation are an appreciation of the role of the Racah sum rule and the simplification arising from the use of Regge symmetry. The projective geometry approach permits the introduction of a symmetric representation of a network of seven spins or angular momenta. Results of extensive computational investigations are summarized, presented and briefly discussed.
△ Less
Submitted 4 October, 2014;
originally announced October 2014.
-
The screen representation of vector coupling coefficients or Wigner 3j symbols: exact computation and illustration of the asymptotic behavior
Authors:
Ana Carla P. Bitencourt,
Mirco Ragni,
Robert G. Littlejohn,
Roger Anderson,
Vincenzo Aquilanti
Abstract:
The Wigner $3j$ symbols of the quantum angular momentum theory are related to the vector coupling or Clebsch-Gordan coefficients and to the Hahn and dual Hahn polynomials of the discrete orthogonal hyperspherical family, of use in discretization approximations. We point out the important role of the Regge symmetries for defining the screen where images of the coefficients are projected, and for di…
▽ More
The Wigner $3j$ symbols of the quantum angular momentum theory are related to the vector coupling or Clebsch-Gordan coefficients and to the Hahn and dual Hahn polynomials of the discrete orthogonal hyperspherical family, of use in discretization approximations. We point out the important role of the Regge symmetries for defining the screen where images of the coefficients are projected, and for discussing their asymptotic properties and semiclassical behavior. Recursion relationships are formulated as eigenvalue equations, and exploited both for computational purposes and for physical interpretations.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
The Screen representation of spin networks. Images of 6j symbols and semiclassical features
Authors:
Mirco Ragni,
Robert G. Littlejohn,
Ana Carla P. Bitencourt,
Vincenzo Aquilanti,
Roger W. Anderson
Abstract:
This article presents and discusses in detail the results of extensive exact calculations of the most basic ingredients of spin networks, the Racah coefficients (or Wigner 6j symbols), exhibiting their salient features when considered as a function of two variables - a natural choice due to their origin as elements of a square orthogonal matrix - and illustrated by use of a projection on a square…
▽ More
This article presents and discusses in detail the results of extensive exact calculations of the most basic ingredients of spin networks, the Racah coefficients (or Wigner 6j symbols), exhibiting their salient features when considered as a function of two variables - a natural choice due to their origin as elements of a square orthogonal matrix - and illustrated by use of a projection on a square "screen" introduced recently. On these screens, shown are images which provide a systematic classification of features previously introduced to represent the caustic and ridge curves (which delimit the boundaries between oscillatory and evanescent behaviour according to the asymptotic analysis of semiclassical approaches). Particular relevance is given to the surprising role of the intriguing symmetries discovered long ago by Regge and recently revisited; from their use, together with other newly discovered properties and in conjunction with the traditional combinatorial ones, a picture emerges of the amplitudes and phases of these discrete wavefunctions, of interest in wide areas as building blocks of basic and applied quantum mechanics.
△ Less
Submitted 5 May, 2014;
originally announced May 2014.
-
The Screen representation of spin networks: 2D recurrence, eigenvalue equation for 6j symbols, geometric interpretation and Hamiltonian dynamics
Authors:
Roger W. Anderson,
Vincenzo Aquilanti,
Ana Carla P. Bitencourt,
Dimitri Marinelli,
Mirco Ragni
Abstract:
This paper treats 6j symbols or their orthonormal forms as a function of two variables spanning a square manifold which we call the "screen". We show that this approach gives important and interesting insight. This two dimensional perspective provides the most natural extension to exhibit the role of these discrete functions as matrix elements that appear at the very foundation of the modern theor…
▽ More
This paper treats 6j symbols or their orthonormal forms as a function of two variables spanning a square manifold which we call the "screen". We show that this approach gives important and interesting insight. This two dimensional perspective provides the most natural extension to exhibit the role of these discrete functions as matrix elements that appear at the very foundation of the modern theory of classical discrete orthogonal polynomials. Here we present 2D and 1D recursion relations that are useful for the direct computation of the orthonormal 6j, which we name U. We present a convention for the order of the arguments of the 6j that is based on their classical and Regge symmetries, and a detailed investigation of new geometrical aspects of the 6j symbols. Specifically we compare the geometric recursion analysis of Schulten and Gordon with the methods of this paper. The 1D recursion relation, written as a matrix diagonalization problem, permits an interpretation as a discrete Schrödinger-like equations and an asymptotic analysis illustrates semiclassical and classical limits in terms of Hamiltonian evolution.
△ Less
Submitted 17 April, 2014;
originally announced April 2014.
-
Exact and asymptotic computations of elementary spin networks: classification of the quantum-classical boundaries
Authors:
A. C. P. Bitencourt,
A. Marzuoli,
M. Ragni,
R. W. Anderson,
V. Aquilanti
Abstract:
Increasing interest is being dedicated in the last few years to the issues of exact computations and asymptotics of spin networks. The large-entries regimes (semiclassical limits) occur in many areas of physics and chemistry, and in particular in discretization algorithms of applied quantum mechanics. Here we extend recent work on the basic building block of spin networks, namely the Wigner 6j sym…
▽ More
Increasing interest is being dedicated in the last few years to the issues of exact computations and asymptotics of spin networks. The large-entries regimes (semiclassical limits) occur in many areas of physics and chemistry, and in particular in discretization algorithms of applied quantum mechanics. Here we extend recent work on the basic building block of spin networks, namely the Wigner 6j symbol or Racah coefficient, enlightening the insight gained by exploiting its self-dual properties and studying it as a function of two (discrete) variables. This arises from its original definition as an (orthogonal) angular momentum recoupling matrix. Progress also derives from recognizing its role in the foundation of the modern theory of classical orthogonal polynomials, as extended to include discrete variables. Features of the imaging of various regimes of these orthonormal matrices are made explicit by computational advances -based on traditional and new recurrence relations- which allow an interpretation of the observed behaviors in terms of an underlying Hamiltonian formulation as well. This paper provides a contribution to the understanding of the transition between two extreme modes of the 6j, corresponding to the nearly classical and the fully quantum regimes, by studying the boundary lines (caustics) in the plane of the two matrix labels. This analysis marks the evolution of the turning points of relevance for the semiclassical regimes and puts on stage an unexpected key role of the Regge symmetries of the 6j.
△ Less
Submitted 21 November, 2012;
originally announced November 2012.
-
Autonomous Observations in Antarctica with AMICA
Authors:
Gianluca Di Rico,
Maurizio Ragni,
Mauro Dolci,
Oscar Straniero,
Angelo Valentini,
Gaetano Valentini,
Amico Di Cianno,
Croce Giuliani,
Demetrio Magrin,
Carlotta Bonoli,
Favio Bortoletto,
Maurizio D'Alessandro,
Leonardo Corcione,
Alberto Riva
Abstract:
The Antarctic Multiband Infrared Camera (AMICA) is a double channel camera operating in the 2-28 micron infrared domain (KLMNQ bands) that will allow to characterize and exploit the exceptional advantages for Astronomy, expected from Dome C in Antarctica. The development of the camera control system is at its final stage. After the investigation of appropriate solutions against the critical envi…
▽ More
The Antarctic Multiband Infrared Camera (AMICA) is a double channel camera operating in the 2-28 micron infrared domain (KLMNQ bands) that will allow to characterize and exploit the exceptional advantages for Astronomy, expected from Dome C in Antarctica. The development of the camera control system is at its final stage. After the investigation of appropriate solutions against the critical environment, a reliable instrumentation has been developed. It is currently being integrated and tested to ensure the correct execution of automatic operations. Once it will be mounted on the International Robotic Antarctic Infrared Telescope (IRAIT), AMICA and its equipment will contribute to the accomplishment of a fully autonomous observatory.
△ Less
Submitted 2 March, 2010;
originally announced March 2010.
-
SN 2005cs in M51 II. Complete Evolution in the Optical and the Near-Infrared
Authors:
A. Pastorello,
S. Valenti,
L. Zampieri,
H. Navasardyan,
S. Taubenberger,
S. J. Smartt,
A. A. Arkharov,
O. Baernbantner,
H. Barwig,
S. Benetti,
P. Birtwhistle,
M. T. Botticella,
E. Cappellaro,
M. Del Principe,
F. Di Mille,
G. Di Rico,
M. Dolci,
N. Elias-Rosa,
N. V. Efimova,
M. Fiedler,
A. Harutyunyan,
P. A. Hoeflich,
W. Kloehr,
V. M. Larionov,
V. Lorenzi
, et al. (9 additional authors not shown)
Abstract:
We present the results of the one year long observational campaign of the type II-plateau SN 2005cs, which exploded in the nearby spiral galaxy M51 (the Whirlpool Galaxy). This extensive dataset makes SN 2005cs the best observed low-luminosity, 56Ni-poor type II-plateau event so far and one of the best core-collapse supernovae ever. The optical and near-infrared spectra show narrow P-Cygni lines…
▽ More
We present the results of the one year long observational campaign of the type II-plateau SN 2005cs, which exploded in the nearby spiral galaxy M51 (the Whirlpool Galaxy). This extensive dataset makes SN 2005cs the best observed low-luminosity, 56Ni-poor type II-plateau event so far and one of the best core-collapse supernovae ever. The optical and near-infrared spectra show narrow P-Cygni lines characteristic of this SN family, which are indicative of a very low expansion velocity (about 1000 km/s) of the ejected material. The optical light curves cover both the plateau phase and the late-time radioactive tail, until about 380 days after core-collapse. Numerous unfiltered observations obtained by amateur astronomers give us the rare opportunity to monitor the fast rise to maximum light, lasting about 2 days. In addition to optical observations, we also present near-infrared light curves that (together with already published UV observations) allow us to construct for the first time a reliable bolometric light curve for an object of this class. Finally, comparing the observed data with those derived from a semi-analytic model, we infer for SN 2005cs a 56Ni mass of about 0.003 solar masses, a total ejected mass of 8-13 solar masses and an explosion energy of about 3 x 10^50 erg.
△ Less
Submitted 14 January, 2009;
originally announced January 2009.
-
Quantum and semiclassical spin networks: from atomic and molecular physics to quantum computing and gravity
Authors:
V. Aquilanti,
A. C. P. Bitencourt,
C. da S. Ferreira,
A. Marzuoli,
M. Ragni
Abstract:
The mathematical apparatus of quantum--mechanical angular momentum (re)coupling, developed originally to describe spectroscopic phenomena in atomic, molecular, optical and nuclear physics, is embedded in modern algebraic settings which emphasize the underlying combinational aspects. SU(2) recoupling theory, involving Wigner's 3nj symbols, as well as the related problems of their calculations, ge…
▽ More
The mathematical apparatus of quantum--mechanical angular momentum (re)coupling, developed originally to describe spectroscopic phenomena in atomic, molecular, optical and nuclear physics, is embedded in modern algebraic settings which emphasize the underlying combinational aspects. SU(2) recoupling theory, involving Wigner's 3nj symbols, as well as the related problems of their calculations, general properties, asymptotic limits for large entries, play nowadays a prominent role also in quantum gravity and quantum computing applications. We refer to the ingredients of this theory -and of its extension to other Lie and quantum group- by using the collective term of `spin networks'. Recent progress is recorded about the already established connections with the mathematical theory of discrete orthogonal polynomials (the so-called Askey Scheme), providing powerful tools based on asymptotic expansions, which correspond on the physical side to various levels of semi-classical limits. These results are useful not only in theoretical molecular physics but also in motivating algorithms for the computationally demanding problems of molecular dynamics and chemical reaction theory, where large angular momenta are typically involved. As for quantum chemistry, applications of these techniques include selection and classification of complete orthogonal basis sets in atomic and molecular problems, either in configuration space (Sturmian orbitals) or in momentum space. In this paper we list and discuss some aspects of these developments -such as for instance the hyperquantization algorithm- as well as a few applications to quantum gravity and topology, thus providing evidence of a unifying background structure.
△ Less
Submitted 8 January, 2009;
originally announced January 2009.
-
SN 2005cs in M51 I. The first month of evolution of a subluminous SN II plateau
Authors:
A. Pastorello,
D. Sauer,
S. Taubenberger,
P. A. Mazzali,
K. Nomoto,
K. S. Kawabata,
S. Benetti,
N. Elias-Rosa,
A. Harutyunyan,
H. Navasardyan,
L. Zampieri,
T. Iijima,
M. T. Botticella,
G. Di Rico,
M. Del Principe,
M. Dolci,
S. Gagliardi,
M. Ragni,
G. Valentini
Abstract:
Early time optical observations of supernova (SN) 2005cs in the Whirlpool Galaxy (M51), are reported. Photometric data suggest that SN 2005cs is a moderately under-luminous Type II plateau supernova (SN IIP). The SN was unusually blue at early epochs (U-B ~ -0.9 about three days after explosion) which indicates very high continuum temperatures. The spectra show relatively narrow P-Cygni features…
▽ More
Early time optical observations of supernova (SN) 2005cs in the Whirlpool Galaxy (M51), are reported. Photometric data suggest that SN 2005cs is a moderately under-luminous Type II plateau supernova (SN IIP). The SN was unusually blue at early epochs (U-B ~ -0.9 about three days after explosion) which indicates very high continuum temperatures. The spectra show relatively narrow P-Cygni features, suggesting ejecta velocities lower than observed in more typical SNe IIP. The earliest spectra show weak absorption features in the blue wing of the He I 5876A absorption component and, less clearly, of H$β$ and H$α$. Based on spectral modelling, two different interpretations can be proposed: these features may either be due to high-velocity H and He I components, or (more likely) be produced by different ions (N II, Si II). Analogies with the low-luminosity, $^{56}$Ni-poor, low-velocity SNe IIP are also discussed.
While a more extended spectral coverage is necessary in order to determine accurately the properties of the progenitor star, published estimates of the progenitor mass seem not to be consistent with stellar evolution models.
△ Less
Submitted 29 May, 2006;
originally announced May 2006.
