Similarity-Based Equational Inference in Physics

• URL: http://arxiv.org/abs/2103.13496v1
• Date: Wed, 24 Mar 2021 21:36:39 GMT
• Title: Similarity-Based Equational Inference in Physics
• Abstract summary: We describe a dataset creation method where we consider a derivation agent as a finite state machine. We present the novel dataset PhysAI-DS1 generated by this method. We present a symbolic similarity-based approach to solve an equation reconstruction task on the PhysAI-DS1 dataset.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Derivation in physics, in the form of derivation reconstruction of published results, is expensive and difficult to automate, not least because the use of mathematics by physicists is less formal than that of mathematicians. Following demand for informal mathematical datasets, we describe a dataset creation method where we consider a derivation agent as a finite state machine which exists in equational states represented by strings, where transitions can occur through a combination of string operations that mimic mathematics, and defined computer algebra operations. We present the novel dataset PhysAI-DS1 generated by this method, which consists of a curated derivation of a contemporary condensed matter physics result reconstructed using a computer algebra system. We define an equation reconstruction task based on formulating derivation segments as basic units of non-trivial state sequences, with the goal of reconstructing an unknown intermediate state equivalent to one-hop inference, extensible to the multi-hop case. We present a symbolic similarity-based heuristic approach to solve an equation reconstruction task on the PhysAI-DS1 dataset, which employs a set of actions, a knowledge base of symbols and equations, and a computer algebra system, to reconstruct an unknown intermediate state within a sequence of three equational states, grouped together as a derivation unit. Informal derivation comprehension of contemporary results is an important step towards the comprehension and automation of modern physics reasoners.

Related papers

• Data-driven discovery of governing differential equations across physical systems [61.522420798136984]
  We propose a problem-oriented perspective on data-driven differential equation discovery.<n>We first introduce a two-dimensional phase diagram of equation discoverability.<n>We then present the representation-evaluation-optimization (REO) framework as a fundamental abstraction of the discovery process.
  arXiv  Detail & Related papers  (2026-06-08T15:35:06Z)
• A Data-Free Symbolic Regression Approach for Solving Equations [14.952785003360509]
  We propose a framework that formulates equation solving as an optimization problem over differentiable symbolic models.<n>SES constructs its objective from the equation together with initial or boundary conditions, eliminating the need for paired input-output data.<n>SES recovers compact symbolic expressions that match the corresponding analytical solutions.
  arXiv  Detail & Related papers  (2026-06-05T11:09:23Z)
• Mimicking the Physicist's Eye:A VLM-centric Approach for Physics Formula Discovery [98.58830663687911]
  VIPERR-aq1 is a multimodal model that performs Visual Induction for Equation Reasoning.<n>It integrates visual perception, trajectory data, and symbolic reasoning to emulate the scientific discovery process.<n>It consistently outperforms state-of-the-art VLM baselines in accuracy and interpretability.
  arXiv  Detail & Related papers  (2025-08-24T14:34:21Z)
• Mathematical artificial data for operator learning [1.4579344926652846]
  We present the Mathematical Artificial Data (MAD) framework, a new paradigm that integrates physical laws with data-driven learning to facilitate large-scale operator discovery.<n>We show MAD's generalizability and superior efficiency/accuracy across various differential equations scenarios.
  arXiv  Detail & Related papers  (2025-07-09T11:23:05Z)
• Why Neural Network Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning [73.18052192964349]
  We develop a theoretical framework that explains how discrete symbolic structures can emerge naturally from continuous neural network training dynamics.<n>By lifting neural parameters to a measure space and modeling training as Wasserstein gradient flow, we show that under geometric constraints, the parameter measure $mu_t$ undergoes two concurrent phenomena.
  arXiv  Detail & Related papers  (2025-06-26T22:40:30Z)
• Fully data-driven inverse hyperelasticity with hyper-network neural ODE fields [0.0]
  We propose a new framework for identifying mechanical properties of heterogeneous materials without a closed-form equation.<n>A physics-based data-driven method built upon ordinary neural differential equations (NODEs) is employed to discover equations.<n>The proposed approach is robust and general in identifying the mechanical properties of heterogeneous materials with very few assumptions.
  arXiv  Detail & Related papers  (2025-06-09T18:50:14Z)
• Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity [0.0]
  Third installment formalizes the observer-coupled phi-collapse process through transfinite categorical flows and curvature-driven identity operators.<n>System surpasses conventional identity modeling in explainable AI (XAI) by encoding internal transformation history into a symbolic fixed-point structure.<n>Results also offer a mathematically rigorous basis for future AI systems with stable self-referential behavior.
  arXiv  Detail & Related papers  (2025-05-26T10:20:12Z)
• Grammar-based Ordinary Differential Equation Discovery [1.5020330976600738]
  We propose a novel framework for the end-to-end discovery of ordinary differential equations (ODEs) The proposed methodology combines formal formality reduction and search for efficiently navigating high-dimensional spaces. Gode proves to be more sample- and parameter-efficient than state-of-the-art transformer-based models.
  arXiv  Detail & Related papers  (2025-04-03T14:28:13Z)
