Related papers: Type R $\lambda$-Permutation Approach to Velleman'…

We introduce a new framework called linear algebraic number theory (LANT) that reformulates the number-theoretic problem as a regression model and solves it using matrix algebra. This framework restricts all computations to log space,…

We construct type A partially-symmetric Macdonald polynomials $P_{(\lambda \mid \gamma)}$, where $\lambda \in \mathbb{Z}_{\geq 0}^{n-k}$ is a partition and $\gamma \in \mathbb{Z}_{\geq 0}^k$ is a composition. These are polynomials which are…

In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable terms are operationally irrelevant and can be equated…

Kaneko and Tsumura proved a relation of multiple $\tilde{T}$-values involving Entringer numbers counting the total number of down-up permutations starting with a fixed value. In the present paper, we generalize this relation and provide…

Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposable permutations. In the style of the seminal paper by Simion…

A multiset $\Lambda=\{\lambda_1,\ldots,\lambda_n\}$ of complex numbers is said to be realizable whenever there exists a nonnegative matrix of order $n$ with spectrum $\Lambda$. One of the broadest criterion that guarantees realizability is…

Working with the simple types over a base type of natural numbers (including product types), we consider the question of when a type $\sigma$ is encodable as a definable retract of $\tau$: that is, when there are $\lambda$-terms…

A set of $N$ permutations of $\{1,2,\dots,v\}$ is $(N,v,t)$-suitable if each symbol precedes each subset of $t-1$ others in at least one permutation. The central problems are to determine the smallest $N$ for which such a set exists for…

We are concerned with positive solutions decaying to zero at infinity for the logistic equation $-\Delta u=\lambda (V(x)u-f(u))$ in $\RR^N$, where $V(x)$ is a variable potential that may change sign, $\lambda$ is a real parameter, and $f$…

A $(v,k,\lambda)$ difference set in a group $G$ of order $v$ is a subset $\{d_1, d_2, \ldots,d_k\}$ of $G$ such that $D=\sum d_i$ in the group ring $\mathbb{Z}[G]$ satisfies $$D D^{-1} = n + \lambda G,$$ where $n=k-\lambda$. If $D=\sum s_i…

In large scale genetic association studies, a primary aim is to test for association between genetic variants and a disease outcome. The variants of interest are often rare, and appear with low frequency among subjects. In this situation,…

We discuss some old results due to Abel and Olivier concerning the convergence of positive series and prove a set of necessary conditions involving convergence in density.

We introduce the notion of a weighted inversion statistic on the symmetric group, and examine its distribution on each conjugacy class. Our work generalizes the study of several common permutation statistics, including the number of…

De Bruijn and Newman introduced a deformation of the Riemann zeta function $\zeta(s)$, and found a real constant $\Lambda$ which encodes the movement of the zeros of $\zeta(s)$ under the deformation. The Riemann hypothesis (RH) is…

We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which…

This article investigates the existence, nonexistence, and multiplicity of positive solutions to the sublinear fractional elliptic problem $(P_{\lambda}^s)$. We begin by establishing several a priori estimates that provide regularity…

Consider the following Kirchhoff type problem $$ \left\{\aligned -\bigg(a+b\int_{\mathbb{B}_R}|\nabla u|^2dx\bigg)\Delta u&= \lambda u^{q-1} + \mu u^{p-1}, &\quad \text{in}\mathbb{B}_R, \\ u&>0,&\quad\text{in}\mathbb{B}_R,\\…

Let $A$ be a complex square matrix, and write its polar decomposition as $A=U|A|$. For $0<\lambda<1$, the $\lambda$-Aluthge transform of $A$ is defined by $$ \Delta_\lambda(A)=|A|^\lambda U|A|^{1-\lambda}. $$ In 2007, Huang and Tam…

The dimer problem arose in a thermodynamic study of diatomic molecules, and was abstracted into one of the most basic and natural problems in both statistical mechanics and combinatoric mathematics. Given a rectangular lattice of volume V…

We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed…