-
Proof of the Complete Presence of a Modulo 4 Bias for the Semiprimes
Authors:
Nikola Gyulev,
Miroslav Marinov
Abstract:
Dummit, Granville and Kisilevsky have recently shown that the proportion of semiprimes (products of two primes) not exceeding a given $x$, whose factors are congruent to $3$ modulo $4$, is more than a quarter when $x$ is sufficiently large. They have also conjectured that this holds from the very beginning, that is, for all $x \geq 9$. We give a proof for $x\geq 10^{21}$ via an explicit approach b…
▽ More
Dummit, Granville and Kisilevsky have recently shown that the proportion of semiprimes (products of two primes) not exceeding a given $x$, whose factors are congruent to $3$ modulo $4$, is more than a quarter when $x$ is sufficiently large. They have also conjectured that this holds from the very beginning, that is, for all $x \geq 9$. We give a proof for $x\geq 10^{21}$ via an explicit approach based on their work. Together with their data for the remaining $x$, this results in a full proof of the conjecture. Our method consists of techniques with cancellations of sums over primes with different remainders. We also rely on classical estimates for prime counting functions, as well as on very recent explicit improvements by Bennet, Martin, O'Bryant and Rechnitzer, which have wide applications in essentially any setting involving estimations of sums over primes.
△ Less
Submitted 13 May, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Exponentially sized pointsets with angles less than 61 degrees
Authors:
Miroslav Marinov
Abstract:
We prove that any set of points in $\mathbb{R}^d$, any three of which form an angle less than $\fracπ{3} + c$, has size $(1+Θ(c))^d$ for sufficiently small $c>0$. The proof is based on a refinement of an approach by Erdős and Füredi. The lower bound is relying on a problem about large hypegraphs with small edge intersections, while the upper bound is tightly connected to the problem of packing dis…
▽ More
We prove that any set of points in $\mathbb{R}^d$, any three of which form an angle less than $\fracπ{3} + c$, has size $(1+Θ(c))^d$ for sufficiently small $c>0$. The proof is based on a refinement of an approach by Erdős and Füredi. The lower bound is relying on a problem about large hypegraphs with small edge intersections, while the upper bound is tightly connected to the problem of packing disjoint caps on a sphere.
△ Less
Submitted 15 July, 2022; v1 submitted 5 October, 2021;
originally announced October 2021.
-
On Banzhaf and Shapley-Shubik Fixed Points and Divisor Voting Systems
Authors:
Alex Arnell,
Richard Chen,
Evelyn Choi,
Miroslav Marinov,
Nastia Polina,
Aaryan Prakash
Abstract:
The Banzhaf and Shapley-Shubik power indices were first introduced to measure the power of voters in a weighted voting system. Given a weighted voting system, the fixed point of such a system is found by continually reassigning each voter's weight with its power index until the system can no longer be changed by the operation. We characterize all fixed points under the Shapley-Shubik power index o…
▽ More
The Banzhaf and Shapley-Shubik power indices were first introduced to measure the power of voters in a weighted voting system. Given a weighted voting system, the fixed point of such a system is found by continually reassigning each voter's weight with its power index until the system can no longer be changed by the operation. We characterize all fixed points under the Shapley-Shubik power index of the form $(a,b,\ldots,b)$ and give an algebraic equation which can verify in principle whether a point of this form is fixed for Banzhaf; we also generate Shapley-Shubik fixed classes of the form $(a,a,b,\ldots,b)$. We also investigate the indices of divisor voting systems of abundant numbers and prove that the Banzhaf and Shapley-Shubik indices differ for some cases.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Realizing Artin-Schreier Covers with Minimal $a$-numbers in Positive Characteristic
Authors:
Fiona Abney-McPeek,
Hugo Berg,
Jeremy Booher,
Sun Mee Choi,
Viktor Fukala,
Miroslav Marinov,
Theo Müller,
Paweł Narkiewicz,
Rachel Pries,
Nancy Xu,
Andrew Yuan
Abstract:
Suppose $X$ is a smooth projective connected curve defined over an algebraically closed field of characteristic $p>0$ and $B \subset X$ is a finite, possibly empty, set of points. Booher and Cais determined a lower bound for the $a$-number of a $\mathbf{Z}/p \mathbf{Z}$-cover of $X$ with branch locus $B$. For odd primes $p$, in most cases it is not known if this lower bound is realized. In this no…
▽ More
Suppose $X$ is a smooth projective connected curve defined over an algebraically closed field of characteristic $p>0$ and $B \subset X$ is a finite, possibly empty, set of points. Booher and Cais determined a lower bound for the $a$-number of a $\mathbf{Z}/p \mathbf{Z}$-cover of $X$ with branch locus $B$. For odd primes $p$, in most cases it is not known if this lower bound is realized. In this note, when $X$ is ordinary, we use formal patching to reduce that question to a computational question about $a$-numbers of $\mathbf{Z}/p\mathbf{Z}$-covers of the affine line. As an application, when $p=3$ or $p=5$, for any ordinary curve $X$ and any choice of $B$, we prove that the lower bound is realized for Artin-Schreier covers of $X$ with branch locus $B$.
△ Less
Submitted 5 December, 2022; v1 submitted 19 March, 2020;
originally announced March 2020.
-
Berezin quantization and unitary representations of Lie groups
Authors:
D. Bar-Moshe,
M. S. Marinov
Abstract:
In 1974, Berezin proposed a quantum theory for dynamical systems having a Kähler manifold as their phase space. The system states were represented by holomorphic functions on the manifold. For any homogeneous Kähler manifold, the Lie algebra of its group of motions may be represented either by holomorphic differential operators (``quantum theory"), or by functions on the manifold with Poisson br…
▽ More
In 1974, Berezin proposed a quantum theory for dynamical systems having a Kähler manifold as their phase space. The system states were represented by holomorphic functions on the manifold. For any homogeneous Kähler manifold, the Lie algebra of its group of motions may be represented either by holomorphic differential operators (``quantum theory"), or by functions on the manifold with Poisson brackets, generated by the Kähler structure (``classical theory"). The Kähler potentials and the corresponding Lie algebras are constructed now explicitly for all unitary representations of any compact simple Lie group. The quantum dynamics can be represented in terms of a phase-space path integral, and the action principle appears in the semi-classical approximation.
△ Less
Submitted 15 July, 1994;
originally announced July 1994.
-
Realization of compact Lie algebras in Kähler manifolds
Authors:
D. Bar-Moshe,
M. S. Marinov
Abstract:
The Berezin quantization on a simply connected homogeneous Kähler manifold, which is considered as a phase space for a dynamical system, enables a description of the quantal system in a (finite-dimensional) Hilbert space of holomorphic functions corresponding to generalized coherent states. The Lie algebra associated with the manifold symmetry group is given in terms of first-order differential…
▽ More
The Berezin quantization on a simply connected homogeneous Kähler manifold, which is considered as a phase space for a dynamical system, enables a description of the quantal system in a (finite-dimensional) Hilbert space of holomorphic functions corresponding to generalized coherent states. The Lie algebra associated with the manifold symmetry group is given in terms of first-order differential operators. In the classical theory, the Lie algebra is represented by the momentum maps which are functions on the manifold, and the Lie product is the Poisson bracket given by the Kähler structure. The Kähler potentials are constructed for the manifolds related to all compact semi-simple Lie groups. The complex coordinates are introduced by means of the Borel method. The Kähler structure is obtained explicitly for any unitary group representation. The cocycle functions for the Lie algebra and the Killing vector fields on the manifold are also obtained.
△ Less
Submitted 15 July, 1994;
originally announced July 1994.
