English
Related papers

Related papers: Independence relations for exponential fields

200 papers

A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…

Logic · Mathematics 2021-02-03 Amador Martin-Pizarro , Martin Ziegler

We introduce a taxonomy for partially coherent optical fields spanning multiple degrees of freedom (DoFs) based on the rank of the associated coherence matrix (the number of non-zero eigenvalues). When DoFs comprise two spatial modes and…

We analyze the constraints on the general form and the singularity structure of the correlation functions of the symmetric, traceless and conserved stress-energy tensor implied by conformal invariance and higher spin symmetry in four…

High Energy Physics - Theory · Physics 2015-06-16 Yassen S. Stanev

Boney and Grossberg [BG] proved that every nice AEC has an independence relation. We prove that this relation is unique: In any given AEC, there can exist at most one independence relation that satisfies existence, extension, uniqueness and…

Logic · Mathematics 2016-04-27 Will Boney , Rami Grossberg , Alexei Kolesnikov , Sebastien Vasey

In the setting of nonstandard analysis we introduce the notion of flexible sequence. The terms of flexible sequences are external numbers. These are a sort of analogue for the classical \emph{O$ (\cdot ) $} and \emph{o$ (\cdot ) $} notation…

Logic · Mathematics 2019-09-17 Bruno Dinis , Tran Van Nam , Imme van den Berg

We axiomatize a class of existentially closed exponential fields equipped with an $E$-derivation. We apply our results to the field of real numbers endowed with $exp(x)$ the classical exponential function defined by its power series…

Logic · Mathematics 2023-01-18 Francoise Point , Nathalie Regnault

We consider Friedmann cosmologies with minimally coupled scalar field. Exact solutions are found, many of them elementary, for which the scalar field energy density, rho_f, and pressure, p_f, obey the equation of state (EOS) p_f=w_f\rho_f.…

Astrophysics · Physics 2007-05-23 A. S. Silbergleit

We give a characterization of all three points in $\mathbb R^4$ with integer coordinates which are at the same Euclidean distance apart. In three dimension the problem is characterized in terms of solutions of the Diophantine equations…

Number Theory · Mathematics 2013-07-16 Eugen J. Ionascu

This note contains two new observations on the linkage properties of quaternion algebras over fields of characteristic 2: first, that a 3-linked field need not be 4-linked (a case which was left open in previous papers) and that three…

Commutative Algebra · Mathematics 2021-03-10 Adam Chapman

Linear systems of neutral type are considered using the infinite dimensional approach. The main problems are asymptotic, non-exponential stability, exact controllability and regular asymptotic stabilizability. The main tools are the moment…

Optimization and Control · Mathematics 2009-10-28 Rabah Rabah , Grigory M. Sklyar

We consider a higher derivative scalar field theory in the presence of a boundary and a classically marginal interaction. We first investigate the free limit where the scalar obeys the square of the Klein-Gordon equation. In precisely $d=6$…

High Energy Physics - Theory · Physics 2024-11-26 Christopher P. Herzog , Yanjun Zhou

We deduce a special case of Zilber's quasiminimality conjecture, for the complex exponential field, from work of Henson and Rubel. Specifically, we deal with those subsets of $\mathbb{C}$ defined by formulas of the form…

Logic · Mathematics 2016-08-24 Gareth Boxall

This paper introduces the notions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and…

Artificial Intelligence · Computer Science 2013-03-25 Prakash P. Shenoy

Several categories look like categories of relations, but do not fit the established theory of relations in regular categories. They include the category of surjective multivalued functions, the category of injective partial functions, the…

Category Theory · Mathematics 2025-11-18 Matthew Di Meglio , Chris Heunen , Jean-Simon Pacaud Lemay , Paolo Perrone , Dario Stein

The energies of a pair of strongly-interacting subsystems with arbitrary noninteger charges are examined from closed and open system perspectives. An ensemble representation of the charge dependence is derived, valid at all interaction…

Other Condensed Matter · Physics 2009-11-11 Steven M. Valone , Susan R. Atlas

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine…

Logic · Mathematics 2007-05-23 Saharon Shelah

We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stable embeddedness true in this context. Those results are then…

Logic · Mathematics 2011-09-16 Artem Chernikov , Pierre Simon

We show how correlation functions of the spin-1/2 Heisenberg chain without magnetic field in the anti-ferromagnetic ground state can be explicitly calculated using information contained in the quantum Knizhnik-Zamolodchikov equation [qKZ].…

High Energy Physics - Theory · Physics 2009-11-10 H. E. Boos , M. Shiroishi , M. Takahashi

It is shown that the complex field equipped with the "approximate exponential map", defined up to ambiguity from a small group, is quasiminimal: every automorphism-invariant subset of the field is countable or co-countable. If the ambiguity…

Logic · Mathematics 2019-11-19 Jonathan Kirby

We study the entanglement entropy within a spherical region for a free scalar field in a squeezed state in 3+1 dimensions. We show that, even for small squeezing, a volume term appears, whose coefficient is essentially independent of the…

High Energy Physics - Theory · Physics 2024-10-28 Dimitrios Katsinis , Georgios Pastras , Nikolaos Tetradis
‹ Prev 1 4 5 6 7 8 10 Next ›