Elliptic curves over Hasse pairs

• URL: http://arxiv.org/abs/2406.03399v1
• Date: Wed, 5 Jun 2024 15:59:30 GMT
• Title: Elliptic curves over Hasse pairs
• Abstract summary: We study the relation between the set $mathcalE_i$ of isomorphism classes of elliptic curves defined over $mathbbF_q$ with $q$ points. In the case of odd Hasse pairs, we could not rule out the possibility of an empty union $mathcalE_i$ when $q$ is a given power of Fermat or a Mersenne prime.
• Score: 2.676349883103404
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We call a pair of distinct prime powers $(q_1,q_2) = (p_1^{a_1},p_2^{a_2})$ a Hasse pair if $|\sqrt{q_1}-\sqrt{q_2}| \leq 1$. For such pairs, we study the relation between the set $\mathcal{E}_1$ of isomorphism classes of elliptic curves defined over $\mathbb{F}_{q_1}$ with $q_2$ points, and the set $\mathcal{E}_2$ of isomorphism classes of elliptic curves over $\mathbb{F}_{q_2}$ with $q_1$ points. When both families $\mathcal{E}_i$ contain only ordinary elliptic curves, we prove that their isogeny graphs are isomorphic. When supersingular curves are involved, we describe which curves might belong to these sets. We also show that if both the $q_i$'s are odd and $\mathcal{E}_1 \cup \mathcal{E}_2 \neq \emptyset$, then $\mathcal{E}_1 \cup \mathcal{E}_2$ always contains an ordinary elliptic curve. Conversely, if $q_1$ is even, then $\mathcal{E}_1 \cup \mathcal{E}_2$ may contain only supersingular curves precisely when $q_2$ is a given power of a Fermat or a Mersenne prime. In the case of odd Hasse pairs, we could not rule out the possibility of an empty union $\mathcal{E}_1 \cup \mathcal{E}_2$, but we give necessary conditions for such a case to exist. In an appendix, Moree and Sofos consider how frequently Hasse pairs occur using analytic number theory, making a connection with Andrica's conjecture on the difference between consecutive primes.

Related papers

• Topology of the Set of Entangled State [0.0]
  We show that $mathsf E$ is path-connected, and even simply connected except in the two-qubit case.<n>In this exceptional case $mathsf E$ turns out to be homotopy equivalent to the set of maximally entangled states.
  arXiv  Detail & Related papers  (2026-07-20T16:04:26Z)
• On the convergence of graph Laplacians with a symmetric divergence [0.0]
  A key estimate for the geodesic distance $d_g$ is that there exists $K > 0$ such that $0 leq d_g(p, q)2 - |p-q|2 leq K d_g(p, q)4$ for all $p, q in mathcalM$.<n>We demonstrate that this is sufficient for the pointwise convergence of graph Laplacians constructed with $D$ and discuss examples where $D$ is given by the Sinkhorn divergence on a family of probability measures para
  arXiv  Detail & Related papers  (2026-07-07T06:41:21Z)
• The Geometry Underlying the Quantum Harmonic Oscillator [51.56484100374058]
  We show that the eigenfunctions $_n$ of the quantum Hamiltonian correspond to complex radial coordinates in the reduced phase space $mathbb C2/mathbb Z_nsubsetmathbb C2$.<n>We show that in the Kepler/hydrogen atom problem there is a similar correspondence between classical and quantum states.
  arXiv  Detail & Related papers  (2026-04-23T07:38:35Z)
• Universal Coefficients and Mayer-Vietoris Sequence for Groupoid Homology [0.0]
  We study ample groupoids via the compactly supported Moore complex of the nerve.<n>The theory is functorial for continuous étale homomorphisms.<n>For a locally compact totally disconnected Hausdorff space $X with a basis of compact open sets, the image of $_X:C_c(X,mathbb Z)otimes_mathbb ZAto C_c(X,A)$ is exactly the compactly supported functions with finite image.
  arXiv  Detail & Related papers  (2026-02-09T18:43:31Z)
• Discrete symmetries in classical and quantum oscillators [51.56484100374058]
  We show the eigenfunctions $_n=zn$ of the quantum Hamiltonian in the complex Bargmann-Fock-Segal representation.<n>The superposition $=sum_n c_n_n$ arises only with incomplete knowledge of the initial data for solving the Schrdinger equation.
  arXiv  Detail & Related papers  (2026-01-05T10:04:39Z)
• Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
  Consider a Hermitian operator $A$ acting on a complex Hilbert space of $2n$.<n>We show that when $A$ has small degree in the Pauli expansion, or in other words, $A$ is a local $n$-qubit Hamiltonian.<n>We show that whenever $A$ is $d$-local, textiti.e., $deg(A)le d$, we have the following discretization-type inequality.
  arXiv  Detail & Related papers  (2025-09-15T14:26:11Z)
• Algorithmic contiguity from low-degree conjecture and applications in correlated random graphs [0.0]
  We provide evidence of computational hardness for two problems. One of the main ingredient in our proof is to derive certain forms of emphalgorithm contiguity between two probability measures. This framework provides a useful tool for performing reductions between different tasks.
  arXiv  Detail & Related papers  (2025-02-14T00:24:51Z)
• Quantum Channel Conditioning and Measurement Models [0.0]
  We show that $mathcalIc$ is closed under post-processing and taking parts. We also define the conditioning of instruments by channels.
  arXiv  Detail & Related papers  (2024-03-12T23:31:06Z)
• Provably learning a multi-head attention layer [55.2904547651831]
  Multi-head attention layer is one of the key components of the transformer architecture that sets it apart from traditional feed-forward models. In this work, we initiate the study of provably learning a multi-head attention layer from random examples. We prove computational lower bounds showing that in the worst case, exponential dependence on $m$ is unavoidable.
  arXiv  Detail & Related papers  (2024-02-06T15:39:09Z)
• Families of costs with zero and nonnegative MTW tensor in optimal transport [0.0]
  We compute explicitly the MTW tensor for the optimal transport problem on $mathbbRn$ with a cost function of form $mathsfc$. We analyze the $sinh$-type hyperbolic cost, providing examples of $mathsfc$-type functions and divergence.
  arXiv  Detail & Related papers  (2024-01-01T20:33:27Z)
• A Unified Framework for Uniform Signal Recovery in Nonlinear Generative Compressed Sensing [68.80803866919123]
  Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously. Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples. We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
  arXiv  Detail & Related papers  (2023-09-25T17:54:19Z)
• Quantized charge polarization as a many-body invariant in (2+1)D crystalline topological states and Hofstadter butterflies [14.084478426185266]
  We show how to define a quantized many-body charge polarization $vecmathscrP$ for (2+1)D topological phases of matter, even in the presence of non-zero Chern number and magnetic field. We derive colored Hofstadter butterflies, corresponding to the quantized value of $vecmathscrP$, which further refine the colored butterflies from the Chern number and discrete shift.
  arXiv  Detail & Related papers  (2022-11-16T19:00:00Z)
• Monogamy of entanglement between cones [68.8204255655161]
  We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones. Our proof makes use of a new characterization of products of simplices up to affine equivalence.
  arXiv  Detail & Related papers  (2022-06-23T16:23:59Z)
• Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
  We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann. We show how our results have immediate applications to the modern theory of polarization.
  arXiv  Detail & Related papers  (2022-05-30T18:01:34Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• Linear Bandits on Uniformly Convex Sets [88.3673525964507]
  Linear bandit algorithms yield $tildemathcalO(nsqrtT)$ pseudo-regret bounds on compact convex action sets. Two types of structural assumptions lead to better pseudo-regret bounds.
  arXiv  Detail & Related papers  (2021-03-10T07:33:03Z)
• Representation of symmetry transformations on the sets of tripotents of spin and Cartan factors [0.0]
  We prove that in order that the description of the spin will be relativistic, it is not enough to preserve the projection lattice equipped with its natural partial order and denoteity. This, in particular, extends a result of Moln'ar to the wider setting of atomic JBW$*$-triples not containing rank-one Cartan factors.
  arXiv  Detail & Related papers  (2021-01-03T17:21:02Z)
• Skein-Theoretic Methods for Unitary Fusion Categories [0.0]
  Unitary fusion categories (UFCs) have gained increased attention due to emerging connections with quantum physics. We consider a fusion rule of the form $qotimes cong mathbf1oplusbigoplusk_i=1x_i$ in a UFC $mathcalC$, and extract information using the graphical calculus.
  arXiv  Detail & Related papers  (2020-08-17T07:35:56Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.