Related papers: On a perturbed Hofstadter $Q$-recursion

We study Two-Variable First-Order Logic, FO2, under semantic constraints that model hierarchically structured data. Our first logic extends FO2 with a linear order < and a chain of increasingly coarser equivalence relations E_1, E_2, ... .…

A $q$-analogue of the Higgs algebra, which describes the symmetry properties of the harmonic oscillator on the $2$-sphere, is obtained as the commutant of the $\mathfrak{o}_{q^{1/2}}(2) \oplus \mathfrak{o}_{q^{1/2}}(2)$ subalgebra of…

Many computational problems can be modelled as the class of all finite structures $\mathbb A$ that satisfy a fixed first-order sentence $\phi$ hereditarily, i.e., we require that every (induced) substructure of $\mathbb A$ satisfies $\phi$.…

This contribution deals with the sequence $\{\mathbb{U}_{n}^{(a)}(x;q,j)\}_{n\geq 0}$ of monic polynomials, orthogonal with respect to a Sobolev-type inner product related to the Al-Salam--Carlitz I orthogonal polynomials, and involving an…

We consider the Partition problem and propose a deterministic FPTAS (Fully Polynomial-Time Approximation Scheme) that runs in $\widetilde{O}(n + 1/\varepsilon)$-time. This is the best possible (up to a polylogarithmic factor) assuming the…

The discrete-time Toda equation arises as a universal equation for the relevant Hankel determinants associated with one-variable orthogonal polynomials through the mechanism of adjacency, which amounts to the inclusion of shifted weight…

We introduce a category $\widehat{\mathcal{O}}_{\rm osc}$ of $q$-oscillator representations of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_n)$. We show that $\widehat{\mathcal{O}}_{\rm osc}$ has a family of irreducible…

Quantum algebras U_q(su_n) used as the algebras of flavour symmetry (usually described by SU(n)) to study static properties of hadrons lead to intriguing results. In this contribution we focus on the peculiar properties manifested by…

Let $q \in (0,1)$. We formulate an asymptotic version of the $q$-analogue of de Finetti's theorem. Using the convex structure of the space of $q$-exchangeable probability measures, we show that the optimal rate of convergence is of order…

We consider a family U of finite universes. The second order quantifier Q_R, means for each u in U quantifying over a set of n(R)-place relations isomorphic to a given relation. We define a natural partial order on such quantifiers called…

The Wigner time delay, defined by the energy derivative of the total scattering phase shift, is an important spectral measure of an open quantum system characterising the duration of the scattering event. It is related to the trace of the…

We introduce a family of averaged meta-Fibonacci recursions $$ Q_{\alpha,m}(n) = 1+ \left\lfloor \alpha \frac1m \sum_{j=1}^m Q_{\alpha,m}(n-Q_{\alpha,m}(n-j)) \right\rfloor , $$ with initial conditions $$…

Let $C_n(q)$ be the number of ideals of codimension $n$ of $\mathbb{F}_q\left[x, y, x^{-1}, y^{-1} \right]$, where $\mathbb{F}_q$ is the finite field with $q$ elements. Kassel and Reutenauer [KasselReutenauer2015A] proved that $C_n(q)$ is a…

A method of evaluation of spacelike QCD observables ${\cal D}(Q^2)$ is developed, motivated by the renormalon structure of these quantities. A related auxiliary quantity ${\widetilde {\cal D}}(Q^2)$ is introduced, which is renomalization…

The quantum rotor is shown to be supersymmetric. The supercharge $Q$, whose square equals the Hamiltonian, is constructed with reflection operators. The conserved quantities that commute with $Q$ form the algebra $so(3)_{-1}$, an…

Lattice QED2 with the Wilson formulation of fermions is used as a convenient model system to study artifacts of the quenched approximation on a finite lattice. The quenched functional integral is shown to be ill-defined in this system as a…

Let $(a_n)_{n\ge 1}$ be the greedy self-generating sequence defined by $a_1=1$, $a_2=2$, and, for $k\ge 3$, by taking $a_k$ to be the least integer greater than $a_{k-1}$ that can be written as a sum of at least two consecutive earlier…

Motivated by earlier work of P.~A.~MacMahon and recent contributions of T.~Amdeberhan, G.~E.~Andrews, K.~Ono, A.~Singh, and R.~Tauraso on higher-order partition enumerants, we study a class of $q$-series arising from nested divisor…

We consider the class of languages defined in the 2-variable fragment of the first-order logic of the linear order. Many interesting characterizations of this class are known, as well as the fact that restricting the number of quantifier…

A family of nested recurrence relations $a(n+1) = n - a^{(m)}(n) + a^{(m+1)}(n)$, parameterized by an integer $m \ge 1$ with initial condition $a(1)=1$, is studied. We prove that $a(n)=n-h(n)$ is the unique solution satisfying this…