Showing 1–50 of 54 results for author: Bilu, Y

On a non-Archimedean analogue of a question of Atkin and Serre

Authors: Yuri F Bilu, Sanoli Gun, Sunil L Naik

Abstract: In this article, we investigate a non-Archimedean analogue of a question of Atkin and Serre. More precisely, we derive lower bounds for the largest prime factor of non-zero Fourier coefficients of non-CM normalized cuspidal Hecke eigenforms of even weight $k \geq 2$, level $N$ with integer Fourier coefficients. In particular, we show that for such a form $f$ and for any real number $ε>0$, the larg… ▽ More In this article, we investigate a non-Archimedean analogue of a question of Atkin and Serre. More precisely, we derive lower bounds for the largest prime factor of non-zero Fourier coefficients of non-CM normalized cuspidal Hecke eigenforms of even weight $k \geq 2$, level $N$ with integer Fourier coefficients. In particular, we show that for such a form $f$ and for any real number $ε>0$, the largest prime factor of the $p$-th Fourier coefficient $a_f(p)$ of $f$, denoted by $P(a_f(p))$, satisfies $$ P(a_f(p)) ~>~ (\log p)^{1/8}(\log\log p)^{3/8 -ε} $$ for almost all primes $p$. This improves on earlier bounds. We also investigate a number field analogue of a recent result of Bennett, Gherga, Patel and Siksek about the largest prime factor of $a_f(p^m)$ for $m \geq 2$. △ Less

Submitted 8 February, 2024; originally announced February 2024.

MSC Class: 11F11; 11F30; 11F80; 11N56; 11N05; 11N36; 11R45

Journal ref: Mathematische Annalen, 2023

Twisted rational zeros of linear recurrence sequences

Authors: Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell

Abstract: We introduce the notion of a twisted rational zero of a non-degenerate linear recurrence sequence (LRS). We show that any non-degenerate LRS has only finitely many such twisted rational zeros. In the particular case of the Tribonacci sequence, we show that $1/3$ and $-5/3$ are the only twisted rational zeros which are not integral zeros. We introduce the notion of a twisted rational zero of a non-degenerate linear recurrence sequence (LRS). We show that any non-degenerate LRS has only finitely many such twisted rational zeros. In the particular case of the Tribonacci sequence, we show that $1/3$ and $-5/3$ are the only twisted rational zeros which are not integral zeros. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 30 pages

MSC Class: 11D04

The Chevalley-Bass Theorem

Authors: Yuri Bilu

Abstract: This is an exposition of a theorem due to Chevalley (1951) and Bass (1965). Let $K$ be a finitely generated field. Then there exists a positive integer $Λ$, depending only on $K$, such that for every positive integer $n$ the following holds: if $α\in K$ is a $Λn$th power in the cyclotomic extension $K(ζ_{Λn})$, then $α$ is an $n$th power in $K$. We also give explicit expressions for a suitable… ▽ More This is an exposition of a theorem due to Chevalley (1951) and Bass (1965). Let $K$ be a finitely generated field. Then there exists a positive integer $Λ$, depending only on $K$, such that for every positive integer $n$ the following holds: if $α\in K$ is a $Λn$th power in the cyclotomic extension $K(ζ_{Λn})$, then $α$ is an $n$th power in $K$. We also give explicit expressions for a suitable $Λ$ of two kinds: one in terms of the degree of the maximal abelian subfield of $K$, the other in terms of the discriminant of this subfield. △ Less

Submitted 8 August, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

On the $p$-adic zeros of the Tribonacci sequence

Authors: Yuri Bilu, Florian Luca, Joris Nieuwveld, Jöel Ouaknine, James Worrell

Abstract: In this paper, we refute some conjectures of Marques and Lengyel concerning the $p$-adic valuations of members of the Tribonacci sequence. In this paper, we refute some conjectures of Marques and Lengyel concerning the $p$-adic valuations of members of the Tribonacci sequence. △ Less

Submitted 30 October, 2022; originally announced October 2022.

Effective multiplicative independence of 3 singular moduli

Authors: Yuri Bilu, Sanoli Gun, Emanuele Tron

Abstract: Pila and Tsimerman proved in 2017 that for every $k$ there exists at most finitely many $k$-tuples $(x_1,\ldots, x_k)$ of distinct non-zero singular moduli with the property "$x_1, \ldots,x_k$ are multiplicatively dependent, but any proper subset of them is multiplicatively independent". The proof was non-effective, using Siegel's lower bound for the Class Number. In 2019 Riffaut obtained an effec… ▽ More Pila and Tsimerman proved in 2017 that for every $k$ there exists at most finitely many $k$-tuples $(x_1,\ldots, x_k)$ of distinct non-zero singular moduli with the property "$x_1, \ldots,x_k$ are multiplicatively dependent, but any proper subset of them is multiplicatively independent". The proof was non-effective, using Siegel's lower bound for the Class Number. In 2019 Riffaut obtained an effective version of this result for $k=2$. Moreover, he determined all the instances of $x^my^n\in \mathbb Q^\times$, where $x,y$ are distinct singular moduli and $m,n$ non-zero integers. In this article we obtain a similar result for $k=3$. We show that $x^my^nz^r\in \mathbb Q^\times$ (where $x,y,z$ are distinct singular moduli and $m,n,r$ non-zero integers) implies that the discriminants of $x,y,z$ do not exceed $10^{10}$. △ Less

Submitted 6 July, 2024; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: Update according to the referee's suggestions

Skolem Meets Schanuel

Authors: Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell

Abstract: The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros of a linear recurrence sequence is the union of a finite set and finitely many arithmetic progressions. The corresponding computational question, the Skolem Problem, asks to determine whether a given linear recurrence sequence has a zero term. Although the Skolem-Mahler-Lech Theorem is almost 90 years old, decidability of the S… ▽ More The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros of a linear recurrence sequence is the union of a finite set and finitely many arithmetic progressions. The corresponding computational question, the Skolem Problem, asks to determine whether a given linear recurrence sequence has a zero term. Although the Skolem-Mahler-Lech Theorem is almost 90 years old, decidability of the Skolem Problem remains open. The main contribution of this paper is an algorithm to solve the Skolem Problem for simple linear recurrence sequences (those with simple characteristic roots). Whenever the algorithm terminates, it produces a stand-alone certificate that its output is correct -- a set of zeros together with a collection of witnesses that no further zeros exist. We give a proof that the algorithm always terminates assuming two classical number-theoretic conjectures: the Skolem Conjecture (also known as the Exponential Local-Global Principle) and the $p$-adic Schanuel Conjecture. Preliminary experiments with an implementation of this algorithm within the tool \textsc{Skolem} point to the practical applicability of this method. △ Less

