搜索结果: 1-15 共查到“数理逻辑与数学基础 proof”相关记录28条 . 查询时间(0.046 秒)
A SHORT PROOF OF THE CONJECTURE WITHOUT GROMOV-WITTEN THEORY: HURWITZ THEORY AND THE MODULI OF CURVES
HURWITZ THEORY THE MODULI OF CURVES
2015/7/14
I. P. GOULDEN, D. M. JACKSON AND R. VAKILConjecture. The
approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the \polynomiality" of Hurwitz numbers, from which we pick...
A SHORT PROOF OF THE CONJECTURE WITHOUT GROMOV-WITTEN THEORY: HURWITZ THEORY AND THE MODULI OF CURVES
HURWITZ THEORY THE MODULI OF CURVES
2015/7/14
I. P. GOULDEN, D. M. JACKSON AND R. VAKILConjecture. The
approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the \polynomiality" of Hurwitz numbers, from which we pick...
Abstract: In this note we exhibit a very simple proof of McNaughton Theorem, almost right out of the definitions, and at the same time we observe that this theorem does not depend of Chang's completen...
Constructive Proof of Global Lyapunov Function as Potential Function
Constructive Proof Global Lyapunov Function Potential Function
2011/3/2
We provide a constructive proof on the equivalence of two fundamental concepts: the global
Lyapunov function in engineering and the potential function in physics, establishing a bridge be-tween these...
A direct proof of the five element basis theorem
Aronszajn trees Countryman type forcing axioms
2011/1/17
We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of [9] and simplifies the original proof ...
Every submartingale S of class D has a unique Doob-Meyer decomposition S = M + A, where M is a martingale and A is a predictable increasing process starting at 0.
On a proof of the Labastida-Marino-Ooguri-Vafa conjecture
proof Labastida-Marino-Ooguri-Vafa conjecture
2011/1/21
We outline a proof of a remarkable conjecture of Labastida-Mari˜no-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topo...
A simpler proof of the Boros--Füredi--Bárány--Pach--Gromov theorem
simpler proof Boros--Füredi--Bárány--Pach--Gromov theorem
2011/3/1
A short and almost elementary proof of the Boros–F¨uredi–B´ar´any–Pach–Gromov theorem on the multiplicity of covering by simplices in Rd is given.
A standard Hilbert-space proof of Dirichlet’s principle is simplified, using an observation that a certain form of min-problem has unique solution, at a specified point. This solves Dirichlet’s proble...
A simple proof of orientability in the colored Boulatov model
simple proof of orientability colored Boulatov model
2011/2/22
In this short note we use results from the theory of crystallizations to prove that color in group eld theories garantees orientability of the piecewise linear pseudo-manifolds associated to each gra...
A proof of the continuous Dyson-Maleev representation
proof continuous Dyson-Maleev representation
2011/2/24
Recently Ivanov and Skvortsov introduced continuous Dyson-Maleev (DM) representations of supersymmetric non-linear sigma models and motivated that these representations are non-perturbatively exact. B...
A simple proof of a generalization of the Chu-Vandermonde identity
simple proof generalization Chu-Vandermonde identity
2011/1/18
We provide a simple proof of a generalization of the multivariate Chu-Vandermonde identity recently derived in Favaro et al. (2010a). Exploiting known results for rising factorials and fourth Lauricel...
We present here another proof of Oscar Rojo's theorems about the spectrum of graph Laplacian on certain balanced trees, by taking advantage of the symmetry properties of the trees in question, and loo...
About the proof of the Fredholm Alternative theorems
the Fredholm Alternative theorems math
2010/11/23
In this short paper we review and extract some features of the Fredholm Alternative problem .
Hanner's theorem is a classical theorem in the theory of retracts and extensors in topological spaces, which states that a local ANE is an ANE. While Hanner's original proof of the theorem is quite s...