Related papers: 2-balanced sequences coding rectangle exchange tra…
In this paper we focus on finding all the factorials expressible as a product of a fixed number of $2k$-nacci numbers with $k \geq 2$. We derive the 2-adic valuation of the $2k$-nacci sequence and use it to establish bounds on the solutions…
We consider the problem of the classical simulation of quantum measurements in the scenario of communication complexity. Regev and Toner (2007) have presented a 2-bit protocol which simulates one particular correlation function arising from…
An algebraic structure with two constants and one ternary operation, which is not completely commutative, is put forward to accommodate ternary Boolean algebras. When the ternary operation is interpreted as Church's conditioned disjunction,…
Morphic sequences form a natural class of infinite sequences, typically defined as the coding of a fixed point of a morphism. Different morphisms and codings may yield the same morphic sequence. This paper investigates how to prove that two…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
A $k$-edge-coloured graph is colour-balanced if each colour appears equally often. Resolving a conjecture of Pardey and Rautenbach, we show that any colour-balanced $k$-edge-coloured complete graph $K_{2kt}$ contains a perfect matching that…
The ideas of instantaneous amplitude and phase are well understood for signals with real-valued samples, based on the analytic signal which is a complex signal with one-sided Fourier transform. We extend these ideas to signals with…
The corrections of two-photon exchange on deuteron electromagnetic form factors are estimated based on an effective Lagrangian approach. Numerical results for the form factors $G_{C,M,Q}$ of the deuteron with the corrections are compared to…
Tunneling of electrons through a barrier with complex potential is investigated. We focus on two cases, symmetric double rectangular barrier and double delta potential barrier, and give expressions for resonant transmission probability for…
We compute the two-loop QCD corrections to the heavy quark form factors in case of the vector, axial-vector, scalar and pseudo-scalar currents up to second order in the dimensional parameter $\epsilon = (4-D)/2$. These terms are required in…
To describe the transverse momentum spectrum of heavy color-singlet production, the joint resummation of threshold and transverse momentum logarithms is investigated. We obtain factorization theorems for various kinematic regimes valid to…
We introduce a novel quantum programming language featuring higher-order programs and quantum controlflow which ensures that all qubit transformations are unitary. Our language boasts a type system guaranteeingboth unitarity and…
In this paper we find an identity that gives a representation for the logarithm of any two irrational numbers $a, b >1$ in terms of a series whose terms are ratios of elements from the Beatty Sequences generated by these two numbers. We…
Is string theory uniquely determined by self-consistency? Causality and unitarity seemingly permit a multitude of putative deformations, at least at the level of two-to-two scattering. Motivated by this question, we initiate a systematic…
Previous work identifying depth-optimal $n$-channel sorting networks for $9\leq n \leq 16$ is based on exploiting symmetries of the first two layers. However, the naive generate-and-test approach typically applied does not scale. This paper…
We analyse the capacity of several two-dimensional constraint families - the exclusion, colouring, parity and charge model families. Using Baxter's corner transfer matrix formalism combined with the corner transfer matrix renormalisation…
Based on a generic construction, two classes of ternary three-weight linear codes are obtained from a family of power functions, including some APN power functions. The weight distributions of these linear codes are determined through…
We introduce a class of sets of words which is a natural common generalization of Sturmian sets and of interval exchange sets. This class of sets consists of the uniformly recurrent tree sets, where the tree sets are defined by a condition…
Generalising the concept of a complete permutation polynomial over a finite field, we define completness to level $k$ for $k\ge1$ in fields of odd characteristic. We construct two families of polynomials that satisfy the condition of high…
The critical exponent of an infinite word $\bf x$ is the supremum, over all finite nonempty factors $f$, of the exponent of $f$. In this note we show that for all integers $k\geq 2,$ there is a binary infinite $k$-automatic sequence with…