Submitted 28 April, 2022; originally announced April 2022.

ACM Class: G.2.0; F.4.0

Big prime factors in orders of elliptic curves over finite fields

Authors: Yuri Bilu, Haojie Hong, Florian Luca

Abstract: Let $E$ be an elliptic curve over the finite field $\mathbb F_q$. We prove that, when $n$ is a sufficiently large positive integer, $\#E(\mathbb F_{q^n})$ has a prime factor exceeding $n\exp(c\log n/\log\log n)$. Let $E$ be an elliptic curve over the finite field $\mathbb F_q$. We prove that, when $n$ is a sufficiently large positive integer, $\#E(\mathbb F_{q^n})$ has a prime factor exceeding $n\exp(c\log n/\log\log n)$. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:2108.09857

Uniform explicit Stewart's theorem on prime factors of linear recurrences

Authors: Yuri Bilu, Haojie Hong, Sanoli Gun

Abstract: Stewart (2013) proved that the biggest prime divisor of the $n$th term of a Lucas sequence of integers grows quicker than $n$, answering famous questions of Erdős and Schinzel. In this note we obtain a fully explicit and, in a sense, uniform version of Stewart's result. Stewart (2013) proved that the biggest prime divisor of the $n$th term of a Lucas sequence of integers grows quicker than $n$, answering famous questions of Erdős and Schinzel. In this note we obtain a fully explicit and, in a sense, uniform version of Stewart's result. △ Less

Submitted 1 October, 2022; v1 submitted 22 August, 2021; originally announced August 2021.

Multilingual Argument Mining: Datasets and Analysis

Authors: Orith Toledo-Ronen, Matan Orbach, Yonatan Bilu, Artem Spector, Noam Slonim

Abstract: The growing interest in argument mining and computational argumentation brings with it a plethora of Natural Language Understanding (NLU) tasks and corresponding datasets. However, as with many other NLU tasks, the dominant language is English, with resources in other languages being few and far between. In this work, we explore the potential of transfer learning using the multilingual BERT model… ▽ More The growing interest in argument mining and computational argumentation brings with it a plethora of Natural Language Understanding (NLU) tasks and corresponding datasets. However, as with many other NLU tasks, the dominant language is English, with resources in other languages being few and far between. In this work, we explore the potential of transfer learning using the multilingual BERT model to address argument mining tasks in non-English languages, based on English datasets and the use of machine translation. We show that such methods are well suited for classifying the stance of arguments and detecting evidence, but less so for assessing the quality of arguments, presumably because quality is harder to preserve under translation. In addition, focusing on the translate-train approach, we show how the choice of languages for translation, and the relations among them, affect the accuracy of the resultant model. Finally, to facilitate evaluation of transfer learning on argument mining tasks, we provide a human-generated dataset with more than 10k arguments in multiple languages, as well as machine translation of the English datasets. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Comments: Accepted to Findings of EMNLP 2020 (Long Paper). For the associated multilingual arguments and evidence corpus, see https://www.research.ibm.com/haifa/dept/vst/debating_data.shtml#Multilingual%20Argument%20Mining

The workweek is the best time to start a family -- A Study of GPT-2 Based Claim Generation

Authors: Shai Gretz, Yonatan Bilu, Edo Cohen-Karlik, Noam Slonim

Abstract: Argument generation is a challenging task whose research is timely considering its potential impact on social media and the dissemination of information. Here we suggest a pipeline based on GPT-2 for generating coherent claims, and explore the types of claims that it produces, and their veracity, using an array of manual and automatic assessments. In addition, we explore the interplay between this… ▽ More Argument generation is a challenging task whose research is timely considering its potential impact on social media and the dissemination of information. Here we suggest a pipeline based on GPT-2 for generating coherent claims, and explore the types of claims that it produces, and their veracity, using an array of manual and automatic assessments. In addition, we explore the interplay between this task and the task of Claim Retrieval, showing how they can complement one another. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Comments: Accepted to Findings of EMNLP 2020

What if we had no Wikipedia? Domain-independent Term Extraction from a Large News Corpus

Authors: Yonatan Bilu, Shai Gretz, Edo Cohen, Noam Slonim

Abstract: One of the most impressive human endeavors of the past two decades is the collection and categorization of human knowledge in the free and accessible format that is Wikipedia. In this work we ask what makes a term worthy of entering this edifice of knowledge, and having a page of its own in Wikipedia? To what extent is this a natural product of on-going human discourse and discussion rather than a… ▽ More One of the most impressive human endeavors of the past two decades is the collection and categorization of human knowledge in the free and accessible format that is Wikipedia. In this work we ask what makes a term worthy of entering this edifice of knowledge, and having a page of its own in Wikipedia? To what extent is this a natural product of on-going human discourse and discussion rather than an idiosyncratic choice of Wikipedia editors? Specifically, we aim to identify such "wiki-worthy" terms in a massive news corpus, and see if this can be done with no, or minimal, dependency on actual Wikipedia entries. We suggest a five-step pipeline for doing so, providing baseline results for all five, and the relevant datasets for benchmarking them. Our work sheds new light on the domain-specific Automatic Term Extraction problem, with the problem at hand being a domain-independent variant of it. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Binary polynomial power sums vanishing at roots of unity

Authors: Yuri Bilu, Florian Luca

Abstract: Let $c_1(x),c_2(x),f_1(x),f_2(x)$ be polynomials with rational coefficients. With obvious exceptions, there can be at most finitely many roots of unity among the zeros of the polynomials $c_1(x)f_1(x)^n+c_2(x)f_2(x)^n$ with $n=1,2\ldots$. We estimate the orders of these roots of unity in terms of the degrees and the heights of the polynomials $c_i$ and $f_i$. Let $c_1(x),c_2(x),f_1(x),f_2(x)$ be polynomials with rational coefficients. With obvious exceptions, there can be at most finitely many roots of unity among the zeros of the polynomials $c_1(x)f_1(x)^n+c_2(x)f_2(x)^n$ with $n=1,2\ldots$. We estimate the orders of these roots of unity in terms of the degrees and the heights of the polynomials $c_i$ and $f_i$. △ Less

Submitted 21 November, 2020; v1 submitted 11 May, 2020; originally announced May 2020.

Comments: To appear in Acta Arithmetica

Out of the Echo Chamber: Detecting Countering Debate Speeches

Authors: Matan Orbach, Yonatan Bilu, Assaf Toledo, Dan Lahav, Michal Jacovi, Ranit Aharonov, Noam Slonim

