Showing 1–13 of 13 results for author: Livne, R

Good Locally Testable Codes

Authors: Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, Shahar Mozes

Abstract: An explicit construction of locally testable codes of constant rate, constant distance and constant number of queries is given. Hence answering affirmatively the $c^3$-problem. An explicit construction of locally testable codes of constant rate, constant distance and constant number of queries is given. Hence answering affirmatively the $c^3$-problem. △ Less

Submitted 25 July, 2022; originally announced July 2022.

Comments: This is a revision of arxiv.org/2111.04808 that has been adapted to a mathematical audience

Locally Testable Codes with constant rate, distance, and locality

Authors: Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, Shahar Mozes

Abstract: A locally testable code (LTC) is an error-correcting code that has a property-tester. The tester reads $q$ bits that are randomly chosen, and rejects words with probability proportional to their distance from the code. The parameter $q$ is called the locality of the tester. LTCs were initially studied as important components of PCPs, and since then the topic has evolved on its own. High rate LTC… ▽ More A locally testable code (LTC) is an error-correcting code that has a property-tester. The tester reads $q$ bits that are randomly chosen, and rejects words with probability proportional to their distance from the code. The parameter $q$ is called the locality of the tester. LTCs were initially studied as important components of PCPs, and since then the topic has evolved on its own. High rate LTCs could be useful in practice: before attempting to decode a received word, one can save time by first quickly testing if it is close to the code. An outstanding open question has been whether there exist "$c^3$-LTCs", namely LTCs with *c*onstant rate, *c*onstant distance, and *c*onstant locality. In this work we construct such codes based on a new two-dimensional complex which we call a left-right Cayley complex. This is essentially a graph which, in addition to vertices and edges, also has squares. Our codes can be viewed as a two-dimensional version of (the one-dimensional) expander codes, where the codewords are functions on the squares rather than on the edges. △ Less

Submitted 15 December, 2021; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: This new version corrects and polishes a few minor points, but more importantly, adds references to other related very recent works which were done independently

Automorphy of Calabi-Yau threefolds of Borcea-Voisin type over Q

Authors: Yasuhiro Goto, Ron Livne, Noriko Yui

Abstract: We consider Calabi-Yau threefolds of Borcea-Voisin type over Q. They are constructed from products of K3 surfaces and elliptic curves. We use concrete K3 surfaces and discuss the automorphy of the Galois representations associated to the Calabi-Yau threefolds. The moduli spaces of these Calabi-Yau threefolds are Shimura varieties. Our result shows the existence of a CM point in the moduli space. W… ▽ More We consider Calabi-Yau threefolds of Borcea-Voisin type over Q. They are constructed from products of K3 surfaces and elliptic curves. We use concrete K3 surfaces and discuss the automorphy of the Galois representations associated to the Calabi-Yau threefolds. The moduli spaces of these Calabi-Yau threefolds are Shimura varieties. Our result shows the existence of a CM point in the moduli space. We also consider mirror symmetry of Calabi-Yau threefolds. △ Less

Submitted 5 April, 2014; v1 submitted 14 December, 2012; originally announced December 2012.

Comments: 62 pages, further revisions made (mostly minor ones)

MSC Class: 14J32; 14J20

Picard-Fuchs equations of families of QM abelian surfaces

Authors: Amnon Besser, Ron Livné

Abstract: We describe an algorithm for computing the Picard-Fuchs equation for a family of twists of a fixed elliptic surface. We then apply this algorithm to obtain the equation for several examples, which are coming from families of Kummer surfaces over Shimura curves, as studied in our previous work. We use this to find correspondenced between the parameter spaces of our families and Shimura curves. Thes… ▽ More We describe an algorithm for computing the Picard-Fuchs equation for a family of twists of a fixed elliptic surface. We then apply this algorithm to obtain the equation for several examples, which are coming from families of Kummer surfaces over Shimura curves, as studied in our previous work. We use this to find correspondenced between the parameter spaces of our families and Shimura curves. These correspondences can sometimes be proved rigorously. △ Less

Submitted 13 February, 2012; v1 submitted 13 February, 2012; originally announced February 2012.

Comments: AMS-LaTeX, algorithm2e style, ypic, 18 pages

MSC Class: 14D07 (Primary) 14J27 (Secondary)

The modularity of K3 surfaces with non-symplectic group actions

Authors: Ron Livné, Matthias Schuett, Noriko Yui

