- arXiv.org
- Space Physics
- Popular Physics
- Data Analysis, Statistics and Probability
- History and Philosophy of Physics
- Optics
- Fluid Dynamics
- Physics and Society
- Biological Physics
- Atomic and Molecular Clusters
- General Physics
- Geophysics
- Atomic Physics
- Plasma Physics
- Medical Physics
- Accelerator Physics
- Instrumentation and Detectors
- Chemical Physics
- Computational Physics
- Classical Physics
- Atmospheric and Oceanic Physics
- Physics Education

- Information Theory
- Number Theory
- Analysis of PDEs
- Statistics Theory
- History and Overview
- Representation Theory
- Mathematical Physics
- Complex Variables
- Group Theory
- Symplectic Geometry
- Probability
- Combinatorics
- Algebraic Geometry
- Metric Geometry
- Operator Algebras
- Geometric Topology
- Differential Geometry
- Optimization and Control
- Logic
- Quantum Algebra
- Numerical Analysis
- Dynamical Systems
- General Topology
- General Mathematics
- Spectral Theory
- Algebraic Topology
- Commutative Algebra
- Classical Analysis and ODEs
- Rings and Algebras
- Category Theory
- Functional Analysis
- K-Theory and Homology

- General Literature
- Information Theory
- Formal Languages and Automata Theory
- Symbolic Computation
- Computational Complexity
- Information Retrieval
- Multiagent Systems
- Learning
- Numerical Analysis
- Programming Languages
- Computer Vision and Pattern Recognition
- Other Computer Science
- Emerging Technologies
- Operating Systems
- Sound
- Social and Information Networks
- Databases
- Neural and Evolutionary Computing
- Software Engineering
- Mathematical Software
- Artificial Intelligence
- Digital Libraries
- Computer Science and Game Theory
- Cryptography and Security
- Performance
- Systems and Control
- Distributed, Parallel, and Cluster Computing
- Computational Engineering, Finance, and Science
- Human-Computer Interaction
- Hardware Architecture
- Discrete Mathematics
- Computation and Language
- Networking and Internet Architecture
- Data Structures and Algorithms
- Computers and Society
- Graphics
- Multimedia
- Robotics
- Computational Geometry
- Logic in Computer Science