• No Equations Needed: Learning System Dynamics Without Relying on Closed-Form ODEs [56.78271181959529]
  This paper proposes a conceptual shift to modeling low-dimensional dynamical systems by departing from the traditional two-step modeling process. Instead of first discovering a closed-form equation and then analyzing it, our approach, direct semantic modeling, predicts the semantic representation of the dynamical system. Our approach not only simplifies the modeling pipeline but also enhances the transparency and flexibility of the resulting models.
  arXiv  Detail & Related papers  (2025-01-30T18:36:48Z)
• Neural Differential Algebraic Equations [6.100037457394823]
  We present Neural Differential-Algebraic Equations (NDAEs) suitable for data-driven modeling of Differential-Algebraic Equations (DAEs) We show that the proposed NDAEs abstraction is suitable for relevant system-theoretic data-driven modeling tasks.
  arXiv  Detail & Related papers  (2024-03-19T17:43:57Z)
• Discovering Interpretable Physical Models using Symbolic Regression and Discrete Exterior Calculus [55.2480439325792]
  We propose a framework that combines Symbolic Regression (SR) and Discrete Exterior Calculus (DEC) for the automated discovery of physical models. DEC provides building blocks for the discrete analogue of field theories, which are beyond the state-of-the-art applications of SR to physical problems. We prove the effectiveness of our methodology by re-discovering three models of Continuum Physics from synthetic experimental data.
  arXiv  Detail & Related papers  (2023-10-10T13:23:05Z)
• Discrete, compositional, and symbolic representations through attractor dynamics [51.20712945239422]
  We introduce a novel neural systems model that integrates attractor dynamics with symbolic representations to model cognitive processes akin to the probabilistic language of thought (PLoT) Our model segments the continuous representational space into discrete basins, with attractor states corresponding to symbolic sequences, that reflect the semanticity and compositionality characteristic of symbolic systems through unsupervised learning, rather than relying on pre-defined primitives. This approach establishes a unified framework that integrates both symbolic and sub-symbolic processing through neural dynamics, a neuroplausible substrate with proven expressivity in AI, offering a more comprehensive model that mirrors the complex duality of cognitive operations
  arXiv  Detail & Related papers  (2023-10-03T05:40:56Z)
• A Recursive Bateson-Inspired Model for the Generation of Semantic Formal Concepts from Spatial Sensory Data [77.34726150561087]
  This paper presents a new symbolic-only method for the generation of hierarchical concept structures from complex sensory data. The approach is based on Bateson's notion of difference as the key to the genesis of an idea or a concept. The model is able to produce fairly rich yet human-readable conceptual representations without training.
  arXiv  Detail & Related papers  (2023-07-16T15:59:13Z)
• Capturing dynamical correlations using implicit neural representations [85.66456606776552]
  We develop an artificial intelligence framework which combines a neural network trained to mimic simulated data from a model Hamiltonian with automatic differentiation to recover unknown parameters from experimental data. In doing so, we illustrate the ability to build and train a differentiable model only once, which then can be applied in real-time to multi-dimensional scattering data.
  arXiv  Detail & Related papers  (2023-04-08T07:55:36Z)
• Symbolic Recovery of Differential Equations: The Identifiability Problem [52.158782751264205]
  Symbolic recovery of differential equations is the ambitious attempt at automating the derivation of governing equations. We provide both necessary and sufficient conditions for a function to uniquely determine the corresponding differential equation. We then use our results to devise numerical algorithms aiming to determine whether a function solves a differential equation uniquely.
  arXiv  Detail & Related papers  (2022-10-15T17:32:49Z)
• Bayesian Learning to Discover Mathematical Operations in Governing Equations of Dynamic Systems [3.1544304017740634]
  This work presents a new representation for governing equations by designing the Mathematical Operation Network (MathONet) with a deep neural network-like hierarchical structure. An MathONet is typically regarded as a super-graph with a redundant structure, a sub-graph of which can yield the governing equation.
  arXiv  Detail & Related papers  (2022-06-01T10:31:14Z)
• Physics Informed RNN-DCT Networks for Time-Dependent Partial Differential Equations [62.81701992551728]
  We present a physics-informed framework for solving time-dependent partial differential equations. Our model utilizes discrete cosine transforms to encode spatial and recurrent neural networks. We show experimental results on the Taylor-Green vortex solution to the Navier-Stokes equations.
  arXiv  Detail & Related papers  (2022-02-24T20:46:52Z)
• Recurrent Localization Networks applied to the Lippmann-Schwinger Equation [0.0]
  We present a novel machine learning approach for solving equations of the generalized Lippmann-Schwinger (L-S) type. As part of a learning-based loop unrolling, we use a recurrent convolutional neural network to iteratively solve the governing equations for a field of interest. We demonstrate our learning approach on the two-phase elastic localization problem, where it achieves excellent accuracy on the predictions of the local (i.e., voxel-level) elastic strains.
  arXiv  Detail & Related papers  (2021-01-29T20:54:17Z)
• Physics-informed learning of governing equations from scarce data [14.95055620484844]
  This work introduces a physics-informed deep learning framework to discover governing partial differential equations (PDEs) from scarce and noisy representation data. The efficacy and robustness of this method are demonstrated, both numerically and experimentally, on discovering a variety of PDE systems. The resulting computational framework shows the potential for closed-form model discovery in practical applications.
  arXiv  Detail & Related papers  (2020-05-05T22:13:22Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.