Abstract: We consider complex K3 surfaces with a non-symplectic group acting trivially on the algebraic cycles. Vorontsov and Kondo classified those K3 surfaces with transcendental lattice of minimal rank. The purpose of this note is to study the Galois representations associated to these K3 surfaces. The rank of the transcendental lattices is even and varies from 2 to 20, excluding 8 and 14. We show that… ▽ More We consider complex K3 surfaces with a non-symplectic group acting trivially on the algebraic cycles. Vorontsov and Kondo classified those K3 surfaces with transcendental lattice of minimal rank. The purpose of this note is to study the Galois representations associated to these K3 surfaces. The rank of the transcendental lattices is even and varies from 2 to 20, excluding 8 and 14. We show that these K3 surfaces are dominated by Fermat surfaces, and hence they are all of CM type. We will establish the modularity of the Galois representations associated to them. Also we discuss mirror symmetry for these K3 surfaces in the sense of Dolgachev, and show that a mirror K3 surface exists with one exception. △ Less

Submitted 22 October, 2009; v1 submitted 13 April, 2009; originally announced April 2009.

Comments: 20 pages, 7 tables; v2: minor changes; to appear in math. ann

MSC Class: 14J32; 14J28; 14J27; 14J20; 14G10; 11G40; 11F80

Abelian Varieties with Quaternion Multiplication

Authors: Ron Donagi, Ron Livné

Abstract: In this article we use a Prym construction to study low dimensional abelian varieties with an action of the quaternion group. In special cases we describe the Shimura variety parameterizing such abelian varieties, as well as a map to this Shimura variety from a natural parameter space of quaternionic abelian varieties. Our description is based on the moduli of cubic threefolds with nine nodes, w… ▽ More In this article we use a Prym construction to study low dimensional abelian varieties with an action of the quaternion group. In special cases we describe the Shimura variety parameterizing such abelian varieties, as well as a map to this Shimura variety from a natural parameter space of quaternionic abelian varieties. Our description is based on the moduli of cubic threefolds with nine nodes, which we study in some detail. △ Less

Submitted 1 December, 2005; v1 submitted 23 July, 2005; originally announced July 2005.

Comments: 34 pages. An appendix added for the new version

MSC Class: 14H30; 14H37; 14H40; 14J30; 14K30; 14N20

The modularity of certain non-rigid Calabi-Yau threefolds

Authors: Ron Livné, Noriko Yui

Abstract: Let $X$ be a Calabi--Yau threefold fibred over ${\mathbb P}^1$ by non-constant semi-stable K3 surfaces and reaching the Arakelov--Yau bound. In [STZ], X. Sun, Sh.-L. Tan, and K. Zuo proved that $X$ is modular in a certain sense. In particular, the base curve is a modular curve. In their result they distinguish the rigid and the non-rigid cases. In [SY] and [V] rigid examples were constructed. In… ▽ More Let $X$ be a Calabi--Yau threefold fibred over ${\mathbb P}^1$ by non-constant semi-stable K3 surfaces and reaching the Arakelov--Yau bound. In [STZ], X. Sun, Sh.-L. Tan, and K. Zuo proved that $X$ is modular in a certain sense. In particular, the base curve is a modular curve. In their result they distinguish the rigid and the non-rigid cases. In [SY] and [V] rigid examples were constructed. In this paper we construct explicit examples in non-rigid cases. Moreover, we prove for our threefolds that the ``interesting'' part of their $L$-series is attached to an automorphic form, and hence that they are modular in yet another sense. △ Less

Submitted 18 June, 2005; v1 submitted 30 April, 2003; originally announced April 2003.

Comments: 19 pages; some corrections made; see also related submission by Hulek-Verrill

MSC Class: 14G32; 14J28; 14J27; 14J20; 14G10; 11G40; 11F80

Local points on P-adically uniformized Shimura varieties

Authors: Bruce W. Jordan, Ron Livné, Yakov Varshavsky

Abstract: Using the p-adic uniformization of Shimura varieties we determine, for some of them, over which local fields they have rational points. Using this we show in some new curve cases that the jacobians are even in the sense of Poonen and Stoll. Using the p-adic uniformization of Shimura varieties we determine, for some of them, over which local fields they have rational points. Using this we show in some new curve cases that the jacobians are even in the sense of Poonen and Stoll. △ Less

Submitted 25 April, 2002; originally announced April 2002.

Report number: ANT-0348

The Chord Construction

Authors: D. Lehavi, R. Livné

Abstract: Let F be a smooth plane curve of degree 3. Let \gb be an element in Pic(F)[2]-{0}. Let us define F':={\ol{p(p+\gb)}|p in F}\subset(P^2)^*. In this note we show that F' is a smooth embedding of F/\gb. Moreover, let \gb' be the generator of Pic(F)/\gb, and let p in F be a flex, then \ol{p(p+\gb)}+\gb' is a flex on F'. We present two proofs. Let F be a smooth plane curve of degree 3. Let \gb be an element in Pic(F)[2]-{0}. Let us define F':={\ol{p(p+\gb)}|p in F}\subset(P^2)^*. In this note we show that F' is a smooth embedding of F/\gb. Moreover, let \gb' be the generator of Pic(F)/\gb, and let p in F be a flex, then \ol{p(p+\gb)}+\gb' is a flex on F'. We present two proofs. △ Less