Abstract: An educated and informed consumption of media content has become a challenge in modern times. With the shift from traditional news outlets to social media and similar venues, a major concern is that readers are becoming encapsulated in "echo chambers" and may fall prey to fake news and disinformation, lacking easy access to dissenting views. We suggest a novel task aiming to alleviate some of thes… ▽ More An educated and informed consumption of media content has become a challenge in modern times. With the shift from traditional news outlets to social media and similar venues, a major concern is that readers are becoming encapsulated in "echo chambers" and may fall prey to fake news and disinformation, lacking easy access to dissenting views. We suggest a novel task aiming to alleviate some of these concerns -- that of detecting articles that most effectively counter the arguments -- and not just the stance -- made in a given text. We study this problem in the context of debate speeches. Given such a speech, we aim to identify, from among a set of speeches on the same topic and with an opposing stance, the ones that directly counter it. We provide a large dataset of 3,685 such speeches (in English), annotated for this relation, which hopefully would be of general interest to the NLP community. We explore several algorithms addressing this task, and while some are successful, all fall short of expert human performance, suggesting room for further research. All data collected during this work is freely available for research. △ Less

Submitted 3 May, 2020; originally announced May 2020.

Comments: Accepted to ACL 2020 as Long Paper. For the associated debate speeches corpus, see https://www.research.ibm.com/haifa/dept/vst/debating_data.shtml#Debate%20Speech%20Analysis

Trinomials, singular moduli and Riffaut's conjecture

Authors: Yuri Bilu, Florian Luca, Amalia Pizarro-Madariaga

Abstract: Riffaut (2019) conjectured that a singular modulus of degree $h\ge 3$ cannot be a root of a trinomial with rational coefficients. We show that this conjecture follows from the GRH, and obtain partial unconditional results. Riffaut (2019) conjectured that a singular modulus of degree $h\ge 3$ cannot be a root of a trinomial with rational coefficients. We show that this conjecture follows from the GRH, and obtain partial unconditional results. △ Less

Submitted 26 August, 2021; v1 submitted 14 March, 2020; originally announced March 2020.

Comments: 45 pages, accepted for publication. This version takes into account the referees' comments

Financial Event Extraction Using Wikipedia-Based Weak Supervision

Authors: Liat Ein-Dor, Ariel Gera, Orith Toledo-Ronen, Alon Halfon, Benjamin Sznajder, Lena Dankin, Yonatan Bilu, Yoav Katz, Noam Slonim

Abstract: Extraction of financial and economic events from text has previously been done mostly using rule-based methods, with more recent works employing machine learning techniques. This work is in line with this latter approach, leveraging relevant Wikipedia sections to extract weak labels for sentences describing economic events. Whereas previous weakly supervised approaches required a knowledge-base of… ▽ More Extraction of financial and economic events from text has previously been done mostly using rule-based methods, with more recent works employing machine learning techniques. This work is in line with this latter approach, leveraging relevant Wikipedia sections to extract weak labels for sentences describing economic events. Whereas previous weakly supervised approaches required a knowledge-base of such events, or corresponding financial figures, our approach requires no such additional data, and can be employed to extract economic events related to companies which are not even mentioned in the training data. △ Less

Submitted 28 November, 2022; v1 submitted 25 November, 2019; originally announced November 2019.

Corpus Wide Argument Mining -- a Working Solution

Authors: Liat Ein-Dor, Eyal Shnarch, Lena Dankin, Alon Halfon, Benjamin Sznajder, Ariel Gera, Carlos Alzate, Martin Gleize, Leshem Choshen, Yufang Hou, Yonatan Bilu, Ranit Aharonov, Noam Slonim

Abstract: One of the main tasks in argument mining is the retrieval of argumentative content pertaining to a given topic. Most previous work addressed this task by retrieving a relatively small number of relevant documents as the initial source for such content. This line of research yielded moderate success, which is of limited use in a real-world system. Furthermore, for such a system to yield a comprehen… ▽ More One of the main tasks in argument mining is the retrieval of argumentative content pertaining to a given topic. Most previous work addressed this task by retrieving a relatively small number of relevant documents as the initial source for such content. This line of research yielded moderate success, which is of limited use in a real-world system. Furthermore, for such a system to yield a comprehensive set of relevant arguments, over a wide range of topics, it requires leveraging a large and diverse corpus in an appropriate manner. Here we present a first end-to-end high-precision, corpus-wide argument mining system. This is made possible by combining sentence-level queries over an appropriate indexing of a very large corpus of newspaper articles, with an iterative annotation scheme. This scheme addresses the inherent label bias in the data and pinpoints the regions of the sample space whose manual labeling is required to obtain high-precision among top-ranked candidates. △ Less

Submitted 25 November, 2019; originally announced November 2019.

Journal ref: AAAI 2020

A Dataset of General-Purpose Rebuttal

Authors: Matan Orbach, Yonatan Bilu, Ariel Gera, Yoav Kantor, Lena Dankin, Tamar Lavee, Lili Kotlerman, Shachar Mirkin, Michal Jacovi, Ranit Aharonov, Noam Slonim

Abstract: In Natural Language Understanding, the task of response generation is usually focused on responses to short texts, such as tweets or a turn in a dialog. Here we present a novel task of producing a critical response to a long argumentative text, and suggest a method based on general rebuttal arguments to address it. We do this in the context of the recently-suggested task of listening comprehension… ▽ More In Natural Language Understanding, the task of response generation is usually focused on responses to short texts, such as tweets or a turn in a dialog. Here we present a novel task of producing a critical response to a long argumentative text, and suggest a method based on general rebuttal arguments to address it. We do this in the context of the recently-suggested task of listening comprehension over argumentative content: given a speech on some specified topic, and a list of relevant arguments, the goal is to determine which of the arguments appear in the speech. The general rebuttals we describe here (written in English) overcome the need for topic-specific arguments to be provided, by proving to be applicable for a large set of topics. This allows creating responses beyond the scope of topics for which specific arguments are available. All data collected during this work is freely available for research. △ Less

Submitted 1 September, 2019; originally announced September 2019.

Comments: EMNLP 2019

Argument Invention from First Principles

Authors: Yonatan Bilu, Ariel Gera, Daniel Hershcovich, Benjamin Sznajder, Dan Lahav, Guy Moshkowich, Anael Malet, Assaf Gavron, Noam Slonim