- In this paper we deal with a non-linear Diophantine equation which arises from the determinant computation of an integer matrix. We show how to find a solution, when it exists. We define an equivalence relation and show how the set of all the solutions can be partitioned in a finite set of equivalence classes and find a set of solutions, one for each of these classes. We find a formula to express all the solutions and a formula to compute the cardinality of the set of fundamental solutions. An algorithm to compute the solutions is proposed and clarified with some examples.
- Jul 25 2017 math.NT arXiv:1707.07519v1For an integer $ k\geq 2 $, let $ \{F^{(k)}_{n} \}_{n\geq 0}$ be the $ k$--generalized Fibonacci sequence which starts with $ 0, \ldots, 0, 1 $ ($ k $ terms) and each term afterwards is the sum of the $ k $ preceding terms. In this paper, we find all integers $c$ having at least two representations as a difference between a $k$--generalized Fibonacci number and a powers of 2 for any fixed $k \geqslant 4$. This paper extends previous work from [9] for the case $k=2$ and [6] for the case $k=3$.
- Let $\mathcal{I}$ be an analytic P-ideal [respectively, a summable ideal] on the positive integers and let $(x_n)$ be a sequence taking values in a metric space $X$. First, it is shown that the set of ideal limit points of $(x_n)$ is an $F_\sigma$-set [resp., a closet set]. Let us assume that $X$ is also separable and the ideal $\mathcal{I}$ satisfies certain additional assumptions, which however includes several well-known examples, e.g., the collection of sets with zero asymptotic density, sets with zero logarithmic density, and some summable ideals. Then, it is shown that the set of ideal limit points of $(x_n)$ is equal to the set of ideal limit points of almost all its subsequences.
- Jul 25 2017 math.NT arXiv:1707.07458v1For a given form $F\in \mathbb Z[x_1,\dots,x_s]$ we apply the circle method in order to give an asymptotic estimate of the number of $m$-tuples $\mathbf x_1, \dots, \mathbf x_m$ spanning a linear space on the hypersurface $F(\mathbf x) = 0$ with the property that $\det ( (\mathbf x_1, \dots, \mathbf x_m)^t \, (\mathbf x_1, \dots, \mathbf x_m)) = b$. This allows us in some measure to count rational linear spaces on hypersurfaces whose underlying integer lattice is primitive.
- Let $\{\rho_\ell\}_\ell$ be the system of $\ell$-adic representations arising from the $i$th $\ell$-adic cohomology of a complete smooth variety $X$ defined over a number field $K$. Denote the image of $\rho_\ell$ by $\Gamma_\ell$ and its Zariski closure, which is a linear algebraic group over $\mathbb{Q}_\ell$, by $\mathbf{G}_\ell$. We prove that $\mathbf{G}_\ell^{red}$, the quotient of $\mathbf{G}_\ell^\circ$ by its unipotent radical, is unramified over a totally ramified extension of $\mathbb{Q}_\ell$ for all sufficiently large $\ell$. We give a sufficient condition on $\{\rho_\ell\}_\ell$ such that for all sufficiently large $\ell$, $\Gamma_\ell$ is in some sense maximal compact in $\mathbf{G}_\ell(\mathbb{Q}_\ell)$. Since the condition is satisfied when $X$ is an abelian variety by the Tate conjecture, we obtain maximality of Galois actions for abelian varieties.
- Jul 25 2017 math.NT arXiv:1707.07315v1The purpose of this paper is to investigate the asymptotic behavior of automorphism groups of function fields when genus tends to infinity. Motivated by applications in coding and cryptography, we consider the maximum size of abelian subgroups of the automorphism group $\mbox{Aut}(F/\mathbb{F}_q)$ in terms of genus ${g_F}$ for a function field $F$ over a finite field $\mathbb{F}_q$. Although the whole group $\mbox{Aut}(F/\mathbb{F}_q)$ could have size $\Omega({g_F}^4)$, the maximum size $m_F$ of abelian subgroups of the automorphism group $\mbox{Aut}(F/\mathbb{F}_q)$ is upper bounded by $4g_F+4$ for $g_F\ge 2$. In the present paper, we study the asymptotic behavior of $m_F$ by defining $M_q=\limsup_{{g_F}\rightarrow\infty}\frac{m_F \cdot \log_q m_F}{{g_F}}$, where $F$ runs through all function fields over $\mathbb{F}_q$. We show that $M_q$ lies between $2$ and $3$ (or $4$) for odd characteristic (or for even characteristic, respectively). This means that $m_F$ grows much more slowly than genus does asymptotically. The second part of this paper is to study the maximum size $b_F$ of subgroups of $\mbox{Aut}(F/\mathbb{F}_q)$ whose order is coprime to $q$. The Hurwitz bound gives an upper bound $b_F\le 84(g_F-1)$ for every function field $F/\mathbb{F}_q$ of genus $g_F\ge 2$. We investigate the asymptotic behavior of $b_F$ by defining ${B_q}=\limsup_{{g_F}\rightarrow\infty}\frac{b_F}{{g_F}}$, where $F$ runs through all function fields over $\mathbb{F}_q$. Although the Hurwitz bound shows ${B_q}\le 84$, there are no lower bounds on $B_q$ in literature. One does not even know if ${B_q}=0$. For the first time, we show that ${B_q}\ge 2/3$ by explicitly constructing some towers of function fields in this paper.
- Jul 25 2017 math.NT arXiv:1707.07314v1A function field over a finite field is called maximal if it achieves the Hasse-Weil bound. Finding possible genera that maximal function fields achieve has both theoretical interest and practical applications to coding theory and other topics. As a subfield of a maximal function field is also maximal, one way to find maximal function fields is to find all subfields of a maximal function field. Due to the large automorphism group of the Hermitian function field, it is natural to find as many subfields of the Hermitian function field as possible. In literature, most of papers studied subfields fixed by subgroups of the decomposition group at one point (usually the point at infinity). This is because it becomes much more complicated to study the subfield fixed by a subgroup that is not contained in the decomposition group at one point. In this paper, we study subfields of the Hermitian function field fixed by subgroups that are not contained in the decomposition group of any point except the cyclic subgroups. It turns out that some new maximal function fields are found.
- Let $\pi$ be an irreducible cuspidal representation of $\mathrm{GL}_{kn}\left(\mathbb{F}_q\right)$. Assume that $\pi = \pi_{\theta}$, corresponds to a regular character $\theta$ of $\mathbb{F}_{q^{kn}}^{*}$. We consider the twisted Jacquet module of $\pi$ with respect to a non-degenerate character of the unipotent radical corresponding to the partition $(n^k)$ of $kn$. We show that, as a $\mathrm{GL}_{n}\left(\mathbb{F}_q\right)$-representation, this Jacquet module is isomorphic to $\pi_{\theta \upharpoonright_{\mathbb{F}_n^*}} \otimes \mathrm{St}^{k-1}$, where $\mathrm{St}$ is the Steinberg representation of $\mathrm{GL}_{n}\left(\mathbb{F}_q\right)$. This generalizes a theorem of D. Prasad, who considered the case $k=2$.
- Jul 25 2017 math.NT arXiv:1707.07307v1We use relative trace formula to prove a non-vanishing result and a subconvexity result for the twisted base change $L$-functions associated to Hilbert modular forms whose local components at ramified places are some supercuspidal representations. This generalizes the work of Feigon and Whitehouse.
- We present an algorithm for the computation of period matrices and the Abel-Jacobi map of complex superelliptic curves given by an equation $y^m=f(x)$. It relies on rigorous numerical integration of differentials between Weierstrass points, which is done using Gauss method if the curve is hyperelliptic ($m=2$) or the Double-Exponential method. We take linear combination of these integrals to obtain the actual periods on a symplectic basis of loops. The algorithm is implemented and makes it possible to reach thousands of digits accuracy even on large genus curves.
- We recall the notion of nearest integer continued fractions over the Euclidean imaginary quadratic fields $K$ and characterize the "badly approximable" numbers, ($z$ such that there is a $C(z)>0$ with $|z-p/q|\geq C/|q|^2$ for all $p/q\in K$), by boundedness of the partial quotients in the continued fraction expansion of $z$. Applying this algorithm to "tagged" indefinite integral binary Hermitian forms demonstrates the existence of entire circles in $\mathbb{C}$ whose points are badly approximable over $K$, with effective constants. By other methods (the Dani correspondence), we prove the existence of circles of badly approximable numbers over \textitany imaginary quadratic field, with loss of effectivity. Among these badly approximable numbers are algebraic numbers of every even degree over $\mathbb{Q}$, which we characterize. All of the examples we consider are associated with cocompact Fuchsion subgroups of the Bianchi groups $SL_2(\mathcal{O})$, where $\mathcal{O}$ is the ring of integers in an imaginary quadratic field.
- Jul 25 2017 math.NT arXiv:1707.07229v1In this paper, we find all integers c having at least two representations as a difference between a Fibonacci number and a power of 2.
- Jul 25 2017 math.NT arXiv:1707.07227v1In this paper, we find all Fibonacci numbers which are products of two Pell numbers and all Pell numbers which are products of two Fibonacci numbers.
- We fix a counting function of multiplicities of rational points in a hypersurface of a projective space, and take the sum over all rational points of a bounded height. An upper bound for the sum with respect to this counting function will be given in terms of the degree of the hypersurface, the dimension of the singular locus and the upper bound of height. This upper bound gives a description of the complexity of the singular locus of this hypersurface.
- On propose une méthode de résolution effective de l'équation diophantienne $(E_2): ax^2-by^2=1$ où $a$ et $b$ sont des entiers naturels non nuls et premiers entre eux. Cette méthode s'appuie sur le développement en fraction continuée de certains nombres irrationnels quadratiques que l'on décrit complètement. On commence par utiliser ces développements pour résoudre certaines équations de Pell-Fermat généralisées avant d'appliquer à l'équation $(E_2)$ les résultats obtenus.
- Jul 25 2017 math.NT arXiv:1707.07027v1Let $f$ be a holomorphic cusp form for $SL_2(\mathbb{Z})$ of weight $k>1$. In these notes, we follow Munshi to prove the Burgess bound $$ L(1/2+it,f)\ll_f,\varepsilon (1+|t|)^1/2-1/8+\varepsilon. $$
- Jul 25 2017 math.NT arXiv:1707.07018v1For a prime number $p$, we give a new restriction on pro-$p$ groups $G$ which are realizable as the maximal pro-$p$ Galois group $G_F(p)$ for a field $F$ containing a root of unity of order $p$. This restriction arises from Kummer Theory and the structure of the maximal $p$-radical extension of $F$. We study it in the abstract context of pro-$p$ groups $G$ with a continuous homomorphism $\theta\colon G\to1+p\mathbb{Z}_p$, and characterize it cohomologically, and in terms of 1-cocycles on $G$. This is used to produce new examples of pro-$p$ groups which do not occur as maximal pro-$p$ Galois groups of fields as above.

