共查询到20条相似文献,搜索用时 31 毫秒
1.
The aim of this note is to give a direct proof of the fact that the Steinberg formula holds for the Vaserstein symbol and the universal weak Mennicke symbol. We also give an alternate proof of the fact that the Steinberg formula holds for the Vaserstein symbol. 相似文献
2.
E. Kochneff 《Proceedings of the American Mathematical Society》1996,124(5):1539-1547
We calculate an integral formula for the Hermite projection operators. We give some applications of our formula. We also give a short proof of a recent theorem of Thangavelu.
3.
J.B. Remmel 《Linear and Multilinear Algebra》1982,11(1):45-100
We give a bijective proof of a formula due independently to Frobenius and Young for the number of standard Young tableau of shape λ for λ any partition. Frame, Robinson, and Thrall derived their hook formula for the number of standard Young tableau from the Frobenius-Young formula. As a corollary to our bijective proof of the Frobenius-Young formula, we also give a bijective proof of the Frame-Robinson-Thrall hook formula. 相似文献
4.
Jürgen Elstrodt 《manuscripta mathematica》2006,121(4):457-459
We give a very simple proof of a classical transformation formula for the Dedekind eta function. This proof is a simplified version of an approach suggested by H. Petersson. 相似文献
5.
Evangelos Georgiadis Doron Zeilberger 《Journal of Difference Equations and Applications》2019,25(1):56-63
In 2008, Satoshi Nakamoto famously invented bitcoin, and in his (or her, or their, or its) white paper sketched an approximate formula for the probability of a successful double spending attack by a dishonest party. This was corrected by Meni Rosenfeld, who, under more realistic assumptions, gave the exact probability (missing a foundational proof); and another formula (along with foundational proof), in terms of the Incomplete Beta function, was given later by Cyril Grunspan and Ricardo Pérez-Marco, that enabled them to derive an asymptotic formula for that quantity. Using Wilf-Zeilberger algorithmic proof theory, we continue in this vein and present a recurrence equation for the above-mentioned probability of success, that enables a very fast compilation of these probabilities. We next use this recurrence to derive (in algorithmic fashion) higher-order asymptotic formulas, extending the formula of Grunspan and Pérez-Marco who did the leading term. We then study the statistical properties (expectation, variance, etc.) of the duration of a successful attack. 相似文献
6.
We establish a short exact sequence to relate the germ model of invariant subspaces of a Hilbert space of vector-valued analytic functions and the sheaf model of the corresponding coinvariant subspaces. As a consequence we obtain an additive formula for Samuel multiplicities. As an application, we give a different proof for a formula relating the fibre dimension and the Samuel multiplicity which is first proved in Fang (2005) [11]. The feature of the new proof is that the analytic arguments in Fang (2005) [11] are now subsumed by algebraic machinery. 相似文献
7.
《Journal of Pure and Applied Algebra》2022,226(7):106943
We provide a simple and conceptual proof of Du-Fu's multiplication formula of affine q-Schur algebras via Lusztig's formula. We use the multiplication formulas to provide a proof of the existence of generic affine Schur algebras, in return, and a formula of the generators under comultiplication. 相似文献
8.
We derive a wall crossing formula for the symplectic vortex invariants of toric manifolds. As an application, we give a proof
of Batyrev's formula for the quantum cohomology of a monotone toric manifold with minimal Chern number at least two.
Supported by National Science Foundation Grant DMS–0072267 相似文献
9.
Yutaka Matsui Kiyoshi Takeuchi 《Proceedings of the American Mathematical Society》2008,136(7):2365-2373
We give a simpler and purely topological proof of Ernström's class formula (1997) for the degree of dual varieties. Our new proof also allows us to obtain a formula describing the degrees of the associated varieties studied by Gelfand, Kapranov and Zelevinsky (1994).
10.
Guang Yuan Zhang 《Proceedings of the American Mathematical Society》2007,135(9):2887-2891
We first generalize a classical iteration formula for one variable holomorphic mappings to a formula for higher dimensional holomorphic mappings. Then, as an application, we give a short and intuitive proof of a classical theorem, due to H. Poincaré, for the condition under which a singularity of a holomorphic vector field is an isochronous center.
11.
We consider an operator of Bernstein for symmetric functions and give an explicit formula for its action on an arbitrary Schur
function. This formula is given in a remarkably simple form when written in terms of some notation based on the code of a
partition. As an application, we give a new and very simple proof of a classical result for the KP hierarchy, which involves
the Plücker relations for Schur function coefficients in a τ-function for the hierarchy. This proof is especially compact because we are able to restate the Plücker relations in a form
that is symmetrical in terms of partition code notation. 相似文献
12.
在陈省身先生关于高斯—波涅公式的著名证明中有一个关键等式,本文对这一等式给出一个稍稍改动的证明,相信更清楚地贴近陈的想法。 相似文献
13.
We provide a new proof of Rademacher's celebrated exact formula for the partition function. Along the way we present a simple treatment of an integral which is ubiquitous in the theory of nonanalytic automorphic forms. 相似文献
14.
We prove a new formula for the generating function of multitype Cayley trees counted according to their degree distribution. Using this formula we recover and extend several enumerative results about trees. In particular, we extend some results by Knuth and by Bousquet-Mélou and Chapuy about embedded trees. We also give a new proof of the multivariate Lagrange inversion formula. Our strategy for counting trees is to exploit symmetries of refined enumeration formulas: proving these symmetries is easy, and once the symmetries are proved the formulas follow effortlessly. We also adapt this strategy to recover an enumeration formula of Goulden and Jackson for cacti counted according to their degree distribution. 相似文献
15.
Valentino Magnani 《Central European Journal of Mathematics》2006,4(1):82-109
We obtain a blow-up theorem for regular submanifolds in the Heisenberg group, where intrinsic dilations are used. Main consequence
of this result is an explicit formula for the density of (p+1)-dimensional spherical Hausdorff measure restricted to a p-dimensional submanifold with respect to the Riemannian surface measure. We explicitly compute this formula in some simple
examples and we present a lower semicontinuity result for the spherical Hausdorff measure with respect to the weak convergence
of currents. Another application is the proof of an intrinsic coarea formula for vector-valued mappings on the Heisenberg
group. 相似文献
16.
We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the invertible proof rules of intuitionistic (minimal) propositional sequent calculi are formula (i.e., sequent) isomorphisms corresponding to the high‐school identities, we show that one can obtain a more compact variant of a proof system, consisting of non‐invertible proof rules only, and where the invertible proof rules have been replaced by a formula normalization procedure. Moreover, for certain proof systems such as the G4ip sequent calculus of Vorob'ev, Hudelmaier, and Dyckhoff, it is even possible to see all of the non‐invertible proof rules as strict inequalities between exponential polynomials; a careful combinatorial treatment is given in order to establish this fact. Finally, we extend the exponential polynomial analogy to the first‐order quantifiers, showing that it gives rise to an intuitionistic hierarchy of formulas, resembling the classical arithmetical hierarchy, and the first one that classifies formulas while preserving isomorphism. 相似文献
17.
A. Böttcher 《Integral Equations and Operator Theory》2001,41(1):123-125
Recently, Borodin and Okounkov [2] established a remarkable identity for Toeplitz determinants. Two other proofs of this identity were subsequently found by Basor and Widom [1], who also extended the formula to the block case. We here give one more proof, also for the block case. This proof is based on a formula for the inverse of a finite block Toeplitz matrix obtained in the late seventies by Silbermann and the author. 相似文献
18.
19.
20.
《Comptes Rendus de l'Academie des Sciences Series IIA Earth and Planetary Science》1999,328(2):105-110
We announce, in the case of the group GSp(4), an equality of two local integrals. One is a Kloosterman integral on the Bessel subgroups of GSp(4) and the other is a Kloosterman integral on the Novodvorsky subgroups of GSp(4). We conjecture that Jacquet's relative trace formula for GL(2) in [7], where Jacquet has given another proof of Waldspurger's result [9], generalizes to GSp(4). We believe that this approach will lead us to a proof and also a precise formulation of a conjecture of Böcherer [1]. Support for this conjecture may be found in the important paper of Böcherer and Schulze-Pillot [2]. Our result serves as the fundamental lemma for our conjectural relative trace formula for the main relevant double cosets. 相似文献