Related papers: Cylindrical Dyck paths and the Mazorchuk-Turowska …
We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…
We describe an explicit chain map from the standard resolution to the minimal resolution for the finite cyclic group Z_k of order k. We then demonstrate how such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn…
We construct $2^n$-families of solutions of the Yang-Baxter equation from $n$-products of three-dimensional $R$ and $L$ operators satisfying the tetrahedron equation. They are identified with the quantum $R$ matrices for the Hopf algebras…
Let $m\geq -1$ be an integer. We give a correspondence between integer solutions to the parametric family of cubic Thue equations \[ X^3-mX^2Y-(m+3)XY^2-Y^3=\lambda \] where $\lambda>0$ is a divisor of $m^2+3m+9$ and isomorphism classes of…
The generalized Chazy differential equation corresponds to the following two-parameter family of differential equations \begin{equation*}\label{gcdeq} \dddot x+|x|^q \ddot x+\dfrac{k |x|^q}{x}\dot x^2=0, \end{equation*} which has its…
We discuss two conjectures. (I) For each x_1,...,x_n \in R (C) there exist y_1,...,y_n \in R (C) such that \forall i \in {1,...,n} |y_i| \leq 2^{2^{n-2}} \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in {1,...,n}…
The aim of this paper is to summarize some recently obtained relations between the Ablowitz-Ladik hierarchy (ALH) and other integrable equations. It has been shown that solutions of finite subsystems of the ALH can be used to derive a wide…
We give a detailed account of a combinatorial construction, due to Cherednik, of cyclic generators for irreducible modules of the affine Hecke algebra of the general linear group with generic parameter q.
The paper represents the method for construction of the families of particular solutions to some new classes of $(n+1)$ dimensional nonlinear Partial Differential Equations (PDE). Method is based on the specific link between algebraic…
In this paper we classify all monic, quartic, polynomials $d(x)\in\mathbb{Z}[x]$ for which the Pell equation $$f(x)^2-d(x)g(x)^2=1$$ has a non-trivial solution with $f(x),g(x)\in\mathbb{Z}[x]$.
We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials…
In evolution equations for a complex amplitude, the phase obeys a much more intricate equation than the amplitude. Nevertheless, general methods should be applicable to both variables. On the example of the traveling wave reduction of the…
We prove general Dwork-type congruences for Hasse--Witt matrices attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions…
We introduce the notion of a cylindrical bialgebra, which is a quasitriangular bialgebra $H$ endowed with a universal K-matrix, i.e., a universal solution of a generalized reflection equation, yielding an action of cylindrical braid groups…
We present a systematic technique to construct solutions to the Yang-Baxter equation which depend not only on a spectral parameter but in addition on further continuous parameters. These extra parameters enter the Yang-Baxter equation in a…
We formalise the undecidability of solvability of Diophantine equations, i.e. polynomial equations over natural numbers, in Coq's constructive type theory. To do so, we give the first full mechanisation of the…
Let k be an algebraically closed field of characteristic 0, let K/k be a transcendental extension of arbitrary transcendence degree and let G be a multiplicative subgroup of (K^*)^n such that (k^*)^n is contained in G, and G/(k^*)^n has…
We provide a proof of strong normalisation for lambda+, a recently introduced, explicitly typed, non-deterministic lambda-calculus where isomorphic propositions are identified. Such a proof is a non-trivial adaptation of the reducibility…
We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed…
In this paper we study the set of rational solutions of equations defined by power sums symmetric polynomials with coefficients in a finite field. We do this by means of applying a methodology which relies on the study of the geometry of…