Abstract: Competitive debaters often find themselves facing a challenging task -- how to debate a topic they know very little about, with only minutes to prepare, and without access to books or the Internet? What they often do is rely on "first principles", commonplace arguments which are relevant to many topics, and which they have refined in past debates. In this work we aim to explicitly define a taxon… ▽ More Competitive debaters often find themselves facing a challenging task -- how to debate a topic they know very little about, with only minutes to prepare, and without access to books or the Internet? What they often do is rely on "first principles", commonplace arguments which are relevant to many topics, and which they have refined in past debates. In this work we aim to explicitly define a taxonomy of such principled recurring arguments, and, given a controversial topic, to automatically identify which of these arguments are relevant to the topic. As far as we know, this is the first time that this approach to argument invention is formalized and made explicit in the context of NLP. The main goal of this work is to show that it is possible to define such a taxonomy. While the taxonomy suggested here should be thought of as a "first attempt" it is nonetheless coherent, covers well the relevant topics and coincides with what professional debaters actually argue in their speeches, and facilitates automatic argument invention for new topics. △ Less

Submitted 22 August, 2019; originally announced August 2019.

Comments: Presented at ACL 2019

Controversy in Context

Authors: Benjamin Sznajder, Ariel Gera, Yonatan Bilu, Dafna Sheinwald, Ella Rabinovich, Ranit Aharonov, David Konopnicki, Noam Slonim

Abstract: With the growing interest in social applications of Natural Language Processing and Computational Argumentation, a natural question is how controversial a given concept is. Prior works relied on Wikipedia's metadata and on content analysis of the articles pertaining to a concept in question. Here we show that the immediate textual context of a concept is strongly indicative of this property, and,… ▽ More With the growing interest in social applications of Natural Language Processing and Computational Argumentation, a natural question is how controversial a given concept is. Prior works relied on Wikipedia's metadata and on content analysis of the articles pertaining to a concept in question. Here we show that the immediate textual context of a concept is strongly indicative of this property, and, using simple and language-independent machine-learning tools, we leverage this observation to achieve state-of-the-art results in controversiality prediction. In addition, we analyze and make available a new dataset of concepts labeled for controversiality. It is significantly larger than existing datasets, and grades concepts on a 0-10 scale, rather than treating controversiality as a binary label. △ Less

Submitted 20 August, 2019; originally announced August 2019.

Comments: 5 pages

Trinomials with given roots

Authors: Yuri Bilu, Florian Luca

Abstract: We show that, apart from some obvious exceptions, the number of trinomials vanishing at given complex numbers is bounded by an absolute constant. When the numbers are algebraic, we also bound effectively the degrees and the heights of these trinomials. We show that, apart from some obvious exceptions, the number of trinomials vanishing at given complex numbers is bounded by an absolute constant. When the numbers are algebraic, we also bound effectively the degrees and the heights of these trinomials. △ Less

Submitted 27 August, 2019; v1 submitted 2 August, 2019; originally announced August 2019.

Comments: Inaccuracies corrected following the referee's suggestions

Towards Effective Rebuttal: Listening Comprehension using Corpus-Wide Claim Mining

Authors: Tamar Lavee, Matan Orbach, Lili Kotlerman, Yoav Kantor, Shai Gretz, Lena Dankin, Shachar Mirkin, Michal Jacovi, Yonatan Bilu, Ranit Aharonov, Noam Slonim

Abstract: Engaging in a live debate requires, among other things, the ability to effectively rebut arguments claimed by your opponent. In particular, this requires identifying these arguments. Here, we suggest doing so by automatically mining claims from a corpus of news articles containing billions of sentences, and searching for them in a given speech. This raises the question of whether such claims indee… ▽ More Engaging in a live debate requires, among other things, the ability to effectively rebut arguments claimed by your opponent. In particular, this requires identifying these arguments. Here, we suggest doing so by automatically mining claims from a corpus of news articles containing billions of sentences, and searching for them in a given speech. This raises the question of whether such claims indeed correspond to those made in spoken speeches. To this end, we collected a large dataset of $400$ speeches in English discussing $200$ controversial topics, mined claims for each topic, and asked annotators to identify the mined claims mentioned in each speech. Results show that in the vast majority of speeches debaters indeed make use of such claims. In addition, we present several baselines for the automatic detection of mined claims in speeches, forming the basis for future work. All collected data is freely available for research. △ Less

Submitted 27 July, 2019; originally announced July 2019.

Comments: 6th Argument Mining Workshop @ ACL 2019

Separating singular moduli and the primitive element problem

Authors: Yuri Bilu, Bernadette Faye, Huilin Zhu

Abstract: We prove that $|x-y|\ge 800X^{-4}$, where $x$ and $y$ are distinct singular moduli of discriminants not exceeding $X$. We apply this result to the "primitive element problem" for two singular moduli. In a previous article Faye and Riffaut show that the number field $\mathbb Q(x,y)$, generated by two singular moduli $x$ and $y$, is generated by $x-y$ and, with some exceptions, by $x+y$ as well. In… ▽ More We prove that $|x-y|\ge 800X^{-4}$, where $x$ and $y$ are distinct singular moduli of discriminants not exceeding $X$. We apply this result to the "primitive element problem" for two singular moduli. In a previous article Faye and Riffaut show that the number field $\mathbb Q(x,y)$, generated by two singular moduli $x$ and $y$, is generated by $x-y$ and, with some exceptions, by $x+y$ as well. In this article we fix a rational number $α\ne0,\pm1$ and show that the field $\mathbb Q(x,y)$ is generated by $x+αy$, with a few exceptions occurring when $x$ and $y$ generate the same quadratic field over $\mathbb Q$. Together with the above-mentioned result of Faye and Riffaut, this gives a drastic generalization of a theorem due to Allombert et al. (2015) about solution of linear equations in singular moduli. △ Less

Submitted 30 May, 2020; v1 submitted 17 March, 2019; originally announced March 2019.

Comments: Updated according to the referee's suggestions

Generalized Cullen Numbers in Linear Recurrence Sequences

Authors: Yuri Bilu, Diego Marques, Alain Togb\' e

Abstract: A Cullen number is a number of the form $m2^m+1$, where $m$ is a positive integer. In 2004, Luca and St\u anic\u a proved, among other things, that the largest Fibonacci number in the Cullen sequence is $F_4=3$. Actually, they searched for generalized Cullen numbers among some binary recurrence sequences. In this paper, we will work on higher order recurrence sequences. For a given linear recurren… ▽ More A Cullen number is a number of the form $m2^m+1$, where $m$ is a positive integer. In 2004, Luca and St\u anic\u a proved, among other things, that the largest Fibonacci number in the Cullen sequence is $F_4=3$. Actually, they searched for generalized Cullen numbers among some binary recurrence sequences. In this paper, we will work on higher order recurrence sequences. For a given linear recurrence $(G_n)_n$, under weak assumptions, and a given polynomial $T(x)\in \mathbb{Z}[x]$, we shall prove that if $G_n=mx^m+T(x)$, then \[ m\ll\log \log |x|\log^2(\log \log |x|)\ \mbox{and}\ n\ll\log |x|\log\log |x|\log^2(\log \log |x|), \] where the implied constant depends only on $(G_n)_n$ and $T(x)$. △ Less

