Related papers: Notes on higher-dimensional tarai functions

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent…

The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…

For the Tornheim double zeta function T(s1,s2,s3) of complex variables,we obtain its functional equations,which are new.Using the calculus of r-th order derivative of zeta(s,alpha) as a function of alpha(developed in author[7])as the…

Many programs allow the user to input data several times during its execution. If the program runs forever the user may input data infinitely often. A program terminates if it terminates no matter what the user does. We discuss various ways…

Consider any Dirichlet series sum a_n/n^z with nonnegative coefficients a_n and finite sum function f(z)=f(x+iy) when x is greater than 1. Denoting the partial sum a_1+...+a_N by s_N, the paper gives the following necessary and sufficient…

For any real number $s$, let $\sigma_s$ be the generalized divisor function, i.e., the arithmetic function defined by $\sigma_s(n) := \sum_{d \, \mid \, n} d^s$, for all positive integers $n$. We prove that for any $r > 1$ the topological…

Around 2016, Calinescu, Milas and Penn conjectured that the rank $r$ Nahm sum associated with the $r\times r$ tadpole Cartan matrix is modular, and they provided a proof for $r=2$. The $r=3$ case was recently resolved by Milas and Wang. We…

We show that for each odd integer $n\ge 3$, there is an open dense subset of H\"ormander phase functions in $\mathbb{R}^n$ for which the associated curved Kakeya sets have Hausdorff dimension at least $\frac{n+1}{2} + d_n$ for some positive…

We investigate terminal-pairability properties of complete graphs and improve the known bounds in two open problems. We prove that the complete graph $K_n$ on $n$ vertices is terminal-pairable if the maximum degree $\Delta$ of the…

We provide two sufficient and necessary conditions to characterize any $n$-bit partial Boolean function with exact quantum 1-query complexity. Using the first characterization, we present all $n$-bit partial Boolean functions that depend on…

We show that for every sequence $(n_i)$, where each $n_i$ is either an integer greater than 1 or is $\infty$, there exists a simply connected open 3-manifold $M$ with a countable dense set of ends $\{e_i\}$ so that, for every $i$, the genus…

For a stochastic process $\{X_t\}_{t \in T}$ with identical one-dimensional margins and upper endpoint $\tau_{\text{up}}$ its tail correlation function (TCF) is defined through $\chi^{(X)}(s,t) = \lim_{\tau \to \tau_{\text{up}}} P(X_s >…

Boolean network models have gained popularity in computational systems biology over the last dozen years. Many of these networks use canalizing Boolean functions, which has led to increased interest in the study of these functions. The…

We have derived alternative closed-form formulas for the trigonometric series over sine or cosine functions when the immediate replacement of the parameter appearing in the denominator with a positive integer gives rise to a singularity. By…

We prove that three-dimensional N=1 supersymmetric Yang-Mills-Chern-Simons theory is finite to all loops. This leaves open the possibility that different regularization methods give different finite effective actions. We show that for this…

This work gives some insights and results on standardisation for call-by-name pattern calculi. More precisely, we define standard reductions for a pattern calculus with constructor-based data terms and patterns. This notion is based on…

For every integer \(n\ge 3\), every \(1\le \ell\le n-2\), and every sufficiently large integer \(m\), we construct harmonic functions \(u_{m,\ell}\) on the unit ball \(B_1(0)\subset\mathbb{R}^n\) such that the frequency is bounded…

We prove that the N\'eron-Tate height of subvarieties are always rational numbers. We use the induction formula, and characterize the canonical metric by theta functions.

In the previous papers \cite{L1, L2} the author constructed Mabuchi and Aubin-Yau functionals over any complex surfaces and three-folds, respectively. Using the method in \cite{L2}, we construct those functionals over any complex manifolds…

In this note we announce the proof of the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s => 3; this is new for s => 4, the cases s = 1,2,3 having been previously established. More precisely we outline a proof (details of which…