搜索结果: 1-15 共查到“数理逻辑与数学基础 proof”相关记录28条 . 查询时间(0.107 秒)
A SHORT PROOF OF THE CONJECTURE WITHOUT GROMOV-WITTEN THEORY: HURWITZ THEORY AND THE MODULI OF CURVES
HURWITZ THEORY THE MODULI OF CURVES
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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 Simple Proof of McNaughton Theorem
McNaughton Theorem Simple Proof Logic
font style='font-size:12px;'>
2011/9/19
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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 ...
A short Proof of the Doob-Meyer Theorem
short Proof Doob-Meyer Theorem
font style='font-size:12px;'>
2011/2/25
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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.
Short Proof of Dirichlet's Principle
Short Proof Dirichlet's Principle
font style='font-size:12px;'>
2011/2/25
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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...
Another Proof of Oscar Rojo's Theorems
Oscar Rojo's Theorems math
font style='font-size:12px;'>
2010/11/19
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
font style='font-size:12px;'>
2010/11/23
In this short paper we review and extract some features of the Fredholm Alternative problem .
A short and elementary proof of Hanner's theorem
Hanner's theorem math
font style='font-size:12px;'>
2010/11/23
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...