搜索结果: 1-15 共查到“知识库 证明论”相关记录29条 . 查询时间(2.093 秒)
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...
Nuclear and type I crossed products of C*-algebras by group and compact quantum group actions
Direct proofs Feigin-Fuchs character formula unitary representations Virasoro algebra
font style='font-size:12px;'>
2011/3/1
Previously we gave a proof of the Feigin–Fuchs character formula for the irreducible unitary
discrete series of the Virasoro algebra with 0 < c < 1. The proof showed directly that the mutliplicity sp...
Direct proofs of the Feigin-Fuchs character formula for unitary representations of the Virasoro algebra
Direct proofs of the Feigin-Fuchs character unitary representations Virasoro algebra
font style='font-size:12px;'>
2011/3/1
Previously we gave a proof of the Feigin–Fuchs character formula for the irreducible unitary
discrete series of the Virasoro algebra with 0 < c < 1.
WZ-proofs of "divergent" Ramanujan-type series
Hypergeometric series WZ-method Ramanujan-type series for 1/ and 1/2 Barnes Integrals
font style='font-size:12px;'>
2011/1/21
We prove some ”divergent” Ramanujan-type series for 1/ and 1/2 applying a Barnes-integrals strategy of the WZ-method.
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 counterexample to a Penrose inequality conjectured by Gibbons
counterexample Penrose inequality Gibbons
font style='font-size:12px;'>
2011/3/3
We show that the Brill-Lindquist initial data provides a counterexample to a Riemannian Penrose inequality with charge conjectured by G. Gibbons. The observation illustrates a sub-additive characteris...
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 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...
On Kadell's two Conjectures for the $q$-Dyson Product
Dyson conjecture Dyson product Kadell’s conjecture constant term q-analog
font style='font-size:12px;'>
2010/12/1
By extending Lv-Xin-Zhou’s first layer formulas of the q-Dyson product, we prove Kadell’s conjecture for the Dyson product and show the error of his q-analogous conjec-ture. With the extended formulas...
More examples of motivic cell structures
stable A1-homotopy theory cell decomposition.
font style='font-size:12px;'>
2011/1/17
In this note, we describe motivic cell structures arising from the Bia lynicki-Birula decomposition. This provides a description of stable A1-homotopy types of smooth projective Gm-varieties where the...
Reduced Gröbner Bases of Certain Toric Varieties; A New Short Proof
Reduced Grö bner Bases Certain Toric Varieties New Short Proof
font style='font-size:12px;'>
2010/11/30
Let K be a field and let m0, ...,mn be an almost arithmetic sequence of positive integers. Let C be a toric variety in the affine (n + 1)-space,defined parametrically by x0 = tm0 , . . . , xn = tmn. I...
Discussion on Lechicki and Spakowski's counterexample
Lechicki Spakowski's counterexample
font style='font-size:12px;'>
2010/11/29
It is well-known that intersection of continuous correspondences can lost the continuity
property. Lechicki and Spakowski’s theorem says that intersection of H-lsc functions remains
H-lsc if the int...
On Einstein metrics, normalized Ricci flow and smooth structures on $3\mathbb{CP}^2 # k \bar{\mathbb{CP}}^2$
Einstein metrics normalized Ricci flow and smooth structures
font style='font-size:12px;'>
2010/11/30
Recent years have witnessed a drastic increase in our understanding of the topology and geometry of 4-manifolds and complex surfaces. The newest developments can be exemplified by the construction of ...
Versal Deformations and Versality in Central Extensions of Jacobi's Schemes
Versal Deformations Versality in Central Extensions of Jacobi's Schemes
font style='font-size:12px;'>
2010/11/29
Let Lm be the scheme of the laws defined by the Jacobi’s iden-tities on Km with K a field. A deformation of g ∈ Lm, parametrized by a local K-algebra A, is a local K-algebra morphism from the local ri...