Related papers: Hofstadter's problem for curious readers
We consist of first presenting Zeckendorf Theorem with these two versions Fibonacci and Luca. In this document we obtain results on the generalized of the Zeckendorf theorem for Fibonacci numbers (multibonacci). Such results find…
How can we reason around logical paradoxes without falling into them? This paper introduces grounded deduction or GD, a Kripke-inspired approach to first-order logic and arithmetic that is neither classical nor intuitionistic, but…
We initiate a systematic study of quantum properties of finite graphs, namely, quantum asymmetry, quantum symmetry, and quantum isomorphism. We define the Schmidt alternative for a class of graphs, which reveals to be a useful tool for…
Whitney's extension problem, i.e., how one can tell whether a function $f : X \to \mathbb R$, $X \subseteq \mathbb R^n$, is the restriction of a $C^m$-function on $\mathbb R^n$, was solved in full generality by Charles Fefferman in 2006. In…
A strong version of the quantization conjecture of Guillemin and Sternberg is proved. For a reductive group action on a smooth, compact, polarized variety (X,L), the cohomologies of L over the GIT quotient X // G equal the invariant part of…
Most discussions of G\"odel's theorems fall into one of two types: either they emphasize perceived philosophical, cultural "meanings" of the theorems, and perhaps sketch some of the ideas of the proofs, usually relating G\"odel's proofs to…
In this paper we prove soundness and completeness of some epistemic extensions of G\"odel fuzzy logic, based on Kripke models in which both propositions at each state and accessibility relations take values in [0,1]. We adopt belief as our…
We introduce and study a family of functions we call the "mock characters". These functions satisfy a number of interesting properties, and of all completely multiplicative arithmetic functions seem to come as close as possible to being…
Glasser's Master Theorem arXiv:1308.6361v2 is essentially a restatement of Cauchy's integral Theorem reduced to a specialized form. Here we extend that theorem by introducing two new parameters, but still retain a simple form. Because of…
The problem of guessing a random string is revisited. A close relation between guessing and compression is first established. Then it is shown that if the sequence of distributions of the information spectrum satisfies the large deviation…
In this series of studies on Cauchy's function $f(z)$ ($z=x+iy$) and its integral $J[f(z)]\equiv (2\pi i)^{-1}\oint_C f(t)dt/(t-z)$ taken along a Jordan contour $C$, the aim is to investigate their comprehensive properties over the entire…
We study the parity-perturbed Hofstadter-type recursion $$ Q(1)=Q(2)=1,\qquad Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n . $$ We prove, by computer-certified finite-state induction, that this recursion is well-defined for all $(n\ge 1)$. The proof…
The purpose of this paper is to characterize several classes of functional identities involving inverses with related mappings from a unital Banach algebra $\mathcal{A}$ over the complex field into a unital $\mathcal{A}$-bimodule…
If $G$ is an algebraic affine group acting on an affine variety $X$, there is a natural notion of covariant representation for the pair $(G,X)$. In this paper, we classify the irreducible covariant representations for any such pair by…
One hundred years ago, Hilbert gave a list of important open problems in mathematics. His 15th problem asked for the development of a rigorous calculus explaining Schubert's enumerative results for intersecting varieties defined by rank…
Fermi-Dirac and Bose-Einstein integral functions are of importance not only in quantum statistics but for their mathematical properties, in themselves. Here, we have extended these functions by introducing an extra parameter in a way that…
Let G be a reductive algebraic group over the algebraic closure of a finite field F_q of good characteristic. In this paper, we demonstrate a remarkable compatibility between the Springer correspondence for G and the parametrization of…
We introduce Galois Theory for Hopf-Galois Extensions proving existence of a Galois connection between subalgebras of an H-comodule algebra and generalised quotients of the Hopf algebra H. Moreover, we show that these quotients Q which…
Let $G$ be a finite group, $X$ be a compact $G$-space. In this note we study the $(\mathbb{Z}_ + \times\mathbb{Z}/2\mathbb{Z})$-graded algebra $$\mathcal{F}^q_G(X) = \bigoplus_{n\geq0} q^n \cdot…
In this note, we study the arithmetic function $f : \mathbb{Z}_+^* \to \mathbb{Q}_+^*$ defined by $f(2^k \ell) = \ell^{1 - k}$ ($\forall k, \ell \in \mathbb{N}$, $\ell$ odd). We show several important properties about that function and then…