-
Obtuse almost-equiangular sets
Authors:
Christine Bachoc,
Bram Bekker,
Philippe Moustrou,
Fernando Mário de Oliveira Filho
Abstract:
For $t \in [-1, 1)$, a set of points on the $(n-1)$-dimensional unit sphere is called $t$-almost equiangular if among any three distinct points there is a pair with inner product $t$. We propose a semidefinite programming upper bound for the maximum cardinality $α(n, t)$ of such a set based on an extension of the Lovász theta number to hypergraphs. This bound is at least as good as previously know…
▽ More
For $t \in [-1, 1)$, a set of points on the $(n-1)$-dimensional unit sphere is called $t$-almost equiangular if among any three distinct points there is a pair with inner product $t$. We propose a semidefinite programming upper bound for the maximum cardinality $α(n, t)$ of such a set based on an extension of the Lovász theta number to hypergraphs. This bound is at least as good as previously known bounds and for many values of $n$ and $t$ it is better.
We also refine existing spectral methods to show that $α(n, t) \leq 2(n+1)$ for all $n$ and $t \leq 0$, with equality only at $t = -1/n$. This allows us to show the uniqueness of the optimal construction at $t = -1/n$ for $n \leq 5$ and to enumerate all possible constructions for $n \leq 3$ and $t \leq 0$.
△ Less
Submitted 22 April, 2025; v1 submitted 15 April, 2025;
originally announced April 2025.
-
Torsion points of small order on cyclic covers of $\mathbb P^1$
Authors:
Boris M. Bekker,
Yuri G. Zarhin
Abstract:
Let $d\geq 2$ be a positive integer, $K$ an algebraically closed field of characteristic not dividing $d$, $n\geq d+1$ a positive integer that is prime to $d$, $f(x)\in K[x]$ a degree $n$ monic polynomial without multiple roots, $C_{f,d}: y^d=f(x)$ the corresponding smooth plane affine curve over $K$, $\mathcal{C}_{f,d}$ a smooth projective model of $C_{f,d}$ and $J(\mathcal{C}_{f,d})$ the Jacobia…
▽ More
Let $d\geq 2$ be a positive integer, $K$ an algebraically closed field of characteristic not dividing $d$, $n\geq d+1$ a positive integer that is prime to $d$, $f(x)\in K[x]$ a degree $n$ monic polynomial without multiple roots, $C_{f,d}: y^d=f(x)$ the corresponding smooth plane affine curve over $K$, $\mathcal{C}_{f,d}$ a smooth projective model of $C_{f,d}$ and $J(\mathcal{C}_{f,d})$ the Jacobian of $\mathcal{C}_{f,d} $. We identify $\mathcal{C}_{f,d}$ with the image of its canonical embedding into $J(\mathcal{C}_{f,d})$ (such that the infinite point of $\mathcal{C}_{f,d}$ goes to the zero of the group law on $J(\mathcal{C}_{f,d})$).
Earlier the second named author proved that if $d=2$ and $n=2g+1 \ge 5$ then the genus $g$ hyperelliptic curve $\mathcal{C}_{f,2}$ contains no points of orders lying between $3$ and $n-1=2g$.
In the present paper we generalize this result to the case of arbitrary $d$. Namely, we prove that if $P$ is a point of order $m>1$ on $\mathcal{C}_{f,d}$, then either $m=d$ or $m\geq n$. We also describe all curves $\mathcal{C}_{f,d}$ having a point of order $n$.
△ Less
Submitted 12 May, 2025; v1 submitted 5 November, 2024;
originally announced November 2024.
-
On the Ces`aro operator on the Hardy space in the upper half-plane
Authors:
Valentin V. Andreev,
Miron B. Bekker,
Joseph A. Cima
Abstract:
We discuss the Ces`aro operator on the Hardy space in the upper half-plane. We provide a new simple proof of the boundedness of this operator, prove that this operator is equal to the sum of the identity operator and a unitary operator, which implies its normality.
We discuss the Ces`aro operator on the Hardy space in the upper half-plane. We provide a new simple proof of the boundedness of this operator, prove that this operator is equal to the sum of the identity operator and a unitary operator, which implies its normality.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
On the convergence of the $k$-point bound for topological packing graphs
Authors:
Bram Bekker,
Fernando Mário de Oliveira Filho
Abstract:
We show that the $k$-point bound of de Laat, Machado, Oliveira, and Vallentin, a hierarchy of upper bounds for the independence number of a topological packing graph derived from the Lasserre hierarchy, converges to the independence number.
We show that the $k$-point bound of de Laat, Machado, Oliveira, and Vallentin, a hierarchy of upper bounds for the independence number of a topological packing graph derived from the Lasserre hierarchy, converges to the independence number.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Optimization hierarchies for distance-avoiding sets in compact spaces
Authors:
Bram Bekker,
Olga Kuryatnikova,
Fernando Mário de Oliveira Filho,
Juan C. Vera
Abstract:
Witsenhausen's problem asks for the maximum fraction $α_n$ of the $n$-dimensional unit sphere that can be covered by a measurable set containing no pairs of orthogonal points. The best upper bounds for $α_n$ are given by extensions of the Lovász theta number. In this paper, optimization hierarchies based on the Lovász theta number, like the Lasserre hierarchy, are extended to Witsenhausen's proble…
▽ More
Witsenhausen's problem asks for the maximum fraction $α_n$ of the $n$-dimensional unit sphere that can be covered by a measurable set containing no pairs of orthogonal points. The best upper bounds for $α_n$ are given by extensions of the Lovász theta number. In this paper, optimization hierarchies based on the Lovász theta number, like the Lasserre hierarchy, are extended to Witsenhausen's problem and similar problems. These hierarchies are shown to converge and are used to compute the best upper bounds for $α_n$ in low dimensions.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
On Generators of the Hardy and the Bergman Spaces
Authors:
Valentin V. Andreev,
Miron B. Bekker,
Joseph A. Cima
Abstract:
A function which is analytic and bounded in the Unit disk is called a generator for the Hardy space or the Bergman space if polynomials in that function are dense in the corresponding space. We characterize generators in terms of sub-spaces which are invariant under multiplication by the generator and also invariant under multiplication by z, and study wandering properties of such sub-spaces. Dens…
▽ More
A function which is analytic and bounded in the Unit disk is called a generator for the Hardy space or the Bergman space if polynomials in that function are dense in the corresponding space. We characterize generators in terms of sub-spaces which are invariant under multiplication by the generator and also invariant under multiplication by z, and study wandering properties of such sub-spaces. Density of bounded analytic functions in the sub-spaces of the Hardy space which are invariant under multiplication by the generator is also investigated.
△ Less
Submitted 28 October, 2024; v1 submitted 8 April, 2023;
originally announced April 2023.
-
Torsion points of small order on hyperelliptic curves
Authors:
Boris M. Bekker,
Yuri G. Zarhin
Abstract:
Let $C$ be a hyperelliptic curve of genus $g>1$ over an algebraically closed field $K$ of characteristic zero and $O$ one of the $(2g+2)$ Weierstrass points in $C(K)$. Let $J$ be the jacobian of $C$, which is a $g$-dimensional abelian variety over $K$. Let us consider the canonical embedding of $C$ into $J$ that sends $O$ to the zero of the group law on $J$. This embedding allows us to identify…
▽ More
Let $C$ be a hyperelliptic curve of genus $g>1$ over an algebraically closed field $K$ of characteristic zero and $O$ one of the $(2g+2)$ Weierstrass points in $C(K)$. Let $J$ be the jacobian of $C$, which is a $g$-dimensional abelian variety over $K$. Let us consider the canonical embedding of $C$ into $J$ that sends $O$ to the zero of the group law on $J$. This embedding allows us to identify $C(K)$ with a certain subset of the commutative group $J(K)$.
A special case of the famous theorem of Raynaud (Manin--Mumford conjecture) asserts that the set of torsion points in $C(K)$ is finite. It is well known that the points of order 2 in $C(K)$ are exactly the "remaining" $(2g+1)$ Weierstrass points. One of the authors proved that there are no torsion points of order $n$ in $C(K)$ if $3\le n\le 2g$. So, it is natural to study torsion points of order $2g+1$ (notice that the number of such points in $C(K)$ is always even). Recently, the authors proved that there are infinitely many (for a given $g$) mutually nonisomorphic pairs $C,O)$ such that $C(K)$ contains at least four points of order $2g+1$.
In the present paper we prove that (for a given $g$) there are at most finitely many (up to a isomorphism) pairs $(C,O)$ such that $C(K)$ contains at least six points of order $2g+1$.
△ Less
Submitted 6 July, 2021; v1 submitted 8 January, 2021;
originally announced January 2021.
-
The Buildings Gallery: visualising buildings
Authors:
Bram Bekker,
Maarten Solleveld
Abstract:
Buildings are beautiful mathematical objects tying a variety of subjects in algebra and geometry together in a very direct sense. They form a natural bridge to visualising more complex principles in group theory. As such they provide an opportunity to talk about the inner workings of mathematics to a broader audience, but the visualisations could also serve as a didactic tool in teaching group and…
▽ More
Buildings are beautiful mathematical objects tying a variety of subjects in algebra and geometry together in a very direct sense. They form a natural bridge to visualising more complex principles in group theory. As such they provide an opportunity to talk about the inner workings of mathematics to a broader audience, but the visualisations could also serve as a didactic tool in teaching group and building theory, and we believe they can even inspire future research.
We present an algorithmic method to visualise these geometric objects. The main accomplishment is the use of existing theory to produce three dimensional, interactive models of buildings associated to groups with a $BN$-pair. The final product, an interactive web application called The Buildings Gallery, can be found at https://buildings.gallery \citep{Bekker2020}.
△ Less
Submitted 8 April, 2022; v1 submitted 23 November, 2020;
originally announced November 2020.
-
Torsion Points of order 2g+1 on odd degree hyperelliptic curves of genus g
Authors:
Boris M. Bekker,
Yuri G. Zarhin
Abstract:
Let $K$ be an algebraically closed field of characteristic different from $2$, $g$ a positive integer, $f(x)\in K[x]$ a degree $2g+1$ monic polynomial without repeated roots, $C_f: y^2=f(x)$ the corresponding genus g hyperelliptic curve over $K$, and $J$ the jacobian of $C_f$. We identify $C_f$ with the image of its canonical embedding into $J$ (the infinite point of $C_f$ goes to the zero of grou…
▽ More
Let $K$ be an algebraically closed field of characteristic different from $2$, $g$ a positive integer, $f(x)\in K[x]$ a degree $2g+1$ monic polynomial without repeated roots, $C_f: y^2=f(x)$ the corresponding genus g hyperelliptic curve over $K$, and $J$ the jacobian of $C_f$. We identify $C_f$ with the image of its canonical embedding into $J$ (the infinite point of $C_f$ goes to the zero of group law on $J$). It is known (arXiv:1809.03061 [math.AG]) that if $g>1$ then $C_f(K)$ does not contain torsion points, whose order lies between $3$ and $2g$.
In this paper we study torsion points of order $2g+1$ on $C_f(K)$. Despite the striking difference between the cases of $g=1$ and $g> 1$, some of our results may be viewed as a generalization of well-known results about points of order $3$ on elliptic curves. E.g., if $p=2g+1$ is a prime that coincides with $char(K)$, then every odd degree genus $g$ hyperelliptic curve contains, at most, two points of order $p$. If $g$ is odd and $f(x)$ has real coefficients, then there are, at most, two real points of order $2g+1$ on $C_f$. If $f(x)$ has rational coefficients and $g<52$, then there are, at most, two rational points of order $2g+1$ on $C_f$. (However, there are exist genus $52$ hyperelliptic curves over the field of rational numbers that have, at least, four rational points of order 105.)
△ Less
Submitted 14 July, 2019; v1 submitted 7 February, 2019;
originally announced February 2019.
-
Families of elliptic curves with rational torsion points of even order
Authors:
Boris M. Bekker,
Yuri G. Zarhin
Abstract:
This paper is a follow up of arXiv:1702.02255 [math.NT]. We construct explicitly versal families of elliptic curves with rational points of order 4, 6, 8, 10, 12 respectively.
This paper is a follow up of arXiv:1702.02255 [math.NT]. We construct explicitly versal families of elliptic curves with rational points of order 4, 6, 8, 10, 12 respectively.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
The divisibility by 2 of rational points on elliptic curves
Authors:
Boris M. Bekker,
Yuri G. Zarhin
Abstract:
We give a simple proof of the well-known divisibility by 2 condition for rational points on elliptic curves with rational 2-torsion. As an application of the explicit division by $2^n$ formulas obtained in Sec.2, we construct versal families of elliptic curves containing points of orders 4, 5, 6, and 8 from which we obtain an explicit description of elliptic curves over certain finite fields…
▽ More
We give a simple proof of the well-known divisibility by 2 condition for rational points on elliptic curves with rational 2-torsion. As an application of the explicit division by $2^n$ formulas obtained in Sec.2, we construct versal families of elliptic curves containing points of orders 4, 5, 6, and 8 from which we obtain an explicit description of elliptic curves over certain finite fields $\mathbb{F}_q$ with a prescribed (small) group $E(\mathbb{F}_q)$. In the last two sections we study 3- and 5-torsion.
This paper supercedes arXiv:1605.09279 [math.NT] .
△ Less
Submitted 9 February, 2017; v1 submitted 7 February, 2017;
originally announced February 2017.
