相关论文: Hofstadter's problem for curious readers

An edited version is given of the text of G\"odel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. G\"odel's notes deal with what is today considered as important…

A new method is presented for Fourier decomposition of the Helmholtz Green Function in cylindrical coordinates, which is equivalent to obtaining the solution of the Helmholtz equation for a general ring source. The Fourier coefficients of…

The modified Bessel function of the second kind K$\nu$ appears in a wide variety of applied scientific fields. While its use is greatly facilitated by an implementation in most numerical libraries, overflow issues can be encountered…

The Stern-Brocot tree and Minkowki's question mark function $?(x)$ (or Conway's box function) are related to the continued fraction expansion of numbers from Q with unary encoding of the partial denominators. We first define binary…

We give a brief discussion of some of the issues which have arisen in the course of formalizing some classical set-theoretical mathematics in the Coq system. This sprouts from, expands and replaces a chapter of math.HO/0311260 which will be…

We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of…

The Fourier transform of a bounded measurable function, $f$, on the real line is shown to be the second distributional derivative of a H\"older continuous function. The Fourier transform is written as the difference of $\int_{-1}^1…

In 1975, Don Zagier obtained a new version of the Kronecker limit formula for a real quadratic field which involved an interesting function $F(x)$ which is now known as the \emph{Herglotz function}. As demonstrated by Zagier, and very…

The $q$-Whittaker function $W_\lambda(\mathbf{x};q)$ associated to a partition $\lambda$ is a $q$-analogue of the Schur function $s_\lambda(\mathbf{x})$, and is defined as the $t=0$ specialization of the Macdonald polynomial…

In one dimension, the theory of the $G$-normal distribution is well-developed, and many results from the classical setting have a nonlinear counterpart. Significant challenges remain in multiple dimensions, and some of what has already been…

Kontsevich conjectured that the number f(G,q) of zeros over the finite field with q elements of a certain polynomial connected with the spanning trees of a graph G is polynomial function of q. We have been unable to settle Kontsevich's…

We formulate a property $P$ on a class of relations on the natural numbers, and formulate a general theorem on $P$, from which we get as corollaries the insolvability of Hilbert's tenth problem, G\"odel's incompleteness theorem, and…

We investigate the conditions on an integer sequence f(n), n 2 N, with f(1) = 0, such that the sequence q(n), computed recursively via q(n) = q(n - q(n - 1)) + f(n), with q(1) = 1, exists. We prove that f(n + 1) - f(n) in {0,1}, n > 0, is a…

In this companion piece to 1712.03573, some variations on the main results there are sketched. In particular, the recursions in 1712.03573, which we interpreted as the quantum Lefschetz, is reformulated in terms of Givental's quantization…

We study extensions of expressive decidable fragments of first-order logic with circumscription, in particular the two-variable fragment FO$^2$, its extension C$^2$ with counting quantifiers, and the guarded fragment GF. We prove that if…

For each odd prime power q, we construct an infinite sequence of rational functions f(X) in F_q(X), each of which is exceptional, which means that for infinitely many n the map c-->f(c) induces a bijection of P^1(F_{q^n}). Moreover, each of…

We extend the theorem of Hausel and the author from arXiv:2212.11836 that relates equivariant cohomology rings and algebras of functions on zero schemes. This paper combines three separate results. We prove that for a reductive group G…

We describe a formalization of higher-order rewriting theory and formally prove that an AFS is strongly normalizing if it can be interpreted in a well-founded domain. To do so, we use Coq, which is a proof assistant based on dependent type…

We study the Green function for the stationary Stokes system with bounded measurable coefficients in a bounded Lipschitz domain $\Omega\subset \mathbb{R}^n$, $n\ge 3$. We construct the Green function in $\Omega$ under the condition…

As further development of earlier works on the $(f,g)$-inversion, the present paper is devoted to the $(f,g)$-difference operator and the representation problem or an expansion formula of analytic functions. A recursive formula and the…