Related papers: On the existence of permutations conditioned by ce…
These lecture notes give an introduction to the Brauer-Manin obstruction to the existence of rational points, focusing on the interplay between theory and computation.
Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within…
We formulate some problems and conjectures about semigroups of rational functions under composition. The considered problems arise in different contexts, but most of them are united by a certain relationship to the concept of amenability.
We construct a new scheme of approximation of any multivalued algebraic function $f(z)$ by a sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ of rational functions. The latter sequence is generated by a recurrence relation which is completely…
We determine a set of permutation patterns $q$ so that the number of permutations with $r$ occurrences of $q$ is asymptotically $n^r$ times the number of permutations avoiding $q$, partially settling a conjecture of Conway and Guttman. We…
For a rational function of several variables with nonnegative imaginary part on the upper poly-half-plane, the matrix representations are obtained.
We prove an estimate on the number of rational points on the Grassmannian variety of bounded twisted height, refining the classical results of Schmidt ([12]) and Thunder ([20]) over the rational field: most importantly, our formula counts…
In this paper, we will give another proof of Zhi-Wei Sun's three conjectures on Ap\'{e}ry-like sums involving harmonic numbers by proving some identities among special values of multiple polylogarithms.
Let X be a complex, rationally connected, projective manifold. We show that X admits a modification X' that contains a quasi-line, ie a smooth rational curve whose normal bundle is a direct sum of copies of O_{P^1}(1). For manifolds…
Are minds subject to laws of physics? Are the laws of physics computable? Are conscious thought processes computable? Currently there is little agreement as to what are the right answers to these questions. Penrose goes one step further and…
Functions satisfying the functional equation \begin{align*} \sum_{r=0}^{n-1} (-1)^r f(x+ry, ny) = f(x,y), \quad \text{for any positive odd integer $n$}, \end{align*} are named the alternating invariant functions. Examples of such functions…
The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…
A number of the form $x(x+1)/2$ where $x$ is an integer is called a triangular number. Suppose, $N(a_1,\cdots,a_k;n)$ and $T(a_1,\cdots,a_k;n)$ denote the number of ways $n$ can be expressed as $\sum_{i=1}^k a_ix_i^2$ and $\sum_{i=1}^k…
We prove a formal power series identity, relating the arithmetic sum-of-divisors function to commuting triples of permutations. This establishes a conjecture of Franklin T. Adams-Watters.
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…
We prove various Beurling-Lax type theorems, when the classical backward-shift operator is replaced by a general resolvent operator associated with a rational function. We also study connections to the Cuntz relations. An important tool is…
The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, i.e. $\textsf{ZFC}$ set theory, all mathematical objects are…
The Simulation Argument has gained significant traction in the public arena. It has offered a hypothesis based on probabilistic analysis of its assumptions that we are likely to exist within a computer simulation. This has been derived from…
There are given conditions for represention of a function of many arguments as the difference of convex functions.
We show that if there exists a counter example for the rational case of the Franks-Misiurewicz conjecture, then it must exhibit unbounded deviations in the complementary direction of its rotation set.