Related papers: Shifting Zeckendorf and Chung-Graham representatio…
We examine the relationship between the Chung-Graham and Zeckendorf representations of an integer using the software package {\tt Walnut}.
We present a comprehensive analysis of the convergence properties of the frame operators of Weyl-Heisenberg systems and shift-invariant systems, and relate these to the convergence of the Walnut representation. We give a deep analysis of…
We prove a few new properties of the $\varphi$-representation of integers, where $\varphi = (1+\sqrt{5})/2$. In particular, we prove a 2012 conjecture of Kimberling. As software assistants, we used the Walnut theorem-prover, and in one…
We show how the software Walnut can be used to obtain concise proofs of results concerning variants of the famous Wythoff game, in which blocking maneuvers or terminal positions are added, as discussed respectively by Larsson (2011) and…
Let $\mathbb{H}$ be a separable Hilbert space. In this paper we establish a generalization of Walnut's representation and Janssen's representation of the $\mathbb{H}-$valued Gabor frame operator on $\mathbb{H}-$valued weighted amalgam…
This paper presents a new formula for the q-shift operator, building on the techniques by Liu and Sears. This formula provides fresh proof of the Carlitz formula and extends it naturally. As applications, we derive an equivalent form of the…
The present article is devoted to the investigation of some properties of the generalized shift operator of numbers represented in terms of numeral systems with a variable alphabet.
Walnut is a software that using automata can prove theorems in combinatorics on words about automatic sequences. We are able to apply this software to both prove new results as well as reprove some old results on avoiding squares and cubes…
In this article we study invariance properties of shift-invariant spaces in higher dimensions. We state and prove several necessary and sufficient conditions for a shift-invariant space to be invariant under a given closed subgroup of…
Integrable integral operator can be studied by means of a matrix Riemann--Hilbert problem. However, in the case of so-called integrable operators with shifts, the associated Riemann--Hilbert problem becomes operator valued and this…
We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic…
We provide two shifted analogues of the tableau switching process due to Benkart, Sottile, and Stroomer, the shifted tableau switching process and the modified shifted tableau switching process. They are performed by applying a sequence of…
We extend some results about shifted Schur functions to the general context of shifted Macdonald polynomials. We obtain two explicit formulas for these polynomials: a $q$-integral representation and a combinatorial formula. Our main tool is…
We consider expressions of the form of an exponential of the sum of two non-commuting operators of a single variable inside a path integration. We show that it is possible to shift one of the non-commuting operators from the exponential to…
We revisit a classic theorem of Frougny and Sakarovitch concerning automata for $\varphi$-representations, and show how to obtain it in a different and more computationally direct way. Using it, we can find simple, induction-free proofs of…
We discuss several seemingly assorted objects: the umbral calculus, generalised translations and associated transmutations, symbolic calculus of operators. The common framework for them is representations of the Weyl algebra of the…
We investigate the structural properties of dual systems for nonstationary Gabor frames. In particular, we prove that some inverse nonstationary Gabor frame operators admit a Walnut-like representation, i.e. the operator acting on a…
We study the problem of addition and subtraction using the Zeckendorf representation of integers. We show that both operations can be performed in linear time; in fact they can be performed by combinational logic networks with linear size…
Recent results on the construction and applications of the transmutation (transformation) operators are discussed. Three new representations for solutions of the one-dimensional Schr\"odinger equation are considered. Due to the fact that…
The shuffle algebra on positive integers encodes the usual multiple zeta values (MZVs) (with positive arguments) thanks to the representations of MZVs by iterated Chen integrals of Kontsevich. Together with the quasi-shuffle (stuffle)…