Related papers: On Nash-Williams' Theorem regarding sequences with…

The $SL(2,\mathbb Z)$-symmetry of Cherednik's spherical double affine Hecke algebras in Macdonald theory includes a distinguished generator which acts as a discrete time evolution of Macdonald operators, which can also be interpreted as a…

Order types are a well known abstraction of combinatorial properties of a point set. By Mn\"ev's universality theorem for each semi-algebraic set $V$ there is an order type with a realization space that is \emph{stably equivalent} to $V$.…

In this article, we study "questionable representations" of (partial or total) orders, introduced in our previous article "A class of orders with linear? time sorting algorithm". (Later, we consider arbitrary binary functional/relational…

In the first part of this paper we prove that the flow associated to the Burgers equation with a non local term of the form $\partial_x |D|^{\alpha-1} u$ fails to be uniformly continuous from bounded sets of $H^s({\mathbb D})$ to…

Generalized Baxter's TQ-relations and the QQ-system are systems of algebraic relations in the category O of representations of the Borel subalgebra of the quantum affine algebra U_q(g^), which we established in our earlier works…

We use the theory of q-characters to establish a number of short exact sequences in the category of finite-dimensional representations of the quantum affine groups of types A and B. That allows us to introduce a set of 3-term recurrence…

Green and Tao famously proved in a 2008 paper that there are arithmetic progressions of prime numbers of arbitrary lengths. Soon after, analogous statements were proved by Tao for the ring of Gaussian integers and by L\^e for the polynomial…

In this article, we design and analyze a Hybrid High-Order (HHO) finite element approximation for a class of strongly nonlinear boundary value problems. We consider an HHO discretization for a suitable linearized problem and show its…

The FitzHugh-Nagumo system is a $4$-parameter family of $3$D vector field used for modeling neural excitation and nerve impulse propagation. The origin represents a Hopf-zero equilibrium in the FitzHugh-Nagumo system for two classes of…

Let W be an integrable positive Hermitian q x q -matrix valued function on the dual group of a discrete abelian group G such that W^{-1} is integrable. Generalizing results of T. Nakazi and of A. G. Miamee and M. Pourahmadi for q=1 we…

We show that the different ways of deriving the Heavy Quark Effective Theory (HQET) lead to equivalent theories. The equivalence can be established through a careful redefinition of the field variables. We demonstrate the equivalence to…

A central result of Sturm-Liouville theory (also called the Sturm-Hurwitz Theorem) states that if $\phi_k$ is a sequence of eigenfunctions of a second order differential operator on the interval $I \subset \mathbb{R}$, then any linear…

We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic theory $T_0$ extending ${\sf RCA}_0$ and axiomatizable by a…

In this paper, we apply the hierarchical strategy to a semilinear weakly degenerate parabolic equation involving a gradient term. We use the Stackelberg-Nash strategy with one leader which tries to drive the solution to zero and two…

A structure ${\mathbb Y}$ of a relational language $L$ is called almost chainable iff there are a finite set $F \subset Y$ and a linear order $<$ on the set $Y\setminus F$ such that for each partial automorphism $\varphi$ (i.e., local…

The state space and observables for the leading order of the large-N theory are constructed. The obtained model ("theory of infinite number of fields") is shown to obey Wightman-type axioms (including invariance under boost transformations)…

Goodstein sequences are numerical sequences in which a natural number m, expressed as the complete normal form to a given base a, is modified by increasing the value of the base a by one unit and subtracting one unit from the resulting…

This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long…

We prove the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s >= 3; this is new for s > 3, and the cases s<3 have also been previously established. More precisely, we establish that if f : [N] -> [-1,1] is a function with || f…

Classical results of the axiomatic quantum field theory, namely the irreducibility of the set of field operators, Reeh and Schlieder's theorems and generalized Haag's theorem, are proven in $SO(1,1)$ invariant quantum field theory, of which…