Submitted 25 June, 2018; originally announced June 2018.

No singular modulus is a unit

Authors: Yu. Bilu, P. Habegger, L. Kühne

Abstract: A result of the second-named author states that there are only finitely many CM-elliptic curves over $\mathbb{C}$ whose $j$-invariant is an algebraic unit. His proof depends on Duke's Equidistribution Theorem and is hence non-effective. In this article, we give a completely effective proof of this result. To be precise, we show that every singular modulus that is an algebraic unit is associated wi… ▽ More A result of the second-named author states that there are only finitely many CM-elliptic curves over $\mathbb{C}$ whose $j$-invariant is an algebraic unit. His proof depends on Duke's Equidistribution Theorem and is hence non-effective. In this article, we give a completely effective proof of this result. To be precise, we show that every singular modulus that is an algebraic unit is associated with a CM-elliptic curve whose endomorphism ring has discriminant less than $10^{15}$. Through further refinements and computer-assisted computations, we eventually rule out all remaining cases, showing that no singular modulus is an algebraic unit. This allows us to exhibit classes of subvarieties in $\mathbb{C}^n$ not containing any special points. △ Less

Submitted 7 November, 2018; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: Dedicated to David Masser on the occasion of his 70th birthday. Version 2 has a new title, updated references, and contains minor corrections. 31 pages, to appear in IMRN. Link to scripts https://github.com/philipphabegger/Effective-Bounds-for-Singular-Units

Linear Equations in Singular Moduli

Authors: Yuri Bilu, Lars Kühne

Abstract: We establish an effective version of the André-Oort conjecture for linear subspaces of $Y(1)^n_{\mathbb{C}} \approx \mathbb{A}_{\mathbb{C}}^n$. Apart from the trivial examples provided by weakly special subvarieties, this yields the first algebraic subvarieties in a Shimura variety of dimension $> 1$ whose CM-points can be (theoretically) determined. We establish an effective version of the André-Oort conjecture for linear subspaces of $Y(1)^n_{\mathbb{C}} \approx \mathbb{A}_{\mathbb{C}}^n$. Apart from the trivial examples provided by weakly special subvarieties, this yields the first algebraic subvarieties in a Shimura variety of dimension $> 1$ whose CM-points can be (theoretically) determined. △ Less

Submitted 11 December, 2017; originally announced December 2017.

Comments: 17 pages, submitted

MSC Class: 11G18 (primary); 11G50; 14G35; 11R37

Random ordering in modulus of consecutive Hecke eigenvalues of primitive forms

Authors: Yuri Bilu, Jean-Marc Deshouillers, Sanoli Gun, Florian Luca

Abstract: Let τ(.) be the Ramanujan τ-function, and let k be a positive integer such that τ(n) is not 0 for n=1,...,[k/2]. (This is known to be true for k < 10^{23}, and, conjecturally, for all k.) Further, let s be a permutation of the set {1,...,k}. Then there exist infinitely many positive integers m such that |τ(m+s(1))|<τ(m+s(2))|<...<|τ(m+s(k))|. We also obtain a similar result for Fourier-coefficient… ▽ More Let τ(.) be the Ramanujan τ-function, and let k be a positive integer such that τ(n) is not 0 for n=1,...,[k/2]. (This is known to be true for k < 10^{23}, and, conjecturally, for all k.) Further, let s be a permutation of the set {1,...,k}. Then there exist infinitely many positive integers m such that |τ(m+s(1))|<τ(m+s(2))|<...<|τ(m+s(k))|. We also obtain a similar result for Fourier-coefficients of general newforms. △ Less

Submitted 27 May, 2018; v1 submitted 8 January, 2017; originally announced January 2017.

Comments: Minor corrections. To appear in Compositio Math

Journal ref: Compositio Math. 154 (2018) 2441-2461

Diversity in Parametric Families of Number Fields

Authors: Yuri Bilu, Florian Luca

Abstract: Let X be a projective curve defined over Q and t a non-constant Q-rational function on X of degree at least 2. For every integer n pick a point P_n on X such that t(P_n)=n. A result of Dvornicich and Zannier implies that, for large N, among the number fields Q(P_1),...,Q(P_N) there are at least cN/\log N distinct, where c>0. We prove that there are at least N/(\log N)^{1-c} distinct fields, where… ▽ More Let X be a projective curve defined over Q and t a non-constant Q-rational function on X of degree at least 2. For every integer n pick a point P_n on X such that t(P_n)=n. A result of Dvornicich and Zannier implies that, for large N, among the number fields Q(P_1),...,Q(P_N) there are at least cN/\log N distinct, where c>0. We prove that there are at least N/(\log N)^{1-c} distinct fields, where c>0. △ Less

Submitted 3 September, 2016; v1 submitted 4 July, 2016; originally announced July 2016.

Comments: Minor inaccuracies detected by the referees are corrected

Number Fields in Fibers: the Geometrically Abelian Case with Rational Critical Values

Authors: Yuri Bilu, Florian Luca

Abstract: Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number fields Q(P_1), ..., Q(P_N) there are at least cN distinct. We prove this conjecture in the special case when t defines a geometrically abelian covering of the pro… ▽ More Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number fields Q(P_1), ..., Q(P_N) there are at least cN distinct. We prove this conjecture in the special case when t defines a geometrically abelian covering of the projective line, and the critical values of t are all rational. This implies, in particular, that our conjecture follows from a famous conjecture of Schinzel. △ Less

Submitted 13 October, 2016; v1 submitted 29 June, 2016; originally announced June 2016.

Comments: Some typos are corrected. The article is now accepted in Periodica Math. Hungarica

Chevalley-Weil Theorem and Subgroups of Class Groups

Authors: Yuri Bilu, Jean Gillibert

Abstract: We prove, under some mild hypothesis, that an étale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the Chevalley-Weil theorem. Using this result, we are able to generalize the techniques of Mestre, Levin and the second author for constructing and counting number fiel… ▽ More We prove, under some mild hypothesis, that an étale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the Chevalley-Weil theorem. Using this result, we are able to generalize the techniques of Mestre, Levin and the second author for constructing and counting number fields with large class group. △ Less

Submitted 23 September, 2017; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: Minor improvements following the referee's suggestions. To appear in Israel J. of Math

Counting Number Fields in Fibers

Authors: Yuri Bilu, Jean Gillibert