Submitted 31 October, 2001; originally announced October 2001.

Comments: 5 pages, LaTeX 2e amsart

MSC Class: 14N15; 14H52

Designing communication networks via Hilbert modular forms

Authors: Ron Livné

Abstract: We give an explicit version of the Ramanujan-Petersson Conjecture for Hilbert Modular Forms, and deduce the "Ramanujan" property for certain cubical complexes. We reinterpret the results in terms of Communication Networks. The work will appear in the proceedings of a NATO conference on "Applications of Algebraic Geometry to Coding Theory, Physics, and Computation", which took place in Eilat, I… ▽ More We give an explicit version of the Ramanujan-Petersson Conjecture for Hilbert Modular Forms, and deduce the "Ramanujan" property for certain cubical complexes. We reinterpret the results in terms of Communication Networks. The work will appear in the proceedings of a NATO conference on "Applications of Algebraic Geometry to Coding Theory, Physics, and Computation", which took place in Eilat, Israel, February 25 - March 1s 2001, to be published by Kluwer. △ Less

Submitted 7 June, 2001; originally announced June 2001.

Report number: ANT-0298

The Ramanujan property for regular cubical complexes

Authors: Bruce W. Jordan, Ron Livné

Abstract: This paper considers a higher-dimensional generalization of the notion of Ramanujan graphs, defined by Lubotzky, Phillips, and Sarnak. Specifically the Ramanujan property is studied for cubical complexes which are uniformized by an ordered product of regular trees. We construct explicit arithmetic examples using quaternion algebras over totally real fields. Here we reduce the Ramanujan property… ▽ More This paper considers a higher-dimensional generalization of the notion of Ramanujan graphs, defined by Lubotzky, Phillips, and Sarnak. Specifically the Ramanujan property is studied for cubical complexes which are uniformized by an ordered product of regular trees. We construct explicit arithmetic examples using quaternion algebras over totally real fields. Here we reduce the Ramanujan property to special cases of the Ramanujan-Petersson conjecture for holomorphic Hilbert modular forms, many of which are known. △ Less

Submitted 18 July, 1999; originally announced July 1999.

Report number: ANT-0194

On Atkin-Lehner quotients of Shimura curves

Authors: Bruce W. Jordan, Ron Livné

Abstract: Poonen and Stoll have shown that the reduced Shafarevich-Tate group of a principally polarized abelian variety over a global field can have order twice a square (the odd case) as well as a square (the even case). For a curve over a global field, they give a local diophantine criterion for its jacobian to be even or odd. In this note we use the Cherednik-Drinfeld p-adic uniformization to study th… ▽ More Poonen and Stoll have shown that the reduced Shafarevich-Tate group of a principally polarized abelian variety over a global field can have order twice a square (the odd case) as well as a square (the even case). For a curve over a global field, they give a local diophantine criterion for its jacobian to be even or odd. In this note we use the Cherednik-Drinfeld p-adic uniformization to study the local points and divisors on certain Atkin-Lehner quotients of Shimura curves. We exhibit an explicit family of such quotient curves over the rationals with odd jacobians, with genus going to infinity, and with at most finitely many hyperelliptic members. △ Less

Submitted 5 February, 1998; originally announced February 1998.

Report number: ANT-0098

The arithmetic-geometric mean and isogenies for curves of higher genus

Authors: Ron Donagi, Ron Livne

Abstract: Computation of Gauss's arithmetic-geometric mean involves iteration of a simple step, whose algebro-geometric interpretation is the construction of an elliptic curve isogenous to a given one, specifically one whose period is double the original period. A higher genus analogue should involve the explicit construction of a curve whose jacobian is isogenous to the jacobian of a given curve. The dou… ▽ More Computation of Gauss's arithmetic-geometric mean involves iteration of a simple step, whose algebro-geometric interpretation is the construction of an elliptic curve isogenous to a given one, specifically one whose period is double the original period. A higher genus analogue should involve the explicit construction of a curve whose jacobian is isogenous to the jacobian of a given curve. The doubling of the period matrix means that the kernel of the isogeny should be a lagrangian subgroup of the group of points of order 2 in the jacobian. In genus 2 such a construction was given classically by Humbert and was studied more recently by Bost and Mestre. In this article we give such a construction for general curves of genus 3. We also give a similar but simpler construction for hyperelliptic curves of genus 3. We show that the hyperelliptic construction is a degeneration of the general one, and we prove that the kernel of the induced isogeny on jacobians is a lagrangian subgroup of the points of order 2. We show that for g at least 4 no similar construction exists, and we also reinterpret the genus 2 case in our setup. Our construction of these correspondences uses the bigonal and the trigonal constructions, familiar in the theory of Prym varieties. △ Less

Submitted 21 December, 1997; originally announced December 1997.

Comments: Latex, 18 pages

MSC Class: Algebraic Geometry