314 results for derivation

arxiv.org/abs/2306.05074v2

Deriving interaction vertices in higher derivative theories

We derive cubic interaction vertices for a class of higher-derivative theories involving three arbitrary integer spin fields. This derivation uses the requirement of closure of the Poincarè algebra in four-dimensional flat spacetime. We find two var...

arxiv.org/abs/1801.05115v1

Seismic Wave Equations in Tight Oil/Gas Sandstone Media

The paper is devoted to the derivation of a combined system of motion equations for solid and fluid in isotropic tight oil/gas sandstone media through volume averaging theorems (VAT). Based on the features of the media, four physical assumptions are...

arxiv.org/abs/1607.05967v1

Interactive Illumination Invariance

Illumination effects cause problems for many computer vision algorithms. We present a user-friendly interactive system for robust illumination-invariant image generation. Compared with the previous automated illumination-invariant image derivation ap...

arxiv.org/abs/2504.05516v3

Revisiting Lamb Shift Theory through Brownian Motion of the Proton

This paper presents a novel theoretical derivation of the Lamb shift in the hydrogen atom, based solely on fundamental constants and the stochastic (Brownian) motion of the proton. Unlike conventional quantum electrodynamics (QED), the proposed appro...

arxiv.org/abs/2506.10781v1

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations

Students in programming languages and formal logic courses often struggle with constructing rule-based derivation trees due to the complexity of applying inference rules, the lack of immediate feedback, and the manual effort required for handwritten...

arxiv.org/abs/1709.06457v1

Recovering water wave elevation from pressure measurements

The reconstruction of water wave elevation from bottom pressure measurements is an important issue for coastal applications, but corresponds to a difficult mathematical problem. In this paper we present the derivation of a method which allows the ele...

arxiv.org/abs/1406.5780v4

Thermodynamics of Quantum Heat Bath

A model for the thermodynamics of a quantum heat bath is introduced. Under the assumption that the bath molecules have finitely many degrees of freedom and are weakly interacting, we present a general derivation of the equation of state of the bath i...

arxiv.org/abs/cond-mat/9709024v1

A fluid particle model

We present a mechanistic model for a Newtonian fluid called fluid particle dynamics. By analyzing the concept of ``fluid particle'' from the point of view of a Voronoi tessellation of a molecular fluid, we propose an heuristic derivation of a dissi...

arxiv.org/abs/1701.05303v1

Intersection Types and Counting

We present a new approach to the following meta-problem: given a quantitative property of trees, design a type system such that the desired property for the tree generated by an infinitary ground $λ$-term corresponds to some property of a derivation...

arxiv.org/abs/2408.07156v1

On Clifford Algebras of Infinite Dimensional Vector Spaces

We describe derivations of the Clifford algebra of a nondegenerate quadratic form on a countable dimensional vector space over an algebraically closed field of characteristic not equal to $2$. We also construct an algebraic automorphism of the Cliffo...