Abstract: Let X be a projective curve over Q and t a non-constant Q-rational function on X of degree n>1. For every integer a pick a points P(a) on X such that t(P(a))=a. Dvornicich and Zannier (1994) proved that for large N the field Q(P(1), ..., P(N)) is of degree at least exp(cN/log N) over Q, where c>0 depends only on X and t. In this note we extend this result, replacing Q by an arbitrary number field. Let X be a projective curve over Q and t a non-constant Q-rational function on X of degree n>1. For every integer a pick a points P(a) on X such that t(P(a))=a. Dvornicich and Zannier (1994) proved that for large N the field Q(P(1), ..., P(N)) is of degree at least exp(cN/log N) over Q, where c>0 depends only on X and t. In this note we extend this result, replacing Q by an arbitrary number field. △ Less

Submitted 30 March, 2017; v1 submitted 7 June, 2016; originally announced June 2016.

Comments: Minor inaccuracies corrected following the referee's suggestions. To appear in Math. Z

On a divisibility relation for Lucas sequences

Authors: Yuri Bilu, Takao Komatsu, Florian Luca, Amalia Pizarro-Madariaga, Pantelimon Stanica

Abstract: In this note, we study the divisibility relation $U_m\mid U_{n+k}^s-U_n^s$, where ${\bf U}:=\{U_n\}_{n\ge 0}$ is the Lucas sequence of characteristic polynomial $x^2-ax\pm 1$ and $k,m,n,s$ are positive integers. In this note, we study the divisibility relation $U_m\mid U_{n+k}^s-U_n^s$, where ${\bf U}:=\{U_n\}_{n\ge 0}$ is the Lucas sequence of characteristic polynomial $x^2-ax\pm 1$ and $k,m,n,s$ are positive integers. △ Less

Submitted 24 November, 2015; v1 submitted 5 November, 2015; originally announced November 2015.

Comments: 19 pags. Submitted

MSC Class: 11B39

Collinear CM-points

Authors: Yuri Bilu, Florian Luca, David Masser

Abstract: André's celebrated Theorem of 1998 implies that each complex straight line (apart from obvious exceptions) contains at most finitely many points whose both coordinates are j-invariants of elliptic curves with complex multiplication. We show that there are only a finite number of such lines which contain more than two such points. As there is a line through any two complex points, this is best poss… ▽ More André's celebrated Theorem of 1998 implies that each complex straight line (apart from obvious exceptions) contains at most finitely many points whose both coordinates are j-invariants of elliptic curves with complex multiplication. We show that there are only a finite number of such lines which contain more than two such points. As there is a line through any two complex points, this is best possible. △ Less

Submitted 27 November, 2016; v1 submitted 28 March, 2015; originally announced March 2015.

Comments: Minor changes suggested by the referee

Journal ref: Alg. Number Th. 11 (2017) 1047-1087

Rational Products of Singular Moduli

Authors: Yuri Bilu, Florian Luca, Amalia Pizarro-Madariaga

Abstract: We determine couples of singular moduli which have rational products We determine couples of singular moduli which have rational products △ Less

Submitted 28 July, 2015; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: Accepted in JNT

Rational points on analytic varieties

Authors: Alexey Beshenov, Margaret Bilu, Yuri Bilu, Purusottam Rath

Abstract: These are expanded notes of the mini-courses on Pila's work that Yuri Bilu gave in Basel in April 2011, Yaroslavl in August 2011 and Chennai in February 2012. The topics covered include the Bombieri-Pila theorem, its extensions and applications to some prominent conjectures (Manin-Mumford, André-Oort). These are expanded notes of the mini-courses on Pila's work that Yuri Bilu gave in Basel in April 2011, Yaroslavl in August 2011 and Chennai in February 2012. The topics covered include the Bombieri-Pila theorem, its extensions and applications to some prominent conjectures (Manin-Mumford, André-Oort). △ Less

Submitted 4 January, 2015; v1 submitted 6 August, 2014; originally announced August 2014.

Comments: Lecture notes; accepted for publication at the "EMS Surveys in Mathematical Sciences"

CM-Points on Straight Lines

Authors: Bill Allombert, Yuri Bilu, Amalia Pizarro-Madariaga

Abstract: We prove that, with "obvious" exceptions, a CM-point (j(τ),j(τ')) cannot belong to a straight line in C^2 defined over Q. This generalizes a result of Kühne, who proved this for the line x+y=1. We prove that, with "obvious" exceptions, a CM-point (j(τ),j(τ')) cannot belong to a straight line in C^2 defined over Q. This generalizes a result of Kühne, who proved this for the line x+y=1. △ Less

Submitted 29 October, 2014; v1 submitted 5 June, 2014; originally announced June 2014.

Comments: Accepted for publication in "Analytic Number Theory" (dedicated do H. Maier), Springer, to appear

Computing integral points on X_ns^+(p)

Authors: Aurélien Bajolet, Yuri Bilu, Benjamin Matschke

Abstract: We describe an algorithm for computing integral points on the modular curve of prime level p associated to the normalizer of a non-split Cartan subgroup of GL_2(F_p). Using our method, we show that for 7<p<101 the only integral points on this curve are the CM-points. We describe an algorithm for computing integral points on the modular curve of prime level p associated to the normalizer of a non-split Cartan subgroup of GL_2(F_p). Using our method, we show that for 7<p<101 the only integral points on this curve are the CM-points. △ Less

Submitted 21 November, 2020; v1 submitted 4 December, 2012; originally announced December 2012.

Comments: To appear in Algebra and Number Theory

Journal ref: Alg. Number Th. 15 (2021) 569-608

On the practically interesting instances of MAXCUT

Authors: Yonatan Bilu, Amit Daniely, Nati Linial, Michael Saks

Abstract: The complexity of a computational problem is traditionally quantified based on the hardness of its worst case. This approach has many advantages and has led to a deep and beautiful theory. However, from the practical perspective, this leaves much to be desired. In application areas, practically interesting instances very often occupy just a tiny part of an algorithm's space of instances, and the v… ▽ More The complexity of a computational problem is traditionally quantified based on the hardness of its worst case. This approach has many advantages and has led to a deep and beautiful theory. However, from the practical perspective, this leaves much to be desired. In application areas, practically interesting instances very often occupy just a tiny part of an algorithm's space of instances, and the vast majority of instances are simply irrelevant. Addressing these issues is a major challenge for theoretical computer science which may make theory more relevant to the practice of computer science. Following Bilu and Linial, we apply this perspective to MAXCUT, viewed as a clustering problem. Using a variety of techniques, we investigate practically interesting instances of this problem. Specifically, we show how to solve in polynomial time distinguished, metric, expanding and dense instances of MAXCUT under mild stability assumptions. In particular, $(1+ε)$-stability (which is optimal) suffices for metric and dense MAXCUT. We also show how to solve in polynomial time $Ω(\sqrt{n})$-stable instances of MAXCUT, substantially improving the best previously known result. △ Less

