Related papers: Addendum to "On triangular Billard"

We show conditions on $k$ such that any number $x$ in the interval $[0, k/2]$ can be represented in the form $x_1^{a_1} x_2^{a_2} + x_3^{a_3} x_4^{a_4} + \cdots + x_{k-1}^{a_{k-1}} x_k^{a_k}$, where the exponents $a_{2i-1}$ and $a_{2i}$ are…

In this paper, we make significant progress on a conjecture proposed by Dan Archdeacon on the existence of integer Heffter arrays $H(m,n;s,k)$ whenever the necessary conditions hold, that is, $3\leqslant s \leqslant n$, $3\leqslant…

For all positive integers $s$ and $t$ exceeding one, a matroid $M$ on $n$ elements is {\em nearly $(s, t)$-cyclic} if there is a cyclic ordering $\sigma$ of its ground set such that every $s-1$ consecutive elements of $\sigma$ are contained…

For any field $\K$ and integer $n\geq 2$ we consider the Leavitt algebra $L_\K(n)$; for any integer $d\geq 1$ we form the matrix ring $S = M_d(L_\K(n))$. $S$ is an associative algebra, but we view $S$ as a Lie algebra using the bracket…

We construct all solvable Lie algebras with a specific n-dimensional nilradical n_{n,3} which contains the previously studied filiform nilpotent algebra n_{n-2,1} as a subalgebra but not as an ideal. Rather surprisingly it turns out that…

S-expansions of three-dimensional real Lie algebras are considered. It is shown that the expansion operation allows one to obtain a non-unimodular Lie algebra from a unimodular one. Nevertheless S-expansions define no ordering on the…

Let $\bar{S}$ denote the set of integers $n$ such that $n!$ cannot be written as a sum of three squares. Let $\bar{S}(n)$ denote $\bar{S} \cap [1, n]$. We establish an exact formula for $\bar{S}(2^k)$ and show that $\bar{S}(n) = 1/8*n +…

We say that a set is a multiplicative 3-Sidon set if the equation $s_1s_2s_3=t_1t_2t_3$ does not have a solution consisting of distinct elements taken from this set. In this paper we show that the size of a multiplicative 3-Sidon subset of…

We classify all sets of the form $\bigcup_{t\in\mathbb{R}}\mathrm{spec}(A+tB)$ where $A$ and $B$ are self-adjoint operators and $B$ is bounded, non-negative, and non-zero. We show that these sets are exactly the complements of discrete…

We show that no torus knot of type $(2,n)$, $n>3$ odd, can be obtained from a polynomial embedding $t \mapsto (f(t), g(t), h(t))$ where $(\deg(f),\deg(g))\leq (3,n+1) $. Eventually, we give explicit examples with minimal lexicographic…

It is known that for an arbitrary positive integer \(n\) the sequence \(S(x^n)=(1^n, 2^n, \ldots)\) is complete, meaning that every sufficiently large integer is a sum of distinct \(n\)th powers of positive integers. We prove that every…

This paper classifies spherical objects in various geometric settings in dimensions two and three, including both minimal and partial crepant resolutions of Kleinian singularities, as well as arbitrary flopping 3-fold contractions with only…

Let $n$ be a positive integer. In 1915, Theisinger proved that if $n\ge 2$, then the $n$-th harmonic sum $\sum_{k=1}^n\frac{1}{k}$ is not an integer. Let $a$ and $b$ be positive integers. In 1923, Nagell extended Theisinger's theorem by…

In the present paper we prove that every sufficiently large odd integer $N$ can be represented in the form \begin{equation*} N=p_1+p_2+p_3\,, \end{equation*} where $p_1,p_2,p_3$ are primes, such that $p_1=x^2 + y^2 +1$, $p_2=[n^c]$.

We consider a first-order logic for the integers with addition. This logic extends classical first-order logic by modulo-counting, threshold-counting and exact-counting quantifiers, all applied to tuples of variables (here, residues are…

A $(t, s, v)$-all-or-nothing transform is a bijective mapping defined on $s$-tuples over an alphabet of size $v$, which satisfies the condition that the values of any $t$ input co-ordinates are completely undetermined, given only the values…

We prove that the conditions $\lambda<5/19$ and $L\le T^{1/2}$ in Theorems 3 and 4 of our recent paper "On the $p^{\lambda}$ problem" can be omitted.

In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andr\'asfai-Erd\H{o}s-S\'os Theorem has established…

For a positive integer $n,$ define $$C_n=\prod_{k=1}^n(k^3+1).$$ In this paper we prove that there are no cubes in the integer sequence $C_n,~n=1,2,\cdots.$

For A,epsilon>0 and any sufficiently large odd n we show that for almost all k up to n^{1/5-epsilon} there exists a representation n=p1+p2+p3 with primes in residue classes b1,b2,b3 mod k for almost all admissible triplets b1,b2,b3 of…