Every Runner is Sometimes Lonely

Mario Jun 08 2016 06:58 UTCMāris Ozols Mar 19 2016 16:34 UTC

...(continued)This result has caused quite a lot of excitement in number theory (see the articles in [Quanta Magazine][1] and [Nature News][2]).

It turns out that the last digits of consecutive primes are not uniformly distributed but rather tend to be anti-correlated. For example, in base 10 the last digit of

Zoltán Zimborás Sep 18 2015 04:26 UTC

I can only quote Derrick Stolee: 'Terry Tao just dropped a bomb'. :)

Charles Greathouse Nov 17 2014 18:38 UTC

...(continued)The basic idea of this paper is to test whether the decimal digits of three special constants $(\pi,e,\sqrt2)$ act as though chosen from a uniform distribution, based on their first ten million digits. In particular the author studies the sum of the digits compared to the expected behavior by the la

Noon van der Silk Jun 20 2013 07:29 UTC

This paper seems pretty interesting, really. (In how it would relate to the algorithm of Shor). Does anyone know more about this work? Is it possible to improve the restriction on the characteristic size? Is that even an important restriction?

Noon van der Silk Jun 22 2013 01:22 UTC

Thanks Anthony and Juan.

There's another blog post on this here: http://ellipticnews.wordpress.com/2013/06/21/quasi-polynomial-time-algorithm-for-discrete-logarithm-in-finite-fields-of-smallmedium-characteristic/.

Juan Bermejo-Vega Jun 20 2013 15:09 UTC

...(continued)@Noon Silk. I do not know what to say about heuristic 3, but, in relation to your first question, let's assume that all heuristics are valid and apply theorem 2 to solve the Discrete Logarithm over Z_q*, where q is prime. As far as I understood (someone please correct me if I am wrong) the algorithm

Anthony Jun 20 2013 07:42 UTC

There was a discussion about a previous paper of Joux (with a weaker result) on this blog post:

https://rjlipton.wordpress.com/2013/05/06/a-most-perplexing-mystery

Alessandro Jul 12 2013 03:45 UTC

And here is a question on cstheory.SE about this paper: http://cstheory.stackexchange.com/q/18134/1542