Submitted 22 May, 2012; originally announced May 2012.

Remarks on Eisenstein

Authors: Yuri Bilu, Alexander Borichev

Abstract: We obtain a fully explicit quantitative version of the Eisenstein theorem on algebraic power series which is more suitable for certain applications than the existing version due to Dwork, Robba, Schmidt and van der Poorten. We also treat ramified series and Laurent series, and we demonstrate some applications; for instance, we estimate the discriminant of the number field generated by the coeffici… ▽ More We obtain a fully explicit quantitative version of the Eisenstein theorem on algebraic power series which is more suitable for certain applications than the existing version due to Dwork, Robba, Schmidt and van der Poorten. We also treat ramified series and Laurent series, and we demonstrate some applications; for instance, we estimate the discriminant of the number field generated by the coefficients. △ Less

Submitted 21 December, 2011; v1 submitted 10 December, 2011; originally announced December 2011.

Comments: In Version 2 Section 7 is added and Section 8 (former 7) is modified

Rational points on X_0^+ (p^r)

Authors: Yu. Bilu, P. Parent, M. Rebolledo

Abstract: We show how the recent isogeny bounds due to É. Gaudron and G. Rémond allow to obtain the triviality of X_0^+ (p^r)(Q), for r>1 and p a prime exceeding 2.10^{11}. This includes the case of the curves X_split (p). We then prove, with the help of computer calculations, that the same holds true for p in the range 10 < p < 10^{14}, p\neq 13. The combination of those results completes the qualitative s… ▽ More We show how the recent isogeny bounds due to É. Gaudron and G. Rémond allow to obtain the triviality of X_0^+ (p^r)(Q), for r>1 and p a prime exceeding 2.10^{11}. This includes the case of the curves X_split (p). We then prove, with the help of computer calculations, that the same holds true for p in the range 10 < p < 10^{14}, p\neq 13. The combination of those results completes the qualitative study of such sets of rational points undertook in previous papers, with the exception of p=13. △ Less

Submitted 24 April, 2011; originally announced April 2011.

Comments: 16 pages, no figure

MSC Class: AMS 2010 Mathematics Subject Classification: 11G18 (primary); 11G05; 11G16 (secondary)

Quantitative Chevalley-Weil theorem for curves

Authors: Yuri Bilu, Marco Strambi, Andrea Surroca

Abstract: The classical Chevalley-Weil theorem asserts that for an étale covering of projective varieties over a number field K, the discriminant of the field of definition of the fiber over a K-rational point is uniformly bounded. We obtain a fully explicit version of this theorem in dimension 1. The classical Chevalley-Weil theorem asserts that for an étale covering of projective varieties over a number field K, the discriminant of the field of definition of the fiber over a K-rational point is uniformly bounded. We obtain a fully explicit version of this theorem in dimension 1. △ Less

Submitted 8 November, 2012; v1 submitted 9 August, 2009; originally announced August 2009.

Comments: version 4: minor inaccuracies in Lemma 3.4 and Proposition 5.2 corrected

MSC Class: 11G30; 14H25

Runge's Method and Modular Curves

Authors: Yuri Bilu, Pierre Parent

Abstract: We bound the j-invariant of S-integral points on arbitrary modular curves over arbitrary fields, in terms of the congruence group defining the curve, assuming a certain Runge condition is satisfied by our objects. We then apply our bounds to prove that for sufficiently large prime p, the points of $X_0^+ (p^r)(Q)$ with r>1 are either cusps or CM points. This can be interpreted as the non-existen… ▽ More We bound the j-invariant of S-integral points on arbitrary modular curves over arbitrary fields, in terms of the congruence group defining the curve, assuming a certain Runge condition is satisfied by our objects. We then apply our bounds to prove that for sufficiently large prime p, the points of $X_0^+ (p^r)(Q)$ with r>1 are either cusps or CM points. This can be interpreted as the non-existence of quadratic elliptic Q-curves with higher prime-power degree. △ Less

Submitted 19 July, 2009; originally announced July 2009.

Comments: Nineteen pages

MSC Class: 11G18

The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

Authors: Yuri Bilu

Abstract: During the last decade the Subspace Theorem found several quite unexpected applications, mainly in the Diophantine Analysis and in the Transcendence Theory. Among the great variety of spectacular results, I have chosen several which are technically simpler and which allow one to appreciate how miraculously does the Subspace Theorem emerge in numerous situations, implying beautiful solutions to d… ▽ More During the last decade the Subspace Theorem found several quite unexpected applications, mainly in the Diophantine Analysis and in the Transcendence Theory. Among the great variety of spectacular results, I have chosen several which are technically simpler and which allow one to appreciate how miraculously does the Subspace Theorem emerge in numerous situations, implying beautiful solutions to difficult problems hardly anybody hoped to solve so easily. The three main topics discussed in this article are: the work of Adamczewski and Bugeaud on complexity of algebraic numbers; the work of Corvaja and Zannier on Diophantine equations with power sums; the work of Corvaja and Zannier on integral points on curves and surfaces, and the subsequent development due to Levin and Autissier. In particular, we give a complete proof of the beautiful theorem of Levin and Autissier: an affine surface with 4 (or more) properly intersecting ample divisors at infinity cannot have a Zariski dense set of integral points. △ Less

Submitted 13 July, 2009; originally announced July 2009.

Comments: Séminaire Bourbaki, Exposé 967, 59ème année (2006-2007); Astérisque 317 (2008), 1-38

Journal ref: Séminaire Bourbaki, Exposé 967, 59ème année (2006-2007), France (2006)

Characterizing algebraic curves with infinitely many integral points

Authors: Yuri Bilu, Alvanos Paraskevas, Poulakis Dimitrios

Abstract: A classical theorem of Siegel asserts that the set of S-integral points of an algebraic curve C over a number field is finite unless C has genus 0 and at most two points at infinity. In this paper we give necessary and sufficient conditions for C to have infinitely many S-integral points. A classical theorem of Siegel asserts that the set of S-integral points of an algebraic curve C over a number field is finite unless C has genus 0 and at most two points at infinity. In this paper we give necessary and sufficient conditions for C to have infinitely many S-integral points. △ Less

Submitted 13 July, 2009; originally announced July 2009.

Comments: Int. J. Number Th. 5 (2009), 585-590

