中文
相关论文

相关论文: A Higher-Level Bailey Lemma: Proof and Application

200 篇论文

The $\lambda$-calculus is a handy formalism to specify the evaluation of higher-order programs. It is not very handy, however, when one interprets the specification as an execution mechanism, because terms can grow exponentially with the…

计算机科学中的逻辑 · 计算机科学 2019-07-16 Andrea Condoluci , Beniamino Accattoli , Claudio Sacerdoti Coen

The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=\alpha f_{m-1,n}+ \beta f_{m,n-1}+ \gamma f_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=\alpha^m \beta^n$ if $n m=0$. In this work, we study a generalization of these…

组合数学 · 数学 2025-01-22 J. M. Grau , A. M Oller-Marcen , J. L. Varona

It is known that sometimes a Belyi pair is not defined over its field of moduli. Instead, it is defined over a finite degree extension of its field of moduli, called a field of definition. We show that given a number $m$ there exists a…

代数几何 · 数学 2023-04-21 Alexander Molyakov

We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial…

经典分析与常微分方程 · 数学 2011-05-03 William Y. C. Chen , Qing-Hu Hou , Hai-Tao Jin

Let $(\Omega, \mu)$ be a measure space and $\{\tau_\alpha\}_{\alpha\in \Omega}$ be a normalized continuous Bessel family for a finite dimensional Hilbert space $\mathcal{H}$ of dimension $d$. If the diagonal $\Delta\coloneqq \{(\alpha,…

泛函分析 · 数学 2024-07-08 K. Mahesh Krishna

Let $\beta>1$ be fixed. We consider the $(\frak{b, d})$ numeration system, where the base ${\frak b}=(b_k)_{k\geq 0}$ is a sequence of positive real numbers satisfying $\lim_{k\rightarrow \infty}b_{k+1}/b_k=\beta$, and the set of digits…

数论 · 数学 2023-05-02 Nian Hong Zhou

Neither the Euler-Mascheroni constant, $\gamma=0.577215\ldots$, nor the Euler-Gompertz constant, $\delta=0.596347\ldots$, is currently known to be irrational. However, it has been proved that these two numbers are disjunctively…

数论 · 数学 2025-08-26 Michael R. Powers

Let $(N,L)$ be a pair of finite dimensional nilpotent Lie algebras and $N$ admits a complement $K$ in $L$ such that $\dim N=n$ and $\dim K=m$. Let $s(N,L)=\frac{1}{2}(n-1)(n-2)+1+(n-1)m-\dim \M(N,L)$, where $\M(N,L)$ denotes the multiplier…

环与代数 · 数学 2022-08-17 Mostafa Sajedi , Mohammad Reza R. Moghaddam

We study the representation theory of finite-dimensional $\omega$-Lie algebras over the complex field. We derive an $\omega$-Lie version of the classical Lie's theorem, i.e., any finite-dimensional irreducible module of a soluble…

环与代数 · 数学 2021-12-21 Runxuan Zhang

Let $\beta$ be a non-unit real algebraic integer greater than one and $\{a_{n}\}_{n \geq 0}$ be a sequence satisfying a linear recurrence relation $a_{n+3}=aa_{n+2}+ba_{n+1}+ca_{n}$. Under certain conditions, we prove that the number of…

数论 · 数学 2026-04-13 Ruofan Li

In a recent work, Allen, B\"{o}ttcher, H\`{a}n, Kohayakawa, and Person provided a first general analogue of the blow-up lemma applicable to sparse (pseudo)random graphs thus generalising the classic tool of Koml\'{o}s, S\'{a}rk\"{o}zy, and…

组合数学 · 数学 2021-11-18 Miloš Trujić

Let B be the Lie algebra with basis {L_{i,j},C|i,j\in Z} and relations [L_{i,j},L_{k,l}]=((j+1)k-i(l+1))L_{i+k,j+l}+i\delta_{i,-k}\delta_{j+l,-2}C, [C,L_{i,j}]=0. It is proved that an irreducible highest weight B-module is quasifinite if…

表示论 · 数学 2007-05-23 Qifen Jiang , Yuezhu Wu

Fillmore Theorem says that if A is an nxn complex non-scalar matrix and {\gamma}_1,...,{\gamma}_{n} are complex numbers with {\gamma}_1+...+{\gamma}_{n}=trA, then there exists a matrix B similar to A with diagonal entries…

谱理论 · 数学 2018-04-17 Ana I. Julio , Ricardo L. Soto

In this paper, we realize the algebra of $\mathbb{Z}_2$-relations, signed partition algebras and partition algebras as tabular algebras and prove the cellularity of these algebras using the method of \cite{GM1}. Using the results of Graham…

表示论 · 数学 2015-06-10 N. Karimilla Bi

A now-classical cyclic extension of the descent set of a permutation has been introduced by Klyachko and Cellini. Following a recent axiomatic approach to this notion, it is natural to ask which sets of permutations admit such an extension.…

组合数学 · 数学 2023-02-13 Ron M. Adin , Pál Hegedüs , Yuval Roichman

The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…

计算机科学中的逻辑 · 计算机科学 2023-06-16 Axel Kerinec , Lionel Vaux Auclair

We propose and recursively prove polynomial identities which imply Capparelli's partition theorems. We also find perfect companions to the results of Andrews, and Alladi, Andrews and Gordon involving $q$-trinomial coefficients. We follow…

数论 · 数学 2019-02-18 Alexander Berkovich , Ali K. Uncu

Selfdual representations of any group fall into two classes when they are irreducible: those which carry a symmetric bilinear form, and the others which carry an alternating bilinear form. The Langlands correspondence, which matches the…

数论 · 数学 2008-07-03 Dipendra Prasad , Dinakar Ramakrishnan

We show that every higher Auslander algebra $A_{n+1}^d$ of type $\mathbb{A}$ such that $\gcd(n,d)=1$ is derived equivalent to a certain replicated algebra $B=B_0^{(n+d)}$. Moreover ${\rm{gldim}} B = nd$ and $B$ admits an $nd$-cluster…

表示论 · 数学 2025-12-01 Wei Xing

We derive new matrix representation for higher order Daehee numbers and polynomials, the higher order lambda-Daehee numbers and polynomials and the twisted lambda-Daehee numbers and polynomials of order k. This helps us to obtain simple and…

组合数学 · 数学 2015-03-03 B. S. El-Desouky , Abdelfattah Mustafa