Related papers: Characterization and enumeration on Lam\'e equatio…

In this paper, we consider the existence of nontrivial solutions to the following critical biharmonic problem with a logarithmic term \begin{equation*} \begin{cases} \Delta^2 u=\mu \Delta u+\lambda u+|u|^{2^{**}-2}u+\tau u\log u^2, \ \…

We state combinatorial formulas for hyperoctahedral group ($\mathfrak B_n$) character evaluations of the form $\chi( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$, where ${{\widetilde…

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…

We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms…

In a classical case, orthogonal polynomial sequences are in such a way that the $ n $th polynomial has the exact degree $n$. Such sequences are complete and form a basis of the space for any arbitrary polynomial. In this paper, we introduce…

We consider first-order logic with monoidal quantifiers over words. We show that all languages with a neutral letter, definable using the addition numerical predicate are also definable with the order predicate as the only numerical…

We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above $p$. This is a…

Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally…

In this paper, motivated by a $\tau$-tilting version of the Brauer-Thrall Conjectures, we study general properties of band modules and their endomorphisms in the module category of a finite dimensional algebra. As an application we describe…

Every classical orthogonal polynomial system $p_n(x)$ satisfies a three-term recurrence relation of the type \[ p_{n+1}(x)=(A_nx+B_n)p_n(x)-C_np_{n-1}(x)~ (n=0,1,2,\ldots, p_{-1}\equiv 0), \] with $C_nA_nA_{n-1}>0$. Moreover, Favard's…

We continue the study of the theories of Baldwin-Shi hypergraphs from $[5]$. Restricting our attention to when the rank $\delta$ is rational valued, we show that each countable model of the theory of a given Baldwin-Shi hypergraph is…

Bidouble covers $\pi : S \mapsto Q$ of the quadric Q are parametrized by connected families depending on four positive integers a,b,c,d. In the special case where b=d we call them abc-surfaces. Such a Galois covering $\pi$ admits a small…

Assume that there is a set of monic polynomials $P_n(z)$ satisfying the second-order difference equation $$ A(s) P_n(z(s+1)) + B(s) P_n(z(s)) + C(s) P_n(z(s-1)) = \lambda_n P_n(z(s)), n=0,1,2,..., N$$ where $z(s), A(s), B(s), C(s)$ are some…

For every integer $k$ there exists a bound $B=B(k)$ such that if the characteristic polynomial of $g\in \operatorname{SL}_n(q)$ is the product of $\le k$ pairwise distinct monic irreducible polynomials over $\mathbb{F}_q$, then every…

Any symmetry reduces a second-order differential equation to a first-order equation: variational symmetries of the action (exemplified by central field dynamics) lead to conservation laws, but symmetries of only the equations of motion…

In this work the correspondence between the semiclassical limit of the DOZZ quantum Liouville theory on the torus and the Nekrasov-Shatashvili limit of the N=2* (Omega-deformed) U(2) super-Yang-Mills theory is used to propose new formulae…

Let ${\mathcal{P}_{n}}$ denote the set of positive integers which are prime to $n$. Let $B_{n}$ be the $n$-th Bernoulli number. For any prime $p\ge 5$ and $r\ge 2$, we prove that \begin{equation} \sum\limits_{\begin{smallmatrix}…

The Brauer algebra has a basis of diagrams and these generate a monoid $H$ consisting of scalar multiples of diagrams. Following a recent paper by Kudryavtseva and Mazorchuk, we define and completely determine three types of conjugation in…

Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…

In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on…