MSC Class: 11G30; 14H25; 11D45

Journal ref: Intertantional Journal of Number Theory 5 (2009) 585-590

Are stable instances easy?

Authors: Yonatan Bilu, Nathan Linial

Abstract: We introduce the notion of a stable instance for a discrete optimization problem, and argue that in many practical situations only sufficiently stable instances are of interest. The question then arises whether stable instances of NP--hard problems are easier to solve. In particular, whether there exist algorithms that solve correctly and in polynomial time all sufficiently stable instances of s… ▽ More We introduce the notion of a stable instance for a discrete optimization problem, and argue that in many practical situations only sufficiently stable instances are of interest. The question then arises whether stable instances of NP--hard problems are easier to solve. In particular, whether there exist algorithms that solve correctly and in polynomial time all sufficiently stable instances of some NP--hard problem. The paper focuses on the Max--Cut problem, for which we show that this is indeed the case. △ Less

Submitted 17 June, 2009; originally announced June 2009.

Comments: 14 pages

Effective Siegel's theorem for modular curves

Authors: Yuri Bilu, Marco Illengo

Abstract: We prove that integral points can be effectively determined on all but finitely many modular curves, and on all but one modular curve of prime power level. We prove that integral points can be effectively determined on all but finitely many modular curves, and on all but one modular curve of prime power level. △ Less

Submitted 25 February, 2010; v1 submitted 4 May, 2009; originally announced May 2009.

Comments: 13 pages, version of February 25, 2010 (minor changes)

MSC Class: 11G30

Quantitative Riemann existence theorem over a number field

Authors: Yuri F. Bilu, Marco Strambi

Abstract: Given a covering of the projective line with ramifications defined over a number field, we define a plain model of the algebraic curve realizing the Riemann existence theorem for this covering, and bound explicitly the defining equation of this curve and its definition field. Given a covering of the projective line with ramifications defined over a number field, we define a plain model of the algebraic curve realizing the Riemann existence theorem for this covering, and bound explicitly the defining equation of this curve and its definition field. △ Less

Submitted 2 August, 2009; v1 submitted 1 September, 2008; originally announced September 2008.

Comments: 23 pages, version 4, minor changes

MSC Class: 11G30

Serre's uniformity problem in the split Cartan case

Authors: Yuri Bilu, Pierre Parent

Abstract: We prove that there exists an integer p_0 such that X_split(p)(Q) is made of cusps and CM-points for any prime p>p_0. Equivalently, for any non-CM elliptic curve E over Q and any prime p>p_0 the image of the Galois representation induced by the Galois action on the p-division points of E is not contained in the normalizer of a split Cartan subgroup. This gives a partial answer to an old question… ▽ More We prove that there exists an integer p_0 such that X_split(p)(Q) is made of cusps and CM-points for any prime p>p_0. Equivalently, for any non-CM elliptic curve E over Q and any prime p>p_0 the image of the Galois representation induced by the Galois action on the p-division points of E is not contained in the normalizer of a split Cartan subgroup. This gives a partial answer to an old question of Serre. △ Less

Submitted 2 March, 2009; v1 submitted 30 July, 2008; originally announced July 2008.

Comments: 11 pages; Version 5; minor revision (a few bugs corrected, some references added)

MSC Class: 11G18; 11G05; 11G16

Bounds for Integral j -Invariants and Cartan Structures on Elliptic Curves

Authors: Yuri Bilu, Pierre Parent

Abstract: We bound the j -invariant of integral points on a modular curve in terms of the congruence group defining the curve. We apply this to prove that the modular curve Xsplit (p3) has no non-trivial rational point if p is a sufficiently large prime number. Assuming the GRH, one can replace p3 by p2 . We bound the j -invariant of integral points on a modular curve in terms of the congruence group defining the curve. We apply this to prove that the modular curve Xsplit (p3) has no non-trivial rational point if p is a sufficiently large prime number. Assuming the GRH, one can replace p3 by p2 . △ Less

Submitted 15 July, 2008; originally announced July 2008.

MSC Class: 11G18 (Primary); 11G05; 11G16 (Secondary)

The evolution of microRNA-regulation in duplicated genes facilitates expression divergence

Authors: Yonatan Bilu

Abstract: Background: The evolution of microRNA regulation in metazoans is a mysterious process: MicroRNA sequences are highly conserved among distal organisms, but on the other hand, there is no evident conservation of their targets. Results: We study this extensive rewiring of the microRNA regulatory network by analyzing the evolutionary trajectories of duplicated genes in D. melanogatser. We find that… ▽ More Background: The evolution of microRNA regulation in metazoans is a mysterious process: MicroRNA sequences are highly conserved among distal organisms, but on the other hand, there is no evident conservation of their targets. Results: We study this extensive rewiring of the microRNA regulatory network by analyzing the evolutionary trajectories of duplicated genes in D. melanogatser. We find that in general microRNA-targeted genes tend to avoid gene duplication. However, in cases where gene duplication is evident, we find that the gene that displays high divergence from the ancestral gene at the sequence level is also likely to be associated in an opposing manner with the microRNA regulatory system - if the ancestral gene is a miRNA target then the divergent gene tends not to be, and vice versa. Conclusions: This suggests that miRNAs not only have a role in conferring expression robustness, as was suggested by previous works, but are also an accessible tool in evolving expression divergence. △ Less

Submitted 26 February, 2008; originally announced February 2008.

On the functional properties of microRNA-mediated feed forward loops

Authors: Yonatan Bilu

Abstract: Motivation: Recent studies of genomic-scale regulatory networks suggested that a feed-forward loop (FFL) circuitry is a key component of many such networks. This led to a study of the functional properties of different FFL types, where the regulatory elements are transcription factors. Results: Here we investigate these properties when the mediating regulatory element of the loop is a microRNA… ▽ More Motivation: Recent studies of genomic-scale regulatory networks suggested that a feed-forward loop (FFL) circuitry is a key component of many such networks. This led to a study of the functional properties of different FFL types, where the regulatory elements are transcription factors. Results: Here we investigate these properties when the mediating regulatory element of the loop is a microRNA. We find that many of the FFL properties are enhanced within this setup. We then proceed to identify all such FFLs in the D. Melanogaster regulatory network. We observe that in FFLs rooted at the same transcription factor there are significant correlations between the number of predicted binding sites for the transcription factor and for the microRNA. Conclusions: Based on a modeling approach we suggest that these correlations may be an outcome of the type of FFL preferred by the transcription factor. This may help elucidate the type of regulation the TF confers. △ Less

Submitted 26 February, 2008; v1 submitted 23 February, 2008; originally announced February 2008.