Showing 51–100 of 200 results for author: Luca, F

The Three Hundred project: galaxy cluster mergers and their impact on the stellar component of brightest cluster galaxies

Authors: Ana Contreras-Santos, Alexander Knebe, Frazer Pearce, Roan Haggar, Meghan Gray, Weiguang Cui, Gustavo Yepes, Marco De Petris, Federico De Luca, Chris Power, Robert Mostoghiu, Sebastián E. Nuza, Matthias Hoeft

Abstract: Using the data set of The Three Hundred project, i.e. a suite of 324 hydrodynamical resimulations of cluster-sized haloes, we study galaxy cluster mergers and their effect on colour and luminosity changes of their brightest cluster galaxies (BCG). We track the main progenitor of each halo at z=0 and search for merger situations based on its mass accretion history, defining mergers as very rapid in… ▽ More Using the data set of The Three Hundred project, i.e. a suite of 324 hydrodynamical resimulations of cluster-sized haloes, we study galaxy cluster mergers and their effect on colour and luminosity changes of their brightest cluster galaxies (BCG). We track the main progenitor of each halo at z=0 and search for merger situations based on its mass accretion history, defining mergers as very rapid increases in the halo mass. Based upon the evolution of the dynamical state of the cluster we define a pre- and post-merger phase. We create a list of all these events and statistically study their mass ratio and timescales, with the former verifying that all instances are in fact major mergers. By comparing to a control sample of clusters without mergers, we study the effect mergers have on the stellar component of the BCG. Analysing the mass, age and metallicity of the BCG stellar particles, we find that the stellar content of BCGs grows significantly during mergers and, even though the main growth mechanism is the accretion of older stars, there is even a burst in star formation induced by the merger. In our simulations, BCGs in mergers form in median around 70 per cent more stars than those normally growing, although this depends on the radius considered for defining the BCG. Regarding observable properties, we see an increase in SDSS-u luminosity of 20 per cent during mergers, accompanied by a slightly slower increase of the galaxy g-r colour as compared to the control sample. △ Less

Submitted 28 January, 2022; originally announced January 2022.

Comments: 18 pages, 12 figures. Accepted for publication in MNRAS

Numbers of the form $kf(k)$

Authors: Mikhail R. Gabdullin, Vitalii V. Iudelevich, Florian Luca

Abstract: For a function $f\colon \mathbb{N}\to\mathbb{N}$, define $N^{\times}_{f}(x)=\#\{n\leq x: n=kf(k) \mbox{ for some $k$} \}$. Let $τ(n)=\sum_{d|n}1$ be the divisor function, $ω(n)=\sum_{p|n}1$ be the prime divisor function, and $\varphi(n)=\#\{1\leq k\leq n: (k,n)=1 \}$ be Euler's totient function. We prove that \begin{gather*} \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! 1) \quad N^{\times}_τ(x)… ▽ More For a function $f\colon \mathbb{N}\to\mathbb{N}$, define $N^{\times}_{f}(x)=\#\{n\leq x: n=kf(k) \mbox{ for some $k$} \}$. Let $τ(n)=\sum_{d|n}1$ be the divisor function, $ω(n)=\sum_{p|n}1$ be the prime divisor function, and $\varphi(n)=\#\{1\leq k\leq n: (k,n)=1 \}$ be Euler's totient function. We prove that \begin{gather*} \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! 1) \quad N^{\times}_τ(x) \asymp \frac{x}{(\log x)^{1/2}}; \\ 2) \quad N^{\times}_ω(x) = (1+o(1))\frac{x}{\log\log x}; \\ \!\!\!\!\!\!\!\!\! 3) \quad N^{\times}_{\varphi}(x) = (c_0+o(1))x^{1/2}, \end{gather*} where $c_0=1.365...$\,. △ Less

Submitted 30 September, 2022; v1 submitted 23 January, 2022; originally announced January 2022.

Comments: The error term in Theorem 1.2 is improved in this version of the paper

Concatenations of Terms of an Arithmetic Progression

Authors: Florian Luca, Bertrand Teguia Tabuguia

