Related papers: Type R $\lambda$-Permutation Approach to Velleman'…
In the Simply Typed $\lambda$-calculus Statman investigates the reducibility relation $\leq_{\beta\eta}$ between types: for $A,B \in \mathbb{T}^0$, types freely generated using $\rightarrow$ and a single ground type $0$, define $A…
We develop silting theory of a noetherian algebra $\Lambda$ over a commutative noetherian ring $R$. We study mutation theory of $2$-term silting complexes of $\Lambda$, and as a consequence, we see that mutation exists. As in the case of…
The Dirichlet divisor problem is used as a model to give a conjecture concerning the conditional convergence of the Dirichlet series of an L-function.
A conjecture by R. Stanley on a class of alternating permutations, which is proved by R. Chapman and L. Williams states that alternating permutations with the maximal number of fixed points is equidistributed with derangements. We extend…
Let $\Omega \subseteq {\bf R}^d$ be an open set of measure 1. An open set $D \subseteq {\bf R}^d$ is called a ``tight orthogonal packing region'' for $\Omega$ if $D-D$ does not intersect the zeros of the Fourier Transform of the indicator…
We explore how the asymptotic structure of a random permutation of $[n]$ with $m$ inversions evolves, as $m$ increases, establishing thresholds for the appearance and disappearance of any classical, consecutive or vincular pattern. The…
We consider finite-sample inference for a single regression coefficient in the fixed-design linear model $Y = Z\beta + bX + \varepsilon$, where $\varepsilon\in\mathbb{R}^n$ may exhibit complex dependence or heterogeneity. We develop a group…
We consider a nonlinear Dirichlet problem driven by the $(p,q)$-Laplacian and with a reaction having the combined effects of a singular term and of a parametric $(p-1)$-superlinear perturbation. We prove a bifurcation-type result describing…
Previously, the author introduced quasirandom permutations, permutations of $\mathbb{Z}_n$ which map intervals to sets with low discrepancy. Here we show that several natural number-theoretic permutations are quasirandom, some very strongly…
We formulate a generalization of a `refined class number formula' of Darmon. Our conjecture deals with Stickelberger-type elements formed from generalized Stark units, and has two parts: the `order of vanishing' and the `leading term'.…
Let $b$ be an integer greater than or equal to $2$. For any integer $n\in \left[b^{\lambda-1}, b^{\lambda}-1\right]$, we denote by $R_\lambda (n)$ the reverse of $n$ in base $b$, obtained by reversing the order of the digits of $n$. We…
We define the syntax and reduction relation of a recursively typed lambda calculus with a parallel case-function (a parallel conditional). The reduction is shown to be confluent. We interpret the recursive types as information systems in a…
The confluence of untyped lambda-calculus with unconditional rewriting has already been studied in various directions. In this paper, we investigate the confluence of lambda-calculus with conditional rewriting and provide general results in…
When we consider a differential equation $\Delta=0$ whose set of solutions is ${{\cal S}}_\Delta$, a Lie-point exact symmetry of this is a Lie-point invertible transformation $T$ such that $T({{\cal S}}_\Delta)={{\cal S}}_\Delta$, i.e. such…
The convergence of multiple Fourier series of functions of bounded partial $% \Lambda$-variation is investigated. The sufficient and necessary conditions on the sequence $\Lambda=\{\lambda_n\}$ are found for the convergence of multiple…
We propose a general new method, the conditional permutation test, for testing the conditional independence of variables $X$ and $Y$ given a potentially high-dimensional random vector $Z$ that may contain confounding factors. The proposed…
Let $S_{\lambdab}$ be a bounded left-invertible weighted shift on a rootless directed tree $\mathcal T=(V, \mathcal E).$ We address the question of when $S_{\lambdab}$ has Wold-type decomposition. We relate this problem to the convergence…
We prove a central limit theorem for the length of the longest subsequence of a random permutation which follows one of a class of repeating patterns. This class includes every fixed pattern of ups and downs having at least one of each,…
On a smooth variety, Serre's intersection formula computes intersection multiplicities via an alternating sum of the lengths of Tor groups. When the variety is singular, the corresponding sum can be a divergent series. But there are…
In this paper, we investigate the prescribed scalar curvature problem on a non-compact Riemannian manifold $(M, \langle \, , \, \rangle)$, namely the existence of a conformal deformation of the metric $\langle \, , \, \rangle$ realizing a…