Related papers: Relational Hypersequent S4 and B are Cut-Free Hype…
The aim of this note is to show the existence of a correspondance between certain algebraic continued fractions in fields of power series over a finite field and automatic sequences in the same finite field. this connection is illustrated…
We study properties of the fourth rank elasticity tensor C within linear elasticity theory. First C is irreducibly decomposed under the linear group into a "Cauchy piece" S (with 15 independent components) and a "non-Cauchy piece" A (with 6…
For $h=3$ and $h=4$ we prove the existence of infinite $B_h$ sequences $\B$ with counting function $$\mathcal{B}(x)= x^{\sqrt{(h-1)^2+1}-(h-1) + o(1)}.$$ This result extends a construction of I. Ruzsa for $B_2$ sequences.
Research on codes over finite rings has intensified since the discovery in 1994 of the fact that some best binary non-linear codes can be obtained as images of $\mathbb{Z}_4$-linear codes. Codes over many different finite rings has been a…
We study the properties of the sequence of words $(B_i)$, where $B_1 = 101$ and $B_{i+1} = B_i C_i$ for $i \geq 1$, where $C_i$ is $B_i$ with the first $i$ symbols removed, and the infinite binary sequence ${\bf b} = 10101101011011101…
The LHCb Collaboration has recently observed four $J/\psi\phi$ structures called $X(4140)$, $X(4274)$, $X(4500)$ and $X(4700)$ in the $B^{+}\to J/\psi\phi K^{+}$ decays. We study them herein using a nonrelativistic constituent quark model…
The Askey-Wilson polynomials are orthogonal polynomials in $x = \cos \theta$, which are given as a terminating $_4\phi_3$ basic hypergeometric series. The non-symmetric Askey-Wilson polynomials are Laurent polynomials in $z=e^{i\theta}$,…
First-order predicate logic extended with linear arithmetic is undecidable, in general. We show that the Bernays-Sch\"onfinkel-Ramsey (BSR) fragment extended with linear arithmetic restricted to simple bounds (SB) is decidable through…
Reed Conjecture is open for more than 20 years now. Here we prove that Reed Conjecture is valid for (1) {P4UnionK1, Kite}-free graphs (2) {Chair, Kite}-free graphs (3) {K2UnionK2complement , H}-free graphs and (4) {2K2, M}-free graphs where…
Let $k$ be a nonperfect separably closed field. Let $G$ be a (possibly non-connected) reductive group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In our previous work, we…
In this work we state a version of the double extension for homogeneous quadratic Lie super algebras that includes even and odd cases. We prove that any indecomposable, non-simple and homogeneous quadratic Lie super algebra is obtained by…
We present a rooted hypersequent calculus for modal propositional logic S5. We show that all rules of this calculus are invertible and that the rules of weakening, contraction, and cut are admissible. Soundness and completeness are…
We give some results on the existence of bounded remainder sets (BRS) for sequences of the form $(\{a_n\alpha\})_{n\geq 1}$, where $(a_n)_{n\geq 1}$ - in most cases - is a given sequence of distinct integers. Further we introduce the…
The following result gives the flavor of this paper: Let $t$, $k$ and $q$ be integers such that $q\geq 0$, $0\leq t < k$ and $t \equiv k \,({\rm mod}\, 2)$, and let $s\in [0,t+1]$ be the unique integer satisfying $s \equiv q +…
In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite…
We analyse with the algebraic, regularisation independant, cohomological B.R.S. methods, the renormalisability of torsionless N=2 and N= 4 supersymmetric non-linear $\si$ models built on K\"ahler spaces. Surprisingly enough with respect to…
Quadratic irrationals posses a periodic continued fraction expansion. Much less is known about cubic irrationals. We do not even know if the partial quotients are bounded, even though extensive computations suggest they might follow…
For an extension of associative algebras $B\subset A$ over a field and an $A$-bimodule $X$, we obtain a Jacobi-Zariski long nearly exact sequence relating the Hochschild homologies of $A$ and $B$, and the relative Hochschild homology, all…
Quadratic irrationals posses a periodic continued fraction expansion. Much less is known about cubic irrationals. We do not even know if the partial quotients are bounded, even though extensive computations suggest they might follow…
Big Ramsey degrees of Fra\"iss\'e limits of finitely constrained free amalgamation classes in finite binary languages have been recently fully characterised by Balko, Chodounsk\'y, Dobrinen, Hubi\v{c}ka, Kone\v{c}n\'y, Vena, and Zucker. A…