Abstract: Let $\left(u(n)\right)_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $\left(u(n)\right)_{n\in\mathbb{N}}$ in base $b$ from the right; $s_r(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and… ▽ More Let $\left(u(n)\right)_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $\left(u(n)\right)_{n\in\mathbb{N}}$ in base $b$ from the right; $s_r(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and $\left(s_*(n)\right)_{n\in\mathbb{N}}$, given by $s_*(0)=u(0)$, $s_*(n)=\overline{s_r(n-1)s(n)}^b, n\geq 1$. We construct explicit formulas for these sequences and use basic concepts of linear difference operators to prove they are not P-recursive (holonomic). We also present an alternative proof that follows directly from their definitions. We implemented $\left(s(n)\right)_{n\in\mathbb{N}}$ and $\left(s_r(n)\right)_{n\in\mathbb{N}}$ in the decimal base when $(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$. △ Less

Submitted 14 May, 2024; v1 submitted 14 January, 2022; originally announced January 2022.

Comments: Substantial revision of the previous version. 15 pages, 27 references

MSC Class: Primary: 11K31; 11Y55; Secondary: 68W30; 11-04

Deformation mechanism of WC single crystals under nanoindentation: Effects of surface defects and orientation on pop-in and hysteresis

Authors: Hannah Zhang, Francois De Luca, Haibin Wang, Ken Mingard, Mark Gee

Abstract: Nanoindentation was carried out on pure tungsten carbide (WC) on the basal (0001) and prismatic (1010) planes, using Berkovich and spherical indenters, in both single load and multi-load testing. The work focuses on correlating the load-displacement curves, including elastic to plastic deformation, size effect and hysteresis with the deformation behaviour of WC. With different specimen preparation… ▽ More Nanoindentation was carried out on pure tungsten carbide (WC) on the basal (0001) and prismatic (1010) planes, using Berkovich and spherical indenters, in both single load and multi-load testing. The work focuses on correlating the load-displacement curves, including elastic to plastic deformation, size effect and hysteresis with the deformation behaviour of WC. With different specimen preparation processes, the elastic to plastic deformation started at different threshold loads: This observation was found to be due to the variation in surface dislocation density. Staircase deformation was observed thought to be caused by dislocation motion and the formation of slip bands; sudden displacement discontinuities in the load-displacement response - associated with dislocation loop nucleation - occurred at, or near the theoretical shear strength. Furthermore, discontinuities in load-displacement curves were also used to confirm that hysteresis loops were a result of plastic deformation, as they when the loading was purely elastic. △ Less

Submitted 7 January, 2022; originally announced January 2022.

Comments: 21 pages, 7 figures

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

Multicriteria Scalable Graph Drawing via Stochastic Gradient Descent, $(SGD)^2$

Authors: Reyan Ahmed, Felice De Luca, Sabin Devkota, Stephen Kobourov, Mingwei Li

Abstract: Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically optimize one such criterion, usually at the expense of others. We propose a layout approach, Multicriteria Scalable Graph Drawing via Stochastic Gradient Descen… ▽ More Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically optimize one such criterion, usually at the expense of others. We propose a layout approach, Multicriteria Scalable Graph Drawing via Stochastic Gradient Descent, $(SGD)^2$, that can handle multiple readability criteria. $(SGD)^2$ can optimize any criterion that can be described by a differentiable function. Our approach is flexible and can be used to optimize several criteria that have already been considered earlier (e.g., obtaining ideal edge lengths, stress, neighborhood preservation) as well as other criteria which have not yet been explicitly optimized in such fashion (e.g., node resolution, angular resolution, aspect ratio). The approach is scalable and can handle large graphs. A variation of the underlying approach can also be used to optimize many desirable properties in planar graphs, while maintaining planarity. Finally, we provide quantitative and qualitative evidence of the effectiveness of $(SGD)^2$: we analyze the interactions between criteria, measure the quality of layouts generated from $(SGD)^2$ as well as the runtime behavior, and analyze the impact of sample sizes. The source code is available on github and we also provide an interactive demo for small graphs. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Comments: arXiv admin note: text overlap with arXiv:2008.05584

Cosmology with the SZ spectrum: measuring the Universe's temperature with galaxy clusters

Authors: Gemma Luzzi, Emanuele D'Angelo, Hervé Bourdin, Federico De Luca, Pasquale Mazzotta, Filippo Oppizzi, Gianluca Polenta

Abstract: The hot gas in clusters of galaxies creates a distinctive spectral distortion in the cosmic microwave background (CMB) via the Sunyaev-Zel'dovich (SZ) effect. The spectral signature of the SZ can be used to measure the CMB temperature at cluster redshift ($T_{\rm CMB}(z)$) and to constrain the monopole of the y-type spectral distortion of the CMB spectrum. In this work, we start showing the measur… ▽ More The hot gas in clusters of galaxies creates a distinctive spectral distortion in the cosmic microwave background (CMB) via the Sunyaev-Zel'dovich (SZ) effect. The spectral signature of the SZ can be used to measure the CMB temperature at cluster redshift ($T_{\rm CMB}(z)$) and to constrain the monopole of the y-type spectral distortion of the CMB spectrum. In this work, we start showing the measurements of $T_{\rm CMB}(z)$ for a sample extracted from the Second Catalog of galaxy clusters produced by Planck (PSZ2) and containing 75 clusters selected from CHEX-MATE. Then we show the forecasts for future CMB experiments about the constraints on the monopole of the y-type spectral distortion of the CMB spectrum via the spectrum of the SZE. △ Less

Submitted 5 November, 2021; originally announced November 2021.

Comments: To appear in the Proceedings of the International Conference entitled "mm Universe @ NIKA2", Rome (Italy), June 2021, EPJ Web of conferences

Pressure profiles of distant Galaxy clusters with Planck-SPT data

Authors: Filippo Oppizzi, Federico De Luca, Hervé Bourdin, Pasquale Mazzotta, the CHEX-MATE collaboration

Abstract: We present a full set of numerical tools to extract Galaxy Cluster pressure profiles from the joint analysis of Planck and South Pole Telescope (SPT) observations. Pressure profiles are powerful tracers of the thermodynamic properties and the internal structure of the clusters. Tracing the pressure over the cosmic times allows to constraints the evolution of the cluster structure and the contribut… ▽ More We present a full set of numerical tools to extract Galaxy Cluster pressure profiles from the joint analysis of Planck and South Pole Telescope (SPT) observations. Pressure profiles are powerful tracers of the thermodynamic properties and the internal structure of the clusters. Tracing the pressure over the cosmic times allows to constraints the evolution of the cluster structure and the contribution of astrophysical phenomena. SPT and Planck are complementary to constrain the cluster structure at various spatial scales. The SPT cluster catalogue counts 677 cluster candidates up to redshift 1.7, it is a nearly mass limited sample, an ideal benchmark to test cluster evolution. We developed a pipeline to first separate the cluster signal from the background and foreground components and then jointly fit a parametric profile model on a combination of Planck and SPT data. We validate our algorithm on a sub-sample of six clusters, common to the SPT and the CHEX-MATE catalogues, comparing the results with the profiles obtained from X-ray observations with XMM-Newton. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: To appear in the Proceedings of the International Conference entitled "mm Universe @ NIKA2", Rome (Italy), June 2021, EPJ Web of conferences

Morphological analysis of SZ and X-ray maps of galaxy clusters with Zernike polynomials

Authors: Valentina Capalbo, Marco De Petris, Federico De Luca, Weiguang Cui, Gustavo Yepes, Alexander Knebe, Elena Rasia, Florian Ruppin, Antonio Ferragamo

Abstract: Several methods are used to evaluate, from observational data, the dynamical state of galaxy clusters. Among them, the morphological analysis of cluster images is well suited for this purpose. We report a new approach to the morphology, which consists in analytically modelling the images with a set of orthogonal functions, the Zernike polynomials (ZPs). We validated the method on mock high-resolut… ▽ More Several methods are used to evaluate, from observational data, the dynamical state of galaxy clusters. Among them, the morphological analysis of cluster images is well suited for this purpose. We report a new approach to the morphology, which consists in analytically modelling the images with a set of orthogonal functions, the Zernike polynomials (ZPs). We validated the method on mock high-resolution Compton parameter maps of synthetic galaxy clusters from THE THREE HUNDRED project. To classify the maps for their morphology we defined a single parameter, $\mathcal{C}$, by combining the contribution of some ZPs in the modelling. We verify that $\mathcal{C}$ is linearly correlated with a combination of common morphological parameters and also with a proper 3D dynamical-state indicator available for the synthetic clusters we used. We also show the early results of the Zernike modelling applied on Compton parameter maps of local clusters ($z < 0.1$) observed by the $\textit{Planck}$ satellite. At last, we report the preliminary results of this kind of morphological analysis on mock X-ray maps of THE THREE HUNDRED clusters. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: To appear in the Proceedings of the International Conference entitled "mm Universe @ NIKA2", Rome (Italy), June 2021, EPJ Web of conferences

Minimum Number of Bends of Paths of Trees in a Grid Embedding

Authors: V. T. F. Luca, F. S. Oliveira, J. L. Szwarcfiter

Abstract: We are interested in embedding trees T with maximum degree at most four in a rectangular grid, such that the vertices of T correspond to grid points, while edges of T correspond to non-intersecting straight segments of the grid lines. Such embeddings are called straight models. While each edge is represented by a straight segment, a path of T is represented in the model by the union of the segment… ▽ More We are interested in embedding trees T with maximum degree at most four in a rectangular grid, such that the vertices of T correspond to grid points, while edges of T correspond to non-intersecting straight segments of the grid lines. Such embeddings are called straight models. While each edge is represented by a straight segment, a path of T is represented in the model by the union of the segments corresponding to its edges, which may consist of a path in the model having several bends. The aim is to determine a straight model of a given tree T minimizing the maximum number of bends over all paths of T. We provide a quadratic-time algorithm for this problem. We also show how to construct straight models that have k as its minimum number of bends and with the least number of vertices possible. As an application of our algorithm, we provide an upper bound on the number of bends of EPG models of graphs that are both VPT and EPT. △ Less

Submitted 6 September, 2021; originally announced September 2021.

Comments: 10 pages, 6 figures

MSC Class: 05C85; 05C05

Multi-scale Poisson process approaches for differential expression analysis of high-throughput sequencing data

Authors: Heejung Shim, Zhengrong Xing, Ester Pantaleo, Francesca Luca, Roger Pique-Regi, Matthew Stephens

Abstract: Estimating and testing for differences in molecular phenotypes (e.g. gene expression, chromatin accessibility, transcription factor binding) across conditions is an important part of understanding the molecular basis of gene regulation. These phenotypes are commonly measured using high-throughput sequencing assays (e.g., RNA-seq, ATAC-seq, ChIP-seq), which provide high-resolution count data that r… ▽ More Estimating and testing for differences in molecular phenotypes (e.g. gene expression, chromatin accessibility, transcription factor binding) across conditions is an important part of understanding the molecular basis of gene regulation. These phenotypes are commonly measured using high-throughput sequencing assays (e.g., RNA-seq, ATAC-seq, ChIP-seq), which provide high-resolution count data that reflect how the phenotypes vary along the genome. Multiple methods have been proposed to help exploit these high-resolution measurements for differential expression analysis. However, they ignore the count nature of the data, instead using normal approximations that work well only for data with large sample sizes or high counts. Here we develop count-based methods to address this problem. We model the data for each sample using an inhomogeneous Poisson process with spatially structured underlying intensity function, and then, building on multi-scale models for the Poisson process, estimate and test for differences in the underlying intensity function across samples (or groups of samples). Using both simulation and real ATAC-seq data we show that our method outperforms previous normal-based methods, especially in situations with small sample sizes or low counts. △ Less

Submitted 25 June, 2021; originally announced June 2021.

Comments: 24 pages, 4 figures

On a nonintegrality conjecture

Authors: Florian Luca, Carl Pomerance

Abstract: It is conjectured that the sum $$ S_r(n)=\sum_{k=1}^{n} \frac{k}{k+r}\binom{n}{k} $$ for positive integers $r,n$ is never integral. This has been shown for $r\le 22$. In this note we study the problem in the ``$n$ aspect" showing that the set of $n$ such that $S_r(n)\in {\mathbb Z}$ for some $r\ge 1$ has asymptotic density $0$. Our principal tools are some deep results on the distribution of prime… ▽ More It is conjectured that the sum $$ S_r(n)=\sum_{k=1}^{n} \frac{k}{k+r}\binom{n}{k} $$ for positive integers $r,n$ is never integral. This has been shown for $r\le 22$. In this note we study the problem in the ``$n$ aspect" showing that the set of $n$ such that $S_r(n)\in {\mathbb Z}$ for some $r\ge 1$ has asymptotic density $0$. Our principal tools are some deep results on the distribution of primes in short intervals. △ Less

Submitted 15 June, 2021; originally announced June 2021.

MSC Class: 11N37

B1-EPG representations using block-cutpoint trees

Authors: V. T. F. Luca, F. S. Oliveira, J. L. Szwarcfiter

Abstract: In this paper, we are interested in the edge intersection graphs of paths of a grid where each path has at most one bend, called B1-EPG graphs and first introduced by Golumbic et al (2009). We also consider a proper subclass of B1-EPG, the L-EPG graphs, which allows paths only in ``L'' shape. We show that two superclasses of trees are B1-EPG (one of them being the cactus graphs). On the other hand… ▽ More In this paper, we are interested in the edge intersection graphs of paths of a grid where each path has at most one bend, called B1-EPG graphs and first introduced by Golumbic et al (2009). We also consider a proper subclass of B1-EPG, the L-EPG graphs, which allows paths only in ``L'' shape. We show that two superclasses of trees are B1-EPG (one of them being the cactus graphs). On the other hand, we show that the block graphs are L-EPG and provide a linear time algorithm to produce L-EPG representations of generalization of trees. These proofs employed a new technique from previous results in the area based on block-cutpoint trees of the respective graphs. △ Less

Submitted 9 June, 2021; originally announced June 2021.

Comments: 9 pages, 13 figures

MSC Class: 05Cxx

On the Shorey-Tijdeman Diophantine equation involving terms of Lucas sequences

Authors: Mahadi Ddamulira, Florian Luca, Robert Tichy

Abstract: Let $r\ge 1$ be an integer and ${\bf U}:=\{U_n\}_{n\ge 0}$ be the Lucas sequence given by $U_0=0,~U_1=1$, and $U_{n+2}=rU_{n+1}+U_n$ for $n\ge 0$. In this paper, we explain how to find all the solutions of the Diophantine equation, $AU_{n}+BU_{m}=CU_{n_1}+DU_{m_1}$, in integers $r\ge 1$, $0\le m<n,~0\le m_1<n_1$, $AU_n\ne CU_{n_1}$, where $A,B,C,D$ are given integers with $A\ne 0,~B\ne 0$,… ▽ More Let $r\ge 1$ be an integer and ${\bf U}:=\{U_n\}_{n\ge 0}$ be the Lucas sequence given by $U_0=0,~U_1=1$, and $U_{n+2}=rU_{n+1}+U_n$ for $n\ge 0$. In this paper, we explain how to find all the solutions of the Diophantine equation, $AU_{n}+BU_{m}=CU_{n_1}+DU_{m_1}$, in integers $r\ge 1$, $0\le m<n,~0\le m_1<n_1$, $AU_n\ne CU_{n_1}$, where $A,B,C,D$ are given integers with $A\ne 0,~B\ne 0$, $m,n,m_1,n_1$ are nonnegative integer unknowns and $r$ is also unknown. △ Less

Submitted 18 August, 2021; v1 submitted 2 May, 2021; originally announced May 2021.

Comments: 8 pages, Accepted Manuscript

MSC Class: 11B39; 11D45

Journal ref: Indagationes Mathematicae, 2021

The Orbit Problem for Parametric Linear Dynamical Systems

Authors: Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Abstract: We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or more parameters. More precisely, consider a $d$-dimensional square matrix $M$ whose entries are algebraic functions in one or more real variables. Given initial and target vectors $u,v\in \mathbb{Q}^d$, the parametric poi… ▽ More We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or more parameters. More precisely, consider a $d$-dimensional square matrix $M$ whose entries are algebraic functions in one or more real variables. Given initial and target vectors $u,v\in \mathbb{Q}^d$, the parametric point-to-point orbit problem asks whether there exist values of the parameters giving rise to a concrete matrix $N \in \mathbb{R}^{d\times d}$, and a positive integer $n\in \mathbb{N}$, such that $N^nu = v$. We show decidability for the case in which $M$ depends only upon a single parameter, and we exhibit a reduction from the well-known Skolem Problem for linear recurrence sequences, suggesting intractability in the case of two or more parameters. △ Less

Submitted 13 August, 2021; v1 submitted 21 April, 2021; originally announced April 2021.

Comments: Full version of the paper appearing at CONCUR 2021

Free electron nonlinearities in heavily doped semiconductors plasmonics

Authors: Federico De Luca, Michele Ortolani, Cristian Ciracì

Abstract: Heavily doped semiconductors have emerged as tunable low-loss plasmonic materials at mid-infrared frequencies. In this article we investigate nonlinear optical phenomena associated with high concentration of free electrons. We use a hydrodynamic description to study free electron dynamics in heavily doped semiconductors up to third-order terms, which are usually negligible for noble metals. We fin… ▽ More Heavily doped semiconductors have emerged as tunable low-loss plasmonic materials at mid-infrared frequencies. In this article we investigate nonlinear optical phenomena associated with high concentration of free electrons. We use a hydrodynamic description to study free electron dynamics in heavily doped semiconductors up to third-order terms, which are usually negligible for noble metals. We find that cascaded third-harmonic generation due to second-harmonic signals can be as strong as direct third-harmonic generation contributions even when the second-harmonic generation efficiency is zero. Moreover, we show that when coupled with plasmonic enhancement free electron nonlinearities could be up to two orders of magnitude larger than conventional semiconductor nonlinearities. Our study might open a new route for nonlinear optical integrated devices at mid-infrared frequencies. △ Less

Submitted 11 December, 2020; originally announced December 2020.

Journal ref: Phys. Rev. B 103, 115305 (2021)

On Petersson's partition limit formula

Authors: Carlos Castaño-Bernard, Florian Luca

Abstract: For each prime $p\equiv 1\pmod{4}$ consider the Legendre character $χ=(\frac{\cdot}{p})$. Let $p_\pm(n)$ be the number of partitions of $n$ into parts $λ>0$ such that $χ(λ)=\pm 1$. Petersson proved a beautiful limit formula for the ratio of $p_+(n)$ to $p_-(n)$ as $n\to\infty$ expressed in terms of important invariants of the real quadratic field $\mathbb{Q}(\sqrt{p})$. But his proof is not illumi… ▽ More For each prime $p\equiv 1\pmod{4}$ consider the Legendre character $χ=(\frac{\cdot}{p})$. Let $p_\pm(n)$ be the number of partitions of $n$ into parts $λ>0$ such that $χ(λ)=\pm 1$. Petersson proved a beautiful limit formula for the ratio of $p_+(n)$ to $p_-(n)$ as $n\to\infty$ expressed in terms of important invariants of the real quadratic field $\mathbb{Q}(\sqrt{p})$. But his proof is not illuminating and Grosswald conjectured a more natural proof using a Tauberian converse of the Stolz-Cesàro theorem. In this paper we suggest an approach to address Grosswald's conjecture. We discuss a monotonicity conjecture which looks quite natural in the context of the monotonicity theorems of Bateman-Erdős. △ Less

Submitted 30 November, 2020; originally announced November 2020.

Comments: Online Ready - International Journal of Number Theory

MSC Class: 11F30; 11R29; 11P82

The Three Hundred Project: Dynamical state of galaxy clusters and morphology from multi-wavelength synthetic maps

Authors: Federico De Luca, Marco De Petris, Gustavo Yepes, Weiguang Cui, Alexander Knebe, Elena Rasia

Abstract: We study the connection between morphology and dynamical state of the simulated galaxy clusters in $z\in[0,1.031]$ from THE THREE HUNDRED Project. We quantify cluster dynamical state using a combination of dynamical indicators from theoretical measures and compare this combined parameter, $χ$, with the results from morphological classifications. The dynamical state of the cluster sample shows a co… ▽ More We study the connection between morphology and dynamical state of the simulated galaxy clusters in $z\in[0,1.031]$ from THE THREE HUNDRED Project. We quantify cluster dynamical state using a combination of dynamical indicators from theoretical measures and compare this combined parameter, $χ$, with the results from morphological classifications. The dynamical state of the cluster sample shows a continuous distribution from dynamically relaxed, more abundant at lower redshift, to hybrid and disturbed. The dynamical state presents a clear dependence on the radius, with internal regions more relaxed than outskirts. The morphology from multi-wavelength mock observation of clusters in X-ray, optical, and Sunyaev-Zel'dovich (SZ) effect images, is quantified by $M$ -- a combination of six parameters for X-ray and SZ maps and the offsets between the optical position of the Brightest Central Galaxy (BCG) and the X-ray/SZ centroids. All the morphological parameters are highly correlated with each other, while they show a moderately strong correlation with the dynamical $χ$ parameter. The X-ray or SZ peaks are less affected by the dynamical state than centroids, which results in reliable tracers of the cluster density peak. The principal source of contamination in the relaxed cluster fraction, inferred from morphological parameters, is due to dynamically hybrid clusters. Compared to individual parameters, which consider only one aspect of cluster property (e.g. only clum** or asymmetry), the combined morphological and dynamical parameters ($M$ and $χ$) collect more information and provide a single and more accurate estimation of the cluster dynamical state. △ Less

Submitted 14 April, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

Comments: 18 pages, 12 figures. Accepted for publication in MNRAS

Exploring the hydrostatic mass bias in MUSIC clusters: application to the NIKA2 mock sample

Authors: Giulia Gianfagna, Marco De Petris, Gustavo Yepes, Federico De Luca, Federico Sembolini, Weiguang Cui, Veronica Biffi, Florian Kéruzoré, Juan Macías-Pérez, Frédéric Mayet, Laurence Perotto, Elena Rasia, Florian Ruppin

Abstract: Clusters of galaxies are useful tools to constrain cosmological parameters, only if their masses can be correctly inferred from observations. In particular, X-ray and Sunyaev-Zeldovich (SZ) effect observations can be used to derive masses within the framework of the hydrostatic equilibrium. Therefore, it is crucial to have a good control of the possible mass biases that can be introduced when this… ▽ More Clusters of galaxies are useful tools to constrain cosmological parameters, only if their masses can be correctly inferred from observations. In particular, X-ray and Sunyaev-Zeldovich (SZ) effect observations can be used to derive masses within the framework of the hydrostatic equilibrium. Therefore, it is crucial to have a good control of the possible mass biases that can be introduced when this hypothesis is not valid. In this work, we analyzed a set of 260 synthetic clusters from the MUSIC simulation project, at redshifts $0 \leq z \leq 0.82$. We estimate the hydrostatic mass of the MUSIC clusters from X-ray only (temperature and density) and from X-ray and SZ (density and pressure). Then, we compare them with the true 3D dynamical mass. The biases are of the order of 20%. We find that using the temperature instead of the pressure leads to a smaller bias, although the two values are compatible within 1$σ$. Non-thermal contributions to the total pressure support, arising from bulk motion and turbulence of the gas, are also computed and show that they are sufficient to account for this bias. We also present a study of the correlation between the mass bias and the dynamical state of the clusters. A clear correlation is shown between the relaxation state of the clusters and the bias factor. We applied the same analysis on a subsample of 32 objects, already selected for supporting the NIKA2 SZ Large Program. △ Less

Submitted 1 February, 2021; v1 submitted 7 October, 2020; originally announced October 2020.

Comments: 19 pages, 16 figures. Accepted for publication in MNRAS

The Three Hundred Project: quest of clusters of galaxies morphology and dynamical state through Zernike Polynomials

Authors: Valentina Capalbo, Marco De Petris, Federico De Luca, Weiguang Cui, Gustavo Yepes, Alexander Knebe, Elena Rasia

Abstract: The knowledge of the dynamical state of galaxy clusters allows to alleviate systematics when observational data from these objects are applied in cosmological studies. Evidence of correlation between the state and the morphology of the clusters is well studied. The morphology can be inferred by images of the surface brightness in the X-ray band and of the thermal component of the Sunyaev-Zel'dovic… ▽ More The knowledge of the dynamical state of galaxy clusters allows to alleviate systematics when observational data from these objects are applied in cosmological studies. Evidence of correlation between the state and the morphology of the clusters is well studied. The morphology can be inferred by images of the surface brightness in the X-ray band and of the thermal component of the Sunyaev-Zel'dovich (tSZ) effect in the millimetre range. For this purpose, we apply, for the first time, the Zernike polynomial decomposition, a common analytic approach mostly used in adaptive optics to recover aberrated radiation wavefronts at the telescopes pupil plane. With this novel way we expect to correctly infer the morphology of clusters and so possibly, their dynamical state. To verify the reliability of this new approach we use more than 300 synthetic clusters selected in THE THREE HUNDRED project at different redshifts ranging from 0 up to 1.03. Mock maps of the tSZ, quantified with the Compton parameter, $y$-maps, are modelled with Zernike polynomials inside $R_{500}$, the cluster reference radius. We verify that it is possible to discriminate the morphology of each cluster by estimating the contribution of the different polynomials to the fit of the map. The results of this new method are correlated with those of a previous analysis made on the same catalogue, using two parameters that combine either morphological or dynamical-state probes. We underline that instrumental angular resolution of the maps has an impact mainly when we extend this approach to high-redshift clusters. △ Less

Submitted 16 December, 2020; v1 submitted 9 September, 2020; originally announced September 2020.

Comments: 16 pages, 10 figures, 6 tables (including appendix A and B). Accepted for publication in MNRAS

Graph Drawing via Gradient Descent, $(GD)^2$

Authors: Reyan Ahmed, Felice De Luca, Sabin Devkota, Stephen Kobourov, Mingwei Li

Abstract: Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically optimize one such criterion, usually at the expense of others. We propose a layout approach, Graph Drawing via Gradient Descent, $(GD)^2$, that can handle multi… ▽ More Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically optimize one such criterion, usually at the expense of others. We propose a layout approach, Graph Drawing via Gradient Descent, $(GD)^2$, that can handle multiple readability criteria. $(GD)^2$ can optimize any criterion that can be described by a smooth function. If the criterion cannot be captured by a smooth function, a non-smooth function for the criterion is combined with another smooth function, or auto-differentiation tools are used for the optimization. Our approach is flexible and can be used to optimize several criteria that have already been considered earlier (e.g., obtaining ideal edge lengths, stress, neighborhood preservation) as well as other criteria which have not yet been explicitly optimized in such fashion (e.g., vertex resolution, angular resolution, aspect ratio). We provide quantitative and qualitative evidence of the effectiveness of $(GD)^2$ with experimental data and a functional prototype: \url{http://hdc.cs.arizona.edu/~mwli/graph-drawing/}. △ Less

Submitted 12 August, 2020; originally announced August 2020.

Comments: Appears in the Proceedings of the 28th International Symposium on Graph Drawing and Network Visualization (GD 2020)

On Positivity and Minimality for Second-Order Holonomic Sequences

Authors: George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell

Abstract: An infinite sequence $\langle{u_n}\rangle_{n\in\mathbb{N}}$ of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each $u_n \geq 0$, and minimal if, given any other linearly independent sequence $\langle{v_n}\rangle_{n \in\mathbb{N}}$ satisfying the same recurrence re… ▽ More An infinite sequence $\langle{u_n}\rangle_{n\in\mathbb{N}}$ of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each $u_n \geq 0$, and minimal if, given any other linearly independent sequence $\langle{v_n}\rangle_{n \in\mathbb{N}}$ satisfying the same recurrence relation, the ratio $u_n/v_n$ converges to $0$. In this paper, we focus on holonomic sequences satisfying a second-order recurrence $g_3(n)u_n = g_2(n)u_{n-1} + g_1(n)u_{n-2}$, where each coefficient $g_3, g_2,g_1 \in \mathbb{Q}[n]$ is a polynomial of degree at most $1$. We establish two main results. First, we show that deciding positivity for such sequences reduces to deciding minimality. And second, we prove that deciding minimality is equivalent to determining whether certain numerical expressions (known as periods, exponential periods, and period-like integrals) are equal to zero. Periods and related expressions are classical objects of study in algebraic geometry and number theory, and several established conjectures (notably those of Kontsevich and Zagier) imply that they have a decidable equality problem, which in turn would entail decidability of Positivity and Minimality for a large class of second-order holonomic sequences. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Comments: 38 pages

MSC Class: 11B37; 11Y65; 68R99 ACM Class: G.2.1

Coprime partitions and Jordan totient functions

Authors: Daniela Bubboloni, Florian Luca

Abstract: We show that while the number of coprime compositions of a positive integer $n$ into $k$ parts can be expressed as a $\mathbb{Q}$-linear combinations of the Jordan totient functions, this is never possible for the coprime partitions of $n$ into $k$ parts. We also show that the number $p_k'(n)$ of coprime partitions of $n$ into $k$ parts can be expressed as a $\mathbb{C}$-linear combinations of the… ▽ More We show that while the number of coprime compositions of a positive integer $n$ into $k$ parts can be expressed as a $\mathbb{Q}$-linear combinations of the Jordan totient functions, this is never possible for the coprime partitions of $n$ into $k$ parts. We also show that the number $p_k'(n)$ of coprime partitions of $n$ into $k$ parts can be expressed as a $\mathbb{C}$-linear combinations of the Jordan totient functions, for $n$ sufficiently large, if and only if $k\in \{2,3\}$ and in a unique way. Finally we introduce some generalizations of the Jordan totient functions and we show that $p_k'(n)$ can be always expressed as a $\mathbb{C}$-linear combinations of them. △ Less

Submitted 17 January, 2021; v1 submitted 12 July, 2020; originally announced July 2020.

MSC Class: 05A17; 11P81; 11A25; 11N37

On a recursively defined sequence involving the prime counting function

Authors: Altug Alkan, Andrew R. Booker, Florian Luca

Abstract: We prove some properties of the sequence $\{a_n\}_{n\ge1}$ defined by $a_n=π(n)-π\bigl(\textstyle\sum_{k=1}^{n-1}a_k\bigr).$ We prove some properties of the sequence $\{a_n\}_{n\ge1}$ defined by $a_n=π(n)-π\bigl(\textstyle\sum_{k=1}^{n-1}a_k\bigr).$ △ Less

Submitted 14 June, 2020; originally announced June 2020.

On members of Lucas sequences which are products of Catalan numbers

Authors: Shanta Laishram, Florian Luca, Mark Sias

Abstract: We show that if $\{U_n\}_{n\geq 0}$ is a Lucas sequence, then the largest $n$ such that $|U_n|=C_{m_1}C_{m_2}\cdots C_{m_k}$ with $1\leq m_1\leq m_2\leq \cdots\leq m_k$, where $C_m$ is the $m$th Catalan number satisfies $n<6500$. In case the roots of the Lucas sequence are real, we have $n\in \{1,2, 3, 4, 6, 8, 12\}$. As a consequence, we show that if $\{X_n\}_{n\geq 1}$ is the sequence of the… ▽ More We show that if $\{U_n\}_{n\geq 0}$ is a Lucas sequence, then the largest $n$ such that $|U_n|=C_{m_1}C_{m_2}\cdots C_{m_k}$ with $1\leq m_1\leq m_2\leq \cdots\leq m_k$, where $C_m$ is the $m$th Catalan number satisfies $n<6500$. In case the roots of the Lucas sequence are real, we have $n\in \{1,2, 3, 4, 6, 8, 12\}$. As a consequence, we show that if $\{X_n\}_{n\geq 1}$ is the sequence of the $X$ coordinates of a Pell equation $X^2-dY^2=\pm 1$ with a nonsquare integer $d>1$, then $X_n=C_m$ implies $n=1$. △ Less

Submitted 2 June, 2020; originally announced June 2020.

On the prime factors of the iterates of the Ramanujan $τ$--function

Authors: Florian Luca, Sibusiso Mabaso, Pantelimon Stanica

Abstract: In this paper, for a positive integer $n\ge 1$, we look at the size and prime factors of the iterates of the Ramanujan $τ$ function applied to $n$. In this paper, for a positive integer $n\ge 1$, we look at the size and prime factors of the iterates of the Ramanujan $τ$ function applied to $n$. △ Less

Submitted 30 May, 2020; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: 14 pages

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

Perfect squares representing the number of rational points on elliptic curves over finite field extensions

Authors: Kwok Chi Chim, Florian Luca

Abstract: Let $q$ be a perfect power of a prime number $p$ and $E({\mathbb F}_q)$ be an elliptic curve over ${\mathbb F}_q$ given by the equation $y^2=x^3+Ax+B$. For a positive integer $n$ we denote by $ \# E({\mathbb F}_{q^n})$ the number of rational points on $E$ (including infinity) over the extension ${\mathbb F}_{q^n}$. Under a mild technical condition, we show that the sequence… ▽ More Let $q$ be a perfect power of a prime number $p$ and $E({\mathbb F}_q)$ be an elliptic curve over ${\mathbb F}_q$ given by the equation $y^2=x^3+Ax+B$. For a positive integer $n$ we denote by $ \# E({\mathbb F}_{q^n})$ the number of rational points on $E$ (including infinity) over the extension ${\mathbb F}_{q^n}$. Under a mild technical condition, we show that the sequence $\lbrace \# E({\mathbb F}_{q^n}) \rbrace_{n>0}$ contains at most $10^{200}$ perfect squares. If the mild condition is not satisfied, then $\#E({\mathbb F}_{q^n})$ is a perfect square for infinitely many $n$ including all the multiples of $24$. Our proof uses a quantitative version of the Subspace Theorem. We also find all the perfect squares for all such sequences in the range $q < 50$ and $n\leq 1000$. △ Less

Submitted 22 March, 2020; originally announced March 2020.

Comments: 15 pages

MSC Class: 11D45; 11B39; 11G05

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

Binary recurrences for which powers of two are discriminating moduli

Authors: A. de Clercq, F. Luca, L. Martirosyan, M. Matthis, P. Moree, M. A. Stoumen, M. Weiß

Abstract: Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are pairwise incongruent modulo $m$. In this paper, we classify all binary recurrent sequences $\{w_n\}_{n\geq 0}$ consisting of different integer terms such that… ▽ More Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are pairwise incongruent modulo $m$. In this paper, we classify all binary recurrent sequences $\{w_n\}_{n\geq 0}$ consisting of different integer terms such that $\mathcal{D}_{\bf w}(2^e)=2^e$ for every $e\geq 1.$ For all of these sequences it is expected that one can actually give a fairly simple description of $\mathcal{D}_{\bf w}(n)$ for every $n\ge 1.$ For two infinite families of such sequences this has been done already in 2019 by Faye, Luca and Moree, respectively Ciolan and Moree. △ Less

Submitted 30 November, 2020; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 10 pages, 2 tables, final version

Report number: Max Planck Institute for Mathematics Preprint 2020-15

Journal ref: J. Integer Sequences 23 (2020), Article 20.11.3, pp. 10

On the exponential Diophantine equation related to powers of two consecutive terms of Lucas sequences

Authors: Mahadi Ddamulira, Florian Luca

Abstract: Let $r\ge 1$ be an integer and ${\bf U}:=(U_{n})_{n\ge 0} $ be the Lucas sequence given by $U_0=0$, $U_1=1, $ and $U_{n+2}=rU_{n+1}+U_n$, for all $ n\ge 0 $. In this paper, we show that there are no positive integers $r\ge 3,~x\ne 2,~n\ge 1$ such that $U_n^x+U_{n+1}^x$ is a member of ${\bf U}$. Let $r\ge 1$ be an integer and ${\bf U}:=(U_{n})_{n\ge 0} $ be the Lucas sequence given by $U_0=0$, $U_1=1, $ and $U_{n+2}=rU_{n+1}+U_n$, for all $ n\ge 0 $. In this paper, we show that there are no positive integers $r\ge 3,~x\ne 2,~n\ge 1$ such that $U_n^x+U_{n+1}^x$ is a member of ${\bf U}$. △ Less

Submitted 23 April, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: Accepted manuscript

MSC Class: 11B39; 11D45; 11J86

Journal ref: The Ramanujan Journal, 2020

Confirmation of NIKA2 investigation of the Sunyaev-Zel'dovich effect by using synthetic clusters of galaxies

Authors: M. De Petris, F. Ruppin, F. Sembolini, R. Adam, A. S. Baldi, G. Cialone, B. Comis, F. De Luca, G. Gianfagna, F. Kéruzoré, J. Macìas-Pérez, F. Mayet, L. Perotto, G. Yepes

Abstract: The NIKA2 Sunyaev-Zel'dovich Large Program (SZLP) is focused on map** the thermal SZ signal of a representative sample of selected Planck and ACT clusters spanning the redshift range 0.5<$z$<0.9. Hydrodynamical N-body simulations prove to be a powerful tool to endorse NIKA2 capabilities for estimating the impact of IntraCluster Medium (ICM) disturbances when recovering the pressure radial profil… ▽ More The NIKA2 Sunyaev-Zel'dovich Large Program (SZLP) is focused on map** the thermal SZ signal of a representative sample of selected Planck and ACT clusters spanning the redshift range 0.5<$z$<0.9. Hydrodynamical N-body simulations prove to be a powerful tool to endorse NIKA2 capabilities for estimating the impact of IntraCluster Medium (ICM) disturbances when recovering the pressure radial profiles. For this goal we employ a subsample of objects, carefully extracted from the catalog "Marenostrum MUltidark SImulations of galaxy Clusters" (MUSIC), spanning equivalent redshift and mass ranges as the LPSZ. The joint analysis of real observations of the tSZ with NIKA2 and Planck enables to validate the NIKA2 pipeline and to estimate the ICM pressure profiles. Moreover, the possibility to identify "a priori" the dynamical state of the selected synthetic clusters allows us to verify the impact on the recovered ICM profile shapes and their scatters. Morphological analysis of maps of the Compton parameter seems to be a way to observationally segregate the sample based on the dynamical state in relaxed and disturbed synthetic clusters. △ Less

Submitted 8 November, 2019; originally announced November 2019.

Comments: 6 pages, 5 figures; to appear in the proceedings of the international conference entitled "mm Universe @ NIKA2", Grenoble (France), June 2019, EPJ Web of conferences

Packing Trees into 1-planar Graphs

Authors: Felice De Luca, Emilio Di Giacomo, Seok-Hee Hong, Stephen Kobourov, William Lenhart, Giuseppe Liotta, Henk Meijer, Alessandra Tappini, Stephen Wismath

Abstract: We introduce and study the 1-planar packing problem: Given $k$ graphs with $n$ vertices $G_1, \dots, G_k$, find a 1-planar graph that contains the given graphs as edge-disjoint spanning subgraphs. We mainly focus on the case when each $G_i$ is a tree and $k=3$. We prove that a triple consisting of three caterpillars or of two caterpillars and a path may not admit a 1-planar packing, while two path… ▽ More We introduce and study the 1-planar packing problem: Given $k$ graphs with $n$ vertices $G_1, \dots, G_k$, find a 1-planar graph that contains the given graphs as edge-disjoint spanning subgraphs. We mainly focus on the case when each $G_i$ is a tree and $k=3$. We prove that a triple consisting of three caterpillars or of two caterpillars and a path may not admit a 1-planar packing, while two paths and a special type of caterpillar always have one. We then study 1-planar packings with few crossings and prove that three paths (resp. cycles) admit a 1-planar packing with at most seven (resp. fourteen) crossings. We finally show that a quadruple consisting of three paths and a perfect matching with $n \geq 12$ vertices admits a 1-planar packing, while such a packing does not exist if $n \leq 10$. △ Less

Submitted 5 November, 2019; originally announced November 2019.

Social media usage reveals how regions recover after natural disaster

Authors: Robert Eyre, Flavia De Luca, Filippo Simini

Abstract: The challenge of nowcasting and forecasting the effect of natural disasters (e.g. earthquakes, floods, hurricanes) on assets, people and society is of primary importance for assessing the ability of such systems to recover from extreme events. Traditional disaster recovery estimates, such as surveys and interviews, are usually costly, time consuming and do not scale. Here we present a methodology… ▽ More The challenge of nowcasting and forecasting the effect of natural disasters (e.g. earthquakes, floods, hurricanes) on assets, people and society is of primary importance for assessing the ability of such systems to recover from extreme events. Traditional disaster recovery estimates, such as surveys and interviews, are usually costly, time consuming and do not scale. Here we present a methodology to indirectly estimate the post-emergency recovery status ('downtime') of small businesses in urban areas looking at their online posting activity on social media. Analysing the time series of posts before and after an event, we quantify the downtime of small businesses for three natural disasters occurred in Nepal, Puerto Rico and Mexico. A convenient and reliable method for nowcasting the post-emergency recovery status of economic activities could help local governments and decision makers to better target their interventions and distribute the available resources more effectively. △ Less

Submitted 20 August, 2019; originally announced August 2019.

Stress-Plus-X (SPX) Graph Layout

Authors: Sabin Devkota, Reyan Ahmed, Felice De Luca, Katherine E. Isaacs, Stephen Kobourov

Abstract: Stress, edge crossings, and crossing angles play an important role in the quality and readability of graph drawings. Most standard graph drawing algorithms optimize one of these criteria which may lead to layouts that are deficient in other criteria. We introduce an optimization framework, Stress-Plus-X (SPX), that simultaneously optimizes stress together with several other criteria: edge crossing… ▽ More Stress, edge crossings, and crossing angles play an important role in the quality and readability of graph drawings. Most standard graph drawing algorithms optimize one of these criteria which may lead to layouts that are deficient in other criteria. We introduce an optimization framework, Stress-Plus-X (SPX), that simultaneously optimizes stress together with several other criteria: edge crossings, minimum crossing angle, and upwardness (for directed acyclic graphs). SPX achieves results that are close to the state-of-the-art algorithms that optimize these metrics individually. SPX is flexible and extensible and can optimize a subset or all of these criteria simultaneously. Our experimental analysis shows that our joint optimization approach is successful in drawing graphs with good performance across readability criteria. △ Less

Submitted 23 August, 2019; v1 submitted 4 August, 2019; originally announced August 2019.

Comments: 25 pages, 12 figures, accepted in the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)

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

Symmetry Detection and Classification in Drawings of Graphs

Authors: Felice De Luca, Md Iqbal Hossain, Stephen Kobourov

Abstract: Symmetry is a key feature observed in nature (from flowers and leaves, to butterflies and birds) and in human-made objects (from paintings and sculptures, to manufactured objects and architectural design). Rotational, translational, and especially reflectional symmetries, are also important in drawings of graphs. Detecting and classifying symmetries can be very useful in algorithms that aim to cre… ▽ More Symmetry is a key feature observed in nature (from flowers and leaves, to butterflies and birds) and in human-made objects (from paintings and sculptures, to manufactured objects and architectural design). Rotational, translational, and especially reflectional symmetries, are also important in drawings of graphs. Detecting and classifying symmetries can be very useful in algorithms that aim to create symmetric graph drawings and in this paper we present a machine learning approach for these tasks. Specifically, we show that deep neural networks can be used to detect reflectional symmetries with 92% accuracy. We also build a multi-class classifier to distinguish between reflectional horizontal, reflectional vertical, rotational, and translational symmetries. Finally, we make available a collection of images of graph drawings with specific symmetric features that can be used in machine learning systems for training, testing and validation purposes. Our datasets, best trained ML models, source code are available online. △ Less

Submitted 26 August, 2019; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: Appears in the Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)

Multi-level tree based approach for interactive graph visualization with semantic zoom

Authors: Felice De Luca, Iqbal Hossain, Kathryn Gray, Stephen Kobourov, Katy Börner

Abstract: Human subject studies that map-like visualizations are as good or better than standard node-link representations of graphs, in terms of task performance, memorization and recall of the underlying data, and engagement [SSKB14, SSKB15]. With this in mind, we propose the Zoomable Multi-Level Tree (ZMLT) algorithm for multi-level tree-based, map-like visualization of large graphs. We propose seven des… ▽ More Human subject studies that map-like visualizations are as good or better than standard node-link representations of graphs, in terms of task performance, memorization and recall of the underlying data, and engagement [SSKB14, SSKB15]. With this in mind, we propose the Zoomable Multi-Level Tree (ZMLT) algorithm for multi-level tree-based, map-like visualization of large graphs. We propose seven desirable properties that such visualization should maintain and an algorithm that accomplishes them. (1) The abstract trees represent the underlying graph appropriately at different level of details; (2) The embedded trees represent the underlying graph appropriately at different levels of details; (3) At every level of detail we show real vertices and real paths from the underlying graph; (4) If any node or edge appears in a given level, then they also appear in all deeper levels; (5) All nodes at the current level and higher levels are labeled and there are no label overlaps; (6) There are no edge crossings on any level; (7) The drawing area is proportional to the total area of the labels. This algorithm is implemented and we have a functional prototype for the interactive interface in a web browser. △ Less

Submitted 9 December, 2019; v1 submitted 13 June, 2019; originally announced June 2019.

Primitive root bias for twin primes II: Schinzel-type theorems for totient quotients and the sum-of-divisors function

Authors: Stephan Ramon Garcia, Florian Luca, Kye Shi, Gabe Udell

Abstract: Garcia, Kahoro, and Luca showed that the Bateman-Horn conjecture implies $φ(p-1) \geq φ(p+1)$ for a majority of twin-primes pairs $p,p+2$ and that the reverse inequality holds for a small positive proportion of the twin primes. That is, $p$ tends to have more primitive roots than does $p+2$. We prove that Dickson's conjecture, which is much weaker than Bateman-Horn, implies that the quotients… ▽ More Garcia, Kahoro, and Luca showed that the Bateman-Horn conjecture implies $φ(p-1) \geq φ(p+1)$ for a majority of twin-primes pairs $p,p+2$ and that the reverse inequality holds for a small positive proportion of the twin primes. That is, $p$ tends to have more primitive roots than does $p+2$. We prove that Dickson's conjecture, which is much weaker than Bateman-Horn, implies that the quotients $\frac{φ(p+1)}{φ(p-1)}$, as $p,p+2$ range over the twin primes, are dense in the positive reals. We also establish several Schinzel-type theorems, some of them unconditional, about the behavior of $\frac{φ(p+1)}{φ(p)}$ and $\frac{σ(p+1)}{σ(p)}$, in which $σ$ denotes the sum-of-divisors function. △ Less

Submitted 28 August, 2019; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: 16 pages

MSC Class: 11A07; 11A41; 11N05; 11N37; 11N56

Journal ref: J. Number Theory 208 (2020), 400-417

On ternary Egyptian fractions with prime denominator

Authors: Florian Luca, Francesco Pappalardi

Abstract: Given a positive integer $n$ we let $A_k(n)$ be the number of positive integers $a$ such that $\frac{a}{n}=\frac{1}{m_1}+\frac{1}{m_2}+\cdots+\frac{1}{m_k}$ for some $m_1,m_2,\ldots,m_k\in {\mathbb N}$. We show that $x(\log x)^3\ll \sum_{p\le x} A_3(p)\ll x(\log x)^5$ as $x\rightarrow\infty$. Given a positive integer $n$ we let $A_k(n)$ be the number of positive integers $a$ such that $\frac{a}{n}=\frac{1}{m_1}+\frac{1}{m_2}+\cdots+\frac{1}{m_k}$ for some $m_1,m_2,\ldots,m_k\in {\mathbb N}$. We show that $x(\log x)^3\ll \sum_{p\le x} A_3(p)\ll x(\log x)^5$ as $x\rightarrow\infty$. △ Less

Submitted 19 September, 2019; v1 submitted 15 May, 2019; originally announced May 2019.

Comments: 14 pages

MSC Class: 11D68 (Primary) 11N37 (Secondary)

On the problem of Pillai with $k$--generalized Fibonacci numbers and powers of $3$

Authors: Mahadi Ddamulira, Florian Luca

Abstract: For an integer $k\ge 2$, let $\{F^{(k)}_{n}\}_{n\ge 2-k}$ be the $ k$--generalized Fibonacci sequence which starts with $0, \ldots, 0,1$ (a total of $k$ terms) and for which each term afterwards is the sum of the $k$ preceding terms. In this paper, we find all integers $ c $ with at least two representations as a difference between a $ k $-generalized Fibonacci number and a power of $ 3 $. This pa… ▽ More For an integer $k\ge 2$, let $\{F^{(k)}_{n}\}_{n\ge 2-k}$ be the $ k$--generalized Fibonacci sequence which starts with $0, \ldots, 0,1$ (a total of $k$ terms) and for which each term afterwards is the sum of the $k$ preceding terms. In this paper, we find all integers $ c $ with at least two representations as a difference between a $ k $-generalized Fibonacci number and a power of $ 3 $. This paper continues the previous work of the first author for the Fibonacci numbers, and the Tribonacci numbers. △ Less

Submitted 23 April, 2020; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: Accepted manuscript. arXiv admin note: substantial text overlap with arXiv:1707.07519, arXiv:1803.10434

MSC Class: 11B39; 11D45; 11D61; 11J86

Journal ref: International Journal of Number Theory, 2020

On the period mod $m$ of polynomially-recursive sequences: a case study

Authors: Cyril Banderier, Florian Luca

Abstract: Polynomially-recursive sequences generally have a periodic behavior mod $m$. In this paper, we analyze the period mod $m$ of a second order polynomially-recursive sequence. The problem originally comes from an enumeration of avoiding pattern permutations and appears to be linked with nice number theory notions (the Carmichael function, Wieferich primes, algebraic integers). We give the mod $a^k$ s… ▽ More Polynomially-recursive sequences generally have a periodic behavior mod $m$. In this paper, we analyze the period mod $m$ of a second order polynomially-recursive sequence. The problem originally comes from an enumeration of avoiding pattern permutations and appears to be linked with nice number theory notions (the Carmichael function, Wieferich primes, algebraic integers). We give the mod $a^k$ supercongruences, and generalize these results to a class of recurrences. △ Less

Submitted 6 March, 2019; v1 submitted 5 March, 2019; originally announced March 2019.

MSC Class: 11B39; 11B50; 11B85; 05A15

On members of Lucas sequences which are products of factorials

Authors: Shanta Laishram, Florian Luca, Mark Sias

Abstract: Here, we show that if $\{U_n\}_{n\ge 0}$ is a Lucas sequence, then the largest $n$ such that $|U_n|=m_1!m_2!\cdots m_k!$ with $1<m_1\le m_2\le \cdots\le m_k$ satisfies $n<3\times 10^5$. We also give better bounds in case the roots of the Lucas sequence are real. Here, we show that if $\{U_n\}_{n\ge 0}$ is a Lucas sequence, then the largest $n$ such that $|U_n|=m_1!m_2!\cdots m_k!$ with $1<m_1\le m_2\le \cdots\le m_k$ satisfies $n<3\times 10^5$. We also give better bounds in case the roots of the Lucas sequence are real. △ Less

Submitted 4 January, 2019; originally announced January 2019.

An exponential Diophantine equation related to the difference between powers of two consecutive Balancing numbers

Authors: Salah E. Rihane, Bernadette Faye, Florian Luca, Alain Togbe

Abstract: In this paper, we find all solutions of the exponential Diophantine equation $B_{n+1}^x-B_n^x=B_m$ in positive integer variables $(m, n, x)$, where $B_k$ is the $k$-th term of the Balancing sequence. In this paper, we find all solutions of the exponential Diophantine equation $B_{n+1}^x-B_n^x=B_m$ in positive integer variables $(m, n, x)$, where $B_k$ is the $k$-th term of the Balancing sequence. △ Less

Submitted 2 November, 2018; originally announced November 2018.

Comments: Comments are welcome

MSC Class: 11B39; 11J86

Recognition and Drawing of Stick Graphs

Authors: Felice De Luca, Md Iqbal Hossain, Stephen Kobourov, Anna Lubiw, Debajyoti Mondal

Abstract: A \emph{Stick graph} is an intersection graph of axis-aligned segments such that the left end-points of the horizontal segments and the bottom end-points of the vertical segments lie on a `ground line,' a line with slope $-1$. It is an open question to decide in polynomial time whether a given bipartite graph $G$ with bipartition $A\cup B$ has a Stick representation where the vertices in $A$ and… ▽ More A \emph{Stick graph} is an intersection graph of axis-aligned segments such that the left end-points of the horizontal segments and the bottom end-points of the vertical segments lie on a `ground line,' a line with slope $-1$. It is an open question to decide in polynomial time whether a given bipartite graph $G$ with bipartition $A\cup B$ has a Stick representation where the vertices in $A$ and $B$ correspond to horizontal and vertical segments, respectively. We prove that $G$ has a Stick representation if and only if there are orderings of $A$ and $B$ such that $G$'s bipartite adjacency matrix with rows $A$ and columns $B$ excludes three small `forbidden' submatrices. This is similar to characterizations for other classes of bipartite intersection graphs. We present an algorithm to test whether given orderings of $A$ and $B$ permit a Stick representation respecting those orderings, and to find such a representation if it exists. The algorithm runs in time linear in the size of the adjacency matrix. For the case when only the ordering of $A$ is given, we present an $O(|A|^3|B|^3)$-time algorithm. When neither ordering is given, we present some partial results about graphs that are, or are not, Stick representable. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: Appears in the Proceedings of the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018)

Perception of Symmetries in Drawings of Graphs

Authors: Felice De Luca, Stephen Kobourov, Helen Purchase

Abstract: Symmetry is an important factor in human perception in general, as well as in the visualization of graphs in particular. There are three main types of symmetry: reflective, translational, and rotational. We report the results of a human subjects experiment to determine what types of symmetries are more salient in drawings of graphs. We found statistically significant evidence that vertical reflect… ▽ More Symmetry is an important factor in human perception in general, as well as in the visualization of graphs in particular. There are three main types of symmetry: reflective, translational, and rotational. We report the results of a human subjects experiment to determine what types of symmetries are more salient in drawings of graphs. We found statistically significant evidence that vertical reflective symmetry is the most dominant (when selecting among vertical reflective, horizontal reflective, and translational). We also found statistically significant evidence that rotational symmetry is affected by the number of radial axes (the more, the better), with a notable exception at four axes. △ Less

Submitted 6 September, 2018; v1 submitted 2 August, 2018; originally announced August 2018.

Comments: Appears in the Proceedings of the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018)

On certain sums concerning the gcd's and lcm's of $k$ positive integers

Authors: Titus Hilberdink, Florian Luca, László Tóth

Abstract: We use elementary arguments to prove results on the order of magnitude of certain sums concerning the gcd's and lcm's of $k$ positive integers, where $k\ge 2$ is fixed. We refine and generalize an asymptotic formula of Bordellès (2007), and extend certain related results of Hilberdink and Tóth (2016). We also formulate some conjectures and open problems. We use elementary arguments to prove results on the order of magnitude of certain sums concerning the gcd's and lcm's of $k$ positive integers, where $k\ge 2$ is fixed. We refine and generalize an asymptotic formula of Bordellès (2007), and extend certain related results of Hilberdink and Tóth (2016). We also formulate some conjectures and open problems. △ Less

Submitted 5 February, 2020; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: 14 pages, revised

MSC Class: 11A25; 11N37

Journal ref: International Journal of Number Theory, Vol. 16, No. 1 (2020) 77-90

Zeckendorf representations with at most two terms to x-coordinates of Pell equations

Authors: Carlos Alexis Gómez, Florian Luca

Abstract: In this paper, we find all positive squarefree integers d such that the Pell equation X2-dY2 = +-1 has at least two positive integer solutions (X,Y) and (X',Y') such that both X and X' have Zeckendorf representations with at most two terms. This paper has been accepted for publication in SCIENCE CHINA Mathematics. In this paper, we find all positive squarefree integers d such that the Pell equation X2-dY2 = +-1 has at least two positive integer solutions (X,Y) and (X',Y') such that both X and X' have Zeckendorf representations with at most two terms. This paper has been accepted for publication in SCIENCE CHINA Mathematics. △ Less

Submitted 28 March, 2018; originally announced March 2018.

MSC Class: 11B39; 11J86

On the $x$--coordinates of Pell equations which are $k$--generalized Fibonacci numbers

Authors: Mahadi Ddamulira, Florian Luca

Abstract: For an integer $k\geq 2$, let $\{F^{(k)}_{n}\}_{n\geqslant 2-k}$ be the $ k$--generalized Fibonacci sequence which starts with $0, \ldots, 0,1$ (a total of $k$ terms) and for which each term afterwards is the sum of the $k$ preceding terms. In this paper, for an integer $d\geq 2$ which is square free, we show that there is at most one value of the positive integer $x$ participating in the Pell equ… ▽ More For an integer $k\geq 2$, let $\{F^{(k)}_{n}\}_{n\geqslant 2-k}$ be the $ k$--generalized Fibonacci sequence which starts with $0, \ldots, 0,1$ (a total of $k$ terms) and for which each term afterwards is the sum of the $k$ preceding terms. In this paper, for an integer $d\geq 2$ which is square free, we show that there is at most one value of the positive integer $x$ participating in the Pell equation $x^{2}-dy^{2} =\pm 1$ which is a $k$--generalized Fibonacci number, with a couple of parametric exceptions which we completely characterise. This paper extends previous work from [17] for the case $k=2$ and [16] for the case $k=3$. △ Less

Submitted 7 April, 2018; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: 36 pages

MSC Class: 11A25; 11B39; 11J86

Linear independence of powers of singular moduli of degree 3

Authors: Florian Luca, Antonin Riffaut

Abstract: We show that two distinct singular moduli $j(τ),j(τ')$, such that for some positive integers $m, n$ the numbers $1,j(τ)^m$ and $j(τ')^n$ are linearly dependent over $\mathbb{Q}$ generate the same number field of degree at most $2$. This completes a result of Riffaut, who proved the above theorem except for two explicit pair of exceptions consisting of numbers of degree $3$. The purpose of this art… ▽ More We show that two distinct singular moduli $j(τ),j(τ')$, such that for some positive integers $m, n$ the numbers $1,j(τ)^m$ and $j(τ')^n$ are linearly dependent over $\mathbb{Q}$ generate the same number field of degree at most $2$. This completes a result of Riffaut, who proved the above theorem except for two explicit pair of exceptions consisting of numbers of degree $3$. The purpose of this article is to treat these two remaining cases. △ Less

Submitted 19 December, 2017; originally announced December 2017.